Mul x0 Mul Pow -1.00067115040168 pi Add Add Mul acos sqrt x0 sech Add pi 1.31303528549933 x7 3 
Add Mul Pow -1.00067115040168 pi Add Add Mul acos sqrt x0 sech Add pi 1.31303528549933 x7 3 Mul x0 Mul Pow -1.00067115040168 pi Mul sech Add pi 1.31303528549933 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 