Details

analyze1.6s (6.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	13
0%	99.7%	0.3%	14

Compiler

Compiled 20 to 19 computations (5% saved)

sample53.0ms (0.2%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
14.0ms	148×	body	128	invalid

Compiler

Compiled 39 to 44 computations (-12.8% saved)

simplify153.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4917	25
1	4917	25

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

5.9b

Counts

2 → 2

Compiler

Compiled 53 to 52 computations (1.9% saved)

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
0.2b	(.f64 (.f64 x 9) y)
0.0b	(+.f64 (.f64 (.f64 x 9) y) b)
0.0b	(.f64 (.f64 t a) -4)
0.2b	(.f64 (.f64 x 9) y)
0.5b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
2.5b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.3b	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)

rewrite47.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
18×	`times-frac_binary64_19862`
13×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
9×	`pow1_binary64_19917`
6×	`associate-/r_binary64_19800` `add-log-exp_binary64_19895` `associate-/l_binary64_19801`
4×	`associate-/l/_binary64_19803`
3×	`flip-+_binary64_19830` `prod-exp_binary64_19905` `flip3-+_binary64_19859` `associate-r_binary64_19796` `pow-prod-down_binary64_19927` `cbrt-unprod_binary64_19889`
2×	`cbrt-undiv_binary64_19890` `div-exp_binary64_19907` `clear-num_binary64_19855` `div-inv_binary64_19853` `frac-2neg_binary64_19867`
1×	`-commutative_binary64_19787` `+-commutative_binary64_19786` `sum-log_binary64_19947` `associate-l*_binary64_19797`

Counts

4 → 87

Calls

8 calls:

13.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
12.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
5.0ms	(.f64 (.f64 x 9) y)
0.0ms	(.f64 (.f64 t a) -4)

series1.7s (7.1%)

Counts

4 → 102

Calls

4 calls:

889.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
564.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
229.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
56.0ms	(.f64 (.f64 x 9) y)

Compiler

Compiled 2721 to 2636 computations (3.1% saved)

simplify95.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5036	3851

prune259.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	177	12	189
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	178	13	191

Error

5.4b

Counts

191 → 13

Compiler

Compiled 4001 to 2207 computations (44.8% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4))
0.2b	(.f64 x (.f64 9 y))
0.0b	(+.f64 (.f64 x (.f64 9 y)) b)
0.0b	(.f64 (.f64 t a) -4)
0.2b	(.f64 x (.f64 9 y))
0.5b	(+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4))
2.5b	(/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z)
9.3b	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4)) c)

rewrite46.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
18×	`times-frac_binary64_19862`
13×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
9×	`pow1_binary64_19917`
6×	`associate-/r_binary64_19800` `add-log-exp_binary64_19895` `associate-/l_binary64_19801`
4×	`associate-/l/_binary64_19803`
3×	`flip-+_binary64_19830` `prod-exp_binary64_19905` `flip3-+_binary64_19859` `pow-prod-down_binary64_19927` `cbrt-unprod_binary64_19889` `associate-l_binary64_19797`
2×	`cbrt-undiv_binary64_19890` `div-exp_binary64_19907` `clear-num_binary64_19855` `div-inv_binary64_19853` `frac-2neg_binary64_19867`
1×	`-commutative_binary64_19787` `associate-r*_binary64_19796` `+-commutative_binary64_19786` `sum-log_binary64_19947`

Counts

4 → 87

Calls

8 calls:

14.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4)) c)
11.0ms	(+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4))
8.0ms	(/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z)
5.0ms	(.f64 x (.f64 9 y))
0.0ms	(.f64 (.f64 t a) -4)

series1.7s (7.1%)

Counts

4 → 102

Calls

4 calls:

896.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4)) c)
554.0ms	(+.f64 (/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z) (.f64 (.f64 t a) -4))
224.0ms	(/.f64 (+.f64 (.f64 x (.f64 9 y)) b) z)
49.0ms	(.f64 x (.f64 9 y))

Compiler

Compiled 2721 to 2636 computations (3.1% saved)

simplify95.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5129	3810

