Details

sample296.0ms

Algorithm: halfpoints

simplify60.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: 41.0b

Counts

2 → 1

localize35.0ms

Local error

Found 2 expressions with local error:

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

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

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

series115.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify105.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

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

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

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

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

simplify51.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

prune260.0ms

Filtered

97 candidates to 65 candidates (67.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	91	6	97
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	91	10	101

Merged error: 0.0b

Counts

101 → 10

localize30.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.3b	(* (/ 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))

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

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

series502.0ms

Counts

4 → 10

Calls

4 calls:

159.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
219.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
123.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
0.0ms	(/ 1 (sqrt 2.0))

simplify96.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 2 (73.0ms)

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

prune499.0ms

Filtered

192 candidates to 111 candidates (57.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	188	4	192
Fresh	4	4	8
Picked	1	0	1
Done	0	1	1
Total	193	9	202

Merged error: 0b

Counts

202 → 9

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite206.0ms

Algorithm

rewrite-expression-head

Rules

1128×	`times-frac`
1122×	`sqrt-prod`
631×	`add-sqr-sqrt`
584×	`add-cube-cbrt` `*-un-lft-identity`
305×	`associate-l`
82×	`add-exp-log`
52×	`add-cbrt-cube`
34×	`associate-/l*`
31×	`prod-exp`
28×	`div-exp`
23×	`div-inv`
17×	`cbrt-undiv` `cbrt-unprod`
15×	`associate-/r*`
13×	`pow1` `unswap-sqr`
5×	`rec-exp` `1-exp`
4×	`associate-r` `pow-prod-down` `associate-*l/` `add-log-exp`
3×	`pow-flip`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`frac-times` `sqrt-pow1` `pow1/2` `associate-*r/` `associate-/l/` `inv-pow`

Counts

4 → 754

Calls

4 calls:

60.0ms	(* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y))
28.0ms	(/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
42.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y)))
5.0ms	(/ 1 (sqrt 2.0))

series502.0ms

Counts

4 → 10

Calls

4 calls:

159.0ms	(* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y))
127.0ms	(/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
216.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y)))
0.0ms	(/ 1 (sqrt 2.0))

simplify172.0ms

Algorithm

egg-herbie

Counts

764 → 764

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	1649	16322
1	5001	14778

prune1.9s

Filtered

764 candidates to 350 candidates (45.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	762	2	764
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	764	9	773

Merged error: 0b

Counts

773 → 9

regimes90.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample6.0s

Algorithm: halfpoints

Details

sample296.0ms

simplify60.0ms

prune6.0ms

localize35.0ms

rewrite22.0ms

series115.0ms

simplify105.0ms

prune155.0ms

localize24.0ms

rewrite27.0ms

series179.0ms

simplify51.0ms

prune260.0ms

localize30.0ms

rewrite61.0ms

series502.0ms

simplify96.0ms

prune499.0ms

localize31.0ms

rewrite206.0ms

series502.0ms

simplify172.0ms

prune1.9s

regimes90.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.0s

Profiling