Details

analyze180.0ms (4.9%)

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%	74.9%	25.1%	4
12.5%	62.4%	25.1%	5
31.2%	31.2%	37.6%	6
37.5%	25%	37.6%	7
40.6%	15.6%	43.8%	8
42.9%	11.7%	45.4%	9
44.1%	7.4%	48.5%	10
45.1%	5.7%	49.3%	11
45.6%	3.6%	50.8%	12
46%	2.8%	51.2%	13
46.2%	1.8%	52%	14

Compiler

Compiled 17 to 14 computations (17.6% saved)

sample24.0ms (0.7%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
0.0ms	5×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 35 to 29 computations (17.1% saved)

simplify180.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1205×	`fma-neg_binary64`
900×	`fma-def_binary64`
326×	`associate-/l*_binary64`
318×	`cancel-sign-sub-inv_binary64`
290×	`distribute-rgt-neg-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	28	18
2	68	18
3	145	16
4	257	16
5	411	16
6	861	16
7	1371	16
8	2386	16
9	2493	16
10	2675	16
11	2607	16
12	2581	16
13	2581	16
14	3531	16
15	3364	16
16	3364	16
17	3364	16
18	3364	16
19	3171	16

prune4.0ms (0.1%)

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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
▶	0.4b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))

Compiler

Compiled 85 to 66 computations (22.4% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 y (/.f64 1 (*.f64 x 9)))
✓	0.2b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
✓	0.3b	(*.f64 3 (sqrt.f64 x))
✓	0.4b	(/.f64 1 (*.f64 x 9))

series43.0ms (1.2%)

Counts

4 → 48

Calls

4 calls:

30.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
7.0ms	(*.f64 3 (sqrt.f64 x))
5.0ms	(+.f64 y (/.f64 1 (*.f64 x 9)))
2.0ms	(/.f64 1 (*.f64 x 9))

rewrite34.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
37×	`add-sqr-sqrt_binary64`
30×	`prod-diff_binary64`
29×	`add-cube-cbrt_binary64`
22×	`add-exp-log_binary64`

Counts

4 → 140

Calls

4 calls:

13.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
4.0ms	(+.f64 y (/.f64 1 (*.f64 x 9)))
4.0ms	(*.f64 3 (sqrt.f64 x))
3.0ms	(/.f64 1 (*.f64 x 9))

simplify76.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

625×	`times-frac_binary64`
456×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
305×	`fma-def_binary64`
290×	`associate-/l*_binary64`

Counts

188 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2841
1	412	2251
2	1241	2225
3	5098	2225

prune188.0ms (5.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	161	10	171
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	162	11	173

Error

0.0b

Counts

173 → 11

Alt Table

Status	Error	Program
▶	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 3 (sqrt.f64 x)))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1)))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	1.3b	(.f64 (.f64 (.f64 3 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	35.4b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1)) (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	0.4b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1/9 x)) 1))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	22.1b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

Compiler

Compiled 4425 to 3324 computations (24.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 y (sqrt.f64 x))
✓	0.3b	(.f64 3 (.f64 y (sqrt.f64 x)))
	0.3b	(*.f64 3 (sqrt.f64 x))
✓	0.4b	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))

series32.0ms (0.9%)

Counts

3 → 0

Calls

3 calls:

13.0ms	(.f64 3 (.f64 y (sqrt.f64 x)))
10.0ms	(*.f64 y (sqrt.f64 x))
8.0ms	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))

rewrite19.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
23×	`associate-r_binary64`
20×	`sqrt-prod_binary64`
17×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`

Counts

3 → 81

Calls

3 calls:

6.0ms	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))
5.0ms	(.f64 3 (.f64 y (sqrt.f64 x)))
4.0ms	(*.f64 y (sqrt.f64 x))

simplify105.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

923×	`fma-def_binary64`
458×	`unswap-sqr_binary64`
457×	`associate-l_binary64`
344×	`*-commutative_binary64`
324×	`associate-/r*_binary64`

Counts

81 → 114

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	112	894
1	200	843
2	485	842
3	1076	842
4	1485	842
5	2218	801
6	2929	801
7	3312	801
8	4823	801
9	4913	801

prune179.0ms (4.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	140	10	150

Error

0.0b

Counts

150 → 10

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1)))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	1.3b	(.f64 (.f64 (.f64 3 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 (.f64 1/3 (sqrt.f64 (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 3 (sqrt.f64 x)))
	22.1b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
▶	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (sqrt.f64 x) (cbrt.f64 3))))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

Compiler

Compiled 3759 to 2415 computations (35.8% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 y (sqrt.f64 x))
	0.3b	(.f64 3 (.f64 y (sqrt.f64 x)))
	0.4b	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))
✓	0.4b	(*.f64 (sqrt.f64 x) (cbrt.f64 3))

series9.0ms (0.3%)

Counts

1 → 0

Calls

1 calls:

9.0ms

