Mul Pow x4 Pow atan x0 Mul x5 sec Pow x0 x2 4 
Mul 4 Mul Pow x4 Add Pow atan x0 Mul x5 sec Pow x0 x2 -1 Mul Mul x4 log x4 Mul Pow atan x0 Add Mul x5 sec Pow x0 x2 -1 Add Mul Mul x5 sec Pow x0 x2 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul x5 Mul Mul tan Pow x0 x2 sec Pow x0 x2 Mul Pow x0 Add x2 -1 x2 