Details

analyze2.2s (21.5%)

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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample3.3s (32%)

Symmetry

(sort c s)

Results

1.2s	6274×	body	128	valid
733.0ms	988×	body	1024	valid
394.0ms	1933×	body	128	invalid
326.0ms	643×	body	512	valid
145.0ms	201×	body	1024	invalid
131.0ms	231×	body	512	invalid
109.0ms	348×	body	256	valid
53.0ms	163×	body	256	invalid
4.0ms	3×	body	2048	valid

Compiler

Compiled 59 to 44 computations (25.4% saved)

simplify127.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

750×	`unswap-sqr_binary64`
704×	`sqr-pow_binary64`
582×	`*-commutative_binary64`
574×	`fabs-mul_binary64`
502×	`cube-prod_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	29	24
2	68	24
3	214	24
4	833	24
5	1367	24
6	2084	24
7	2149	24
8	2230	24
9	2331	24
10	2464	24
11	2501	24
12	2580	24
13	2853	24
14	3277	24
15	3804	24
16	4518	24
17	4911	24

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

28.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	28.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))

Compiler

Compiled 73 to 51 computations (30.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
✓	3.4b	(.f64 (.f64 x (pow.f64 s 2)) x)
✓	8.6b	(*.f64 x (pow.f64 s 2))
✓	19.1b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

series210.0ms (2%)

Counts

4 → 120

Calls

4 calls:

152.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
38.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
11.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
9.0ms	(*.f64 x (pow.f64 s 2))

rewrite279.0ms (2.7%)

Algorithm

4×	egg-rewrite

Rules

65×	`egg`
51×	`egg`
41×	`egg`
38×	`egg`

Counts

4 → 195

Calls

4 calls:

103.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
80.0ms	(*.f64 x (pow.f64 s 2))
47.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
45.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	203	16
2	2157	16
3	4946	16
0	6	7
1	121	7
2	1230	7
3	4870	7
4	6293	7
0	7	10
1	141	10
2	1481	7
3	5455	7
0	13	24
1	275	24
2	3342	24
3	4862	24
4	5046	24

simplify88.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

877×	`associate-/l*_binary64`
439×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
359×	`unswap-sqr_binary64`
272×	`fma-neg_binary64`

Counts

315 → 207

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	37	1932
1	96	1930
2	310	1930
3	1464	1925
4	4903	1923
5	4968	1923

prune227.0ms (2.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	195	12	207
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	196	12	208

Error

7.7b

Counts

208 → 12

Alt Table

Status	Error	Program
	35.5b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x)))))
	20.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x s)) 2) 3)))
	33.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
	43.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (pow.f64 (.f64 s (sqrt.f64 x)) 2) x)))
	40.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))) (.f64 (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))) (.f64 c c))))
	35.6b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	22.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 x (.f64 x (.f64 s s))))))
	27.9b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 x (.f64 x (.f64 s s))))
	27.0b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) x) (.f64 x (*.f64 s s)))
	45.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 (.f64 c c) (.f64 x (*.f64 s s))) (sqrt.f64 x)) (sqrt.f64 x)))
▶	20.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (*.f64 x s) 2)))
	44.7b	(pow.f64 (/.f64 (sqrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))) 2)

Compiler

Compiled 4983 to 2089 computations (58.1% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (*.f64 x s) 2)
✓	0.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (*.f64 x s) 2)))
✓	19.1b	(.f64 (pow.f64 c 2) (pow.f64 (.f64 x s) 2))

series199.0ms (1.9%)

Counts

3 → 96

Calls

3 calls:

154.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (*.f64 x s) 2)))
37.0ms	(.f64 (pow.f64 c 2) (pow.f64 (.f64 x s) 2))
8.0ms	(pow.f64 (*.f64 x s) 2)

rewrite193.0ms (1.9%)

Algorithm

3×	egg-rewrite

Rules

63×	`egg`
54×	`egg`
34×	`egg`

Counts

3 → 151

Calls

3 calls:

81.0ms	(pow.f64 (*.f64 x s) 2)
62.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (*.f64 x s) 2)))
46.0ms	(.f64 (pow.f64 c 2) (pow.f64 (.f64 x s) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	186	10
2	1892	10
3	4956	10
0	12	18
1	258	18
2	3052	18
3	5641	18
0	6	7
1	124	7
2	1250	7
3	4902	7
4	6409	7

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

877×	`associate-/l*_binary64`
439×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
355×	`unswap-sqr_binary64`
272×	`fma-neg_binary64`

Counts

247 → 164

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	1764
1	94	1762
2	308	1762
3	1460	1757
4	4891	1755
5	4956	1755

prune306.0ms (3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	152	12	164
Fresh	9	2	11
Picked	1	0	1
Done	0	0	0
Total	162	14	176

Error

1.5b

Counts

176 → 14

Alt Table

Status	Error	Program
	20.0b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (pow.f64 (.f64 x s) 2))
	23.7b	(/.f64 (cos.f64 (.f64 2 x)) (cbrt.f64 (pow.f64 (pow.f64 (.f64 c (*.f64 x s)) 2) 3)))
	2.5b	(pow.f64 (cbrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (.f64 x s)) 2))) 3)
	12.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (pow.f64 (.f64 x s) 2))))
	2.2b	(/.f64 1 (/.f64 (pow.f64 (.f64 c (.f64 x s)) 2) (cos.f64 (+.f64 x x))))
	22.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 x (.f64 x (.f64 s s))))))
	20.1b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (pow.f64 (.f64 x s) 2)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c c)))
	2.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (*.f64 x s)) 2)) 3))
	20.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x s)) 2) 3)))
	18.5b	(.f64 (cbrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (.f64 x s)) 2))) (cbrt.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2) (pow.f64 (.f64 c (*.f64 x s)) 4))))
	2.0b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (pow.f64 (.f64 c (.f64 x s)) -2)))
	20.0b	(pow.f64 (/.f64 (sqrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 x s))) 2)
▶	1.8b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 x s)) -2))
	18.5b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 4))) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 2)))

Compiler

Compiled 3674 to 1910 computations (48% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 x s)) -2))
✓	0.3b	(pow.f64 (.f64 c (.f64 x s)) -2)
✓	2.8b	(.f64 c (.f64 x s))

series282.0ms (2.8%)

Counts

3 → 108

Calls

3 calls:

160.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 x s)) -2))
61.0ms	(.f64 c (.f64 x s))
61.0ms	(pow.f64 (.f64 c (.f64 x s)) -2)

rewrite245.0ms (2.4%)

Algorithm

3×	egg-rewrite

Rules

60×	`egg`
31×	`egg`
24×	`egg`

Counts

3 → 115

Calls

3 calls:

151.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 x s)) -2))
47.0ms	(.f64 c (.f64 x s))
45.0ms	(pow.f64 (.f64 c (.f64 x s)) -2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	119	7
2	1412	7
3	5368	7
0	8	10
1	169	10
2	1939	10
3	4917	10
0	11	18
1	241	18
2	2831	18
3	4843	18
4	4753	18
5	4997	18
6	4866	18

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

874×	`associate-/l*_binary64`
439×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
334×	`unswap-sqr_binary64`
272×	`fma-neg_binary64`

Counts

223 → 128

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	1884
1	106	1882
2	311	1882
3	1432	1877
4	4856	1875
5	4986	1875

prune248.0ms (2.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	122	6	128
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	127	15	142

Error

0.0b

Counts

142 → 15

Alt Table

Status	Error	Program
	20.0b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (pow.f64 (.f64 x s) 2))
	23.7b	(/.f64 (cos.f64 (.f64 2 x)) (cbrt.f64 (pow.f64 (pow.f64 (.f64 c (*.f64 x s)) 2) 3)))
	20.0b	(pow.f64 (/.f64 (sqrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 x s))) 2)
	2.2b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (*.f64 x s)) -2)) 3))
▶	2.1b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 s c)) -2))
	12.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (pow.f64 (.f64 x s) 2))))
	3.2b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
	18.5b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 4))) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 2)))
	2.7b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 s (*.f64 c x)) -2))
	2.2b	(/.f64 1 (/.f64 (pow.f64 (.f64 c (.f64 x s)) 2) (cos.f64 (+.f64 x x))))
	22.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 x (.f64 x (.f64 s s))))))
	20.1b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (pow.f64 (.f64 x s) 2)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c c)))
	2.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (*.f64 x s)) 2)) 3))
	22.5b	(.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c x) -2) (pow.f64 s -2)))
	19.7b	(.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 c -2) (pow.f64 (*.f64 x s) -2)))

Compiler

Compiled 2903 to 1284 computations (55.8% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 s c)) -2))
✓	0.3b	(pow.f64 (.f64 x (.f64 s c)) -2)
✓	4.2b	(.f64 x (.f64 s c))

series273.0ms (2.7%)

Counts

3 → 108

Calls

3 calls:

184.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 s c)) -2))
80.0ms	(pow.f64 (.f64 x (.f64 s c)) -2)
8.0ms	(.f64 x (.f64 s c))

rewrite238.0ms (2.3%)

Algorithm

3×	egg-rewrite

Rules

60×	`egg`
31×	`egg`
24×	`egg`

Counts

3 → 115

Calls

3 calls:

146.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 s c)) -2))
45.0ms	(.f64 x (.f64 s c))
45.0ms	(pow.f64 (.f64 x (.f64 s c)) -2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	119	7
2	1412	7
3	5368	7
0	8	10
1	169	10
2	1939	10
3	4917	10
0	11	18
1	241	18
2	2831	18
3	4843	18
4	4753	18
5	4997	18
6	4866	18

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

874×	`associate-/l*_binary64`
439×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
334×	`unswap-sqr_binary64`
272×	`fma-neg_binary64`

Counts

223 → 128

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	1884
1	106	1882
2	311	1882
3	1432	1877
4	4856	1875
5	4986	1875

prune176.0ms (1.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	128	15	143

Error

0.0b

Counts

143 → 15

Alt Table

Status	Error	Program
	19.7b	(.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 x -2)) (pow.f64 (*.f64 s c) -2))
	17.5b	(.f64 (cos.f64 (+.f64 x x)) (.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 s c)) -2)) (cbrt.f64 (pow.f64 (.f64 x (.f64 s c)) -4))))
	19.7b	(.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 c -2) (pow.f64 (*.f64 x s) -2)))
	20.0b	(pow.f64 (/.f64 (sqrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 x s))) 2)
	2.2b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (*.f64 x s)) -2)) 3))
✓	2.1b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 s c)) -2))
	12.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (pow.f64 (.f64 x s) 2))))
	3.2b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
	23.7b	(/.f64 (cos.f64 (.f64 2 x)) (cbrt.f64 (pow.f64 (pow.f64 (.f64 c (*.f64 x s)) 2) 3)))
	2.2b	(/.f64 1 (/.f64 (pow.f64 (.f64 c (.f64 x s)) 2) (cos.f64 (+.f64 x x))))
	22.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 x (.f64 x (.f64 s s))))))
	20.1b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (pow.f64 (.f64 x s) 2)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c c)))
	2.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (*.f64 x s)) 2)) 3))
	22.5b	(.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c x) -2) (pow.f64 s -2)))
	18.5b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 4))) (cbrt.f64 (pow.f64 (.f64 c (.f64 x s)) 2)))

Compiler

Compiled 2639 to 1107 computations (58.1% saved)

regimes1.0s (10.1%)

Accuracy

Total 2.4b remaining (96%)

Threshold costs 0b (0%)

Counts

132 → 1

Compiler

Compiled 17248 to 11264 computations (34.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	14	18
2	14	18

end338.0ms (3.3%)

Compiler: Compiled 344 to 229 computations (33.4% saved)

Details

analyze2.2s (21.5%)

sample3.3s (32%)

simplify127.0ms (1.2%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series210.0ms (2%)

rewrite279.0ms (2.7%)

simplify88.0ms (0.9%)

prune227.0ms (2.2%)

localize10.0ms (0.1%)

series199.0ms (1.9%)

rewrite193.0ms (1.9%)

simplify83.0ms (0.8%)

prune306.0ms (3%)

localize8.0ms (0.1%)

series282.0ms (2.8%)

rewrite245.0ms (2.4%)

simplify85.0ms (0.8%)

prune248.0ms (2.4%)

localize14.0ms (0.1%)

series273.0ms (2.7%)

rewrite238.0ms (2.3%)

simplify91.0ms (0.9%)

prune176.0ms (1.7%)

regimes1.0s (10.1%)

simplify2.0ms (0%)

end338.0ms (3.3%)

Profiling