Pow x7 Add tan Pow Mul x0 Pow x0 x2 -1 sec Pow Mul x0 x0 3 
Mul Pow x7 Add Add tan Pow Mul x0 Pow x0 x2 -1 sec Pow Mul x0 x0 3 -1 Mul Mul x7 log x7 Add Mul Pow sec Pow Mul x0 Pow x0 x2 -1 2 Mul Pow Mul x0 Pow x0 x2 2 Mul -1 Add Pow x0 x2 Mul x0 Mul Pow x0 Add x2 -1 x2 Mul Mul tan Pow Mul x0 x0 3 sec Pow Mul x0 x0 3 Mul Pow Mul x0 x0 2 Mul 3 Add x0 x0 