Details

sample292.0ms

Algorithm: halfpoints

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	7
1	47	7
2	84	7
3	121	7
4	206	7
5	437	7
6	1047	7
7	2007	7
8	5001	7

prune6.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 42.2b

Counts

2 → 1

localize39.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
57.7b	(- (exp x) (exp (neg x)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
19×	`associate-l`
16×	`times-frac`
12×	`add-cube-cbrt`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-r`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip--` `div-inv`

Counts

2 → 52

Calls

2 calls:

11.0ms	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
5.0ms	(- (exp x) (exp (neg x)))

series118.0ms

Counts

2 → 6

Calls

2 calls:

82.0ms	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
36.0ms	(- (exp x) (exp (neg x)))

simplify104.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	293	506
1	893	447
2	3877	446
3	5001	446

prune158.0ms

Filtered

58 candidates to 44 candidates (75.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	4	59

Merged error: 0.1b

Counts

59 → 4

localize24.0ms

Local error

Found 3 expressions with local error:

0.1b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))
0.1b	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
22×	`associate-r`
19×	`associate-l`
18×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity`
12×	`add-cbrt-cube`
10×	`times-frac`
9×	`unswap-sqr`
8×	`unpow-prod-down` `prod-exp`
5×	`pow1`
4×	`cube-prod` `cbrt-unprod` `sqr-pow`
3×	`*-commutative` `add-log-exp`
2×	`pow-to-exp` `pow-exp`
1×	`cbrt-undiv` `cube-mult` `unpow3` `div-exp` `pow-prod-down` `associate-*l/` `div-inv`

Counts

3 → 88

Calls

3 calls:

5.0ms	(* 1/60 (pow x 5))
6.0ms	(* 1/3 (pow x 3))
12.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))

series179.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(* 1/60 (pow x 5))
41.0ms	(* 1/3 (pow x 3))
90.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))

simplify49.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	399	664
1	1676	581
2	5002	581

prune272.0ms

Filtered

97 candidates to 65 candidates (67.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	89	8	97
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	89	12	101

Merged error: 0.0b

Counts

101 → 12

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
0.3b	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
0.4b	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
1.0b	(/ 1 (sqrt 2.0))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

74×	`times-frac`
69×	`add-sqr-sqrt`
61×	`add-cube-cbrt` `*-un-lft-identity`
54×	`add-exp-log`
44×	`associate-l`
43×	`sqrt-prod`
34×	`add-cbrt-cube`
22×	`prod-exp`
14×	`div-exp`
13×	`pow1`
12×	`associate-/r*` `cbrt-unprod`
8×	`cbrt-undiv`
6×	`associate-/l*`
4×	`rec-exp` `1-exp` `associate-r` `pow-prod-down` `associate-*l/` `div-inv` `add-log-exp`
3×	`pow-flip` `unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative` `associate-/l/`
1×	`frac-times` `sqrt-pow1` `flip3-+` `pow1/2` `associate-*r/` `flip-+` `inv-pow`

Counts

4 → 182

Calls

4 calls:

14.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
18.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
12.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
4.0ms	(/ 1 (sqrt 2.0))

series518.0ms

Counts

4 → 10

Calls

4 calls:

165.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
221.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
131.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
0.0ms	(/ 1 (sqrt 2.0))

simplify100.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	684	2585
1	3667	2208
2	5002	2099

prune504.0ms

Filtered

192 candidates to 111 candidates (57.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	189	3	192
Fresh	7	3	10
Picked	0	1	1
Done	0	1	1
Total	196	8	204

Merged error: 0b

Counts

204 → 8

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/3 (pow x 3))
0.3b	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
0.3b	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
0.4b	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
40×	`add-exp-log`
39×	`add-cube-cbrt` `*-un-lft-identity`
38×	`times-frac`
32×	`associate-l`
22×	`sqrt-prod` `add-cbrt-cube`
20×	`prod-exp`
16×	`associate-r`
8×	`cbrt-unprod`
7×	`unpow-prod-down` `unswap-sqr`
6×	`pow1` `associate-/r*`
5×	`div-exp`
4×	`pow-to-exp` `cube-prod` `pow-exp` `add-log-exp`
3×	`cbrt-undiv` `-commutative` `associate-/l` `sqr-pow`
2×	`associate-*l/` `div-inv` `associate-/l/`
1×	`cube-mult` `frac-2neg` `flip3-+` `unpow3` `associate-*r/` `pow-prod-down` `clear-num` `flip-+`

Counts

4 → 143

Calls

4 calls:

7.0ms	(* 1/3 (pow x 3))
14.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
15.0ms	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
12.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

series587.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* 1/3 (pow x 3))
166.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
245.0ms	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
133.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

simplify85.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	654	2022
1	2862	1797
2	5002	1794

prune466.0ms

Filtered

155 candidates to 100 candidates (64.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	155	8	163

Merged error: 0b

Counts

163 → 8

regimes85.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample6.3s

Algorithm: halfpoints

Details

sample292.0ms

simplify58.0ms

prune6.0ms

localize39.0ms

rewrite17.0ms

series118.0ms

simplify104.0ms

prune158.0ms

localize24.0ms

rewrite26.0ms

series179.0ms

simplify49.0ms

prune272.0ms

localize32.0ms

rewrite55.0ms

series518.0ms

simplify100.0ms

prune504.0ms

localize34.0ms

rewrite53.0ms

series587.0ms

simplify85.0ms

prune466.0ms

regimes85.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.3s

Profiling