Average Error: 0.1 → 0.3
Time: 16.2s
Precision: 64
\[\frac{1}{2} \cdot \left(x + y \cdot \sqrt{z}\right)\]
↓
\[\frac{1}{2} \cdot x + \left(\sqrt{\sqrt{z}} \cdot y\right) \cdot \left(\sqrt{\sqrt{z}} \cdot \frac{1}{2}\right)\]
\frac{1}{2} \cdot \left(x + y \cdot \sqrt{z}\right)
↓
\frac{1}{2} \cdot x + \left(\sqrt{\sqrt{z}} \cdot y\right) \cdot \left(\sqrt{\sqrt{z}} \cdot \frac{1}{2}\right)
double f(double x, double y, double z) {
        double r10604729 = 1.0;
        double r10604730 = 2.0;
        double r10604731 = r10604729 / r10604730;
        double r10604732 = x;
        double r10604733 = y;
        double r10604734 = z;
        double r10604735 = sqrt(r10604734);
        double r10604736 = r10604733 * r10604735;
        double r10604737 = r10604732 + r10604736;
        double r10604738 = r10604731 * r10604737;
        return r10604738;
}
↓
double f(double x, double y, double z) {
        double r10604739 = 1.0;
        double r10604740 = 2.0;
        double r10604741 = r10604739 / r10604740;
        double r10604742 = x;
        double r10604743 = r10604741 * r10604742;
        double r10604744 = z;
        double r10604745 = sqrt(r10604744);
        double r10604746 = sqrt(r10604745);
        double r10604747 = y;
        double r10604748 = r10604746 * r10604747;
        double r10604749 = r10604746 * r10604741;
        double r10604750 = r10604748 * r10604749;
        double r10604751 = r10604743 + r10604750;
        return r10604751;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{1}{2} \cdot \left(x + y \cdot \sqrt{z}\right)\]
  2. Using strategy rm

  3. Applied add-sqr-sqrt0.1

    \[\leadsto \frac{1}{2} \cdot \left(x + y \cdot \sqrt{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}\right)\]

  4. Applied sqrt-prod0.3

    \[\leadsto \frac{1}{2} \cdot \left(x + y \cdot \color{blue}{\left(\sqrt{\sqrt{z}} \cdot \sqrt{\sqrt{z}}\right)}\right)\]

  5. Applied associate-*r*0.3

    \[\leadsto \frac{1}{2} \cdot \left(x + \color{blue}{\left(y \cdot \sqrt{\sqrt{z}}\right) \cdot \sqrt{\sqrt{z}}}\right)\]
  6. Using strategy rm

  7. Applied add-sqr-sqrt0.3

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(y \cdot \sqrt{\sqrt{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}}\right) \cdot \sqrt{\sqrt{z}}\right)\]

  8. Applied sqrt-prod0.3

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(y \cdot \sqrt{\color{blue}{\sqrt{\sqrt{z}} \cdot \sqrt{\sqrt{z}}}}\right) \cdot \sqrt{\sqrt{z}}\right)\]

  9. Applied sqrt-prod0.4

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(y \cdot \color{blue}{\left(\sqrt{\sqrt{\sqrt{z}}} \cdot \sqrt{\sqrt{\sqrt{z}}}\right)}\right) \cdot \sqrt{\sqrt{z}}\right)\]

  10. Applied associate-*r*0.4

    \[\leadsto \frac{1}{2} \cdot \left(x + \color{blue}{\left(\left(y \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right)} \cdot \sqrt{\sqrt{z}}\right)\]
  11. Using strategy rm

  12. Applied add-sqr-sqrt0.4

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(\left(y \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}}\right)\]

  13. Applied sqrt-prod0.4

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(\left(y \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\color{blue}{\sqrt{\sqrt{z}} \cdot \sqrt{\sqrt{z}}}}\right)\]

  14. Applied sqrt-prod0.5

    \[\leadsto \frac{1}{2} \cdot \left(x + \left(\left(y \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \color{blue}{\left(\sqrt{\sqrt{\sqrt{z}}} \cdot \sqrt{\sqrt{\sqrt{z}}}\right)}\right)\]

  15. Applied associate-*r*0.5

    \[\leadsto \frac{1}{2} \cdot \left(x + \color{blue}{\left(\left(\left(y \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}}\right)\]

  16. Simplified0.4

    \[\leadsto \frac{1}{2} \cdot \left(x + \color{blue}{\left(\left(y \cdot \sqrt{\sqrt{z}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right)} \cdot \sqrt{\sqrt{\sqrt{z}}}\right)\]
  17. Using strategy rm

  18. Applied distribute-lft-in0.4

    \[\leadsto \color{blue}{\frac{1}{2} \cdot x + \frac{1}{2} \cdot \left(\left(\left(y \cdot \sqrt{\sqrt{z}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right) \cdot \sqrt{\sqrt{\sqrt{z}}}\right)}\]

  19. Simplified0.3

    \[\leadsto \frac{1}{2} \cdot x + \color{blue}{\left(\sqrt{\sqrt{z}} \cdot y\right) \cdot \left(\sqrt{\sqrt{z}} \cdot \frac{1}{2}\right)}\]

  20. Final simplification0.3

    \[\leadsto \frac{1}{2} \cdot x + \left(\sqrt{\sqrt{z}} \cdot y\right) \cdot \left(\sqrt{\sqrt{z}} \cdot \frac{1}{2}\right)\]

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, B"
  (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))