Details

sample96.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

51.0ms

547×

body

valid

simplify149.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

prune14.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

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.3b	(* (* x 18.0) y)
3.4b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.1b	(* (* (* 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`
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:

4.0ms	(* (* j 27.0) k)
5.0ms	(* (* x 18.0) y)
9.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	(* (* j 27.0) k)
3.0ms	(* (* x 18.0) y)
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	5002	393

prune187.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	82	11	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	11	94

Merged error: 2.7b

Counts

94 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.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	(* x (* 18.0 y))
4.0ms	(* (* j 27.0) k)
8.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
8.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)

simplify57.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	404	472
1	1945	393
2	5002	393

prune152.0ms

Filtered

50 candidates to 93 candidates (-86.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	93	11	104

Merged error: 2.7b

Counts

104 → 11

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(* j (* 27.0 k))
0.3b	(* (* x 18.0) y)
3.4b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.1b	(* (* (* 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)

series37.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify59.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

prune170.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	93	11	104

Merged error: 2.6b

Counts

104 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt j)
0.6b	(cbrt j)
3.4b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.1b	(* (* (* x 18.0) y) z)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow-prod-down` `prod-exp` `cbrt-unprod`
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 → 67

Calls

4 calls:

1.0ms	(cbrt j)
1.0ms	(cbrt j)
8.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

series75.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt j)
22.0ms	(cbrt j)
25.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

simplify48.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	336	430
1	1516	373
2	5001	351

prune93.0ms

Filtered

51 candidates to 79 candidates (-54.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	77	13	90

Merged error: 2.6b

Counts

90 → 13

regimes2.7s

Accuracy

42.6% (1.9b remaining)

Error of 4.2b against oracle of 2.2b and baseline of 5.6b

bsearch132.0ms

Steps

Iters	Range		Point
9	1.0941536755567479e-58	1.8925665750677762e-53	1.0149040576972568e-53
7	-7.003123404087486e+122	-1.7900470574539148e+121	-2.244974224870621e+121

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	29
1	70	29

end0.0ms

sample2.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

1.5s

16001×

body

valid

Details

sample96.0ms

simplify149.0ms

prune14.0ms

localize24.0ms

rewrite26.0ms

series37.0ms

simplify61.0ms

prune187.0ms

localize20.0ms

rewrite27.0ms

series37.0ms

simplify57.0ms

prune152.0ms

localize23.0ms

rewrite26.0ms

series37.0ms

simplify59.0ms

prune170.0ms

localize24.0ms

rewrite18.0ms

series75.0ms

simplify48.0ms

prune93.0ms

regimes2.7s

bsearch132.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling