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

Error

Bits error versus g

Bits error versus h

Derivation

  1. Initial program 1.0

    \[\]
  2. Using strategy rm

  3. Applied add-cbrt-cube1.6

    \[\leadsto \]

  4. Simplified1.0

    \[\leadsto \]
  5. Using strategy rm

  6. Applied add-log-exp1.0

    \[\leadsto \]

  7. Simplified1.0

    \[\leadsto \]
  8. Using strategy rm

  9. Applied add-cube-cbrt1.0

    \[\leadsto \]

  10. Applied unpow-prod-down1.0

    \[\leadsto \]

  11. Applied exp-prod1.0

    \[\leadsto \]

  12. Applied log-pow1.0

    \[\leadsto \]

  13. Applied cbrt-prod0.1

    \[\leadsto \]

  14. Simplified0.1

    \[\leadsto \]

  15. Simplified0.1

    \[\leadsto \]

  16. Final simplification0.1

    \[\leadsto \]

Reproduce

herbie shell --seed 2020179 
(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)))))