Details

analyze3.6s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

sample294.0ms

Algorithm

intervals

Results

189.0ms	104×	body	1280	valid
58.0ms	57×	body	640	valid
15.0ms	23×	body	320	valid
12.0ms	63×	body	80	valid
4.0ms	9×	body	160	valid

simplify80.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	464	55
1	464	55

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: 0.2b

Counts

2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`add-log-exp_binary64` `associate-r_binary64` `associate-l_binary64`
4×	`insert-posit16`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `sin-mult_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `asin-acos_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 61

Calls

4 calls:

6.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
2.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
7.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
5.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

series841.0ms

Counts

4 → 12

Calls

4 calls:

160.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
117.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
150.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
414.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	575	1571
1	575	1571
0	575	1571
1	575	1571
0	216	16
1	216	16
0	370	1489
1	370	1489
0	370	1489
1	370	1489
0	1	3
1	1	3
0	219	1931
1	219	1931
0	219	1931
1	219	1931
0	22	11
1	22	11
0	397	299
1	397	299
0	397	299
1	397	299
0	1	3
1	1	3

simplify143.0ms

Counts

73 → 73

Iterations

Useful iterations: 0 (113.0ms)

Iter	Nodes	Cost
0	5118	1937

prune132.0ms

Filtered

60 candidates to 73 candidates (-21.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	62	11	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	11	74

Merged error: 0.1b

Counts

74 → 11

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.4b	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
0.4b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

47×	`pow1_binary64`
20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
19×	`pow-prod-down_binary64`
12×	`add-sqr-sqrt_binary64` `sin-mult_binary64`
10×	`cbrt-unprod_binary64` `prod-exp_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-log-exp_binary64`
5×	`cos-mult_binary64`
4×	`pow-prod-up_binary64` `pow-sqr_binary64` `insert-posit16`
3×	`associate-r/_binary64` `frac-sub_binary64` `associate-l/_binary64` `*-commutative_binary64`
2×	`pow-plus_binary64` `unswap-sqr_binary64` `sub-div_binary64` `frac-times_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `swap-sqr_binary64` `diff-log_binary64` `sqr-cos-a_binary64` `difference-of-squares_binary64` `flip--_binary64` `pow2_binary64` `associate--l+_binary64`

Counts

4 → 97

Calls

4 calls:

7.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
8.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
16.0ms	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
11.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

series704.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
147.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
176.0ms	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
238.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	785	1601
1	785	1601
0	785	1601
1	785	1601
0	7	6
1	7	6
0	523	1507
1	523	1507
0	523	1507
1	523	1507
0	1	3
1	1	3
0	367	1489
1	367	1489
0	367	1489
1	367	1489
0	1	3
1	1	3
0	367	1489
1	367	1489
0	367	1489
1	367	1489
0	1	3
1	1	3

simplify104.0ms

Counts

109 → 109

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5896	4897

prune174.0ms

Filtered

65 candidates to 109 candidates (-67.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	106	3	109
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	110	10	120

Merged error: 0.1b

Counts

120 → 10

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
0.4b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.4b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3)
18.4b	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

46×	`pow1_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`pow-prod-down_binary64`
12×	`sin-mult_binary64`
9×	`cbrt-unprod_binary64` `prod-exp_binary64`
8×	`cbrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`cos-mult_binary64`
4×	`pow-prod-up_binary64` `pow-sqr_binary64` `insert-posit16`
3×	`pow-unpow_binary64` `associate-r/_binary64` `frac-sub_binary64` `associate-l/_binary64`
2×	`pow-pow_binary64` `sqr-pow_binary64` `pow-plus_binary64` `cube-div_binary64` `rem-cube-cbrt_binary64` `unpow-prod-down_binary64` `cube-prod_binary64` `sub-div_binary64` `frac-times_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`cbrt-div_binary64` `pow-to-exp_binary64` `sub-neg_binary64` `rem-cbrt-cube_binary64` `flip3--_binary64` `swap-sqr_binary64` `diff-log_binary64` `associate-r_binary64` `pow1/3_binary64` `associate-l_binary64` `sqr-cos-a_binary64` `difference-of-squares_binary64` `flip--_binary64` `pow2_binary64` `associate--l+_binary64` `*-commutative_binary64`

Counts

4 → 100

Calls

4 calls:

15.0ms	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
11.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
8.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3)
4.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3))

series725.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
238.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
172.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3)
142.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	282	2038
1	282	2038
0	282	2038
1	282	2038
0	22	11
1	22	11
0	497	1507
1	497	1507
0	497	1507
1	497	1507
0	1	3
1	1	3
0	785	1601
1	785	1601
0	785	1601
1	785	1601
0	7	6
1	7	6
0	523	1507
1	523	1507
0	523	1507
1	523	1507
0	1	3
1	1	3

simplify143.0ms

Counts

112 → 112

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5028	4326

prune186.0ms

Filtered

71 candidates to 112 candidates (-57.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	113	9	122

Merged error: 0.1b

Counts

122 → 9

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b	(-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (sin.f64 phi1)))))
0.6b	(cbrt.f64 (sin.f64 phi1))
0.6b	(cbrt.f64 (sin.f64 phi1))
0.6b	(cbrt.f64 (sin.f64 phi1))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`pow1/3_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 48

Calls

4 calls:

6.0ms	(-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (sin.f64 phi1)))))
2.0ms	(cbrt.f64 (sin.f64 phi1))
2.0ms	(cbrt.f64 (sin.f64 phi1))
2.0ms	(cbrt.f64 (sin.f64 phi1))

series1.1s

Counts

4 → 12

Calls

4 calls:

417.0ms	(-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (sin.f64 phi1)))))
220.0ms	(cbrt.f64 (sin.f64 phi1))
223.0ms	(cbrt.f64 (sin.f64 phi1))
223.0ms	(cbrt.f64 (sin.f64 phi1))

Iterations

Useful iterations: 0 (191.0ms)

Iter	Nodes	Cost
0	47	1618
1	47	1618
0	47	1618
1	47	1618
0	5408	14
0	47	1618
1	47	1618
0	47	1618
1	47	1618
0	5408	14
0	47	1618
1	47	1618
0	47	1618
1	47	1618
0	5408	14
0	776	2260
1	776	2260
0	776	2260
1	776	2260
0	4731	6
1	4731	6

simplify120.0ms

Counts

60 → 60

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5055	1024

prune74.0ms

Filtered

52 candidates to 60 candidates (-15.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	60	9	69

Merged error: 0.1b

Counts

69 → 9

regimes184.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	79	71
1	79	71

end0.0ms

sample9.0s

Algorithm

intervals

Results

5.7s	3141×	body	1280	valid
1.9s	1817×	body	640	valid
473.0ms	689×	body	320	valid
414.0ms	2022×	body	80	valid
147.0ms	331×	body	160	valid

Details

analyze3.6s

sample294.0ms

simplify80.0ms

prune4.0ms

localize31.0ms

rewrite22.0ms

series841.0ms

simplify143.0ms

prune132.0ms

localize41.0ms

rewrite47.0ms

series704.0ms

simplify104.0ms

prune174.0ms

localize44.0ms

rewrite41.0ms

series725.0ms

simplify143.0ms

prune186.0ms

localize35.0ms

rewrite12.0ms

series1.1s

simplify120.0ms

prune74.0ms

regimes184.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample9.0s

Profiling