Add x6 Mul x0 Add Pow x2 sec Mul x0 Mul -2 x6 Mul x0 x0 
Add Add Pow x2 sec Mul x0 Mul -2 x6 Mul x0 x0 Mul x0 Add Mul Pow x2 Add sec Mul x0 Mul -2 x6 -1 Mul Mul x2 log x2 Mul Mul tan Mul x0 Mul -2 x6 sec Mul x0 Mul -2 x6 Mul -2 x6 Add x0 x0 