Details

analyze3.0s (18.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.8%	99.2%	0
0%	0.8%	99.2%	1
0%	0.8%	99.2%	2
0%	0.8%	99.2%	3
0%	0.8%	99.2%	4
0%	0.8%	99.2%	5
0.2%	0.4%	99.4%	6
0.2%	0.4%	99.4%	7
0.2%	0.4%	99.4%	8
0.2%	0.4%	99.4%	9
0.3%	0.2%	99.5%	10
0.3%	0.2%	99.5%	11
0.3%	0.2%	99.5%	12
0.3%	0.2%	99.5%	13
0.3%	0.1%	99.6%	14

Compiler

Compiled 62 to 45 computations (27.4% saved)

sample6.4s (38.5%)

Results

5.5s	8256×	body	128	valid
750.0ms	1042×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify213.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2213×	`fma-def_binary32`
1110×	`div-sub_binary32`
1069×	`fma-neg_binary32`
619×	`times-frac_binary32`
350×	`sub-neg_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	38	31
2	78	31
3	137	26
4	203	26
5	232	26
6	274	26
7	372	26
8	432	26
9	523	26
10	666	26
11	1121	26
12	2051	26
13	2034	26
14	2092	26
15	2417	26
16	2722	26
17	2897	26
18	2169	26
19	2439	26
20	2299	26
21	2299	26
22	2299	26
23	2299	26
24	2299	26
25	2299	26
26	2114	26

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

0.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.9b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Status

Error

Program

▶

0.9b

(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

8.7b

(/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 146 to 95 computations (34.9% saved)

localize175.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
✓	0.1b	(*.f32 (-.f32 1 u) normAngle)
✓	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	1.6b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

series323.0ms (1.9%)

Counts

4 → 108

Calls

4 calls:

199.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
65.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
50.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
8.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite139.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

342×	`log1p-udef_binary32`
194×	`add-sqr-sqrt_binary32`
180×	`log1p-expm1-u_binary32`
180×	`expm1-log1p-u_binary32`
177×	`add-cbrt-cube_binary32`

Counts

4 → 113

Calls

4 calls:

133.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
133.0ms	(*.f32 (-.f32 1 u) normAngle)
133.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
133.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	63
1	384	63
2	4904	63
3	5439	63
0	0	0
1	0	0

simplify154.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

495×	`fma-def_binary32`
451×	`associate-r_binary32`
384×	`associate-+r+_binary32`
284×	`associate-l_binary32`
269×	`+-commutative_binary32`

Counts

221 → 168

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	314	3470
1	1081	3419
2	4291	3415
3	5003	3415

prune531.0ms (3.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	164	4	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	165	5	170

Error

Counts

170 → 5

Alt Table

Status	Error	Program
	0.7b	(fma.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)) n1_i (.f32 (/.f32 (sin.f32 (*.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle)) n0_i))
▶	0.3b	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
	1.0b	(+.f32 (.f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 normAngle (-.f32 1 u)))) (/.f32 (sin.f32 normAngle) (sqrt.f32 (sin.f32 (.f32 normAngle (-.f32 1 u)))))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.9b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 6904 to 3684 computations (46.6% saved)

localize225.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (pow.f32 u 3) (.f32 (*.f32 normAngle normAngle) n0_i))
✓	0.1b	(.f32 (.f32 normAngle normAngle) n0_i)
✓	0.1b	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
✓	0.1b	(.f32 (pow.f32 u 3) (.f32 normAngle normAngle))

series551.0ms (3.3%)

Counts

4 → 132

Calls

4 calls:

437.0ms	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
69.0ms	(.f32 (pow.f32 u 3) (.f32 (*.f32 normAngle normAngle) n0_i))
26.0ms	(.f32 (pow.f32 u 3) (.f32 normAngle normAngle))
18.0ms	(.f32 (.f32 normAngle normAngle) n0_i)

rewrite99.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

275×	`log1p-expm1-u_binary32`
275×	`expm1-log1p-u_binary32`
272×	`add-cbrt-cube_binary32`
271×	`add-log-exp_binary32`
270×	`add-cube-cbrt_binary32`

Counts

4 → 63

Calls

4 calls:

93.0ms	(.f32 (pow.f32 u 3) (.f32 (*.f32 normAngle normAngle) n0_i))
93.0ms	(.f32 (.f32 normAngle normAngle) n0_i)
93.0ms	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
93.0ms	(.f32 (pow.f32 u 3) (.f32 normAngle normAngle))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	128
1	596	125
2	4955	125
0	0	0
1	0	0

simplify256.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

735×	`cancel-sign-sub-inv_binary32`
654×	`associate-l_binary32`
538×	`associate-r_binary32`
328×	`fma-neg_binary32`
288×	`sub-neg_binary32`

Counts

195 → 107

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	4194
1	449	3910
2	1593	3486
3	4447	3486
4	5028	3486

prune602.0ms (3.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	149	5	154

Error

Counts

154 → 5

Alt Table

Status	Error	Program
▶	0.4b	(+.f32 (.f32 u (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3)))) (+.f32 n0_i (.f32 u (-.f32 n1_i n0_i))))
	0.7b	(fma.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)) n1_i (.f32 (/.f32 (sin.f32 (*.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle)) n0_i))
✓	0.3b	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
	0.9b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 10950 to 4554 computations (58.4% saved)

localize110.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
✓	0.1b	(.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3)))
✓	0.3b	(*.f32 1/6 n1_i)
✓	0.3b	(*.f32 n0_i 1/3)

series56.0ms (0.3%)

Counts

4 → 84

Calls

4 calls:

35.0ms	(.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3)))
15.0ms	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
3.0ms	(*.f32 n0_i 1/3)
3.0ms	(*.f32 1/6 n1_i)

rewrite106.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

305×	`expm1-udef_binary32`
305×	`log1p-udef_binary32`
172×	`add-sqr-sqrt_binary32`
166×	`log1p-expm1-u_binary32`
166×	`expm1-log1p-u_binary32`

Counts

4 → 89

Calls

4 calls:

102.0ms	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
102.0ms	(.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3)))
102.0ms	(*.f32 1/6 n1_i)
102.0ms	(*.f32 n0_i 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	338	30
2	4426	30
3	5246	30
0	0	0
1	0	0

simplify327.0ms (2%)

Algorithm

1×	egg-herbie

Rules

753×	`fabs-mul_binary32`
751×	`fma-neg_binary32`
745×	`distribute-rgt-neg-in_binary32`
679×	`cube-prod_binary32`
594×	`distribute-lft-neg-in_binary32`

Counts

173 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	873
1	87	846
2	182	846
3	330	792
4	806	792
5	1479	792
6	2161	792
7	3474	792
8	4006	792
9	4069	792
10	4164	792
11	4250	792
12	4373	792
13	3319	792
14	3979	792
15	4408	792
16	4992	792
17	4881	792

prune415.0ms (2.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	109	4	113

Error

Counts

113 → 4

Alt Table

Status	Error	Program
▶	0.3b	(+.f32 (.f32 u (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (*.f32 n0_i 1/3)))) (fma.f32 u (-.f32 n1_i n0_i) n0_i))
✓	0.3b	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
	0.9b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 3033 to 1369 computations (54.9% saved)

localize190.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3))
	0.1b	(.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (.f32 n0_i 1/3)))
	0.3b	(*.f32 1/6 n1_i)
	0.3b	(*.f32 n0_i 1/3)

series7.0ms (0%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(+.f32 (*.f32 1/6 n1_i) (*.f32 n0_i 1/3))

rewrite61.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

806×	`log1p-expm1-u_binary32`
806×	`expm1-log1p-u_binary32`
152×	`log1p-udef_binary32`
85×	`add-sqr-sqrt_binary32`
80×	`add-log-exp_binary32`

Counts

1 → 39

Calls

1 calls:

59.0ms

(+.f32 (*.f32 1/6 n1_i) (*.f32 n0_i 1/3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	172	8
2	2048	8
3	5082	8
0	0	0
1	0	0

simplify18.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary32`
2×	`*-commutative_binary32`
1×	`+-commutative_binary32`

Counts

63 → 42

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	15	168
3	15	168

prune256.0ms (1.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	102	4	106

Error

Counts

106 → 4

Alt Table

Status	Error	Program
✓	0.3b	(+.f32 (.f32 u (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 n1_i) (*.f32 n0_i 1/3)))) (fma.f32 u (-.f32 n1_i n0_i) n0_i))
✓	0.3b	(-.f32 (fma.f32 1/2 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 u n1_i (fma.f32 1/6 (.f32 (.f32 normAngle normAngle) (.f32 u n1_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 (.f32 normAngle normAngle) n0_i)) n0_i)))) (fma.f32 1/6 (.f32 u (.f32 (.f32 normAngle normAngle) n0_i)) (fma.f32 1/6 (.f32 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) n1_i) (fma.f32 u n0_i (.f32 1/2 (.f32 (.f32 u u) (.f32 (.f32 normAngle normAngle) n0_i)))))))
	0.9b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 2740 to 1300 computations (52.6% saved)

