Details

analyze763.0ms (4.7%)

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.2%	0.1%	6
21.9%	78%	0.1%	7
23.4%	76.5%	0.1%	8
24.2%	75.7%	0.1%	9
24.6%	75.3%	0.1%	10
24.8%	75.1%	0.1%	11
24.9%	75%	0.1%	12
24.9%	75%	0.1%	13
25%	75%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample78.0ms (0.5%)

Algorithm

1×

intervals

Results

31.0ms	110×	body	1024	valid
28.0ms	44×	body	2048	valid
6.0ms	44×	body	512	valid
2.0ms	20×	body	256	valid
2.0ms	38×	body	128	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	72	11
1	72	11

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

38.3b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

3.5b	(tan.f64 (+.f64 x eps))
1.6b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
1.6b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
3.5b	(tan.f64 (+.f64 x eps))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
4×	`add-log-exp_binary64_1481` `tan-quot_binary64_1601`
3×	`cancel-sign-sub-inv_binary64_1408` `add-cube-cbrt_binary64_1477`
2×	`add-cbrt-cube_binary64_1478` `frac-sub_binary64_1451` `add-exp-log_binary64_1480` `pow1_binary64_1503` `tan-sum_binary64_1577`
1×	`sub-neg_binary64_1435` `flip3--_binary64_1446` `flip--_binary64_1417` `diff-log_binary64_1534` `difference-of-squares_binary64_1411` `distribute-lft-out--_binary64_1394`

Counts

2 → 27

Calls

4 calls:

7.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
4.0ms	(tan.f64 (+.f64 x eps))
0.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
0.0ms	(tan.f64 (+.f64 x eps))

series447.0ms (2.8%)

Counts

2 → 24

Calls

2 calls:

275.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
172.0ms	(tan.f64 (+.f64 x eps))

Compiler

Compiled 904 to 607 computations (32.9% saved)

simplify39.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5501	1566

