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