Details

analyze1.6s (13.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample89.0ms (0.7%)

Algorithm

1×

intervals

Results

19.0ms	167×	body	128	valid
19.0ms	36×	body	2048	valid
15.0ms	36×	body	1024	valid
7.0ms	10×	body	4096	valid
3.0ms	31×	body	128	nan
2.0ms	5×	body	512	valid
1.0ms	10×	body	128	invalid
0.0ms	2×	body	256	valid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify97.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-neg_binary64`
379×	`associate-/l*_binary64`
361×	`div-sub_binary64`
341×	`fma-def_binary64`
224×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	23	18
2	39	18
3	69	18
4	107	18
5	178	18
6	279	18
7	382	18
8	547	18
9	587	18
10	855	18
11	1247	18
12	1117	18
13	1035	18
14	1043	18
15	1051	18
16	1077	18
17	1093	18
18	1129	18
19	1131	18
20	1143	18
21	1050	18

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	31.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 58 to 30 computations (48.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
✓	0.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	0.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	18.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series378.0ms (3.1%)

Counts

4 → 96

Calls

4 calls:

149.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
106.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
88.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
34.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite63.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
20×	`sqrt-prod_binary64`
19×	`prod-diff_binary64`

Counts

4 → 120

Calls

4 calls:

14.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
5.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify543.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-neg_binary64`
364×	`cancel-sign-sub-inv_binary64`
248×	`distribute-rgt-neg-in_binary64`
220×	`distribute-lft-neg-in_binary64`
172×	`distribute-rgt-in_binary64`

Counts

216 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	272	5492
1	683	4712
2	2484	4515
3	4521	4514
4	4915	4514
5	4990	4514
6	5000	4514
7	4999	4514
8	4932	4514

prune394.0ms (3.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	224	13	237
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	224	14	238

Error

4.9b

Counts

238 → 14

Alt Table

Status	Error	Program
	41.8b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	39.7b	(*.f64 -1/2 (/.f64 c b_2))
	45.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a) 3))
	31.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	48.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	57.1b	(log.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	42.8b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	56.1b	(/.f64 (-.f64 b_2 b_2) a)
✓	31.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	30.0b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 a)))
	32.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (cbrt.f64 a)))
	43.3b	(.f64 (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	47.6b	(/.f64 (*.f64 -2 b_2) a)
▶	29.5b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))

Compiler

