Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, C
Time bar (total: 3.9s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 7 to 7 computations (0% saved)
| 438.0ms | 8 256× | 0 | valid |
ival-mult: 113.0ms (66.4% of total)ival-sub: 43.0ms (25.3% of total)ival-true: 5.0ms (2.9% of total)exact: 5.0ms (2.9% of total)ival-assert: 3.0ms (1.8% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 0 | 0 | - | 0 | - | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 0 | 0 | - | 0 | - | (*.f64 x #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 2 binary64) |
| 0 | 0 | - | 0 | - | y |
| 0 | 0 | - | 0 | - | x |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 0 |
| - | 0 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 0 | 0 | 256 |
| number | freq |
|---|---|
| 0 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 0 | 0 | 1 |
| 19.0ms | 512× | 0 | valid |
Compiled 42 to 24 computations (42.9% saved)
ival-mult: 4.0ms (56.7% of total)ival-sub: 3.0ms (42.6% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 29 |
| 1 | 31 | 25 |
| 2 | 79 | 25 |
| 3 | 170 | 25 |
| 4 | 247 | 25 |
| 5 | 275 | 25 |
| 6 | 281 | 25 |
| 0 | 5 | 5 |
| 0 | 7 | 5 |
| 1 | 10 | 5 |
| 2 | 15 | 5 |
| 3 | 21 | 5 |
| 4 | 36 | 5 |
| 5 | 55 | 5 |
| 6 | 101 | 5 |
| 7 | 143 | 5 |
| 8 | 194 | 5 |
| 9 | 211 | 5 |
| 10 | 219 | 5 |
| 0 | 219 | 5 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| Outputs |
|---|
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
Compiled 5 to 5 computations (0% saved)
Compiled 0 to 2 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
Compiled 5 to 5 computations (0% saved)
| 1× | egg-herbie |
Found 2 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 x #s(literal 2 binary64)) | |
| cost-diff | 0 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 10 | 11 |
| 2 | 15 | 11 |
| 3 | 21 | 11 |
| 4 | 36 | 11 |
| 5 | 55 | 11 |
| 6 | 101 | 11 |
| 7 | 143 | 11 |
| 8 | 194 | 11 |
| 9 | 211 | 11 |
| 10 | 219 | 11 |
| 0 | 219 | 11 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| Inputs |
|---|
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
(*.f64 x #s(literal 2 binary64)) |
x |
#s(literal 2 binary64) |
y |
| Outputs |
|---|
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
x |
#s(literal 2 binary64) |
y |
Found 2 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) | |
| accuracy | 0 | (*.f64 x #s(literal 2 binary64)) |
| 38.0ms | 256× | 0 | valid |
Compiled 24 to 12 computations (50% saved)
ival-mult: 2.0ms (60.5% of total)ival-sub: 1.0ms (30.2% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Inputs |
|---|
#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ()) |
#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ()) |
| Outputs |
|---|
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x #s(literal 2 binary64)) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ()) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | -inf | ((- (* x 2) y) (* x 2)) |
| 1.0ms | x | @ | inf | ((- (* x 2) y) (* x 2)) |
| 0.0ms | x | @ | 0 | ((- (* x 2) y) (* x 2)) |
| 0.0ms | y | @ | inf | ((- (* x 2) y) (* x 2)) |
| 0.0ms | y | @ | 0 | ((- (* x 2) y) (* x 2)) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 141 |
| 1 | 68 | 141 |
| 2 | 170 | 141 |
| 3 | 436 | 141 |
| 4 | 958 | 141 |
| 5 | 1949 | 141 |
| 6 | 3052 | 141 |
| 7 | 4444 | 141 |
| 8 | 4922 | 141 |
| 9 | 5132 | 141 |
| 10 | 5186 | 141 |
| 11 | 5951 | 141 |
| 12 | 6890 | 141 |
| 13 | 7332 | 141 |
| 14 | 7914 | 141 |
| 0 | 8242 | 141 |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(* 2 x) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(* -1 y) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* -1 y) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
| Outputs |
|---|
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 8 |
| 0 | 7 | 8 |
| 1 | 23 | 8 |
| 2 | 161 | 8 |
| 3 | 1576 | 8 |
| 0 | 9355 | 7 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| Inputs |
|---|
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
(*.f64 x #s(literal 2 binary64)) |
| Outputs |
|---|
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
Compiled 12 729 to 819 computations (93.6% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 406 | 2 | 408 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 406 | 3 | 409 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| ▶ | 49.8% | #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
| ▶ | 52.2% | #s(approx (- (* x 2) y) (neg.f64 y)) |
Compiled 22 to 20 computations (9.1% saved)
| 1× | egg-herbie |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 #s(literal 2 binary64) x) | |
| cost-diff | 0 | #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) | |
| cost-diff | 0 | (neg.f64 y) | |
| cost-diff | 0 | #s(approx (- (* x 2) y) (neg.f64 y)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 25 |
| 0 | 11 | 25 |
| 1 | 17 | 25 |
| 2 | 22 | 25 |
| 3 | 29 | 25 |
| 4 | 45 | 25 |
| 5 | 66 | 25 |
| 6 | 105 | 25 |
| 7 | 148 | 25 |
| 8 | 199 | 25 |
| 9 | 216 | 25 |
| 10 | 224 | 25 |
| 0 | 224 | 25 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| Inputs |
|---|
#s(approx (- (* x 2) y) (neg.f64 y)) |
(neg.f64 y) |
y |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
(*.f64 #s(literal 2 binary64) x) |
#s(literal 2 binary64) |
x |
| Outputs |
|---|
#s(approx (- (* x 2) y) (neg.f64 y)) |
(neg.f64 y) |
y |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
(*.f64 #s(literal 2 binary64) x) |
#s(literal 2 binary64) |
x |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0 | (*.f64 #s(literal 2 binary64) x) | |
| accuracy | 32.156724772183 | #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) | |
| accuracy | 0 | (neg.f64 y) | |
| accuracy | 30.60756406629879 | #s(approx (- (* x 2) y) (neg.f64 y)) |
| 14.0ms | 256× | 0 | valid |
Compiled 45 to 19 computations (57.8% saved)
ival-mult: 3.0ms (43.8% of total)ival-sub: 2.0ms (29.2% of total)ival-neg: 1.0ms (14.6% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Inputs |
|---|
#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ()) |
#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ()) |
#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ()) |
#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ()) |
| Outputs |
|---|
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (neg.f64 y)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ()) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | -inf | ((- (* x 2) y) (neg y) (- (* x 2) y) (* 2 x)) |
| 0.0ms | y | @ | inf | ((- (* x 2) y) (neg y) (- (* x 2) y) (* 2 x)) |
| 0.0ms | x | @ | inf | ((- (* x 2) y) (neg y) (- (* x 2) y) (* 2 x)) |
| 0.0ms | y | @ | -inf | ((- (* x 2) y) (neg y) (- (* x 2) y) (* 2 x)) |
| 0.0ms | x | @ | 0 | ((- (* x 2) y) (neg y) (- (* x 2) y) (* 2 x)) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 270 |
| 1 | 68 | 270 |
| 2 | 170 | 270 |
| 3 | 436 | 270 |
| 4 | 958 | 270 |
| 5 | 1949 | 270 |
| 6 | 3052 | 270 |
| 7 | 4440 | 270 |
| 8 | 4914 | 270 |
| 9 | 5126 | 270 |
| 10 | 5180 | 270 |
| 11 | 5934 | 270 |
| 12 | 6873 | 270 |
| 13 | 7315 | 270 |
| 14 | 7897 | 270 |
| 0 | 8225 | 270 |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(* 2 x) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* 2 x) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(* -1 y) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* -1 y) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 y) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(* -1 y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* 2 x) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* 2 x) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
(* 2 x) |
| Outputs |
|---|
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
(*.f64 #s(literal 2 binary64) x) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 22 |
| 0 | 11 | 22 |
| 1 | 30 | 22 |
| 2 | 178 | 22 |
| 3 | 1773 | 20 |
| 0 | 9448 | 18 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| Inputs |
|---|
#s(approx (- (* x 2) y) (neg.f64 y)) |
(neg.f64 y) |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
(*.f64 #s(literal 2 binary64) x) |
| Outputs |
|---|
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
#<batchref> |
Compiled 1 745 to 211 computations (87.9% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 139 | 1 | 140 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 1 | 1 |
| Total | 139 | 4 | 143 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| ✓ | 49.8% | #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
| ✓ | 52.2% | #s(approx (- (* x 2) y) (neg.f64 y)) |
| ▶ | 2.1% | #s(approx (- (* x 2) y) y) |
Compiled 29 to 26 computations (10.3% saved)
| 1× | egg-herbie |
Found 1 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | #s(approx (- (* x 2) y) y) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 14 | 8 |
| 3 | 20 | 8 |
| 4 | 36 | 8 |
| 5 | 55 | 8 |
| 6 | 101 | 8 |
| 7 | 143 | 8 |
| 8 | 193 | 8 |
| 9 | 210 | 8 |
| 10 | 218 | 8 |
| 0 | 218 | 8 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
y |
| Outputs |
|---|
#s(approx (- (* x 2) y) y) |
y |
Found 1 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 62.6295417574193 | #s(approx (- (* x 2) y) y) |
| 10.0ms | 256× | 0 | valid |
Compiled 16 to 13 computations (18.8% saved)
ival-mult: 2.0ms (58.9% of total)ival-sub: 1.0ms (29.5% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Inputs |
|---|
#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ()) |
| Outputs |
|---|
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (* x 2) y) y) #<representation binary64>) () ())) ()) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | y | @ | inf | ((- (* x 2) y)) |
| 0.0ms | x | @ | inf | ((- (* x 2) y)) |
| 0.0ms | x | @ | -inf | ((- (* x 2) y)) |
| 0.0ms | y | @ | -inf | ((- (* x 2) y)) |
| 0.0ms | y | @ | 0 | ((- (* x 2) y)) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 105 |
| 1 | 68 | 105 |
| 2 | 170 | 105 |
| 3 | 436 | 105 |
| 4 | 958 | 105 |
| 5 | 1949 | 105 |
| 6 | 3052 | 105 |
| 7 | 4440 | 105 |
| 8 | 4914 | 105 |
| 9 | 5126 | 105 |
| 10 | 5180 | 105 |
| 11 | 5934 | 105 |
| 12 | 6873 | 105 |
| 13 | 7315 | 105 |
| 14 | 7897 | 105 |
| 0 | 8225 | 105 |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(* 2 x) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(+ (* -1 y) (* 2 x)) |
(* -1 y) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* y (- (* 2 (/ x y)) 1)) |
(* -1 y) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 (* y (+ 1 (* -2 (/ x y))))) |
(* -1 y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(- (* 2 x) y) |
(* 2 x) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* x (+ 2 (* -1 (/ y x)))) |
(* 2 x) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
(* -1 (* x (- (/ y x) 2))) |
| Outputs |
|---|
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(neg.f64 y) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(*.f64 #s(literal 2 binary64) x) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
(fma.f64 #s(literal 2 binary64) x (neg.f64 y)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 0 | 6 | 7 |
| 1 | 22 | 7 |
| 2 | 160 | 7 |
| 3 | 1570 | 7 |
| 0 | 9366 | 6 |
| 1× | iter limit |
| 1× | node limit |
| 1× | saturated |
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
| Outputs |
|---|
#<batchref> |
Compiled 256 to 13 computations (94.9% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 25 | 0 | 25 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 25 | 4 | 29 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| ✓ | 49.8% | #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
| ✓ | 52.2% | #s(approx (- (* x 2) y) (neg.f64 y)) |
| ✓ | 2.1% | #s(approx (- (* x 2) y) y) |
Compiled 58 to 39 computations (32.8% saved)
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| Outputs |
|---|
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
4 calls:
| 2.0ms | x |
| 2.0ms | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 2.0ms | y |
| 2.0ms | (*.f64 x #s(literal 2 binary64)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | x |
| 100.0% | 1 | y |
| 100.0% | 1 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 100.0% | 1 | (*.f64 x #s(literal 2 binary64)) |
Compiled 10 to 13 computations (-30% saved)
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
| Outputs |
|---|
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
#s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) |
4 calls:
| 2.0ms | y |
| 2.0ms | (*.f64 x #s(literal 2 binary64)) |
| 2.0ms | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 2.0ms | x |
| Accuracy | Segments | Branch |
|---|---|---|
| 76.8% | 3 | x |
| 76.2% | 3 | y |
| 59.1% | 4 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 76.8% | 3 | (*.f64 x #s(literal 2 binary64)) |
Compiled 10 to 13 computations (-30% saved)
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
| Outputs |
|---|
#s(approx (- (* x 2) y) (neg.f64 y)) |
4 calls:
| 30.0ms | (*.f64 x #s(literal 2 binary64)) |
| 2.0ms | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 2.0ms | x |
| 2.0ms | y |
| Accuracy | Segments | Branch |
|---|---|---|
| 52.2% | 1 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 52.2% | 1 | y |
| 52.2% | 1 | x |
| 52.2% | 1 | (*.f64 x #s(literal 2 binary64)) |
Compiled 10 to 13 computations (-30% saved)
Total -0.0b remaining (-0%)
Threshold costs -0b (-0%)
| Inputs |
|---|
#s(approx (- (* x 2) y) y) |
| Outputs |
|---|
#s(approx (- (* x 2) y) y) |
4 calls:
| 1.0ms | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 1.0ms | (*.f64 x #s(literal 2 binary64)) |
| 1.0ms | x |
| 1.0ms | y |
| Accuracy | Segments | Branch |
|---|---|---|
| 2.1% | 1 | x |
| 2.1% | 1 | (-.f64 (*.f64 x #s(literal 2 binary64)) y) |
| 2.1% | 1 | (*.f64 x #s(literal 2 binary64)) |
| 2.1% | 1 | y |
Compiled 10 to 13 computations (-30% saved)
| 2× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 3.629818187428831e+66 | 5.829047954460358e+81 |
| 0.0ms | -9.813108952775886e-6 | -2.7976343078233124e-6 |
Compiled 8 to 10 computations (-25% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 58 |
| 1 | 24 | 58 |
| 2 | 27 | 58 |
| 3 | 28 | 58 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (*.f64 x #s(literal 2 binary64)) y) |
(if (<=.f64 (*.f64 x #s(literal 2 binary64)) #s(literal -5902958103587057/1180591620717411303424 binary64)) #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) (if (<=.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 4999999999999999913683878919592799158619891437790466139288573575168 binary64)) #s(approx (- (* x 2) y) (neg.f64 y)) #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)))) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
#s(approx (- (* x 2) y) y) |
| Outputs |
|---|
(-.f64 (*.f64 #s(literal 2 binary64) x) y) |
(if (<=.f64 (*.f64 #s(literal 2 binary64) x) #s(literal -5902958103587057/1180591620717411303424 binary64)) #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)) (if (<=.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 4999999999999999913683878919592799158619891437790466139288573575168 binary64)) #s(approx (- (* x 2) y) (neg.f64 y)) #s(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x)))) |
#s(approx (- (* x 2) y) (neg.f64 y)) |
#s(approx (- (* x 2) y) y) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 22 |
| 0 | 11 | 22 |
| 1 | 30 | 22 |
| 2 | 178 | 22 |
| 3 | 1773 | 20 |
| 0 | 9448 | 18 |
| 0 | 25 | 141 |
| 1 | 68 | 141 |
| 2 | 170 | 141 |
| 3 | 436 | 141 |
| 4 | 958 | 141 |
| 5 | 1949 | 141 |
| 6 | 3052 | 141 |
| 7 | 4444 | 141 |
| 8 | 4922 | 141 |
| 9 | 5132 | 141 |
| 10 | 5186 | 141 |
| 11 | 5951 | 141 |
| 12 | 6890 | 141 |
| 13 | 7332 | 141 |
| 14 | 7914 | 141 |
| 0 | 8242 | 141 |
| 1× | done |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
Compiled 75 to 38 computations (49.3% saved)
Compiled 126 to 46 computations (63.5% saved)
Loading profile data...