\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\left(\left(\mathsf{fma}\left(\frac{1}{6}, {c}^{3}, \mathsf{fma}\left(\frac{1}{120}, {c}^{5}, c\right)\right)\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)double code(double c) {
return ((double) fmod(((double) sinh(c)), ((double) (c - ((double) pow(-2.9807307601812193e+165, 2.0))))));
}
double code(double c) {
return ((double) fmod(((double) fma(0.16666666666666666, ((double) pow(c, 3.0)), ((double) fma(0.008333333333333333, ((double) pow(c, 5.0)), c)))), ((double) (c - ((double) pow(-2.9807307601812193e+165, 2.0))))));
}



Bits error versus c
Results
Initial program 0.0
Taylor expanded around 0 0.6
Simplified0.6
Final simplification0.6
herbie shell --seed 2020120 +o rules:numerics
(FPCore (c)
:name "Random Jason Timeout Test 014"
:precision binary64
(fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))