Details

sample24.0ms

Algorithm

intervals

Results

11.0ms	309×	body	80	valid
1.0ms	7×	body	1280	valid
1.0ms	8×	body	320	valid
1.0ms	5×	body	640	valid
0.0ms	2×	body	160	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	18	4
1	34	3
2	52	3
3	60	3
4	60	3

prune5.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: 0.1b

Counts

2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ (+ 3.0 d2) d3))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `associate-r`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube` `distribute-lft-out`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

8.0ms

(* d1 (+ (+ 3.0 d2) d3))

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(* d1 (+ (+ 3.0 d2) d3))

simplify84.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	149	120
1	720	103
2	3972	103
3	5002	103

prune46.0ms

Filtered

27 candidates to 16 candidates (59.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	25	4	29

Merged error: 0b

Counts

29 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (+ (+ 3.0 d2) d3))
0.4b	(cbrt (+ (+ 3.0 d2) d3))
0.4b	(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
0.4b	(* (* d1 (* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))) (cbrt (+ (+ 3.0 d2) d3)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
70×	`cbrt-div`
51×	`cbrt-prod`
35×	`flip3-+` `flip-+`
34×	`associate-*r/`
33×	`distribute-lft-out`
32×	`frac-times`
24×	`add-sqr-sqrt`
20×	`pow1`
16×	`add-cube-cbrt` `associate-r` `associate-*l/`
15×	`add-exp-log`
14×	`swap-sqr`
9×	`associate-l`
8×	`pow1/3` `pow-prod-down` `add-cbrt-cube`
7×	`prod-exp` `cbrt-unprod`
4×	`add-log-exp` `unswap-sqr`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 142

Calls

4 calls:

5.0ms	(cbrt (+ (+ 3.0 d2) d3))
5.0ms	(cbrt (+ (+ 3.0 d2) d3))
14.0ms	(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
26.0ms	(* (* d1 (* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))) (cbrt (+ (+ 3.0 d2) d3)))

series318.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(cbrt (+ (+ 3.0 d2) d3))
96.0ms	(cbrt (+ (+ 3.0 d2) d3))
94.0ms	(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
29.0ms	(* (* d1 (* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))) (cbrt (+ (+ 3.0 d2) d3)))

simplify79.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	588	1998
1	2273	1812
2	5003	1669

prune264.0ms

Filtered

154 candidates to 85 candidates (55.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	154	4	158

Merged error: 0b

Counts

158 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ 3.0 d2) (+ 3.0 d2))
3.2b	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
7.6b	(* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))
17.8b	(/ (* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))) (- (+ 3.0 d2) d3))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

36×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `distribute-lft-out`
7×	`associate-l`
6×	`flip3-+` `times-frac` `associate-r/` `swap-sqr` `associate--l+` `associate-/r` `flip-+` `add-log-exp`
4×	`frac-times` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
3×	`sub-neg` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `clear-num` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l*`

Counts

4 → 115

Calls

4 calls:

8.0ms	(* (+ 3.0 d2) (+ 3.0 d2))
8.0ms	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
11.0ms	(* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))
16.0ms	(/ (* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))) (- (+ 3.0 d2) d3))

series235.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (+ 3.0 d2) (+ 3.0 d2))
39.0ms	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
81.0ms	(* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))
99.0ms	(/ (* d1 (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))) (- (+ 3.0 d2) d3))

simplify83.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	538	973
1	2736	846
2	5002	842

prune193.0ms

Filtered

127 candidates to 77 candidates (60.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	127	4	131

Merged error: 0b

Counts

131 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ 3.0 d2) (+ 3.0 d2))
0.3b	(/ d1 (/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))))
3.2b	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
20.9b	(/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

214×	`*-un-lft-identity`
210×	`times-frac`
139×	`add-sqr-sqrt`
95×	`add-cube-cbrt`
53×	`difference-of-squares`
42×	`distribute-lft-out--`
34×	`associate-/r*`
27×	`distribute-lft-out`
13×	`add-exp-log` `add-cbrt-cube`
11×	`pow1` `associate-/r/`
9×	`associate-/l*`
7×	`flip3--` `flip--`
6×	`flip3-+` `swap-sqr` `flip-+` `div-inv` `add-log-exp`
4×	`cbrt-undiv` `frac-times` `div-exp` `associate-r` `associate-l`
2×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `associate-r/` `associate-l/` `associate--l+` `clear-num` `associate-/l/`
1×	`pow2` `sub-neg` `pow-plus` `diff-log` `div-sub` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `unswap-sqr`

Counts

4 → 244

Calls

4 calls:

8.0ms	(* (+ 3.0 d2) (+ 3.0 d2))
18.0ms	(/ d1 (/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))))
11.0ms	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
15.0ms	(/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))

series226.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (+ 3.0 d2) (+ 3.0 d2))
98.0ms	(/ d1 (/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))))
36.0ms	(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3))
73.0ms	(/ (- (+ 3.0 d2) d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 d3)))

simplify55.0ms

Algorithm

egg-herbie

Counts

256 → 256

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	882	3320
1	5001	3064

prune440.0ms

Filtered

256 candidates to 170 candidates (66.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	256	0	256
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	256	4	260

Merged error: 0b

Counts

260 → 4

regimes53.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 (0.0ms)

Iter	Nodes	Cost
0	10	3
1	10	3

end0.0ms

sample545.0ms

Algorithm

intervals

Results

293.0ms	9548×	body	80	valid
23.0ms	222×	body	640	valid
13.0ms	166×	body	320	valid
12.0ms	88×	body	1280	valid
5.0ms	94×	body	160	valid

Details

sample24.0ms

simplify9.0ms

prune5.0ms

localize5.0ms

rewrite9.0ms

series30.0ms

simplify84.0ms

prune46.0ms

localize9.0ms

rewrite58.0ms

series318.0ms

simplify79.0ms

prune264.0ms

localize10.0ms

rewrite46.0ms

series235.0ms

simplify83.0ms

prune193.0ms

localize10.0ms

rewrite63.0ms

series226.0ms

simplify55.0ms

prune440.0ms

regimes53.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample545.0ms

Profiling