Average Error: 0.0 → 0.0
Time: 20.1s
Precision: 64
\[\sinh \left(x + 1\right) + \sinh 1\]
\[\left(\sinh 1 + \cosh x \cdot \sinh 1\right) + \cosh 1 \cdot \sinh x\]
\sinh \left(x + 1\right) + \sinh 1
\left(\sinh 1 + \cosh x \cdot \sinh 1\right) + \cosh 1 \cdot \sinh x
double f(double x) {
        double r33884172 = x;
        double r33884173 = 1.0;
        double r33884174 = r33884172 + r33884173;
        double r33884175 = sinh(r33884174);
        double r33884176 = sinh(r33884173);
        double r33884177 = r33884175 + r33884176;
        return r33884177;
}

double f(double x) {
        double r33884178 = 1.0;
        double r33884179 = sinh(r33884178);
        double r33884180 = x;
        double r33884181 = cosh(r33884180);
        double r33884182 = r33884181 * r33884179;
        double r33884183 = r33884179 + r33884182;
        double r33884184 = cosh(r33884178);
        double r33884185 = sinh(r33884180);
        double r33884186 = r33884184 * r33884185;
        double r33884187 = r33884183 + r33884186;
        return r33884187;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\sinh \left(x + 1\right) + \sinh 1\]
  2. Using strategy rm
  3. Applied sinh-sum0.0

    \[\leadsto \color{blue}{\left(\sinh x \cdot \cosh 1 + \cosh x \cdot \sinh 1\right)} + \sinh 1\]
  4. Applied associate-+l+0.0

    \[\leadsto \color{blue}{\sinh x \cdot \cosh 1 + \left(\cosh x \cdot \sinh 1 + \sinh 1\right)}\]
  5. Final simplification0.0

    \[\leadsto \left(\sinh 1 + \cosh x \cdot \sinh 1\right) + \cosh 1 \cdot \sinh x\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "sinh(x+1)+sinh(1)"
  (+ (sinh (+ x 1.0)) (sinh 1.0)))