Average Error: 0.1 → 0.1
Time: 7.7s
Precision: binary64
Cost: 6848
\[\left(1 - x\right) + y \cdot \sqrt{x}\]
↓
\[\left(1 - x\right) + y \cdot \sqrt{x}\]
\left(1 - x\right) + y \cdot \sqrt{x}↓
\left(1 - x\right) + y \cdot \sqrt{x}(FPCore (x y) :precision binary64 (+ (- 1.0 x) (* y (sqrt x))))
↓
(FPCore (x y) :precision binary64 (+ (- 1.0 x) (* y (sqrt x))))
double code(double x, double y) {
return (1.0 - x) + (y * sqrt(x));
}
↓
double code(double x, double y) {
return (1.0 - x) + (y * sqrt(x));
}
Try it out
Enter valid numbers for all inputs
Alternatives
| Alternative 1 |
|---|
| Error | 0.3 |
|---|
| Cost | 51904 |
|---|
\[\left(1 - x\right) + \left(\left(y \cdot \sqrt{\sqrt{x}}\right) \cdot \sqrt{\left|\sqrt[3]{x}\right|}\right) \cdot \sqrt{\sqrt{\sqrt[3]{x}}}\]
| Alternative 2 |
|---|
| Error | 0.3 |
|---|
| Cost | 51904 |
|---|
\[\left(1 - x\right) + \sqrt{\sqrt[3]{\sqrt{x}}} \cdot \left(\left(y \cdot \sqrt{\sqrt{x}}\right) \cdot \left|\sqrt[3]{\sqrt{x}}\right|\right)\]
| Alternative 3 |
|---|
| Error | 0.2 |
|---|
| Cost | 45760 |
|---|
\[\left(1 - x\right) + {\left(\sqrt[3]{x}\right)}^{0.25} \cdot \left(\left(y \cdot \sqrt{\sqrt{x}}\right) \cdot {\left(\sqrt[3]{x} \cdot \sqrt[3]{x}\right)}^{0.25}\right)\]
| Alternative 4 |
|---|
| Error | 0.3 |
|---|
| Cost | 45568 |
|---|
\[\left(1 - x\right) + {x}^{0.25} \cdot \left(\left(y \cdot \left|\sqrt[3]{\sqrt{x}}\right|\right) \cdot \sqrt{\sqrt[3]{\sqrt{x}}}\right)\]
| Alternative 5 |
|---|
| Error | 0.9 |
|---|
| Cost | 39872 |
|---|
\[\sqrt[3]{\left(1 - x\right) + y \cdot \sqrt{x}} \cdot \left(\sqrt[3]{\left(1 - x\right) + y \cdot \sqrt{x}} \cdot \sqrt[3]{\left(1 - x\right) + y \cdot \sqrt{x}}\right)\]
| Alternative 6 |
|---|
| Error | 0.4 |
|---|
| Cost | 39360 |
|---|
\[\left(1 - x\right) + \sqrt[3]{y \cdot \sqrt{x}} \cdot \left(\sqrt[3]{y \cdot \sqrt{x}} \cdot \sqrt[3]{y \cdot \sqrt{x}}\right)\]
| Alternative 7 |
|---|
| Error | 19.4 |
|---|
| Cost | 39360 |
|---|
\[\left(1 - x\right) + \left(\left(y \cdot \sqrt{\sqrt{x}}\right) \cdot {\left(\sqrt[3]{x \cdot x}\right)}^{0.25}\right) \cdot {\left(\sqrt[3]{x}\right)}^{0.25}\]
| Alternative 8 |
|---|
| Error | 0.5 |
|---|
| Cost | 39104 |
|---|
\[\left(1 - x\right) + \sqrt[3]{\sqrt{x}} \cdot \left(y \cdot \left(\sqrt[3]{\sqrt{x}} \cdot \sqrt[3]{\sqrt{x}}\right)\right)\]
| Alternative 9 |
|---|
| Error | 31.5 |
|---|
| Cost | 39104 |
|---|
\[\left(1 - x\right) + \left(\sqrt{\sqrt{x}} \cdot \sqrt{y}\right) \cdot \left(\sqrt{\sqrt{x}} \cdot \sqrt{y}\right)\]
| Alternative 10 |
|---|
| Error | 0.2 |
|---|
| Cost | 39040 |
|---|
\[\left(1 - x\right) + \left(y \cdot {\left(\sqrt{\sqrt{x}}\right)}^{1.5}\right) \cdot \sqrt{\sqrt{\sqrt{x}}}\]
| Alternative 11 |
|---|
| Error | 31.5 |
|---|
| Cost | 32768 |
|---|
\[\left(1 - x\right) + {x}^{0.25} \cdot \left(\sqrt{y} \cdot \left(\sqrt{\sqrt{x}} \cdot \sqrt{y}\right)\right)\]
| Alternative 12 |
|---|
| Error | 0.4 |
|---|
| Cost | 26304 |
|---|
\[\left(1 - x\right) + \left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \left(\sqrt{x} \cdot \sqrt[3]{y}\right)\]
| Alternative 13 |
|---|
| Error | 29.8 |
|---|
| Cost | 26304 |
|---|
\[\left(1 - x\right) + \sqrt{y \cdot \sqrt{x}} \cdot \sqrt{y \cdot \sqrt{x}}\]
| Alternative 14 |
|---|
| Error | 0.3 |
|---|
| Cost | 26176 |
|---|
\[\left(1 - x\right) + \left(y \cdot \left|\sqrt[3]{x}\right|\right) \cdot \sqrt{\sqrt[3]{x}}\]
| Alternative 15 |
|---|
| Error | 0.2 |
|---|
| Cost | 26176 |
|---|
\[\left(1 - x\right) + \sqrt{\sqrt{x}} \cdot \left(y \cdot \sqrt{\sqrt{x}}\right)\]
| Alternative 16 |
|---|
| Error | 27.3 |
|---|
| Cost | 20736 |
|---|
\[\frac{\left(1 - x\right) \cdot \left(1 - x\right) - x \cdot \left(y \cdot y\right)}{\left(1 - x\right) - {x}^{0.25} \cdot \left(y \cdot \sqrt{\sqrt{x}}\right)}\]
| Alternative 17 |
|---|
| Error | 0.2 |
|---|
| Cost | 19840 |
|---|
\[\left(1 - x\right) + {x}^{0.25} \cdot \left(y \cdot \sqrt{\sqrt{x}}\right)\]
| Alternative 18 |
|---|
| Error | 31.5 |
|---|
| Cost | 19776 |
|---|
\[\left(1 - x\right) + \sqrt{y} \cdot \left(\sqrt{x} \cdot \sqrt{y}\right)\]
| Alternative 19 |
|---|
| Error | 19.0 |
|---|
| Cost | 19712 |
|---|
\[\left(1 - x\right) + \sqrt[3]{{\left(y \cdot \sqrt{x}\right)}^{3}}\]
| Alternative 20 |
|---|
| Error | 0.2 |
|---|
| Cost | 13504 |
|---|
\[\left(1 - x\right) + {x}^{0.25} \cdot \left(y \cdot {x}^{0.25}\right)\]
| Alternative 21 |
|---|
| Error | 23.0 |
|---|
| Cost | 7744 |
|---|
\[\frac{\left(1 - x\right) \cdot \left(1 - x\right) - y \cdot \left(x \cdot y\right)}{\left(1 - x\right) - y \cdot \sqrt{x}}\]
| Alternative 22 |
|---|
| Error | 41.6 |
|---|
| Cost | 6592 |
|---|
\[y \cdot \sqrt{x}\]
| Alternative 23 |
|---|
| Error | 21.9 |
|---|
| Cost | 192 |
|---|
\[1 - x\]
| Alternative 24 |
|---|
| Error | 42.4 |
|---|
| Cost | 128 |
|---|
\[-x\]
| Alternative 25 |
|---|
| Error | 43.0 |
|---|
| Cost | 64 |
|---|
\[1\]
| Alternative 26 |
|---|
| Error | 62.4 |
|---|
| Cost | 64 |
|---|
\[0\]
| Alternative 27 |
|---|
| Error | 61.9 |
|---|
| Cost | 64 |
|---|
\[-1\]
Error
Derivation
Initial program 0.1
\[\left(1 - x\right) + y \cdot \sqrt{x}\]
Simplified0.1
\[\leadsto \color{blue}{\left(1 - x\right) + y \cdot \sqrt{x}}\]
Final simplification0.1
\[\leadsto \left(1 - x\right) + y \cdot \sqrt{x}\]
Reproduce
herbie shell --seed 2021042
(FPCore (x y)
:name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, E"
:precision binary64
(+ (- 1.0 x) (* y (sqrt x))))
