Pow Mul -5 Pow x0 tan Mul log E x0 x7 
Mul Pow Mul -5 Pow x0 tan Mul log E x0 Add x7 -1 Mul x7 Mul -5 Mul Pow x0 Add tan Mul log E x0 -1 Add tan Mul log E x0 Mul Mul x0 log x0 Mul Pow sec Mul log E x0 2 log E 