Details

analyze1.6s (7.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
24.9%	74.7%	0.4%	8
24.9%	74.7%	0.4%	9
24.9%	74.7%	0.4%	10
25.7%	73.9%	0.4%	11
25.7%	73.9%	0.4%	12
25.7%	73.9%	0.4%	13
25.7%	73.9%	0.4%	14

Compiler

Compiled 32 to 29 computations (9.4% saved)

sample48.0ms (0.2%)

Algorithm

1×

intervals

Results

27.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify169.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

prune8.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.0b

Counts

2 → 1

Compiler

Compiled 58 to 52 computations (10.3% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
0.0b	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

rewrite69.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

145×	`*-un-lft-identity_binary64_1442`
75×	`times-frac_binary64_1448`
67×	`add-sqr-sqrt_binary64_1464`
51×	`distribute-lft-out--_binary64_1394`
50×	`exp-prod_binary64_1494`
47×	`add-cube-cbrt_binary64_1477`
13×	`distribute-lft-out_binary64_1393`
10×	`associate-/l*_binary64_1387` `difference-of-squares_binary64_1411`
8×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
7×	`associate-/r*_binary64_1386`
6×	`add-log-exp_binary64_1481`
4×	`div-inv_binary64_1439` `pow1_binary64_1503`
3×	`div-sub_binary64_1447`
2×	`cbrt-undiv_binary64_1476` `associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `clear-num_binary64_1441` `rem-exp-log_binary64_1482` `frac-2neg_binary64_1453` `exp-diff_binary64_1490` `div-exp_binary64_1493`
1×	`flip3--_binary64_1446` `flip--_binary64_1417` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 147

Calls

8 calls:

14.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
12.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
12.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series1.7s (7.8%)

Counts

4 → 108

Calls

4 calls:

758.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
341.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
321.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
273.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 8624 to 6566 computations (23.9% saved)

simplify96.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5013	8421

prune420.0ms (1.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	253	2	255
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	254	2	256

Error

0.0b

Counts

256 → 2

Compiler

Compiled 11276 to 3384 computations (70% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
0.0b	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.0b	(pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)
0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.3b	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3))

rewrite75.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

124×	`*-un-lft-identity_binary64_1442`
75×	`exp-prod_binary64_1494`
63×	`times-frac_binary64_1448`
61×	`add-sqr-sqrt_binary64_1464`
45×	`distribute-lft-out--_binary64_1394`
43×	`add-cube-cbrt_binary64_1477`
26×	`pow-pow_binary64_1514`
12×	`cbrt-prod_binary64_1473`
9×	`distribute-lft-out_binary64_1393` `difference-of-squares_binary64_1411`
6×	`cube-prod_binary64_1470` `add-log-exp_binary64_1481` `unpow-prod-down_binary64_1521`
5×	`add-cbrt-cube_binary64_1478` `pow1_binary64_1503`
4×	`add-exp-log_binary64_1480` `exp-diff_binary64_1490` `div-sub_binary64_1447`
3×	`div-inv_binary64_1439` `pow-unpow_binary64_1519`
2×	`cube-mult_binary64_1472` `rem-exp-log_binary64_1482` `sqr-pow_binary64_1414` `unpow3_binary64_1508` `cube-div_binary64_1471`
1×	`pow-exp_binary64_1510` `cbrt-div_binary64_1474` `rem-cube-cbrt_binary64_1465` `pow1/3_binary64_1524` `pow-to-exp_binary64_1511` `rem-cbrt-cube_binary64_1466`

Counts

4 → 139

Calls

8 calls:

15.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)
12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
12.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
12.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3))
0.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series1.8s (8.2%)

Counts

4 → 113

Calls

4 calls:

779.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)
343.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3))
329.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
324.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

Compiler

Compiled 10088 to 7774 computations (22.9% saved)

simplify114.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5222	11165

prune556.0ms (2.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

254 → 2

Compiler

Compiled 13770 to 4720 computations (65.7% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (*.f64 (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
0.0b	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.2b	(*.f64 (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
0.5b	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
0.5b	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

rewrite131.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

152×	`*-un-lft-identity_binary64_1442`
134×	`sqrt-prod_binary64_1458`
117×	`add-sqr-sqrt_binary64_1464`
115×	`times-frac_binary64_1448`
71×	`add-cube-cbrt_binary64_1477`
29×	`swap-sqr_binary64_1409`
25×	`exp-prod_binary64_1494`
24×	`distribute-lft-out_binary64_1393`
21×	`associate-r_binary64_1382` `associate-l_binary64_1383` `pow1_binary64_1503`
18×	`distribute-lft-out--_binary64_1394`
12×	`associate-/r/_binary64_1388`
10×	`sqrt-pow1_binary64_1460` `pow1/2_binary64_1522`
9×	`unswap-sqr_binary64_1410`
8×	`rem-sqrt-square_binary64_1455`
7×	`div-inv_binary64_1439`
6×	`add-cbrt-cube_binary64_1478` `sqrt-div_binary64_1459` `add-exp-log_binary64_1480` `flip3-+_binary64_1445` `flip-+_binary64_1416`
5×	`add-log-exp_binary64_1481` `pow-prod-up_binary64_1512`
3×	`pow-prod-down_binary64_1513` `pow-sqr_binary64_1415` `difference-of-squares_binary64_1411`
2×	`sqr-abs_binary64_1457`
1×	`pow2_binary64_1523` `associate-r/_binary64_1384` `cbrt-unprod_binary64_1475` `pow-plus_binary64_1505` `rem-exp-log_binary64_1482` `-commutative_binary64_1373` `sqrt-unprod_binary64_1462` `exp-diff_binary64_1490` `frac-times_binary64_1452` `prod-exp_binary64_1491` `rem-square-sqrt_binary64_1454` `div-sub_binary64_1447` `associate-*l/_binary64_1385`

Counts

4 → 204

Calls

8 calls:

43.0ms	(*.f64 (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
19.0ms	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
15.0ms	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series4.6s (21.4%)

Counts

4 → 105

Calls

4 calls:

1.8s	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
1.7s	(sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
769.0ms	(*.f64 (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
327.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

Compiler

Compiled 15810 to 11444 computations (27.6% saved)

simplify175.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

309 → 309

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5263	19243

prune1.2s (5.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

311 → 2

Compiler

Compiled 21919 to 8339 computations (62% saved)

simplify39.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	999	934
1	999	934

regimes426.0ms (2%)

Compiler: Compiled 5328 to 4815 computations (9.6% saved)

bsearch0.0ms (0%)

regimes351.0ms (1.6%)

Compiler: Compiled 4050 to 3744 computations (7.6% saved)

bsearch0.0ms (0%)

regimes440.0ms (2%)

Compiler: Compiled 3600 to 3303 computations (8.3% saved)

bsearch86.0ms (0.4%)

Steps

Iters	Range		Point
9	2.081994214716865e-52	6.475984084659072e-43	1.0245339146462255e-47
9	-3.033016976390635e+30	-3.97716094530735e+25	-2.8328638319249255e+30

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes339.0ms (1.6%)

Compiler: Compiled 3357 to 3078 computations (8.3% saved)

bsearch43.0ms (0.2%)

Steps

Iters	Range		Point
9	1.1088075983896886e+148	5.13459167044697e+153	4.088554872931449e+153

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes693.0ms (3.2%)

Compiler: Compiled 3114 to 2853 computations (8.4% saved)

bsearch285.0ms (1.3%)

Steps

Iters	Range		Point
8	4.663456491817209e+173	9.691789578245331e+176	6.191549155749893e+173
10	2.5806380531026067e+39	3.730227209223462e+53	1.7886890628643488e+53
7	2.8994742329127245e-107	8.379089582219328e-106	2.9511845217658305e-107
10	3.7801320259790853e-121	2.8994742329127245e-107	2.838117375807998e-107
8	1.5819884095391162e-278	6.94245332775184e-276	1.391225305711632e-277
8	-1.5199143454265666e-209	-5.6641053012374486e-213	-3.294752565815866e-211
8	-1.7315830372435685e-143	-4.2809555768162526e-147	-3.0599551530578095e-145
6	-6.953498190370003e+59	-1.2282950829078732e+59	-1.4053948343147115e+59

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes584.0ms (2.7%)

Compiler: Compiled 2898 to 2637 computations (9% saved)

bsearch86.0ms (0.4%)

Steps

Iters	Range		Point
9	2.1470933074524516e+139	3.114070588053094e+144	9.378150138278924e+139
9	-1.5634053391919828e+20	-1751214892049399.0	-1.1746929784487831e+20

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes406.0ms (1.9%)

Compiler: Compiled 1593 to 1926 computations (-20.9% saved)

bsearch79.0ms (0.4%)

Steps

Iters	Range		Point
8	3.591994413126015e-16	2.9491206388921736e-13	1.5902483586030957e-14
9	-1.0109054337938394e+43	-2.4484507721820753e+33	-3.744693307284445e+37

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes261.0ms (1.2%)

Compiler: Compiled 1386 to 1719 computations (-24% saved)

bsearch84.0ms (0.4%)

Steps

Iters	Range		Point
9	2.223344586892344e-206	1.1314843209198517e-199	2.832745812653842e-205
9	-6.057489430474834e-155	-1.7756120987123986e-161	-1.621080494661621e-157

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes575.0ms (2.7%)

Compiler: Compiled 1179 to 1512 computations (-28.2% saved)

bsearch355.0ms (1.6%)

Steps

Iters	Range		Point
8	6.317324595521459e+221	6.839687640851262e+224	1.8264694626504873e+224
6	2.715193622490917e+206	2.4900526468617428e+207	3.1632004568170373e+206
6	5.673584031006072e+157	7.684489119208489e+158	3.9344520676382454e+158
9	3.548217617141336e+118	1.7008486428112955e+125	1.410485124626147e+124
6	1.4837784806427287e+61	6.175058263663714e+61	1.956551918064716e+61
8	3.815702570438749e-186	3.68270718425231e-183	4.6559696032877494e-185
10	-2.3316426014670506e-256	-1.171782867951293e-273	-7.506021632030447e-261
10	-6.753288501816965e-96	-1.2156509167677532e-106	-3.3021256759429486e-104
10	-5.4117047283141935e+186	-1.8991909967604562e+171	-2.5536374021517217e+183
6	-9.28891371188397e+256	-1.3035516937822685e+256	-8.629595721620021e+256

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes418.0ms (1.9%)

Compiler: Compiled 855 to 1242 computations (-45.3% saved)

bsearch167.0ms (0.8%)

Steps

Iters	Range		Point
6	7.715314583949015e+19	7.256961008378857e+20	1.2670654023436142e+20
5	-6.69779428448831e-188	-2.4666901679998415e-188	-5.6365748428798625e-188
9	-6.057489430474834e-155	-1.7756120987123986e-161	-5.8212049171576495e-155
10	-9.167205587888546e-114	-7.613497430473003e-124	-7.736866173255707e-124
9	-1.7745553789346893e+134	-1.4392623869917192e+128	-7.88926300056861e+128

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes339.0ms (1.6%)

Compiler: Compiled 531 to 972 computations (-83.1% saved)

bsearch127.0ms (0.6%)

Steps

Iters	Range		Point
6	7.715314583949015e+19	7.256961008378857e+20	1.3771840565544393e+20
9	5.9378679554942016e-95	6.312210965633179e-87	6.038784831490222e-95
8	1.3777297878786384e-156	4.18353128969247e-152	4.07230268981671e-152
7	-1.0995546891412666e-30	-2.3678974034959895e-32	-6.659465260608525e-31

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes141.0ms (0.7%)

Compiler: Compiled 207 to 612 computations (-195.7% saved)

bsearch64.0ms (0.3%)

Steps

Iters	Range		Point
8	2.9605180016672127e+112	1.5520339794086444e+116	3.007228432256223e+112
8	1.9621374905092047e+74	2.5350197919593757e+77	4.297478264229415e+76

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes87.0ms (0.4%)

Accuracy

Total 0.0b remaining (43.2%)

Threshold costs 0.0b (43.2%)

Compiler

Compiled 45 to 432 computations (-860% saved)

bsearch40.0ms (0.2%)

Compiler: Compiled 1246 to 724 computations (41.9% saved)

simplify24.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	425	1716
1	425	1716

end0.0ms (0%)

sample2.3s (10.7%)

Algorithm

1×

intervals

Results

749.0ms

8000×

body

128

valid

Compiler

Compiled 1759 to 1250 computations (28.9% saved)

Pareto

0.082235301950758

Details

analyze1.6s (7.2%)

sample48.0ms (0.2%)

simplify169.0ms (0.8%)

prune8.0ms (0%)

localize26.0ms (0.1%)

rewrite69.0ms (0.3%)

series1.7s (7.8%)

simplify96.0ms (0.4%)

prune420.0ms (1.9%)

localize27.0ms (0.1%)

rewrite75.0ms (0.3%)

series1.8s (8.2%)

simplify114.0ms (0.5%)

prune556.0ms (2.6%)

localize27.0ms (0.1%)

rewrite131.0ms (0.6%)

series4.6s (21.4%)

simplify175.0ms (0.8%)

prune1.2s (5.4%)

simplify39.0ms (0.2%)

regimes426.0ms (2%)

bsearch0.0ms (0%)

regimes351.0ms (1.6%)

bsearch0.0ms (0%)

regimes440.0ms (2%)

bsearch86.0ms (0.4%)

regimes339.0ms (1.6%)

bsearch43.0ms (0.2%)

regimes693.0ms (3.2%)

bsearch285.0ms (1.3%)

regimes584.0ms (2.7%)

bsearch86.0ms (0.4%)

regimes406.0ms (1.9%)

bsearch79.0ms (0.4%)

regimes261.0ms (1.2%)

bsearch84.0ms (0.4%)

regimes575.0ms (2.7%)

bsearch355.0ms (1.6%)

regimes418.0ms (1.9%)

bsearch167.0ms (0.8%)

regimes339.0ms (1.6%)

bsearch127.0ms (0.6%)

regimes141.0ms (0.7%)

bsearch64.0ms (0.3%)

regimes87.0ms (0.4%)

bsearch40.0ms (0.2%)

simplify24.0ms (0.1%)

end0.0ms (0%)

sample2.3s (10.7%)

Profiling