Mul atan Mul x0 Mul -4 acoth x0 -0.321750554396642 
Mul -0.321750554396642 Mul Add Mul -4 acoth x0 Mul x0 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul x0 Mul -4 acoth x0 Mul x0 Mul -4 acoth x0 -1 