Add 2 Mul acoth x4 Pow Add Mul x0 E Mul x6 5 Pow sqrt x0 Pow acos Add atan x0 x0 cosh x0 
Mul acoth x4 Mul Pow Add Mul x0 E Mul x6 5 Add Pow sqrt x0 Pow acos Add atan x0 x0 cosh x0 -1 Add Mul Pow sqrt x0 Pow acos Add atan x0 x0 cosh x0 E Mul Mul Add Mul x0 E Mul x6 5 log Add Mul x0 E Mul x6 5 Mul Pow sqrt x0 Add Pow acos Add atan x0 x0 cosh x0 -1 Add Mul Pow acos Add atan x0 x0 cosh x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow acos Add atan x0 x0 Add cosh x0 -1 Add Mul cosh x0 Mul -1 Mul Add Pow Add 1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add atan x0 x0 Add atan x0 x0 -1 Mul Mul acos Add atan x0 x0 log acos Add atan x0 x0 sinh x0 