Mul Mul atan x5 acosh acoth x0 Mul Pow sinh x0 x7 E 
Add Mul Mul Pow sinh x0 x7 E Mul atan x5 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 Mul Mul atan x5 acosh acoth x0 Mul E Mul Pow sinh x0 Add x7 -1 Mul x7 cosh x0 