Details

analyze658.0ms (6.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.4s (22.5%)

Results

749.0ms	5358×	body	128	valid
635.0ms	1149×	body	2048	valid
370.0ms	790×	body	1024	valid
315.0ms	419×	body	4096	valid
141.0ms	1124×	body	128	invalid
119.0ms	365×	body	512	valid
50.0ms	175×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify34.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1220×	`fma-neg_binary64`
367×	`fma-def_binary64`
351×	`times-frac_binary64`
266×	`associate-/l*_binary64`
254×	`div-sub_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	69	22
3	160	22
4	264	22
5	433	22
6	744	22
7	1341	22
8	2769	22
9	4702	22

Stop Event

1×	node limit

Counts

1 → 2

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

32.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
▶	32.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 111 to 75 computations (32.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	0.8b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series121.0ms (1.1%)

Counts

4 → 84

Calls

4 calls:

52.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
38.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
27.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
4.0ms	(.f64 (.f64 3 a) c)

rewrite69.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

248×	`expm1-udef_binary64`
248×	`log1p-udef_binary64`
150×	`add-sqr-sqrt_binary64`
145×	`log1p-expm1-u_binary64`
145×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	68
1	302	58
2	4451	58

Stop Event

1×	node limit

Counts

4 → 117

Calls

4 calls:

67.0ms	(.f64 (.f64 3 a) c)
67.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
67.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
67.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

766×	`times-frac_binary64`
487×	`associate-/l*_binary64`
403×	`associate-/r*_binary64`
385×	`fma-def_binary64`
136×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	2091
1	423	2069
2	1455	2028

Stop Event

1×	node limit

Counts

201 → 187

prune185.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	176	11	187
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	177	12	189

Error

5.6b

Counts

189 → 12

Alt Table

Status	Error	Program
	45.2b	(/.f64 (.f64 (.f64 (/.f64 a b) c) -3/2) (*.f64 3 a))
	34.5b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 1/4) 2)) (*.f64 3 a))
	43.1b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	45.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	55.7b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	46.5b	(.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (/.f64 1/3 a)))
▶	32.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
	32.9b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (/.f64 1 (.f64 a -3)))
	39.2b	(*.f64 (/.f64 -1/2 b) c)
	39.1b	(*.f64 -1/2 (/.f64 c b))
	45.9b	(-.f64 (.f64 1/2 (/.f64 c b)) (.f64 2/3 (/.f64 b a)))
	46.1b	(/.f64 (+.f64 (neg.f64 b) (-.f64 (.f64 3/2 (.f64 (/.f64 a b) c)) b)) (*.f64 3 a))

Compiler

Compiled 4907 to 3096 computations (36.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	0.8b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)
✓	21.7b	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3))))

series114.0ms (1%)

Counts

4 → 60

Calls

4 calls:

51.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
34.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)
27.0ms	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3))))
1.0ms	(/.f64 1/3 a)

rewrite72.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`prod-diff_binary64`
152×	`egg-rr`
140×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`
133×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	55
1	282	52
2	3646	52

Stop Event

1×	node limit

Counts

4 → 152

Calls

4 calls:

67.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
67.0ms	(/.f64 1/3 a)
67.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)
67.0ms	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3))))

simplify44.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

766×	`times-frac_binary64`
487×	`associate-/l*_binary64`
403×	`associate-/r*_binary64`
385×	`fma-def_binary64`
136×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1923
1	423	1901
2	1455	1860

Stop Event

1×	node limit

Counts

212 → 221

