Add Pow x0 Add Mul 2 x0 cosh exp Mul 3 tan x0 x0 
Add Mul Pow x0 Add Add Mul 2 x0 cosh exp Mul 3 tan x0 -1 Add Add Mul 2 x0 cosh exp Mul 3 tan x0 Mul Mul x0 log x0 Add 2 Mul sinh exp Mul 3 tan x0 Mul exp Mul 3 tan x0 Mul 3 Pow sec x0 2 1 