Details

analyze1.6s (12.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
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
35.1%	55%	9.9%	9
36.3%	50.9%	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)

sample85.0ms (0.7%)

Algorithm

1×

intervals

Results

26.0ms	45×	body	2048	valid
20.0ms	169×	body	128	valid
8.0ms	19×	body	1024	valid
5.0ms	8×	body	4096	valid
3.0ms	9×	body	512	valid
2.0ms	22×	body	128	nan
1.0ms	6×	body	256	valid
1.0ms	6×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify100.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
428×	`fma-neg_binary64`
246×	`associate-/l*_binary64`
205×	`fma-def_binary64`
183×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	27	20
2	54	20
3	115	20
4	179	20
5	291	20
6	417	20
7	528	20
8	602	20
9	854	20
10	1802	20
11	1043	20
12	1027	20
13	1035	20
14	1043	20
15	1043	20
16	1101	20
17	1137	20
18	1139	20
19	1151	20
20	1046	20

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

35.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	35.9b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
✓	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.3b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	25.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite80.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
61×	`prod-diff_binary64`
60×	`add-cube-cbrt_binary64`
41×	`sqrt-prod_binary64`

Counts

4 → 176

Calls

4 calls:

22.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
16.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
6.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
6.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series455.0ms (3.5%)

Counts

4 → 96

Calls

4 calls:

247.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
92.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
72.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
43.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify590.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
181×	`unswap-sqr_binary64`
169×	`sub-neg_binary64`
135×	`associate-r_binary64`

Counts

272 → 521

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	8791
1	779	6792
2	2682	5750
3	4584	5750
4	4974	5750

prune361.0ms (2.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	509	12	521
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	510	12	522

Error

7.2b

Counts

522 → 12

Alt Table

Status	Error	Program
	44.1b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.9b	(/.f64 (*.f64 -2 b_2) a)
▶	34.3b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	56.5b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
	36.7b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a)))))) a)
	38.8b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	34.8b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	50.8b	(/.f64 (-.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)))
	48.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
	36.0b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	38.9b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)

Compiler

Compiled 9117 to 2052 computations (77.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
✓	0.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
✓	0.9b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
✓	16.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite92.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

172×	`*-un-lft-identity_binary64`
162×	`times-frac_binary64`
139×	`add-sqr-sqrt_binary64`
104×	`add-cube-cbrt_binary64`
34×	`distribute-lft-out--_binary64`

Counts

4 → 244

Calls

4 calls:

20.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
13.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
11.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.4s (11%)

Counts

4 → 42

Calls

4 calls:

615.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
451.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
351.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
27.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify504.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
401×	`fma-neg_binary64`
316×	`cancel-sign-sub-inv_binary64`
186×	`sub-neg_binary64`
154×	`distribute-frac-neg_binary64`

Counts

286 → 505

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	349	9712
1	794	8164
2	2705	7612
3	4798	7608
4	4906	7608

prune344.0ms (2.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	499	6	505
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	507	10	517

Error

0.1b

Counts

517 → 10

Alt Table

Status	Error	Program
	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	43.9b	(/.f64 (*.f64 -2 b_2) a)
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	40.7b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
	38.8b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
▶	34.2b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
	48.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
	45.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 10499 to 2706 computations (74.2% saved)

localize20.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
	0.9b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	16.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
8×	`distribute-lft-out--_binary64`

Counts

1 → 44

Calls

1 calls:

15.0ms

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

series440.0ms (3.4%)

Counts

1 → 14

Calls

1 calls:

439.0ms

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

simplify170.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

758×	`times-frac_binary64`
487×	`div-sub_binary64`
449×	`fma-neg_binary64`
361×	`associate-/l*_binary64`
320×	`associate-/r*_binary64`

Counts

58 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	142	1895
1	377	1768
2	1083	1747
3	4508	1745
4	5740	1745

prune196.0ms (1.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	235	2	237
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	235	12	247

Error

0.0b

Counts

247 → 12

Alt Table

Status	Error	Program
	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
▶	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	43.9b	(/.f64 (*.f64 -2 b_2) a)
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	40.7b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
	38.8b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	34.2b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
	48.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
	47.0b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a))
	45.9b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a))
	45.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 5807 to 1693 computations (70.8% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))))
✓	0.9b	(-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))
	16.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))
	16.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite62.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

98×	`sqrt-prod_binary64`
85×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
37×	`add-cube-cbrt_binary64`
32×	`sqrt-pow1_binary64`

Counts

2 → 155

Calls

2 calls:

23.0ms

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

10.0ms

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

series290.0ms (2.2%)

Counts

2 → 14

Calls

2 calls:

262.0ms

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

28.0ms

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

simplify290.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-/l*_binary64`
493×	`associate-/r*_binary64`
382×	`fma-def_binary64`
371×	`fma-neg_binary64`
165×	`cancel-sign-sub-inv_binary64`

Counts

169 → 324

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	229	4053
1	439	3002
2	1437	2569
3	4700	2553
4	4924	2537
5	4911	2537

prune265.0ms (2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	456	0	456
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	456	12	468

Error

0.0b

Counts

468 → 12

Alt Table

Status	Error	Program
	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
✓	34.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
	43.9b	(/.f64 (*.f64 -2 b_2) a)
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	40.7b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
	38.8b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	34.2b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
	48.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
	47.0b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a))
	45.9b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a))
	45.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 8796 to 2092 computations (76.2% saved)

regimes2.6s (19.8%)

Accuracy

Total 10.2b remaining (97.6%)

Threshold costs 0b (0%)

Compiler

Compiled 7717 to 4809 computations (37.7% saved)

bsearch94.0ms (0.7%)

Steps

Iters	Range		Point
7	5.362061886227093e+73	1.1850802691350075e+75	2.4564051867231585e+74
7	-7.680582332002418e-57	-4.541047086951128e-59	-7.176929411205444e-59

Compiler

Compiled 4 to 3 computations (25% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
10×	`*-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	40	53
2	55	53
3	70	53
4	79	53
5	83	53
6	84	53
7	84	53

end3.0ms (0%)

Compiler: Compiled 39 to 24 computations (38.5% saved)

sample2.9s (21.9%)

Algorithm

1×

intervals

Results

619.0ms	1116×	body	2048	valid
575.0ms	5265×	body	128	valid
311.0ms	708×	body	1024	valid
251.0ms	376×	body	4096	valid
117.0ms	366×	body	512	valid
90.0ms	805×	body	128	nan
38.0ms	169×	body	256	valid
26.0ms	244×	body	128	invalid

Compiler

Compiled 274 to 180 computations (34.3% saved)

Details

analyze1.6s (12.5%)

sample85.0ms (0.7%)

simplify100.0ms (0.8%)

prune3.0ms (0%)

localize24.0ms (0.2%)

rewrite80.0ms (0.6%)

series455.0ms (3.5%)

simplify590.0ms (4.5%)

prune361.0ms (2.8%)

localize21.0ms (0.2%)

rewrite92.0ms (0.7%)

series1.4s (11%)

simplify504.0ms (3.9%)

prune344.0ms (2.6%)

localize20.0ms (0.2%)

rewrite21.0ms (0.2%)

series440.0ms (3.4%)

simplify170.0ms (1.3%)

prune196.0ms (1.5%)

localize29.0ms (0.2%)

rewrite62.0ms (0.5%)

series290.0ms (2.2%)

simplify290.0ms (2.2%)

prune265.0ms (2%)

regimes2.6s (19.8%)

bsearch94.0ms (0.7%)

simplify10.0ms (0.1%)

end3.0ms (0%)

sample2.9s (21.9%)

Profiling