Details

sample244.0ms

Algorithm: halfpoints

simplify62.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: 46.4b

Counts

2 → 1

localize36.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
58.2b	(- (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:

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

series119.0ms

Counts

2 → 6

Calls

2 calls:

79.0ms	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
40.0ms	(- (exp x) (exp (neg x)))

simplify106.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (23.0ms)

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

prune148.0ms

Filtered

58 candidates to 44 candidates (75.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	55	3	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	3	59

Merged error: 0.1b

Counts

59 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
22×	`associate-r`
19×	`add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
13×	`add-cbrt-cube`
10×	`times-frac`
9×	`add-log-exp` `unswap-sqr`
8×	`unpow-prod-down` `prod-exp`
6×	`pow1`
4×	`cube-prod` `cbrt-unprod` `sqr-pow`
3×	`sum-log` `*-commutative`
2×	`pow-to-exp` `pow-exp`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `associate-+r+` `flip3-+` `unpow3` `div-exp` `pow-prod-down` `associate-*l/` `flip-+` `div-inv`

Counts

4 → 101

Calls

4 calls:

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

series232.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
50.0ms	(* 1/60 (pow x 5))
88.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))
35.0ms	(* 1/3 (pow x 3))

simplify60.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	465	830
1	1991	734
2	5002	734

prune292.0ms

Filtered

113 candidates to 76 candidates (67.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	107	6	113
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	107	9	116

Merged error: 0.0b

Counts

116 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

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

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

13.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
21.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
11.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
4.0ms	(/ 1 (sqrt 2.0))

series503.0ms

Counts

4 → 10

Calls

4 calls:

160.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)))
121.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
0.0ms	(/ 1 (sqrt 2.0))

simplify94.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 2 (70.0ms)

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

prune473.0ms

Filtered

192 candidates to 111 candidates (57.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	189	3	192
Fresh	5	2	7
Picked	0	1	1
Done	0	1	1
Total	194	7	201

Merged error: 0.0b

Counts

201 → 7

localize33.0ms

Local error

Found 4 expressions with local error:

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

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

6.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))
14.0ms	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
15.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

series548.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* 1/3 (pow x 3))
159.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
224.0ms	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
124.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

simplify84.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	654	2030
1	2862	1802
2	5001	1799

prune437.0ms

Filtered

155 candidates to 100 candidates (64.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	155	7	162

Merged error: 0.0b

Counts

162 → 7

regimes76.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.0b 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.1s

Algorithm: halfpoints

Details

sample244.0ms

simplify62.0ms

prune6.0ms

localize36.0ms

rewrite17.0ms

series119.0ms

simplify106.0ms

prune148.0ms

localize25.0ms

rewrite37.0ms

series232.0ms

simplify60.0ms

prune292.0ms

localize28.0ms

rewrite57.0ms

series503.0ms

simplify94.0ms

prune473.0ms

localize33.0ms

rewrite55.0ms

series548.0ms

simplify84.0ms

prune437.0ms

regimes76.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.1s

Profiling