Pow Add sech acot pi Add Mul x0 Mul x0 x2 atanh Pow x0 -2 -3 
Mul Pow Add sech acot pi Add Mul x0 Mul x0 x2 atanh Pow x0 -2 4 Mul -3 Add Add Mul x0 x2 Mul x0 x2 Mul Mul Pow x0 3 -2 Pow Add 1 Mul -1 Mul Pow x0 -2 Pow x0 -2 -1 