Details

sample92.0ms

Algorithm

intervals

Results

34.0ms	44×	body	1280	valid
18.0ms	36×	body	640	valid
16.0ms	143×	body	80	valid
7.0ms	19×	body	320	valid
3.0ms	14×	body	160	valid

simplify25.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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

prune4.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: 15.3b

Counts

2 → 1

localize18.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
0.4b	(* (/ 8.0 3.0) (sin (* x 0.5)))
15.1b	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

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

14.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
11.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
17.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

series189.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
39.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
93.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

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

prune195.0ms

Filtered

88 candidates to 62 candidates (70.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	78	10	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	10	89

Merged error: 0.1b

Counts

89 → 10

localize14.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.4b	(* (/ 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:

9.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)))

series158.0ms

Counts

3 → 9

Calls

3 calls:

79.0ms	(/ (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin x) (sin (* 0.5 x))))
39.0ms	(/ (sin x) (sin (* 0.5 x)))
40.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify66.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (55.0ms)

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

prune293.0ms

Filtered

119 candidates to 90 candidates (75.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	114	5	119
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	118	11	129

Merged error: 0b

Counts

129 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

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)))

rewrite21.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)
9.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))
5.0ms	(/ (sin x) (sin (* 0.5 x)))

series157.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(/ (sin (* 0.5 x)) 3.0)
72.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin x) (sin (* 0.5 x))))
46.0ms	(/ (sin x) (sin (* 0.5 x)))

simplify67.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (56.0ms)

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

prune249.0ms

Filtered

114 candidates to 85 candidates (74.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

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

Merged error: 0b

Counts

125 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

79×	`add-exp-log`
49×	`add-cbrt-cube`
35×	`add-sqr-sqrt`
31×	`div-exp`
30×	`times-frac`
29×	`*-un-lft-identity`
28×	`add-cube-cbrt`
26×	`prod-exp`
18×	`cbrt-undiv`
14×	`cbrt-unprod`
13×	`associate-r`
7×	`pow1` `associate-/r` `associate-/l`
5×	`rec-exp` `1-exp`
4×	`div-inv` `add-log-exp`
3×	`frac-2neg` `associate-r/` `associate-l*` `clear-num` `unswap-sqr`
2×	`associate-/r/` `un-div-inv`
1×	`pow-flip` `pow-prod-down` `*-commutative` `associate-/l/` `inv-pow`

Counts

4 → 134

Calls

4 calls:

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

series190.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/ (sin (* 0.5 x)) 3.0)
35.0ms	(/ 1 (sin (* 0.5 x)))
73.0ms	(/ (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (* (sin x) (/ 1 (sin (* 0.5 x)))))
46.0ms	(* (sin x) (/ 1 (sin (* 0.5 x))))

simplify77.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	582	1273
1	3058	1003
2	5001	944

prune212.0ms

Filtered

146 candidates to 81 candidates (55.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	147	10	157

Merged error: 0b

Counts

157 → 10

regimes37.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.9s

Algorithm

intervals

Results

895.0ms	1503×	body	1280	valid
380.0ms	1243×	body	640	valid
298.0ms	4302×	body	80	valid
137.0ms	642×	body	320	valid
45.0ms	310×	body	160	valid

Details

sample92.0ms

simplify25.0ms

prune4.0ms

localize18.0ms

rewrite47.0ms

series189.0ms

simplify54.0ms

prune195.0ms

localize14.0ms

rewrite24.0ms

series158.0ms

simplify66.0ms

prune293.0ms

localize11.0ms

rewrite21.0ms

series157.0ms

simplify67.0ms

prune249.0ms

localize12.0ms

rewrite31.0ms

series190.0ms

simplify77.0ms

prune212.0ms

regimes37.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling