Average Error: 0.0 → 0.0
Time: 3.3s
Precision: 64
Internal precision: 128
\[\sqrt{1.0 - x \cdot x}\]
⬇
\[\sqrt{1.0 - {x}^2}\]

Error

Bits error versus x

Target

Original0.0
Comparison0.0
Herbie0.0
\[ \sqrt{1.0 - {x}^2} \]

Derivation

  1. Initial program 0.0

    \[\sqrt{1.0 - x \cdot x}\]

  2. Applied simplify 0.0

    \[\leadsto \color{blue}{\sqrt{1.0 - {x}^2}}\]
  3. Removed slow pow expressions

Runtime

Time bar (total: 3.3s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3983878270 210613686 1779915479 3369280336 596054536 2482740703)'
(FPCore (x)
  :name "Diagrams.TwoD.Ellipse:ellipse from diagrams-lib-1.3.0.3"

  :target
  (sqrt (- 1.0 (sqr x)))

  (sqrt (- 1.0 (* x x))))