Details

analyze690.0ms (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
3.1%	96.7%	0.2%	7
6.2%	93.6%	0.2%	8
8.6%	91.2%	0.2%	9
28.1%	71.7%	0.2%	10
31%	68.8%	0.2%	11
40.5%	59.3%	0.2%	12
49.6%	50.2%	0.2%	13
59%	40.8%	0.2%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample25.0ms (0%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

Compiler

Compiled 35 to 31 computations (11.4% saved)

simplify161.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.3b

Counts

2 → 1

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
0.0b	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
0.0b	(-.f64 (*.f64 t z) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
0.0b	(-.f64 (*.f64 t z) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
0.0b	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

rewrite57.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`*-un-lft-identity_binary64_13718`
25×	`times-frac_binary64_13724`
23×	`add-sqr-sqrt_binary64_13740` `add-cube-cbrt_binary64_13753`
11×	`distribute-lft-out_binary64_13669`
8×	`add-log-exp_binary64_13757` `add-cbrt-cube_binary64_13754` `add-exp-log_binary64_13756`
7×	`associate-/r_binary64_13662` `associate-/l_binary64_13663`
4×	`pow1_binary64_13779` `div-sub_binary64_13723` `associate-/r/_binary64_13664` `associate-/l/_binary64_13665`
3×	`flip3-+_binary64_13721` `flip-+_binary64_13692` `flip3--_binary64_13722` `cancel-sign-sub-inv_binary64_13684` `flip--_binary64_13693`
2×	`frac-2neg_binary64_13729` `associate-+r-_binary64_13652` `div-exp_binary64_13769` `clear-num_binary64_13717` `cbrt-undiv_binary64_13752` `div-inv_binary64_13715`
1×	`sub-neg_binary64_13711` `sum-log_binary64_13809` `diff-log_binary64_13810` `+-commutative_binary64_13648`

Counts

4 → 100

Calls

8 calls:

18.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
13.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
11.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
5.0ms	(-.f64 (*.f64 t z) x)
0.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))

series1.4s (1.1%)

Counts

4 → 123

Calls

4 calls:

584.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
373.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
342.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
86.0ms	(-.f64 (*.f64 t z) x)

Compiler

Compiled 5311 to 3949 computations (25.6% saved)

simplify114.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5297	7072

prune299.0ms (0.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	212	11	223
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	213	11	224

Error

0.9b

Counts

224 → 11

Compiler

Compiled 6433 to 1895 computations (70.5% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
0.1b	(/.f64 1 (/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
0.0b	(-.f64 (*.f64 z t) x)
0.0b	(-.f64 (*.f64 z t) x)
0.1b	(/.f64 1 (/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
0.1b	(/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

rewrite80.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

166×	`*-un-lft-identity_binary64_13718`
155×	`times-frac_binary64_13724`
82×	`add-sqr-sqrt_binary64_13740` `add-cube-cbrt_binary64_13753`
42×	`distribute-lft-out_binary64_13669`
29×	`associate-/r*_binary64_13662`
19×	`add-exp-log_binary64_13756`
13×	`add-cbrt-cube_binary64_13754` `associate-/r/_binary64_13664`
10×	`associate-/l*_binary64_13663`
9×	`div-exp_binary64_13769`
7×	`div-inv_binary64_13715`
6×	`flip3-+_binary64_13721` `add-log-exp_binary64_13757` `flip-+_binary64_13692`
5×	`pow1_binary64_13779` `cbrt-undiv_binary64_13752`
4×	`associate-/l/_binary64_13665`
3×	`frac-2neg_binary64_13729` `flip3--_binary64_13722` `cancel-sign-sub-inv_binary64_13684` `flip--_binary64_13693` `clear-num_binary64_13717`
2×	`rec-exp_binary64_13768` `1-exp_binary64_13762`
1×	`div-sub_binary64_13723` `sub-neg_binary64_13711` `diff-log_binary64_13810` `pow-flip_binary64_13792` `inv-pow_binary64_13803`

Counts

4 → 198

Calls

8 calls:

21.0ms	(/.f64 1 (/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
20.0ms	(/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
11.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
5.0ms	(-.f64 (*.f64 z t) x)
0.0ms	(-.f64 (*.f64 z t) x)

series3.6s (2.9%)

Counts

4 → 121

Calls

4 calls:

2.6s	(/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
580.0ms	(/.f64 1 (/.f64 (+.f64 x 1) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
349.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
91.0ms	(-.f64 (*.f64 z t) x)

Compiler

Compiled 12574 to 8590 computations (31.7% saved)

simplify221.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

319 → 319

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4977	19773
1	4977	19773

prune670.0ms (0.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	318	1	319
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	319	11	330

Error

0.9b

Counts

330 → 11

Compiler

Compiled 15600 to 5828 computations (62.6% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 x (.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 z t) x)) (cbrt.f64 (-.f64 (.f64 z t) x)))) (/.f64 (-.f64 (.f64 y z) x) (cbrt.f64 (-.f64 (.f64 z t) x)))))
0.0b	(-.f64 (*.f64 z t) x)
0.0b	(-.f64 (*.f64 z t) x)
0.0b	(-.f64 (*.f64 z t) x)
4.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 z t) x)) (cbrt.f64 (-.f64 (.f64 z t) x)))) (/.f64 (-.f64 (.f64 y z) x) (cbrt.f64 (-.f64 (.f64 z t) x))))
8.4b	(cbrt.f64 (-.f64 (*.f64 z t) x))
8.4b	(cbrt.f64 (-.f64 (*.f64 z t) x))
8.4b	(cbrt.f64 (-.f64 (*.f64 z t) x))

rewrite70.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`add-exp-log_binary64_13756`
43×	`add-sqr-sqrt_binary64_13740`
33×	`times-frac_binary64_13724`
25×	`*-un-lft-identity_binary64_13718`
24×	`associate-r_binary64_13658`
22×	`add-cube-cbrt_binary64_13753`
21×	`cbrt-prod_binary64_13749`
20×	`prod-exp_binary64_13767` `cbrt-div_binary64_13750`
18×	`add-cbrt-cube_binary64_13754`
15×	`associate-l_binary64_13659` `div-exp_binary64_13769`
10×	`associate-/r/_binary64_13664` `flip3--_binary64_13722` `flip--_binary64_13693`
9×	`unswap-sqr_binary64_13686`
8×	`cbrt-unprod_binary64_13751`
7×	`cbrt-undiv_binary64_13752`
6×	`pow1_binary64_13779`
5×	`frac-times_binary64_13728`
4×	`rec-exp_binary64_13768` `1-exp_binary64_13762` `add-log-exp_binary64_13757`
3×	`associate-r/_binary64_13660` `associate-l/_binary64_13661` `pow1/3_binary64_13800`
2×	`div-inv_binary64_13715`
1×	`*-commutative_binary64_13649` `pow-prod-down_binary64_13789`

Counts

4 → 119

Calls

8 calls:

39.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 z t) x)) (cbrt.f64 (-.f64 (.f64 z t) x)))) (/.f64 (-.f64 (.f64 y z) x) (cbrt.f64 (-.f64 (.f64 z t) x))))
5.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))
5.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))
0.0ms	(-.f64 (*.f64 z t) x)

