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