Average Error: 48.3 → 0
Time: 2.3s
Precision: 64
Internal precision: 128
\[e^{\log a + \log b}\]
⬇
\[b \cdot a\]

Error

Bits error versus a

Bits error versus b

Target

Original48.3
Comparison0
Herbie0
\[ a \cdot b \]

Derivation

  1. Initial program 48.3

    \[e^{\log a + \log b}\]

  2. Applied simplify 0

    \[\leadsto \color{blue}{b \cdot a}\]
  3. Removed slow pow expressions

Runtime

Time bar (total: 2.3s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(2026567094 558010551 3220825274 665106844 1642346955 1870881370)'
(FPCore (a b)
  :name "Exp of sum of logs"

  :target
  (* a b)

  (exp (+ (log a) (log b))))