series1.1s (0.9%)

Counts

4 → 83

Calls

4 calls:

451.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 z t) x)) (cbrt.f64 (-.f64 (.f64 z t) x)))) (/.f64 (-.f64 (.f64 y z) x) (cbrt.f64 (-.f64 (.f64 z t) x))))
221.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))
216.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))
206.0ms	(cbrt.f64 (-.f64 (*.f64 z t) x))

Compiler

Compiled 6042 to 4389 computations (27.4% saved)

simplify102.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5103	5460

prune228.0ms (0.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	202	11	213

Error

0.9b

Counts

213 → 11

Compiler

Compiled 7848 to 2047 computations (73.9% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (*.f64 z t) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
0.3b	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x 1))))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

rewrite135.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

228×	`*-un-lft-identity_binary64_13718`
140×	`cbrt-prod_binary64_13749`
137×	`times-frac_binary64_13724`
100×	`add-sqr-sqrt_binary64_13740`
76×	`add-cube-cbrt_binary64_13753`
64×	`distribute-lft-out_binary64_13669`
45×	`swap-sqr_binary64_13685`
25×	`associate-l_binary64_13659` `associate-r_binary64_13658`
14×	`associate-/r/_binary64_13664`
12×	`add-exp-log_binary64_13756`
11×	`pow1_binary64_13779`
10×	`add-cbrt-cube_binary64_13754`
9×	`associate-/r_binary64_13662` `unswap-sqr_binary64_13686` `associate-/l_binary64_13663`
7×	`div-inv_binary64_13715`
6×	`pow1/3_binary64_13800` `flip3--_binary64_13722` `flip--_binary64_13693` `associate-/l/_binary64_13665`
4×	`flip3-+_binary64_13721` `add-log-exp_binary64_13757` `flip-+_binary64_13692` `cbrt-div_binary64_13750`
3×	`frac-2neg_binary64_13729` `div-sub_binary64_13723` `div-exp_binary64_13769` `clear-num_binary64_13717` `cbrt-undiv_binary64_13752`
2×	`pow-sqr_binary64_13691` `pow-prod-down_binary64_13789` `pow-prod-up_binary64_13788`
1×	`associate-r/_binary64_13660` `-commutative_binary64_13649` `frac-times_binary64_13728` `associate-*l/_binary64_13661` `pow2_binary64_13799` `pow-plus_binary64_13781` `prod-exp_binary64_13767` `cbrt-unprod_binary64_13751`

