Details

sample296.0ms

Algorithm: halfpoints

simplify61.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: 44.0b

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.8b	(- (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)))

series115.0ms

Counts

2 → 6

Calls

2 calls:

81.0ms	(* (/ (- (exp x) (exp (neg x))) 2.0) (sin y))
34.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

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

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/60 (pow x 5)) (* 2 x))
0.0b	(* 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))

rewrite30.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×	`unswap-sqr`
8×	`unpow-prod-down` `prod-exp`
6×	`pow1` `add-log-exp`
4×	`cube-prod` `cbrt-unprod` `sqr-pow`
3×	`*-commutative`
2×	`pow-to-exp` `pow-exp`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `flip3-+` `unpow3` `div-exp` `pow-prod-down` `associate-*l/` `sum-log` `flip-+` `div-inv`

Counts

4 → 99

Calls

4 calls:

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

series316.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(+ (* 1/60 (pow x 5)) (* 2 x))
52.0ms	(* 1/60 (pow x 5))
91.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))
35.0ms	(* 1/3 (pow x 3))

simplify59.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	468	756
1	1975	664
2	5001	663

prune299.0ms

Filtered

111 candidates to 75 candidates (67.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	104	7	111
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	104	11	115

Merged error: 0.0b

Counts

115 → 11

localize33.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.4b	(* (/ 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))

rewrite54.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))
18.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))

series514.0ms

Counts

4 → 10

Calls

4 calls:

161.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
223.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
130.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))
0.0ms	(/ 1 (sqrt 2.0))

simplify101.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	684	2590
1	3667	2210
2	5002	2099

prune492.0ms

Filtered

192 candidates to 111 candidates (57.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	189	3	192
Fresh	5	4	9
Picked	1	0	1
Done	0	1	1
Total	195	8	203

Merged error: 0.0b

Counts

203 → 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.4b	(* (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))

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

series564.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* 1/3 (pow x 3))
164.0ms	(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
233.0ms	(* (pow 2.0 -1/2) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
130.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

simplify86.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (66.0ms)

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

prune592.0ms

Filtered

155 candidates to 100 candidates (64.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	155	8	163

Merged error: 0.0b

Counts

163 → 8

regimes82.0ms

Accuracy

39.7% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.8b

bsearch117.0ms

Steps

Iters	Range		Point
9	-2.6022242175013632	-4.3160224528650695e-07	-0.014152236857584766

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	17
1	35	17

end0.0ms

sample6.1s

Algorithm: halfpoints

Details

sample296.0ms

simplify61.0ms

prune6.0ms

localize39.0ms

rewrite17.0ms

series115.0ms

simplify105.0ms

prune147.0ms

localize29.0ms

rewrite30.0ms

series316.0ms

simplify59.0ms

prune299.0ms

localize33.0ms

rewrite54.0ms

series514.0ms

simplify101.0ms

prune492.0ms

localize34.0ms

rewrite51.0ms

series564.0ms

simplify86.0ms

prune592.0ms

regimes82.0ms

bsearch117.0ms

simplify2.0ms

end0.0ms

sample6.1s

Profiling