Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

264×

body

valid

simplify11.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	7
1	36	7
2	48	7
3	66	7
4	72	7
5	72	7

prune3.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 26.0b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.3b	(- (* b c) (* a d))
25.5b	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `frac-2neg` `div-sub` `clear-num` `div-inv`

Counts

3 → 15

Calls

3 calls:

4.0ms	(+ (* c c) (* d d))
4.0ms	(- (* b c) (* a d))
8.0ms	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

series162.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(+ (* c c) (* d d))
40.0ms	(- (* b c) (* a d))
95.0ms	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

simplify71.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	166	136
1	683	132
2	2417	130
3	5002	130

prune280.0ms

Filtered

24 candidates to 18 candidates (75.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	17	7	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	7	25

Merged error: 25.3b

Counts

25 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.3b	(- (* b c) (* d a))
25.5b	(/ (- (* b c) (* d a)) (+ (* c c) (* d d)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `frac-2neg` `div-sub` `clear-num` `div-inv`

Counts

3 → 15

Calls

3 calls:

4.0ms	(+ (* c c) (* d d))
4.0ms	(- (* b c) (* d a))
9.0ms	(/ (- (* b c) (* d a)) (+ (* c c) (* d d)))

series175.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(+ (* c c) (* d d))
43.0ms	(- (* b c) (* d a))
102.0ms	(/ (- (* b c) (* d a)) (+ (* c c) (* d d)))

simplify75.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	163	136
1	680	132
2	2399	132
3	5001	132

prune67.0ms

Filtered

24 candidates to 16 candidates (66.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	24	7	31

Merged error: 25.3b

Counts

31 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.3b	(- (* b c) (* a d))
0.6b	(/ 1 (+ (* c c) (* d d)))
25.4b	(* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

6×	`frac-times`
5×	`flip3--` `clear-num` `flip--`
4×	`frac-2neg` `associate-/r/`
3×	`flip3-+` `associate-r/` `associate-r*` `flip-+`
2×	`associate-*l/` `un-div-inv` `div-inv`
1×	`+-commutative` `sub-neg` `*-commutative` `inv-pow`

Counts

4 → 30

Calls

4 calls:

4.0ms	(+ (* c c) (* d d))
4.0ms	(- (* b c) (* a d))
5.0ms	(/ 1 (+ (* c c) (* d d)))
9.0ms	(* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d))))

series207.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* c c) (* d d))
41.0ms	(- (* b c) (* a d))
43.0ms	(/ 1 (+ (* c c) (* d d)))
92.0ms	(* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d))))

simplify35.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	193	246
1	957	242
2	5001	241

prune130.0ms

Filtered

42 candidates to 25 candidates (59.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	0	5	5
Picked	0	1	1
Done	1	0	1
Total	41	8	49

Merged error: 25.3b

Counts

49 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.3b	(- (* b c) (* a d))
0.3b	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
25.4b	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-/r/`
4×	`clear-num` `associate-/l/`
3×	`flip3--` `frac-2neg` `flip3-+` `associate-/r*` `flip--` `flip-+` `div-inv`
1×	`+-commutative` `sub-neg` `remove-double-div` `inv-pow`

Counts

4 → 27

Calls

4 calls:

6.0ms	(+ (* c c) (* d d))
6.0ms	(- (* b c) (* a d))
13.0ms	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
13.0ms	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

series272.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ (* c c) (* d d))
40.0ms	(- (* b c) (* a d))
145.0ms	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
57.0ms	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

simplify100.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	169	199
1	712	192
2	3268	189
3	5002	189

prune93.0ms

Filtered

39 candidates to 28 candidates (71.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	39	8	47

Merged error: 25.3b

Counts

47 → 8

regimes141.0ms

Accuracy

0% (0.9b remaining)

Error of 26.6b against oracle of 25.7b and baseline of 26.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	8
1	19	8

end0.0ms

sample510.0ms

Algorithm

intervals

Results

299.0ms

8488×

body

valid