(*.f64 (sqrt.f64 x) (cbrt.f64 3))

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
5×	`sqrt-prod_binary64`
5×	`cbrt-prod_binary64`

Counts

1 → 29

Calls

1 calls:

5.0ms

(*.f64 (sqrt.f64 x) (cbrt.f64 3))

simplify74.0ms (2%)

Algorithm

1×	egg-herbie

Rules

610×	`unswap-sqr_binary64`
282×	`associate-l_binary64`
281×	`log-div_binary64`
227×	`sqr-pow_binary64`
209×	`*-commutative_binary64`

Counts

29 → 29

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	362
1	74	342
2	173	342
3	247	338
4	320	338
5	475	338
6	839	338
7	1997	338
8	3463	338
9	4744	338
10	4823	338

prune181.0ms (4.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	143	10	153

Error

0.0b

Counts

153 → 10

Alt Table

Status	Error	Program
	9.9b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (cbrt.f64 (.f64 x (*.f64 (sqrt.f64 x) 3)))))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1)))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	1.3b	(.f64 (.f64 (.f64 3 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 (.f64 1/3 (sqrt.f64 (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 3 (sqrt.f64 x)))
	22.1b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
✓	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (sqrt.f64 x) (cbrt.f64 3))))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
▶	0.4b	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

Compiler

Compiled 4848 to 3461 computations (28.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(+.f64 y (/.f64 1 (*.f64 x 9)))
✓	0.2b	(.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
✓	0.3b	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	0.4b	(/.f64 1 (*.f64 x 9))

series49.0ms (1.3%)

Counts

2 → 24

Calls

2 calls:

28.0ms	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
21.0ms	(.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

rewrite47.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

122×	`*-un-lft-identity_binary64`
100×	`distribute-lft-in_binary64`
100×	`distribute-rgt-in_binary64`
90×	`prod-diff_binary64`
68×	`add-sqr-sqrt_binary64`

Counts

2 → 174

Calls

2 calls:

14.0ms	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
11.0ms	(.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

simplify159.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

593×	`distribute-rgt-in_binary64`
565×	`distribute-lft-in_binary64`
312×	`fma-neg_binary64`
302×	`times-frac_binary64`
271×	`*-commutative_binary64`

Counts

198 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	4787
1	319	3611
2	906	3392
3	3318	3385
4	4791	3385
5	5002	3385

prune271.0ms (7.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	248	3	251
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	250	11	261

Error

0.0b

Counts

261 → 11

Alt Table

Status	Error	Program
	9.9b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (cbrt.f64 (.f64 x (*.f64 (sqrt.f64 x) 3)))))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	0.6b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	1.3b	(.f64 (.f64 (.f64 3 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
✓	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (sqrt.f64 x) (cbrt.f64 3))))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
✓	0.4b	(.f64 3 (.f64 (sqrt.f64 x) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 (/.f64 1/9 x) y) -3))) (cbrt.f64 (.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 (/.f64 1/9 x) y) -3)))) (cbrt.f64 (*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 (/.f64 1/9 x) y) -3))))
	34.9b	(.f64 3 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (+.f64 (-.f64 (/.f64 1/9 x) 1) y)) 3)))
	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 (.f64 1/3 (sqrt.f64 (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 3 (sqrt.f64 x)))
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))

Compiler

Compiled 6699 to 5088 computations (24% saved)

regimes868.0ms (23.7%)

Accuracy

Total 0.3b remaining (90.6%)

Threshold costs 0.3b (90.6%)

Counts

189 → 1

Compiler

Compiled 13046 to 10181 computations (22% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	16	19
2	15	19

end1.0ms (0%)

Compiler: Compiled 15 to 12 computations (20% saved)

sample892.0ms (24.3%)

Algorithm

1×

intervals

Results

450.0ms	8000×	body	128	valid
7.0ms	136×	body	128	nan
3.0ms	62×	body	128	invalid

Compiler

Compiled 293 to 226 computations (22.9% saved)

Details

analyze180.0ms (4.9%)

sample24.0ms (0.7%)

simplify180.0ms (4.9%)

prune4.0ms (0.1%)

localize8.0ms (0.2%)

series43.0ms (1.2%)

rewrite34.0ms (0.9%)

simplify76.0ms (2.1%)

prune188.0ms (5.1%)

localize10.0ms (0.3%)

series32.0ms (0.9%)

rewrite19.0ms (0.5%)

simplify105.0ms (2.9%)

prune179.0ms (4.9%)

localize16.0ms (0.4%)

series9.0ms (0.3%)

rewrite6.0ms (0.2%)

simplify74.0ms (2%)

prune181.0ms (4.9%)

localize8.0ms (0.2%)

series49.0ms (1.3%)

rewrite47.0ms (1.3%)

simplify159.0ms (4.3%)

prune271.0ms (7.4%)

regimes868.0ms (23.7%)

simplify2.0ms (0.1%)

end1.0ms (0%)

sample892.0ms (24.3%)

Profiling