atanh Mul Mul Mul -4 exp x2 x6 Add x7 Pow Mul x0 x2 Pow pi x1 
Mul Mul Mul Mul -4 exp x2 x6 Mul Pow Mul x0 x2 Add Pow pi x1 -1 Mul Pow pi x1 x2 Pow Add 1 Mul -1 Mul Mul Mul Mul -4 exp x2 x6 Add x7 Pow Mul x0 x2 Pow pi x1 Mul Mul Mul -4 exp x2 x6 Add x7 Pow Mul x0 x2 Pow pi x1 -1 