prune187.0ms (0.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	189	13	202

Error

5.4b

Counts

202 → 13

Compiler

Compiled 3966 to 2220 computations (44% saved)

localize16.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
0.2b	(.f64 (.f64 x 9) y)
0.0b	(.f64 (.f64 t a) -4)
0.0b	(+.f64 (.f64 (.f64 x 9) y) b)
0.3b	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
0.5b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
2.5b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.3b	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))

rewrite69.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

99×	`times-frac_binary64_19862`
64×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
21×	`associate-/r*_binary64_19800`
19×	`add-exp-log_binary64_19894`
13×	`add-cbrt-cube_binary64_19892`
11×	`associate-/r/_binary64_19802`
9×	`div-exp_binary64_19907` `associate-/l*_binary64_19801`
7×	`flip-+_binary64_19830` `flip3-+_binary64_19859` `div-inv_binary64_19853`
6×	`add-log-exp_binary64_19895`
5×	`cbrt-undiv_binary64_19890` `pow1_binary64_19917`
3×	`clear-num_binary64_19855` `frac-2neg_binary64_19867`
2×	`rec-exp_binary64_19906` `associate-/l/_binary64_19803` `1-exp_binary64_19900`
1×	`inv-pow_binary64_19941` `+-commutative_binary64_19786` `sum-log_binary64_19947` `pow-flip_binary64_19930`

Counts

4 → 153

Calls

8 calls:

15.0ms	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
12.0ms	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))
12.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
0.0ms	(.f64 (.f64 t a) -4)

series2.2s (9.1%)

Counts

4 → 125

Calls

4 calls:

871.0ms	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
572.0ms	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))
550.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
226.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)

Compiler

Compiled 4294 to 3962 computations (7.7% saved)

simplify125.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

278 → 278

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4970	8551
1	4970	8551

prune388.0ms (1.6%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	272	6	278
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	275	16	291

Error

5.4b

Counts

291 → 16

Compiler

Compiled 7651 to 4228 computations (44.7% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
0.2b	(.f64 (.f64 x 9) y)
0.0b	(.f64 (.f64 t a) -4)
0.0b	(+.f64 (.f64 (.f64 x 9) y) b)
0.5b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
0.7b	(/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))
2.5b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
8.7b	(/.f64 (/.f64 1 c) (/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))

rewrite112.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

483×	`times-frac_binary64_19862`
230×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
50×	`add-exp-log_binary64_19894`
35×	`div-exp_binary64_19907`
33×	`div-inv_binary64_19853`
31×	`associate-/r/_binary64_19802`
21×	`associate-/r*_binary64_19800`
20×	`add-cbrt-cube_binary64_19892`
19×	`associate-/l*_binary64_19801`
17×	`flip-+_binary64_19830` `flip3-+_binary64_19859`
10×	`cbrt-undiv_binary64_19890`
9×	`rec-exp_binary64_19906` `1-exp_binary64_19900`
6×	`add-log-exp_binary64_19895`
5×	`pow1_binary64_19917`
3×	`associate-/l/_binary64_19803` `clear-num_binary64_19855` `frac-2neg_binary64_19867`
1×	`inv-pow_binary64_19941` `+-commutative_binary64_19786` `sum-log_binary64_19947` `pow-flip_binary64_19930`

Counts

4 → 328

Calls

8 calls:

22.0ms	(/.f64 (/.f64 1 c) (/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
12.0ms	(/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))
11.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
8.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
0.0ms	(+.f64 (.f64 (.f64 x 9) y) b)

series2.1s (8.5%)

Counts

4 → 124

Calls

4 calls:

882.0ms	(/.f64 (/.f64 1 c) (/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))))
558.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
396.0ms	(/.f64 1 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)))
232.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)

Compiler

Compiled 4400 to 4094 computations (7% saved)

simplify236.0ms (1%)

Algorithm

1×	egg-herbie

Counts

452 → 452

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4950	19230
1	4950	19230

