Average Error: 1.0 → 0
Time: 2.2s
Precision: 64
$\frac{\sin 9999.510000000000218278728425502777099609}{98755} \cdot 100$
$\sin 9999.510000000000218278728425502777099609 \cdot \frac{100}{98755}$
\frac{\sin 9999.510000000000218278728425502777099609}{98755} \cdot 100
\sin 9999.510000000000218278728425502777099609 \cdot \frac{100}{98755}
double f() {
double r2239834 = 9999.51;
double r2239835 = sin(r2239834);
double r2239836 = 98755.0;
double r2239837 = r2239835 / r2239836;
double r2239838 = 100.0;
double r2239839 = r2239837 * r2239838;
return r2239839;
}


double f() {
double r2239840 = 9999.51;
double r2239841 = sin(r2239840);
double r2239842 = 100.0;
double r2239843 = 98755.0;
double r2239844 = r2239842 / r2239843;
double r2239845 = r2239841 * r2239844;
return r2239845;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 1.0

$\frac{\sin 9999.510000000000218278728425502777099609}{98755} \cdot 100$
2. Using strategy rm
3. Applied div-inv1.0

$\leadsto \color{blue}{\left(\sin 9999.510000000000218278728425502777099609 \cdot \frac{1}{98755}\right)} \cdot 100$
4. Applied associate-*l*0

$\leadsto \color{blue}{\sin 9999.510000000000218278728425502777099609 \cdot \left(\frac{1}{98755} \cdot 100\right)}$
5. Simplified0

$\leadsto \sin 9999.510000000000218278728425502777099609 \cdot \color{blue}{\frac{100}{98755}}$
6. Final simplification0

$\leadsto \sin 9999.510000000000218278728425502777099609 \cdot \frac{100}{98755}$

# Reproduce

herbie shell --seed 1
(FPCore ()
:name "(sin(9999.51) / 98755) * 100"
:precision binary64
(* (/ (sin 9999.51000000000022) 98755) 100))