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;
}



# Try it out

Results

 In Out
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)))