Average Error: 0 → 0
Time: 1.2s
Precision: 64
Internal Precision: 320
\[0.1 + \frac{0.2}{2}\]
\[0.1 + \frac{0.2}{2}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[0.1 + \frac{0.2}{2}\]
    2. Initial simplification0

      \[\leadsto \frac{0.2}{2} + 0.1\]
    3. Final simplification0

      \[\leadsto 0.1 + \frac{0.2}{2}\]

    Runtime

    Time bar (total: 1.2s)Debug log

    herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
    (FPCore ()
      :name "0.1+0.2/2"
      (+ 0.1 (/ 0.2 2)))