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