Details

analyze20.0ms (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample24.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	72×	body	1024	valid
4.0ms	138×	body	128	valid
2.0ms	27×	body	512	valid
1.0ms	6×	body	2048	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

30.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	30.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

Compiler

Compiled 24 to 18 computations (25% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f64 (+.f64 x 1))
✓	0.5b	(cbrt.f64 x)
✓	3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series50.0ms (1.1%)

Counts

3 → 36

Calls

3 calls:

35.0ms	(cbrt.f64 x)
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
5.0ms	(cbrt.f64 (+.f64 x 1))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`cbrt-prod_binary64`
58×	`*-un-lft-identity_binary64`
43×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
35×	`add-cube-cbrt_binary64`

Counts

3 → 104

Calls

3 calls:

8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
2.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

simplify127.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

959×	`fma-neg_binary64`
417×	`associate-/r*_binary64`
348×	`times-frac_binary64`
258×	`cancel-sign-sub-inv_binary64`
133×	`associate--l+_binary64`

Counts

140 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	3526
1	455	2550
2	1336	2116
3	3957	2052
4	4888	2052
5	4814	2052

prune279.0ms (6.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	169	12	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	170	12	182

Error

9.6b

Counts

182 → 12

Alt Table

Status	Error	Program
	34.5b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	49.0b	(.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))))
	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
	30.4b	(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
	30.5b	(fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
	30.4b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.4b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	49.3b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	31.7b	(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
	30.4b	(+.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
▶	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

Compiler

Compiled 4242 to 2431 computations (42.7% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.5b	(cbrt.f64 x)
✓	0.5b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
✓	3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

series113.0ms (2.6%)

Counts

3 → 36

Calls

3 calls:

71.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
32.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

rewrite26.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`cbrt-prod_binary64`
41×	`*-un-lft-identity_binary64`
41×	`add-sqr-sqrt_binary64`
29×	`add-cube-cbrt_binary64`
28×	`prod-diff_binary64`

Counts

3 → 109

Calls

3 calls:

7.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
5.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
5.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify128.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

702×	`associate-/r*_binary64`
648×	`fma-def_binary64`
494×	`fma-neg_binary64`
463×	`times-frac_binary64`
333×	`cancel-sign-sub-inv_binary64`

Counts

145 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2746
1	409	2044
2	1324	1719
3	4337	1675
4	4952	1675
5	4784	1675

prune291.0ms (6.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	230	4	234
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	234	12	246

Error

9.6b

Counts

246 → 12

Alt Table

Status	Error	Program
▶	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))))
	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
	49.3b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	49.4b	(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))))
	34.5b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	30.3b	(/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))
	30.4b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.4b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	31.7b	(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
	30.4b	(+.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
	30.4b	(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
	30.5b	(fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))

Compiler

Compiled 6314 to 2721 computations (56.9% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 x)
✓	0.5b	(cbrt.f64 (cbrt.f64 x))
✓	0.6b	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
✓	4.5b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))))

series567.0ms (12.9%)

Counts

3 → 36

Calls

3 calls:

301.0ms

(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))

254.0ms

(cbrt.f64 (cbrt.f64 x))

12.0ms

(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))))

rewrite22.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`cbrt-prod_binary64`
35×	`*-un-lft-identity_binary64`
28×	`prod-diff_binary64`
27×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`

Counts

3 → 82

Calls

3 calls:

9.0ms

(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))))

2.0ms

(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))

1.0ms

(cbrt.f64 (cbrt.f64 x))

simplify175.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1043×	`fma-neg_binary64`
460×	`associate-l_binary64`
435×	`fma-def_binary64`
399×	`associate-r_binary64`
264×	`cancel-sign-sub-inv_binary64`

Counts

118 → 138

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	193	4654
1	422	3455
2	1129	3015
3	3591	2330
4	4448	1377
5	4563	1377
6	4971	1377
7	4732	1377

prune175.0ms (4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	227	1	228
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	234	6	240

Error

0.3b

Counts

240 → 6

Alt Table

Status	Error	Program
	49.3b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	49.4b	(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))))
	31.5b	(*.f64 (/.f64 (cbrt.f64 x) x) (-.f64 1/3 (/.f64 1/9 x)))
▶	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
	34.5b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	31.7b	(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))

Compiler

Compiled 8095 to 2566 computations (68.3% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
	0.5b	(cbrt.f64 x)
	0.5b	(cbrt.f64 (cbrt.f64 x))
✓	21.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))

series332.0ms (7.6%)

Counts

2 → 24

Calls

2 calls:

315.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
17.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`cbrt-prod_binary64`
14×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`unpow-prod-down_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
2.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)

simplify92.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

840×	`fma-neg_binary64`
388×	`associate-l_binary64`
382×	`fma-def_binary64`
362×	`associate-r_binary64`
312×	`log-prod_binary64`

Counts

79 → 111

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	165	1729
1	405	1254
2	997	1096
3	3587	1064
4	4486	1064
5	4889	1064

prune110.0ms (2.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	191	6	197

Error

0.3b

Counts

197 → 6

Alt Table

Status	Error	Program
	49.3b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	49.4b	(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))))
	31.5b	(*.f64 (/.f64 (cbrt.f64 x) x) (-.f64 1/3 (/.f64 1/9 x)))
✓	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
	34.5b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	31.7b	(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))

Compiler

Compiled 3899 to 2303 computations (40.9% saved)

regimes243.0ms (5.5%)

Accuracy

Total 0.3b remaining (52.7%)

Threshold costs 0.3b (52.7%)

Counts

83 → 2

Compiler

Compiled 3492 to 2176 computations (37.7% saved)

bsearch30.0ms (0.7%)

Compiler: Compiled 8 to 6 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
3×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	54
1	29	54
2	40	54
3	44	54
4	46	54
5	44	54

end1.0ms (0%)

Compiler: Compiled 35 to 25 computations (28.6% saved)

sample1.5s (33.9%)

Algorithm

1×

intervals

Results

460.0ms	1996×	body	1024	valid
247.0ms	4287×	body	128	valid
166.0ms	994×	body	512	valid
58.0ms	533×	body	256	valid
56.0ms	190×	body	2048	valid

Compiler

Compiled 140 to 107 computations (23.6% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Details

analyze20.0ms (0.5%)

sample24.0ms (0.5%)

simplify11.0ms (0.2%)

prune2.0ms (0%)

localize7.0ms (0.2%)

series50.0ms (1.1%)

rewrite19.0ms (0.4%)

simplify127.0ms (2.9%)

prune279.0ms (6.4%)

localize12.0ms (0.3%)

series113.0ms (2.6%)

rewrite26.0ms (0.6%)

simplify128.0ms (2.9%)

prune291.0ms (6.6%)

localize12.0ms (0.3%)

series567.0ms (12.9%)

rewrite22.0ms (0.5%)

simplify175.0ms (4%)

prune175.0ms (4%)

localize15.0ms (0.3%)

series332.0ms (7.6%)

rewrite11.0ms (0.3%)

simplify92.0ms (2.1%)

prune110.0ms (2.5%)

regimes243.0ms (5.5%)

bsearch30.0ms (0.7%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.5s (33.9%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11