Details

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

sample37.0ms

Algorithm

intervals

Results

21.0ms	256×	body	80	valid
6.0ms	256×	pre	80	true

simplify84.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5396	79

prune4.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: 55.3b

Counts

2 → 1

localize15.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))))
38.2b	(/.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))
47.1b	(/.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))))

rewrite135.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` `insert-posit16`
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 → 232

Calls

4 calls:

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

series1.9s

Counts

4 → 12

Calls

4 calls:

244.0ms	(.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
341.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
788.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))
518.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))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	911	1686
1	911	1686
0	223	1323
1	223	1323
0	911	1686
1	911	1686
0	223	1323
1	223	1323
0	1	3
1	1	3
0	1103	2001
1	1103	2001
0	255	1455
1	255	1455
0	1103	2001
1	1103	2001
0	255	1455
1	255	1455
0	5460	21
0	490	843
1	490	843
0	11	9
1	11	9
0	490	843
1	490	843
0	11	9
1	11	9
0	1	3
1	1	3
0	342	495
1	342	495
0	43	33
1	43	33
0	342	495
1	342	495
0	43	33
1	43	33
0	26	3
1	26	3

simplify165.0ms

Counts

244 → 244

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5146	18274

prune444.0ms

Filtered

154 candidates to 244 candidates (-58.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	237	7	244
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	238	7	245

Merged error: 35.6b

Counts

245 → 7

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

rewrite221.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` `insert-posit16`
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 → 399

Calls

4 calls:

27.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))
129.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)))
14.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series2.3s

Counts

4 → 12

Calls

4 calls:

645.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))
901.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)))
320.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
407.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	721	936
1	721	936
0	29	24
1	29	24
0	721	936
1	721	936
0	29	24
1	29	24
0	49	23
1	49	23
0	539	768
1	539	768
0	22	51
1	22	51
0	539	768
1	539	768
0	22	51
1	22	51
0	36	3
1	36	3
0	1342	2106
1	1342	2106
0	197	1407
1	197	1407
0	1342	2106
1	1342	2106
0	197	1407
1	197	1407
0	5460	21
0	922	1519
1	922	1519
0	79	493
1	79	493
0	922	1519
1	922	1519
0	79	493
1	79	493
0	5108	33

simplify227.0ms

Counts

411 → 411

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	1389	30510
1	1389	30510

prune964.0ms

Filtered

288 candidates to 411 candidates (-42.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	405	6	411
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	408	10	418

Merged error: 35.6b

Counts

418 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

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 (sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (sqrt.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)))
35.6b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
35.8b	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))
35.8b	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

89×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
59×	`times-frac_binary64`
49×	`*-un-lft-identity_binary64`
42×	`associate-l_binary64`
39×	`add-sqr-sqrt_binary64`
38×	`cbrt-undiv_binary64` `div-exp_binary64`
29×	`cbrt-unprod_binary64` `prod-exp_binary64`
28×	`add-cube-cbrt_binary64`
14×	`associate-/r/_binary64`
13×	`associate-r_binary64`
9×	`flip3-+_binary64` `distribute-lft-out_binary64` `flip-+_binary64`
8×	`pow1_binary64`
7×	`div-inv_binary64`
6×	`sqrt-prod_binary64`
4×	`add-log-exp_binary64` `insert-posit16` `sqrt-div_binary64`
3×	`associate-/r_binary64` `associate-r/_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 160

Calls

4 calls:

77.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 (sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (sqrt.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)))
5.0ms	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))
5.0ms	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))

series1.6s

Counts

4 → 12

Calls

4 calls:

726.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 (sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (sqrt.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)))
321.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
261.0ms	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))
265.0ms	(sqrt.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))))

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	459	555
1	459	555
0	15	15
1	15	15
0	459	555
1	459	555
0	15	15
1	15	15
0	115	33
1	115	33
0	459	555
1	459	555
0	15	15
1	15	15
0	459	555
1	459	555
0	15	15
1	15	15
0	115	33
1	115	33
0	539	768
1	539	768
0	22	51
1	22	51
0	539	768
1	539	768
0	22	51
1	22	51
0	36	3
1	36	3
0	1454	2479
1	1454	2479
0	284	1674
1	284	1674
0	1454	2479
1	1454	2479
0	284	1674
1	284	1674
0	41	66
1	41	66

simplify113.0ms

Counts

172 → 172

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	933	12791
1	933	12791

prune413.0ms

Filtered

134 candidates to 172 candidates (-28.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	174	8	182

Merged error: 35.6b

Counts

182 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (+.f64 0 (+.f64 (+.f64 alpha beta) (.f64 i 2))))
0.4b	(/.f64 i (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2))))
0.5b	(/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2))))
35.9b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

427×	`*-un-lft-identity_binary64`
351×	`times-frac_binary64`
168×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
148×	`distribute-lft-out_binary64`
105×	`sqrt-prod_binary64`
47×	`associate-/l*_binary64`
19×	`associate-/r*_binary64`
18×	`associate-/r/_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`sqrt-div_binary64`
11×	`flip3-+_binary64` `flip-+_binary64`
9×	`div-inv_binary64`
6×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64` `insert-posit16`

Counts

4 → 334

Calls

4 calls:

31.0ms	(/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (+.f64 0 (+.f64 (+.f64 alpha beta) (.f64 i 2))))
10.0ms	(/.f64 i (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2))))
17.0ms	(/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.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)))

series1.4s

Counts

4 → 12

Calls

4 calls:

347.0ms	(/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (+.f64 0 (+.f64 (+.f64 alpha beta) (.f64 i 2))))
377.0ms	(/.f64 i (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2))))
284.0ms	(/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2))))
407.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	721	936
1	721	936
0	29	24
1	29	24
0	721	936
1	721	936
0	29	24
1	29	24
0	49	23
1	49	23
0	499	798
1	499	798
0	45	109
1	45	109
0	499	798
1	499	798
0	45	109
1	45	109
0	258	120
1	258	120
0	454	678
1	454	678
0	28	49
1	28	49
0	454	678
1	454	678
0	28	49
1	28	49
0	4758	3
1	4758	3
0	676	1399
1	676	1399
0	104	529
1	104	529
0	676	1399
1	676	1399
0	104	529
1	104	529
0	82	24
1	82	24

simplify144.0ms

Counts

346 → 346

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	872	16137
1	872	16137

prune621.0ms

Filtered

189 candidates to 346 candidates (-83.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	344	2	346
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	346	8	354

Merged error: 35.6b

Counts

354 → 8

regimes111.0ms

Accuracy

35.9% (2.3b remaining)

Error of 35.8b against oracle of 33.4b and baseline of 37.1b

bsearch26.0ms

Steps

Iters	Range		Point
6	2.015313114384991e+202	9.629248102565157e+202	2.0489936265707887e+202

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	49	116
1	49	116

end0.0ms

sample1.0s

Algorithm

intervals

Results

669.0ms	8000×	body	80	valid
174.0ms	8000×	pre	80	true

Details

analyze48.0ms

sample37.0ms

simplify84.0ms

prune4.0ms

localize15.0ms

rewrite135.0ms

series1.9s

simplify165.0ms

prune444.0ms

localize18.0ms

rewrite221.0ms

series2.3s

simplify227.0ms

prune964.0ms

localize23.0ms

rewrite114.0ms

series1.6s

simplify113.0ms

prune413.0ms

localize25.0ms

rewrite101.0ms

series1.4s

simplify144.0ms

prune621.0ms

regimes111.0ms

bsearch26.0ms

simplify7.0ms

end0.0ms

sample1.0s

Profiling