Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-05-08 Thread Jeff Law
On 5/4/19 6:21 PM, Giuliano Belinassi wrote: > Hi > > On 04/30, Jeff Law wrote: >> On 4/30/19 8:00 AM, Jakub Jelinek wrote: >>> On Tue, Apr 30, 2019 at 07:57:20AM -0600, Jeff Law wrote: > Just curious, do we want to add math identities like above to match.pd ? I'd think so.

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-05-04 Thread Giuliano Belinassi
Hi On 04/30, Jeff Law wrote: > On 4/30/19 8:00 AM, Jakub Jelinek wrote: > > On Tue, Apr 30, 2019 at 07:57:20AM -0600, Jeff Law wrote: > >>> Just curious, do we want to add math identities like above to match.pd ? > >> I'd think so. > >> > >> > >>> In practice, I am not sure how often we'd see "ta

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-04-30 Thread Jeff Law
On 4/30/19 8:00 AM, Jakub Jelinek wrote: > On Tue, Apr 30, 2019 at 07:57:20AM -0600, Jeff Law wrote: >>> Just curious, do we want to add math identities like above to match.pd ? >> I'd think so. >> >> >>> In practice, I am not sure how often we'd see "tanh * cosh" instead >>> of sinh directly in s

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-04-30 Thread Jakub Jelinek
On Tue, Apr 30, 2019 at 07:57:20AM -0600, Jeff Law wrote: > > Just curious, do we want to add math identities like above to match.pd ? > I'd think so. > > > > In practice, I am not sure how often we'd see "tanh * cosh" instead > > of sinh directly in source, > We're often surprised when what ult

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-04-30 Thread Jeff Law
On 4/29/19 9:58 PM, Prathamesh Kulkarni wrote: > On Tue, 30 Apr 2019 at 02:56, Jeff Law wrote: >> >> On 1/30/19 7:10 AM, Bárbara de Castro Fernandes wrote: >>> This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). >>> This rule is derived from the relationship between hyperbolic >>>

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-04-29 Thread Prathamesh Kulkarni
On Tue, 30 Apr 2019 at 02:56, Jeff Law wrote: > > On 1/30/19 7:10 AM, Bárbara de Castro Fernandes wrote: > > This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). > > This rule is derived from the relationship between hyperbolic > > functions. > > > > I ran the tests and gfortran.dg/

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-04-29 Thread Jeff Law
On 1/30/19 7:10 AM, Bárbara de Castro Fernandes wrote: > This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). > This rule is derived from the relationship between hyperbolic > functions. > > I ran the tests and gfortran.dg/pr79966.f90 failed, but this failure > is unrelated to the p

Re: [PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-02-01 Thread Jeff Law
On 1/30/19 7:10 AM, Bárbara de Castro Fernandes wrote: > This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). > This rule is derived from the relationship between hyperbolic > functions. > > I ran the tests and gfortran.dg/pr79966.f90 failed, but this failure > is unrelated to the p

[PATCH] Add simplification rule tanh (x) * cosh (x) -> sinh (x)

2019-01-30 Thread Bárbara de Castro Fernandes
This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). This rule is derived from the relationship between hyperbolic functions. I ran the tests and gfortran.dg/pr79966.f90 failed, but this failure is unrelated to the patch (see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88711 for mo