Average Error: 1.0 → 0
Time: 2.6s
Precision: 64
Internal Precision: 320
\[\log \left(3 + 2\right) - \log 2\]
\[\log \left(\frac{2 + 3}{2}\right)\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\log \left(3 + 2\right) - \log 2\]
    2. Using strategy rm
    3. Applied diff-log0

      \[\leadsto \color{blue}{\log \left(\frac{3 + 2}{2}\right)}\]
    4. Final simplification0

      \[\leadsto \log \left(\frac{2 + 3}{2}\right)\]

    Runtime

    Time bar (total: 2.6s)Debug log

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