Details

analyze50.0ms

Algorithm

Search

True	Other	False	Iter
0%	14%	86%	0
0%	14%	86%	1
0%	14%	86%	2
0%	14%	86%	3
0%	14%	86%	4
0%	14%	86%	5
0%	14%	86%	6
8.1%	5.9%	86%	7
10.3%	3.7%	86%	8
12.6%	1.5%	86%	9
13.9%	0.1%	86%	10
14%	0%	86%	11
14%	0%	86%	12
14%	0%	86%	13
14%	0%	86%	14

sample36.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify21.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	4979	53
1	4979	53

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 53.3b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
0.1b	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
34.8b	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
45.7b	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac_binary64`
66×	`flip3-+_binary64` `associate-/r/_binary64` `flip-+_binary64`
61×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
46×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64` `frac-times_binary64`
34×	`associate-*r/_binary64`
30×	`add-cube-cbrt_binary64`
28×	`difference-of-squares_binary64`
22×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-*l/_binary64`
19×	`cbrt-undiv_binary64` `div-exp_binary64`
16×	`pow1_binary64`
14×	`difference-of-sqr-1_binary64` `associate-/l*_binary64`
9×	`associate-/l/_binary64` `div-inv_binary64`
7×	`associate-/r*_binary64`
6×	`associate-r_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-l_binary64`
3×	`swap-sqr_binary64`
2×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`flip3--_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `pow-sqr_binary64` `flip--_binary64` `pow2_binary64`

Counts

4 → 228

Calls

4 calls:

14.0ms	(.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
16.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
42.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
29.0ms	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

series475.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
26.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
371.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
65.0ms	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

simplify91.0ms

Algorithm

egg-herbie

Counts

240 → 240

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4989	12174
1	4989	12174

prune389.0ms

Filtered

152 candidates to 240 candidates (-57.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	230	10	240
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	231	10	241

Merged error: 32.8b

Counts

241 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
0.1b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
34.1b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
34.4b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite177.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac_binary64`
200×	`*-un-lft-identity_binary64`
198×	`add-sqr-sqrt_binary64`
117×	`add-cube-cbrt_binary64`
111×	`associate-r_binary64`
74×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
42×	`associate-/r/_binary64` `associate-l_binary64`
35×	`cbrt-undiv_binary64` `div-exp_binary64`
30×	`difference-of-squares_binary64`
22×	`flip3-+_binary64` `flip-+_binary64`
21×	`div-inv_binary64`
19×	`distribute-lft-out_binary64`
17×	`cbrt-unprod_binary64` `prod-exp_binary64`
15×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
13×	`associate-/l*_binary64`
10×	`associate-/r*_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64`
3×	`associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 319

Calls

4 calls:

22.0ms	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
110.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
13.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
12.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series426.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
349.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
16.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
33.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify106.0ms

Algorithm

egg-herbie

Counts

331 → 331

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4978	14981
1	4978	14981

prune646.0ms

Filtered

224 candidates to 331 candidates (-47.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	323	8	331
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	331	10	341

Merged error: 32.8b

Counts

341 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
0.1b	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
34.1b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
34.4b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

85×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
80×	`times-frac_binary64`
65×	`*-un-lft-identity_binary64`
61×	`add-sqr-sqrt_binary64`
42×	`associate-r_binary64`
41×	`add-cube-cbrt_binary64`
40×	`cbrt-undiv_binary64` `div-exp_binary64`
21×	`cbrt-unprod_binary64` `prod-exp_binary64`
18×	`associate-/r/_binary64`
15×	`associate-l_binary64`
13×	`associate-/r*_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`distribute-lft-out_binary64` `div-inv_binary64`
7×	`associate-/l/_binary64`
6×	`pow1_binary64`
5×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 193

Calls

4 calls:

49.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
45.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
14.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
14.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series310.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
153.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
29.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify79.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5002	8019

prune299.0ms

Filtered

136 candidates to 205 candidates (-50.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	205	10	215

Merged error: 32.8b

Counts

215 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
0.2b	(.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
34.1b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
34.4b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

220×	`add-exp-log_binary64`
136×	`add-cbrt-cube_binary64`
94×	`times-frac_binary64`
91×	`div-exp_binary64`
87×	`prod-exp_binary64`
77×	`*-un-lft-identity_binary64`
74×	`add-sqr-sqrt_binary64`
69×	`associate-r_binary64`
54×	`cbrt-undiv_binary64`
50×	`add-cube-cbrt_binary64`
49×	`cbrt-unprod_binary64`
18×	`associate-/r/_binary64`
16×	`associate-l_binary64`
11×	`pow1_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`distribute-lft-out_binary64` `1-exp_binary64` `rec-exp_binary64` `div-inv_binary64`
6×	`associate-/r_binary64` `associate-r/_binary64` `difference-of-squares_binary64` `frac-times_binary64` `associate-*l/_binary64`
4×	`pow-prod-down_binary64` `associate-/l/_binary64` `add-log-exp_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
3×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`flip3--_binary64` `un-div-inv_binary64` `flip--_binary64`

Counts

4 → 245

Calls

4 calls:

50.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
49.0ms	(.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
14.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
11.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series310.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
111.0ms	(.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
16.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
35.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify114.0ms

Algorithm

egg-herbie

Counts

257 → 257

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5001	10277

prune298.0ms

Filtered

147 candidates to 257 candidates (-74.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	257	0	257
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	257	10	267

Merged error: 32.8b

Counts

267 → 10

regimes255.0ms

Accuracy

5.3% (3.5b remaining)

Error of 37.4b against oracle of 34.0b and baseline of 37.6b

bsearch51.0ms

Steps

Iters	Range		Point
8	6.219071712779916e+150	4.989233365431311e+154	1.3577553450061928e+154
5	1.5986412148518191e+94	5.402005921547755e+94	2.2832363808567277e+94
6	1.227434571826751e+66	6.716411546753844e+66	6.11547452069048e+66

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	146
1	56	146

end0.0ms

sample984.0ms

Algorithm

intervals

Results

627.0ms	8000×	body	80	valid
178.0ms	8000×	pre	80	true

Details

analyze50.0ms

sample36.0ms

simplify21.0ms

prune9.0ms

localize16.0ms

rewrite113.0ms

series475.0ms

simplify91.0ms

prune389.0ms

localize18.0ms

rewrite177.0ms

series426.0ms

simplify106.0ms

prune646.0ms

localize18.0ms

rewrite132.0ms

series310.0ms

simplify79.0ms

prune299.0ms

localize21.0ms

rewrite140.0ms

series310.0ms

simplify114.0ms

prune298.0ms

regimes255.0ms

bsearch51.0ms

simplify3.0ms

end0.0ms

sample984.0ms

Profiling