Details

analyze962.0ms (11.2%)

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
34.7%	55.4%	9.9%	9
36.1%	51.1%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.3s (27.2%)

Results

661.0ms	5369×	body	128	valid
549.0ms	1183×	body	2048	valid
286.0ms	758×	body	1024	valid
229.0ms	422×	body	4096	valid
127.0ms	1116×	body	128	invalid
96.0ms	335×	body	512	valid
39.0ms	189×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

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

35.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	35.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.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	21.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series183.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

76.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
52.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
46.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
9.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite131.0ms (1.5%)

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:

8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify261.0ms (3%)

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

prune153.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	225	12	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	226	12	238

Error

6.0b

Counts

238 → 12

Alt Table

Status	Error	Program
	44.0b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
▶	33.0b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
	34.9b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	39.2b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	33.5b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	33.1b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	47.6b	(/.f64 (-.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 b_2 b_2)) (.f64 a (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	35.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.0b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.3b	(*.f64 -1/2 (/.f64 c b_2))
	46.5b	(/.f64 (*.f64 -2 b_2) a)

Compiler

Compiled 5969 to 1726 computations (71.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)
✓	0.5b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	13.5b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series492.0ms (5.7%)

Counts

4 → 38

Calls

4 calls:

216.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
149.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
108.0ms	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)
19.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
9×	`prod-diff_binary64`

Counts

4 → 98

Calls

4 calls:

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

simplify117.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

713×	`fma-def_binary64`
405×	`fma-neg_binary64`
351×	`cancel-sign-sub-inv_binary64`
265×	`div-sub_binary64`
202×	`associate-/l/_binary64`

Counts

136 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	248	3637
1	595	3108
2	1974	2972
3	4571	2968
4	5093	2968

prune98.0ms (1.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	172	3	175
Fresh	4	7	11
Picked	0	1	1
Done	0	0	0
Total	176	11	187

Error

0.1b

Counts

187 → 11

Alt Table

Status	Error	Program
	44.0b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
✓	33.0b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
▶	33.1b	(/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2) a)
	33.5b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	47.6b	(/.f64 (-.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 b_2 b_2)) (.f64 a (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	35.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.0b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.3b	(*.f64 -1/2 (/.f64 c b_2))
	45.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)
	47.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)

Compiler

Compiled 4543 to 1427 computations (68.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2) a)
✓	0.3b	(.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))))
✓	0.5b	(-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2)
	13.5b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series384.0ms (4.5%)

Counts

3 → 24

Calls

3 calls:

215.0ms

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

151.0ms

(-.f64 (hypot.f64 (*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2)

18.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))))

rewrite35.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

98×	`sqrt-prod_binary64`
89×	`add-sqr-sqrt_binary64`
43×	`*-un-lft-identity_binary64`
33×	`add-cube-cbrt_binary64`
32×	`sqrt-pow1_binary64`

Counts

3 → 164

Calls

3 calls:

10.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))))

6.0ms

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

3.0ms

(-.f64 (hypot.f64 (*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2)

simplify161.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-def_binary64`
365×	`fma-neg_binary64`
318×	`cancel-sign-sub-inv_binary64`
269×	`div-sub_binary64`
211×	`distribute-rgt-neg-in_binary64`

Counts

188 → 242

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	287	4193
1	619	3570
2	2264	3439
3	4316	3421
4	4890	3403
5	4883	3403

prune150.0ms (1.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	279	1	280
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	279	12	291

Error

0.1b

Counts

291 → 12

Alt Table

Status	Error	Program
	44.0b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
✓	33.0b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
✓	33.1b	(/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2) a)
▶	33.5b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	45.4b	(/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 c))) (sqrt.f64 (sqrt.f64 (neg.f64 c)))) (*.f64 (sqrt.f64 (sqrt.f64 a)) (sqrt.f64 (sqrt.f64 a)))) b_2) b_2) a)
	47.6b	(/.f64 (-.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 b_2 b_2)) (.f64 a (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	35.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.0b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.3b	(*.f64 -1/2 (/.f64 c b_2))
	45.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)
	47.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)

Compiler

Compiled 8079 to 1965 computations (75.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series89.0ms (1%)

Counts

2 → 24

Calls

2 calls:

48.0ms	(cbrt.f64 a)
41.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`cbrt-prod_binary64`
19×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

10.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
1.0ms	(cbrt.f64 a)

simplify89.0ms (1%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	600
1	98	524
2	296	486
3	769	472
4	1799	410
5	4649	410
6	4805	410

prune89.0ms (1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	0	9	9
Picked	1	0	1
Done	0	2	2
Total	185	13	198

Error

0.1b

Counts

198 → 13

Alt Table

Status	Error	Program
	44.0b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
	45.5b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
✓	33.0b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
	47.6b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	47.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)
✓	33.1b	(/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2) a)
	45.4b	(/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 c))) (sqrt.f64 (sqrt.f64 (neg.f64 c)))) (*.f64 (sqrt.f64 (sqrt.f64 a)) (sqrt.f64 (sqrt.f64 a)))) b_2) b_2) a)
	47.6b	(/.f64 (-.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 b_2 b_2)) (.f64 a (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	35.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	42.0b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.3b	(*.f64 -1/2 (/.f64 c b_2))
	45.3b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)

Compiler

Compiled 4951 to 1253 computations (74.7% saved)

regimes2.5s (28.8%)

Accuracy

Total 10.7b remaining (98.9%)

Threshold costs 0b (0%)

Counts

122 → 3

Compiler

Compiled 11196 to 5970 computations (46.7% saved)

bsearch76.0ms (0.9%)

Steps

Iters	Range		Point
8	3.5907500521455914e-131	1.1967527942565637e-128	1.1278526500339968e-128
8	-1.6793904482898417e+44	-1.0360115977548017e+40	-1.655034185872448e+44

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	52
1	40	52
2	52	52
3	60	52
4	65	52
5	66	52
6	64	52

end154.0ms (1.8%)

Compiler: Compiled 320 to 187 computations (41.6% saved)

Details

analyze962.0ms (11.2%)

sample2.3s (27.2%)

simplify88.0ms (1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series183.0ms (2.1%)

rewrite131.0ms (1.5%)

simplify261.0ms (3%)

prune153.0ms (1.8%)

localize9.0ms (0.1%)

series492.0ms (5.7%)

rewrite15.0ms (0.2%)

simplify117.0ms (1.4%)

prune98.0ms (1.1%)

localize10.0ms (0.1%)

series384.0ms (4.5%)

rewrite35.0ms (0.4%)

simplify161.0ms (1.9%)

prune150.0ms (1.7%)

localize11.0ms (0.1%)

series89.0ms (1%)

rewrite17.0ms (0.2%)

simplify89.0ms (1%)

prune89.0ms (1%)

regimes2.5s (28.8%)

bsearch76.0ms (0.9%)

simplify4.0ms (0%)

end154.0ms (1.8%)

Profiling