Details

analyze694.0ms (3.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
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
18.7%	81.1%	0.2%	10
26.5%	71.5%	1.9%	11
28.8%	66%	5.2%	12
32.7%	58.7%	8.5%	13
41.9%	48.4%	9.7%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample24.0ms (0.1%)

Algorithm

1×

intervals

Results

9.0ms	245×	body	128	valid
2.0ms	61×	body	128	invalid
1.0ms	5×	body	1024	valid
0.0ms	4×	body	512	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify104.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	400	19
1	400	19

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_2828`
4×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841` `pow1_binary64_2867`
3×	`associate-l_binary64_2747` `associate-r_binary64_2746`
2×	`distribute-lft-in_binary64_2755` `associate-+l+_binary64_2739` `distribute-rgt-in_binary64_2756` `flip-+_binary64_2780` `flip3-+_binary64_2809` `associate-*r/_binary64_2748`
1×	`*-commutative_binary64_2737` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `sum-log_binary64_2897` `pow-prod-down_binary64_2877` `unswap-sqr_binary64_2774` `+-commutative_binary64_2736`

Counts

2 → 35

Calls

4 calls:

12.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
11.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

series568.0ms (2.9%)

Counts

2 → 45

Calls

2 calls:

339.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
229.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

Compiler

Compiled 1065 to 952 computations (10.6% saved)

simplify51.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4978	1258
1	4978	1258

prune86.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	77	3	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	3	81

Error

0.0b

Counts

81 → 3

Compiler

Compiled 1307 to 748 computations (42.8% saved)

localize11.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.0b	(.f64 x (.f64 (+.f64 y z) 2))
0.0b	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
0.0b	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
0.0b	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
0.0b	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
0.0b	(.f64 x (.f64 (+.f64 y z) 2))

rewrite38.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_2845`
8×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `pow1_binary64_2867`
4×	`add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `sum-log_binary64_2897` `add-cube-cbrt_binary64_2841`
3×	`associate-l_binary64_2747` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `flip-+_binary64_2780` `flip3-+_binary64_2809` `pow-prod-down_binary64_2877`
2×	`associate-r/_binary64_2748` `associate-l/_binary64_2749` `+-commutative_binary64_2736`
1×	`distribute-lft-out_binary64_2757` `-commutative_binary64_2737` `associate-+l+_binary64_2739` `associate-r*_binary64_2746`

Counts

3 → 45

Calls

6 calls:

13.0ms	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
11.0ms	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
9.0ms	(.f64 x (.f64 (+.f64 y z) 2))
0.0ms	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
0.0ms	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))

series742.0ms (3.8%)

Counts

3 → 60

Calls

3 calls:

345.0ms	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
271.0ms	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
126.0ms	(.f64 x (.f64 (+.f64 y z) 2))

Compiler

Compiled 1471 to 1301 computations (11.6% saved)

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5185	1527

prune82.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	105	3	108

Error

0.0b

Counts

108 → 3

Compiler

Compiled 1719 to 935 computations (45.6% saved)

localize17.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.4b	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
0.5b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.5b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.5b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

rewrite76.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2837`
23×	`add-sqr-sqrt_binary64_2828`
18×	`cbrt-div_binary64_2838`
15×	`*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
11×	`pow1_binary64_2867`
9×	`pow1/3_binary64_2888` `flip-+_binary64_2780` `flip3-+_binary64_2809`
6×	`associate-l_binary64_2747` `add-exp-log_binary64_2844` `swap-sqr_binary64_2773` `associate-r_binary64_2746`
4×	`frac-times_binary64_2816` `add-cbrt-cube_binary64_2842` `add-log-exp_binary64_2845` `unswap-sqr_binary64_2774`
2×	`pow-sqr_binary64_2779` `pow-prod-up_binary64_2876` `associate-r/_binary64_2748` `pow-prod-down_binary64_2877` `associate-l/_binary64_2749`
1×	`*-commutative_binary64_2737` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `pow2_binary64_2887` `pow-plus_binary64_2869`

Counts

4 → 87

Calls

8 calls:

28.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
12.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))

series6.8s (34.2%)

Counts

4 → 120

Calls

4 calls:

3.8s	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
1.1s	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
934.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
934.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

Compiler

Compiled 23481 to 18134 computations (22.8% saved)

simplify187.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5469	19931

