Details

analyze251.0ms

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
12.5%	87.4%	0.1%	6
28.1%	71.8%	0.1%	7
42.1%	57.7%	0.1%	8
43.7%	56.2%	0.1%	9
64.4%	35.5%	0.1%	10
71.6%	28.3%	0.1%	11
72.2%	27.7%	0.1%	12
81.6%	18.2%	0.2%	13
84.9%	14.9%	0.2%	14

sample17.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
0.0ms	12×	body	80	invalid

simplify119.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4901	11
1	4901	11

prune10.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: 0.3b

Counts

2 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 v (+.f64 t1 u))
1.7b	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

223×	`times-frac_binary64`
181×	`add-sqr-sqrt_binary64`
174×	`*-un-lft-identity_binary64`
86×	`add-cube-cbrt_binary64`
38×	`difference-of-squares_binary64`
25×	`distribute-lft-out_binary64`
21×	`associate-/l*_binary64`
19×	`distribute-lft-out--_binary64`
18×	`associate-/r/_binary64`
10×	`associate-/r*_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `div-inv_binary64`
8×	`flip3-+_binary64` `flip-+_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
2×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`associate-/l/_binary64` `flip3--_binary64` `flip--_binary64`

Counts

2 → 182

Calls

2 calls:

5.0ms	(/.f64 v (+.f64 t1 u))
18.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

series25.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/.f64 v (+.f64 t1 u))
17.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

simplify55.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5148	3588

prune167.0ms

Filtered

125 candidates to 188 candidates (-50.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	182	6	188
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	182	8	190

Merged error: 0b

Counts

190 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 t1 u))
0.6b	(cbrt.f64 (+.f64 t1 u))
0.6b	(cbrt.f64 (+.f64 t1 u))
1.7b	(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

337×	`times-frac_binary64`
273×	`add-sqr-sqrt_binary64`
237×	`*-un-lft-identity_binary64`
133×	`add-cube-cbrt_binary64`
96×	`cbrt-prod_binary64`
56×	`difference-of-squares_binary64`
28×	`distribute-lft-out--_binary64`
27×	`associate-/l*_binary64`
24×	`distribute-lft-out_binary64`
20×	`cbrt-div_binary64`
16×	`associate-/r/_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64` `div-inv_binary64`
6×	`associate-/r*_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
1×	`associate-/l/_binary64` `flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`

Counts

4 → 254

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 t1 u))
3.0ms	(cbrt.f64 (+.f64 t1 u))
4.0ms	(cbrt.f64 (+.f64 t1 u))
18.0ms	(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt.f64 (+.f64 t1 u))
30.0ms	(cbrt.f64 (+.f64 t1 u))
29.0ms	(cbrt.f64 (+.f64 t1 u))
43.0ms	(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

simplify72.0ms

Algorithm

egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4988	5802
1	4988	5802

prune254.0ms

Filtered

200 candidates to 266 candidates (-33.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	266	0	266
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	266	8	274

Merged error: 0b

Counts

274 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.8b	(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
8.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

304×	`times-frac_binary64`
235×	`add-sqr-sqrt_binary64`
229×	`*-un-lft-identity_binary64`
132×	`cbrt-prod_binary64`
125×	`add-cube-cbrt_binary64`
44×	`difference-of-squares_binary64`
30×	`distribute-lft-out_binary64`
22×	`associate-/r/_binary64` `distribute-lft-out--_binary64`
18×	`associate-/l*_binary64`
11×	`div-inv_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`associate-/r*_binary64` `add-exp-log_binary64`
8×	`cbrt-div_binary64`
7×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `flip--_binary64`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
1×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 254

Calls

4 calls:

17.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

series168.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
40.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
44.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
40.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

simplify81.0ms

Algorithm

egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4972	5775
1	4972	5775

prune358.0ms

Filtered

198 candidates to 266 candidates (-34.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	266	0	266
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	266	8	274

Merged error: 0b

Counts

274 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 v (+.f64 t1 u))
0.7b	(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
1.8b	(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

1354×	`times-frac_binary64`
924×	`add-sqr-sqrt_binary64`
845×	`*-un-lft-identity_binary64`
469×	`add-cube-cbrt_binary64`
182×	`difference-of-squares_binary64`
135×	`associate-/r*_binary64`
97×	`distribute-lft-out_binary64`
91×	`distribute-lft-out--_binary64`
70×	`associate-/r/_binary64`
38×	`div-inv_binary64`
32×	`flip3-+_binary64` `flip-+_binary64`
31×	`add-exp-log_binary64`
19×	`add-cbrt-cube_binary64` `div-exp_binary64`
12×	`associate-/l*_binary64`
10×	`cbrt-undiv_binary64`
4×	`pow1_binary64`
3×	`add-log-exp_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
2×	`associate-/l/_binary64`
1×	`flip3--_binary64` `div-sub_binary64` `inv-pow_binary64` `flip--_binary64` `pow-flip_binary64`

Counts

3 → 663

Calls

3 calls:

5.0ms	(/.f64 v (+.f64 t1 u))
32.0ms	(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
16.0ms	(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

series40.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/.f64 v (+.f64 t1 u))
23.0ms	(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
10.0ms	(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

simplify112.0ms

Algorithm

egg-herbie

Counts

672 → 672

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5386	15236

prune454.0ms

Filtered

364 candidates to 672 candidates (-84.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	671	1	672
Fresh	2	2	4
Picked	0	1	1
Done	0	3	3
Total	673	7	680

Merged error: 0b

Counts

680 → 7

regimes221.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	24
1	32	24

end0.0ms

sample426.0ms

Algorithm

intervals

Results

250.0ms	8000×	body	80	valid
8.0ms	274×	body	80	invalid

Details

analyze251.0ms

sample17.0ms

simplify119.0ms

prune10.0ms

localize8.0ms

rewrite34.0ms

series25.0ms

simplify55.0ms

prune167.0ms

localize12.0ms

rewrite44.0ms

series131.0ms

simplify72.0ms

prune254.0ms

localize12.0ms

rewrite53.0ms

series168.0ms

simplify81.0ms

prune358.0ms

localize8.0ms

rewrite114.0ms

series40.0ms

simplify112.0ms

prune454.0ms

regimes221.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample426.0ms

Profiling