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

Error

Try it out

Your Program's Arguments

    Results

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