Pow Mul Mul -3 Pow acoth atan x0 2 x0 3 
Mul Pow Mul Mul -3 Pow acoth atan x0 2 x0 2 Mul 3 Add Mul x0 Mul -3 Mul acoth atan x0 Mul 2 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atan x0 atan x0 -1 Mul -3 Pow acoth atan x0 2 