Mul x0 sec Pow Mul sqrt x0 x0 sec Add asech x0 4 
Add sec Pow Mul sqrt x0 x0 sec Add asech x0 4 Mul x0 Mul Mul tan Pow Mul sqrt x0 x0 sec Add asech x0 4 sec Pow Mul sqrt x0 x0 sec Add asech x0 4 Mul Pow Mul sqrt x0 x0 Add sec Add asech x0 4 -1 Add Mul sec Add asech x0 4 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul Mul Mul sqrt x0 x0 log Mul sqrt x0 x0 Mul Mul tan Add asech x0 4 sec Add asech x0 4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 