Counts

4 → 221

Calls

8 calls:

56.0ms	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x 1))))
12.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
11.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
11.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
0.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))

series1.8min (88.2%)

Counts

4 → 121

Calls

4 calls:

1.8min	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x 1))))
576.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
374.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))
367.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

Compiler

Compiled 59271 to 40310 computations (32% saved)

simplify254.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

342 → 342

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5000	29124

prune1.3s (1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	342	0	342
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	342	11	353

Error

0.9b

Counts

353 → 11

Compiler

Compiled 32301 to 11573 computations (64.2% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	2513	1700
1	2513	1700

regimes431.0ms (0.3%)

Compiler: Compiled 4500 to 2844 computations (36.8% saved)

bsearch41.0ms (0%)

Steps

Iters	Range		Point
9	1.07062359060359e+222	2.4997214441408803e+229	1.0879556616863109e+222
5	-2.183798125560322e+142	-6.0898809475105634e+141	-9.328497088022616e+141

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes184.0ms (0.1%)

Compiler: Compiled 1024 to 948 computations (7.4% saved)

bsearch40.0ms (0%)

Steps

Iters	Range		Point
9	1.07062359060359e+222	2.4997214441408803e+229	1.0879556616863109e+222
5	-2.183798125560322e+142	-6.0898809475105634e+141	-1.0695191963954157e+142

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes212.0ms (0.2%)

Compiler: Compiled 560 to 600 computations (-7.1% saved)

bsearch81.0ms (0.1%)

Steps

Iters	Range		Point
9	1.07062359060359e+222	2.4997214441408803e+229	1.0879556616863109e+222
8	1.998759439101823e-235	3.6150764422174565e-232	2.837635080653265e-232
10	-2.6902103051840163e-53	-1.715828436527034e-65	-1.7345976578799139e-65
5	-2.183798125560322e+142	-6.0898809475105634e+141	-9.670170807005501e+141

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes236.0ms (0.2%)

Compiler: Compiled 440 to 504 computations (-14.5% saved)

bsearch24.0ms (0%)

Steps

Iters	Range		Point
7	0.00042279943586584685	0.02623277249718345	0.0034668645918251003
3	-1.1064024883994338e-32	-8.290464447610806e-33	-8.810507029432719e-33

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes217.0ms (0.2%)

Compiler: Compiled 388 to 460 computations (-18.6% saved)

bsearch25.0ms (0%)

Steps

Iters	Range		Point
7	0.00042279943586584685	0.02623277249718345	0.00042847104283616965
3	-1.1064024883994338e-32	-8.290464447610806e-33	-8.810507029432719e-33

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes102.0ms (0.1%)

Compiler: Compiled 144 to 244 computations (-69.4% saved)

bsearch37.0ms (0%)

Steps

Iters	Range		Point
10	4.726921946318749e+46	1.4178245926902484e+61	1.1248014555164982e+54
7	-0.004012514380707708	-2.063920053962522e-05	-0.0010532974059516956

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes155.0ms (0.1%)

Compiler: Compiled 108 to 208 computations (-92.6% saved)

bsearch46.0ms (0%)

Steps

Iters	Range		Point
10	1.1000952169353926e-88	5.153770364629828e-70	4.693160006787083e-76
9	-1.9564238564393184e-10	-5.591254131261337e-16	-7.109175419512253e-16

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes152.0ms (0.1%)

Compiler: Compiled 80 to 176 computations (-120% saved)

bsearch43.0ms (0%)

Steps

Iters	Range		Point
10	1.1000952169353926e-88	5.153770364629828e-70	8.393024474691187e-78
9	-1.9564238564393184e-10	-5.591254131261337e-16	-1.3325626053870181e-15

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes101.0ms (0.1%)

Compiler: Compiled 32 to 112 computations (-250% saved)

bsearch39.0ms (0%)

Steps

Iters	Range		Point
10	1.1000952169353926e-88	5.153770364629828e-70	5.75900720157915e-79
7	-0.004012514380707708	-2.063920053962522e-05	-2.10966419312659e-05

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes34.0ms (0%)

Accuracy

Total 3.1b remaining (81.7%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch16.0ms (0%)

Compiler: Compiled 330 to 226 computations (31.5% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	177	437
1	177	437

end0.0ms (0%)

sample1.9s (1.5%)

Algorithm

1×

intervals

Results

372.0ms	8000×	body	128	valid
15.0ms	349×	body	128	invalid

Compiler

Compiled 1460 to 952 computations (34.8% saved)

Pareto

0.21955668034058842

Details

analyze690.0ms (0.5%)

sample25.0ms (0%)

simplify161.0ms (0.1%)

prune2.0ms (0%)

localize12.0ms (0%)

rewrite57.0ms (0%)

series1.4s (1.1%)

simplify114.0ms (0.1%)

prune299.0ms (0.2%)

localize13.0ms (0%)

rewrite80.0ms (0.1%)

series3.6s (2.9%)

simplify221.0ms (0.2%)

prune670.0ms (0.5%)

localize20.0ms (0%)

rewrite70.0ms (0.1%)

series1.1s (0.9%)

simplify102.0ms (0.1%)

prune228.0ms (0.2%)

localize18.0ms (0%)

rewrite135.0ms (0.1%)

series1.8min (88.2%)

simplify254.0ms (0.2%)

prune1.3s (1%)

simplify89.0ms (0.1%)

regimes431.0ms (0.3%)

bsearch41.0ms (0%)

regimes184.0ms (0.1%)

bsearch40.0ms (0%)

regimes212.0ms (0.2%)

bsearch81.0ms (0.1%)

regimes236.0ms (0.2%)

bsearch24.0ms (0%)

regimes217.0ms (0.2%)

bsearch25.0ms (0%)

regimes102.0ms (0.1%)

bsearch37.0ms (0%)

regimes155.0ms (0.1%)

bsearch46.0ms (0%)

regimes152.0ms (0.1%)

bsearch43.0ms (0%)

regimes101.0ms (0.1%)

bsearch39.0ms (0%)

regimes34.0ms (0%)

bsearch16.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample1.9s (1.5%)

Profiling