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