exp Mul x0 Mul x5 csch Pow Mul Pow pi sech atanh x0 x0 acosh pi 
Mul exp Mul x0 Mul x5 csch Pow Mul Pow pi sech atanh x0 x0 acosh pi Add Mul x5 csch Pow Mul Pow pi sech atanh x0 x0 acosh pi Mul x0 Mul x5 Mul Mul Mul -1 coth Pow Mul Pow pi sech atanh x0 x0 acosh pi csch Pow Mul Pow pi sech atanh x0 x0 acosh pi Mul Pow Mul Pow pi sech atanh x0 x0 Add acosh pi -1 Mul acosh pi Add Mul x0 Mul Pow pi Add sech atanh x0 -1 Mul Mul pi log pi Mul Mul tanh atanh x0 Mul -1 sech atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow pi sech atanh x0 