Add Add atan asech Mul x0 Add sec x7 x6 x0 x6 
Add Mul Mul Add sec x7 x6 Pow Mul Mul Mul x0 Add sec x7 x6 Mul x0 Add sec x7 x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add sec x7 x6 Mul x0 Add sec x7 x6 -1 -1 Pow Add 1 Mul asech Mul x0 Add sec x7 x6 asech Mul x0 Add sec x7 x6 -1 1 