Mul Add pi x0 Pow Mul sec Mul sqrt x2 x0 pi x0 
Add Pow Mul sec Mul sqrt x2 x0 pi x0 Mul Add pi x0 Mul Pow Mul sec Mul sqrt x2 x0 pi Add x0 -1 Add Mul x0 Mul pi Mul Mul tan Mul sqrt x2 x0 sec Mul sqrt x2 x0 sqrt x2 Mul Mul sec Mul sqrt x2 x0 pi log Mul sec Mul sqrt x2 x0 pi 