tan cosh Mul Pow Mul x0 tan x0 Add 10 x5 x0 
Mul Pow sec cosh Mul Pow Mul x0 tan x0 Add 10 x5 x0 2 Mul sinh Mul Pow Mul x0 tan x0 Add 10 x5 x0 Add Mul x0 Mul Pow Mul x0 tan x0 Add Add 10 x5 -1 Mul Add 10 x5 Add tan x0 Mul x0 Pow sec x0 2 Pow Mul x0 tan x0 Add 10 x5 