Details

analyze836.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

sample81.0ms

Algorithm

intervals

Results

35.0ms	47×	body	1280	valid
16.0ms	37×	body	640	valid
13.0ms	136×	body	80	valid
7.0ms	26×	body	320	valid
2.0ms	10×	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

prune10.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.4b

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

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

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

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

simplify63.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4941	761
1	4941	761

prune173.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	64	11	75
Fresh	1	0	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.2b	(/ (sin (* x 0.5)) (sin x))
0.2b	(* (/ (sin (* x 0.5)) 3.0) (/ (sin (* x 0.5)) (sin x)))

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

4.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)
6.0ms	(/ (sin (* x 0.5)) (sin x))
11.0ms	(* (/ (sin (* x 0.5)) 3.0) (/ (sin (* x 0.5)) (sin x)))

simplify65.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4956	1386
1	4956	1386

prune225.0ms

Filtered

84 candidates to 113 candidates (-34.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	114	10	124

Merged error: 0b

Counts

124 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

102×	`add-sqr-sqrt`
83×	`times-frac`
76×	`cbrt-prod`
65×	`add-cube-cbrt` `*-un-lft-identity`
43×	`unpow-prod-down` `cube-prod`
35×	`associate-r`
14×	`add-exp-log` `unswap-sqr`
13×	`associate-l`
12×	`add-cbrt-cube`
8×	`div-inv`
7×	`pow1`
5×	`sqr-pow`
4×	`cube-div` `add-log-exp`
3×	`cbrt-undiv` `cube-mult` `pow-unpow` `cbrt-div` `unpow3` `div-exp` `associate-/r` `associate-/l`
2×	`pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt`
1×	`frac-times` `pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `rem-cbrt-cube`

Counts

4 → 193

Calls

4 calls:

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

series38.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (sin (* x 0.5)) (sin x))
11.0ms	(* (/ (sin (* x 0.5)) 3.0) (cbrt (pow (/ (sin (* x 0.5)) (sin x)) 3)))
12.0ms	(pow (/ (sin (* x 0.5)) (sin x)) 3)
7.0ms	(cbrt (pow (/ (sin (* x 0.5)) (sin x)) 3))

simplify49.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5028	2835

prune327.0ms

Filtered

114 candidates to 205 candidates (-79.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	206	9	215

Merged error: 0b

Counts

215 → 9

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)

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

11.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))
6.0ms	(/ (sin (* x 0.5)) (* 3.0 (sin x)))
6.0ms	(pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)

series44.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)))
17.0ms	(pow (/ (sin (* x 0.5)) (* 3.0 (sin x))) 3)

simplify48.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5240	1849

prune210.0ms

Filtered

85 candidates to 142 candidates (-67.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	142	9	151

Merged error: 0b

Counts

151 → 9

regimes58.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 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	14	16

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.1s	1526×	body	1280	valid
549.0ms	1289×	body	640	valid
418.0ms	4211×	body	80	valid
195.0ms	643×	body	320	valid
68.0ms	331×	body	160	valid

Details

analyze836.0ms

sample81.0ms

simplify5.0ms

prune10.0ms

localize11.0ms

rewrite21.0ms

series22.0ms

simplify63.0ms

prune173.0ms

localize11.0ms

rewrite22.0ms

series22.0ms

simplify65.0ms

prune225.0ms

localize14.0ms

rewrite45.0ms

series38.0ms

simplify49.0ms

prune327.0ms

localize14.0ms

rewrite31.0ms

series44.0ms

simplify48.0ms

prune210.0ms

regimes58.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling