Details

analyze880.0ms (6.4%)

Algorithm

1×

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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
23.4%	74.9%	1.8%	11
27.3%	69%	3.7%	12
36.6%	56.5%	6.8%	13
40.5%	52%	7.4%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (8.9%)

Symmetry

(sort y t)

Results

877.0ms	8256×	body	128	valid
198.0ms	1929×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

998×	`fma-def_binary64`
304×	`fma-neg_binary64`
112×	`distribute-rgt-in_binary64`
90×	`associate-l_binary64`
87×	`associate-r_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	20	10
2	43	10
3	96	10
4	172	10
5	252	10
6	398	10
7	581	10
8	846	10
9	910	10
10	943	10
11	949	10
12	949	10
13	886	10

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	6.7b	(.f64 y (.f64 t (-.f64 x z)))
	8.5b	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

Compiler

Compiled 68 to 41 computations (39.7% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 t (-.f64 x z))
✓	6.3b	(.f64 y (.f64 t (-.f64 x z)))

series23.0ms (0.2%)

Counts

2 → 84

Calls

2 calls:

16.0ms	(.f64 y (.f64 t (-.f64 x z)))
6.0ms	(*.f64 t (-.f64 x z))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`distribute-lft-in_binary64`
65×	`distribute-rgt-in_binary64`
54×	`prod-diff_binary64`
51×	`add-sqr-sqrt_binary64`
49×	`*-un-lft-identity_binary64`

Counts

2 → 124

Calls

2 calls:

7.0ms	(.f64 y (.f64 t (-.f64 x z)))
6.0ms	(*.f64 t (-.f64 x z))

simplify121.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

449×	`*-commutative_binary64`
402×	`distribute-rgt-in_binary64`
400×	`distribute-rgt-neg-out_binary64`
379×	`distribute-lft-in_binary64`
309×	`fma-def_binary64`

Counts

208 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	219	2765
1	326	2564
2	1079	2402
3	3077	2078
4	4965	2078
5	4751	2078

prune131.0ms (1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	143	10	153
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	145	10	155

Error

0.0b

Counts

155 → 10

Alt Table

Status	Error	Program
	7.6b	(.f64 y (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (cbrt.f64 t) (-.f64 x z))))
	7.5b	(.f64 (.f64 (cbrt.f64 (.f64 y (.f64 t (-.f64 x z)))) (cbrt.f64 (.f64 y (.f64 t (-.f64 x z))))) (cbrt.f64 (.f64 y (.f64 t (-.f64 x z)))))
	7.5b	(.f64 y (.f64 (.f64 (cbrt.f64 (.f64 t (-.f64 x z))) (cbrt.f64 (.f64 t (-.f64 x z)))) (cbrt.f64 (.f64 t (-.f64 x z)))))
	8.1b	(.f64 (-.f64 x z) (.f64 y t))
▶	6.7b	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
	32.2b	(.f64 (sqrt.f64 (.f64 y (.f64 t (-.f64 x z)))) (sqrt.f64 (.f64 y (*.f64 t (-.f64 x z)))))
	7.5b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
	41.9b	(.f64 y (/.f64 (.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (.f64 x x) (+.f64 (.f64 z z) (*.f64 x z)))))
	8.5b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	7.5b	(.f64 y (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))

Compiler

Compiled 3402 to 913 computations (73.2% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 t x) (.f64 t z))
✓	6.3b	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)

series23.0ms (0.2%)

Counts

2 → 54

Calls

2 calls:

15.0ms	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
8.0ms	(-.f64 (.f64 t x) (.f64 t z))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`associate-l_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
2.0ms	(-.f64 (.f64 t x) (.f64 t z))

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

943×	`fma-def_binary64`
247×	`distribute-lft-neg-out_binary64`
237×	`distribute-rgt-neg-out_binary64`
230×	`*-commutative_binary64`
221×	`fma-neg_binary64`

Counts

94 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1023
1	219	963
2	773	956
3	2035	953
4	4486	953
5	4935	953

prune61.0ms (0.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	82	11	93

Error

0.0b

Counts

93 → 11

Alt Table

Status	Error	Program
	35.4b	(.f64 (sqrt.f64 (-.f64 (.f64 t x) (.f64 t z))) (.f64 y (sqrt.f64 (*.f64 t (-.f64 x z)))))
	32.2b	(.f64 (sqrt.f64 (.f64 y (.f64 t (-.f64 x z)))) (sqrt.f64 (.f64 y (*.f64 t (-.f64 x z)))))
▶	7.5b	(.f64 y (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))
	30.0b	(.f64 (/.f64 (.f64 t (.f64 (.f64 t (-.f64 x z)) (+.f64 x z))) (*.f64 t (+.f64 x z))) y)
	7.5b	(.f64 y (.f64 (.f64 (cbrt.f64 (.f64 t (-.f64 x z))) (cbrt.f64 (.f64 t (-.f64 x z)))) (cbrt.f64 (.f64 t (-.f64 x z)))))
	8.1b	(.f64 (-.f64 x z) (.f64 y t))
✓	6.7b	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
	7.6b	(.f64 y (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (cbrt.f64 t) (-.f64 x z))))
	7.5b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
	29.3b	(/.f64 (.f64 (-.f64 (.f64 (.f64 t x) (.f64 t x)) (.f64 (.f64 t z) (.f64 t z))) y) (+.f64 (.f64 t x) (*.f64 t z)))
	8.5b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))

Compiler

