Details

Time bar (total: 1.2s)

sample21.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
4.0ms256×pre80true

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0227
1487
21047
31967
43597
56867
613557
750017

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.9b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* y y))
22.6b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-exp-log add-cbrt-cube
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times add-cube-cbrt *-un-lft-identity add-log-exp
3×flip3-- times-frac associate-/r* flip--
2×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/r/
1×+-commutative frac-2neg prod-exp clear-num sum-log cbrt-unprod div-inv associate-/l*
Counts
2 → 42
Calls
2 calls:
3.0ms
(+ (* x x) (* y y))
11.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series88.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(+ (* x x) (* y y))
62.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify42.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0308388
11848330
25001322

prune98.0ms

Filtered
48 candidates to 39 candidates (81.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New45348
Fresh000
Picked101
Done000
Total46349

Merged error: 0.4b

Counts
49 → 3

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.4b

Counts
3 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* y y))
22.6b
(/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/r/
7×add-exp-log add-cbrt-cube
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times add-cube-cbrt *-un-lft-identity add-log-exp
3×flip3-- times-frac flip-- associate-/l*
2×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/l/
1×+-commutative frac-2neg prod-exp clear-num associate-/r* sum-log cbrt-unprod div-inv
Counts
2 → 42
Calls
2 calls:
4.0ms
(+ (* x x) (* y y))
11.0ms
(/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))

series88.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(+ (* x x) (* y y))
60.0ms
(/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))

simplify39.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0307402
11682344
25003343

prune87.0ms

Filtered
48 candidates to 39 candidates (81.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New48048
Fresh011
Picked011
Done011
Total48351

Merged error: 0.4b

Counts
51 → 3

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033

Merged error: 0.4b

Counts
3 → 3

regimes53.0ms

Accuracy

76.7% (4.9b remaining)

Error of 5.5b against oracle of 0.5b and baseline of 21.6b

bsearch102.0ms

Steps
ItersRangePoint
9
2.4547131628892817e-170
3.097382955589917e-161
1.8163835546796256e-162
6
-8.160269346413136e-195
-5.912662854720558e-196
-7.956381646089189e-195
9
-2.041511136014204e-158
-9.505476459567941e-164
-2.2700368666007032e-163
8
-7.85932808106197e+156
-9.798525195327539e+152
-1.0010895938656462e+153

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02916
12916

end0.0ms

sample480.0ms

Algorithm
intervals
Results
229.0ms8000×body80valid
111.0ms8000×pre80true