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