Details

analyze267.0ms (2.4%)

Algorithm

1×

Search

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

Compiler

Compiled 30 to 24 computations (20% saved)

sample35.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	243×	body	128	valid
8.0ms	287×	pre	128	true
1.0ms	31×	body	128	nan
1.0ms	13×	body	256	valid

Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify369.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (270.0ms)

Iter	Nodes	Cost
0	1802	24
1	1802	24

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

28.9b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.2b	(.f64 (.f64 3 a) c)
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.2b	(.f64 (.f64 3 a) c)
0.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
28.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite38.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1464`
14×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `*-un-lft-identity_binary64_1442`
9×	`pow1_binary64_1503`
8×	`add-log-exp_binary64_1481` `add-cube-cbrt_binary64_1477`
6×	`times-frac_binary64_1448` `associate-/l*_binary64_1387` `difference-of-squares_binary64_1411`
4×	`cancel-sign-sub-inv_binary64_1408` `cbrt-unprod_binary64_1475` `prod-exp_binary64_1491`
3×	`associate-r_binary64_1382` `flip3--_binary64_1446` `pow-prod-down_binary64_1513` `flip--_binary64_1417` `sqrt-prod_binary64_1458` `distribute-lft-out--_binary64_1394`
2×	`cbrt-undiv_binary64_1476` `associate-/l/_binary64_1389` `sub-neg_binary64_1435` `diff-log_binary64_1534` `div-exp_binary64_1493`
1×	`associate-/r_binary64_1386` `div-inv_binary64_1439` `clear-num_binary64_1441` `associate-l_binary64_1383` `-commutative_binary64_1373` `frac-2neg_binary64_1453` `div-sub_binary64_1447`

Counts

4 → 77

Calls

8 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
5.0ms	(.f64 (.f64 3 a) c)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series577.0ms (5.1%)

Counts

4 → 60

Calls

4 calls:

206.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
159.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
157.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
55.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 1692 to 1453 computations (14.1% saved)

simplify57.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5268	2923

prune221.0ms (1.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	122	15	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	15	138

Error

0.6b

Counts

138 → 15

Compiler

Compiled 3445 to 2050 computations (40.5% saved)

localize32.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))
0.2b	(.f64 a (.f64 c c))
0.2b	(-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
0.1b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))
0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.4b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))

rewrite65.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

144×	`add-exp-log_binary64_1480`
72×	`prod-exp_binary64_1491`
51×	`div-exp_binary64_1493`
49×	`pow-exp_binary64_1510` `pow-to-exp_binary64_1511`
40×	`add-sqr-sqrt_binary64_1464`
29×	`unpow-prod-down_binary64_1521`
25×	`add-cbrt-cube_binary64_1478`
20×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
19×	`associate-r_binary64_1382`
16×	`unswap-sqr_binary64_1410`
15×	`sqr-pow_binary64_1414`
14×	`associate-/r*_binary64_1386` `times-frac_binary64_1448`
13×	`associate-l_binary64_1383`
10×	`cube-prod_binary64_1470`
8×	`cbrt-unprod_binary64_1475`
5×	`cbrt-undiv_binary64_1476`
4×	`add-log-exp_binary64_1481` `pow1_binary64_1503`
2×	`cube-mult_binary64_1472` `div-inv_binary64_1439` `clear-num_binary64_1441` `associate-/l_binary64_1387` `-commutative_binary64_1373` `frac-2neg_binary64_1453` `unpow3_binary64_1508`

Counts

4 → 188

Calls

8 calls:

10.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
9.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
9.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
8.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.0ms	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))

series867.0ms (7.7%)

Counts

4 → 30

Calls

4 calls:

348.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
293.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
123.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
103.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2700 to 2130 computations (21.1% saved)

simplify106.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4984	3398
1	4984	3398

prune703.0ms (6.2%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	215	3	218
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	215	18	233

Error

0.6b

Counts

233 → 18

Compiler

Compiled 11184 to 7125 computations (36.3% saved)

localize38.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))
0.2b	(+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))
0.2b	(-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))
0.1b	(+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))
0.4b	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b	(*.f64 (pow.f64 a 4) (pow.f64 c 4))
0.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
0.8b	(pow.f64 (*.f64 a c) 3)

rewrite87.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`add-exp-log_binary64_1480`
38×	`prod-exp_binary64_1491`
36×	`pow-exp_binary64_1510`
35×	`pow-to-exp_binary64_1511`
32×	`div-exp_binary64_1493`
27×	`add-sqr-sqrt_binary64_1464`
19×	`add-cbrt-cube_binary64_1478` `unpow-prod-down_binary64_1521`
15×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
11×	`sqr-pow_binary64_1414`
10×	`associate-*r/_binary64_1384` `times-frac_binary64_1448`
9×	`unswap-sqr_binary64_1410`
8×	`associate-/r*_binary64_1386`
7×	`associate-r_binary64_1382` `associate-/l/_binary64_1389` `associate-l_binary64_1383` `pow1_binary64_1503`
5×	`frac-sub_binary64_1451`
4×	`cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `associate-/l*_binary64_1387` `add-log-exp_binary64_1481` `frac-add_binary64_1450`
3×	`pow-unpow_binary64_1519`
2×	`div-inv_binary64_1439` `clear-num_binary64_1441` `pow-prod-down_binary64_1513` `rem-cube-cbrt_binary64_1465` `frac-2neg_binary64_1453` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow-pow_binary64_1514`
1×	`cube-mult_binary64_1472` `flip3--_binary64_1446` `cube-prod_binary64_1470` `*-commutative_binary64_1373` `flip--_binary64_1417` `unpow3_binary64_1508` `div-sub_binary64_1447`

Counts

4 → 150

Calls

8 calls:

33.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
9.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
8.0ms	(*.f64 (pow.f64 a 4) (pow.f64 c 4))
4.0ms	(pow.f64 (*.f64 a c) 3)
0.0ms	(+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))

series879.0ms (7.8%)

Counts

4 → 42

Calls

4 calls:

339.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
329.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
115.0ms	(*.f64 (pow.f64 a 4) (pow.f64 c 4))
96.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 2775 to 2170 computations (21.8% saved)

simplify103.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5029	4802

prune791.0ms (7%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	183	9	192
Fresh	4	12	16
Picked	1	0	1
Done	0	1	1
Total	188	22	210

Error

0.5b

Counts

210 → 22

Compiler

Compiled 12184 to 7295 computations (40.1% saved)

localize32.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)))
0.2b	(+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))))
0.2b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 a c) b) a)) (/.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (*.f64 a 3)))
0.2b	(+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))
0.4b	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
0.6b	(pow.f64 (*.f64 a c) 2)
0.8b	(pow.f64 (*.f64 a c) 3)
0.9b	(pow.f64 (*.f64 a c) 4)

rewrite37.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`times-frac_binary64_1448`
33×	`add-exp-log_binary64_1480`
29×	`unpow-prod-down_binary64_1521`
27×	`add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
17×	`sqr-pow_binary64_1414`
16×	`pow-exp_binary64_1510`
13×	`pow1_binary64_1503`
12×	`div-exp_binary64_1493`
10×	`pow-to-exp_binary64_1511`
9×	`add-cbrt-cube_binary64_1478` `pow-unpow_binary64_1519`
7×	`associate-/r*_binary64_1386`
6×	`prod-exp_binary64_1491` `pow-pow_binary64_1514`
5×	`associate-/l*_binary64_1387`
4×	`add-log-exp_binary64_1481`
3×	`pow-prod-down_binary64_1513`
2×	`rem-cube-cbrt_binary64_1465`
1×	`cbrt-undiv_binary64_1476` `cube-mult_binary64_1472` `cbrt-unprod_binary64_1475` `unpow2_binary64_1507` `div-inv_binary64_1439` `clear-num_binary64_1441` `cube-prod_binary64_1470` `frac-2neg_binary64_1453` `unpow3_binary64_1508`

