Details

sample31.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 15.820313%

Results

14.0ms	256×	body	80	valid
9.0ms	162×	body	80	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	32	8
1	69	8
2	134	8
3	225	8
4	378	8
5	598	8
6	815	8
7	1035	8
8	1143	8
9	1211	8
10	1211	8

prune5.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.5b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.4b	(/ (* a b) 4.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `sum-log`
4×	`pow1` `diff-log`
3×	`associate-+l+` `flip3-+` `times-frac` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `difference-of-squares`

Counts

4 → 69

Calls

4 calls:

13.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
5.0ms	(+ (* x y) (/ (* z t) 16.0))
8.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0ms	(/ (* a b) 4.0)

series88.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
11.0ms	(+ (* x y) (/ (* z t) 16.0))
25.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0ms	(/ (* a b) 4.0)

simplify41.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	374	628
1	1499	597
2	5001	590

prune119.0ms

Filtered

60 candidates to 81 candidates (-35.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Merged error: 0.0b

Counts

82 → 4

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
6×	`sum-log`
5×	`*-un-lft-identity`
4×	`diff-log`
3×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`+-commutative` `sub-neg` `associate-*r/` `associate--l+` `frac-sub`
1×	`associate-+l-` `flip3--` `flip--` `distribute-lft-out`

Counts

3 → 45

Calls

3 calls:

9.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
5.0ms	(+ (* x y) (/ (* z t) 16.0))
7.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

series82.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
13.0ms	(+ (* x y) (/ (* z t) 16.0))
25.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

simplify36.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	284	515
1	1054	494
2	5002	487

prune82.0ms

Filtered

42 candidates to 54 candidates (-28.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	54	4	58

Merged error: 0.0b

Counts

58 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
0.4b	(/ (* a b) 4.0)
1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))
1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
11×	`add-exp-log` `add-cbrt-cube`
10×	`sqrt-pow1` `pow1/2`
8×	`flip3-+` `swap-sqr` `flip-+`
6×	`associate-r` `associate-l`
5×	`pow-prod-up`
4×	`frac-times` `add-log-exp` `unswap-sqr`
3×	`times-frac` `pow-prod-down` `associate-/r*` `pow-sqr`
2×	`cbrt-undiv` `rem-sqrt-square` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod`
1×	`pow2` `frac-2neg` `pow-plus` `sqrt-unprod` `clear-num` `rem-square-sqrt` `-commutative` `div-inv` `associate-/l`

Counts

4 → 108

Calls

4 calls:

13.0ms	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
4.0ms	(/ (* a b) 4.0)
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
3.0ms	(/ (* a b) 4.0)
25.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
24.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

simplify52.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	349	947
1	1523	849
2	5001	828

prune172.0ms

Filtered

75 candidates to 120 candidates (-60.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	119	5	124

Merged error: 0.0b

Counts

124 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))
1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))
1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))
1.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
4×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
7.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
23.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
23.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
23.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

simplify65.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (58.0ms)

Iter	Nodes	Cost
0	150	592
1	506	576
2	2318	576
3	5001	572

prune209.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

regimes1.7s

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	8
1	22	8

end0.0ms

sample34.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 15.820313%

Results

443.0ms	8000×	body	80	valid
230.0ms	4001×	body	80	invalid

Details

sample31.7s

simplify55.0ms

prune5.0ms

localize13.0ms

rewrite32.0ms

series88.0ms

simplify41.0ms

prune119.0ms

localize13.0ms

rewrite22.0ms

series82.0ms

simplify36.0ms

prune82.0ms

localize16.0ms

rewrite30.0ms

series64.0ms

simplify52.0ms

prune172.0ms

localize20.0ms

rewrite23.0ms

series94.0ms

simplify65.0ms

prune209.0ms

regimes1.7s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample34.0s

Profiling