Details

analyze2.5s (6.1%)

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
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	98.2%	1.8%	8
0%	94.3%	5.7%	9
0.4%	93%	6.6%	10
7.4%	83.3%	9.3%	11
12.4%	75.2%	12.4%	12
14.4%	68.9%	16.7%	13
16.8%	65.4%	17.8%	14

Compiler

Compiled 41 to 33 computations (19.5% saved)

sample154.0ms (0.4%)

Algorithm

1×

intervals

Results

28.0ms	173×	body	128	valid
18.0ms	25×	body	2048	nan
17.0ms	23×	body	2048	valid
16.0ms	29×	body	1024	valid
14.0ms	100×	body	128	nan
14.0ms	25×	body	1024	nan
11.0ms	18×	body	512	valid
7.0ms	18×	body	512	nan
4.0ms	13×	body	256	valid
2.0ms	9×	body	256	nan

Compiler

Compiled 81 to 69 computations (14.8% saved)

simplify124.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5613	61

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

53.1b

Counts

2 → 1

Compiler

Compiled 80 to 54 computations (32.5% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.9b	(-.f64 (.f64 B B) (.f64 (*.f64 4 A) C))
0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (*.f64 4 A) C)) F))
6.3b	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)
16.9b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
20.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
34.3b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite91.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`sqrt-div_binary64_2141`
40×	`associate-*r/_binary64_2066`
36×	`times-frac_binary64_2130`
35×	`add-sqr-sqrt_binary64_2146`
34×	`associate-*l/_binary64_2067`
32×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
31×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
24×	`frac-times_binary64_2134` `frac-add_binary64_2132`
20×	`distribute-neg-frac_binary64_2088` `associate-/l/_binary64_2071`
17×	`pow1_binary64_2185`
16×	`flip--_binary64_2099` `flip3--_binary64_2128` `distribute-lft-neg-in_binary64_2081` `distribute-rgt-neg-in_binary64_2082`
12×	`associate-/l*_binary64_2069` `sqrt-prod_binary64_2140`
8×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
7×	`pow-prod-down_binary64_2195`
5×	`sqrt-pow1_binary64_2142`
4×	`add-log-exp_binary64_2163` `neg-mul-1_binary64_2120`
3×	`associate-/r_binary64_2068` `associate-l_binary64_2065` `associate-r*_binary64_2064`
2×	`associate-/r/_binary64_2070` `pow1/2_binary64_2204`
1×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `rem-sqrt-square_binary64_2137` `prod-exp_binary64_2173` `div-sub_binary64_2129` `distribute-frac-neg_binary64_2087` `div-inv_binary64_2121` `div-exp_binary64_2175` `neg-sub0_binary64_2119` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

4 → 155

Calls

8 calls:

22.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
16.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
9.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
7.0ms	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)
0.0ms	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (*.f64 4 A) C)) F))

series4.1s (10%)

Counts

4 → 80

Calls

4 calls:

1.9s	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
1.6s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
287.0ms	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)
284.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

Compiler

Compiled 11894 to 8858 computations (25.5% saved)

simplify136.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5055	14239

prune1.0s (2.4%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	212	23	235
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	213	23	236

Error

28.7b

Counts

236 → 23

Compiler

Compiled 15738 to 7900 computations (49.8% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))
6.3b	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)
18.3b	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))
19.3b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
34.3b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`sqrt-div_binary64_2141`
22×	`associate-*r/_binary64_2066`
21×	`add-sqr-sqrt_binary64_2146`
20×	`distribute-neg-frac_binary64_2088` `associate-*l/_binary64_2067` `associate-/l/_binary64_2071`
18×	`add-cube-cbrt_binary64_2159` `times-frac_binary64_2130` `*-un-lft-identity_binary64_2124`
16×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
13×	`pow1_binary64_2185`
12×	`frac-times_binary64_2134` `frac-add_binary64_2132`
10×	`flip--_binary64_2099` `flip3--_binary64_2128`
8×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
6×	`associate-/l*_binary64_2069`
4×	`pow-prod-down_binary64_2195` `sqrt-pow1_binary64_2142` `distribute-lft-neg-in_binary64_2081` `sqrt-prod_binary64_2140` `distribute-rgt-neg-in_binary64_2082` `add-log-exp_binary64_2163` `neg-mul-1_binary64_2120`
3×	`associate-/r_binary64_2068` `associate-l_binary64_2065` `associate-r*_binary64_2064`
2×	`associate-/r/_binary64_2070` `pow1/2_binary64_2204`
1×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `rem-sqrt-square_binary64_2137` `prod-exp_binary64_2173` `div-sub_binary64_2129` `distribute-frac-neg_binary64_2087` `div-inv_binary64_2121` `div-exp_binary64_2175` `neg-sub0_binary64_2119` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

