Details

sample306.0ms

Algorithm

intervals

Results

30.0ms

501×

body

valid

simplify82.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	667	14
3	3125	14
4	5002	14

prune5.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 16.5b

Counts

2 → 1

localize35.0ms

Local error

Found 4 expressions with local error:

2.7b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
3.6b	(* (* (* w w) r) r)
7.6b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
11.2b	(* (* w w) r)

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

1034×	`add-sqr-sqrt`
526×	`associate-l`
488×	`unswap-sqr`
421×	`associate-r`
385×	`times-frac`
370×	`*-un-lft-identity`
186×	`add-cube-cbrt`
92×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
77×	`associate-/l*`
71×	`*-commutative`
58×	`swap-sqr`
57×	`prod-exp` `cbrt-unprod`
50×	`pow1`
33×	`pow-prod-down`
9×	`cbrt-undiv` `div-exp`
5×	`associate-/r*`
4×	`associate-r/` `associate-l/` `add-log-exp`
3×	`flip3--` `flip--`
2×	`associate-/r/` `associate-/l/`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 696

Calls

4 calls:

40.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
19.0ms	(* (* (* w w) r) r)
62.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
11.0ms	(* (* w w) r)

series237.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
37.0ms	(* (* (* w w) r) r)
84.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
27.0ms	(* (* w w) r)

simplify144.0ms

Algorithm

egg-herbie

Counts

708 → 708

Iterations

Useful iterations: 1 (50.0ms)

Iter	Nodes	Cost
0	2492	9154
1	5001	8721

prune1.5s

Filtered

708 candidates to 398 candidates (43.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	696	12	708
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	697	12	709

Merged error: 0.4b

Counts

709 → 12

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* r r))
0.6b	(/ (* (* w r) r) (cbrt (- 1.0 v)))
1.9b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v))))
3.7b	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v)))) (/ (* (* w r) r) (cbrt (- 1.0 v))))

rewrite3.5s

Algorithm

rewrite-expression-head

Rules

29093×	`frac-times`
21557×	`associate-/l*`
21431×	`add-sqr-sqrt`
16239×	`associate-/r*`
15722×	`*-un-lft-identity`
10697×	`cbrt-prod`
9666×	`associate-l`
9300×	`add-cube-cbrt`
6855×	`associate-r`
3359×	`unswap-sqr`
3192×	`distribute-lft-out--` `difference-of-squares`
2065×	`clear-num`
2029×	`frac-2neg`
1573×	`associate-*r/`
1486×	`*-commutative`
1466×	`associate-*l/`
1050×	`associate-/l/`
995×	`times-frac`
663×	`add-cbrt-cube`
531×	`flip3--` `flip--`
383×	`cbrt-unprod`
280×	`cbrt-undiv`
197×	`add-exp-log`
93×	`prod-exp`
74×	`un-div-inv`
61×	`div-exp`
12×	`cbrt-div` `swap-sqr` `associate-/r/`
11×	`pow1`
7×	`div-inv`
4×	`pow-prod-down` `add-log-exp`

Counts

4 → 16963

Calls

4 calls:

8.0ms	(/ 2.0 (* r r))
18.0ms	(/ (* (* w r) r) (cbrt (- 1.0 v)))
99.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v))))
862.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v)))) (/ (* (* w r) r) (cbrt (- 1.0 v))))

series751.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ 2.0 (* r r))
163.0ms	(/ (* (* w r) r) (cbrt (- 1.0 v)))
485.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v))))
73.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v)))) (/ (* (* w r) r) (cbrt (- 1.0 v))))

simplify4.7s

Algorithm

egg-herbie

Counts

16975 → 16975

Iterations

Useful iterations: 0 (274.0ms)

Iter	Nodes	Cost
0	15830	426322

prune1.0m

Filtered

16975 candidates to 10734 candidates (36.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	16964	11	16975
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	16972	15	16987

Merged error: 0.0b

Counts

16987 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (- 1.0 v))
0.3b	(/ (* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r) (* (- (cbrt (- 1.0 v))) (/ (cbrt (- 1.0 v)) (* w r))))
0.3b	(/ 2.0 (* r r))
1.2b	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r)

