Details

analyze4.9s (6.3%)

Algorithm

1×

Search

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

Compiler

Compiled 96 to 64 computations (33.3% saved)

sample653.0ms (0.8%)

Algorithm

1×

intervals

Results

392.0ms	1960×	body	128	invalid
51.0ms	256×	body	128	valid

Compiler

Compiled 191 to 143 computations (25.1% saved)

simplify139.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5169	142

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

24.0b

Counts

2 → 1

Compiler

Compiled 190 to 126 computations (33.7% saved)

localize73.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 t y2) (.f64 y y3))
0.0b	(-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a))))
0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 y4 c) (.f64 y5 a))
8.0b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
8.2b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
8.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

rewrite72.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip3--_binary64_16450` `flip--_binary64_16421`
20×	`add-sqr-sqrt_binary64_16468`
16×	`frac-times_binary64_16456`
12×	`add-exp-log_binary64_16484` `add-cube-cbrt_binary64_16481` `-un-lft-identity_binary64_16446` `pow1_binary64_16507` `add-cbrt-cube_binary64_16482` `associate-r_binary64_16386` `associate-l*_binary64_16387`
8×	`associate-r/_binary64_16388` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `sub-neg_binary64_16439` `associate-l/_binary64_16389` `cancel-sign-sub-inv_binary64_16412`
4×	`unswap-sqr_binary64_16414` `pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377` `add-log-exp_binary64_16485` `prod-exp_binary64_16495`

Counts

4 → 120

Calls

8 calls:

10.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
0.0ms	(-.f64 (.f64 y4 c) (.f64 y5 a))

series3.6s (4.7%)

Counts

4 → 192

Calls

4 calls:

946.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
915.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
897.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
889.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

Compiler

Compiled 30144 to 19580 computations (35% saved)

simplify122.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5010	10220

prune1.1s (1.5%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	286	26	312
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	287	26	313

Error

14.1b

Counts

313 → 26

Compiler

Compiled 35298 to 2713 computations (92.3% saved)

localize81.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 t y2) (.f64 y y3))
0.0b	(-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a))))
0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 y4 c) (.f64 y5 a))
7.9b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.0b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
8.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

rewrite80.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip3--_binary64_16450` `flip--_binary64_16421`
20×	`add-sqr-sqrt_binary64_16468`
16×	`frac-times_binary64_16456`
12×	`add-exp-log_binary64_16484` `add-cube-cbrt_binary64_16481` `-un-lft-identity_binary64_16446` `pow1_binary64_16507` `add-cbrt-cube_binary64_16482` `associate-r_binary64_16386` `associate-l*_binary64_16387`
8×	`associate-r/_binary64_16388` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `sub-neg_binary64_16439` `associate-l/_binary64_16389` `cancel-sign-sub-inv_binary64_16412`
4×	`unswap-sqr_binary64_16414` `pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377` `add-log-exp_binary64_16485` `prod-exp_binary64_16495`

Counts

4 → 120

Calls

8 calls:

11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
0.0ms	(-.f64 (.f64 y4 c) (.f64 y5 a))

series3.7s (4.8%)

Counts

4 → 192

Calls

4 calls:

941.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
940.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
923.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
912.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

Compiler

Compiled 35616 to 20444 computations (42.6% saved)

simplify123.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4992	10208
1	4992	10208

prune844.0ms (1.1%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	304	8	312
Fresh	0	25	25
Picked	1	0	1
Done	0	0	0
Total	305	33	338

Error

12.3b

Counts

338 → 33

Compiler

Compiled 42076 to 3337 computations (92.1% saved)

localize88.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 y4 c) (.f64 y5 a))
8.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.6b	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
10.6b	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
10.6b	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))

rewrite41.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_16468`
9×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446` `cbrt-prod_binary64_16477` `flip3--_binary64_16450` `flip--_binary64_16421`
6×	`add-exp-log_binary64_16484` `pow1_binary64_16507` `cbrt-div_binary64_16478` `add-cbrt-cube_binary64_16482`
4×	`add-log-exp_binary64_16485` `frac-times_binary64_16456`
3×	`pow1/3_binary64_16528` `associate-r_binary64_16386` `associate-l_binary64_16387`
2×	`associate-r/_binary64_16388` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `sub-neg_binary64_16439` `associate-l/_binary64_16389` `cancel-sign-sub-inv_binary64_16412`
1×	`unswap-sqr_binary64_16414` `pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377` `prod-exp_binary64_16495`

Counts

4 → 69

Calls

8 calls:

10.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
4.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
4.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
4.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
0.0ms	(-.f64 (.f64 y4 c) (.f64 y5 a))

