Add Mul Pow x4 Pow pi Add exp Pow Add 4 Mul x0 x4 atanh x0 1 4 Mul -2 E 
Mul 4 Mul Pow x4 Add Pow pi Add exp Pow Add 4 Mul x0 x4 atanh x0 1 -1 Mul Mul x4 log x4 Mul Pow pi Add Add exp Pow Add 4 Mul x0 x4 atanh x0 1 -1 Mul Mul pi log pi Mul exp Pow Add 4 Mul x0 x4 atanh x0 Mul Pow Add 4 Mul x0 x4 Add atanh x0 -1 Add Mul atanh x0 x4 Mul Mul Add 4 Mul x0 x4 log Add 4 Mul x0 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 