Add Pow pi atanh atan Mul sech atan x3 Mul x0 sqrt x2 x1 
Mul Pow pi Add atanh atan Mul sech atan x3 Mul x0 sqrt x2 -1 Mul Mul pi log pi Mul Mul Mul sech atan x3 sqrt x2 Pow Add 1 Mul Mul sech atan x3 Mul x0 sqrt x2 Mul sech atan x3 Mul x0 sqrt x2 -1 Pow Add 1 Mul -1 Mul atan Mul sech atan x3 Mul x0 sqrt x2 atan Mul sech atan x3 Mul x0 sqrt x2 -1 