Mul Mul 4 sinh sqrt Pow E x0 Mul Mul x4 x6 x0 
Add Mul Mul Mul x4 x6 x0 Mul 4 Mul cosh sqrt Pow E x0 Mul Pow Mul 2 sqrt Pow E x0 -1 Mul Pow E Add x0 -1 Mul E log E Mul Mul 4 sinh sqrt Pow E x0 Mul x4 x6 