Mul Pow x0 Add E atan x4 Pow Add Pow 4 x3 Pow sec x5 Add x0 Mul -1 Mul Pow Mul sec x6 x0 -1 x2 x1 
Add Mul Pow Add Pow 4 x3 Pow sec x5 Add x0 Mul -1 Mul Pow Mul sec x6 x0 -1 x2 x1 Mul Pow x0 Add Add E atan x4 -1 Add E atan x4 Mul Pow x0 Add E atan x4 Mul Pow Add Pow 4 x3 Pow sec x5 Add x0 Mul -1 Mul Pow Mul sec x6 x0 -1 x2 Add x1 -1 Mul x1 Mul Pow sec x5 Add Add x0 Mul -1 Mul Pow Mul sec x6 x0 -1 x2 -1 Mul Mul sec x5 log sec x5 Add 1 Mul -1 Mul x2 Mul Pow Mul sec x6 x0 2 Mul -1 sec x6 