Details

analyze311.0ms (2.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
68.7%	31.2%	0.1%	7
68.7%	31.2%	0.1%	8
71.8%	28.1%	0.1%	9
71.8%	28.1%	0.1%	10
73.4%	26.5%	0.1%	11
73.4%	26.5%	0.1%	12
74.1%	25.8%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample33.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	194×	body	128	valid
4.0ms	18×	body	2048	valid
4.0ms	14×	body	4096	valid
3.0ms	19×	body	1024	valid
1.0ms	5×	body	512	valid
1.0ms	6×	body	256	valid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify99.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	23
1	23	23

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

38.9b

Counts

2 → 1

Compiler

Compiled 30 to 24 computations (20% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
1.3b	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
0.0b	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
1.3b	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite33.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`pow1_binary64_4231` `add-log-exp_binary64_4209`
7×	`*-un-lft-identity_binary64_4170`
6×	`add-sqr-sqrt_binary64_4192`
5×	`add-cube-cbrt_binary64_4205`
4×	`add-exp-log_binary64_4208` `sqrt-div_binary64_4187` `flip-+_binary64_4144` `add-cbrt-cube_binary64_4206` `sqrt-prod_binary64_4186` `flip3-+_binary64_4173`
3×	`sqrt-pow1_binary64_4188`
2×	`associate-*r/_binary64_4112` `pow1/2_binary64_4250` `+-commutative_binary64_4100` `sum-log_binary64_4261`
1×	`rem-sqrt-square_binary64_4183` `pow-prod-down_binary64_4241` `distribute-lft-out_binary64_4121`

Counts

4 → 51

Calls

8 calls:

9.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
8.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
8.0ms	(+.f64 (.f64 re re) (.f64 im im))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series374.0ms (3.5%)

Counts

4 → 55

Calls

4 calls:

119.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
107.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
85.0ms	(+.f64 (.f64 re re) (.f64 im im))
63.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))

Compiler

Compiled 1345 to 1223 computations (9.1% saved)

simplify63.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5411	1660

prune150.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	99	7	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	7	107

Error

7.1b

Counts

107 → 7

Compiler

Compiled 2014 to 1019 computations (49.4% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(sqrt.f64 (.f64 2 (+.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) re)))
0.3b	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
5.7b	(+.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) re)
29.5b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
29.5b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite38.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_4192`
10×	`*-un-lft-identity_binary64_4170` `add-cube-cbrt_binary64_4205` `cbrt-prod_binary64_4201`
9×	`associate-r_binary64_4110`
8×	`sqrt-prod_binary64_4186`
6×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `cbrt-div_binary64_4202` `add-log-exp_binary64_4209`
4×	`flip-+_binary64_4144` `flip3-+_binary64_4173`
3×	`associate-l_binary64_4111` `unswap-sqr_binary64_4138`
2×	`associate-*r/_binary64_4112` `pow1/3_binary64_4252` `sqrt-div_binary64_4187`
1×	`prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `+-commutative_binary64_4100` `*-commutative_binary64_4101` `sum-log_binary64_4261` `pow-prod-down_binary64_4241`

Counts

4 → 65

Calls

8 calls:

12.0ms	(+.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) re)
10.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(sqrt.f64 (.f64 2 (+.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) re)))

series931.0ms (8.8%)

Counts

4 → 61

Calls

4 calls:

251.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
231.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
227.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
222.0ms	(+.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) re)

Compiler

Compiled 3176 to 2721 computations (14.3% saved)

