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

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}{a \cdot b}\]
  3. Removed slow pow expressions

Runtime

Time bar (total: 988.0ms) Debug logProfile

Please include this information when filing a bug report:

herbie shell --seed '#(1064524629 4159152179 2999149171 575749698 4006532819 692958815)'
(FPCore (a b)
  :name "Exp of sum of logs"

  :target
  (* a b)

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