Compiled 1646 to 480 computations (70.8% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 z)
✓	6.3b	(.f64 y (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))
✓	60.9b	(fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

series3.8s (27.7%)

Counts

4 → 84

Calls

4 calls:

3.7s	(.f64 y (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))
48.0ms	(fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
35.0ms	(cbrt.f64 z)
32.0ms	(cbrt.f64 x)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
6×	`cbrt-prod_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 61

Calls

4 calls:

5.0ms	(.f64 y (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 x)
0.0ms	(fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

639×	`fma-neg_binary64`
585×	`distribute-rgt-in_binary64`
541×	`distribute-lft-in_binary64`
477×	`fma-def_binary64`
410×	`*-commutative_binary64`

Counts

145 → 106

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	1441
1	302	1290
2	1177	1115
3	3207	1109
4	4107	1109
5	4994	1109
6	4532	1109

prune176.0ms (1.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	284	2	286
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	286	11	297

Error

Counts

297 → 11

Alt Table

Status	Error	Program
	35.4b	(.f64 (sqrt.f64 (-.f64 (.f64 t x) (.f64 t z))) (.f64 y (sqrt.f64 (*.f64 t (-.f64 x z)))))
	32.2b	(.f64 (sqrt.f64 (.f64 y (.f64 t (-.f64 x z)))) (sqrt.f64 (.f64 y (*.f64 t (-.f64 x z)))))
	9.0b	(.f64 (.f64 y t) (+.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))))
	29.3b	(/.f64 (.f64 (-.f64 (.f64 (.f64 t x) (.f64 t x)) (.f64 (.f64 t z) (.f64 t z))) y) (+.f64 (.f64 t x) (*.f64 t z)))
✓	6.7b	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
	7.6b	(.f64 y (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (cbrt.f64 t) (-.f64 x z))))
	7.5b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
▶	7.5b	(.f64 (.f64 y (.f64 (cbrt.f64 (.f64 t (-.f64 x z))) (cbrt.f64 (.f64 t (-.f64 x z))))) (cbrt.f64 (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t))))
	8.5b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	30.0b	(.f64 (/.f64 (.f64 t (.f64 (.f64 t (-.f64 x z)) (+.f64 x z))) (*.f64 t (+.f64 x z))) y)
	8.1b	(.f64 (-.f64 x z) (.f64 y t))

Compiler

Compiled 13326 to 1966 computations (85.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(.f64 y (.f64 (cbrt.f64 (.f64 t (-.f64 x z))) (cbrt.f64 (.f64 t (-.f64 x z)))))
✓	8.7b	(cbrt.f64 (*.f64 t (-.f64 x z)))
✓	8.7b	(cbrt.f64 (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))
	60.9b	(fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

series4.5s (33%)

Counts

3 → 120

Calls

3 calls:

3.3s

(cbrt.f64 (+.f64 (*.f64 (fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (*.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))

1.0s

(*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))))

261.0ms

(cbrt.f64 (*.f64 t (-.f64 x z)))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`associate-*r/_binary64`
16×	`cbrt-div_binary64`
8×	`add-exp-log_binary64`
8×	`pow1_binary64`
7×	`flip--_binary64`

Counts

3 → 58

Calls

3 calls:

6.0ms

(*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))))

3.0ms

(cbrt.f64 (*.f64 t (-.f64 x z)))

2.0ms

(cbrt.f64 (+.f64 (*.f64 (fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (*.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t)))

simplify128.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

443×	`associate-r_binary64`
332×	`fma-neg_binary64`
310×	`associate-l_binary64`
270×	`*-commutative_binary64`
232×	`times-frac_binary64`

Counts

178 → 191

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	461	5977
1	1316	5153
2	4772	5153
3	4977	5153

prune243.0ms (1.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	273	0	273
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	273	11	284

Error

Counts

284 → 11

Alt Table

Status	Error	Program
	35.4b	(.f64 (sqrt.f64 (-.f64 (.f64 t x) (.f64 t z))) (.f64 y (sqrt.f64 (*.f64 t (-.f64 x z)))))
	32.2b	(.f64 (sqrt.f64 (.f64 y (.f64 t (-.f64 x z)))) (sqrt.f64 (.f64 y (*.f64 t (-.f64 x z)))))
	9.0b	(.f64 (.f64 y t) (+.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))))
	29.3b	(/.f64 (.f64 (-.f64 (.f64 (.f64 t x) (.f64 t x)) (.f64 (.f64 t z) (.f64 t z))) y) (+.f64 (.f64 t x) (*.f64 t z)))
✓	6.7b	(.f64 (-.f64 (.f64 t x) (*.f64 t z)) y)
	7.6b	(.f64 y (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (cbrt.f64 t) (-.f64 x z))))
	7.5b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
✓	7.5b	(.f64 (.f64 y (.f64 (cbrt.f64 (.f64 t (-.f64 x z))) (cbrt.f64 (.f64 t (-.f64 x z))))) (cbrt.f64 (+.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) t) (.f64 (fma.f64 (neg.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) t))))
	8.5b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	30.0b	(.f64 (/.f64 (.f64 t (.f64 (.f64 t (-.f64 x z)) (+.f64 x z))) (*.f64 t (+.f64 x z))) y)
	8.1b	(.f64 (-.f64 x z) (.f64 y t))

Compiler

Compiled 20467 to 5028 computations (75.4% saved)

regimes1.8s (12.8%)

Accuracy

Total 1.5b remaining (98.8%)

Threshold costs 0b (0%)

Counts

157 → 3

Compiler

Compiled 26464 to 13478 computations (49.1% saved)

bsearch7.0ms (0%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
9×	`+-commutative_binary64`
8×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	74
1	53	74
2	65	74
3	78	72
4	90	72
5	96	72
6	98	72
7	96	72

end276.0ms (2%)

Compiler: Compiled 485 to 226 computations (53.4% saved)

Iter	Nodes	Cost
0	9	10
1	20	10
2	43	10
3	96	10
4	172	10
5	252	10
6	398	10
7	581	10
8	846	10
9	910	10
10	943	10
11	949	10
12	949	10
13	886	10

Iter	Nodes	Cost
0	9	10
1	20	10
2	43	10
3	96	10
4	172	10
5	252	10
6	398	10
7	581	10
8	846	10
9	910	10
10	943	10
11	949	10
12	949	10
13	886	10

Details

analyze880.0ms (6.4%)

sample1.2s (8.9%)

simplify43.0ms (0.3%)

prune3.0ms (0%)

localize6.0ms (0%)

series23.0ms (0.2%)

rewrite24.0ms (0.2%)

simplify121.0ms (0.9%)

prune131.0ms (1%)

localize6.0ms (0%)

series23.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify69.0ms (0.5%)

prune61.0ms (0.4%)

localize27.0ms (0.2%)

series3.8s (27.7%)

rewrite10.0ms (0.1%)

simplify112.0ms (0.8%)

prune176.0ms (1.3%)

localize25.0ms (0.2%)

series4.5s (33%)

rewrite16.0ms (0.1%)

simplify128.0ms (0.9%)

prune243.0ms (1.8%)

regimes1.8s (12.8%)

bsearch7.0ms (0%)

simplify5.0ms (0%)

end276.0ms (2%)

Profiling

Iter	Nodes	Cost
0	9	10
1	20	10
2	43	10
3	96	10
4	172	10
5	252	10
6	398	10
7	581	10
8	846	10
9	910	10
10	943	10
11	949	10
12	949	10
13	886	10