acos csch Add Mul x0 asec coth Mul log atanh Pow x0 x3 -1 pi 
Mul -1 Mul Mul Mul Mul -1 coth Add Mul x0 asec coth Mul log atanh Pow x0 x3 -1 pi csch Add Mul x0 asec coth Mul log atanh Pow x0 x3 -1 pi Add asec coth Mul log atanh Pow x0 x3 -1 Mul x0 Mul Mul Mul -1 Pow csch Mul log atanh Pow x0 x3 -1 2 Mul -1 Mul Mul Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul -1 Mul Pow x0 x3 Pow x0 x3 -1 Pow atanh Pow x0 x3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth Mul log atanh Pow x0 x3 -1 coth Mul log atanh Pow x0 x3 -1 -1 coth Mul log atanh Pow x0 x3 -1 coth Mul log atanh Pow x0 x3 -1 -1 Pow sqrt Add 1 Mul -1 Mul csch Add Mul x0 asec coth Mul log atanh Pow x0 x3 -1 pi csch Add Mul x0 asec coth Mul log atanh Pow x0 x3 -1 pi -1 