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