Details

sample287.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	410	7
6	1017	7
7	2074	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: 43.1b

Counts

2 → 1

localize37.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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 (- x))) 2.0) (sin y))
5.0ms	(- (exp x) (exp (- x)))

series124.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify104.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	293	506
1	893	449
2	3855	448
3	5001	448

prune146.0ms

Filtered

58 candidates to 44 candidates (75.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	2	59

Merged error: 0.1b

Counts

59 → 2

localize26.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))
0.1b	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))

rewrite38.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))
9.0ms	(* 1/3 (pow x 3))
12.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))

series238.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
52.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))

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

prune282.0ms

Filtered

113 candidates to 76 candidates (67.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	106	7	113
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	106	9	115

Merged error: 0.0b

Counts

115 → 9

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

rewrite60.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))
23.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))

series520.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))
229.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
126.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	2590
1	3667	2213
2	5002	2104

prune623.0ms

Filtered

192 candidates to 112 candidates (58.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	186	6	192
Fresh	6	0	6
Picked	1	0	1
Done	0	2	2
Total	193	8	201

Merged error: 0b

Counts

201 → 8

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

rewrite52.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-l/` `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×	`neg-sub0` `frac-times` `pow-neg` `div-inv` `associate-/l/` `pow-sub`
1×	`cube-mult` `frac-2neg` `flip3-+` `unpow3` `associate-*r/` `pow-prod-down` `clear-num` `flip-+`

Counts

4 → 147

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

series559.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* 1/3 (pow x 3))
163.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
229.0ms	(* (pow 2.0 (- 1/2)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
126.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

simplify97.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	683	2100
1	3351	1868
2	5001	1864

prune464.0ms

Filtered

159 candidates to 102 candidates (64.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	159	8	167

Merged error: 0b

Counts

167 → 8

regimes82.0ms

Accuracy

0% (0.6b remaining)

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

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.2s

Algorithm: halfpoints

Details

sample287.0ms

simplify58.0ms

prune6.0ms

localize37.0ms

rewrite18.0ms

series124.0ms

simplify104.0ms

prune146.0ms

localize26.0ms

rewrite38.0ms

series238.0ms

simplify60.0ms

prune282.0ms

localize29.0ms

rewrite60.0ms

series520.0ms

simplify96.0ms

prune623.0ms

localize40.0ms

rewrite52.0ms

series559.0ms

simplify97.0ms

prune464.0ms

regimes82.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.2s

Profiling