Details

sample29.0ms

Algorithm

intervals

Results

9.0ms	311×	body	80	nan
8.0ms	270×	body	80	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	47	7
2	73	7
3	92	7
4	105	7
5	128	7
6	161	7
7	210	7
8	244	7
9	244	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: 0.2b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.2b	(* 3.0 (sqrt x))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(/ y (* 3.0 (sqrt x)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 11

Calls

3 calls:

2.0ms	(* 3.0 (sqrt x))
3.0ms	(/ 1.0 (* x 9.0))
3.0ms	(/ y (* 3.0 (sqrt x)))

series112.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(* 3.0 (sqrt x))
15.0ms	(/ 1.0 (* x 9.0))
58.0ms	(/ y (* 3.0 (sqrt x)))

simplify80.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	184	90
1	524	72
2	2619	64
3	5002	64

prune55.0ms

Filtered

20 candidates to 17 candidates (85.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	14	6	20
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	6	21

Merged error: 0.0b

Counts

21 → 6

localize14.0ms

Local error

Found 3 expressions with local error:

0.3b	(/ 1.0 (* x 9.0))
0.3b	(/ y (pow x 1/2))
0.3b	(/ (/ y (pow x 1/2)) 3.0)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`frac-2neg` `clear-num` `associate-/r*` `div-inv` `associate-/l/`
2×	`sqr-pow`
1×	`-commutative` `associate-/l`

Counts

3 → 17

Calls

3 calls:

3.0ms	(/ 1.0 (* x 9.0))
2.0ms	(/ y (pow x 1/2))
3.0ms	(/ (/ y (pow x 1/2)) 3.0)

series122.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(/ 1.0 (* x 9.0))
46.0ms	(/ y (pow x 1/2))
61.0ms	(/ (/ y (pow x 1/2)) 3.0)

simplify48.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	140	116
1	382	97
2	1560	91
3	5001	91

prune72.0ms

Filtered

26 candidates to 20 candidates (76.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

localize9.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ 1.0 (* x 9.0))
0.4b	(/ (/ y 3.0) (sqrt x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 12

Calls

2 calls:

3.0ms	(/ 1.0 (* x 9.0))
3.0ms	(/ (/ y 3.0) (sqrt x))

series75.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(/ 1.0 (* x 9.0))
59.0ms	(/ (/ y 3.0) (sqrt x))

simplify47.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (45.0ms)

Iter	Nodes	Cost
0	145	67
1	387	57
2	1587	54
3	5001	50

prune51.0ms

Filtered

18 candidates to 14 candidates (77.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	16	9	25

Merged error: 0.0b

Counts

25 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* 3.0 (sqrt x)) y)
0.2b	(* 3.0 (sqrt x))
0.3b	(/ 1.0 (* x 9.0))
0.6b	(/ 1 (/ (* 3.0 (sqrt x)) y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

5×	`clear-num` `associate-/r/`
4×	`frac-2neg` `-commutative` `div-inv` `associate-/l`
3×	`associate-/r*`
1×	`remove-double-div` `inv-pow`

Counts

4 → 22

Calls

4 calls:

3.0ms	(/ (* 3.0 (sqrt x)) y)
2.0ms	(* 3.0 (sqrt x))
3.0ms	(/ 1.0 (* x 9.0))
4.0ms	(/ 1 (/ (* 3.0 (sqrt x)) y))

series176.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(/ (* 3.0 (sqrt x)) y)
36.0ms	(* 3.0 (sqrt x))
15.0ms	(/ 1.0 (* x 9.0))
58.0ms	(/ 1 (/ (* 3.0 (sqrt x)) y))

simplify159.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	263	154
1	823	124
2	4903	111
3	5001	111

prune81.0ms

Filtered

34 candidates to 28 candidates (82.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	34	9	43

Merged error: 0.0b

Counts

43 → 9

regimes57.0ms

Accuracy

0% (0.2b 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	14	7
1	14	7

end0.0ms

sample777.0ms

Algorithm

intervals

Results

266.0ms	8520×	body	80	valid
249.0ms	8693×	body	80	nan