Details

sample0.0hr

Algorithm

intervals

Results

0.0hr

311×

body

valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	11	2
1	14	2
2	14	2

prune0.0hr

Filtered

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

Counts

2 → 2

localize0.0hr

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ d2 d3))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 23

Calls

1 calls:

0.0hr

(* d1 (+ d2 d3))

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(* d1 (+ d2 d3))

simplify0.0hr

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	126	86
1	533	76
2	2146	76
3	5002	76

prune0.0hr

Filtered

26 candidates to 15 candidates (42.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	24	4	28

Merged error: 0b

Counts

28 → 4

localize0.0hr

Local error

Found 1 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

0.0hr

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

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

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

simplify0.0hr

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	98	73
1	367	62
2	1324	60
3	3943	60
4	5001	60

prune0.0hr

Filtered

15 candidates to 10 candidates (33.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	15	4	19

Merged error: 0b

Counts

19 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))
0.6b	(cbrt (+ d2 d3))
0.6b	(cbrt (+ d2 d3))
0.6b	(cbrt (+ d2 d3))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

0.0hr	(* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))
0.0hr	(cbrt (+ d2 d3))
0.0hr	(cbrt (+ d2 d3))
0.0hr	(cbrt (+ d2 d3))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))
0.0hr	(cbrt (+ d2 d3))
0.0hr	(cbrt (+ d2 d3))
0.0hr	(cbrt (+ d2 d3))

simplify0.0hr

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	285	746
1	850	709
2	3884	634
3	5001	621

prune0.0hr

Filtered

107 candidates to 75 candidates (29.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	107	4	111

Merged error: 0b

Counts

111 → 4

localize0.0hr

Local error

Found 2 expressions with local error:

0.1b	(* (sqrt d1) (+ d2 d3))
0.1b	(* (sqrt d1) (* (sqrt d1) (+ d2 d3)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 54

Calls

2 calls:

0.0hr	(* (sqrt d1) (+ d2 d3))
0.0hr	(* (sqrt d1) (* (sqrt d1) (+ d2 d3)))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(* (sqrt d1) (+ d2 d3))
0.0hr	(* (sqrt d1) (* (sqrt d1) (+ d2 d3)))

simplify0.0hr

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	290	294
1	1329	255
2	5001	250

prune0.0hr

Filtered

60 candidates to 39 candidates (35.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	60	4	64

Merged error: 0b

Counts

64 → 4

regimes0.0hr

Accuracy

0% (0.0b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	7	2
1	7	2

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr

10098×

body

valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling