Details

sample98.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 50.021362%

Guaranteed chance to sample good point: 99.981682%

Results

56.0ms	115×	body	1280	valid
21.0ms	82×	body	640	valid
5.0ms	34×	body	320	valid
2.0ms	20×	body	160	valid
0.0ms	5×	body	80	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	20	4
2	23	4
3	23	4

prune2.0ms

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: 58.8b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- 1.0 eps) (+ 1.0 eps))
5.1b	(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/l*`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1`
2×	`flip3-+` `div-exp` `rem-log-exp` `flip-+` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-sub` `clear-num` `log-pow` `flip--`

Counts

2 → 83

Calls

2 calls:

7.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

series8.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify130.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	339	657
1	1040	623
2	4497	605
3	5001	605

prune137.0ms

Filtered

59 candidates to 89 candidates (-50.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Merged error: 0.1b

Counts

90 → 3

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`*-un-lft-identity` `add-log-exp`
4×	`difference-of-squares`
2×	`diff-log` `distribute-lft-out--`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `unpow-prod-down` `flip3--` `sum-log` `add-cbrt-cube` `flip--` `distribute-lft-out` `associate--r+` `unpow2` `sqr-pow`

Counts

1 → 20

Calls

1 calls:

25.0ms

(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

simplify54.0ms

Algorithm

egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	123	209
1	382	192
2	1701	192
3	5001	192

prune52.0ms

Filtered

14 candidates to 23 candidates (-64.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	22	1	23
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	22	4	26

Merged error: 0.1b

Counts

26 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

79×	`cbrt-prod`
74×	`*-un-lft-identity`
65×	`add-sqr-sqrt`
28×	`difference-of-squares`
22×	`distribute-lft-out--`
18×	`cbrt-div` `swap-sqr`
15×	`add-cube-cbrt`
12×	`associate-r` `associate-l`
11×	`pow1` `distribute-lft-out`
9×	`flip3--` `pow1/3` `flip--`
7×	`unpow-prod-down` `unpow2` `sqr-pow`
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 → 129

Calls

4 calls:

60.0ms	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
27.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
25.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
25.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

series117.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
31.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

simplify144.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 3 (121.0ms)

Iter	Nodes	Cost
0	285	2271
1	954	2136
2	4304	1918
3	5001	1882

prune586.0ms

Filtered

83 candidates to 141 candidates (-69.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	141	4	145

Merged error: 0.1b

Counts

145 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
14.3b	(log (exp (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
34×	`add-sqr-sqrt`
30×	`*-un-lft-identity`
16×	`difference-of-squares`
13×	`log-pow`
12×	`exp-prod`
10×	`add-cube-cbrt`
8×	`distribute-lft-out--`
6×	`cbrt-div`
5×	`pow1`
4×	`add-exp-log` `unpow-prod-down` `add-cbrt-cube` `distribute-lft-out` `unpow2` `add-log-exp` `sqr-pow`
3×	`log-prod` `flip3--` `pow1/3` `flip--`
1×	`rem-log-exp`

Counts

4 → 81

Calls

4 calls:

24.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
27.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
25.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
27.0ms	(log (exp (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))))

series115.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
30.0ms	(log (exp (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))))

simplify66.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 3 (54.0ms)

Iter	Nodes	Cost
0	204	1074
1	506	986
2	1831	958
3	5001	946

prune429.0ms

Filtered

65 candidates to 93 candidates (-43.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	93	4	97

Merged error: 0.1b

Counts

97 → 4

regimes37.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	9
1	15	9

end0.0ms

sample2.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 50.021362%

Guaranteed chance to sample good point: 99.981682%

Results

1.5s	3354×	body	1280	valid
654.0ms	2569×	body	640	valid
181.0ms	1210×	body	320	valid
61.0ms	661×	body	160	valid
9.0ms	206×	body	80	valid

Details

sample98.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite17.0ms

series8.0ms

simplify130.0ms

prune137.0ms

localize10.0ms

rewrite26.0ms

series11.0ms

simplify54.0ms

prune52.0ms

localize14.0ms

rewrite142.0ms

series117.0ms

simplify144.0ms

prune586.0ms

localize20.0ms

rewrite105.0ms

series115.0ms

simplify66.0ms

prune429.0ms

regimes37.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling