Details

sample13.0ms

Algorithm

intervals

Results

7.0ms	255×	body	80	valid
0.0ms	1×	body	320	valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	17	4
2	19	4
3	21	4
4	22	4
5	22	4

prune2.0ms

Filtered

1 candidates to 0 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 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.1b	(* (/ 841.0 108.0) x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `frac-add` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

2 → 44

Calls

2 calls:

7.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
6.0ms	(* (/ 841.0 108.0) x)

series5.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
2.0ms	(* (/ 841.0 108.0) x)

simplify75.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	241	217
1	828	198
2	3241	196
3	5001	196

prune77.0ms

Filtered

50 candidates to 38 candidates (24.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	47	3	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	4	51

Merged error: 0b

Counts

51 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
0.1b	(* (cbrt (/ 841.0 108.0)) x)
0.4b	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
1.0b	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

79×	`cbrt-prod`
76×	`add-sqr-sqrt`
52×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
33×	`associate-l`
29×	`cbrt-div`
25×	`pow1`
20×	`add-exp-log` `associate-r` `associate-*l/`
16×	`swap-sqr`
12×	`unswap-sqr`
11×	`frac-times` `pow-prod-down` `add-cbrt-cube`
10×	`prod-exp` `cbrt-unprod`
7×	`associate-*r/` `frac-add`
6×	`pow1/3` `add-log-exp`
5×	`div-inv`
3×	`*-commutative`
2×	`pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+`

Counts

4 → 159

Calls

4 calls:

16.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
6.0ms	(* (cbrt (/ 841.0 108.0)) x)
13.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
12.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

series23.0ms

Counts

4 → 10

Calls

4 calls:

10.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
4.0ms	(* (cbrt (/ 841.0 108.0)) x)
9.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
0.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

simplify66.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	494	1461
1	1820	1299
2	5002	1232

prune354.0ms

Filtered

169 candidates to 115 candidates (32.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	169	4	173

Merged error: 0b

Counts

173 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x)) (/ 4.0 29.0))
0.0b	(* (/ 841.0 (sqrt 108.0)) x)
0.5b	(* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-exp-log`
44×	`associate-l`
38×	`add-sqr-sqrt` `times-frac`
30×	`add-cube-cbrt` `*-un-lft-identity`
29×	`add-cbrt-cube`
22×	`prod-exp`
19×	`sqrt-prod`
12×	`cbrt-unprod`
11×	`div-exp`
10×	`pow1`
7×	`associate-*l/`
6×	`cbrt-undiv`
5×	`add-log-exp`
4×	`associate-r` `pow-prod-down`
3×	`rec-exp` `1-exp` `frac-add` `unswap-sqr`
2×	`frac-times` `associate-r/` `-commutative` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 110

Calls

3 calls:

12.0ms	(+ (* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x)) (/ 4.0 29.0))
7.0ms	(* (/ 841.0 (sqrt 108.0)) x)
12.0ms	(* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x))

series36.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(+ (* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x)) (/ 4.0 29.0))
8.0ms	(* (/ 841.0 (sqrt 108.0)) x)
12.0ms	(* (/ 1 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x))

simplify66.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	508	832
1	2737	674
2	5002	592

prune163.0ms

Filtered

119 candidates to 73 candidates (38.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	119	4	123

Merged error: 0b

Counts

123 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
0.3b	(* (* 841.0 x) 29.0)
0.6b	(/ (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 52

Calls

3 calls:

4.0ms	(+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
4.0ms	(* (* 841.0 x) 29.0)
8.0ms	(/ (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0))

series10.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
2.0ms	(* (* 841.0 x) 29.0)
5.0ms	(/ (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0))

simplify43.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	290	382
1	1238	324
2	5001	324

prune67.0ms

Filtered

61 candidates to 42 candidates (31.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	61	4	65

Merged error: 0b

Counts

65 → 4

regimes92.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample336.0ms

Algorithm

intervals

Results

208.0ms	8008×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample13.0ms

simplify10.0ms

prune2.0ms

localize5.0ms

rewrite14.0ms

series5.0ms

simplify75.0ms

prune77.0ms

localize9.0ms

rewrite57.0ms

series23.0ms

simplify66.0ms

prune354.0ms

localize9.0ms

rewrite37.0ms

series36.0ms

simplify66.0ms

prune163.0ms

localize7.0ms

rewrite18.0ms

series10.0ms

simplify43.0ms

prune67.0ms

regimes92.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample336.0ms

Profiling