> On Aug 7, 2018, at 4:00 PM, Giuliano Augusto Faulin Belinassi
> <giuliano.belina...@usp.br> wrote:
>
> Related with bug 86829, but for hyperbolic trigonometric functions.
> This patch adds substitution rules to both sinh(tanh(x)) -> x / sqrt(1
> - x*x) and cosh(tanh(x)) -> 1 / sqrt(1 - x*x). Notice that the both
> formulas has division by 0, but it causes no harm because 1/(+0) ->
> +infinity, thus the math is still safe.
What about non-IEEE targets that don't have "infinite" in their float
representation?
paul
