Open
Description
It seems that the simplification sin(x) / cos(x) -> tan(x)
has been already implemented, but the same applies for hyperbolic function(s).
https://godbolt.org/z/WqYfKxr7K
For those who are interested in floating-point arithmetic optimization, I think this can be added to #34959.