Details

sample42.0ms

Algorithm

intervals

Results

21.0ms

391×

body

valid

simplify139.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 6 (137.0ms)

Iter	Nodes	Cost
0	38	9
1	103	9
2	327	9
3	921	9
4	1996	9
5	4841	9
6	5001	8

prune10.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: 12.1b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b	(fma x (* 9.0 y) b)
6.0b	(/ (* t a) c)
11.1b	(/ (fma x (* 9.0 y) b) (* z c))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

2×	`frac-2neg` `clear-num` `associate-/r` `-commutative` `fma-udef` `div-inv` `associate-/l*`

Counts

4 → 12

Calls

4 calls:

1.0ms	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
1.0ms	(fma x (* 9.0 y) b)
3.0ms	(/ (* t a) c)
3.0ms	(/ (fma x (* 9.0 y) b) (* z c))

series340.0ms

Counts

4 → 12

Calls

4 calls:

225.0ms	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
34.0ms	(fma x (* 9.0 y) b)
21.0ms	(/ (* t a) c)
60.0ms	(/ (fma x (* 9.0 y) b) (* z c))

simplify124.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	96	70
1	236	66
2	583	65
3	1082	65
4	1322	65
5	1490	65
6	2022	65
7	3122	65
8	5001	65

prune98.0ms

Filtered

24 candidates to 18 candidates (75.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	16	8	24
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	17	9	26

Merged error: 4.5b

Counts

26 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b	(fma x (* 9.0 y) b)
5.5b	(/ a (/ c t))
11.1b	(/ (fma x (* 9.0 y) b) (* z c))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

3×	`frac-2neg` `clear-num` `associate-/r*` `associate-/r/` `div-inv`
2×	`fma-udef`
1×	`*-commutative`

Counts

4 → 14

Calls

4 calls:

1.0ms	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
1.0ms	(fma x (* 9.0 y) b)
3.0ms	(/ a (/ c t))
3.0ms	(/ (fma x (* 9.0 y) b) (* z c))

series321.0ms

Counts

4 → 12

Calls

4 calls:

203.0ms	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
39.0ms	(fma x (* 9.0 y) b)
22.0ms	(/ a (/ c t))
57.0ms	(/ (fma x (* 9.0 y) b) (* z c))

simplify52.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	90	69
1	224	64
2	606	63
3	2105	63
4	5001	63

prune101.0ms

Filtered

26 candidates to 18 candidates (69.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	26	9	35

Merged error: 3.7b

Counts

35 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (* 9.0 x) y b)
2.7b	(/ (fma (* 9.0 x) y b) c)
5.5b	(/ a (/ c t))
7.6b	(/ (/ (fma (* 9.0 x) y b) c) z)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

5×	`frac-2neg` `clear-num` `div-inv`
3×	`associate-/r/` `associate-/l/`
1×	`associate-/r` `fma-udef` `associate-/l`

Counts

4 → 18

Calls

4 calls:

1.0ms	(fma (* 9.0 x) y b)
2.0ms	(/ (fma (* 9.0 x) y b) c)
3.0ms	(/ a (/ c t))
3.0ms	(/ (/ (fma (* 9.0 x) y b) c) z)

series182.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(fma (* 9.0 x) y b)
62.0ms	(/ (fma (* 9.0 x) y b) c)
25.0ms	(/ a (/ c t))
57.0ms	(/ (/ (fma (* 9.0 x) y b) c) z)

simplify51.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	88	71
1	205	69
2	633	68
3	2114	68
4	5001	68

prune107.0ms

Filtered

30 candidates to 17 candidates (56.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	28	11	39

Merged error: 3.7b

Counts

39 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(fma 9.0 (/ (* x y) c) (/ b c))
3.9b	(/ (* x y) c)
5.5b	(/ a (/ c t))
7.6b	(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`frac-2neg` `clear-num` `div-inv`
3×	`associate-/r/`
2×	`associate-/l*`
1×	`associate-/r` `-commutative` `fma-udef`

Counts

4 → 16

Calls

4 calls:

1.0ms	(fma 9.0 (/ (* x y) c) (/ b c))
3.0ms	(/ (* x y) c)
3.0ms	(/ a (/ c t))
2.0ms	(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)

series176.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(fma 9.0 (/ (* x y) c) (/ b c))
21.0ms	(/ (* x y) c)
23.0ms	(/ a (/ c t))
77.0ms	(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)

simplify69.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	72	73
1	160	72
2	376	71
3	1152	71
4	4158	71
5	5002	71

prune74.0ms

Filtered

28 candidates to 17 candidates (60.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	25	3	28
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	28	11	39

Merged error: 2.0b

Counts

39 → 11

regimes810.0ms

Accuracy

60.1% (3.8b remaining)

Error of 5.0b against oracle of 1.2b and baseline of 10.7b

bsearch69.0ms

Steps

Iters	Range		Point
2	9.529615378338151e-13	1.1235126532679746e-12	1.0595559849801646e-12
5	-5.8919925013935686e+26	-2.0640897373030883e+26	-2.4057144882797103e+26

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	17
1	36	17

end0.0ms

sample1.1s

Algorithm

intervals

Results

631.0ms

12733×

body

valid