sinh Pow atan asec x6 Mul tan x0 exp sin x0 
Mul cosh Pow atan asec x6 Mul tan x0 exp sin x0 Mul Pow atan asec x6 Add Mul tan x0 exp sin x0 -1 Mul Mul atan asec x6 log atan asec x6 Add Mul exp sin x0 Pow sec x0 2 Mul tan x0 Mul exp sin x0 cos x0 