Details

Time bar (total: 1.7s)

sample20.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
4.0ms256×pre80true

simplify68.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0236
1526
21176
32406
44786
59476
618446
750016

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.3b

Counts
2 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
5×flip3-+ flip-+
4×frac-times
3×flip3-- flip--
2×fma-def associate-*r/ associate-*l/ associate-/r/ *-commutative associate-/l*
1×+-commutative frac-2neg clear-num div-inv
Counts
2 → 20
Calls
2 calls:
4.0ms
(+ (* x x) (* y y))
12.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series93.0ms

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

simplify93.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (90.0ms)

IterNodesCost
0178132
1867125
24054115
35001113

prune68.0ms

Filtered
26 candidates to 21 candidates (80.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New22426
Fresh101
Picked011
Done000
Total23528

Merged error: 0.3b

Counts
28 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/
6×associate-/l/
4×flip3-+ flip-+
3×frac-2neg clear-num associate-/r* div-inv
2×flip3-- fma-def flip--
1×+-commutative *-commutative
Counts
3 → 25
Calls
3 calls:
4.0ms
(+ (* x x) (* y y))
7.0ms
(/ (+ x y) (/ (+ (* x x) (* y y)) (- x y)))
6.0ms
(/ (+ (* x x) (* y y)) (- x y))

series158.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(+ (* x x) (* y y))
64.0ms
(/ (+ x y) (/ (+ (* x x) (* y y)) (- x y)))
66.0ms
(/ (+ (* x x) (* y y)) (- x y))

simplify69.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0157160
1627151
22415141
35001137

prune75.0ms

Filtered
34 candidates to 26 candidates (76.5%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New32234
Fresh213
Picked011
Done011
Total34539

Merged error: 0.3b

Counts
39 → 5

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify5.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done022
Total055

Merged error: 0.3b

Counts
5 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* y y))
0.0b
(+ (* x x) (* y y))
0.2b
(/ 1 (+ (* x x) (* y y)))
21.2b
(* (/ 1 (+ (* x x) (* y y))) (- (* x x) (* y y)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
23×*-commutative
12×prod-diff
8×difference-of-squares
6×distribute-rgt-in frac-times distribute-lft-in
5×flip3-- flip--
4×frac-2neg associate-*r* clear-num associate-/r/
3×sub-neg flip3-+ associate-*l* associate-*l/ flip-+
2×fma-def fma-neg associate-*r/ div-inv
1×+-commutative inv-pow
Counts
4 → 56
Calls
4 calls:
4.0ms
(- (* x x) (* y y))
4.0ms
(+ (* x x) (* y y))
4.0ms
(/ 1 (+ (* x x) (* y y)))
11.0ms
(* (/ 1 (+ (* x x) (* y y))) (- (* x x) (* y y)))

series154.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* x x) (* y y))
27.0ms
(+ (* x x) (* y y))
41.0ms
(/ 1 (+ (* x x) (* y y)))
50.0ms
(* (/ 1 (+ (* x x) (* y y))) (- (* x x) (* y y)))

simplify35.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0223436
11028396
25001374

prune90.0ms

Filtered
68 candidates to 33 candidates (48.5%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New68068
Fresh011
Picked011
Done033
Total68573

Merged error: 0.3b

Counts
73 → 5

regimes91.0ms

Accuracy

71.5% (5.5b remaining)

Error of 6.0b against oracle of 0.4b and baseline of 19.8b

bsearch154.0ms

Steps
ItersRangePoint
7
4.212941359755465e-167
2.8755688316323637e-165
1.21187835279054e-166
10
2.6346823160975655e-202
3.784233531822275e-192
3.726375957425456e-192
10
-9.81243211322044e-219
-6.557019096845638e-229
-9.719081933619945e-219
9
-3.2687850399229995e-159
-3.6044989591038304e-168
-3.912279390103233e-168
9
-1.0449812822021308e+160
-3.947740089648463e+152
-5.874307843797929e+153

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03329
13429
23429

end0.0ms

sample462.0ms

Algorithm
intervals
Results
223.0ms8000×body80valid
108.0ms8000×pre80true