prune982.0ms (4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	449	3	452
Fresh	3	11	14
Picked	0	1	1
Done	0	1	1
Total	452	16	468

Error

5.4b

Counts

468 → 16

Compiler

Compiled 14939 to 8719 computations (41.6% saved)

simplify44.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	551	2770
1	551	2770

regimes1.7s (6.9%)

Compiler: Compiled 16599 to 14716 computations (11.3% saved)

bsearch61.0ms (0.2%)

Steps

Iters	Range		Point
4	2.1515936765705006e-13	3.536092503723941e-13	2.2693000753998176e-13
9	-1.5124561788632014e+27	-1.3861724024565354e+19	-1.6175429892819392e+25

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes513.0ms (2.1%)

Compiler: Compiled 3270 to 4051 computations (-23.9% saved)

bsearch161.0ms (0.7%)

Steps

Iters	Range		Point
4	2.1515936765705006e-13	3.536092503723941e-13	2.1751349563363639e-13
6	7.58076150028506e-154	9.439947207072112e-153	8.790404717816692e-154
9	2.228810722240633e-293	1.9895654007267836e-287	1.2338277900330349e-287
6	-5.820682503618055e-112	-3.6425246555173743e-113	-2.5865480051199704e-112

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes504.0ms (2.1%)

Compiler: Compiled 2394 to 3314 computations (-38.4% saved)

bsearch152.0ms (0.6%)

Steps

Iters	Range		Point
4	2.1515936765705006e-13	3.536092503723941e-13	2.1751349563363639e-13
6	7.58076150028506e-154	9.439947207072112e-153	1.8780733484627925e-153
9	2.228810722240633e-293	1.9895654007267836e-287	1.862995461775845e-287
6	-5.820682503618055e-112	-3.6425246555173743e-113	-7.445106698076842e-113

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes922.0ms (3.8%)

Compiler: Compiled 2241 to 3161 computations (-41.1% saved)

bsearch180.0ms (0.7%)

Steps

Iters	Range		Point
10	1.3928034341730428e+101	2.8999842174286262e+116	4.747734294008469e+111
10	4.7454943400897423e+86	1.1151280568183087e+98	8.693825059022038e+92
8	7.093492796448997e+52	3.2752212279165333e+55	1.1840747271147404e+54
4	2.1515936765705006e-13	3.536092503723941e-13	3.489009944192214e-13
10	-7.239510766056714e-47	-2.9622820905736747e-58	-4.208761508918643e-50

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes732.0ms (3%)

Compiler: Compiled 1953 to 2855 computations (-46.2% saved)

bsearch63.0ms (0.3%)

Steps

Iters	Range		Point
4	2.1515936765705006e-13	3.536092503723941e-13	3.2065145870018524e-13
10	-7.239510766056714e-47	-2.9622820905736747e-58	-1.0146402186108122e-49

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes489.0ms (2%)

Compiler: Compiled 957 to 1612 computations (-68.4% saved)

bsearch64.0ms (0.3%)

Steps

Iters	Range		Point
4	2.1515936765705006e-13	3.536092503723941e-13	3.300679706065306e-13
10	-7.239510766056714e-47	-2.9622820905736747e-58	-6.824279103135246e-50

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes547.0ms (2.2%)

Compiler: Compiled 858 to 1495 computations (-74.2% saved)

bsearch149.0ms (0.6%)

Steps

Iters	Range		Point
7	2.861076188324217e+155	9.346330939068328e+156	3.038800988266181e+156
10	18576116002416.785	1.2425373828332397e+24	93008929860377.55
9	3.536092503723941e-13	1.83677459616931e-06	1.815940157825723e-06
9	-2.5439937864237074e+102	-1.4945022234418066e+93	-5.3810031221880966e+97

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes557.0ms (2.3%)

Compiler: Compiled 832 to 1512 computations (-81.7% saved)

bsearch149.0ms (0.6%)

Steps

Iters	Range		Point
7	2.861076188324217e+155	9.346330939068328e+156	1.534851875548736e+156
10	18576116002416.785	1.2425373828332397e+24	19503104108265.844
9	3.536092503723941e-13	1.83677459616931e-06	1.815940157825723e-06
9	-2.5439937864237074e+102	-1.4945022234418066e+93	-1.0558693431034382e+97

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes488.0ms (2%)

Compiler: Compiled 504 to 973 computations (-93.1% saved)

bsearch130.0ms (0.5%)

Steps

Iters	Range		Point
10	6.9980269570819735e+47	4.547037314114054e+59	1.6952889149927266e+48
6	-4.744256286386132e-306	-3.3124521450409308e-307	-5.498813003454548e-307
9	-3.324990057533122e-217	-1.7714132570096565e-222	-1.0341366538622157e-221
7	-1.2220365840739238e-72	-1.393816621873092e-74	-7.025155653862069e-73

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes330.0ms (1.4%)

Compiler: Compiled 315 to 714 computations (-126.7% saved)

bsearch131.0ms (0.5%)

Steps

Iters	Range		Point
7	2.861076188324217e+155	9.346330939068328e+156	1.6022637416367905e+156
10	18576116002416.785	1.2425373828332397e+24	4.391674306873315e+22
9	3.536092503723941e-13	1.83677459616931e-06	2.2945785787397357e-10
8	-1.1910050940105843e+83	-9.638425621424308e+78	-1.1995966082327767e+81

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes309.0ms (1.3%)

Compiler: Compiled 252 to 623 computations (-147.2% saved)

bsearch135.0ms (0.6%)

Steps

Iters	Range		Point
7	2.861076188324217e+155	9.346330939068328e+156	3.577327265509795e+155
10	18576116002416.785	1.2425373828332397e+24	8.064724427238681e+20
9	3.536092503723941e-13	1.83677459616931e-06	2.650122586650986e-09
8	-1.1910050940105843e+83	-9.638425621424308e+78	-2.8305578939883058e+81

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes94.0ms (0.4%)

Compiler: Compiled 154 to 469 computations (-204.5% saved)

bsearch25.0ms (0.1%)

Steps

Iters	Range		Point
6	5.2207400752679885e-62	2.7793708628354384e-61	1.977263622719907e-61

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes76.0ms (0.3%)

Compiler: Compiled 70 to 329 computations (-370% saved)

bsearch0.0ms (0%)

regimes67.0ms (0.3%)

Accuracy

Total 2.1b remaining (27.6%)

Threshold costs 0b (0%)

Compiler

Compiled 35 to 266 computations (-660% saved)

bsearch26.0ms (0.1%)

Compiler: Compiled 705 to 501 computations (28.9% saved)

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	263	925
1	263	925

end0.0ms (0%)

sample3.3s (13.4%)

Algorithm

1×

intervals

Results

491.0ms	8000×	body	128	valid
285.0ms	4639×	body	128	invalid

Compiler

Compiled 2724 to 2249 computations (17.4% saved)

Pareto

0.18009498601830626

Details

analyze1.6s (6.7%)

sample53.0ms (0.2%)

simplify153.0ms (0.6%)

prune7.0ms (0%)

localize19.0ms (0.1%)

rewrite47.0ms (0.2%)

series1.7s (7.1%)

simplify95.0ms (0.4%)

prune259.0ms (1.1%)

localize14.0ms (0.1%)

rewrite46.0ms (0.2%)

series1.7s (7.1%)

simplify95.0ms (0.4%)

prune187.0ms (0.8%)

localize16.0ms (0.1%)

rewrite69.0ms (0.3%)

series2.2s (9.1%)

simplify125.0ms (0.5%)

prune388.0ms (1.6%)

localize20.0ms (0.1%)

rewrite112.0ms (0.5%)

series2.1s (8.5%)

simplify236.0ms (1%)

prune982.0ms (4%)

simplify44.0ms (0.2%)

regimes1.7s (6.9%)

bsearch61.0ms (0.2%)

regimes513.0ms (2.1%)

bsearch161.0ms (0.7%)

regimes504.0ms (2.1%)

bsearch152.0ms (0.6%)

regimes922.0ms (3.8%)

bsearch180.0ms (0.7%)

regimes732.0ms (3%)

bsearch63.0ms (0.3%)

regimes489.0ms (2%)

bsearch64.0ms (0.3%)

regimes547.0ms (2.2%)

bsearch149.0ms (0.6%)

regimes557.0ms (2.3%)

bsearch149.0ms (0.6%)

regimes488.0ms (2%)

bsearch130.0ms (0.5%)

regimes330.0ms (1.4%)

bsearch131.0ms (0.5%)

regimes309.0ms (1.3%)

bsearch135.0ms (0.6%)

regimes94.0ms (0.4%)

bsearch25.0ms (0.1%)

regimes76.0ms (0.3%)

bsearch0.0ms (0%)

regimes67.0ms (0.3%)

bsearch26.0ms (0.1%)

simplify15.0ms (0.1%)

end0.0ms (0%)

sample3.3s (13.4%)

Profiling