Mul x0 sech Add Mul x0 3 Add Mul Pow x0 cosh tan x7 x0 E 
Add sech Add Mul x0 3 Add Mul Pow x0 cosh tan x7 x0 E Mul x0 Mul Mul tanh Add Mul x0 3 Add Mul Pow x0 cosh tan x7 x0 E Mul -1 sech Add Mul x0 3 Add Mul Pow x0 cosh tan x7 x0 E Add 3 Add Mul x0 Mul Pow x0 Add cosh tan x7 -1 cosh tan x7 Pow x0 cosh tan x7 