prune186.0ms (1.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	215	6	221
Fresh	5	6	11
Picked	0	1	1
Done	0	0	0
Total	220	13	233

Error

5.6b

Counts

233 → 13

Alt Table

Status	Error	Program
	45.3b	(.f64 (.f64 (*.f64 (/.f64 a b) c) -3/2) (/.f64 1/3 a))
	55.7b	(*.f64 (-.f64 b b) (/.f64 1/3 a))
✓	32.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
	33.4b	(/.f64 (/.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) 1/3) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	46.1b	(/.f64 (+.f64 (neg.f64 b) (-.f64 (.f64 3/2 (.f64 (/.f64 a b) c)) b)) (*.f64 3 a))
	47.6b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	43.1b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	45.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
▶	32.9b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (/.f64 1 (.f64 a -3)))
	33.1b	(/.f64 1 (/.f64 a (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) 1/3)))
	39.1b	(*.f64 -1/2 (/.f64 c b))
	45.9b	(-.f64 (.f64 1/2 (/.f64 c b)) (.f64 2/3 (/.f64 b a)))
	33.1b	(/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 a 3))

Compiler

Compiled 5772 to 3674 computations (36.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 c (.f64 a -3))
✓	0.3b	(/.f64 1 (*.f64 a -3))
✓	0.8b	(-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))
✓	21.7b	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

series71.0ms (0.6%)

Counts

4 → 76

Calls

4 calls:

35.0ms	(-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))
28.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))
6.0ms	(.f64 c (.f64 a -3))
1.0ms	(/.f64 1 (*.f64 a -3))

rewrite70.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

630×	`prod-diff_binary64`
218×	`expm1-udef_binary64`
218×	`log1p-udef_binary64`
128×	`egg-rr`
124×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	253	38
2	3196	38

Stop Event

1×	node limit

Counts

4 → 128

Calls

4 calls:

65.0ms	(.f64 c (.f64 a -3))
65.0ms	(/.f64 1 (*.f64 a -3))
65.0ms	(-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))
65.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

simplify52.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

455×	`times-frac_binary64`
393×	`fma-neg_binary64`
274×	`associate-/l*_binary64`
267×	`associate-r_binary64`
253×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	1450
1	254	1438
2	802	1424
3	4403	1422

Stop Event

1×	node limit

Counts

204 → 178

prune177.0ms (1.6%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	176	15	191

Error

5.6b

Counts

191 → 15

Alt Table

Status	Error	Program
	45.3b	(.f64 (.f64 (*.f64 (/.f64 a b) c) -3/2) (/.f64 1/3 a))
	55.7b	(*.f64 (-.f64 b b) (/.f64 1/3 a))
✓	32.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
✓	32.9b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (/.f64 1 (.f64 a -3)))
	46.0b	(.f64 (-.f64 b (-.f64 (.f64 3/2 (/.f64 a (/.f64 b c))) b)) (/.f64 1 (*.f64 a -3)))
	39.1b	(*.f64 -1/2 (/.f64 c b))
	33.3b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a -3)) 2) -1) (pow.f64 (cbrt.f64 (.f64 a -3)) -1)))
	33.4b	(/.f64 (/.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) 1/3) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	46.1b	(/.f64 (+.f64 (neg.f64 b) (-.f64 (.f64 3/2 (.f64 (/.f64 a b) c)) b)) (*.f64 3 a))
	47.6b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	43.1b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	45.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	33.1b	(/.f64 1 (/.f64 a (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) 1/3)))
	45.9b	(-.f64 (.f64 1/2 (/.f64 c b)) (.f64 2/3 (/.f64 b a)))
▶	33.1b	(/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 a 3))

Compiler

Compiled 5863 to 3994 computations (31.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 a 3))
✓	0.2b	(.f64 a (.f64 c -3))
✓	0.8b	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
✓	13.9b	(sqrt.f64 (.f64 a (.f64 c -3)))

series258.0ms (2.4%)

Counts

4 → 48

Calls

4 calls:

144.0ms	(/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 a 3))
94.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
15.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))
4.0ms	(.f64 a (.f64 c -3))

rewrite183.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

937×	`prod-diff_binary64`
458×	`egg-rr`
141×	`add-sqr-sqrt_binary64`
134×	`log1p-expm1-u_binary64`
134×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	285	52
2	3876	52

Stop Event

1×	node limit

Counts

4 → 458

Calls

4 calls:

