Mul Mul acos x0 4 Mul Mul x7 -4 sec Mul Add x0 -4.00000022507032 x2 
Add Mul Mul Mul x7 -4 sec Mul Add x0 -4.00000022507032 x2 Mul 4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 4 Mul Mul x7 -4 Mul Mul tan Mul Add x0 -4.00000022507032 x2 sec Mul Add x0 -4.00000022507032 x2 x2 