Details

sample81.0ms

Algorithm

intervals

Results

35.0ms	52×	body	1280	valid
16.0ms	37×	body	640	valid
14.0ms	142×	body	80	valid
5.0ms	19×	body	320	valid
1.0ms	6×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	190	16
1	190	16

prune15.0ms

Filtered

1 candidates to 1 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: 0.3b

Counts

2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(* 3.0 (sin x))
0.3b	(* (sin (* x 0.5)) (/ (sin (* x 0.5)) (* 3.0 (sin x))))
0.3b	(/ (sin (* x 0.5)) (* 3.0 (sin x)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 66

Calls

3 calls:

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

series23.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5002	761

prune157.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	65	10	75
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	66	11	77

Merged error: 0.0b

Counts

77 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 104

Calls

3 calls:

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

series22.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify67.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5557	1386

prune224.0ms

Filtered

87 candidates to 113 candidates (-29.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	116	8	124

Merged error: 0b

Counts

124 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
46×	`times-frac`
44×	`add-cube-cbrt` `*-un-lft-identity`
39×	`exp-prod`
28×	`log-pow`
17×	`associate-r`
13×	`associate-l`
11×	`add-exp-log` `add-cbrt-cube`
9×	`log-prod`
8×	`pow1`
5×	`div-inv` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`frac-2neg` `rem-log-exp` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `rem-exp-log`

Counts

4 → 125

Calls

4 calls:

4.0ms	(/ (sin (* x 0.5)) (sin x))
5.0ms	(log (exp (/ (sin (* x 0.5)) (sin x))))
14.0ms	(* (/ (sin (* x 0.5)) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
4.0ms	(exp (/ (sin (* x 0.5)) (sin x)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (sin (* x 0.5)) (sin x))
7.0ms	(log (exp (/ (sin (* x 0.5)) (sin x))))
14.0ms	(* (/ (sin (* x 0.5)) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
12.0ms	(exp (/ (sin (* x 0.5)) (sin x)))

simplify57.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5168	1674

prune302.0ms

Filtered

110 candidates to 137 candidates (-24.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	137	8	145

Merged error: 0b

Counts

145 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sin (* x 0.5)) (cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)))
0.3b	(cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3))
0.3b	(/ (sin (* x 0.5)) (* 3.0 (sin x)))
0.8b	(pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

44×	`cbrt-prod`
32×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
22×	`unpow-prod-down` `cube-prod`
21×	`times-frac`
17×	`add-exp-log`
16×	`add-cbrt-cube`
7×	`pow1` `div-inv`
5×	`unswap-sqr`
4×	`cbrt-undiv` `div-exp` `add-log-exp` `sqr-pow`
3×	`cube-div` `cube-mult` `pow-unpow` `unpow3` `associate-l` `pow-exp` `prod-exp` `cbrt-unprod` `associate-/l*` `rem-cube-cbrt`
2×	`cbrt-div`
1×	`pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative` `rem-cbrt-cube`

Counts

4 → 130

Calls

4 calls:

10.0ms	(* (sin (* x 0.5)) (cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)))
4.0ms	(cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3))
5.0ms	(/ (sin (* x 0.5)) (* 3.0 (sin x)))
6.0ms	(pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)

series46.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (sin (* x 0.5)) (cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)))
8.0ms	(cbrt (pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3))
8.0ms	(/ (sin (* x 0.5)) (* 3.0 (sin x)))
18.0ms	(pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)

simplify47.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5212	1849

prune204.0ms

Filtered

85 candidates to 142 candidates (-67.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	142	8	150

Merged error: 0b

Counts

150 → 8

regimes114.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	16	18
1	16	18

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.1s	1525×	body	1280	valid
534.0ms	1166×	body	640	valid
435.0ms	4384×	body	80	valid
183.0ms	614×	body	320	valid
66.0ms	311×	body	160	valid

Details

sample81.0ms

simplify5.0ms

prune15.0ms

localize11.0ms

rewrite19.0ms

series23.0ms

simplify41.0ms

prune157.0ms

localize11.0ms

rewrite24.0ms

series22.0ms

simplify67.0ms

prune224.0ms

localize15.0ms

rewrite31.0ms

series40.0ms

simplify57.0ms

prune302.0ms

localize14.0ms

rewrite29.0ms

series46.0ms

simplify47.0ms

prune204.0ms

regimes114.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling