Average Error: 25.7 → 25.8
Time: 35.4s
Precision: 64
Ground Truth: 128
\[\frac{x.im \cdot y.re - x.re \cdot y.im}{y.re \cdot y.re + y.im \cdot y.im}\]
⬇
\[\frac{1}{\frac{{y.re}^2 + {y.im}^2}{y.re \cdot x.im - y.im \cdot x.re}}\]

Error

Bits error versus x.re

Bits error versus x.im

Bits error versus y.re

Bits error versus y.im

Derivation

  1. Initial program 25.7

    \[\frac{x.im \cdot y.re - x.re \cdot y.im}{y.re \cdot y.re + y.im \cdot y.im}\]

  2. Applied simplify 25.7

    \[\leadsto \color{blue}{\frac{y.re \cdot x.im - y.im \cdot x.re}{{y.re}^2 + {y.im}^2}}\]
  3. Using strategy rm

  4. Applied clear-num 25.8

    \[\leadsto \color{blue}{\frac{1}{\frac{{y.re}^2 + {y.im}^2}{y.re \cdot x.im - y.im \cdot x.re}}}\]
  5. Removed slow pow expressions

Runtime

Total time: 35.4s Debug log

Please include this information when filing a bug report:

herbie --seed '#(1061129874 2187161276 3128005644 1695255670 2533098998 352868138)'
(FPCore (x.re x.im y.re y.im)
  :name "_divideComplex, imaginary part"
  (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))))