sec Mul Mul exp Mul x0 x1 sqrt x0 x0 
Mul Mul tan Mul Mul exp Mul x0 x1 sqrt x0 x0 sec Mul Mul exp Mul x0 x1 sqrt x0 x0 Add Mul x0 Add Mul sqrt x0 Mul exp Mul x0 x1 x1 Mul exp Mul x0 x1 Pow Mul 2 sqrt x0 -1 Mul exp Mul x0 x1 sqrt x0 