Details

sample6.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 50.15564%

Results

28.0ms	42×	body	1280	valid
21.0ms	41×	body	640	valid
14.0ms	145×	body	80	valid
6.0ms	21×	body	320	valid
1.0ms	7×	body	160	valid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	9
1	43	9
2	93	9
3	174	9
4	269	9
5	288	9
6	288	9

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

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
0.3b	(* (/ 8.0 3.0) (sin (* x 0.5)))
17.4b	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
13×	`times-frac`
12×	`prod-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r`
5×	`associate-*l/`
4×	`pow-prod-down`
3×	`associate-/r*` `add-log-exp`
2×	`*-commutative` `div-inv` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/l/` `associate-/l*`

Counts

3 → 79

Calls

3 calls:

8.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
6.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
11.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

series21.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
11.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

simplify57.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	402	818
1	2097	614
2	5002	599

prune181.0ms

Filtered

62 candidates to 88 candidates (-41.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	77	11	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	11	89

Merged error: 0.1b

Counts

89 → 11

localize14.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ (sin x) (sin (* 0.5 x)))
0.2b	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin x) (sin (* 0.5 x))))
0.3b	(* (/ 8.0 3.0) (sin (* x 0.5)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

50×	`times-frac`
38×	`add-sqr-sqrt`
33×	`add-cube-cbrt` `*-un-lft-identity`
31×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r*`
13×	`cbrt-undiv` `div-exp` `associate-l`
6×	`prod-exp` `cbrt-unprod`
5×	`pow1` `div-inv`
4×	`associate-/l*`
3×	`associate-r` `add-log-exp`
2×	`frac-2neg` `associate-*l/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `associate-/r/` `*-commutative` `associate-/l/`

Counts

3 → 110

Calls

3 calls:

4.0ms	(/ (sin x) (sin (* 0.5 x)))
9.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin x) (sin (* 0.5 x))))
6.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

series24.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (sin x) (sin (* 0.5 x)))
13.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin x) (sin (* 0.5 x))))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify63.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	540	1166
1	2701	980
2	5002	956

prune236.0ms

Filtered

90 candidates to 119 candidates (-32.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	115	4	119
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	119	11	130

Merged error: 0b

Counts

130 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (sin (* 0.5 x)) 3.0)
0.2b	(/ (sin x) (sin (* 0.5 x)))
0.2b	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

49×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
28×	`add-exp-log` `add-cbrt-cube`
19×	`associate-/r*`
13×	`cbrt-undiv` `div-exp`
7×	`associate-/l*`
5×	`div-inv`
4×	`prod-exp` `cbrt-unprod`
3×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-*r/` `associate-/r/` `associate-/l/`

Counts

3 → 105

Calls

3 calls:

4.0ms	(/ (sin (* 0.5 x)) 3.0)
4.0ms	(/ (sin x) (sin (* 0.5 x)))
9.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))

series24.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ (sin (* 0.5 x)) 3.0)
9.0ms	(/ (sin x) (sin (* 0.5 x)))
11.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))

simplify64.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	504	1132
1	2553	976
2	5002	950

prune218.0ms

Filtered

85 candidates to 114 candidates (-34.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	114	11	125

Merged error: 0b

Counts

125 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (exp (/ (sin x) (sin (* 0.5 x)))))
0.2b	(/ (sin x) (sin (* 0.5 x)))
0.2b	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (log (exp (/ (sin x) (sin (* 0.5 x))))))
0.3b	(* (/ 8.0 3.0) (sin (* x 0.5)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

63×	`times-frac`
49×	`add-sqr-sqrt`
44×	`add-cube-cbrt` `*-un-lft-identity`
42×	`log-pow`
39×	`exp-prod`
20×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
13×	`associate-l`
9×	`pow1`
6×	`cbrt-undiv` `div-exp` `div-inv`
4×	`prod-exp` `cbrt-unprod` `associate-/l*` `add-log-exp`
3×	`log-prod` `associate-r`
2×	`frac-2neg` `associate-*l/` `clear-num` `unswap-sqr`
1×	`rem-log-exp` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

4 → 136

Calls

4 calls:

5.0ms	(log (exp (/ (sin x) (sin (* 0.5 x)))))
4.0ms	(/ (sin x) (sin (* 0.5 x)))
11.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (log (exp (/ (sin x) (sin (* 0.5 x))))))
7.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(log (exp (/ (sin x) (sin (* 0.5 x)))))
7.0ms	(/ (sin x) (sin (* 0.5 x)))
11.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (log (exp (/ (sin x) (sin (* 0.5 x))))))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify65.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	553	1391
1	2513	1176
2	5001	1154

prune290.0ms

Filtered

114 candidates to 148 candidates (-29.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	148	11	159

Merged error: 0b

Counts

159 → 11

regimes182.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	9
1	13	9

end0.0ms

sample8.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 50.15564%

Results

1.0s	1479×	body	1280	valid
562.0ms	1290×	body	640	valid
425.0ms	4293×	body	80	valid
173.0ms	609×	body	320	valid
66.0ms	329×	body	160	valid

Details

sample6.1s

simplify15.0ms

prune3.0ms

localize11.0ms

rewrite28.0ms

series21.0ms

simplify57.0ms

prune181.0ms

localize14.0ms

rewrite24.0ms

series24.0ms

simplify63.0ms

prune236.0ms

localize11.0ms

rewrite20.0ms

series24.0ms

simplify64.0ms

prune218.0ms

localize18.0ms

rewrite32.0ms

series29.0ms

simplify65.0ms

prune290.0ms

regimes182.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.8s

Profiling