Details

sample304.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 96.875%

Results

23.0ms	256×	body	80	valid
17.0ms	220×	body	80	invalid

simplify151.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	66	15
1	204	14
2	631	14
3	1468	14
4	2464	14
5	3909	14
6	5001	14

prune19.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 5.6b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.5b	(* (* j 27.0) k)
3.1b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.2b	(* (* (* x 18.0) y) z)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
4.0ms	(* (* j 27.0) k)
8.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

series37.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x 18.0) y)
3.0ms	(* (* j 27.0) k)
24.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	406	472
1	2141	393
2	5001	393

prune183.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	83	10	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 1.8b

Counts

94 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* j (* 27.0 k))
0.2b	(* (* x 18.0) y)
3.1b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.2b	(* (* (* x 18.0) y) z)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

4.0ms	(* j (* 27.0 k))
5.0ms	(* (* x 18.0) y)
8.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

series51.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* j (* 27.0 k))
6.0ms	(* (* x 18.0) y)
32.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
8.0ms	(* (* (* x 18.0) y) z)

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	398	471
1	2030	392
2	5001	392

prune154.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	93	10	103

Merged error: 1.8b

Counts

103 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
3.1b	(* t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)))
5.2b	(* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1` `add-exp-log`
22×	`add-cbrt-cube`
20×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod` `associate-r`
4×	`associate-l` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow1/3` `associate-r/` `-commutative`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 76

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
15.0ms	(* t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)))
16.0ms	(* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z)

series83.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
24.0ms	(cbrt y)
29.0ms	(* t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)))
10.0ms	(* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z)

simplify66.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	441	795
1	2006	632
2	5001	545

prune160.0ms

Filtered

53 candidates to 88 candidates (-66.0%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	87	11	98

Merged error: 1.8b

Counts

98 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

5.2b	(* (* (* x 18.0) y) z)
7.7b	(cbrt (* (* j 27.0) k))
7.7b	(cbrt (* (* j 27.0) k))
7.7b	(cbrt (* (* j 27.0) k))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 48

Calls

4 calls:

8.0ms	(* (* (* x 18.0) y) z)
4.0ms	(cbrt (* (* j 27.0) k))
4.0ms	(cbrt (* (* j 27.0) k))
4.0ms	(cbrt (* (* j 27.0) k))

series56.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (* (* x 18.0) y) z)
16.0ms	(cbrt (* (* j 27.0) k))
17.0ms	(cbrt (* (* j 27.0) k))
17.0ms	(cbrt (* (* j 27.0) k))

simplify34.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	235	335
1	1003	286
2	5001	262

prune122.0ms

Filtered

44 candidates to 60 candidates (-36.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	60	11	71

Merged error: 1.8b

Counts

71 → 11

regimes2.5s

Accuracy

52.4% (1.7b remaining)

Error of 3.9b against oracle of 2.2b and baseline of 5.7b

bsearch99.0ms

Steps

Iters	Range		Point
5	29913049.08429726	78626862.23272823	50297830.21978821
7	-3.987697506509114e+44	-8.485038849659395e+42	-6.958718416815166e+43

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	42
1	74	42

end0.0ms

sample2.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 96.875%

Results

670.0ms	8000×	body	80	valid
654.0ms	7868×	body	80	invalid

Details

sample304.0ms

simplify151.0ms

prune19.0ms

localize20.0ms

rewrite28.0ms

series37.0ms

simplify61.0ms

prune183.0ms

localize21.0ms

rewrite26.0ms

series51.0ms

simplify61.0ms

prune154.0ms

localize25.0ms

rewrite35.0ms

series83.0ms

simplify66.0ms

prune160.0ms

localize26.0ms

rewrite20.0ms

series56.0ms

simplify34.0ms

prune122.0ms

regimes2.5s

bsearch99.0ms

simplify2.0ms

end0.0ms

sample2.7s

Profiling