I took the required steps. The patch is attached to this email, I hope
I got it right this time. I did not forward the patch to gcc-patches
the first time, sorry for the inconvenience.
Thank you for your attention,
Vitor.
in gcc/ChangeLog:
2020-01-28 Vitor Guidi
* match.pd: New
regards,
Vitor.
in gcc/ChangeLog:
2020-08-28 Vitor Guidi
* match.pd: New substitution rule for tanh(x)/sinh(x) ->
1.0/cosh(x).
in gcc/testsuite/ChangeLog:
2020-08-28 Vitor Guidi
* gcc.dg/tanhbysinh.c (new): Verify if simplification is applied.
> diff --git gcc/match.