atanh Mul Add -2 Mul Add x0 Mul Pow pi x0 x6 Mul x4 -5 Mul x0 x0 
Mul Add Mul Mul x0 x0 Mul Mul x4 -5 Add 1 Mul x6 Mul Pow pi Add x0 -1 Mul pi log pi Mul Add -2 Mul Add x0 Mul Pow pi x0 x6 Mul x4 -5 Add x0 x0 Pow Add 1 Mul -1 Mul Mul Add -2 Mul Add x0 Mul Pow pi x0 x6 Mul x4 -5 Mul x0 x0 Mul Add -2 Mul Add x0 Mul Pow pi x0 x6 Mul x4 -5 Mul x0 x0 -1 