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

sample47.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
12.0ms	182×	body	80	invalid

simplify464.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (30.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

localize20.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.7b	(/ 2.0 (* r r))
5.9b	(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
9.1b	(* r (* w w))

rewrite66.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))
31.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:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5154	2415

prune182.0ms

Filtered

68 candidates to 147 candidates (-116.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	137	10	147
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	138	11	149

Merged error: 1.8b

Counts

149 → 11

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	(* (* r w) w)
0.7b	(/ 2.0 (* r r))
5.9b	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

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

16.0ms	(* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
5.0ms	(* (* r w) w)
5.0ms	(/ 2.0 (* r r))
20.0ms	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

series58.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))
26.0ms	(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

simplify42.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5773	2384

prune165.0ms

Filtered

62 candidates to 146 candidates (-135.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	142	4	146
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	143	14	157

Merged error: 1.1b

Counts

157 → 14

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

134×	`add-exp-log`
100×	`prod-exp` `cbrt-unprod`
97×	`pow1`
96×	`add-cbrt-cube`
75×	`pow-prod-down`
17×	`associate-*r/`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-undiv` `cbrt-prod` `div-exp` `associate-*l/`
4×	`add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`frac-times` `flip3--` `pow1/3` `flip--`
1×	`frac-2neg` `associate-r` `associate-l` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 120

Calls

4 calls:

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

series77.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify63.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4977	1880
1	4977	1880

prune148.0ms

Filtered

54 candidates to 132 candidates (-144.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	133	13	146

Merged error: 0.1b

Counts

146 → 13

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

254×	`add-exp-log`
200×	`prod-exp` `cbrt-unprod`
184×	`add-cbrt-cube`
181×	`pow1`
147×	`pow-prod-down`
17×	`associate-*r/`
10×	`cbrt-undiv` `div-exp`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod` `associate-*l/`
4×	`add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`frac-times` `flip3--` `pow1/3` `flip--`
1×	`frac-2neg` `associate-r` `associate-l` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 164

Calls

4 calls:

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

series74.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify81.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5012	4047

prune107.0ms

Filtered

54 candidates to 176 candidates (-225.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	176	13	189

Merged error: 0.1b

Counts

189 → 13

regimes577.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	66	44
1	66	44

end0.0ms

sample1.2s

Algorithm

intervals

Results

547.0ms	8000×	body	80	valid
327.0ms	4783×	body	80	invalid

Details

analyze1.1s

sample47.0ms

simplify464.0ms

prune13.0ms

localize20.0ms

rewrite66.0ms

series66.0ms

simplify39.0ms

prune182.0ms

localize21.0ms

rewrite52.0ms

series58.0ms

simplify42.0ms

prune165.0ms

localize27.0ms

rewrite43.0ms

series77.0ms

simplify63.0ms

prune148.0ms

localize28.0ms

rewrite58.0ms

series74.0ms

simplify81.0ms

prune107.0ms

regimes577.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling