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