Pow Pow x0 csch cosh atan x0 E 
Mul Pow Pow x0 csch cosh atan x0 Add E -1 Mul E Mul Pow x0 Add csch cosh atan x0 -1 Add csch cosh atan x0 Mul Mul x0 log x0 Mul Mul Mul -1 coth cosh atan x0 csch cosh atan x0 Mul sinh atan x0 Pow Add 1 Mul x0 x0 -1 