Pensieve Header: Simplifying the Exact Solution.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2012-05\\beta5.1"];
<< betaCalculus.m
Unprotect[C];
βSimplify=FullSimplify;

{V= B[ω[(Subscript[c, 1]),(Subscript[c, 2])],α[(Subscript[c, 1]),(Subscript[c, 2])]t[1]h[1]+β[(Subscript[c, 1]),(Subscript[c, 2])]t[1]h[2]+γ[(Subscript[c, 1]),(Subscript[c, 2])]t[2]h[1]+δ[(Subscript[c, 1]),(Subscript[c, 2])]t[2]h[2]],
C=B[κ[(Subscript[c, 1])],0]}

ν[x_]:=(Sqrt[((Sinh[(x/2)])/(x/2))]);

κ[x_]:=((ν[x])^(-1/2));
ω[(Subscript[c, 1]),(Subscript[c, 2])]=((κ[(Subscript[c, 1])+(Subscript[c, 2])])/(κ[(Subscript[c, 1])]κ[(Subscript[c, 2])]));
γ[(Subscript[c, 1]),(Subscript[c, 2])]=((ν[(Subscript[c, 2])]-ν[(Subscript[c, 1])] ν[(Subscript[c, 1])+(Subscript[c, 2])])/(((Subscript[c, 1])+(Subscript[c, 2]))ν[(Subscript[c, 1])] ν[(Subscript[c, 1])+(Subscript[c, 2])]));
δ[(Subscript[c, 1]),(Subscript[c, 2])]=((E^((Subscript[c, 1])/2))/(Subscript[c, 2]))-((ν[(Subscript[c, 1])+(Subscript[c, 2])](E^((Subscript[c, 1])+(Subscript[c, 2]))) ν[(Subscript[c, 1])] (Subscript[c, 1]) )/((-1+(E^((Subscript[c, 1])+(Subscript[c, 2])))) ν[(Subscript[c, 2])] (Subscript[c, 2])))-(1/((Subscript[c, 1])+(Subscript[c, 2])));
α[(Subscript[c, 1]),(Subscript[c, 2])]=((-(Subscript[c, 2]))/(Subscript[c, 1]))γ[(Subscript[c, 1]),(Subscript[c, 2])];
β[(Subscript[c, 1]),(Subscript[c, 2])]=(1/(Subscript[c, 1]))((E^((Subscript[c, 1])/2))-(Subscript[c, 2])δ[(Subscript[c, 1]),(Subscript[c, 2])]-1);

{V1, C1, sol1} = Get["ExactSolution-120528.m"];
FullSimplify[V==V1 && C==C1]