acot Add Mul Pow x1 csch atan x0 x5 Mul x5 x3 
Mul -1 Mul Mul x5 Mul Pow x1 Add csch atan x0 -1 Mul Mul x1 log x1 Mul Mul Mul -1 coth atan x0 csch atan x0 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Mul Pow x1 csch atan x0 x5 Mul x5 x3 Add Mul Pow x1 csch atan x0 x5 Mul x5 x3 -1 