Details

sample343.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 30.273438%

Guaranteed chance to sample good point: 98.573179%

Results

11.0ms	241×	body	80	valid
2.0ms	5×	body	640	valid
1.0ms	1×	body	1280	valid
1.0ms	6×	body	160	valid
1.0ms	3×	body	320	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	5
1	19	5
2	19	5

prune3.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: 0.4b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.0b	(- (log (+ 1.0 (exp x))) (* x y))
0.4b	(log (+ 1.0 (exp x)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity`
8×	`log-prod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `log-div` `associate--l+`
3×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`associate--l-`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `rem-log-exp` `sum-log` `log-pow` `flip--`

Counts

3 → 45

Calls

3 calls:

3.0ms	(+ 1.0 (exp x))
5.0ms	(- (log (+ 1.0 (exp x))) (* x y))
5.0ms	(log (+ 1.0 (exp x)))

series22.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ 1.0 (exp x))
10.0ms	(- (log (+ 1.0 (exp x))) (* x y))
10.0ms	(log (+ 1.0 (exp x)))

simplify47.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 3 (42.0ms)

Iter	Nodes	Cost
0	207	322
1	584	301
2	1729	298
3	5001	297

prune83.0ms

Filtered

40 candidates to 54 candidates (-35.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	50	4	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	4	55

Merged error: 0.1b

Counts

55 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ 1.0 (exp x)))
0.0b	(- (+ (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x))))) (* x y))
1.1b	(log (sqrt (+ 1.0 (exp x))))
1.1b	(log (sqrt (+ 1.0 (exp x))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
14×	`log-prod`
12×	`sqrt-prod`
10×	`add-sqr-sqrt` `sqrt-div`
9×	`pow1` `add-cube-cbrt`
8×	`log-div`
7×	`add-log-exp`
6×	`add-exp-log` `log-pow`
5×	`flip3-+` `flip-+`
4×	`associate--l-` `add-cbrt-cube`
3×	`sqrt-pow1` `pow1/2` `distribute-lft-out`
2×	`associate-+l-` `associate-+r-` `diff-log` `rem-log-exp`
1×	`sub-neg` `rem-sqrt-square` `flip3--` `associate--l+` `sum-log` `flip--`

Counts

4 → 74

Calls

4 calls:

3.0ms	(sqrt (+ 1.0 (exp x)))
12.0ms	(- (+ (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x))))) (* x y))
4.0ms	(log (sqrt (+ 1.0 (exp x))))
4.0ms	(log (sqrt (+ 1.0 (exp x))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ 1.0 (exp x)))
15.0ms	(- (+ (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x))))) (* x y))
13.0ms	(log (sqrt (+ 1.0 (exp x))))
13.0ms	(log (sqrt (+ 1.0 (exp x))))

simplify106.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	279	765
1	942	663
2	3612	627
3	5001	617

prune160.0ms

Filtered

63 candidates to 86 candidates (-36.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	86	4	90

Merged error: 0.1b

Counts

90 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ 1.0 (exp x)))
0.0b	(+ (log (sqrt (+ 1.0 (exp x)))) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)))
1.1b	(log (sqrt (+ 1.0 (exp x))))
1.1b	(log (sqrt (+ 1.0 (exp x))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

28×	`log-prod`
26×	`*-un-lft-identity`
20×	`sqrt-prod`
14×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
10×	`pow1`
9×	`associate-+r+`
8×	`sqrt-div`
7×	`associate-+l+` `associate--l+` `log-pow` `distribute-lft-out`
6×	`add-exp-log` `log-div` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`add-cbrt-cube`
3×	`sqrt-pow1` `pow1/2`
2×	`associate-+l-` `rem-log-exp` `sum-log`
1×	`+-commutative` `associate-+r-` `sub-neg` `rem-sqrt-square` `diff-log`

Counts

4 → 89

Calls

4 calls:

3.0ms	(sqrt (+ 1.0 (exp x)))
13.0ms	(+ (log (sqrt (+ 1.0 (exp x)))) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)))
4.0ms	(log (sqrt (+ 1.0 (exp x))))
6.0ms	(log (sqrt (+ 1.0 (exp x))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ 1.0 (exp x)))
15.0ms	(+ (log (sqrt (+ 1.0 (exp x)))) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)))
13.0ms	(log (sqrt (+ 1.0 (exp x))))
13.0ms	(log (sqrt (+ 1.0 (exp x))))

simplify93.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 3 (84.0ms)

Iter	Nodes	Cost
0	288	864
1	904	787
2	3270	757
3	5002	727

prune175.0ms

Filtered

71 candidates to 101 candidates (-42.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	101	4	105

Merged error: 0.1b

Counts

105 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.4b	(log (+ 1.0 (exp x)))
0.7b	(sqrt (log (+ 1.0 (exp x))))
0.7b	(sqrt (log (+ 1.0 (exp x))))
0.7b	(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

34×	`sqrt-prod`
30×	`pow1`
29×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
11×	`swap-sqr`
10×	`sqrt-pow1` `pow1/2`
9×	`log-pow`
7×	`add-exp-log` `associate-r` `associate-l`
6×	`add-cbrt-cube`
5×	`pow-prod-up`
4×	`log-prod` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `log-div`
1×	`pow2` `flip3-+` `pow-plus` `sqrt-unprod` `rem-log-exp` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out`

Counts

4 → 97

Calls

4 calls:

3.0ms	(log (+ 1.0 (exp x)))
1.0ms	(sqrt (log (+ 1.0 (exp x))))
1.0ms	(sqrt (log (+ 1.0 (exp x))))
6.0ms	(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

series46.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(log (+ 1.0 (exp x)))
13.0ms	(sqrt (log (+ 1.0 (exp x))))
13.0ms	(sqrt (log (+ 1.0 (exp x))))
10.0ms	(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

simplify162.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 3 (153.0ms)

Iter	Nodes	Cost
0	229	668
1	792	601
2	4011	571
3	5002	556

prune129.0ms

Filtered

55 candidates to 109 candidates (-98.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	108	5	113

Merged error: 0.1b

Counts

113 → 5

regimes92.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	11
1	13	11

end0.0ms

sample1.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 30.273438%

Guaranteed chance to sample good point: 98.573179%

Results

338.0ms	7328×	body	80	valid
76.0ms	258×	body	640	valid
63.0ms	117×	body	1280	valid
32.0ms	172×	body	320	valid
16.0ms	125×	body	160	valid
1.0ms	22×	body	80	invalid
0.0ms	9×	body	80	overflowed

Details

sample343.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite14.0ms

series22.0ms

simplify47.0ms

prune83.0ms

localize12.0ms

rewrite26.0ms

series45.0ms

simplify106.0ms

prune160.0ms

localize10.0ms

rewrite29.0ms

series45.0ms

simplify93.0ms

prune175.0ms

localize10.0ms

rewrite15.0ms

series46.0ms

simplify162.0ms

prune129.0ms

regimes92.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling