Details

sample97.0ms

Algorithm

intervals

Results

25.0ms	292×	body	80	nan
23.0ms	256×	body	80	valid

simplify12.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	7
1	33	7
2	42	7
3	44	7
4	44	7

prune6.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: 19.8b

Counts

2 → 1

localize17.0ms

Local error

Found 3 expressions with local error:

0.4b	(+ (* x y) (* x z))
1.2b	(+ (+ (* x y) (* x z)) (* y z))
18.8b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
5×	`add-sqr-sqrt`
4×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sum-log`
3×	`add-exp-log` `flip3-+` `sqrt-prod` `add-cbrt-cube` `flip-+`
2×	`+-commutative` `sqrt-div`
1×	`rem-sqrt-square` `associate-+l+` `sqrt-pow1` `pow1/2` `distribute-lft-out`

Counts

3 → 40

Calls

3 calls:

7.0ms	(+ (* x y) (* x z))
11.0ms	(+ (+ (* x y) (* x z)) (* y z))
8.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series91.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(+ (* x y) (* x z))
13.0ms	(+ (+ (* x y) (* x z)) (* y z))
64.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify211.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	256	358
1	972	331
2	3980	326
3	5002	326

prune163.0ms

Filtered

49 candidates to 38 candidates (22.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	44	5	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	6	50

Merged error: 19.7b

Counts

50 → 6

localize30.0ms

Local error

Found 4 expressions with local error:

1.2b	(+ (+ (* x y) (* x z)) (* y z))
1.2b	(+ (+ (* x y) (* x z)) (* y z))
18.8b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
18.8b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-log-exp`
8×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sum-log` `sqrt-prod`
4×	`add-exp-log` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+`
2×	`+-commutative` `rem-sqrt-square` `associate-+l+` `sqrt-pow1` `pow1/2`

Counts

4 → 56

Calls

4 calls:

12.0ms	(+ (+ (* x y) (* x z)) (* y z))
12.0ms	(+ (+ (* x y) (* x z)) (* y z))
11.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
11.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series207.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (+ (* x y) (* x z)) (* y z))
13.0ms	(+ (+ (* x y) (* x z)) (* y z))
119.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
61.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify203.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	193	582
1	729	538
2	3189	532
3	5003	532

prune185.0ms

Filtered

68 candidates to 54 candidates (20.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	66	8	74

Merged error: 19.7b

Counts

74 → 8

localize36.0ms

Local error

Found 4 expressions with local error:

1.2b	(+ (+ (* x y) (* x z)) (* y z))
18.8b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
19.4b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
19.4b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
8×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
5×	`pow1`
4×	`add-exp-log` `cbrt-div` `flip3-+` `add-cbrt-cube` `flip-+`
3×	`sum-log` `sqrt-prod`
2×	`pow1/3` `sqrt-div`
1×	`+-commutative` `rem-sqrt-square` `associate-+l+` `sqrt-pow1` `pow1/2`

Counts

4 → 54

Calls

4 calls:

11.0ms	(+ (+ (* x y) (* x z)) (* y z))
9.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
8.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
9.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

series242.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (+ (* x y) (* x z)) (* y z))
54.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
79.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
98.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

simplify179.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 3 (166.0ms)

Iter	Nodes	Cost
0	265	653
1	904	605
2	3752	592
3	5001	583

prune238.0ms

Filtered

66 candidates to 55 candidates (16.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	65	9	74

Merged error: 19.7b

Counts

74 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

18.8b	(sqrt (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))))
19.4b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
19.4b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
19.4b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite139.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3-+` `flip-+`
28×	`frac-times`
26×	`sqrt-div`
24×	`pow1`
15×	`sqrt-pow1`
14×	`associate-*l/`
12×	`pow1/3`
9×	`cbrt-prod` `pow-prod-up`
8×	`associate-*r/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow-plus`
5×	`pow-prod-down`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`pow-sqr`
2×	`pow2`
1×	`pow1/2` `pow3` `sqrt-prod`

Counts

4 → 89

Calls

4 calls:

92.0ms	(sqrt (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))))
14.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
10.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
10.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

series443.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(sqrt (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))))
110.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
114.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
152.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

simplify276.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 3 (242.0ms)

Iter	Nodes	Cost
0	366	2169
1	967	2109
2	4215	2076
3	5001	1972

prune203.0ms

Filtered

101 candidates to 68 candidates (32.7%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	100	10	110

Merged error: 19.7b

Counts

110 → 10

regimes810.0ms

Accuracy

0% (0.1b remaining)

Error of 20.2b against oracle of 20.1b and baseline of 20.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

end0.0ms

sample2.8s

Algorithm

intervals

Results

824.0ms	7933×	body	80	nan
822.0ms	8000×	body	80	valid

Details

sample97.0ms

simplify12.0ms

prune6.0ms

localize17.0ms

rewrite28.0ms

series91.0ms

simplify211.0ms

prune163.0ms

localize30.0ms

rewrite48.0ms

series207.0ms

simplify203.0ms

prune185.0ms

localize36.0ms

rewrite38.0ms

series242.0ms

simplify179.0ms

prune238.0ms

localize26.0ms

rewrite139.0ms

series443.0ms

simplify276.0ms

prune203.0ms

regimes810.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.8s

Profiling