4 → 112

Calls

8 calls:

13.0ms	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
8.0ms	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)
7.0ms	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))
0.0ms	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))

series2.3s (5.5%)

Counts

4 → 75

Calls

4 calls:

1.5s	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
300.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
296.0ms	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)
220.0ms	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))

Compiler

Compiled 7805 to 5839 computations (25.2% saved)

simplify105.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5012	7853

prune488.0ms (1.2%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	181	6	187
Fresh	3	19	22
Picked	1	0	1
Done	0	0	0
Total	185	25	210

Error

25.8b

Counts

210 → 25

Compiler

Compiled 11381 to 5938 computations (47.8% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))
0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))
7.3b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4))))
10.7b	(.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4)))))
18.3b	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))
34.3b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite129.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

153×	`*-un-lft-identity_binary64_2124`
121×	`times-frac_binary64_2130`
89×	`add-sqr-sqrt_binary64_2146`
83×	`add-cube-cbrt_binary64_2159`
75×	`sqrt-prod_binary64_2140`
66×	`associate-r_binary64_2064`
56×	`distribute-lft-neg-in_binary64_2081` `distribute-rgt-neg-in_binary64_2082`
42×	`distribute-lft-out_binary64_2075`
20×	`associate-/l*_binary64_2069`
18×	`sqrt-div_binary64_2141`
13×	`pow1_binary64_2185`
11×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
8×	`associate-*l/_binary64_2067`
7×	`neg-mul-1_binary64_2120` `associate-*r/_binary64_2066`
6×	`distribute-neg-frac_binary64_2088` `flip3-+_binary64_2127` `flip-+_binary64_2098` `associate-/l/_binary64_2071`
5×	`flip--_binary64_2099` `flip3--_binary64_2128`
4×	`pow-prod-down_binary64_2195` `associate-/r/_binary64_2070` `sqrt-pow1_binary64_2142` `add-log-exp_binary64_2163` `associate-l_binary64_2065` `frac-add_binary64_2132`
3×	`associate-/r*_binary64_2068`
2×	`cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `prod-exp_binary64_2173` `pow1/2_binary64_2204` `frac-times_binary64_2134` `distribute-frac-neg_binary64_2087` `div-inv_binary64_2121` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157`
1×	`clear-num_binary64_2123` `*-commutative_binary64_2055` `rem-sqrt-square_binary64_2137` `div-sub_binary64_2129` `distribute-rgt-neg-out_binary64_2084` `neg-sub0_binary64_2119` `frac-2neg_binary64_2135`

Counts

4 → 225

Calls

8 calls:

43.0ms	(.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4)))))
28.0ms	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4))))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
7.0ms	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))
0.0ms	(.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))

series2.8s (6.7%)

Counts

4 → 65

Calls

4 calls:

1.5s	(.f64 (sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4)))))
788.0ms	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))) (-.f64 (.f64 B B) (.f64 C (.f64 A 4))))
295.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
223.0ms	(sqrt.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F)))

Compiler

Compiled 8308 to 6245 computations (24.8% saved)

simplify144.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

290 → 290

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5186	15196

prune903.0ms (2.2%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	284	6	290
Fresh	4	20	24
Picked	1	0	1
Done	0	0	0
Total	289	26	315

Error

25.6b

Counts

315 → 26

Compiler

Compiled 17647 to 9274 computations (47.4% saved)

localize38.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 A C)))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))))
24.0b	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
24.0b	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
24.0b	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
34.3b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-div_binary64_2156` `associate-*l/_binary64_2067` `add-sqr-sqrt_binary64_2146`
5×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
4×	`add-log-exp_binary64_2163` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`flip--_binary64_2099` `flip3--_binary64_2128` `sqrt-prod_binary64_2140` `pow1/3_binary64_2206` `cbrt-prod_binary64_2155`
2×	`sqrt-div_binary64_2141`
1×	`sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 48

Calls

8 calls:

9.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
6.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
6.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
6.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
0.0ms	(.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (*.f64 A 4))) F))))

series1.6s (3.9%)

Counts

4 → 72

Calls

4 calls:

435.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
429.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
425.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))
321.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

Compiler

