Mul x0 Add atan x1 Add sech Add sqrt atanh pi Add x0 x0 x0 
Add Add atan x1 Add sech Add sqrt atanh pi Add x0 x0 x0 Mul x0 Add Mul Mul tanh Add sqrt atanh pi Add x0 x0 Mul -1 sech Add sqrt atanh pi Add x0 x0 2 1 