Counts

4 → 127

Calls

8 calls:

7.0ms	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
4.0ms	(pow.f64 (*.f64 a c) 4)
4.0ms	(pow.f64 (*.f64 a c) 3)
4.0ms	(pow.f64 (*.f64 a c) 2)
0.0ms	(+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))

series606.0ms (5.3%)

Counts

4 → 27

Calls

4 calls:

338.0ms	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
99.0ms	(pow.f64 (*.f64 a c) 4)
94.0ms	(pow.f64 (*.f64 a c) 3)
75.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 2754 to 2052 computations (25.5% saved)

simplify64.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5091	2247

prune484.0ms (4.3%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	20	20
Picked	0	1	1
Done	0	1	1
Total	154	22	176

Error

0.5b

Counts

176 → 22

Compiler

Compiled 8284 to 4970 computations (40% saved)

simplify215.0ms (1.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (164.0ms)

Iter	Nodes	Cost
0	5023	4418

regimes571.0ms (5%)

Compiler: Compiled 8769 to 6201 computations (29.3% saved)

bsearch0.0ms (0%)

regimes159.0ms (1.4%)

Compiler: Compiled 1776 to 1386 computations (22% saved)

bsearch0.0ms (0%)

regimes144.0ms (1.3%)

Compiler: Compiled 906 to 768 computations (15.2% saved)

bsearch9.0ms (0.1%)

Steps

Iters	Range		Point
2	98.67834941615135	109.2079607480752	107.89175933158471

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes98.0ms (0.9%)

Compiler: Compiled 447 to 411 computations (8.1% saved)

bsearch8.0ms (0.1%)

Steps

Iters	Range		Point
2	98.67834941615135	109.2079607480752	99.99455083264182

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes70.0ms (0.6%)

Compiler: Compiled 207 to 219 computations (-5.8% saved)

bsearch6.0ms (0.1%)

Steps

Iters	Range		Point
1	109.2079607480752	113.8467659171954	112.68706462491534

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes65.0ms (0.6%)

Compiler: Compiled 159 to 180 computations (-13.2% saved)

bsearch5.0ms (0%)

Steps

Iters	Range		Point
1	109.2079607480752	113.8467659171954	112.68706462491534

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes60.0ms (0.5%)

Compiler: Compiled 111 to 141 computations (-27% saved)

bsearch4.0ms (0%)

Steps

Iters	Range		Point
1	109.2079607480752	113.8467659171954	112.68706462491534

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes31.0ms (0.3%)

Compiler: Compiled 63 to 102 computations (-61.9% saved)

bsearch0.0ms (0%)

regimes24.0ms (0.2%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes22.0ms (0.2%)

Accuracy

Total 5.1b remaining (89.1%)

Threshold costs 0b (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch12.0ms (0.1%)

Compiler: Compiled 249 to 193 computations (22.5% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	271	368
1	271	368

end0.0ms (0%)

sample3.3s (29.5%)

Algorithm

1×

intervals

Results

395.0ms	7698×	body	128	valid
272.0ms	9013×	pre	128	true
50.0ms	1013×	body	128	nan
29.0ms	302×	body	256	valid

Compiler

Compiled 3200 to 2281 computations (28.7% saved)

Pareto

0.8321054358028226

Details

analyze267.0ms (2.4%)

sample35.0ms (0.3%)

simplify369.0ms (3.3%)

prune5.0ms (0%)

localize10.0ms (0.1%)

rewrite38.0ms (0.3%)

series577.0ms (5.1%)

simplify57.0ms (0.5%)

prune221.0ms (1.9%)

localize32.0ms (0.3%)

rewrite65.0ms (0.6%)

series867.0ms (7.7%)

simplify106.0ms (0.9%)

prune703.0ms (6.2%)

localize38.0ms (0.3%)

rewrite87.0ms (0.8%)

series879.0ms (7.8%)

simplify103.0ms (0.9%)

prune791.0ms (7%)

localize32.0ms (0.3%)

rewrite37.0ms (0.3%)

series606.0ms (5.3%)

simplify64.0ms (0.6%)

prune484.0ms (4.3%)

simplify215.0ms (1.9%)

regimes571.0ms (5%)

bsearch0.0ms (0%)

regimes159.0ms (1.4%)

bsearch0.0ms (0%)

regimes144.0ms (1.3%)

bsearch9.0ms (0.1%)

regimes98.0ms (0.9%)

bsearch8.0ms (0.1%)

regimes70.0ms (0.6%)

bsearch6.0ms (0.1%)

regimes65.0ms (0.6%)

bsearch5.0ms (0%)

regimes60.0ms (0.5%)

bsearch4.0ms (0%)

regimes31.0ms (0.3%)

bsearch0.0ms (0%)

regimes24.0ms (0.2%)

bsearch0.0ms (0%)

regimes22.0ms (0.2%)

bsearch12.0ms (0.1%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample3.3s (29.5%)

Profiling