Details

sample23.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	27	8
1	63	8
2	149	8
3	358	8
4	840	8
5	5001	8

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: 11.1b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (* z 2.0) z) (* y t))
19.1b	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

987×	`add-sqr-sqrt`
717×	`associate-l`
524×	`*-un-lft-identity`
354×	`unswap-sqr`
330×	`times-frac`
264×	`prod-diff`
240×	`associate-r`
236×	`add-cube-cbrt`
144×	`distribute-lft-out--` `difference-of-squares`
80×	`*-commutative`
22×	`fma-neg` `associate-/l*`
15×	`associate-/r*`
11×	`add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
2×	`pow1` `expm1-log1p-u` `flip3--` `associate-/r/` `flip--` `log1p-expm1-u`
1×	`sub-neg` `frac-2neg` `diff-log` `clear-num` `div-inv`

Counts

2 → 699

Calls

2 calls:

29.0ms	(- (* (* z 2.0) z) (* y t))
41.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series238.0ms

Counts

2 → 6

Calls

2 calls:

41.0ms	(- (* (* z 2.0) z) (* y t))
197.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify145.0ms

Algorithm

egg-herbie

Counts

705 → 705

Iterations

Useful iterations: 1 (45.0ms)

Iter	Nodes	Cost
0	1791	10461
1	5002	8885

prune840.0ms

Filtered

705 candidates to 274 candidates (38.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	696	9	705
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	697	9	706

Merged error: 2.9b

Counts

706 → 9

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* z 2.0) z) (* y t))
4.6b	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
17.0b	(/ (- (* (* z 2.0) z) (* y t)) z)

rewrite241.0ms

Algorithm

rewrite-expression-head

Rules

1733×	`add-sqr-sqrt`
1218×	`times-frac`
1093×	`*-un-lft-identity`
816×	`associate-l`
553×	`add-cube-cbrt`
529×	`unswap-sqr`
294×	`associate-r`
270×	`distribute-lft-out--` `difference-of-squares`
264×	`prod-diff`
98×	`*-commutative`
55×	`associate-/r*`
42×	`associate-/l*`
23×	`associate-/r/`
22×	`fma-neg`
17×	`add-exp-log` `add-cbrt-cube`
15×	`div-inv`
7×	`cbrt-undiv` `div-exp`
5×	`add-log-exp`
4×	`associate-/l/`
3×	`pow1` `expm1-log1p-u` `flip3--` `frac-2neg` `clear-num` `flip--` `log1p-expm1-u`
2×	`prod-exp` `cbrt-unprod`
1×	`sub-neg` `diff-log` `div-sub`

Counts

3 → 1084

Calls

3 calls:

29.0ms	(- (* (* z 2.0) z) (* y t))
49.0ms	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
45.0ms	(/ (- (* (* z 2.0) z) (* y t)) z)

series302.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(- (* (* z 2.0) z) (* y t))
203.0ms	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
55.0ms	(/ (- (* (* z 2.0) z) (* y t)) z)

simplify231.0ms

Algorithm

egg-herbie

Counts

1093 → 1093

Iterations

Useful iterations: 1 (71.0ms)

Iter	Nodes	Cost
0	3185	16688
1	5002	15400

prune1.8s

Filtered

1093 candidates to 519 candidates (47.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	1087	6	1093
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	1094	8	1102

Merged error: 0.8b

Counts

1102 → 8

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* z 2.0) 1) (/ (* t y) z))
4.6b	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ (* t y) z)))
4.9b	(/ (* t y) z)

rewrite554.0ms

Algorithm

rewrite-expression-head

Rules

3667×	`add-sqr-sqrt`
3648×	`times-frac`
2519×	`*-un-lft-identity`
2183×	`add-cube-cbrt`
1600×	`prod-diff`
1085×	`associate-l`
1029×	`associate-r`
888×	`associate-/l*`
648×	`frac-sub`
497×	`unswap-sqr`
343×	`*-commutative`
326×	`associate-/r/`
242×	`associate-/r*`
210×	`difference-of-squares`
83×	`div-inv`
74×	`frac-2neg` `clear-num`
70×	`distribute-lft-out--`
40×	`fma-neg`
13×	`add-exp-log` `add-cbrt-cube`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
2×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
1×	`sub-neg` `diff-log`

Counts

3 → 2718

Calls

3 calls:

126.0ms	(- (/ (* z 2.0) 1) (/ (* t y) z))
109.0ms	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ (* t y) z)))
10.0ms	(/ (* t y) z)

series251.0ms

Counts

3 → 9

Calls

3 calls:

45.0ms	(- (/ (* z 2.0) 1) (/ (* t y) z))
184.0ms	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ (* t y) z)))
22.0ms	(/ (* t y) z)

simplify862.0ms

Algorithm

egg-herbie

Counts

2727 → 2727

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5001	68228

prune8.4s

Filtered

2727 candidates to 2179 candidates (79.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	2724	3	2727
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	2732	3	2735

Merged error: 0b

Counts

2735 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* z 2.0) 1) (/ y (/ z t)))
4.6b	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ y (/ z t))))
6.0b	(/ y (/ z t))

rewrite664.0ms

Algorithm

rewrite-expression-head

Rules

5633×	`times-frac`
4448×	`add-sqr-sqrt`
3436×	`*-un-lft-identity`
3212×	`add-cube-cbrt`
2080×	`prod-diff`
739×	`associate-/r*`
713×	`associate-/r/`
702×	`associate-/l*`
684×	`frac-sub`
671×	`associate-l`
657×	`associate-r`
303×	`unswap-sqr`
255×	`div-inv`
219×	`*-commutative`
210×	`difference-of-squares`
117×	`frac-2neg` `clear-num`
42×	`distribute-lft-out--`
40×	`fma-neg`
13×	`add-exp-log` `add-cbrt-cube`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
2×	`flip3--` `flip--`
1×	`sub-neg` `diff-log` `prod-exp` `cbrt-unprod`

Counts

3 → 3219

Calls

3 calls:

151.0ms	(- (/ (* z 2.0) 1) (/ y (/ z t)))
126.0ms	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ y (/ z t))))
7.0ms	(/ y (/ z t))

series256.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(- (/ (* z 2.0) 1) (/ y (/ z t)))
183.0ms	(/ (* y 2.0) (- (/ (* z 2.0) 1) (/ y (/ z t))))
28.0ms	(/ y (/ z t))

simplify812.0ms

Algorithm

egg-herbie

Counts

3228 → 3228

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5001	91663

prune10.9s

Filtered

3228 candidates to 2620 candidates (81.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	3226	2	3228
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	3228	3	3231

Merged error: 0b

Counts

3231 → 3

regimes78.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	8
1	18	8

end0.0ms

sample514.0ms

Algorithm

intervals

Results

313.0ms

8000×

body

valid