prune121.0ms (0.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	3	52

Error

0.3b

Counts

52 → 3

Compiler

Compiled 1273 to 511 computations (59.9% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))
0.1b	(+.f64 (tan.f64 x) (tan.f64 eps))
0.1b	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
0.1b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))
0.1b	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
0.1b	(+.f64 (tan.f64 x) (tan.f64 eps))
0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))
3.6b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_1442`
23×	`add-sqr-sqrt_binary64_1464`
16×	`add-cube-cbrt_binary64_1477`
13×	`times-frac_binary64_1448`
9×	`tan-quot_binary64_1601`
8×	`add-cbrt-cube_binary64_1478` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480`
6×	`pow1_binary64_1503`
5×	`distribute-lft-out_binary64_1393`
4×	`associate-/l*_binary64_1387`
3×	`associate-r_binary64_1382` `associate-/r_binary64_1386` `cancel-sign-sub-inv_binary64_1408` `associate-/l/_binary64_1389` `associate-l*_binary64_1383`
2×	`associate-/r/_binary64_1388` `flip3--_binary64_1446` `flip--_binary64_1417` `flip3-+_binary64_1445` `flip-+_binary64_1416` `frac-add_binary64_1450` `difference-of-squares_binary64_1411`
1×	`associate-r/_binary64_1384` `cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `sum-log_binary64_1533` `div-inv_binary64_1439` `sub-neg_binary64_1435` `clear-num_binary64_1441` `+-commutative_binary64_1372` `frac-sub_binary64_1451` `pow-prod-down_binary64_1513` `-commutative_binary64_1373` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `frac-times_binary64_1452` `prod-exp_binary64_1491` `distribute-lft-out--_binary64_1394` `associate-*l/_binary64_1385` `div-exp_binary64_1493` `unswap-sqr_binary64_1410`

Counts

4 → 88

Calls

8 calls:

13.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
8.0ms	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
7.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
0.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))

series2.0s (12.2%)

Counts

4 → 48

Calls

4 calls:

982.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
536.0ms	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
252.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
194.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))

Compiler

Compiled 2088 to 1335 computations (36.1% saved)

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5196	4229

prune220.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	125	11	136
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	126	13	139

Error

0.1b

Counts

139 → 13

Compiler

Compiled 4313 to 1573 computations (63.5% saved)

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (tan.f64 x) (tan.f64 eps))
0.1b	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))))
0.1b	(*.f64 (cos.f64 x) (cos.f64 eps))
0.1b	(-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))
0.1b	(+.f64 (tan.f64 x) (tan.f64 eps))
0.2b	(*.f64 (sin.f64 x) (sin.f64 eps))
0.3b	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
3.6b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))

rewrite45.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
14×	`add-sqr-sqrt_binary64_1464`
11×	`*-un-lft-identity_binary64_1442`
8×	`add-log-exp_binary64_1481`
7×	`add-cube-cbrt_binary64_1477`
6×	`pow1_binary64_1503`
5×	`cbrt-unprod_binary64_1475` `prod-exp_binary64_1491`
4×	`cbrt-undiv_binary64_1476` `div-exp_binary64_1493`
3×	`associate-r_binary64_1382` `cancel-sign-sub-inv_binary64_1408` `associate-l_binary64_1383` `tan-quot_binary64_1601`
2×	`times-frac_binary64_1448` `difference-of-squares_binary64_1411` `sin-mult_binary64_1597`
1×	`associate-/r_binary64_1386` `sum-log_binary64_1533` `associate-/l/_binary64_1389` `div-inv_binary64_1439` `associate-/r/_binary64_1388` `sub-neg_binary64_1435` `clear-num_binary64_1441` `associate-/l_binary64_1387` `flip3--_binary64_1446` `+-commutative_binary64_1372` `frac-sub_binary64_1451` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `distribute-lft-out_binary64_1393` `flip--_binary64_1417` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `flip3-+_binary64_1445` `flip-+_binary64_1416` `frac-add_binary64_1450` `cos-mult_binary64_1596` `distribute-lft-out--_binary64_1394` `unswap-sqr_binary64_1410`

Counts

4 → 73

Calls

8 calls:

20.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))
8.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
5.0ms	(*.f64 (sin.f64 x) (sin.f64 eps))
4.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))
0.0ms	(-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))

series1.5s (9.6%)

Counts

4 → 47

Calls

4 calls:

981.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))
261.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
197.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))
109.0ms	(*.f64 (sin.f64 x) (sin.f64 eps))

Compiler

Compiled 2096 to 1341 computations (36% saved)

simplify93.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4959	3296
1	4959	3296

prune198.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	114	6	120
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	121	12	133

Error

0.1b

Counts

133 → 12

Compiler

Compiled 4282 to 1407 computations (67.1% saved)

localize25.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 1 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))))
0.1b	(+.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))))) (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (+.f64 (/.f64 1 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) -1)))
0.1b	(-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))
0.1b	(-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))
0.2b	(*.f64 (sin.f64 x) (sin.f64 eps))
0.3b	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
0.3b	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
3.5b	(+.f64 (/.f64 1 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) -1)

rewrite48.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
12×	`add-sqr-sqrt_binary64_1464`
10×	`*-un-lft-identity_binary64_1442`
9×	`cbrt-unprod_binary64_1475` `prod-exp_binary64_1491`
8×	`cbrt-undiv_binary64_1476` `div-exp_binary64_1493`
6×	`add-log-exp_binary64_1481` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477`
4×	`times-frac_binary64_1448`
3×	`associate-r_binary64_1382` `div-inv_binary64_1439` `associate-l_binary64_1383` `difference-of-sqr--1_binary64_1413` `sin-mult_binary64_1597`
2×	`associate-/r_binary64_1386` `associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `clear-num_binary64_1441` `associate-/l_binary64_1387` `distribute-lft-out_binary64_1393` `frac-2neg_binary64_1453` `cos-mult_binary64_1596`
1×	`sum-log_binary64_1533` `+-commutative_binary64_1372` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `flip3-+_binary64_1445` `flip-+_binary64_1416` `unswap-sqr_binary64_1410`

Counts

4 → 81

Calls

8 calls:

15.0ms	(+.f64 (/.f64 1 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) -1)
8.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
8.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
6.0ms	(*.f64 (sin.f64 x) (sin.f64 eps))
0.0ms	(-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))

series1.0s (6.4%)

Counts

4 → 46

Calls

4 calls:

385.0ms	(+.f64 (/.f64 1 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) -1)
265.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
262.0ms	(/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)))
114.0ms	(*.f64 (sin.f64 x) (sin.f64 eps))

Compiler

Compiled 3244 to 1850 computations (43% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5121	3221

prune238.0ms (1.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	123	4	127
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	125	14	139

Error

0.1b

Counts

139 → 14

Compiler

Compiled 6342 to 2049 computations (67.7% saved)

simplify241.0ms (1.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	4752	3606
1	4752	3606

regimes679.0ms (4.2%)

Compiler: Compiled 6774 to 4010 computations (40.8% saved)

bsearch92.0ms (0.6%)

Steps

Iters	Range		Point
9	7.063657168295903e-09	0.030965969165772503	0.0003005423639412057
9	-748.9436314065143	-0.0004632039719346494	-0.0004779135616980856

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes624.0ms (3.9%)

Compiler: Compiled 5841 to 3440 computations (41.1% saved)

bsearch76.0ms (0.5%)

Steps

Iters	Range		Point
9	7.063657168295903e-09	0.030965969165772503	5.145237123972309e-05
7	-0.0004632039719346494	-2.5005587671238633e-05	-5.4521779724529695e-05

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes521.0ms (3.2%)

Compiler: Compiled 4758 to 2834 computations (40.4% saved)

bsearch72.0ms (0.4%)

Steps

Iters	Range		Point
9	7.063657168295903e-09	0.030965969165772503	1.4628684822663685e-05
7	-0.0004632039719346494	-2.5005587671238633e-05	-5.249116044875854e-05

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes506.0ms (3.1%)

Compiler: Compiled 4557 to 2711 computations (40.5% saved)

bsearch75.0ms (0.5%)

Steps

Iters	Range		Point
9	7.063657168295903e-09	0.030965969165772503	2.0334861175695522e-07
9	-2.5005587671238633e-05	-1.1565112691136808e-10	-2.3891148664584584e-07

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes378.0ms (2.3%)

Compiler: Compiled 2457 to 1649 computations (32.9% saved)

bsearch71.0ms (0.4%)

Steps

Iters	Range		Point
9	7.063657168295903e-09	0.030965969165772503	4.253898686838245e-07
9	-2.5005587671238633e-05	-1.1565112691136808e-10	-4.279669816718851e-07

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes353.0ms (2.2%)

Compiler: Compiled 2190 to 1502 computations (31.4% saved)

bsearch71.0ms (0.4%)

Steps

Iters	Range		Point
9	2.1731103683894138e-16	7.063657168295903e-09	2.4458551765479364e-09
9	-2.5005587671238633e-05	-1.1565112691136808e-10	-3.4101296937992502e-09

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes249.0ms (1.5%)

Compiler: Compiled 1264 to 923 computations (27% saved)

bsearch65.0ms (0.4%)

Steps

Iters	Range		Point
9	2.1731103683894138e-16	7.063657168295903e-09	2.4458551765479364e-09
9	-2.5005587671238633e-05	-1.1565112691136808e-10	-3.4743469135771167e-09

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes145.0ms (0.9%)

Compiler: Compiled 463 to 407 computations (12.1% saved)

bsearch63.0ms (0.4%)

Steps

Iters	Range		Point
9	2.1731103683894138e-16	7.063657168295903e-09	3.443849149629188e-09
9	-2.5005587671238633e-05	-1.1565112691136808e-10	-4.893051242916851e-09

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes129.0ms (0.8%)

Compiler: Compiled 415 to 377 computations (9.2% saved)

bsearch52.0ms (0.3%)

Steps

Iters	Range		Point
7	0.030965969165772503	0.7591345474719611	0.03124285192140815
9	-748.9436314065143	-0.0004632039719346494	-0.0004681071685224615

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes68.0ms (0.4%)

Compiler: Compiled 295 to 284 computations (3.7% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.1%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch0.0ms (0%)

regimes14.0ms (0.1%)

Accuracy

Total 0.2b remaining (70.8%)

Threshold costs 0.2b (70.8%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch29.0ms (0.2%)

Compiler: Compiled 712 to 407 computations (42.8% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	267	1097
1	267	1097

end0.0ms (0%)

sample4.3s (26.9%)

Algorithm

1×

intervals

Results

839.0ms	3548×	body	1024	valid
540.0ms	1212×	body	2048	valid
209.0ms	1369×	body	512	valid
61.0ms	1305×	body	128	valid
53.0ms	563×	body	256	valid
3.0ms	3×	body	4096	valid

Compiler

Compiled 2943 to 1737 computations (41% saved)

Pareto

0.8546772575633563

Details

analyze763.0ms (4.7%)

sample78.0ms (0.5%)

simplify99.0ms (0.6%)

prune2.0ms (0%)

localize6.0ms (0%)

rewrite13.0ms (0.1%)

series447.0ms (2.8%)

simplify39.0ms (0.2%)

prune121.0ms (0.7%)

localize11.0ms (0.1%)

rewrite41.0ms (0.3%)

series2.0s (12.2%)

simplify66.0ms (0.4%)

prune220.0ms (1.4%)

localize19.0ms (0.1%)

rewrite45.0ms (0.3%)

series1.5s (9.6%)

simplify93.0ms (0.6%)

prune198.0ms (1.2%)

localize25.0ms (0.2%)

rewrite48.0ms (0.3%)

series1.0s (6.4%)

simplify62.0ms (0.4%)

prune238.0ms (1.5%)

simplify241.0ms (1.5%)

regimes679.0ms (4.2%)

bsearch92.0ms (0.6%)

regimes624.0ms (3.9%)

bsearch76.0ms (0.5%)

regimes521.0ms (3.2%)

bsearch72.0ms (0.4%)

regimes506.0ms (3.1%)

bsearch75.0ms (0.5%)

regimes378.0ms (2.3%)

bsearch71.0ms (0.4%)

regimes353.0ms (2.2%)

bsearch71.0ms (0.4%)

regimes249.0ms (1.5%)

bsearch65.0ms (0.4%)

regimes145.0ms (0.9%)

bsearch63.0ms (0.4%)

regimes129.0ms (0.8%)

bsearch52.0ms (0.3%)

regimes68.0ms (0.4%)

bsearch0.0ms (0%)

regimes17.0ms (0.1%)

bsearch0.0ms (0%)

regimes14.0ms (0.1%)

bsearch29.0ms (0.2%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample4.3s (26.9%)

Profiling