Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample30.0ms (0%)

Algorithm

1×

intervals

Results

9.0ms	176×	body	128	valid
4.0ms	256×	pre	128	true
4.0ms	34×	body	1024	valid
3.0ms	29×	body	512	valid
1.0ms	7×	body	2048	valid
1.0ms	10×	body	256	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify336.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (243.0ms)

Iter	Nodes	Cost
0	5018	19

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

19.2b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

1.9b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
1.9b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64_1442`
26×	`add-sqr-sqrt_binary64_1464`
25×	`times-frac_binary64_1448`
19×	`distribute-lft-out_binary64_1393`
14×	`add-cube-cbrt_binary64_1477`
6×	`difference-of-squares_binary64_1411` `distribute-lft-out--_binary64_1394`
5×	`associate-/r_binary64_1386` `associate-/l_binary64_1387`
4×	`add-cbrt-cube_binary64_1478` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480`
2×	`associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow1_binary64_1503` `div-sub_binary64_1447`
1×	`cbrt-undiv_binary64_1476` `sum-log_binary64_1533` `div-inv_binary64_1439` `clear-num_binary64_1441` `flip3--_binary64_1446` `+-commutative_binary64_1372` `flip--_binary64_1417` `frac-2neg_binary64_1453` `associate-+l-_binary64_1377` `div-exp_binary64_1493`

Counts

2 → 65

Calls

4 calls:

20.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
14.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

series339.0ms (0.4%)

Counts

2 → 40

Calls

2 calls:

207.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
132.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1682 to 1406 computations (16.4% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5009	3116

prune171.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	4	106

Error

0.0b

Counts

106 → 4

Compiler

Compiled 2760 to 1642 computations (40.5% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))))
0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)
1.3b	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
1.9b	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))

rewrite123.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

121×	`*-un-lft-identity_binary64_1442`
68×	`add-sqr-sqrt_binary64_1464`
65×	`times-frac_binary64_1448`
37×	`add-cube-cbrt_binary64_1477`
35×	`distribute-lft-out_binary64_1393`
31×	`cube-prod_binary64_1470` `unpow-prod-down_binary64_1521`
14×	`difference-of-squares_binary64_1411`
11×	`distribute-lft-out--_binary64_1394`
9×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
8×	`add-log-exp_binary64_1481`
6×	`associate-/r/_binary64_1388`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `pow1_binary64_1503`
4×	`associate-/l*_binary64_1387`
3×	`associate-/r*_binary64_1386` `cancel-sign-sub-inv_binary64_1408` `div-inv_binary64_1439` `pow-unpow_binary64_1519`
2×	`cbrt-undiv_binary64_1476` `pow-exp_binary64_1510` `associate-/l/_binary64_1389` `difference-of-sqr-1_binary64_1412` `rem-cube-cbrt_binary64_1465` `div-exp_binary64_1493`
1×	`associate--l-_binary64_1380` `cube-mult_binary64_1472` `sum-log_binary64_1533` `sub-neg_binary64_1435` `clear-num_binary64_1441` `flip3--_binary64_1446` `+-commutative_binary64_1372` `flip--_binary64_1417` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `sqr-pow_binary64_1414` `unpow3_binary64_1508` `cube-div_binary64_1471` `div-sub_binary64_1447` `pow-to-exp_binary64_1511` `pow-pow_binary64_1514`

Counts

4 → 151

Calls

8 calls:

31.0ms	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))))
31.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
20.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
15.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)
0.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))

series1.1min (81.2%)

Counts

4 → 68

Calls

4 calls:

1.0min	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))))
354.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
200.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
179.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)

Compiler

Compiled 35743 to 28369 computations (20.6% saved)

simplify373.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5281	56142

prune4.0s (5.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	217	2	219
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	218	5	223

Error

0.0b

Counts

223 → 5

Compiler

Compiled 42984 to 28833 computations (32.9% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))) (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))))
0.0b	(/.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))) (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)))
0.0b	(*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))
0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)
1.3b	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
1.9b	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))

rewrite135.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

