Mul pi sqrt Mul Mul Add x0 x0 Mul Add Add pi x0 x0 atanh E x7 
Mul pi Mul Pow Mul 2 sqrt Mul Mul Add x0 x0 Mul Add Add pi x0 x0 atanh E x7 -1 Mul x7 Add Mul Mul Add Add pi x0 x0 atanh E 2 Mul Add x0 x0 Mul atanh E 2 