Details

sample306.0ms

Algorithm

intervals

Results

170.0ms	1331×	body	80	nan
68.0ms	419×	body	80	valid

simplify201.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	54	17
1	174	17
2	710	17
3	4940	17
4	5002	17

prune4.0ms

Filtered

1 candidates to 0 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: 26.2b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

5.8b	(/ (* M D) (* 2.0 d))
10.2b	(pow (/ d h) (/ 1.0 2.0))
12.4b	(pow (/ d l) (/ 1.0 2.0))
14.2b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

167×	`add-exp-log`
78×	`prod-exp`
51×	`div-exp`
46×	`times-frac`
39×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
37×	`add-cbrt-cube`
26×	`unpow-prod-down` `pow-unpow`
24×	`pow-exp`
14×	`cbrt-unprod`
13×	`associate-r`
9×	`cbrt-undiv`
8×	`pow1`
6×	`pow-to-exp` `div-inv`
4×	`add-log-exp`
3×	`associate-*l/`
2×	`pow-pow` `sqr-pow`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `associate-/l`

Counts

4 → 159

Calls

4 calls:

6.0ms	(/ (* M D) (* 2.0 d))
6.0ms	(pow (/ d h) (/ 1.0 2.0))
6.0ms	(pow (/ d l) (/ 1.0 2.0))
12.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series864.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (* M D) (* 2.0 d))
63.0ms	(pow (/ d h) (/ 1.0 2.0))
63.0ms	(pow (/ d l) (/ 1.0 2.0))
711.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify101.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	1071	1320
1	4709	1160
2	5001	1160

prune635.0ms

Filtered

171 candidates to 104 candidates (60.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	151	20	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	20	172

Merged error: 10.3b

Counts

172 → 20

localize39.0ms

Local error

Found 4 expressions with local error:

3.8b	(pow (/ d (cbrt l)) (/ 1.0 2.0))
5.8b	(/ (* M D) (* 2.0 d))
10.2b	(pow (/ d h) (/ 1.0 2.0))
14.2b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

167×	`add-exp-log`
78×	`prod-exp`
55×	`times-frac`
51×	`div-exp`
45×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
37×	`add-cbrt-cube`
35×	`unpow-prod-down`
26×	`pow-unpow`
24×	`pow-exp`
14×	`cbrt-unprod`
13×	`associate-r`
9×	`cbrt-undiv` `cbrt-prod`
8×	`pow1`
6×	`pow-to-exp` `div-inv`
4×	`add-log-exp`
3×	`associate-*l/`
2×	`pow-pow` `sqr-pow`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `associate-/l`

Counts

4 → 168

Calls

4 calls:

7.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))
6.0ms	(/ (* M D) (* 2.0 d))
5.0ms	(pow (/ d h) (/ 1.0 2.0))
12.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series979.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))
33.0ms	(/ (* M D) (* 2.0 d))
65.0ms	(pow (/ d h) (/ 1.0 2.0))
704.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify105.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1171	1488
1	4993	1334
2	5002	1334

prune783.0ms

Filtered

180 candidates to 114 candidates (63.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	170	10	180
Fresh	5	14	19
Picked	1	0	1
Done	0	0	0
Total	176	24	200

Merged error: 10.0b

Counts

200 → 24

localize54.0ms

Local error

Found 4 expressions with local error:

3.8b	(pow (/ d (cbrt l)) (/ 1.0 2.0))
4.2b	(pow (/ (cbrt d) h) (/ 1.0 2.0))
5.8b	(/ (* M D) (* 2.0 d))
14.2b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

167×	`add-exp-log`
78×	`prod-exp`
64×	`times-frac`
51×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
44×	`unpow-prod-down`
37×	`add-cbrt-cube`
26×	`pow-unpow`
24×	`pow-exp`
18×	`cbrt-prod`
14×	`cbrt-unprod`
13×	`associate-r`
9×	`cbrt-undiv`
8×	`pow1`
6×	`pow-to-exp` `div-inv`
4×	`add-log-exp`
3×	`associate-*l/`
2×	`pow-pow` `sqr-pow`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `associate-/l`

Counts

4 → 177

Calls

4 calls:

7.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))
7.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.0ms	(/ (* M D) (* 2.0 d))
12.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series1.1s

Counts

4 → 12

Calls

4 calls:

180.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))
157.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
33.0ms	(/ (* M D) (* 2.0 d))
720.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify62.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1271	1653
1	5002	1498

prune1.0s

Filtered

189 candidates to 123 candidates (65.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	178	11	189
Fresh	7	16	23
Picked	1	0	1
Done	0	0	0
Total	186	27	213

Merged error: 9.6b

Counts

213 → 27

localize55.0ms

Local error

Found 4 expressions with local error:

4.2b	(pow (/ (cbrt d) h) (/ 1.0 2.0))
5.8b	(/ (* M D) (* 2.0 d))
6.2b	(/ (* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h) (* 2.0 l))
8.0b	(* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

138×	`add-exp-log`
70×	`prod-exp`
42×	`add-cbrt-cube`
35×	`div-exp`
29×	`times-frac`
25×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
22×	`unpow-prod-down`
17×	`pow-exp`
16×	`cbrt-unprod`
13×	`pow-unpow`
10×	`cbrt-undiv`
9×	`cbrt-prod`
7×	`pow1`
4×	`pow-to-exp` `div-inv` `add-log-exp`
3×	`associate-r`
2×	`frac-2neg` `clear-num` `associate-/r` `associate-/l`
1×	`pow-pow` `associate-l` `pow-prod-down` `*-commutative` `sqr-pow`

Counts

4 → 128

Calls

4 calls:

7.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.0ms	(/ (* M D) (* 2.0 d))
10.0ms	(/ (* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h) (* 2.0 l))
7.0ms	(* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h)

series1.9s

Counts

4 → 12

Calls

4 calls:

151.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
233.0ms	(/ (* M D) (* 2.0 d))
732.0ms	(/ (* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h) (* 2.0 l))
744.0ms	(* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h)

simplify106.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	958	1233
1	4546	1041
2	5002	1039

prune613.0ms

Filtered

140 candidates to 84 candidates (60.0%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	132	8	140
Fresh	4	22	26
Picked	0	1	1
Done	0	0	0
Total	136	31	167

Merged error: 8.6b

Counts

167 → 31

regimes1.3s

Accuracy

0% (3.4b remaining)

Error of 14.8b against oracle of 11.5b and baseline of 14.8b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	46
1	53	46

end0.0ms

sample8.7s

Algorithm

intervals

Results

4.9s	39211×	body	80	nan
2.1s	12883×	body	80	valid

Details

sample306.0ms

simplify201.0ms

prune4.0ms

localize29.0ms

rewrite37.0ms

series864.0ms

simplify101.0ms

prune635.0ms

localize39.0ms

rewrite42.0ms

series979.0ms

simplify105.0ms

prune783.0ms

localize54.0ms

rewrite40.0ms

series1.1s

simplify62.0ms

prune1.0s

localize55.0ms

rewrite36.0ms

series1.9s

simplify106.0ms

prune613.0ms

regimes1.3s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample8.7s

Profiling