Details

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample41.0ms (0.8%)

Algorithm

1×

intervals

Results

8.0ms	71×	body	1024	valid
4.0ms	136×	body	128	valid
3.0ms	30×	body	512	valid
1.0ms	6×	body	2048	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

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

31.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (+.f64 x 1))
✓	0.6b	(cbrt.f64 x)
✓	3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series48.0ms (0.9%)

Counts

3 → 36

Calls

3 calls:

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

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

simplify117.0ms (2.3%)

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

prune169.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	173	8	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	174	8	182

Error

8.4b

Counts

182 → 8

Alt Table

Status	Error	Program
	31.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
▶	31.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	31.3b	(+.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))))))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	31.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)))
	48.5b	(+.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 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)) (*.f64 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))))
	33.4b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	31.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 4076 to 2355 computations (42.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	0.3b	(cbrt.f64 (+.f64 x 1))
	0.6b	(cbrt.f64 x)
	3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series53.0ms (1%)

Counts

1 → 12

Calls

1 calls:

53.0ms

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
4×	`difference-of-squares_binary64`
3×	`distribute-lft-out--_binary64`

Counts

1 → 22

Calls

1 calls:

6.0ms

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

simplify76.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

707×	`associate-/r*_binary64`
576×	`fma-def_binary64`
346×	`cancel-sign-sub-inv_binary64`
288×	`associate-/l*_binary64`
239×	`fma-neg_binary64`

Counts

34 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	1798
1	449	1759
2	1550	1410
3	4851	1408
4	4925	1408

prune896.0ms (17.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	721	2	723
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	723	8	731

Error

8.4b

Counts

731 → 8

Alt Table

Status	Error	Program
▶	31.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
	31.3b	(+.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))))))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	32.7b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))))
	48.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	31.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)))
	33.4b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	31.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 31246 to 20541 computations (34.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series76.0ms (1.5%)

Counts

3 → 36

Calls

3 calls:

36.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
30.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.5%)

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:

9.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)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify117.0ms (2.3%)

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

prune232.0ms (4.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	231	3	234
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	234	8	242

Error

8.4b

Counts

242 → 8

Alt Table

Status	Error	Program
	31.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 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	48.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	31.4b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))))))
	31.2b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)) (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.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)))))))
	31.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)))
	33.4b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
▶	31.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 6276 to 2653 computations (57.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series555.0ms (10.9%)

Counts

3 → 36

Calls

3 calls:

295.0ms	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
250.0ms	(cbrt.f64 (cbrt.f64 x))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
13×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
7×	`fma-neg_binary64`

Counts

3 → 55

Calls

3 calls:

6.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.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))

simplify107.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

864×	`fma-neg_binary64`
393×	`unswap-sqr_binary64`
338×	`fma-def_binary64`
268×	`associate-l_binary64`
252×	`associate-r_binary64`

Counts

91 → 113

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	152	2180
1	371	1804
2	952	1650
3	2923	1179
4	4059	1020
5	4962	1020
6	4735	1020

prune147.0ms (2.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	169	6	175

Error

0.3b

Counts

175 → 6

Alt Table

Status	Error	Program
	31.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 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	30.0b	(+.f64 (.f64 (/.f64 (cbrt.f64 x) x) (-.f64 1/3 (/.f64 1/9 x))) (.f64 5/81 (/.f64 (cbrt.f64 x) (pow.f64 x 3))))
	31.3b	(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 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))))
	48.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	33.4b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))

Compiler

Compiled 3558 to 1770 computations (50.3% saved)

regimes1.5s (29.4%)

Accuracy

Total 0.1b remaining (33.9%)

Threshold costs 0.1b (33.9%)

Counts

451 → 2

Compiler

Compiled 21357 to 14504 computations (32.1% saved)

bsearch17.0ms (0.3%)

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	88
1	45	88
2	56	88
3	61	88
4	63	88
5	61	88

end1.0ms (0%)

Compiler: Compiled 56 to 38 computations (32.1% saved)

sample837.0ms (16.4%)

Algorithm

1×

intervals

Results

240.0ms	1970×	body	1024	valid
136.0ms	4289×	body	128	valid
89.0ms	1035×	body	512	valid
33.0ms	493×	body	256	valid
31.0ms	213×	body	2048	valid

Compiler

Compiled 226 to 166 computations (26.5% 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

analyze1.0ms (0%)

sample41.0ms (0.8%)

simplify10.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series48.0ms (0.9%)

rewrite19.0ms (0.4%)

simplify117.0ms (2.3%)

prune169.0ms (3.3%)

localize8.0ms (0.2%)

series53.0ms (1%)

rewrite7.0ms (0.1%)

simplify76.0ms (1.5%)

prune896.0ms (17.6%)

localize8.0ms (0.2%)

series76.0ms (1.5%)

rewrite26.0ms (0.5%)

simplify117.0ms (2.3%)

prune232.0ms (4.6%)

localize9.0ms (0.2%)

series555.0ms (10.9%)

rewrite12.0ms (0.2%)

simplify107.0ms (2.1%)

prune147.0ms (2.9%)

regimes1.5s (29.4%)

bsearch17.0ms (0.3%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample837.0ms (16.4%)

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