Add Mul x3 Mul Mul acoth Add x0 Mul -3 log atan x2 x0 x0 -4 
Mul x3 Add Mul x0 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 Mul -3 log atan x2 Add x0 Mul -3 log atan x2 -1 acoth Add x0 Mul -3 log atan x2 Mul acoth Add x0 Mul -3 log atan x2 x0 