Mul Mul Mul -2 x1 pi Mul Pow atan x0 Mul atanh x0 acsch x7 coth Add -4 x1 
Mul Mul Mul -2 x1 pi Mul coth Add -4 x1 Mul Pow atan x0 Add Mul atanh x0 acsch x7 -1 Add Mul Mul atanh x0 acsch x7 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul acsch x7 Pow Add 1 Mul -1 Mul x0 x0 -1 