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