Pow cosh E Pow Pow Add acoth x3 Pow acos x4 1.58740105196820 x0 sinh x0 
Mul Pow cosh E Add Pow Pow Add acoth x3 Pow acos x4 1.58740105196820 x0 sinh x0 -1 Mul Mul cosh E log cosh E Mul Pow Pow Add acoth x3 Pow acos x4 1.58740105196820 x0 Add sinh x0 -1 Add Mul sinh x0 Mul Pow Add acoth x3 Pow acos x4 1.58740105196820 Add x0 -1 Mul Add acoth x3 Pow acos x4 1.58740105196820 log Add acoth x3 Pow acos x4 1.58740105196820 Mul Mul Pow Add acoth x3 Pow acos x4 1.58740105196820 x0 log Pow Add acoth x3 Pow acos x4 1.58740105196820 x0 cosh x0 