simplify111.0ms (1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4905	3770
1	4905	3770

prune155.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	126	7	133

Error

7.1b

Counts

133 → 7

Compiler

Compiled 4381 to 1662 computations (62.1% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
0.0b	(.f64 (.f64 im im) 2)
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(.f64 1/2 (/.f64 (sqrt.f64 (.f64 (.f64 im im) 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re))))
0.2b	(/.f64 (sqrt.f64 (.f64 (.f64 im im) 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
0.3b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
26.9b	(sqrt.f64 (.f64 (.f64 im im) 2))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite44.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`add-sqr-sqrt_binary64_4192`
50×	`sqrt-prod_binary64_4186`
38×	`*-un-lft-identity_binary64_4170`
36×	`times-frac_binary64_4176`
26×	`add-cube-cbrt_binary64_4205`
12×	`difference-of-squares_binary64_4139`
11×	`pow1_binary64_4231`
9×	`associate-/r*_binary64_4114`
6×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `distribute-lft-out--_binary64_4122` `add-log-exp_binary64_4209`
4×	`sqrt-div_binary64_4187` `associate-/l*_binary64_4115` `sqrt-pow1_binary64_4188`
3×	`cancel-sign-sub-inv_binary64_4136` `pow-prod-down_binary64_4241`
2×	`flip3--_binary64_4174` `pow1/2_binary64_4250` `associate-/r/_binary64_4116` `flip--_binary64_4145`
1×	`sqrt-undiv_binary64_4191` `diff-log_binary64_4262` `flip-+_binary64_4144` `frac-2neg_binary64_4181` `div-inv_binary64_4167` `flip3-+_binary64_4173` `cbrt-undiv_binary64_4204` `rem-sqrt-square_binary64_4183` `clear-num_binary64_4169` `sub-neg_binary64_4163` `div-exp_binary64_4221`

Counts

4 → 108

Calls

8 calls:

15.0ms	(/.f64 (sqrt.f64 (.f64 (.f64 im im) 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
4.0ms	(sqrt.f64 (.f64 (.f64 im im) 2))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(.f64 1/2 (/.f64 (sqrt.f64 (.f64 (.f64 im im) 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re))))

series334.0ms (3.2%)

Counts

4 → 44

Calls

4 calls:

122.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
102.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
81.0ms	(/.f64 (sqrt.f64 (.f64 (.f64 im im) 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
29.0ms	(sqrt.f64 (.f64 (.f64 im im) 2))

Compiler

Compiled 1374 to 1157 computations (15.8% saved)

simplify97.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4938	4090
1	4938	4090

prune174.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	148	4	152
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	150	9	159

Error

2.1b

Counts

159 → 9

Compiler

Compiled 4312 to 1672 computations (61.2% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(.f64 1/2 (/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
0.2b	(/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.3b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
0.4b	(*.f64 (fabs.f64 im) (sqrt.f64 2))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_4192`
22×	`sqrt-prod_binary64_4186`
19×	`*-un-lft-identity_binary64_4170`
13×	`add-cube-cbrt_binary64_4205`
11×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
9×	`times-frac_binary64_4176` `associate-/r*_binary64_4114`
7×	`pow1_binary64_4231`
6×	`associate-r_binary64_4110` `difference-of-squares_binary64_4139` `add-log-exp_binary64_4209`
4×	`sqrt-div_binary64_4187`
3×	`associate-l_binary64_4111` `distribute-lft-out--_binary64_4122` `cancel-sign-sub-inv_binary64_4136`
2×	`flip3--_binary64_4174` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `associate-/r/_binary64_4116` `cbrt-undiv_binary64_4204` `flip--_binary64_4145` `unswap-sqr_binary64_4138` `div-exp_binary64_4221`
1×	`diff-log_binary64_4262` `flip-+_binary64_4144` `frac-2neg_binary64_4181` `associate-/l_binary64_4115` `pow1/2_binary64_4250` `div-inv_binary64_4167` `sqrt-pow1_binary64_4188` `flip3-+_binary64_4173` `-commutative_binary64_4101` `rem-sqrt-square_binary64_4183` `pow-prod-down_binary64_4241` `clear-num_binary64_4169` `sub-neg_binary64_4163`

Counts

4 → 89

Calls

8 calls:

13.0ms	(/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
5.0ms	(*.f64 (fabs.f64 im) (sqrt.f64 2))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(.f64 1/2 (/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

series347.0ms (3.3%)

Counts

4 → 44

Calls

4 calls:

127.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
99.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
90.0ms	(/.f64 (.f64 (fabs.f64 im) (sqrt.f64 2)) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
30.0ms	(*.f64 (fabs.f64 im) (sqrt.f64 2))

Compiler

Compiled 1416 to 1212 computations (14.4% saved)

simplify99.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4958	2580
1	4958	2580

prune151.0ms (1.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	128	5	133
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	131	11	142

Error

0.5b

Counts

142 → 11

Compiler

Compiled 3179 to 1332 computations (58.1% saved)

simplify32.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	568	1844
1	568	1844

regimes642.0ms (6.1%)

Compiler: Compiled 3912 to 2794 computations (28.6% saved)

bsearch81.0ms (0.8%)

Steps

Iters	Range	Point
9	4.287379869613663e+60	3.2852186010901114e+65	2.7178539826501374e+65
9	-2.476689701277002e-295	-1.7061694670398767e-302	-1.7332866166362553e-302
8	-2.84980182035307e+47	-6.498029880150143e+44	-2.818620757966959e+47

Iters

Range

Point

4.287379869613663e+60

3.2852186010901114e+65

2.7178539826501374e+65

-2.476689701277002e-295

-1.7061694670398767e-302

-1.7332866166362553e-302

-2.84980182035307e+47

-6.498029880150143e+44

-2.818620757966959e+47

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes560.0ms (5.3%)

Compiler: Compiled 3072 to 2311 computations (24.8% saved)

bsearch76.0ms (0.7%)

Steps

Iters	Range	Point
9	4.287379869613663e+60	3.2852186010901114e+65	1.611064564330678e+65
9	-2.476689701277002e-295	-1.7061694670398767e-302	-1.7332866166362553e-302
8	-2.84980182035307e+47	-6.498029880150143e+44	-2.5691722588780707e+47

Iters

Range

Point

4.287379869613663e+60

3.2852186010901114e+65

1.611064564330678e+65

-2.476689701277002e-295

-1.7061694670398767e-302

-1.7332866166362553e-302

-2.84980182035307e+47

-6.498029880150143e+44

-2.5691722588780707e+47

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes419.0ms (4%)

Compiler: Compiled 1489 to 1295 computations (13% saved)

bsearch180.0ms (1.7%)

Steps

Iters	Range		Point
9	4.287379869613663e+60	3.2852186010901114e+65	3.251844211770113e+65
9	4.428040212164897e-132	4.604141261097201e-126	4.4830367359115725e-132
9	-2.6568198710410816e-269	-9.627470174195178e-275	-1.7181943383079424e-270
8	-4.0592148206496508e-168	-1.2071489401965406e-171	-3.232302911397631e-168
9	-3.373188578380126e-49	-1.5237178251188912e-56	-1.331423839575629e-54
9	-6.200474978348241e-22	-1.2797186055073759e-30	-4.516630140590625e-26
8	-2.84980182035307e+47	-6.498029880150143e+44	-1.03664592197631e+45

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes242.0ms (2.3%)

Compiler: Compiled 771 to 706 computations (8.4% saved)

bsearch107.0ms (1%)

Steps

Iters	Range		Point
9	4.287379869613663e+60	3.2852186010901114e+65	4.8024276767462106e+63
8	-2.6788162131808205e-124	-7.8589918501682e-127	-6.586732134777266e-126
9	-6.200474978348241e-22	-1.2797186055073759e-30	-8.274269364415511e-23
8	-2.84980182035307e+47	-6.498029880150143e+44	-2.919870635084863e+45

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes201.0ms (1.9%)

Compiler: Compiled 735 to 670 computations (8.8% saved)

bsearch103.0ms (1%)

Steps

Iters	Range		Point
9	2.227106375901421e+133	4.05559956321334e+139	6.696497640416062e+134
7	3.941592682299307e-132	1.4411440855010887e-130	3.029296558034905e-131
9	-1.4997400704900282e-150	-6.874983439578763e-159	-7.599226951224509e-157
8	-4.4027797696279636e+81	-1.8224680021737268e+78	-8.01563557220403e+80

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes188.0ms (1.8%)

Compiler: Compiled 579 to 550 computations (5% saved)

bsearch100.0ms (0.9%)

Steps

Iters	Range		Point
9	2.227106375901421e+133	4.05559956321334e+139	2.656552712178533e+139
7	3.941592682299307e-132	1.4411440855010887e-130	4.0365108636343385e-131
9	-2.0112548323160996e-131	-6.678668652950862e-138	-1.097507583186112e-137
8	-4.4027797696279636e+81	-1.8224680021737268e+78	-4.31983200987354e+81

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes201.0ms (1.9%)

Compiler: Compiled 503 to 498 computations (1% saved)

bsearch53.0ms (0.5%)

Steps

Iters	Range		Point
9	4.287379869613663e+60	3.2852186010901114e+65	3.1850954331301157e+65
9	-2.2743086354571223e-07	-5.561108807362034e-14	-1.3582654369823187e-11

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes243.0ms (2.3%)

Compiler: Compiled 443 to 450 computations (-1.6% saved)

bsearch156.0ms (1.5%)

Steps

Iters	Range		Point
10	3.2852186010901114e+65	2.866512847271366e+76	2.3684134334624174e+72
8	1.1627069367122155e-71	4.250483278734415e-67	1.6181859523874043e-71
8	5.526386095753758e-86	2.235821513339406e-83	6.8072912063405145e-84
6	4.0882336002634175e-115	2.46113374008888e-114	8.172033728895066e-115
6	-4.385248208114118e-267	-4.5434660809596664e-268	-4.286637238636745e-267
6	-1.7422976718914843e-234	-1.7008651002650364e-235	-4.720786288375031e-235
8	-5.446392761726412e-214	-1.2132373612318737e-218	-1.058764638628009e-217
7	-1.2071489401965406e-171	-2.842101767650016e-173	-5.935070592025071e-173
8	-5.561108807362034e-14	-2.1231470808777711e-16	-1.7551297846328707e-15

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes222.0ms (2.1%)

Compiler: Compiled 296 to 321 computations (-8.4% saved)

bsearch96.0ms (0.9%)

Steps

Iters	Range		Point
7	3.941592682299307e-132	1.4411440855010887e-130	3.944945926761663e-131
9	-1.4997400704900282e-150	-6.874983439578763e-159	-1.619755476660881e-151
9	-6.237574149916168e-20	-1.205876297098262e-28	-2.720031190523801e-24
7	-1.315358810087036e+41	-3.7983704817940305e+39	-3.8527588430306146e+39

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes101.0ms (1%)

Compiler: Compiled 110 to 132 computations (-20% saved)

bsearch52.0ms (0.5%)

Steps

Iters	Range		Point
7	3.941592682299307e-132	1.4411440855010887e-130	7.593588608950722e-131
9	-1.4997400704900282e-150	-6.874983439578763e-159	-1.1616798588497853e-152

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes95.0ms (0.9%)

Compiler: Compiled 94 to 116 computations (-23.4% saved)

bsearch46.0ms (0.4%)

Steps

Iters	Range		Point
7	3.941592682299307e-132	1.4411440855010887e-130	1.0931973253849203e-130
9	-2.0112548323160996e-131	-6.678668652950862e-138	-3.78095167795907e-134

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes43.0ms (0.4%)

Compiler: Compiled 34 to 54 computations (-58.8% saved)

bsearch24.0ms (0.2%)

Steps

Iters	Range		Point
11	4.589834483282891e-159	6.002843225207223e-138	3.434852076289808e-138

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes25.0ms (0.2%)

Compiler: Compiled 22 to 40 computations (-81.8% saved)

bsearch34.0ms (0.3%)

Steps

Iters	Range		Point
10	-1.4207575568626243e-295	5.241341717831869e-306	-2.0902661482474546e-303

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes17.0ms (0.2%)

Accuracy

Total 17.3b remaining (97.8%)

Threshold costs 0b (0%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch33.0ms (0.3%)

Compiler: Compiled 805 to 576 computations (28.4% saved)

simplify17.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	303	1226
1	303	1226

end0.0ms (0%)

sample2.6s (24.2%)

Algorithm

1×

intervals

Results

286.0ms	6077×	body	128	valid
151.0ms	538×	body	4096	valid
149.0ms	623×	body	2048	valid
74.0ms	411×	body	1024	valid
30.0ms	232×	body	512	valid
11.0ms	119×	body	256	valid

Compiler

Compiled 2022 to 1441 computations (28.7% saved)

Pareto

0.7295200516186169

Details

analyze311.0ms (2.9%)

sample33.0ms (0.3%)

simplify99.0ms (0.9%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite33.0ms (0.3%)

series374.0ms (3.5%)

simplify63.0ms (0.6%)

prune150.0ms (1.4%)

localize14.0ms (0.1%)

rewrite38.0ms (0.4%)

series931.0ms (8.8%)

simplify111.0ms (1%)

prune155.0ms (1.5%)

localize15.0ms (0.1%)

rewrite44.0ms (0.4%)

series334.0ms (3.2%)

simplify97.0ms (0.9%)

prune174.0ms (1.6%)

localize14.0ms (0.1%)

rewrite39.0ms (0.4%)

series347.0ms (3.3%)

simplify99.0ms (0.9%)

prune151.0ms (1.4%)

simplify32.0ms (0.3%)

regimes642.0ms (6.1%)

bsearch81.0ms (0.8%)

regimes560.0ms (5.3%)

bsearch76.0ms (0.7%)

regimes419.0ms (4%)

bsearch180.0ms (1.7%)

regimes242.0ms (2.3%)

bsearch107.0ms (1%)

regimes201.0ms (1.9%)

bsearch103.0ms (1%)

regimes188.0ms (1.8%)

bsearch100.0ms (0.9%)

regimes201.0ms (1.9%)

bsearch53.0ms (0.5%)

regimes243.0ms (2.3%)

bsearch156.0ms (1.5%)

regimes222.0ms (2.1%)

bsearch96.0ms (0.9%)

regimes101.0ms (1%)

bsearch52.0ms (0.5%)

regimes95.0ms (0.9%)

bsearch46.0ms (0.4%)

regimes43.0ms (0.4%)

bsearch24.0ms (0.2%)

regimes25.0ms (0.2%)

bsearch34.0ms (0.3%)

regimes17.0ms (0.2%)

bsearch33.0ms (0.3%)

simplify17.0ms (0.2%)

end0.0ms (0%)

sample2.6s (24.2%)

Profiling