Mul asech Add exp Add x0 Mul atan x3 4 1 Mul x0 x0 
Add Mul Mul x0 x0 Mul exp Add x0 Mul atan x3 4 Pow Mul Mul Add exp Add x0 Mul atan x3 4 1 Add exp Add x0 Mul atan x3 4 1 sqrt Add 1 Mul -1 Pow Mul Add exp Add x0 Mul atan x3 4 1 Add exp Add x0 Mul atan x3 4 1 -1 -1 Mul asech Add exp Add x0 Mul atan x3 4 1 Add x0 x0 