Pow x0 Pow sec exp Add Pow x0 atan x3 x0 E 
Mul Pow x0 Add Pow sec exp Add Pow x0 atan x3 x0 E -1 Add Pow sec exp Add Pow x0 atan x3 x0 E Mul Mul x0 log x0 Mul Pow sec exp Add Pow x0 atan x3 x0 Add E -1 Mul E Mul Mul tan exp Add Pow x0 atan x3 x0 sec exp Add Pow x0 atan x3 x0 Mul exp Add Pow x0 atan x3 x0 Add Mul Pow x0 Add atan x3 -1 atan x3 1 