Compiled 9657 to 6663 computations (31% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5017	2892

prune384.0ms (0.9%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	25	25
Picked	0	1	1
Done	0	0	0
Total	120	26	146

Error

25.6b

Counts

146 → 26

Compiler

Compiled 8902 to 4755 computations (46.6% saved)

simplify132.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5018	7171

regimes2.5s (5.9%)

Compiler: Compiled 23449 to 15305 computations (34.7% saved)

bsearch725.0ms (1.7%)

Steps

Iters	Range		Point
7	1.5814984257206592e+285	1.431963836767891e+287	1.5032216862996874e+286
8	8.282902271485543e+194	5.307562225568197e+198	4.276475041946287e+196
6	4.8750056614547066e+88	3.0481040420920755e+89	1.551151584627811e+89
6	3853544976036.737	19852255536259.56	7636043547696.668
6	2.6103095869324637e-99	3.6448190185343816e-98	1.348626692408251e-98
5	1.875782011618836e-208	5.174925457742646e-208	1.8971049353173214e-208
8	-7.7817931057557e-236	-2.393281448642888e-238	-7.717133116842071e-236
11	-1.9404047796344717e-180	-5.304403575133776e-204	-3.762903277684874e-203
7	-7.980079291329611e-39	-4.200467882827314e-41	-1.1667719819638848e-40

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes993.0ms (2.4%)

Compiler: Compiled 6736 to 4908 computations (27.1% saved)

bsearch780.0ms (1.9%)

Steps

Iters	Range		Point
7	1.5814984257206592e+285	1.431963836767891e+287	7.889896727992821e+286
8	8.282902271485543e+194	5.307562225568197e+198	1.4361793469845245e+198
6	4.8750056614547066e+88	3.0481040420920755e+89	1.1470329558487983e+89
6	3853544976036.737	19852255536259.56	3894365731760.578
6	2.6103095869324637e-99	3.6448190185343816e-98	1.7579411442645465e-98
5	1.875782011618836e-208	5.174925457742646e-208	2.0180754963362826e-208
8	-7.7817931057557e-236	-2.393281448642888e-238	-6.553253316396736e-236
11	-1.9404047796344717e-180	-5.304403575133776e-204	-6.34148830625923e-204
9	-1.4316930722302714e-67	-9.291807327383129e-74	-1.2972713832354343e-67

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes892.0ms (2.2%)

Compiler: Compiled 5856 to 4308 computations (26.4% saved)

bsearch766.0ms (1.8%)

Steps

Iters	Range		Point
7	1.5814984257206592e+285	1.431963836767891e+287	4.244579846234397e+286
8	8.282902271485543e+194	5.307562225568197e+198	2.3848522097125993e+198
9	4.177964142992686e+77	9.602392632211558e+82	2.0370057584299153e+82
6	3853544976036.737	19852255536259.56	4302573288998.992
6	2.6103095869324637e-99	3.6448190185343816e-98	9.558429771912338e-99
5	1.875782011618836e-208	5.174925457742646e-208	2.0180754963362826e-208
8	-7.7817931057557e-236	-2.393281448642888e-238	-2.6559097095624615e-236
11	-1.9404047796344717e-180	-5.304403575133776e-204	-1.020829083158243e-203
9	-1.4316930722302714e-67	-9.291807327383129e-74	-1.3117655194042228e-72

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes943.0ms (2.3%)

Compiler: Compiled 5692 to 4196 computations (26.3% saved)

bsearch471.0ms (1.1%)

Steps

Iters	Range		Point
8	7.673361589535656e+49	1.798301029127406e+54	7.806109043084902e+49
10	1.5010099287072028e+18	1.2940813019851511e+33	4.346792882910052e+25
9	4.7734828530305977e-26	7.658353704221424e-21	2.02730538299883e-22
6	2.7764055763648708e-42	2.2065519911830182e-41	1.6975214123994237e-41
8	2.2450204530593772e-169	1.9550313686599247e-166	6.243242224790431e-168
6	-1.4341665153754768e-19	-1.650998553481627e-20	-1.7496110785806515e-20

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes840.0ms (2%)

Compiler: Compiled 4784 to 3600 computations (24.7% saved)

bsearch544.0ms (1.3%)

Steps

Iters	Range		Point
8	7.673361589535656e+49	1.798301029127406e+54	7.806109043084902e+49
10	1.5010099287072028e+18	1.2940813019851511e+33	4.597491714676719e+32
9	4.7734828530305977e-26	7.658353704221424e-21	3.272603846781531e-21
10	4.9827742789137696e-55	8.149237147212975e-45	1.3319858820885497e-52
8	2.2450204530593772e-169	1.9550313686599247e-166	6.566063835698995e-168
6	-1.4341665153754768e-19	-1.650998553481627e-20	-1.683869395181302e-20

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes771.0ms (1.9%)

Compiler: Compiled 3792 to 2916 computations (23.1% saved)

bsearch323.0ms (0.8%)

Steps

Iters	Range	Point
8	8.282902271485543e+194	5.307562225568197e+198	1.4439851968970833e+195
9	9.360535551524577e-124	1.2277257575882009e-116	9.19377001290605e-117
10	-9.612415249459002e-307	1.8997240928636596e-298	-9.79153399683607e-308

Iters

Range

Point

8.282902271485543e+194

5.307562225568197e+198

1.4439851968970833e+195

9.360535551524577e-124

1.2277257575882009e-116

9.19377001290605e-117

-9.612415249459002e-307

1.8997240928636596e-298

-9.79153399683607e-308

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes402.0ms (1%)

Compiler: Compiled 2076 to 1644 computations (20.8% saved)

bsearch356.0ms (0.9%)

Steps

Iters	Range		Point
7	1.5814984257206592e+285	1.431963836767891e+287	6.582667715211156e+286
8	8.282902271485543e+194	5.307562225568197e+198	4.37355896041663e+195
10	4.567464673388213e-77	1.0776661176962134e-66	8.8384979074682e-70
9	-1.5715027743103478e-267	-2.8285807873741715e-276	-9.636626628530083e-270

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes360.0ms (0.9%)

Compiler: Compiled 1820 to 1460 computations (19.8% saved)

bsearch377.0ms (0.9%)

Steps

Iters	Range		Point
9	7.951919350741567e+274	3.0968183314250025e+281	2.2856784189714687e+281
8	8.282902271485543e+194	5.307562225568197e+198	1.1776615866996405e+196
10	4.567464673388213e-77	1.0776661176962134e-66	3.675885697099643e-68
9	-1.5715027743103478e-267	-2.8285807873741715e-276	-1.3698981427682082e-272

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes340.0ms (0.8%)

Compiler: Compiled 1564 to 1276 computations (18.4% saved)

bsearch372.0ms (0.9%)

Steps

Iters	Range		Point
9	7.951919350741567e+274	3.0968183314250025e+281	2.6301746459990342e+280
8	8.282902271485543e+194	5.307562225568197e+198	4.037849062667424e+198
10	4.567464673388213e-77	1.0776661176962134e-66	2.2645652338554536e-73
9	-1.5715027743103478e-267	-2.8285807873741715e-276	-1.7145530100948862e-268

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes263.0ms (0.6%)

Compiler: Compiled 1476 to 1200 computations (18.7% saved)

bsearch180.0ms (0.4%)

Steps

Iters	Range		Point
7	7.459742953998724e-57	4.210103645638463e-55	1.2382252259873166e-56
9	-5.2392239509308006e-245	-2.2655470409341053e-250	-3.968571333694865e-247

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes261.0ms (0.6%)

Compiler: Compiled 1388 to 1124 computations (19% saved)

bsearch241.0ms (0.6%)

Steps

Iters

Range

Point

1.2865976297794831e+209

5.834040842436625e+209

4.529002837703455e+209

1.3439454170545521e+85

8.145497569647661e+95

2.8994078830207907e+85

-5.2392239509308006e-245

-2.2655470409341053e-250

-5.364802292552887e-248

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes221.0ms (0.5%)

Compiler: Compiled 1348 to 1076 computations (20.2% saved)

bsearch181.0ms (0.4%)

Steps

Iters	Range		Point
9	4.7734828530305977e-26	7.658353704221424e-21	3.1582310936383745e-21
8	-5.718905497858865e-307	2.268736117171918e-306	-1.718342448941985e-307

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes180.0ms (0.4%)

Compiler: Compiled 1308 to 1028 computations (21.4% saved)

bsearch267.0ms (0.6%)

Steps

Iters	Range		Point
9	1.4090163949038549e-56	2.5268757126964843e-51	3.4253030403005424e-55
9	-4.749137761735602e-117	-1.4984923132995884e-125	-3.8481650581774855e-118

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes168.0ms (0.4%)

Compiler: Compiled 1096 to 888 computations (19% saved)

bsearch274.0ms (0.7%)

Steps

Iters	Range		Point
9	1.4090163949038549e-56	2.5268757126964843e-51	6.3262005158442605e-55
10	-2.219875647799175e-81	-5.096395290327422e-93	-9.812862966233216e-82

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes136.0ms (0.3%)

Compiler: Compiled 708 to 616 computations (13% saved)

bsearch219.0ms (0.5%)

Steps

Iters	Range		Point
7	3.104227642140989e-232	1.3585282495215592e-230	8.35043699247265e-232
8	-8.177498014105038e-25	-3.604772335649789e-28	-1.0094198241230907e-27

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes103.0ms (0.2%)

Compiler: Compiled 584 to 528 computations (9.6% saved)

bsearch92.0ms (0.2%)

Steps

Iters	Range		Point
9	4.7734828530305977e-26	7.658353704221424e-21	4.4497381856068945e-24

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes75.0ms (0.2%)

Compiler: Compiled 460 to 440 computations (4.3% saved)

bsearch101.0ms (0.2%)

Steps

Iters	Range		Point
9	2.1406958087610052e-48	1.3770240085089706e-39	1.4678054841862924e-47

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes51.0ms (0.1%)

Compiler: Compiled 212 to 264 computations (-24.5% saved)

bsearch0.0ms (0%)

regimes31.0ms (0.1%)

Accuracy

Total 18.5b remaining (41.3%)

Threshold costs 0b (0%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch79.0ms (0.2%)

Compiler: Compiled 2323 to 1490 computations (35.9% saved)

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	952	3507
1	952	3507

end0.0ms (0%)

sample8.2s (19.7%)

Algorithm

1×

intervals

Results

768.0ms	5518×	body	128	valid
503.0ms	874×	body	1024	valid
477.0ms	649×	body	2048	valid
434.0ms	759×	body	1024	nan
406.0ms	2851×	body	128	nan
390.0ms	526×	body	2048	nan
259.0ms	609×	body	512	valid
239.0ms	551×	body	512	nan
95.0ms	349×	body	256	valid
94.0ms	339×	body	256	nan
1.0ms	1×	body	4096	valid

Compiler

Compiled 6991 to 4533 computations (35.2% saved)

Pareto

0.3101379763189469

Details

analyze2.5s (6.1%)

sample154.0ms (0.4%)

simplify124.0ms (0.3%)

prune10.0ms (0%)

localize26.0ms (0.1%)

rewrite91.0ms (0.2%)

series4.1s (10%)

simplify136.0ms (0.3%)

prune1.0s (2.4%)

localize26.0ms (0.1%)

rewrite61.0ms (0.1%)

series2.3s (5.5%)

simplify105.0ms (0.3%)

prune488.0ms (1.2%)

localize26.0ms (0.1%)

rewrite129.0ms (0.3%)

series2.8s (6.7%)

simplify144.0ms (0.3%)

prune903.0ms (2.2%)

localize38.0ms (0.1%)

rewrite35.0ms (0.1%)

series1.6s (3.9%)

simplify61.0ms (0.1%)

prune384.0ms (0.9%)

simplify132.0ms (0.3%)

regimes2.5s (5.9%)

bsearch725.0ms (1.7%)

regimes993.0ms (2.4%)

bsearch780.0ms (1.9%)

regimes892.0ms (2.2%)

bsearch766.0ms (1.8%)

regimes943.0ms (2.3%)

bsearch471.0ms (1.1%)

regimes840.0ms (2%)

bsearch544.0ms (1.3%)

regimes771.0ms (1.9%)

bsearch323.0ms (0.8%)

regimes402.0ms (1%)

bsearch356.0ms (0.9%)

regimes360.0ms (0.9%)

bsearch377.0ms (0.9%)

regimes340.0ms (0.8%)

bsearch372.0ms (0.9%)

regimes263.0ms (0.6%)

bsearch180.0ms (0.4%)

regimes261.0ms (0.6%)

bsearch241.0ms (0.6%)

regimes221.0ms (0.5%)

bsearch181.0ms (0.4%)

regimes180.0ms (0.4%)

bsearch267.0ms (0.6%)

regimes168.0ms (0.4%)

bsearch274.0ms (0.7%)

regimes136.0ms (0.3%)

bsearch219.0ms (0.5%)

regimes103.0ms (0.2%)

bsearch92.0ms (0.2%)

regimes75.0ms (0.2%)

bsearch101.0ms (0.2%)

regimes51.0ms (0.1%)

bsearch0.0ms (0%)

regimes31.0ms (0.1%)

bsearch79.0ms (0.2%)

simplify48.0ms (0.1%)

end0.0ms (0%)

sample8.2s (19.7%)

Profiling