Mul x7 Add Pow Pow x1 Pow atanh x0 x0 Pow atan x0 Add coth Mul acos log Mul x5 x0 -4 3 pi 
Mul x7 Mul Pow Pow x1 Pow atanh x0 x0 Add Pow atan x0 Add coth Mul acos log Mul x5 x0 -4 3 -1 Add Mul Pow atan x0 Add coth Mul acos log Mul x5 x0 -4 3 Mul Pow x1 Add Pow atanh x0 x0 -1 Mul Mul x1 log x1 Mul Pow atanh x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 Mul Mul Pow x1 Pow atanh x0 x0 log Pow x1 Pow atanh x0 x0 Mul Pow atan x0 Add Add coth Mul acos log Mul x5 x0 -4 3 -1 Add Mul Add coth Mul acos log Mul x5 x0 -4 3 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Mul -1 Pow csch Mul acos log Mul x5 x0 -4 2 Mul -4 Mul -1 Mul Mul x5 Pow Mul x5 x0 -1 Pow sqrt Add 1 Mul -1 Mul log Mul x5 x0 log Mul x5 x0 -1 