\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 fmod(sinh(c), (c - pow(-2.9807307601812193e+165, 2.0)));
}
double code(double c) {
return fmod(fma(0.16666666666666666, pow(c, 3.0), fma(0.008333333333333333, pow(c, 5.0), c)), (c - 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 2020058 +o rules:numerics
(FPCore (c)
:name "Random Jason Timeout Test 014"
:precision binary64
(fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))