sinh Pow sec sech x5 Add Mul Mul sinh x0 -1 3 x6 
Mul cosh Pow sec sech x5 Add Mul Mul sinh x0 -1 3 x6 Mul Pow sec sech x5 Add Add Mul Mul sinh x0 -1 3 x6 -1 Mul Mul sec sech x5 log sec sech x5 Mul 3 Mul -1 cosh x0 