Mul Mul sech x1 x0 Add Mul Pow x0 x3 Pow x0 tan x0 x7 
Add Mul Add Mul Pow x0 x3 Pow x0 tan x0 x7 sech x1 Mul Mul sech x1 x0 Add Mul Pow x0 tan x0 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul Pow x0 Add tan x0 -1 Add tan x0 Mul Mul x0 log x0 Pow sec x0 2 