(1) -> realElementary sinh x
realElementary cosh x
fix == rule a/(?b*exp(x)) == a/b*exp(-x)
simplify fix realElementary sinh x
Compiling body of rule fix to compute value of type RewriteRule( Integer,Integer, Expression(Integer))
simplify fix realElementary cosh x