Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

sample45.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
11.0ms	152×	body	80	invalid

simplify462.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5645	29

prune13.0ms

Filtered

1 candidates to 1 candidates (0.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: 8.3b

Counts

2 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
0.2b	(/ 2.0 (* r r))
7.9b	(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
10.6b	(* r (* w w))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-exp-log` `add-cbrt-cube`
62×	`prod-exp` `cbrt-unprod`
59×	`pow1`
40×	`pow-prod-down`
19×	`associate-*r/`
16×	`distribute-rgt-in` `distribute-lft-in`
12×	`sub-neg`
9×	`add-sqr-sqrt`
8×	`cbrt-undiv` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
7×	`associate-l`
4×	`frac-times` `flip3--` `flip--` `add-log-exp`
3×	`times-frac` `associate-r` `-commutative` `associate-/l`
2×	`associate-*l/`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv` `unswap-sqr`

Counts

4 → 135

Calls

4 calls:

16.0ms	(* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
4.0ms	(/ 2.0 (* r r))
32.0ms	(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
7.0ms	(* r (* w w))

series66.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
3.0ms	(/ 2.0 (* r r))
22.0ms	(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
14.0ms	(* r (* w w))

simplify38.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5154	2415

prune190.0ms

Filtered

68 candidates to 147 candidates (-116.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	135	12	147
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	136	13	149

Merged error: 2.1b

Counts

149 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
0.2b	(* (* r w) w)
0.2b	(/ 2.0 (* r r))
7.9b	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-exp-log` `add-cbrt-cube`
62×	`prod-exp` `cbrt-unprod`
59×	`pow1`
40×	`pow-prod-down`
19×	`associate-*r/`
16×	`distribute-rgt-in` `distribute-lft-in`
12×	`sub-neg`
8×	`cbrt-undiv` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
5×	`associate-r` `associate-l`
4×	`frac-times` `flip3--` `flip--` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l`
2×	`associate-*l/`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 134

Calls

4 calls:

15.0ms	(* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
5.0ms	(* (* r w) w)
4.0ms	(/ 2.0 (* r r))
19.0ms	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
6.0ms	(* (* r w) w)
3.0ms	(/ 2.0 (* r r))
23.0ms	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

simplify41.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5773	2384

prune164.0ms

Filtered

64 candidates to 146 candidates (-128.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	141	5	146
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	147	12	159

Merged error: 1.3b

Counts

159 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt r)
0.6b	(cbrt r)
0.6b	(cbrt r)
3.5b	(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

129×	`add-exp-log`
99×	`prod-exp` `cbrt-unprod`
97×	`pow1`
91×	`add-cbrt-cube`
75×	`pow-prod-down`
17×	`associate-*r/`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-*l/`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow1/3`
2×	`frac-times` `flip3--` `flip--`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 110

Calls

4 calls:

1.0ms	(cbrt r)
1.0ms	(cbrt r)
1.0ms	(cbrt r)
30.0ms	(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r))))

series96.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt r)
22.0ms	(cbrt r)
23.0ms	(cbrt r)
31.0ms	(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r))))

simplify36.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5218	1797

prune139.0ms

Filtered

51 candidates to 122 candidates (-139.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	122	12	134

Merged error: 0.1b

Counts

134 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt r)
0.6b	(cbrt r)
0.6b	(cbrt r)
0.9b	(* (* r (* w (* (cbrt r) (cbrt r)))) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

114×	`add-exp-log`
88×	`add-cbrt-cube`
86×	`prod-exp` `cbrt-unprod`
84×	`pow1`
64×	`pow-prod-down`
12×	`associate-*r/`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-*l/`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow1/3`
2×	`frac-times` `flip3--` `flip--`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt r)
1.0ms	(cbrt r)
1.0ms	(cbrt r)
26.0ms	(* (* r (* w (* (cbrt r) (cbrt r)))) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r)))

series90.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt r)
24.0ms	(cbrt r)
21.0ms	(cbrt r)
24.0ms	(* (* r (* w (* (cbrt r) (cbrt r)))) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r)))

simplify36.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5925	1705

prune95.0ms

Filtered

51 candidates to 116 candidates (-127.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	112	4	116
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	114	14	128

Merged error: 0.1b

Counts

128 → 14

regimes621.0ms

Accuracy

80.8% (0.2b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 1.3b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	71
1	81	71

end0.0ms

sample1.2s

Algorithm

intervals

Results

556.0ms	8000×	body	80	valid
350.0ms	5015×	body	80	invalid

Details

analyze1.1s

sample45.0ms

simplify462.0ms

prune13.0ms

localize21.0ms

rewrite68.0ms

series66.0ms

simplify38.0ms

prune190.0ms

localize18.0ms

rewrite50.0ms

series55.0ms

simplify41.0ms

prune164.0ms

localize25.0ms

rewrite40.0ms

series96.0ms

simplify36.0ms

prune139.0ms

localize25.0ms

rewrite36.0ms

series90.0ms

simplify36.0ms

prune95.0ms

regimes621.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling