Details

sample61.0ms

Algorithm

intervals

Results

26.0ms	49×	body	1280	valid
10.0ms	35×	body	640	valid
9.0ms	138×	body	80	valid
5.0ms	25×	body	320	valid
1.0ms	9×	body	160	valid

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

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.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)))
10.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

series170.0ms

Counts

3 → 9

Calls

3 calls:

53.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
39.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
78.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

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

prune220.0ms

Filtered

88 candidates to 62 candidates (70.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	76	12	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	12	89

Merged error: 0.1b

Counts

89 → 12

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.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:

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

series155.0ms

Counts

3 → 9

Calls

3 calls:

75.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin x) (sin (* 0.5 x))))
43.0ms	(/ (sin x) (sin (* 0.5 x)))
37.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify65.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (54.0ms)

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

prune337.0ms

Filtered

119 candidates to 90 candidates (75.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	121	10	131

Merged error: 0b

Counts

131 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 137

Calls

4 calls:

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

series191.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* 8.0 (/ (sin (* 0.5 x)) 3.0))
38.0ms	(/ (sin (* 0.5 x)) 3.0)
77.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))
39.0ms	(/ (sin x) (sin (* 0.5 x)))

simplify78.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	579	1350
1	2925	1169
2	5001	1146

prune323.0ms

Filtered

149 candidates to 110 candidates (73.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	150	9	159

Merged error: 0b

Counts

159 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

191×	`times-frac`
102×	`add-exp-log`
85×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
60×	`div-exp`
58×	`add-cbrt-cube`
31×	`cbrt-undiv`
25×	`associate-/r*`
22×	`associate-/l*`
16×	`prod-exp`
14×	`div-inv`
8×	`cbrt-unprod`
7×	`rec-exp` `1-exp`
6×	`associate-/r/`
5×	`pow1` `associate-*r/`
4×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

4 → 221

Calls

4 calls:

4.0ms	(/ (sin (* 0.5 x)) 3.0)
4.0ms	(/ (sin x) (sin (* 0.5 x)))
12.0ms	(/ 1 (/ (/ (sin x) (sin (* 0.5 x))) (* 8.0 (/ (sin (* 0.5 x)) 3.0))))
10.0ms	(/ (/ (sin x) (sin (* 0.5 x))) (* 8.0 (/ (sin (* 0.5 x)) 3.0)))

series243.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/ (sin (* 0.5 x)) 3.0)
39.0ms	(/ (sin x) (sin (* 0.5 x)))
78.0ms	(/ 1 (/ (/ (sin x) (sin (* 0.5 x))) (* 8.0 (/ (sin (* 0.5 x)) 3.0))))
84.0ms	(/ (/ (sin x) (sin (* 0.5 x))) (* 8.0 (/ (sin (* 0.5 x)) 3.0)))

simplify115.0ms

Algorithm

egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 2 (91.0ms)

Iter	Nodes	Cost
0	919	2949
1	4709	2478
2	5001	2384

prune437.0ms

Filtered

233 candidates to 149 candidates (63.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	233	9	242

Merged error: 0b

Counts

242 → 9

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

sample1.7s

Algorithm

intervals

Results

711.0ms	1510×	body	1280	valid
379.0ms	1251×	body	640	valid
281.0ms	4282×	body	80	valid
137.0ms	650×	body	320	valid
43.0ms	307×	body	160	valid

Details

sample61.0ms

simplify17.0ms

prune2.0ms

localize11.0ms

rewrite27.0ms

series170.0ms

simplify55.0ms

prune220.0ms

localize15.0ms

rewrite25.0ms

series155.0ms

simplify65.0ms

prune337.0ms

localize11.0ms

rewrite31.0ms

series191.0ms

simplify78.0ms

prune323.0ms

localize12.0ms

rewrite40.0ms

series243.0ms

simplify115.0ms

prune437.0ms

regimes38.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.7s

Profiling