series1.6s (2.1%)

Counts

4 → 84

Calls

4 calls:

934.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
218.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
217.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))
215.0ms	(cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))

Compiler

Compiled 17952 to 10887 computations (39.4% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5667	3695

prune455.0ms (0.6%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	151	2	153
Fresh	1	31	32
Picked	1	0	1
Done	0	0	0
Total	153	33	186

Error

12.3b

Counts

186 → 33

Compiler

Compiled 22019 to 3045 computations (86.2% saved)

localize84.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 t y2) (.f64 y y3))
0.0b	(-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a))))
0.0b	(-.f64 (.f64 t j) (.f64 y k))
0.0b	(-.f64 (.f64 y4 c) (.f64 y5 a))
8.2b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
8.2b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
8.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

rewrite86.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip3--_binary64_16450` `flip--_binary64_16421`
20×	`add-sqr-sqrt_binary64_16468`
16×	`frac-times_binary64_16456`
12×	`add-exp-log_binary64_16484` `add-cube-cbrt_binary64_16481` `-un-lft-identity_binary64_16446` `pow1_binary64_16507` `add-cbrt-cube_binary64_16482` `associate-r_binary64_16386` `associate-l*_binary64_16387`
8×	`associate-r/_binary64_16388` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `sub-neg_binary64_16439` `associate-l/_binary64_16389` `cancel-sign-sub-inv_binary64_16412`
4×	`unswap-sqr_binary64_16414` `pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377` `add-log-exp_binary64_16485` `prod-exp_binary64_16495`

Counts

4 → 120

Calls

8 calls:

15.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
0.0ms	(-.f64 (.f64 y4 c) (.f64 y5 a))

series3.8s (5%)

Counts

4 → 192

Calls

4 calls:

976.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
975.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
960.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
938.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

Compiler

Compiled 40224 to 21556 computations (46.4% saved)

simplify140.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5099	10208

prune641.0ms (0.8%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	312	0	312
Fresh	0	32	32
Picked	0	1	1
Done	0	0	0
Total	312	33	345

Error

12.3b

Counts

345 → 33

Compiler

Compiled 43500 to 962 computations (97.8% saved)

simplify201.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5030	13257

regimes7.1s (9.2%)

Compiler: Compiled 141120 to 84368 computations (40.2% saved)

bsearch1.3s (1.7%)

Steps

Iters	Range		Point
9	1.1108560449438026e+125	3.3058082649001035e+132	6.769103654894654e+131
4	-2.686858255091044e-294	-1.3564699153646631e-294	-2.4462840432756183e-294
4	-1.5169853145870064e-212	-9.243438060798335e-213	-9.644913028624186e-213
11	-2.3803221382290476e-145	-7.652842032656219e-166	-2.2550665405157107e-157

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes4.7s (6.2%)

Compiler: Compiled 98928 to 62080 computations (37.2% saved)

bsearch1.3s (1.7%)

Steps

Iters	Range		Point
9	1.1108560449438026e+125	3.3058082649001035e+132	1.7999408213134473e+131
4	-2.686858255091044e-294	-1.3564699153646631e-294	-2.638743412727959e-294
6	-1.8944917370996504e-211	-1.5169853145870064e-212	-1.20454235528856e-211
9	-7.652842032656219e-166	-6.843246249655327e-172	-8.773097809456727e-168

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes3.6s (4.7%)

Compiler: Compiled 73840 to 47472 computations (35.7% saved)

bsearch1.2s (1.6%)

Steps

Iters	Range		Point
9	2.424686269549933e+69	1.6701987341426216e+77	4.7203201777162296e+73
7	-4.317420107102535e-120	-4.2933941929072784e-122	-3.3837983811822194e-121
10	-8.018394214157857e+18	-4615187.644640049	-22525091.06550267

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes1.9s (2.5%)

Compiler: Compiled 37392 to 25520 computations (31.8% saved)

bsearch537.0ms (0.7%)

Steps

Iters	Range		Point
8	1.3440699646514003e-108	1.4715011516522894e-105	1.3585184089361667e-107
5	-8.816568889162944e-181	-3.3136922379578395e-181	-4.682642265976011e-181

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes1.5s (2%)

Compiler: Compiled 30288 to 21200 computations (30% saved)

bsearch557.0ms (0.7%)

Steps

Iters	Range		Point
6	8.715607074153847e-130	8.947440584555534e-129	1.4177686226242133e-129
8	-2.561871304810038e-107	-7.865479144812936e-110	-1.8537426017947588e-109

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes885.0ms (1.2%)

Compiler: Compiled 13184 to 10112 computations (23.3% saved)

bsearch1.1s (1.4%)

Steps

Iters	Range		Point
7	3.8806039746211615e+42	1.6461918370253485e+44	1.1093274344042103e+43
4	3.1142273658865123e-63	4.4862495031270214e-63	3.757362742718e-63
6	3.223398127727705e-246	3.4994243524260296e-245	4.413265633873262e-246
6	-3.175715470153053e-39	-7.491516267294517e-40	-2.749664934051625e-39

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes651.0ms (0.8%)

Compiler: Compiled 8816 to 7184 computations (18.5% saved)

bsearch554.0ms (0.7%)

Steps

Iters	Range		Point
8	1.3440699646514003e-108	1.4715011516522894e-105	3.42743006404437e-107
5	-8.816568889162944e-181	-3.3136922379578395e-181	-7.830924868989862e-181

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes405.0ms (0.5%)

Compiler: Compiled 4448 to 4256 computations (4.3% saved)

bsearch593.0ms (0.8%)

Steps

Iters	Range		Point
8	1.3440699646514003e-108	1.4715011516522894e-105	1.1432968449667832e-107
5	-8.816568889162944e-181	-3.3136922379578395e-181	-4.1350622547687423e-181

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes399.0ms (0.5%)

Compiler: Compiled 2992 to 3280 computations (-9.6% saved)

bsearch560.0ms (0.7%)

Steps

Iters	Range		Point
9	8.576424459821895e-153	1.636885633246217e-147	4.30364799098255e-148
5	-8.816568889162944e-181	-3.3136922379578395e-181	-6.516732842092419e-181

Compiler

Compiled 1 to 16 computations (-1500% saved)

regimes490.0ms (0.6%)

Compiler: Compiled 1536 to 2304 computations (-50% saved)

bsearch0.0ms (0%)

regimes197.0ms (0.3%)

Compiler: Compiled 80 to 1328 computations (-1560% saved)

bsearch0.0ms (0%)

regimes179.0ms (0.2%)

Accuracy

Total 13.7b remaining (47.6%)

Threshold costs 0b (0%)

Compiler

Compiled 64 to 1056 computations (-1550% saved)

bsearch68.0ms (0.1%)

Compiler: Compiled 3517 to 953 computations (72.9% saved)

simplify190.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	3752	5126
1	3752	5126

end0.0ms (0%)

sample24.2s (31.4%)

Algorithm

1×

intervals

Results

12.6s	65095×	body	128	invalid
1.5s	8000×	body	128	valid

Compiler

Compiled 13048 to 6460 computations (50.5% saved)

Pareto

0.74748319971488

Details

analyze4.9s (6.3%)

sample653.0ms (0.8%)

simplify139.0ms (0.2%)

prune6.0ms (0%)

localize73.0ms (0.1%)

rewrite72.0ms (0.1%)

series3.6s (4.7%)

simplify122.0ms (0.2%)

prune1.1s (1.5%)

localize81.0ms (0.1%)

rewrite80.0ms (0.1%)

series3.7s (4.8%)

simplify123.0ms (0.2%)

prune844.0ms (1.1%)

localize88.0ms (0.1%)

rewrite41.0ms (0.1%)

series1.6s (2.1%)

simplify65.0ms (0.1%)

prune455.0ms (0.6%)

localize84.0ms (0.1%)

rewrite86.0ms (0.1%)

series3.8s (5%)

simplify140.0ms (0.2%)

prune641.0ms (0.8%)

simplify201.0ms (0.3%)

regimes7.1s (9.2%)

bsearch1.3s (1.7%)

regimes4.7s (6.2%)

bsearch1.3s (1.7%)

regimes3.6s (4.7%)

bsearch1.2s (1.6%)

regimes1.9s (2.5%)

bsearch537.0ms (0.7%)

regimes1.5s (2%)

bsearch557.0ms (0.7%)

regimes885.0ms (1.2%)

bsearch1.1s (1.4%)

regimes651.0ms (0.8%)

bsearch554.0ms (0.7%)

regimes405.0ms (0.5%)

bsearch593.0ms (0.8%)

regimes399.0ms (0.5%)

bsearch560.0ms (0.7%)

regimes490.0ms (0.6%)

bsearch0.0ms (0%)

regimes197.0ms (0.3%)

bsearch0.0ms (0%)

regimes179.0ms (0.2%)

bsearch68.0ms (0.1%)

simplify190.0ms (0.2%)

end0.0ms (0%)

sample24.2s (31.4%)

Profiling