Compiled 6078 to 1771 computations (70.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
✓	0.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
✓	0.6b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	11.5b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.5s (12.6%)

Counts

4 → 36

Calls

4 calls:

772.0ms	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
414.0ms	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
294.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
40.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite74.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64`
116×	`add-sqr-sqrt_binary64`
115×	`*-un-lft-identity_binary64`
81×	`add-cube-cbrt_binary64`
26×	`associate-/r*_binary64`

Counts

4 → 197

Calls

4 calls:

14.0ms	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
8.0ms	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
6.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify387.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

726×	`fma-def_binary64`
384×	`cancel-sign-sub-inv_binary64`
289×	`fma-neg_binary64`
216×	`div-sub_binary64`
164×	`distribute-neg-frac_binary64`

Counts

233 → 300

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	315	7449
1	719	6508
2	2604	6286
3	4744	6282
4	5014	6282

prune352.0ms (2.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	294	6	300
Fresh	8	4	12
Picked	1	0	1
Done	0	1	1
Total	303	11	314

Error

0.1b

Counts

314 → 11

Alt Table

Status	Error	Program
	41.8b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	39.7b	(*.f64 -1/2 (/.f64 c b_2))
▶	29.5b	(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))
	46.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
	29.6b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
	44.8b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
✓	31.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	30.0b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 a)))
	42.0b	(/.f64 1 (fma.f64 (/.f64 (.f64 a (neg.f64 (.f64 c a))) (pow.f64 b_2 3)) -1/8 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c))))))
	39.3b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
	47.6b	(/.f64 (*.f64 -2 b_2) a)

Compiler

Compiled 8532 to 2469 computations (71.1% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
✓	0.2b	(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))
	0.6b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
	11.5b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series405.0ms (3.4%)

Counts

1 → 12

Calls

1 calls:

405.0ms

(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))

rewrite63.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

135×	`times-frac_binary64`
91×	`*-un-lft-identity_binary64`
91×	`add-sqr-sqrt_binary64`
84×	`unpow-prod-down_binary64`
67×	`add-cube-cbrt_binary64`

Counts

1 → 130

Calls

1 calls:

19.0ms

(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))

simplify307.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

570×	`associate-/r*_binary64`
493×	`associate-/l*_binary64`
451×	`fma-def_binary64`
247×	`associate-*l/_binary64`
230×	`associate-/r/_binary64`

Counts

142 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	223	5095
1	470	4654
2	1391	4362
3	4893	4360
4	5171	4360

prune425.0ms (3.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	329	0	329
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	329	11	340

Error

0.1b

Counts

340 → 11

Alt Table

Status	Error	Program
	41.8b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	39.7b	(*.f64 -1/2 (/.f64 c b_2))
✓	29.5b	(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))
	46.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
▶	29.6b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
	44.8b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
✓	31.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	30.0b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 a)))
	42.0b	(/.f64 1 (fma.f64 (/.f64 (.f64 a (neg.f64 (.f64 c a))) (pow.f64 b_2 3)) -1/8 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c))))))
	39.3b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
	47.6b	(/.f64 (*.f64 -2 b_2) a)

Compiler

Compiled 10029 to 3418 computations (65.9% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
✓	0.2b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
	0.6b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
	11.5b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series632.0ms (5.3%)

Counts

2 → 24

Calls

2 calls:

392.0ms	(/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
240.0ms	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))

rewrite87.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

696×	`times-frac_binary64`
384×	`*-un-lft-identity_binary64`
384×	`add-sqr-sqrt_binary64`
292×	`add-cube-cbrt_binary64`
46×	`distribute-lft-out--_binary64`

Counts

2 → 384

Calls

2 calls:

14.0ms	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
4.0ms	(/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))

simplify318.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

643×	`associate-/l*_binary64`
372×	`fma-def_binary64`
363×	`associate-/l/_binary64`
273×	`associate-/r/_binary64`
225×	`distribute-rgt-in_binary64`

Counts

408 → 417

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	280	16372
1	737	15023
2	2234	14657
3	5031	14657

prune301.0ms (2.5%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	489	4	493
Fresh	2	6	8
Picked	0	1	1
Done	0	2	2
Total	491	13	504

Error

0.0b

Counts

504 → 13

Alt Table

Status	Error	Program
	41.8b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	39.7b	(*.f64 -1/2 (/.f64 c b_2))
✓	29.5b	(/.f64 1 (pow.f64 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) 1))
	30.0b	(/.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 1 (cbrt.f64 a))))
	46.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
✓	29.6b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
	44.8b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
✓	31.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	42.0b	(/.f64 1 (fma.f64 (/.f64 (.f64 a (neg.f64 (.f64 c a))) (pow.f64 b_2 3)) -1/8 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c))))))
	47.6b	(/.f64 (*.f64 -2 b_2) a)
	44.4b	(/.f64 (/.f64 1 a) (fma.f64 (/.f64 (neg.f64 (.f64 c a)) (pow.f64 b_2 3)) -1/8 (fma.f64 2 (/.f64 b_2 (neg.f64 (.f64 c a))) (/.f64 1/2 b_2))))
	44.8b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
	46.3b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))

Compiler

Compiled 16375 to 6157 computations (62.4% saved)

regimes2.3s (19.4%)

Accuracy

Total 10.1b remaining (98.8%)

Threshold costs 0b (0%)

Counts

188 → 3

Compiler

Compiled 17992 to 11034 computations (38.7% saved)

bsearch41.0ms (0.3%)

Steps

Iters	Range		Point
7	9.640412780087636e-60	6.232097247659063e-58	1.0494614885250299e-59
1	-1.0988306668534237e+138	-1.014844118199704e+135	-3.340673506078001e+136

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	51
1	35	51
2	48	51
3	56	51
4	61	51
5	62	51
6	62	51

end1.0ms (0%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

sample1.6s (12.9%)

Algorithm

1×

intervals

Results

308.0ms	1159×	body	2048	valid
293.0ms	5159×	body	128	valid
170.0ms	740×	body	1024	valid
145.0ms	394×	body	4096	valid
58.0ms	365×	body	512	valid
39.0ms	743×	body	128	nan
19.0ms	183×	body	256	valid
16.0ms	236×	body	128	invalid

Compiler

Compiled 305 to 205 computations (32.8% saved)

Details

analyze1.6s (13.1%)

sample89.0ms (0.7%)

simplify97.0ms (0.8%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series378.0ms (3.1%)

rewrite63.0ms (0.5%)

simplify543.0ms (4.5%)

prune394.0ms (3.3%)

localize20.0ms (0.2%)

series1.5s (12.6%)

rewrite74.0ms (0.6%)

simplify387.0ms (3.2%)

prune352.0ms (2.9%)

localize24.0ms (0.2%)

series405.0ms (3.4%)

rewrite63.0ms (0.5%)

simplify307.0ms (2.6%)

prune425.0ms (3.5%)

localize21.0ms (0.2%)

series632.0ms (5.3%)

rewrite87.0ms (0.7%)

simplify318.0ms (2.6%)

prune301.0ms (2.5%)

regimes2.3s (19.4%)

bsearch41.0ms (0.3%)

simplify4.0ms (0%)

end1.0ms (0%)

sample1.6s (12.9%)

Profiling