Mul Mul exp Pow x0 2 Pow 2 x0 Mul asec x0 3 
Add Mul Mul asec x0 3 Add Mul Pow 2 x0 Mul exp Pow x0 2 Mul x0 2 Mul exp Pow x0 2 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Mul exp Pow x0 2 Pow 2 x0 Mul 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 