166.0ms	(/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 a 3))
166.0ms	(.f64 a (.f64 c -3))
166.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
166.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))

simplify54.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

720×	`times-frac_binary64`
383×	`associate-/l*_binary64`
336×	`associate-/r*_binary64`
278×	`associate-r_binary64`
251×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1172
1	328	1086
2	1072	1029

Stop Event

1×	node limit

Counts

506 → 508

prune560.0ms (5.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	503	5	508
Fresh	4	8	12
Picked	1	0	1
Done	0	2	2
Total	508	15	523

Error

3.4b

Counts

523 → 15

Alt Table

Status	Error	Program
	45.3b	(.f64 (.f64 (*.f64 (/.f64 a b) c) -3/2) (/.f64 1/3 a))
	55.7b	(*.f64 (-.f64 b b) (/.f64 1/3 a))
✓	32.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
	47.7b	(/.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 (.f64 c -3)) (sqrt.f64 a))) b) (*.f64 a 3))
✓	32.9b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (/.f64 1 (.f64 a -3)))
	46.0b	(.f64 (-.f64 b (-.f64 (.f64 3/2 (/.f64 a (/.f64 b c))) b)) (/.f64 1 (*.f64 a -3)))
	33.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) (/.f64 1/3 a)))
	39.1b	(*.f64 -1/2 (/.f64 c b))
	33.3b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a -3)) 2) -1) (pow.f64 (cbrt.f64 (.f64 a -3)) -1)))
	38.3b	(+.f64 (fma.f64 1 (.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) (/.f64 1/3 a)) (neg.f64 (.f64 (/.f64 b 3) (/.f64 1 a)))) (fma.f64 (neg.f64 (/.f64 b 3)) (/.f64 1 a) (*.f64 (/.f64 b 3) (/.f64 1 a))))
	33.4b	(/.f64 (/.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) 1/3) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	46.1b	(/.f64 (+.f64 (neg.f64 b) (-.f64 (.f64 3/2 (.f64 (/.f64 a b) c)) b)) (*.f64 3 a))
	33.1b	(pow.f64 (.f64 3 (/.f64 a (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -3)))) b))) -1)
	45.6b	(*.f64 (/.f64 b a) -2/3)
	45.6b	(/.f64 (.f64 -2 b) (.f64 3 a))

Compiler

Compiled 23935 to 16163 computations (32.5% saved)

regimes5.1s (47.2%)

Accuracy

Total 7.6b remaining (74.1%)

Threshold costs 0b (0%)

Counts

214 → 3

Compiler

Compiled 22635 to 16181 computations (28.5% saved)

bsearch81.0ms (0.7%)

Steps

Iters	Range		Point
9	5.211169280083627e-38	4.231882444955968e-33	7.586865080956008e-35
3	-3.4658519146892216e+158	-2.0940281063362988e+144	-1.5621525294355644e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	52
1	32	52

Stop Event

1×

saturated

end211.0ms (1.9%)

Compiler: Compiled 366 to 262 computations (28.4% saved)

Details

analyze658.0ms (6.1%)

sample2.4s (22.5%)

simplify34.0ms (0.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series121.0ms (1.1%)

rewrite69.0ms (0.6%)

simplify48.0ms (0.4%)

prune185.0ms (1.7%)

localize9.0ms (0.1%)

series114.0ms (1%)

rewrite72.0ms (0.7%)

simplify44.0ms (0.4%)

prune186.0ms (1.7%)

localize11.0ms (0.1%)

series71.0ms (0.6%)

rewrite70.0ms (0.6%)

simplify52.0ms (0.5%)

prune177.0ms (1.6%)

localize9.0ms (0.1%)

series258.0ms (2.4%)

rewrite183.0ms (1.7%)

simplify54.0ms (0.5%)

prune560.0ms (5.2%)

regimes5.1s (47.2%)

bsearch81.0ms (0.7%)

simplify2.0ms (0%)

end211.0ms (1.9%)

Profiling