Mul Pow Mul Mul x4 atanh x0 Add x0 Add x0 1.27943886178501 pi x0 
Add Mul x0 Mul Pow Mul Mul x4 atanh x0 Add x0 Add x0 1.27943886178501 Add pi -1 Mul pi Add Mul Add x0 Add x0 1.27943886178501 Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x4 atanh x0 2 Pow Mul Mul x4 atanh x0 Add x0 Add x0 1.27943886178501 pi 