Average Error: 0 → 0
Time: 690.0ms
Precision: 64
Internal Precision: 320
\[1 + 1\]
\[1 + 1\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1 + 1\]
    2. Final simplification0

      \[\leadsto 1 + 1\]

    Runtime

    Time bar (total: 690.0ms)Debug log

    herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
    (FPCore ()
      :name "1 + 1"
      (+ 1 1))