sinh Pow Add 1 exp x0 Mul sinh x0 Pow Pow 5 asech sec atan tan x5 Mul exp x5 8 
Mul cosh Pow Add 1 exp x0 Mul sinh x0 Pow Pow 5 asech sec atan tan x5 Mul exp x5 8 Mul Pow Add 1 exp x0 Add Mul sinh x0 Pow Pow 5 asech sec atan tan x5 Mul exp x5 8 -1 Add Mul Mul sinh x0 Pow Pow 5 asech sec atan tan x5 Mul exp x5 8 exp x0 Mul Mul Add 1 exp x0 log Add 1 exp x0 Mul Pow Pow 5 asech sec atan tan x5 Mul exp x5 8 cosh x0 