Mul x2 Mul Mul Mul E sec Add Mul x7 x0 x2 tan acos Mul x0 x0 x7 
Mul x2 Mul x7 Add Mul tan acos Mul x0 x0 Mul E Mul Mul tan Add Mul x7 x0 x2 sec Add Mul x7 x0 x2 x7 Mul Mul E sec Add Mul x7 x0 x2 Mul Pow sec acos Mul x0 x0 2 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 