Details

analyze252.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

simplify121.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	4901	11
1	4901	11

prune8.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

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

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

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

series25.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify61.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5148	3588

prune107.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

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

rewrite47.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))
3.0ms	(cbrt.f64 (+.f64 t1 u))
19.0ms	(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

series138.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt.f64 (+.f64 t1 u))
29.0ms	(cbrt.f64 (+.f64 t1 u))
31.0ms	(cbrt.f64 (+.f64 t1 u))
46.0ms	(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

simplify74.0ms

Algorithm

egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4988	5802
1	4988	5802

prune166.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

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

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

20.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
7.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

series173.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
42.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
46.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
42.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

simplify82.0ms

Algorithm

egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4972	5775
1	4972	5775

prune267.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

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

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

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

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

simplify115.0ms

Algorithm

egg-herbie

Counts

672 → 672

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5386	15236

prune326.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

regimes160.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

sample423.0ms

Algorithm

intervals

Results

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

Details

analyze252.0ms

sample17.0ms

simplify121.0ms

prune8.0ms

localize7.0ms

rewrite38.0ms

series25.0ms

simplify61.0ms

prune107.0ms

localize15.0ms

rewrite47.0ms

series138.0ms

simplify74.0ms

prune166.0ms

localize13.0ms

rewrite56.0ms

series173.0ms

simplify82.0ms

prune267.0ms

localize9.0ms

rewrite120.0ms

series41.0ms

simplify115.0ms

prune326.0ms

regimes160.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample423.0ms

Profiling