rewrite5.6s

Algorithm

rewrite-expression-head

Rules

56737×	`times-frac`
49705×	`associate-l`
44620×	`add-sqr-sqrt`
30877×	`*-un-lft-identity`
30099×	`associate-r`
23286×	`cbrt-prod`
17676×	`add-cube-cbrt`
7298×	`unswap-sqr`
6600×	`distribute-lft-out--` `difference-of-squares`
2850×	`*-commutative`
1748×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
343×	`associate-/r/`
324×	`cbrt-div`
303×	`div-inv`
301×	`neg-mul-1`
267×	`add-cbrt-cube`
228×	`associate-/l*`
197×	`associate-/r*`
164×	`flip3--` `flip--`
141×	`cbrt-unprod`
133×	`add-exp-log`
118×	`associate-*l/`
100×	`cbrt-undiv`
61×	`prod-exp`
52×	`distribute-neg-frac`
50×	`frac-times`
42×	`div-exp`
39×	`associate-/l/`
29×	`associate-*r/`
12×	`swap-sqr`
9×	`pow1`
8×	`clear-num`
7×	`frac-2neg`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`distribute-lft-neg-out` `un-div-inv` `distribute-rgt-neg-out`
1×	`pow1/3` `distribute-frac-neg`

Counts

4 → 22624

Calls

4 calls:

3.0ms	(cbrt (- 1.0 v))
671.0ms	(/ (* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r) (* (- (cbrt (- 1.0 v))) (/ (cbrt (- 1.0 v)) (* w r))))
8.0ms	(/ 2.0 (* r r))
76.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r)

series420.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(cbrt (- 1.0 v))
77.0ms	(/ (* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r) (* (- (cbrt (- 1.0 v))) (/ (cbrt (- 1.0 v)) (* w r))))
29.0ms	(/ 2.0 (* r r))
214.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (- w)) r)

simplify7.8s

Algorithm

egg-herbie

Counts

22636 → 22636

Iterations

Useful iterations: 0 (374.0ms)

Iter	Nodes	Cost
0	21838	744267

prune1.6m

Filtered

22636 candidates to 14108 candidates (37.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	22625	11	22636
Fresh	11	3	14
Picked	1	0	1
Done	0	0	0
Total	22637	14	22651

Merged error: 0.0b

Counts

22651 → 14

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (- 1.0 v))
0.3b	(cbrt (- 1.0 v))
0.3b	(cbrt (- 1.0 v))
0.3b	(/ 2.0 (* r r))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
45×	`times-frac`
43×	`add-cube-cbrt`
15×	`cbrt-prod` `associate-/r*`
12×	`swap-sqr` `associate-r` `associate-l`
9×	`add-exp-log` `add-cbrt-cube`
6×	`cbrt-div`
4×	`pow1` `*-commutative` `add-log-exp` `unswap-sqr`
3×	`flip3--` `pow1/3` `flip--` `associate-/l*` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv`

Counts

4 → 122

Calls

4 calls:

3.0ms	(cbrt (- 1.0 v))
4.0ms	(cbrt (- 1.0 v))
4.0ms	(cbrt (- 1.0 v))
8.0ms	(/ 2.0 (* r r))

series309.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(cbrt (- 1.0 v))
94.0ms	(cbrt (- 1.0 v))
93.0ms	(cbrt (- 1.0 v))
29.0ms	(/ 2.0 (* r r))

simplify57.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	436	786
1	1621	741
2	5002	713

prune574.0ms

Filtered

134 candidates to 92 candidates (31.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	128	6	134
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	135	13	148

Merged error: 0.0b

Counts

148 → 13

regimes344.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	38
1	59	38
2	69	38
3	73	38
4	76	38
5	78	38
6	80	38
7	86	38
8	88	38
9	88	38

end0.0ms

sample1.3s

Algorithm

intervals

Results

954.0ms

16941×

body

valid