Details

sample34.0ms

Algorithm

intervals

Results

11.0ms	275×	body	80	valid
10.0ms	274×	body	80	nan

simplify100.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	65	7
2	182	7
3	338	7
4	488	7
5	757	7
6	1166	7
7	1729	7
8	2793	7
9	5001	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.3b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ 1.0 (* x 9.0)))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
0.3b	(* 3.0 (sqrt x))
0.4b	(/ 1.0 (* x 9.0))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
12×	`associate-r`
11×	`pow1`
10×	`add-cube-cbrt`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-l` `pow-prod-down` `sqrt-prod`
3×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `associate-r/` `div-exp` `associate--l+` `-commutative` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 84

Calls

4 calls:

5.0ms	(+ y (/ 1.0 (* x 9.0)))
20.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
8.0ms	(* 3.0 (sqrt x))
8.0ms	(/ 1.0 (* x 9.0))

series165.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ y (/ 1.0 (* x 9.0)))
60.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
59.0ms	(* 3.0 (sqrt x))
18.0ms	(/ 1.0 (* x 9.0))

simplify52.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	456	548
1	2172	486
2	5002	484

prune186.0ms

Filtered

96 candidates to 62 candidates (64.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	83	13	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	13	97

Merged error: 0.0b

Counts

97 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`add-exp-log` `add-cbrt-cube`
15×	`associate-r`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-prod`
7×	`associate-l`
6×	`prod-exp` `cbrt-unprod`
5×	`pow-prod-down`
4×	`add-log-exp` `unswap-sqr`
3×	`times-frac` `-commutative` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 83

Calls

4 calls:

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

series142.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (* 3.0 (sqrt x)) y)
39.0ms	(* 3.0 (sqrt x))
37.0ms	(* 3.0 (sqrt x))
16.0ms	(/ 1.0 (* x 9.0))

simplify42.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	352	414
1	1541	353
2	5001	340

prune174.0ms

Filtered

95 candidates to 62 candidates (65.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	95	13	108

Merged error: 0.0b

Counts

108 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
38×	`sqrt-prod`
23×	`add-cube-cbrt` `*-un-lft-identity`
21×	`pow1`
18×	`add-exp-log` `times-frac` `add-cbrt-cube`
16×	`associate-r`
13×	`associate-l`
12×	`swap-sqr`
8×	`sqrt-pow1` `pow1/2`
6×	`div-inv` `associate-/l*` `unswap-sqr`
5×	`pow-prod-up`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-sqr`
2×	`frac-2neg` `clear-num` `associate-/r` `-commutative`
1×	`pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `rem-square-sqrt`

Counts

4 → 128

Calls

4 calls:

5.0ms	(* 3.0 (sqrt x))
5.0ms	(/ 1.0 (* x 9.0))
5.0ms	(/ 1.0 (* x 9.0))
15.0ms	(* (sqrt (/ 1.0 (* x 9.0))) (sqrt (/ 1.0 (* x 9.0))))

series123.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* 3.0 (sqrt x))
15.0ms	(/ 1.0 (* x 9.0))
15.0ms	(/ 1.0 (* x 9.0))
55.0ms	(* (sqrt (/ 1.0 (* x 9.0))) (sqrt (/ 1.0 (* x 9.0))))

simplify61.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	372	600
1	1843	516
2	5002	505

prune268.0ms

Filtered

140 candidates to 86 candidates (61.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	141	12	153

Merged error: 0.0b

Counts

153 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
15×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1`
7×	`times-frac` `sqrt-prod`
6×	`associate-r`
5×	`associate-/r*`
4×	`cbrt-undiv` `div-exp` `associate-/l*` `add-log-exp`
3×	`associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `sqrt-pow1` `pow-prod-down` `clear-num` `div-inv` `unswap-sqr`
1×	`sqrt-undiv` `pow1/2` `sqrt-unprod` `sqrt-div` `associate-l/` `-commutative` `associate-/l/`

Counts

4 → 79

Calls

4 calls:

5.0ms	(* 3.0 (sqrt x))
12.0ms	(/ (* (sqrt (/ 1.0 (* x 9.0))) (sqrt 1.0)) (sqrt (* x 9.0)))
2.0ms	(sqrt (* x 9.0))
5.0ms	(/ 1.0 (* x 9.0))

series254.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* 3.0 (sqrt x))
147.0ms	(/ (* (sqrt (/ 1.0 (* x 9.0))) (sqrt 1.0)) (sqrt (* x 9.0)))
51.0ms	(sqrt (* x 9.0))
19.0ms	(/ 1.0 (* x 9.0))

simplify56.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	451	529
1	2109	460
2	5001	457

prune218.0ms

Filtered

91 candidates to 67 candidates (73.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	91	12	103

Merged error: 0.0b

Counts

103 → 12

regimes126.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	10
1	18	10

end0.0ms

sample963.0ms

Algorithm

intervals

Results

347.0ms	8532×	body	80	valid
339.0ms	8577×	body	80	nan

Details

sample34.0ms

simplify100.0ms

prune2.0ms

localize15.0ms

rewrite44.0ms

series165.0ms

simplify52.0ms

prune186.0ms

localize10.0ms

rewrite26.0ms

series142.0ms

simplify42.0ms

prune174.0ms

localize14.0ms

rewrite34.0ms

series123.0ms

simplify61.0ms

prune268.0ms

localize14.0ms

rewrite26.0ms

series254.0ms

simplify56.0ms

prune218.0ms

regimes126.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample963.0ms

Profiling