Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

342×

body

valid

simplify109.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	14	4
1	25	4
2	48	3
3	96	3
4	153	3
5	203	3
6	247	3
7	401	3
8	680	3
9	1133	3
10	1866	3
11	3291	3
12	4743	3
13	5001	3

prune6.0ms

Filtered

1 candidates to 1 candidates (100.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: 0.1b

Counts

2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

2.6b	(fma (/ y t) (- z x) x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`fma-udef`

Counts

1 → 1

Calls

1 calls:

1.0ms

(fma (/ y t) (- z x) x)

series27.0ms

Counts

1 → 3

Calls

1 calls:

27.0ms

(fma (/ y t) (- z x) x)

simplify109.0ms

Algorithm

egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	28	21
1	62	21
2	104	18
3	179	12
4	248	12
5	340	12
6	510	12
7	1048	12
8	1582	12
9	1988	12
10	3362	12
11	4812	12
12	5001	12

prune8.0ms

Filtered

4 candidates to 1 candidates (25.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	4	2	6

Merged error: 0.0b

Counts

6 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ y t) (- z x)) x)
7.0b	(* (/ y t) (- z x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`frac-times`
4×	`distribute-rgt-in` `sub-neg` `associate-+l+` `flip3--` `distribute-lft-in` `flip--`
3×	`fma-def` `frac-2neg` `associate-*l/` `clear-num`
2×	`associate-r/` `associate-l` `-commutative` `div-inv`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

2 → 27

Calls

2 calls:

6.0ms	(+ (* (/ y t) (- z x)) x)
4.0ms	(* (/ y t) (- z x))

series84.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ (* (/ y t) (- z x)) x)
51.0ms	(* (/ y t) (- z x))

simplify67.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	207	161
1	723	144
2	3434	142
3	5001	141

prune77.0ms

Filtered

33 candidates to 22 candidates (66.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0.0b

Counts

35 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ (- z x) (/ t y)) x)
7.3b	(/ (- z x) (/ t y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 18

Calls

2 calls:

5.0ms	(+ (/ (- z x) (/ t y)) x)
4.0ms	(/ (- z x) (/ t y))

series76.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(+ (/ (- z x) (/ t y)) x)
44.0ms	(/ (- z x) (/ t y))

simplify47.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 3 (44.0ms)

Iter	Nodes	Cost
0	133	91
1	412	80
2	1801	78
3	5001	76

prune53.0ms

Filtered

24 candidates to 17 candidates (70.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	23	5	28

Merged error: 0b

Counts

28 → 5

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z x))
0.0b	(+ (/ (* y (- z x)) t) x)
5.6b	(/ (* y (- z x)) t)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-*r/`
2×	`distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `-commutative` `flip--` `div-inv` `associate-/l/` `associate-/l`
1×	`+-commutative` `fma-def` `frac-2neg` `flip3-+` `clear-num` `flip-+`

Counts

3 → 18

Calls

3 calls:

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

series121.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(* y (- z x))
32.0ms	(+ (/ (* y (- z x)) t) x)
50.0ms	(/ (* y (- z x)) t)

simplify37.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 3 (34.0ms)

Iter	Nodes	Cost
0	136	108
1	347	95
2	1144	89
3	5001	88

prune41.0ms

Filtered

27 candidates to 15 candidates (55.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	27	5	32

Merged error: 0b

Counts

32 → 5

regimes115.0ms

Accuracy

18.5% (1.6b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 2.0b

bsearch50.0ms

Steps

Iters	Range		Point
6	2.1081991275125593e-37	1.0083323286664568e-36	5.3464729145636056e-37
6	-3.906339792520155e+100	-7.96218433995357e+99	-8.040655002058217e+99

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	11
1	22	11

end0.0ms

sample572.0ms

Algorithm

intervals

Results

295.0ms

10651×

body

valid