what happens is that rewrite(cos) and rewrite(sin) do just that but automatic simplification results in the generation of cosh and sinh. There isn't a 'rewrite(cosh)' method (more specifically, not an `_eval_rewrite_as_cosh` method).