prune1.3s (6.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	206	4	210

Error

0.0b

Counts

210 → 4

Compiler

Compiled 18685 to 11479 computations (38.6% saved)

localize16.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.2b	(.f64 y (.f64 25 y))
0.3b	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
5.0b	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 25 y)))
29.2b	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 25 y))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))

rewrite108.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`pow1_binary64_2867`
23×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
20×	`pow-prod-down_binary64_2877`
14×	`associate-*r/_binary64_2748`
13×	`add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
11×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839`
9×	`times-frac_binary64_2812`
8×	`distribute-lft-in_binary64_2755` `distribute-rgt-in_binary64_2756`
6×	`flip-+_binary64_2780` `add-log-exp_binary64_2845` `flip3-+_binary64_2809`
4×	`frac-times_binary64_2816` `associate-l_binary64_2747` `pow-sqr_binary64_2779` `associate--l+_binary64_2743` `pow-prod-up_binary64_2876`
3×	`flip3--_binary64_2810` `associate-/r_binary64_2750` `flip--_binary64_2781` `associate-/l_binary64_2751`
2×	`associate-/l/_binary64_2753` `-commutative_binary64_2737` `associate-r_binary64_2746` `associate-/r/_binary64_2752` `associate-l/_binary64_2749` `pow-plus_binary64_2869`
1×	`cancel-sign-sub-inv_binary64_2772` `div-inv_binary64_2803` `div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `div-sub_binary64_2811` `diff-log_binary64_2898` `sub-neg_binary64_2799` `swap-sqr_binary64_2773` `pow2_binary64_2887` `clear-num_binary64_2805` `frac-2neg_binary64_2817`

Counts

4 → 112

Calls

8 calls:

36.0ms	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 25 y))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
24.0ms	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 25 y)))
23.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
9.0ms	(.f64 y (.f64 25 y))
0.0ms	(-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))

series4.6s (23.4%)

Counts

4 → 90

Calls

4 calls:

2.4s	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 25 y))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
1.6s	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 25 y)))
577.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
29.0ms	(.f64 y (.f64 25 y))

Compiler

Compiled 10161 to 7589 computations (25.3% saved)

simplify140.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4974	9463
1	4974	9463

prune400.0ms (2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	202	4	206

Error

0.0b

Counts

206 → 4

Compiler

Compiled 10165 to 5146 computations (49.4% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	191	783
1	191	783

regimes212.0ms (1.1%)

Compiler: Compiled 2124 to 1836 computations (13.6% saved)

bsearch0.0ms (0%)

regimes114.0ms (0.6%)

Compiler: Compiled 596 to 700 computations (-17.4% saved)

bsearch0.0ms (0%)

regimes195.0ms (1%)

Compiler: Compiled 432 to 556 computations (-28.7% saved)

bsearch32.0ms (0.2%)

Steps

Iters	Range		Point
9	4.193680776824092e-06	0.8647842929832744	0.8561757869615914
5	-1.3308279202424113e+22	-5.96124354799649e+21	-6.045857025122821e+21

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes192.0ms (1%)

Compiler: Compiled 300 to 424 computations (-41.3% saved)

bsearch44.0ms (0.2%)

Steps

Iters	Range	Point
8	2.5218609395670336e-36	9.852573633480437e-34	1.9457901601409992e-35
4	-3.2897821356906134e-297	-1.9975707269644326e-297	-2.9901408908015203e-297
7	-5.591254131261337e-16	-7.027314240486267e-18	-1.6091622211154084e-17

Iters

Range

Point

2.5218609395670336e-36

9.852573633480437e-34

1.9457901601409992e-35

-3.2897821356906134e-297

-1.9975707269644326e-297

-2.9901408908015203e-297

-5.591254131261337e-16

-7.027314240486267e-18

-1.6091622211154084e-17

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes189.0ms (1%)

Compiler: Compiled 220 to 340 computations (-54.5% saved)

bsearch32.0ms (0.2%)

Steps

Iters	Range		Point
8	2.5218609395670336e-36	9.852573633480437e-34	1.0084409790173604e-35
7	-0.007448591090920801	-0.00044258633539740556	-0.0004464906834746913

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes150.0ms (0.8%)

Compiler: Compiled 184 to 304 computations (-65.2% saved)

bsearch39.0ms (0.2%)

Steps

Iters	Range		Point
9	2.6982921327471128e-61	1.1367675755890997e-55	1.666074959418307e-58
7	-3.869087959832158e-47	-1.5640786151842827e-48	-2.8803499151478406e-47

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes145.0ms (0.7%)

Compiler: Compiled 148 to 264 computations (-78.4% saved)

bsearch40.0ms (0.2%)

Steps

Iters	Range		Point
9	2.6982921327471128e-61	1.1367675755890997e-55	5.242256453401962e-60
7	-3.869087959832158e-47	-1.5640786151842827e-48	-7.074652939942878e-48

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes154.0ms (0.8%)

Compiler: Compiled 92 to 200 computations (-117.4% saved)

bsearch81.0ms (0.4%)

Steps

Iters	Range		Point
9	2.6982921327471128e-61	1.1367675755890997e-55	2.1886013247462445e-58
10	5.2118191257219964e-225	2.4076306468077576e-211	1.4440110588016492e-212
8	9.002571328371388e-296	1.7787470547052563e-292	1.2436910768388426e-292
6	-2.3959089088502217e-72	-2.6781263818745288e-73	-3.156228754644023e-73

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes177.0ms (0.9%)

Compiler: Compiled 64 to 164 computations (-156.3% saved)

bsearch78.0ms (0.4%)

Steps

Iters	Range		Point
9	2.6982921327471128e-61	1.1367675755890997e-55	1.5042309721335478e-59
10	5.2118191257219964e-225	2.4076306468077576e-211	1.9398831917073098e-219
8	9.002571328371388e-296	1.7787470547052563e-292	1.5433224244440342e-292
6	-2.3959089088502217e-72	-2.6781263818745288e-73	-2.1339530094474194e-72

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes115.0ms (0.6%)

Compiler: Compiled 44 to 136 computations (-209.1% saved)

bsearch34.0ms (0.2%)

Steps

Iters	Range		Point
9	2.6982921327471128e-61	1.1367675755890997e-55	3.3867230633261987e-60
6	-2.3959089088502217e-72	-2.6781263818745288e-73	-1.0170779819671405e-72

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes41.0ms (0.2%)

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

bsearch0.0ms (0%)

regimes35.0ms (0.2%)

Accuracy

Total 0.1b remaining (72%)

Threshold costs 0.1b (72%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch13.0ms (0.1%)

Compiler: Compiled 299 to 234 computations (21.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	131	400
1	131	400

end0.0ms (0%)

sample1.5s (7.5%)

Algorithm

1×

intervals

Results

301.0ms	7753×	body	128	valid
73.0ms	1879×	body	128	invalid
19.0ms	121×	body	1024	valid
8.0ms	77×	body	512	valid
4.0ms	49×	body	256	valid

Compiler

Compiled 820 to 691 computations (15.7% saved)

Pareto

0.21500825599598838

Details

analyze694.0ms (3.5%)

sample24.0ms (0.1%)

simplify104.0ms (0.5%)

prune4.0ms (0%)

localize9.0ms (0%)

rewrite26.0ms (0.1%)

series568.0ms (2.9%)

simplify51.0ms (0.3%)

prune86.0ms (0.4%)

localize11.0ms (0.1%)

rewrite38.0ms (0.2%)

series742.0ms (3.8%)

simplify71.0ms (0.4%)

prune82.0ms (0.4%)

localize17.0ms (0.1%)

rewrite76.0ms (0.4%)

series6.8s (34.2%)

simplify187.0ms (0.9%)

prune1.3s (6.6%)

localize16.0ms (0.1%)

rewrite108.0ms (0.5%)

series4.6s (23.4%)

simplify140.0ms (0.7%)

prune400.0ms (2%)

simplify13.0ms (0.1%)

regimes212.0ms (1.1%)

bsearch0.0ms (0%)

regimes114.0ms (0.6%)

bsearch0.0ms (0%)

regimes195.0ms (1%)

bsearch32.0ms (0.2%)

regimes192.0ms (1%)

bsearch44.0ms (0.2%)

regimes189.0ms (1%)

bsearch32.0ms (0.2%)

regimes150.0ms (0.8%)

bsearch39.0ms (0.2%)

regimes145.0ms (0.7%)

bsearch40.0ms (0.2%)

regimes154.0ms (0.8%)

bsearch81.0ms (0.4%)

regimes177.0ms (0.9%)

bsearch78.0ms (0.4%)

regimes115.0ms (0.6%)

bsearch34.0ms (0.2%)

regimes41.0ms (0.2%)

bsearch0.0ms (0%)

regimes35.0ms (0.2%)

bsearch13.0ms (0.1%)

simplify7.0ms (0%)

end0.0ms (0%)

sample1.5s (7.5%)

Profiling