atan Pow x0 Add x4 Mul sec sin x0 Mul sqrt x0 E 
Mul Mul Pow x0 Add Add x4 Mul sec sin x0 Mul sqrt x0 E -1 Add Add x4 Mul sec sin x0 Mul sqrt x0 E Mul Mul x0 log x0 Add Mul Mul sqrt x0 E Mul Mul tan sin x0 sec sin x0 cos x0 Mul sec sin x0 Mul E Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow x0 Add x4 Mul sec sin x0 Mul sqrt x0 E Pow x0 Add x4 Mul sec sin x0 Mul sqrt x0 E -1 