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

21.0ms	256×	body	80	valid
10.0ms	149×	body	80	invalid

simplify454.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5645	29

prune25.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.9b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
0.7b	(/ 2.0 (* r r))
3.4b	(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
11.1b	(* r (* w w))

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

series68.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5154	2415

prune197.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: 1.1b

Counts

149 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

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

5.0ms	(* (* r w) w)
16.0ms	(* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
4.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:

7.0ms	(* (* r w) w)
26.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))))

simplify46.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5773	2384

prune170.0ms

Filtered

62 candidates to 146 candidates (-135.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	141	5	146
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	146	13	159

Merged error: 0.1b

Counts

159 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

series81.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify65.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4977	1880
1	4977	1880

prune155.0ms

Filtered

54 candidates to 132 candidates (-144.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	130	15	145

Merged error: 0.1b

Counts

145 → 15

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

213×	`add-exp-log`
166×	`prod-exp` `cbrt-unprod`
157×	`pow1`
145×	`add-cbrt-cube`
126×	`pow-prod-down`
17×	`associate-*r/`
10×	`cbrt-prod`
8×	`cbrt-undiv` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
6×	`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 → 152

Calls

4 calls:

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

series98.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify78.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4965	3799
1	4965	3799

prune118.0ms

Filtered

59 candidates to 164 candidates (-178.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	159	5	164
Fresh	4	9	13
Picked	1	0	1
Done	1	0	1
Total	165	14	179

Merged error: 0.0b

Counts

179 → 14

regimes620.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	44
1	68	44

end0.0ms

sample1.2s

Algorithm

intervals

Results

541.0ms	8000×	body	80	valid
326.0ms	4828×	body	80	invalid

Details

analyze1.1s

sample47.0ms

simplify454.0ms

prune25.0ms

localize20.0ms

rewrite55.0ms

series68.0ms

simplify38.0ms

prune197.0ms

localize21.0ms

rewrite52.0ms

series58.0ms

simplify46.0ms

prune170.0ms

localize23.0ms

rewrite48.0ms

series81.0ms

simplify65.0ms

prune155.0ms

localize29.0ms

rewrite55.0ms

series98.0ms

simplify78.0ms

prune118.0ms

regimes620.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling