atan Add acosh Pow sqrt x7 acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 cosh x0 
Mul Add Mul Mul Pow sqrt x7 Add acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 -1 Mul Mul sqrt x7 log sqrt x7 Mul Mul -1 Mul Mul Pow Add x7 log Mul Add x4 x0 E 2 Mul 3 Mul E Pow Mul Add x4 x0 E -1 Pow Add 1 Mul -1 Mul Pow Add x7 log Mul Add x4 x0 E 3 Pow Add x7 log Mul Add x4 x0 E 3 -1 Pow Mul Mul atanh Pow Add x7 log Mul Add x4 x0 E 3 atanh Pow Add x7 log Mul Add x4 x0 E 3 sqrt Add 1 Mul -1 Pow Mul atanh Pow Add x7 log Mul Add x4 x0 E 3 atanh Pow Add x7 log Mul Add x4 x0 E 3 -1 -1 Pow Mul sqrt Add Pow sqrt x7 acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 -1 sqrt Add 1 Pow sqrt x7 acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 -1 sinh x0 Pow Add 1 Mul Add acosh Pow sqrt x7 acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 cosh x0 Add acosh Pow sqrt x7 acsch atanh Pow Add x7 log Mul Add x4 x0 E 3 cosh x0 -1 