Details

sample60.0ms

Algorithm

intervals

Results

24.0ms	51×	body	1280	valid
10.0ms	33×	body	640	valid
9.0ms	146×	body	80	valid
3.0ms	15×	body	320	valid
2.0ms	11×	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

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.6b

Counts

2 → 1

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
0.4b	(* (/ 8.0 3.0) (sin (* x 0.5)))
16.4b	(/ (* (* (/ 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:

57.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
36.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
77.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

prune295.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.1b	(/ (sin (* 0.5 x)) (sin x))
0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* 0.5 x)) (sin x)))
0.4b	(* (/ 8.0 3.0) (sin (* x 0.5)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 98

Calls

3 calls:

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

series156.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(/ (sin (* 0.5 x)) (sin x))
76.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* 0.5 x)) (sin x)))
41.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify66.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	463	970
1	2477	779
2	5002	764

prune345.0ms

Filtered

107 candidates to 75 candidates (70.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	9	2	11
Picked	1	0	1
Done	0	0	0
Total	110	9	119

Merged error: 0b

Counts

119 → 9

localize12.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.1b	(/ (sin (* 0.5 x)) (sin x))
0.2b	(* (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin (* 0.5 x)) (sin x)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
37×	`times-frac`
35×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-exp-log` `add-cbrt-cube`
26×	`associate-r`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1`
8×	`cbrt-undiv` `div-exp`
6×	`associate-/r` `associate-/l`
4×	`associate-r/` `associate-l*` `pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`frac-times` `associate-*l/`

Counts

4 → 125

Calls

4 calls:

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

series193.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* 8.0 (/ (sin (* 0.5 x)) 3.0))
42.0ms	(/ (sin (* 0.5 x)) 3.0)
37.0ms	(/ (sin (* 0.5 x)) (sin x))
79.0ms	(* (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (/ (sin (* 0.5 x)) (sin x)))

simplify71.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	499	1152
1	2605	968
2	5001	946

prune399.0ms

Filtered

137 candidates to 99 candidates (72.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	137	9	146

Merged error: 0b

Counts

146 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

79×	`add-exp-log`
49×	`add-cbrt-cube`
41×	`prod-exp`
35×	`add-sqr-sqrt`
29×	`*-un-lft-identity` `times-frac`
28×	`add-cube-cbrt`
23×	`cbrt-unprod`
19×	`pow1`
16×	`div-exp`
14×	`associate-r`
9×	`cbrt-undiv` `pow-prod-down`
8×	`associate-*r/`
6×	`associate-/r` `associate-/l`
5×	`rec-exp` `1-exp`
4×	`associate-l` `add-log-exp`
3×	`un-div-inv` `div-inv` `unswap-sqr`
2×	`frac-times` `frac-2neg` `clear-num` `*-commutative`
1×	`pow-flip` `associate-*l/` `inv-pow`

Counts

4 → 137

Calls

4 calls:

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

series172.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ 1 (sin x))
42.0ms	(/ (sin (* 0.5 x)) 3.0)
80.0ms	(* (* 8.0 (/ (sin (* 0.5 x)) 3.0)) (* (sin (* 0.5 x)) (/ 1 (sin x))))
38.0ms	(* (sin (* 0.5 x)) (/ 1 (sin x)))

simplify69.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	552	1237
1	2509	969
2	5002	895

prune302.0ms

Filtered

149 candidates to 80 candidates (53.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	149	9	158

Merged error: 0b

Counts

158 → 9

regimes59.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	14	9
1	14	9

end0.0ms

sample1.8s

Algorithm

intervals

Results

741.0ms	1493×	body	1280	valid
396.0ms	1253×	body	640	valid
287.0ms	4328×	body	80	valid
134.0ms	635×	body	320	valid
54.0ms	291×	body	160	valid

Details

sample60.0ms

simplify15.0ms

prune3.0ms

localize18.0ms

rewrite27.0ms

series170.0ms

simplify54.0ms

prune295.0ms

localize15.0ms

rewrite25.0ms

series156.0ms

simplify66.0ms

prune345.0ms

localize12.0ms

rewrite28.0ms

series193.0ms

simplify71.0ms

prune399.0ms

localize13.0ms

rewrite36.0ms

series172.0ms

simplify69.0ms

prune302.0ms

regimes59.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling