Details

sample19.0ms

Algorithm

intervals

Results

9.0ms

265×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	7
1	15	7

prune2.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: 27.4b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.5b	(+ (* a c) (* b d))
26.9b	(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 13

Calls

3 calls:

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

series143.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(+ (* c c) (* d d))
32.0ms	(+ (* a c) (* b d))
82.0ms	(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))

simplify62.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	146	122
1	589	118
2	1981	116
3	5002	116

prune69.0ms

Filtered

22 candidates to 17 candidates (77.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	15	7	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	8	23

Merged error: 26.7b

Counts

23 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.5b	(+ (* a c) (* b d))
0.6b	(/ 1 (+ (* c c) (* d d)))
26.4b	(* (+ (* a c) (* b d)) (/ 1 (+ (* c c) (* d d))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 29

Calls

4 calls:

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

series178.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(+ (* c c) (* d d))
32.0ms	(+ (* a c) (* b d))
39.0ms	(/ 1 (+ (* c c) (* d d)))
80.0ms	(* (+ (* a c) (* b d)) (/ 1 (+ (* c c) (* d d))))

simplify134.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	189	242
1	935	238
2	4733	237
3	5001	237

prune90.0ms

Filtered

41 candidates to 24 candidates (58.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	41	8	49

Merged error: 26.7b

Counts

49 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* c c) (* d d))
0.5b	(+ (* a c) (* b d))
0.7b	(/ 1 (/ (+ (* c c) (* d d)) (+ (* a c) (* b d))))
26.3b	(/ (+ (* c c) (* d d)) (+ (* a c) (* b d)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 26

Calls

4 calls:

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

series243.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ (* c c) (* d d))
32.0ms	(+ (* a c) (* b d))
132.0ms	(/ 1 (/ (+ (* c c) (* d d)) (+ (* a c) (* b d))))
52.0ms	(/ (+ (* c c) (* d d)) (+ (* a c) (* b d)))

simplify95.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	164	195
1	715	188
2	3261	185
3	5001	185

prune98.0ms

Filtered

38 candidates to 27 candidates (71.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	5	5
Picked	0	1	1
Done	1	1	2
Total	38	8	46

Merged error: 26.7b

Counts

46 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (* a c) (* b d))
0.6b	(/ 1 (+ (* c c) (* d d)))
0.8b	(/ 1 (+ (* a c) (* b d)))
26.1b	(/ (/ 1 (+ (* c c) (* d d))) (/ 1 (+ (* a c) (* b d))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`associate-/r/`
11×	`flip3-+` `flip-+` `div-inv`
9×	`times-frac`
5×	`frac-2neg` `clear-num`
3×	`associate-/r` `associate-/l/` `associate-/l`
2×	`inv-pow`
1×	`+-commutative`

Counts

4 → 39

Calls

4 calls:

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

series226.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ (* a c) (* b d))
38.0ms	(/ 1 (+ (* c c) (* d d)))
26.0ms	(/ 1 (+ (* a c) (* b d)))
130.0ms	(/ (/ 1 (+ (* c c) (* d d))) (/ 1 (+ (* a c) (* b d))))

simplify129.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	235	400
1	1070	376
2	4640	372
3	5001	372

prune108.0ms

Filtered

51 candidates to 33 candidates (64.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	49	2	51
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	51	8	59

Merged error: 26.7b

Counts

59 → 8

regimes170.0ms

Accuracy

0% (0.7b remaining)

Error of 26.1b against oracle of 25.4b and baseline of 26.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	7
1	15	7

end0.0ms

sample496.0ms

Algorithm

intervals

Results

289.0ms

8478×

body

valid