Details

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

sample64.0ms

Algorithm

intervals

Results

39.0ms	256×	body	80	valid
9.0ms	256×	pre	80	true

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	4979	53
1	4979	53

prune5.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: 54.5b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 i (+.f64 (+.f64 alpha beta) i))
0.1b	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
36.1b	(/.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))
46.6b	(/.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))))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 217

Calls

4 calls:

9.0ms	(*.f64 i (+.f64 (+.f64 alpha beta) i))
14.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
44.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))
28.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))))

series485.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(*.f64 i (+.f64 (+.f64 alpha beta) i))
26.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
383.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))
70.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))))

simplify69.0ms

Algorithm

egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5015	11731

prune257.0ms

Filtered

146 candidates to 229 candidates (-56.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	224	5	229
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	225	5	230

Merged error: 33.1b

Counts

230 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.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))
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.3b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
35.0b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

414×	`times-frac_binary64`
314×	`add-sqr-sqrt_binary64`
280×	`*-un-lft-identity_binary64`
169×	`add-cube-cbrt_binary64`
111×	`associate-r_binary64`
70×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
62×	`difference-of-squares_binary64`
48×	`associate-/r/_binary64`
42×	`associate-l_binary64`
33×	`cbrt-undiv_binary64` `div-exp_binary64`
31×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
24×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
19×	`associate-/l*_binary64`
16×	`cbrt-unprod_binary64` `prod-exp_binary64`
13×	`associate-/r*_binary64`
9×	`distribute-lft-out_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`
2×	`flip3--_binary64` `flip--_binary64`
1×	`pow-prod-down_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 395

Calls

4 calls:

22.0ms	(/.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))
112.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)))
11.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series450.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(/.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))
352.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)))

simplify125.0ms

Algorithm

egg-herbie

Counts

407 → 407

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4988	19909
1	4988	19909

prune601.0ms

Filtered

261 candidates to 407 candidates (-55.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	401	6	407
Fresh	3	1	4
Picked	1	0	1
Done	0	0	0
Total	405	7	412

Merged error: 33.0b

Counts

412 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.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.3b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
35.0b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

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

43.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))
48.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)))
12.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series308.0ms

Counts

4 → 12

Calls

4 calls:

113.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))
150.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)))
16.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)))

simplify75.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5002	8019

prune227.0ms

Filtered

136 candidates to 205 candidates (-50.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	205	7	212

Merged error: 33.0b

Counts

212 → 7

localize18.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.3b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
35.0b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

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

54.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)))
16.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)))

series310.0ms

Counts

4 → 12

Calls

4 calls:

146.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)))
118.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)))
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)))

simplify116.0ms

Algorithm

egg-herbie

Counts

257 → 257

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5001	10277

prune247.0ms

Filtered

147 candidates to 257 candidates (-74.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	257	0	257
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	257	7	264

Merged error: 33.0b

Counts

264 → 7

regimes155.0ms

Accuracy

34.9% (2.5b remaining)

Error of 36.3b against oracle of 33.8b and baseline of 37.7b

bsearch20.0ms

Steps

Iters	Range		Point
7	2.7347676925030367e+188	1.5805281472422533e+190	8.77390743401945e+188

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	60
1	41	60

end0.0ms

sample1.0s

Algorithm

intervals

Results

643.0ms	8000×	body	80	valid
179.0ms	8000×	pre	80	true

Details

analyze41.0ms

sample64.0ms

simplify20.0ms

prune5.0ms

localize14.0ms

rewrite107.0ms

series485.0ms

simplify69.0ms

prune257.0ms

localize19.0ms

rewrite183.0ms

series450.0ms

simplify125.0ms

prune601.0ms

localize18.0ms

rewrite130.0ms

series308.0ms

simplify75.0ms

prune227.0ms

localize18.0ms

rewrite146.0ms

series310.0ms

simplify116.0ms

prune247.0ms

regimes155.0ms

bsearch20.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling