Pow x0 tan Mul -4 Mul x0 Pow x6 Mul x0 Add -3 exp E 
Mul Pow x0 Add tan Mul -4 Mul x0 Pow x6 Mul x0 Add -3 exp E -1 Add tan Mul -4 Mul x0 Pow x6 Mul x0 Add -3 exp E Mul Mul x0 log x0 Mul Pow sec Mul -4 Mul x0 Pow x6 Mul x0 Add -3 exp E 2 Mul -4 Add Pow x6 Mul x0 Add -3 exp E Mul x0 Mul Pow x6 Add Mul x0 Add -3 exp E -1 Mul Mul x6 log x6 Add -3 exp E 