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