regimes2.3s (13.4%)

Accuracy

Total 0.3b remaining (95%)

Threshold costs 0.3b (95%)

Counts

196 → 1

Compiler

Compiled 29463 to 18907 computations (35.8% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
4×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	24	29
2	29	29
3	31	29
4	32	29
5	32	29

end180.0ms (1.1%)

Compiler: Compiled 195 to 113 computations (42.1% saved)

Details

analyze3.0s (18.2%)

sample6.4s (38.5%)

simplify213.0ms (1.3%)

prune8.0ms (0%)

localize175.0ms (1%)

series323.0ms (1.9%)

rewrite139.0ms (0.8%)

simplify154.0ms (0.9%)

prune531.0ms (3.2%)

localize225.0ms (1.3%)

series551.0ms (3.3%)

rewrite99.0ms (0.6%)

simplify256.0ms (1.5%)

prune602.0ms (3.6%)

localize110.0ms (0.7%)

series56.0ms (0.3%)

rewrite106.0ms (0.6%)

simplify327.0ms (2%)

prune415.0ms (2.5%)

localize190.0ms (1.1%)

series7.0ms (0%)

rewrite61.0ms (0.4%)

simplify18.0ms (0.1%)

prune256.0ms (1.5%)

regimes2.3s (13.4%)

simplify5.0ms (0%)

end180.0ms (1.1%)

Profiling