Details

sample34.0ms

Algorithm

intervals

Results

18.0ms

500×

body

valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	42	7
2	54	7
3	54	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: 31.3b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
19.4b	(/ (* x x) (* y y))
19.9b	(/ (* z z) (* t t))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

49×	`frac-add`
40×	`*-commutative`
32×	`associate-/r` `associate-/l`
16×	`frac-2neg` `clear-num`
8×	`times-frac`
2×	`div-inv`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

3 → 74

Calls

3 calls:

11.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
5.0ms	(/ (* x x) (* y y))
4.0ms	(/ (* z z) (* t t))

series146.0ms

Counts

3 → 9

Calls

3 calls:

94.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
26.0ms	(/ (* x x) (* y y))
26.0ms	(/ (* z z) (* t t))

simplify98.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	434	699
1	3291	681
2	5001	681

prune164.0ms

Filtered

83 candidates to 39 candidates (47.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	72	11	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	11	84

Merged error: 3.8b

Counts

84 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
0.3b	(* (/ x y) (/ x y))
19.9b	(/ (* z z) (* t t))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

112×	`frac-add`
89×	`clear-num`
81×	`frac-2neg`
72×	`frac-times`
39×	`*-commutative`
34×	`associate-/r` `associate-/l`
24×	`associate-r/` `associate-l/`
8×	`un-div-inv`
5×	`div-inv`
4×	`times-frac`
1×	`+-commutative` `pow2` `flip3-+` `swap-sqr` `associate-r` `associate-l` `flip-+`

Counts

3 → 147

Calls

3 calls:

12.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
4.0ms	(* (/ x y) (/ x y))
4.0ms	(/ (* z z) (* t t))

series147.0ms

Counts

3 → 9

Calls

3 calls:

91.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
26.0ms	(* (/ x y) (/ x y))
30.0ms	(/ (* z z) (* t t))

simplify45.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1071	1525
1	5001	1476

prune171.0ms

Filtered

156 candidates to 57 candidates (36.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	146	10	156
Fresh	9	1	10
Picked	1	0	1
Done	0	0	0
Total	156	11	167

Merged error: 0.1b

Counts

167 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
0.3b	(* (/ z t) (/ z t))
0.3b	(* (/ x y) (/ x y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

306×	`frac-times` `clear-num`
272×	`frac-2neg`
256×	`frac-add`
102×	`associate-r/` `associate-l/`
34×	`un-div-inv`
8×	`div-inv`
2×	`pow2` `swap-sqr` `associate-r` `associate-l` `*-commutative`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

3 → 301

Calls

3 calls:

15.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
4.0ms	(* (/ z t) (/ z t))
4.0ms	(* (/ x y) (/ x y))

series150.0ms

Counts

3 → 9

Calls

3 calls:

92.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
26.0ms	(* (/ z t) (/ z t))
32.0ms	(* (/ x y) (/ x y))

simplify86.0ms

Algorithm

egg-herbie

Counts

310 → 310

Iterations

Useful iterations: 1 (51.0ms)

Iter	Nodes	Cost
0	2845	3471
1	5001	3357

prune243.0ms

Filtered

310 candidates to 78 candidates (25.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	299	11	310
Fresh	9	1	10
Picked	1	0	1
Done	0	0	0
Total	309	12	321

Merged error: 0.0b

Counts

321 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (/ x y) (/ y x)) (* (/ z t) (/ z t)))
0.2b	(/ (/ x y) (/ y x))
0.3b	(* (/ z t) (/ z t))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

128×	`frac-add`
116×	`clear-num`
107×	`frac-2neg`
81×	`frac-times`
51×	`associate-/l/`
41×	`div-inv`
27×	`associate-r/` `associate-l/`
17×	`associate-/r` `associate-/l`
9×	`un-div-inv`
3×	`associate-/r/`
1×	`+-commutative` `pow2` `flip3-+` `times-frac` `swap-sqr` `associate-r` `associate-l` `*-commutative` `flip-+`

Counts

3 → 164

Calls

3 calls:

12.0ms	(+ (/ (/ x y) (/ y x)) (* (/ z t) (/ z t)))
4.0ms	(/ (/ x y) (/ y x))
4.0ms	(* (/ z t) (/ z t))

series149.0ms

Counts

3 → 9

Calls

3 calls:

93.0ms	(+ (/ (/ x y) (/ y x)) (* (/ z t) (/ z t)))
25.0ms	(/ (/ x y) (/ y x))
31.0ms	(* (/ z t) (/ z t))

simplify58.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1667	1849
1	5002	1751

prune205.0ms

Filtered

173 candidates to 73 candidates (42.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	168	5	173
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	174	11	185

Merged error: 0.0b

Counts

185 → 11

regimes298.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	7
1	12	7

end0.0ms

sample948.0ms

Algorithm

intervals

Results

562.0ms

15643×

body

valid