Average Error: 1.0 → 0.1
Time: 3.2s
Precision: binary64
\[\]
↓
\[\]

Error

Bits error versus g

Bits error versus h

Derivation

  1. Initial program 1.0

    \[\]
  2. Using strategy rm

  3. Applied distribute-frac-neg1.0

    \[\leadsto \]

  4. Applied acos-neg1.0

    \[\leadsto \]

  5. Applied div-sub1.0

    \[\leadsto \]

  6. Applied associate-+r-1.0

    \[\leadsto \]

  7. Applied cos-diff0.1

    \[\leadsto \]

  8. Simplified0.1

    \[\leadsto \]

  9. Simplified0.1

    \[\leadsto \]

  10. Final simplification0.1

    \[\leadsto \]

Reproduce

herbie shell --seed 2020190 
(FPCore (g h)
  :name "2-ancestry mixing, negative discriminant"
  :precision binary64
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))))