Details

sample44.0ms

Algorithm

intervals

Results

22.0ms

390×

body

valid

simplify140.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 6 (138.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

prune12.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: 10.8b

Counts

2 → 2

localize22.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.3b	(fma x (* 9.0 y) b)
3.9b	(/ (* t a) c)
12.2b	(/ (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))

series342.0ms

Counts

4 → 12

Calls

4 calls:

223.0ms	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
40.0ms	(fma x (* 9.0 y) b)
20.0ms	(/ (* t a) c)
59.0ms	(/ (fma x (* 9.0 y) b) (* z c))

simplify126.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

prune107.0ms

Filtered

24 candidates to 18 candidates (75.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Merged error: 3.5b

Counts

26 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma 9.0 (/ (* x y) (* z c)) (/ b (* z c)))
3.9b	(/ (* t a) c)
6.6b	(/ b (* z c))
9.8b	(/ (* x y) (* z c))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 22

Calls

4 calls:

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

series170.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(fma 9.0 (/ (* x y) (* z c)) (/ b (* z c)))
22.0ms	(/ (* t a) c)
26.0ms	(/ b (* z c))
30.0ms	(/ (* x y) (* z c))

simplify35.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	78	88
1	154	85
2	308	85
3	520	85
4	618	85
5	620	85
6	620	85

prune138.0ms

Filtered

34 candidates to 23 candidates (67.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	29	5	34
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	33	9	42

Merged error: 0.0b

Counts

42 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

3.9b	(/ (* t a) c)
5.2b	(/ y (/ (* z c) x))
5.9b	(/ (* z c) x)
6.6b	(/ b (* z c))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

6×	`associate-/l*`
5×	`frac-2neg` `clear-num` `associate-/r/` `div-inv`
4×	`*-commutative`
3×	`associate-/r*`

Counts

4 → 24

Calls

4 calls:

7.0ms	(/ (* t a) c)
4.0ms	(/ y (/ (* z c) x))
3.0ms	(/ (* z c) x)
3.0ms	(/ b (* z c))

series101.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (* t a) c)
31.0ms	(/ y (/ (* z c) x))
21.0ms	(/ (* z c) x)
22.0ms	(/ b (* z c))

simplify65.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	70	71
1	155	71
2	325	70
3	1339	70
4	3423	70
5	5002	70

prune149.0ms

Filtered

36 candidates to 25 candidates (69.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	36	9	45

Merged error: 0.0b

Counts

45 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

3.9b	(/ (* t a) c)
4.9b	(/ (/ (* z c) x) y)
5.9b	(/ (* z c) x)
6.6b	(/ b (* z c))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/l*`
5×	`frac-2neg` `clear-num` `div-inv` `associate-/l/`
4×	`*-commutative`
2×	`associate-/r*`

Counts

4 → 24

Calls

4 calls:

3.0ms	(/ (* t a) c)
5.0ms	(/ (/ (* z c) x) y)
4.0ms	(/ (* z c) x)
3.0ms	(/ b (* z c))

series99.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (* t a) c)
30.0ms	(/ (/ (* z c) x) y)
22.0ms	(/ (* z c) x)
26.0ms	(/ b (* z c))

simplify99.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	80	72
1	135	71
2	289	71
3	607	71
4	1176	71
5	1933	71
6	3568	71
7	5001	71

prune114.0ms

Filtered

36 candidates to 23 candidates (63.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	37	8	45

Merged error: 0.0b

Counts

45 → 8

regimes490.0ms

Accuracy

17.1% (9.2b remaining)

Error of 9.4b against oracle of 0.2b and baseline of 11.3b

bsearch284.0ms

Steps

Iters	Range	Point
8	8.393498134025712e+132	5.201927472720305e+136	2.4595357268207823e+133
9	1.386228257642249e-51	1.2087203978242168e-46	1.502193723196046e-49
9	-3.1530790865620953e-141	-3.702098503030638e-149	-8.362532736164751e-142

Iters

Range

Point

8.393498134025712e+132

5.201927472720305e+136

2.4595357268207823e+133

1.386228257642249e-51

1.2087203978242168e-46

1.502193723196046e-49

-3.1530790865620953e-141

-3.702098503030638e-149

-8.362532736164751e-142

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	38
1	54	38

end0.0ms

sample1.2s

Algorithm

intervals

Results

739.0ms

12665×

body

valid