atan Add Mul x0 Add -2 acoth Pow Add E 2 x0 2 
Mul Add Add -2 acoth Pow Add E 2 x0 Mul x0 Mul Mul Pow Add E 2 Add x0 -1 Mul Add E 2 log Add E 2 Pow Add 1 Mul -1 Mul Pow Add E 2 x0 Pow Add E 2 x0 -1 Pow Add 1 Mul Add Mul x0 Add -2 acoth Pow Add E 2 x0 2 Add Mul x0 Add -2 acoth Pow Add E 2 x0 2 -1 