Details

analyze1.4s (16.6%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	95.2%	4.8%	7
0%	94.4%	5.6%	8
0%	91.7%	8.3%	9
0%	88.7%	11.3%	10
0%	86.1%	13.9%	11
0%	83.6%	16.4%	12
0%	81.8%	18.2%	13
0%	79.8%	20.2%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.9s (33%)

Results

722.0ms	1157×	body	2048	valid
679.0ms	5364×	body	128	valid
288.0ms	738×	body	1024	valid
280.0ms	386×	body	8192	exit
259.0ms	444×	body	4096	valid
123.0ms	956×	body	128	invalid
108.0ms	345×	body	512	valid
45.0ms	208×	body	256	valid

Compiler

Compiled 33 to 21 computations (36.4% saved)

simplify86.0ms (1%)

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

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

34.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	34.5b	(/.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)

localize8.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)
✓	1.4b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	21.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series499.0ms (5.8%)

Counts

4 → 96

Calls

4 calls:

293.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
116.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
79.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
11.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite32.0ms (0.4%)

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:

10.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify301.0ms (3.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

prune159.0ms (1.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

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

Error

6.6b

Counts

238 → 13

Alt Table

Status	Error	Program
	34.9b	(/.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 a (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))))
	38.0b	(*.f64 -1/2 (/.f64 c b_2))
	34.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	42.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	49.1b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.5b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	51.5b	(exp.f64 (-.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (log.f64 a)))
	41.3b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) 3)) a)
	48.9b	(/.f64 (*.f64 -2 b_2) a)
▶	32.7b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	40.9b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	56.1b	(/.f64 (-.f64 b_2 b_2) a)
	34.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)))

Compiler

Compiled 6067 to 1768 computations (70.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
✓	0.6b	(cbrt.f64 a)
✓	1.2b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	15.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series282.0ms (3.3%)

Counts

4 → 36

Calls

4 calls:

176.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
42.0ms	(cbrt.f64 a)
42.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
21.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
19×	`cbrt-prod_binary64`
12×	`pow1_binary64`

Counts

4 → 103

Calls

4 calls:

5.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
1.0ms	(cbrt.f64 a)

simplify102.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-def_binary64`
559×	`associate-/l*_binary64`
418×	`associate-/r*_binary64`
233×	`fma-neg_binary64`
200×	`cancel-sign-sub-inv_binary64`

Counts

139 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	2143
1	380	1657
2	1267	1554
3	4318	1545
4	4969	1545
5	4879	1545

prune108.0ms (1.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	4	8	12
Picked	0	1	1
Done	0	0	0
Total	191	11	202

Error

0.3b

Counts

202 → 11

Alt Table

Status	Error	Program
	34.9b	(/.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 a (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))))
	38.0b	(*.f64 -1/2 (/.f64 c b_2))
▶	34.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	42.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	49.1b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.5b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	46.9b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) (cbrt.f64 a)))
	45.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) (cbrt.f64 a)))
✓	32.7b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	40.9b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	34.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)))

Compiler

Compiled 5673 to 1714 computations (69.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	1.4b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	1.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	21.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series84.0ms (1%)

Counts

1 → 20

Calls

1 calls:

84.0ms

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

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
12×	`*-un-lft-identity_binary64`
11×	`times-frac_binary64`
10×	`add-exp-log_binary64`

Counts

1 → 45

Calls

1 calls:

16.0ms

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

simplify92.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

461×	`times-frac_binary64`
381×	`associate-l_binary64`
320×	`associate-/l*_binary64`
257×	`associate-/r*_binary64`
248×	`fma-neg_binary64`

Counts

65 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1800
1	372	1651
2	1204	1581
3	4735	1581
4	4985	1581
5	4951	1581

prune146.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	241	2	243
Fresh	3	6	9
Picked	0	1	1
Done	1	0	1
Total	245	9	254

Error

0.3b

Counts

254 → 9

Alt Table

Status	Error	Program
✓	34.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	42.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	49.1b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.7b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
	42.5b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.0b	(*.f64 -1/2 (/.f64 c b_2))
▶	32.2b	(pow.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a) 1)
	46.9b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) (cbrt.f64 a)))
	45.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) (cbrt.f64 a)))

Compiler

Compiled 6355 to 2216 computations (65.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)
✓	0.1b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
	1.2b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
	15.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series355.0ms (4.1%)

Counts

2 → 26

Calls

2 calls:

229.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
125.0ms	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
15×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
5×	`associate-/l*_binary64`

Counts

2 → 50

Calls

2 calls:

5.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
0.0ms	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)

simplify85.0ms (1%)

Algorithm

1×	egg-herbie

Rules

665×	`fma-def_binary64`
616×	`associate-/l*_binary64`
532×	`associate-/r*_binary64`
196×	`associate-*l/_binary64`
194×	`fma-neg_binary64`

Counts

76 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	2173
1	453	2043
2	1342	1943
3	4606	1941
4	4998	1941

prune124.0ms (1.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	173	11	184

Error

0.1b

Counts

184 → 11

Alt Table

Status	Error	Program
	44.9b	(pow.f64 (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a) 1)
✓	34.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	42.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	46.6b	(pow.f64 (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a) 1)
✓	32.2b	(pow.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a) 1)
	49.1b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.7b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
	42.5b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.0b	(*.f64 -1/2 (/.f64 c b_2))
	46.9b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) (cbrt.f64 a)))
	45.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) (cbrt.f64 a)))

Compiler

Compiled 4701 to 1705 computations (63.7% saved)

regimes1.6s (18.1%)

Accuracy

Total 9.4b remaining (98.6%)

Threshold costs 0b (0%)

Counts

138 → 3

Compiler

Compiled 13292 to 7122 computations (46.4% saved)

bsearch83.0ms (1%)

Steps

Iters	Range		Point
8	9.825083045698206e-99	2.2274204836273953e-94	1.7908910694223973e-96
9	-3.5867331195417755e+161	-2.4253433369542276e+152	-9.131732657146973e+152

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	48
1	39	46
2	52	46
3	63	46
4	71	46
5	75	46
6	76	46
7	75	46

end158.0ms (1.8%)

Compiler: Compiled 301 to 176 computations (41.5% saved)

Details

analyze1.4s (16.6%)

sample2.9s (33%)

simplify86.0ms (1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series499.0ms (5.8%)

rewrite32.0ms (0.4%)

simplify301.0ms (3.5%)

prune159.0ms (1.8%)

localize13.0ms (0.1%)

series282.0ms (3.3%)

rewrite15.0ms (0.2%)

simplify102.0ms (1.2%)

prune108.0ms (1.3%)

localize9.0ms (0.1%)

series84.0ms (1%)

rewrite20.0ms (0.2%)

simplify92.0ms (1.1%)

prune146.0ms (1.7%)

localize9.0ms (0.1%)

series355.0ms (4.1%)

rewrite9.0ms (0.1%)

simplify85.0ms (1%)

prune124.0ms (1.4%)

regimes1.6s (18.1%)

bsearch83.0ms (1%)

simplify4.0ms (0%)

end158.0ms (1.8%)

Profiling