Mul Pow cosh x4 Add exp Add -5 Mul x0 sec acosh x3 x3 Mul tan x0 x0 
Add Mul Mul tan x0 x0 Mul Pow cosh x4 Add Add exp Add -5 Mul x0 sec acosh x3 x3 -1 Mul Mul cosh x4 log cosh x4 Mul exp Add -5 Mul x0 sec acosh x3 sec acosh x3 Mul Pow cosh x4 Add exp Add -5 Mul x0 sec acosh x3 x3 Add Mul x0 Pow sec x0 2 tan x0 