Mul x0 Mul asec x0 Pow Mul cos x0 x2 x1 
Add Mul asec x0 Pow Mul cos x0 x2 x1 Mul x0 Add Mul Pow Mul cos x0 x2 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul Pow Mul cos x0 x2 Add x1 -1 Mul x1 Mul x2 Mul -1 sin x0 