Details

analyze272.0ms (1.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

Compiler

Compiled 32 to 28 computations (12.5% saved)

sample129.0ms (0.8%)

Algorithm

1×

intervals

Results

44.0ms	143×	body	512	valid
32.0ms	299×	body	128	nan
19.0ms	45×	body	1024	valid
7.0ms	35×	body	256	valid
3.0ms	33×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify136.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5168	50

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

4.9b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize23.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 t 1))
0.0b	(sqrt.f64 (+.f64 z 1))
0.0b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
0.0b	(sqrt.f64 (+.f64 y 1))
2.4b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.9b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite53.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary64_14763` `sqrt-prod_binary64_14757`
40×	`*-un-lft-identity_binary64_14741`
24×	`cancel-sign-sub-inv_binary64_14707`
16×	`difference-of-squares_binary64_14710`
12×	`distribute-lft-out--_binary64_14693` `add-log-exp_binary64_14780` `add-cube-cbrt_binary64_14776`
4×	`diff-log_binary64_14833` `distribute-lft-out_binary64_14692` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `sub-neg_binary64_14734` `flip--_binary64_14716` `flip3--_binary64_14745` `pow1_binary64_14802`

Counts

4 → 96

Calls

8 calls:

12.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
10.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
0.0ms	(sqrt.f64 (+.f64 y 1))

series133.0ms (0.8%)

Counts

4 → 12

Calls

4 calls:

35.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
33.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
33.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
32.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Compiler

Compiled 928 to 800 computations (13.8% saved)

simplify53.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4912	1588
1	4912	1588

prune325.0ms (2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	7	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Error

0.3b

Counts

109 → 7

Compiler

Compiled 4117 to 2645 computations (35.8% saved)

localize28.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 z 1))
0.0b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
0.0b	(sqrt.f64 (+.f64 y 1))
0.0b	(+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.4b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite54.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`*-un-lft-identity_binary64_14741`
49×	`sqrt-prod_binary64_14757`
45×	`add-sqr-sqrt_binary64_14763`
21×	`add-cube-cbrt_binary64_14776`
19×	`distribute-lft-out_binary64_14692`
18×	`times-frac_binary64_14747` `cancel-sign-sub-inv_binary64_14707`
12×	`difference-of-squares_binary64_14710`
10×	`add-log-exp_binary64_14780`
9×	`distribute-lft-out--_binary64_14693`
8×	`add-exp-log_binary64_14779`
6×	`associate-/r*_binary64_14685` `add-cbrt-cube_binary64_14777`
5×	`pow1_binary64_14802`
3×	`diff-log_binary64_14833` `associate-/l*_binary64_14686` `sub-neg_binary64_14734` `flip--_binary64_14716` `flip3--_binary64_14745`
2×	`associate-/r/_binary64_14687` `div-exp_binary64_14792`
1×	`frac-2neg_binary64_14752` `div-inv_binary64_14738` `1-exp_binary64_14785` `cbrt-undiv_binary64_14775` `flip-+_binary64_14715` `rec-exp_binary64_14791` `pow-flip_binary64_14815` `inv-pow_binary64_14826` `clear-num_binary64_14740` `flip3-+_binary64_14744`

Counts

4 → 117

Calls

8 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
0.0ms	(+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

series130.0ms (0.8%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
34.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
33.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
24.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))

Compiler

Compiled 918 to 804 computations (12.4% saved)

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4879	2015
1	4879	2015

prune301.0ms (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	125	4	129
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	129	7	136

Error

0.1b

Counts

136 → 7

Compiler

Compiled 5157 to 3422 computations (33.6% saved)

localize26.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
0.0b	(sqrt.f64 (+.f64 z 1))
0.0b	(+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
0.0b	(sqrt.f64 (+.f64 y 1))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.4b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite63.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

100×	`*-un-lft-identity_binary64_14741`
54×	`sqrt-prod_binary64_14757`
46×	`add-sqr-sqrt_binary64_14763`
36×	`times-frac_binary64_14747`
34×	`distribute-lft-out_binary64_14692`
30×	`add-cube-cbrt_binary64_14776`
12×	`associate-/r*_binary64_14685` `cancel-sign-sub-inv_binary64_14707` `add-exp-log_binary64_14779`
8×	`add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777` `difference-of-squares_binary64_14710`
6×	`distribute-lft-out--_binary64_14693` `associate-/l*_binary64_14686` `pow1_binary64_14802`
4×	`associate-/r/_binary64_14687` `div-exp_binary64_14792`
2×	`frac-2neg_binary64_14752` `div-inv_binary64_14738` `1-exp_binary64_14785` `cbrt-undiv_binary64_14775` `diff-log_binary64_14833` `sub-neg_binary64_14734` `flip--_binary64_14716` `flip-+_binary64_14715` `rec-exp_binary64_14791` `pow-flip_binary64_14815` `flip3--_binary64_14745` `inv-pow_binary64_14826` `clear-num_binary64_14740` `flip3-+_binary64_14744`

Counts

4 → 138

Calls

8 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
0.0ms	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))

series115.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

34.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
33.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
25.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
22.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))

Compiler

Compiled 908 to 808 computations (11% saved)

simplify74.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4879	2442
1	4879	2442

prune319.0ms (1.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	151	6	157

Error

0.1b

Counts

157 → 6

Compiler

Compiled 6241 to 4247 computations (32% saved)

localize30.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
0.0b	(sqrt.f64 (+.f64 z 1))
0.0b	(+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
0.0b	(sqrt.f64 (+.f64 y 1))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.4b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite70.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

130×	`*-un-lft-identity_binary64_14741`
59×	`sqrt-prod_binary64_14757`
54×	`times-frac_binary64_14747`
49×	`distribute-lft-out_binary64_14692`
47×	`add-sqr-sqrt_binary64_14763`
39×	`add-cube-cbrt_binary64_14776`
18×	`associate-/r*_binary64_14685`
16×	`add-exp-log_binary64_14779`
10×	`add-cbrt-cube_binary64_14777`
9×	`associate-/l*_binary64_14686`
7×	`pow1_binary64_14802`
6×	`cancel-sign-sub-inv_binary64_14707` `add-log-exp_binary64_14780` `associate-/r/_binary64_14687` `div-exp_binary64_14792`
4×	`difference-of-squares_binary64_14710`
3×	`distribute-lft-out--_binary64_14693` `frac-2neg_binary64_14752` `div-inv_binary64_14738` `1-exp_binary64_14785` `cbrt-undiv_binary64_14775` `flip-+_binary64_14715` `rec-exp_binary64_14791` `pow-flip_binary64_14815` `inv-pow_binary64_14826` `clear-num_binary64_14740` `flip3-+_binary64_14744`
1×	`diff-log_binary64_14833` `sub-neg_binary64_14734` `flip--_binary64_14716` `flip3--_binary64_14745`

Counts

4 → 159

Calls

8 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
0.0ms	(sqrt.f64 (+.f64 y 1))

series105.0ms (0.6%)

Counts

4 → 12

Calls

4 calls:

34.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
26.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
22.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))

Compiler

Compiled 898 to 812 computations (9.6% saved)

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5016	2869

prune457.0ms (2.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	169	8	177

Error

0.0b

Counts

177 → 8

Compiler

Compiled 7211 to 4987 computations (30.8% saved)

simplify40.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	499	2681
1	499	2681

regimes659.0ms (4%)

Compiler: Compiled 9803 to 8533 computations (13% saved)

bsearch0.0ms (0%)

regimes269.0ms (1.6%)

Compiler: Compiled 3337 to 3115 computations (6.7% saved)

bsearch0.0ms (0%)

regimes261.0ms (1.6%)

Compiler: Compiled 3152 to 2950 computations (6.4% saved)

bsearch0.0ms (0%)

regimes267.0ms (1.6%)

Compiler: Compiled 3304 to 3116 computations (5.7% saved)

bsearch0.0ms (0%)

regimes245.0ms (1.5%)

Compiler: Compiled 2627 to 2485 computations (5.4% saved)

bsearch109.0ms (0.7%)

Steps

Iters	Range		Point
7	3.7821184392542454e+37	7.086639816113048e+38	4.962894724549568e+38
4	2.0439406401816233e-35	3.176732104160158e-35	3.129973877463878e-35

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes257.0ms (1.6%)

Compiler: Compiled 2931 to 2787 computations (4.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 9 computations (-28.6% saved)

regimes193.0ms (1.2%)

Compiler: Compiled 1967 to 1905 computations (3.2% saved)

bsearch1.0ms (0%)

Steps

Iters	Range		Point
0	0.9999999999999993	1.0	0.9999999999999997

Compiler

Compiled 7 to 9 computations (-28.6% saved)

regimes325.0ms (2%)

Compiler: Compiled 1812 to 1770 computations (2.3% saved)

bsearch451.0ms (2.7%)

Steps

Iters	Range		Point
5	8.920873701213132e+299	1.9024147141990747e+300	1.2451061023175456e+300
7	7.845082692474607e+284	6.378656053580693e+286	1.1242072471687015e+285
7	3.786662637101884e+263	1.1756887217443653e+265	1.040237809890818e+264
3	2.6668520751489134e+184	3.251742498506422e+184	3.0689642412072e+184
8	1.473040530730078e+111	1.0348922335652542e+115	2.6390803519930545e+114
7	7.95357657591744e+58	2.9022172299105152e+60	1.4186793747947015e+60
7	1.7219221881822017e-05	0.0004166419546215959	1.749209710265025e-05

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes283.0ms (1.7%)

Compiler: Compiled 1657 to 1625 computations (1.9% saved)

bsearch155.0ms (0.9%)

Steps

Iters	Range		Point
10	1.0618512317064756e+236	4.787618296783612e+246	6.427187126760599e+236
6	7.823002818420722e-24	4.3121120112787795e-23	4.261511489370577e-23

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes240.0ms (1.5%)

Compiler: Compiled 1222 to 1220 computations (0.2% saved)

bsearch152.0ms (0.9%)

Steps

Iters	Range		Point
10	1.0618512317064756e+236	4.787618296783612e+246	6.984812305218358e+238
6	7.823002818420722e-24	4.3121120112787795e-23	4.261511489370577e-23

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes227.0ms (1.4%)

Compiler: Compiled 1077 to 1085 computations (-0.7% saved)

bsearch162.0ms (1%)

Steps

Iters	Range		Point
10	1.0618512317064756e+236	4.787618296783612e+246	6.286786470220514e+236
6	7.823002818420722e-24	4.3121120112787795e-23	4.261511489370577e-23

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes221.0ms (1.3%)

Compiler: Compiled 807 to 835 computations (-3.5% saved)

bsearch162.0ms (1%)

Steps

Iters	Range		Point
10	1.0618512317064756e+236	4.787618296783612e+246	1.512039287113479e+244
6	7.823002818420722e-24	4.3121120112787795e-23	4.261511489370577e-23

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes201.0ms (1.2%)

Compiler: Compiled 672 to 710 computations (-5.7% saved)

bsearch437.0ms (2.7%)

Steps

Iters	Range		Point
5	8.920873701213132e+299	1.9024147141990747e+300	1.0629028857001353e+300
7	7.845082692474607e+284	6.378656053580693e+286	8.878949147017514e+284
7	3.786662637101884e+263	1.1756887217443653e+265	8.093901973367772e+263
3	2.6668520751489134e+184	3.251742498506422e+184	2.8496303324481346e+184
8	1.473040530730078e+111	1.0348922335652542e+115	3.884666491496153e+112
7	7.95357657591744e+58	2.9022172299105152e+60	8.941941906127086e+59
7	1.7219221881822017e-05	0.0004166419546215959	1.749209710265025e-05

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes186.0ms (1.1%)

Compiler: Compiled 537 to 585 computations (-8.9% saved)

bsearch445.0ms (2.7%)

Steps

Iters	Range		Point
5	8.920873701213132e+299	1.9024147141990747e+300	9.034750711599012e+299
7	7.845082692474607e+284	6.378656053580693e+286	1.3948658972908794e+286
7	3.786662637101884e+263	1.1756887217443653e+265	1.8204182951657183e+264
3	2.6668520751489134e+184	3.251742498506422e+184	2.922741635367823e+184
8	1.473040530730078e+111	1.0348922335652542e+115	2.0453470670416284e+111
7	7.95357657591744e+58	2.9022172299105152e+60	1.3203384027605776e+60
7	1.7219221881822017e-05	0.0004166419546215959	1.749209710265025e-05

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes185.0ms (1.1%)

Compiler: Compiled 412 to 470 computations (-14.1% saved)

bsearch285.0ms (1.7%)

Steps

Iters	Range		Point
8	5.248517438673306e+215	7.674975658597767e+219	3.55821439403702e+218
8	1.473040530730078e+111	1.0348922335652542e+115	4.215983847752865e+111
7	7.95357657591744e+58	2.9022172299105152e+60	5.210283662573563e+59
7	1.7219221881822017e-05	0.0004166419546215959	1.749209710265025e-05

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes128.0ms (0.8%)

Compiler: Compiled 287 to 355 computations (-23.7% saved)

bsearch225.0ms (1.4%)

Steps

Iters	Range		Point
8	1.0663269772977199e+225	1.7033354258335433e+228	7.940079885939886e+225
7	1.7420840151269635e+174	9.808339251442528e+175	3.1484045432768985e+175
10	4.017335286134637e-31	5.621246767219807e-18	1.1531057024495583e-19

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes62.0ms (0.4%)

Compiler: Compiled 120 to 184 computations (-53.3% saved)

bsearch63.0ms (0.4%)

Steps

Iters	Range		Point
7	0.23219394660452417	8.894317477373255	8.073342772398961

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes35.0ms (0.2%)

Accuracy

Total 0.0b remaining (54.5%)

Threshold costs 0.0b (54.5%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch65.0ms (0.4%)

Compiler: Compiled 1725 to 1291 computations (25.2% saved)

simplify27.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	275	2620
1	275	2620

end0.0ms (0%)

sample6.4s (38.7%)

Algorithm

1×

intervals

Results

1.4s	4442×	body	512	valid
973.0ms	9416×	body	128	nan
685.0ms	1653×	body	1024	valid
211.0ms	1033×	body	256	valid
90.0ms	872×	body	128	valid

Compiler

Compiled 3388 to 2754 computations (18.7% saved)

Pareto

-0.02127617991006836

Details

analyze272.0ms (1.7%)

sample129.0ms (0.8%)

simplify136.0ms (0.8%)

prune4.0ms (0%)

localize23.0ms (0.1%)

rewrite53.0ms (0.3%)

series133.0ms (0.8%)

simplify53.0ms (0.3%)

prune325.0ms (2%)

localize28.0ms (0.2%)

rewrite54.0ms (0.3%)

series130.0ms (0.8%)

simplify71.0ms (0.4%)

prune301.0ms (1.8%)

localize26.0ms (0.2%)

rewrite63.0ms (0.4%)

series115.0ms (0.7%)

simplify74.0ms (0.5%)

prune319.0ms (1.9%)

localize30.0ms (0.2%)

rewrite70.0ms (0.4%)

series105.0ms (0.6%)

simplify60.0ms (0.4%)

prune457.0ms (2.8%)

simplify40.0ms (0.2%)

regimes659.0ms (4%)

bsearch0.0ms (0%)

regimes269.0ms (1.6%)

bsearch0.0ms (0%)

regimes261.0ms (1.6%)

bsearch0.0ms (0%)

regimes267.0ms (1.6%)

bsearch0.0ms (0%)

regimes245.0ms (1.5%)

bsearch109.0ms (0.7%)

regimes257.0ms (1.6%)

bsearch1.0ms (0%)

regimes193.0ms (1.2%)

bsearch1.0ms (0%)

regimes325.0ms (2%)

bsearch451.0ms (2.7%)

regimes283.0ms (1.7%)

bsearch155.0ms (0.9%)

regimes240.0ms (1.5%)

bsearch152.0ms (0.9%)

regimes227.0ms (1.4%)

bsearch162.0ms (1%)

regimes221.0ms (1.3%)

bsearch162.0ms (1%)

regimes201.0ms (1.2%)

bsearch437.0ms (2.7%)

regimes186.0ms (1.1%)

bsearch445.0ms (2.7%)

regimes185.0ms (1.1%)

bsearch285.0ms (1.7%)

regimes128.0ms (0.8%)

bsearch225.0ms (1.4%)

regimes62.0ms (0.4%)

bsearch63.0ms (0.4%)

regimes35.0ms (0.2%)

bsearch65.0ms (0.4%)

simplify27.0ms (0.2%)

end0.0ms (0%)

sample6.4s (38.7%)

Profiling