157×	`*-un-lft-identity_binary64_1442`
99×	`add-sqr-sqrt_binary64_1464`
82×	`times-frac_binary64_1448`
46×	`distribute-lft-out_binary64_1393`
42×	`add-cube-cbrt_binary64_1477`
31×	`cube-prod_binary64_1470` `associate-l_binary64_1383` `unpow-prod-down_binary64_1521`
23×	`difference-of-squares_binary64_1411`
17×	`distribute-lft-out--_binary64_1394`
12×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
10×	`associate-r_binary64_1382`
9×	`cancel-sign-sub-inv_binary64_1408`
8×	`add-log-exp_binary64_1481`
7×	`pow1_binary64_1503`
6×	`associate-/r/_binary64_1388`
4×	`difference-of-sqr-1_binary64_1412` `distribute-lft-in_binary64_1391` `flip3-+_binary64_1445` `distribute-rgt-in_binary64_1392` `flip-+_binary64_1416`
3×	`div-inv_binary64_1439` `sub-neg_binary64_1435` `flip3--_binary64_1446` `pow-unpow_binary64_1519` `flip--_binary64_1417`
2×	`associate-*r/_binary64_1384` `cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `pow-exp_binary64_1510` `rem-cube-cbrt_binary64_1465` `frac-times_binary64_1452` `prod-exp_binary64_1491` `div-exp_binary64_1493` `unswap-sqr_binary64_1410`
1×	`associate--l-_binary64_1380` `cube-mult_binary64_1472` `sum-log_binary64_1533` `+-commutative_binary64_1372` `pow-prod-down_binary64_1513` `-commutative_binary64_1373` `diff-log_binary64_1534` `sqr-pow_binary64_1414` `unpow3_binary64_1508` `cube-div_binary64_1471` `div-sub_binary64_1447` `associate-l/_binary64_1385` `pow-to-exp_binary64_1511` `pow-pow_binary64_1514`

Counts

4 → 185

Calls

8 calls:

44.0ms	(*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))
28.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
21.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
15.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)
0.0ms	(/.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))) (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)))

series1.0s (1.3%)

Counts

4 → 66

Calls

4 calls:

368.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
288.0ms	(*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) (-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1))
197.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
179.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3)

Compiler

Compiled 5232 to 4046 computations (22.7% saved)

simplify117.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

251 → 251

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4989	8260
1	4989	8260

prune669.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	250	1	251
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	251	5	256

Error

0.0b

Counts

256 → 5

Compiler

Compiled 13260 to 7565 computations (42.9% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b	(/.f64 (+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))))
0.1b	(pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3)
1.3b	(-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
1.3b	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
1.9b	(+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3))

rewrite296.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

293×	`*-un-lft-identity_binary64_1442`
198×	`add-sqr-sqrt_binary64_1464`
181×	`unpow-prod-down_binary64_1521`
169×	`cube-prod_binary64_1470`
167×	`times-frac_binary64_1448`
91×	`distribute-lft-out_binary64_1393`
75×	`add-cube-cbrt_binary64_1477`
71×	`cancel-sign-sub-inv_binary64_1408`
58×	`difference-of-squares_binary64_1411`
32×	`distribute-lft-out--_binary64_1394`
14×	`sqr-pow_binary64_1414`
12×	`associate-/r/_binary64_1388`
10×	`add-log-exp_binary64_1481`
8×	`add-exp-log_binary64_1480`
7×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
6×	`pow-exp_binary64_1510` `div-inv_binary64_1439`
5×	`add-cbrt-cube_binary64_1478`
4×	`cube-mult_binary64_1472` `unpow3_binary64_1508` `pow1_binary64_1503`
3×	`pow-unpow_binary64_1519`
2×	`sub-neg_binary64_1435` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `flip--_binary64_1417` `diff-log_binary64_1534` `cube-div_binary64_1471` `pow-to-exp_binary64_1511`
1×	`associate--l-_binary64_1380` `sum-log_binary64_1533` `+-commutative_binary64_1372` `rem-cube-cbrt_binary64_1465` `div-sub_binary64_1447` `div-exp_binary64_1493` `pow-pow_binary64_1514`

Counts

4 → 295

Calls

8 calls:

131.0ms	(-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
54.0ms	(+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3))
27.0ms	(pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3)
21.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)
0.0ms	(/.f64 (+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))))

series2.8s (3.6%)

Counts

4 → 61

Calls

4 calls:

1.4s	(+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3))
880.0ms	(-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
232.0ms	(pow.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3) 3)
217.0ms	(-.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 1)

Compiler

Compiled 7156 to 5059 computations (29.3% saved)

simplify151.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5050	12497

prune1.8s (2.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	355	1	356
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	356	5	361

Error

0.0b

Counts

361 → 5

Compiler

Compiled 27747 to 15474 computations (44.2% saved)

simplify26.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	445	1839
1	445	1839

regimes270.0ms (0.3%)

Compiler: Compiled 2452 to 1620 computations (33.9% saved)

bsearch15.0ms (0%)

Steps

Iters	Range		Point
7	51705025058074.68	5676179151509394.0	52638348218953.26

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes61.0ms (0.1%)

Compiler: Compiled 64 to 80 computations (-25% saved)

bsearch15.0ms (0%)

Steps

Iters	Range		Point
7	51705025058074.68	5676179151509394.0	205342071785216.62

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes29.0ms (0%)

Compiler: Compiled 28 to 44 computations (-57.1% saved)

bsearch12.0ms (0%)

Steps

Iters	Range		Point
7	51705025058074.68	5676179151509394.0	770656661630366.6

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes15.0ms (0%)

Accuracy

Total 3.4b remaining (98.4%)

Threshold costs 0b (0%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch4.0ms (0%)

Compiler: Compiled 63 to 56 computations (11.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	91
1	46	91

end0.0ms (0%)

sample1.6s (2.1%)

Algorithm

1×

intervals

Results

204.0ms	6003×	body	128	valid
135.0ms	8000×	pre	128	true
125.0ms	978×	body	1024	valid
56.0ms	609×	body	512	valid
19.0ms	308×	body	256	valid
15.0ms	102×	body	2048	valid

Compiler

Compiled 1307 to 880 computations (32.7% saved)

Pareto

0.06064371285400427

Details

analyze3.0ms (0%)

sample30.0ms (0%)

simplify336.0ms (0.4%)

prune3.0ms (0%)

localize8.0ms (0%)

rewrite40.0ms (0.1%)

series339.0ms (0.4%)

simplify76.0ms (0.1%)

prune171.0ms (0.2%)

localize14.0ms (0%)

rewrite123.0ms (0.2%)

series1.1min (81.2%)

simplify373.0ms (0.5%)

prune4.0s (5.2%)

localize18.0ms (0%)

rewrite135.0ms (0.2%)

series1.0s (1.3%)

simplify117.0ms (0.2%)

prune669.0ms (0.9%)

localize23.0ms (0%)

rewrite296.0ms (0.4%)

series2.8s (3.6%)

simplify151.0ms (0.2%)

prune1.8s (2.3%)

simplify26.0ms (0%)

regimes270.0ms (0.3%)

bsearch15.0ms (0%)

regimes61.0ms (0.1%)

bsearch15.0ms (0%)

regimes29.0ms (0%)

bsearch12.0ms (0%)

regimes15.0ms (0%)

bsearch4.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.6s (2.1%)

Profiling