Mul Pow x0 Mul csch exp x0 asech atan x5 exp x4 
Mul exp x4 Mul Pow x0 Add Mul csch exp x0 asech atan x5 -1 Add Mul csch exp x0 asech atan x5 Mul Mul x0 log x0 Mul asech atan x5 Mul Mul Mul -1 coth exp x0 csch exp x0 exp x0 