asech exp Pow Pow acos Add sec x0 x0 x3 x2 
Mul Mul exp Pow Pow acos Add sec x0 x0 x3 x2 Mul Pow Pow acos Add sec x0 x0 x3 Add x2 -1 Mul x2 Mul Pow acos Add sec x0 x0 Add x3 -1 Mul x3 Mul -1 Mul Add Mul tan x0 sec x0 1 Pow sqrt Add 1 Mul -1 Mul Add sec x0 x0 Add sec x0 x0 -1 Pow Mul Mul exp Pow Pow acos Add sec x0 x0 x3 x2 exp Pow Pow acos Add sec x0 x0 x3 x2 sqrt Add 1 Mul -1 Pow Mul exp Pow Pow acos Add sec x0 x0 x3 x2 exp Pow Pow acos Add sec x0 x0 x3 x2 -1 -1 