Details

analyze2.1s (4%)

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
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 30 to 24 computations (20% saved)

sample91.0ms (0.2%)

Algorithm

1×

intervals

Results

27.0ms	343×	body	128	invalid
26.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify696.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (606.0ms)

Iter	Nodes	Cost
0	4635	43
1	4635	43

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

11.5b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 c z) (.f64 t i))
0.0b	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))
0.0b	(-.f64 (.f64 y z) (.f64 t a))
0.0b	(-.f64 (.f64 c a) (.f64 y i))
0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
4.7b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.7b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
5.7b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite51.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`associate-*r/_binary64_21503`
19×	`flip3--_binary64_21565` `flip--_binary64_21536`
16×	`add-sqr-sqrt_binary64_21583`
12×	`frac-add_binary64_21569`
11×	`cancel-sign-sub-inv_binary64_21527` `sub-neg_binary64_21554`
10×	`distribute-lft-in_binary64_21510` `distribute-rgt-in_binary64_21511` `*-un-lft-identity_binary64_21561` `add-exp-log_binary64_21599` `add-cube-cbrt_binary64_21596` `add-cbrt-cube_binary64_21597` `pow1_binary64_21622`
9×	`associate-r_binary64_21501` `associate-l_binary64_21502` `add-log-exp_binary64_21600`
8×	`frac-sub_binary64_21570`
6×	`associate-+l+_binary64_21494`
4×	`associate-+r+_binary64_21493` `associate--l+_binary64_21498`
3×	`cbrt-unprod_binary64_21594` `prod-exp_binary64_21610` `*-commutative_binary64_21492` `pow-prod-down_binary64_21632` `unswap-sqr_binary64_21529`
2×	`sum-log_binary64_21652`
1×	`+-commutative_binary64_21491` `diff-log_binary64_21653` `associate-+l-_binary64_21496` `flip-+_binary64_21535` `flip3-+_binary64_21564`

Counts

4 → 107

Calls

8 calls:

14.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
0.0ms	(-.f64 (.f64 c a) (.f64 y i))

series2.6s (5%)

Counts

4 → 135

Calls

4 calls:

1.5s	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
511.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
287.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
283.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 5967 to 4770 computations (20.1% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

242 → 242

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5276	7913

prune433.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	228	14	242
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	229	14	243

Error

0.3b

Counts

243 → 14

Compiler

Compiled 9369 to 941 computations (90% saved)

localize31.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))
0.0b	(-.f64 (.f64 c z) (.f64 t i))
0.0b	(-.f64 (.f64 z y) (.f64 t a))
0.0b	(-.f64 (.f64 c a) (.f64 y i))
2.0b	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
3.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
5.7b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
5.7b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary64_21599` `pow1_binary64_21622`
19×	`add-sqr-sqrt_binary64_21583`
15×	`add-cbrt-cube_binary64_21597`
13×	`associate-r_binary64_21501`
11×	`cbrt-unprod_binary64_21594` `*-un-lft-identity_binary64_21561` `prod-exp_binary64_21610` `add-cube-cbrt_binary64_21596` `pow-prod-down_binary64_21632`
10×	`associate-l_binary64_21502`
6×	`associate-*r/_binary64_21503`
4×	`distribute-lft-in_binary64_21510` `distribute-rgt-in_binary64_21511` `cancel-sign-sub-inv_binary64_21527` `flip3--_binary64_21565` `associate-l/_binary64_21504` `sub-neg_binary64_21554` `-commutative_binary64_21492` `add-log-exp_binary64_21600` `unswap-sqr_binary64_21529` `cbrt-prod_binary64_21592` `flip--_binary64_21536`

Counts

4 → 96

Calls

8 calls:

13.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
8.0ms	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
0.0ms	(-.f64 (.f64 c a) (.f64 y i))

series1.6s (3%)

Counts

4 → 108

Calls

4 calls:

675.0ms	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
308.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
295.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
285.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

Compiler

Compiled 5916 to 4446 computations (24.8% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5158	2853

prune190.0ms (0.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	204	14	218

Error

0.3b

Counts

218 → 14

Compiler

Compiled 7896 to 748 computations (90.5% saved)

localize33.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 y z) (.f64 t a))
0.0b	(-.f64 (.f64 c a) (.f64 i y))
0.0b	(-.f64 (.f64 c a) (.f64 i y))
0.0b	(-.f64 (.f64 c a) (.f64 i y))
5.7b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
7.3b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
7.3b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
7.3b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_21583` `associate-*r/_binary64_21503`
6×	`*-un-lft-identity_binary64_21561` `add-exp-log_binary64_21599` `add-cube-cbrt_binary64_21596` `add-cbrt-cube_binary64_21597` `pow1_binary64_21622` `cbrt-div_binary64_21593`
4×	`flip3--_binary64_21565` `add-log-exp_binary64_21600` `flip--_binary64_21536`
3×	`associate-r_binary64_21501` `pow1/3_binary64_21643` `associate-l_binary64_21502` `cbrt-prod_binary64_21592`
2×	`distribute-lft-in_binary64_21510` `distribute-rgt-in_binary64_21511` `cancel-sign-sub-inv_binary64_21527` `sub-neg_binary64_21554`
1×	`cbrt-unprod_binary64_21594` `prod-exp_binary64_21610` `*-commutative_binary64_21492` `pow-prod-down_binary64_21632` `unswap-sqr_binary64_21529`

Counts

4 → 57

Calls

8 calls:

7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
0.0ms	(-.f64 (.f64 c a) (.f64 i y))

series1.9s (3.6%)

Counts

4 → 99

Calls

4 calls:

541.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
531.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
524.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
298.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

Compiler

Compiled 10800 to 6702 computations (37.9% saved)

simplify82.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4984	3415
1	4984	3415

prune225.0ms (0.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	156	14	170

Error

0.3b

Counts

170 → 14

Compiler

Compiled 9433 to 1270 computations (86.5% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
0.0b	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (*.f64 c z)))
0.0b	(-.f64 (.f64 y z) (.f64 t a))
0.0b	(-.f64 (.f64 c a) (.f64 y i))
0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
4.7b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.2b	(.f64 b (.f64 c z))
5.7b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_21583` `add-exp-log_binary64_21599` `add-cbrt-cube_binary64_21597` `pow1_binary64_21622`
9×	`cancel-sign-sub-inv_binary64_21527` `-un-lft-identity_binary64_21561` `add-cube-cbrt_binary64_21596` `sub-neg_binary64_21554` `associate-l*_binary64_21502` `add-log-exp_binary64_21600`
8×	`distribute-lft-in_binary64_21510` `distribute-rgt-in_binary64_21511` `associate-*r/_binary64_21503`
7×	`associate-r_binary64_21501`
6×	`flip3--_binary64_21565` `associate-+l+_binary64_21494` `flip--_binary64_21536`
5×	`cbrt-unprod_binary64_21594` `prod-exp_binary64_21610` `pow-prod-down_binary64_21632`
4×	`associate-+r+_binary64_21493` `frac-add_binary64_21569` `associate--l+_binary64_21498`
3×	`*-commutative_binary64_21492`
2×	`sum-log_binary64_21652` `unswap-sqr_binary64_21529`
1×	`+-commutative_binary64_21491` `diff-log_binary64_21653` `associate-+l-_binary64_21496` `flip-+_binary64_21535` `flip3-+_binary64_21564`

Counts

4 → 93

Calls

8 calls:

12.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0ms	(.f64 b (.f64 c z))
0.0ms	(-.f64 (.f64 c a) (.f64 y i))

series1.9s (3.7%)

Counts

4 → 117

Calls

4 calls:

1.3s	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
283.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
269.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
99.0ms	(.f64 b (.f64 c z))

Compiler

Compiled 4473 to 3816 computations (14.7% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5057	4648

prune182.0ms (0.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	0	11	11
Picked	1	0	1
Done	0	2	2
Total	210	14	224

Error

0.3b

Counts

224 → 14

Compiler

Compiled 5765 to 405 computations (93% saved)

simplify143.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	5071	4782

regimes1.8s (3.4%)

Compiler: Compiled 28782 to 16920 computations (41.2% saved)

bsearch119.0ms (0.2%)

Steps

Iters	Range		Point
8	3.663269041285228e-154	2.3283680030605697e-150	5.560316092584489e-153
8	-1.7616617730499503e-155	-4.1914936602815154e-159	-5.651815935135261e-159

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes611.0ms (1.2%)

Compiler: Compiled 4644 to 5040 computations (-8.5% saved)

bsearch189.0ms (0.4%)

Steps

Iters	Range	Point
9	1.1943890434102152e+162	1.1734129582809427e+170	1.1263283223626844e+170
9	-6.224531999132349e-157	-1.1700646215717533e-164	-6.078174667740152e-157
6	-7.998969615770288e-135	-7.522466184162394e-136	-7.703040881334243e-136

Iters

Range

Point

1.1943890434102152e+162

1.1734129582809427e+170

1.1263283223626844e+170

-6.224531999132349e-157

-1.1700646215717533e-164

-6.078174667740152e-157

-7.998969615770288e-135

-7.522466184162394e-136

-7.703040881334243e-136

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes590.0ms (1.1%)

Compiler: Compiled 4365 to 4824 computations (-10.5% saved)

bsearch200.0ms (0.4%)

Steps

Iters	Range	Point
9	1.1943890434102152e+162	1.1734129582809427e+170	1.1611072755391721e+169
9	-6.224531999132349e-157	-1.1700646215717533e-164	-6.078174667740152e-157
6	-7.998969615770288e-135	-7.522466184162394e-136	-7.703040881334243e-136

Iters

Range

Point

1.1943890434102152e+162

1.1734129582809427e+170

1.1611072755391721e+169

-6.224531999132349e-157

-1.1700646215717533e-164

-6.078174667740152e-157

-7.998969615770288e-135

-7.522466184162394e-136

-7.703040881334243e-136

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.0s (1.9%)

Compiler: Compiled 4104 to 4617 computations (-12.5% saved)

bsearch405.0ms (0.8%)

Steps

Iters	Range		Point
10	4.3163910422745674e+213	6.842524160202977e+224	2.1385356445938467e+214
7	1.966468015160379e+140	5.2614216799717625e+141	3.4168501826953126e+141
9	2.864630241200414e+19	7.628516352962408e+27	3.98211065232382e+21
6	1.3740792843595247e-79	7.724318970138525e-79	4.27172558160041e-79
9	-6.224531999132349e-157	-1.1700646215717533e-164	-5.659787019210764e-157
5	-2.2194613092713792e-58	-8.099210189485748e-59	-8.270515750619082e-59

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes979.0ms (1.9%)

Compiler: Compiled 3879 to 4428 computations (-14.2% saved)

bsearch383.0ms (0.7%)

Steps

Iters	Range		Point
10	4.3163910422745674e+213	6.842524160202977e+224	6.479056336158322e+213
7	1.966468015160379e+140	5.2614216799717625e+141	5.205525573993688e+141
9	2.864630241200414e+19	7.628516352962408e+27	2.1653774689343914e+22
6	1.3740792843595247e-79	7.724318970138525e-79	2.060850257440284e-79
9	-6.224531999132349e-157	-1.1700646215717533e-164	-3.610784379720009e-157
6	-7.998969615770288e-135	-7.522466184162394e-136	-8.06419027567794e-136

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes920.0ms (1.8%)

Compiler: Compiled 3654 to 4239 computations (-16% saved)

bsearch318.0ms (0.6%)

Steps

Iters	Range		Point
6	1.4213701727289324e+19	6.385419649712819e+19	1.6896061531991968e+19
5	9.977358075319798e-66	2.899063436570303e-65	2.3297639081553345e-65
4	9.619667009479466e-189	1.532743175659636e-188	1.0436256031924691e-188
4	-6.152296647398979e-254	-3.683027327248329e-254	-6.0751319811442714e-254
7	-8.689732448744106e-234	-1.3303384290697724e-235	-1.3488738608081662e-235
7	-2.34252622816347e-90	-2.491325315691121e-92	-1.6240175062327614e-90
9	-9.115406832599496e-52	-1.2867953117713973e-59	-1.1698328974414482e-57

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes837.0ms (1.6%)

Compiler: Compiled 3429 to 4050 computations (-18.1% saved)

bsearch251.0ms (0.5%)

Steps

Iters	Range		Point
6	1.4213701727289324e+19	6.385419649712819e+19	1.5318202823343352e+19
4	-6.152296647398979e-254	-3.683027327248329e-254	-6.0751319811442714e-254
7	-8.689732448744106e-234	-1.3303384290697724e-235	-1.3488738608081662e-235
7	-2.34252622816347e-90	-2.491325315691121e-92	-2.2921391518864686e-90
9	-9.115406832599496e-52	-1.2867953117713973e-59	-3.8434983675258246e-58

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes882.0ms (1.7%)

Compiler: Compiled 3204 to 3861 computations (-20.5% saved)

bsearch410.0ms (0.8%)

Steps

Iters	Range		Point
9	1.3018790314680366e-42	1.3782444507588684e-36	1.3159042400399469e-42
5	9.648429971214888e-64	2.5409686448813457e-63	1.738496382647466e-63
7	2.2278096735576274e-67	9.977358075319798e-66	2.2599707957738806e-67
7	7.912202529008867e-106	2.110368916990529e-104	3.994771011382406e-105
6	4.892880731057522e-294	3.4584082153784115e-293	8.62449694413668e-294
9	-1.9641190689762815e-258	-1.7821238285139646e-266	-1.1081169535274499e-265
7	-2.34252622816347e-90	-2.491325315691121e-92	-5.471119554911259e-91
9	-9.115406832599496e-52	-1.2867953117713973e-59	-3.8778336079330004e-59

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes898.0ms (1.7%)

Compiler: Compiled 2979 to 3672 computations (-23.3% saved)

bsearch432.0ms (0.8%)

Steps

Iters	Range		Point
10	8.520020324002304e+199	6.255444575247339e+211	1.0923004910203536e+210
4	5.2614216799717625e+141	8.031756961348633e+141	7.468307158420346e+141
7	2.518592106075676e+113	8.421784825137798e+114	6.567166328222166e+114
9	1.5829018631770927e+66	1.4968005301011253e+75	1.6563961569094838e+66
6	1.3740792843595247e-79	7.724318970138525e-79	3.2542871029622477e-79
9	-6.224531999132349e-157	-1.1700646215717533e-164	-6.078174667740152e-157
6	-7.998969615770288e-135	-7.522466184162394e-136	-7.703040881334243e-136

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.1s (2%)

Compiler: Compiled 2754 to 3483 computations (-26.5% saved)

bsearch473.0ms (0.9%)

Steps

Iters	Range		Point
7	1.6066870572197818e+210	9.162455558536773e+211	1.9145138071952117e+211
8	2811.838956704877	6114936.428560032	437548.3460092478
9	5.195238238773164e-61	8.350956748873135e-54	7.598430200384793e-55
9	3.430428439498011e-70	4.7205910519148445e-65	7.102454165661787e-69
8	8.801403642379027e-214	8.561409961335665e-210	8.993179701661753e-214
7	1.8834834794863245e-244	4.279425596507084e-243	3.4872212918181425e-244
8	-2.0519567590106332e-222	-7.522914935073009e-227	-1.605747067904757e-226
6	-1.311555792175587e-27	-1.3290471364228396e-28	-1.7204092629672144e-28

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes945.0ms (1.8%)

Compiler: Compiled 2547 to 3303 computations (-29.7% saved)

bsearch383.0ms (0.7%)

Steps

Iters	Range		Point
8	2811.838956704877	6114936.428560032	151203.93684947307
9	5.195238238773164e-61	8.350956748873135e-54	1.886632056585417e-60
9	3.430428439498011e-70	4.7205910519148445e-65	3.9384656572881107e-69
8	8.801403642379027e-214	8.561409961335665e-210	8.993179701661753e-214
7	1.8834834794863245e-244	4.279425596507084e-243	4.237867170272019e-243
8	-2.0519567590106332e-222	-7.522914935073009e-227	-1.4413598011988385e-224
6	-1.311555792175587e-27	-1.3290471364228396e-28	-1.2071925584304206e-27

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.1s (2%)

Compiler: Compiled 2340 to 3123 computations (-33.5% saved)

bsearch267.0ms (0.5%)

Steps

Iters	Range		Point
9	7.46861055070766e+99	4.684504617888773e+108	1.9561803630262065e+107
6	1.3740792843595247e-79	7.724318970138525e-79	2.847311711506982e-79
9	-2.2071902873908993e-258	-3.8806392913381916e-264	-2.1683592391678187e-258
9	-1.0219774573168821e-217	-1.2836603649220145e-223	-1.6949418743038368e-222
4	-1.0757146290635866e-28	-5.440365348784747e-29	-5.907888872842342e-29

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes880.0ms (1.7%)

Compiler: Compiled 1926 to 2763 computations (-43.5% saved)

bsearch541.0ms (1%)

Steps

Iters	Range		Point
6	9.761669757725513e-44	1.3018790314680366e-42	2.5082870567089684e-43
8	1.5889809056274244e-133	4.861825468383362e-130	1.7742493469137702e-133
7	1.4085572765773469e-185	3.182335796533484e-183	3.125154435887435e-183
8	3.368041757683584e-224	4.136657119735189e-221	1.3069366647664327e-223
8	1.9816525408805487e-283	3.874518196771934e-279	8.906604412278702e-280
9	-4.0673002437291815e-277	-2.4174003692051395e-284	-1.9213716518985423e-279
8	-1.3303384290697724e-235	-4.013448275816803e-239	-4.127093320384281e-238
6	-1.7142967169913764e-148	-2.9989193008866445e-149	-1.2478503946397264e-148
6	-0.0009130501160829491	-9.273904200574313e-05	-0.00028527974768051656
9	-8.41537339336278e+255	-1.0767278845388128e+249	-1.7459444347657678e+255

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.1s (2.1%)

Compiler: Compiled 1719 to 2583 computations (-50.3% saved)

bsearch551.0ms (1.1%)

Steps

Iters	Range		Point
9	2.2664255819866824e-22	5.647771784336114e-14	4.041988423958854e-18
6	1.0440449678527074e-156	8.636861834917612e-156	2.80325037856181e-156
10	1.307426160265377e-178	3.0792424175147414e-168	7.874217579297312e-178
6	3.820134240374723e-287	3.689008131095714e-286	1.4589925527885112e-286
8	-7.42363366777525e-282	-9.409895225025428e-285	-1.8188783618325113e-283
5	-1.0785743847377887e-234	-3.305762044405559e-235	-4.041540457959374e-235
8	-4.4420547049907584e-141	-3.956316593178914e-145	-4.040514721785228e-145
9	-1.9840932379311642e-129	-2.1298930160745444e-136	-1.1039180088604056e-133
8	-4.706952750081319e-67	-8.047129907077179e-70	-2.9575958321456685e-67
5	-3.6043424355003615e-49	-1.1897449828659963e-49	-3.023959055798277e-49
6	-2.0559952959065113e-30	-4.970537576815568e-31	-5.033491168340263e-31

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes965.0ms (1.9%)

Compiler: Compiled 1530 to 2412 computations (-57.6% saved)

bsearch484.0ms (0.9%)

Steps

Iters	Range		Point
10	2.725532025888809e+26	1.1348634119619734e+39	2.6906268790877643e+36
8	1.5889809056274244e-133	4.861825468383362e-130	6.693499872701675e-131
7	1.4085572765773469e-185	3.182335796533484e-183	3.125154435887435e-183
8	3.368041757683584e-224	4.136657119735189e-221	3.0521413111737223e-222
8	1.9816525408805487e-283	3.874518196771934e-279	2.472908070636057e-279
5	-2.4174003692051395e-284	-6.26447229747995e-285	-6.820306143584542e-285
7	-8.689732448744106e-234	-1.3303384290697724e-235	-1.5712990416688898e-235
5	-7.541520756025499e-68	-2.019766106967956e-68	-6.4745483382460285e-68
6	-0.0009130501160829491	-9.273904200574313e-05	-0.0001198988916254981
6	-3.0745702937682275e+117	-2.759023715232982e+116	-3.1434153823279628e+116

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.0s (2%)

Compiler: Compiled 1341 to 2241 computations (-67.1% saved)

bsearch440.0ms (0.8%)

Steps

Iters	Range		Point
6	1.4213701727289324e+19	6.385419649712819e+19	1.721163327372169e+19
5	9.648429971214888e-64	2.5409686448813457e-63	1.0340486092743092e-63
7	7.912202529008867e-106	2.110368916990529e-104	3.994771011382406e-105
8	1.5889809056274244e-133	4.861825468383362e-130	2.0918835246924267e-133
7	1.4085572765773469e-185	3.182335796533484e-183	1.245962231036457e-183
8	6.808275176275899e-211	2.763651138583627e-206	2.505172986173283e-207
8	1.9816525408805487e-283	3.874518196771934e-279	1.1361076733139516e-279
5	-2.4174003692051395e-284	-6.26447229747995e-285	-2.3767509834502636e-284
7	-8.689732448744106e-234	-1.3303384290697724e-235	-1.3859447242849535e-235
6	-2.59388950110045e-82	-3.9621611837015505e-83	-2.1098444485358656e-82

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.0s (1.9%)

Compiler: Compiled 1206 to 2097 computations (-73.9% saved)

bsearch445.0ms (0.9%)

Steps

Iters	Range		Point
6	1.4213701727289324e+19	6.385419649712819e+19	1.4371487598154185e+19
5	9.648429971214888e-64	2.5409686448813457e-63	1.9045898518142352e-63
7	7.912202529008867e-106	2.110368916990529e-104	2.0847645985937437e-104
8	1.5889809056274244e-133	4.861825468383362e-130	1.6088330417385903e-133
7	1.4085572765773469e-185	3.182335796533484e-183	3.2472714624363066e-184
8	6.808275176275899e-211	2.763651138583627e-206	6.922032308935601e-211
8	1.9816525408805487e-283	3.874518196771934e-279	3.579981518268636e-279
5	-2.4174003692051395e-284	-6.26447229747995e-285	-2.295452211940512e-284
7	-8.689732448744106e-234	-1.3303384290697724e-235	-2.0149023587318018e-235
6	-2.59388950110045e-82	-3.9621611837015505e-83	-1.369540250495913e-82

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.0s (2%)

Compiler: Compiled 1071 to 1953 computations (-82.4% saved)

bsearch624.0ms (1.2%)

Steps

Iters	Range		Point
8	3.5076424034526753e+158	1.8271914434013882e+161	1.6443330969380786e+159
8	2.518243260329647e+113	1.3766380093018032e+116	1.3626152386467952e+116
9	3.844863036907218e+100	7.108868170658992e+107	6.8938502198867135e+100
9	2.5801368971099116e-13	1.6353231027506052e-06	9.454720563812464e-11
6	3.1591285939219716e-60	2.4085422797117986e-59	5.799962715194008e-60
7	8.755257778664644e-189	4.0363276620051704e-187	2.3962791980559202e-188
10	5.972027193833562e-286	3.949986348769924e-274	4.339465945710516e-280
10	-5.981672232196579e-112	-1.1788374328529788e-125	-3.9269685437443824e-113
9	-2.3010959355538748e-35	-4.0821352337093096e-41	-8.462997426697143e-41
8	-2.876579072645089e+53	-1.2861909179551366e+50	-5.8668565473225984e+51

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.0s (2%)

Compiler: Compiled 936 to 1809 computations (-93.3% saved)

bsearch554.0ms (1.1%)

Steps

Iters	Range		Point
10	2.725532025888809e+26	1.1348634119619734e+39	2.883849166239473e+26
7	7.912202529008867e-106	2.110368916990529e-104	1.6545695714495631e-105
9	1.7598261814119627e-149	2.4587799576819902e-141	3.0937599917498646e-142
7	1.4085572765773469e-185	3.182335796533484e-183	9.163860376279286e-185
8	6.808275176275899e-211	2.763651138583627e-206	1.2391599325050974e-207
8	1.9816525408805487e-283	3.874518196771934e-279	1.754848216087633e-281
5	-2.4174003692051395e-284	-6.26447229747995e-285	-6.366095761867141e-285
9	-2.1677385866533483e-190	-6.499929257051536e-196	-8.11646033829231e-196
3	-1.0635332693389953e-78	-8.544630064076068e-79	-1.0504663779057836e-78
6	-0.0009130501160829491	-9.273904200574313e-05	-0.000874706798972707
8	-2.759023715232982e+116	-1.846748184273213e+112	-2.2929242487926204e+114

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes990.0ms (1.9%)

Compiler: Compiled 855 to 1692 computations (-97.9% saved)

bsearch559.0ms (1.1%)

Steps

Iters	Range		Point
10	2.725532025888809e+26	1.1348634119619734e+39	3.987855535499219e+29
7	7.912202529008867e-106	2.110368916990529e-104	4.250814195350259e-105
9	1.7598261814119627e-149	2.4587799576819902e-141	1.3568339729863509e-148
8	3.182335796533484e-183	3.634031990526803e-180	5.576854013726377e-181
8	6.808275176275899e-211	2.763651138583627e-206	2.7302547197181347e-210
8	1.9816525408805487e-283	3.874518196771934e-279	9.807767589939504e-281
5	-2.4174003692051395e-284	-6.26447229747995e-285	-1.970257125901504e-284
9	-2.1677385866533483e-190	-6.499929257051536e-196	-9.210718817726041e-196
3	-1.0635332693389953e-78	-8.544630064076068e-79	-1.0504663779057836e-78
6	-0.0009130501160829491	-9.273904200574313e-05	-0.0002135857635266019
8	-2.759023715232982e+116	-1.846748184273213e+112	-1.8727339437223382e+112

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes914.0ms (1.8%)

Compiler: Compiled 774 to 1575 computations (-103.5% saved)

bsearch473.0ms (0.9%)

Steps

Iters	Range		Point
10	2.725532025888809e+26	1.1348634119619734e+39	3.525736726425097e+27
7	7.912202529008867e-106	2.110368916990529e-104	3.866749419398479e-105
9	1.7598261814119627e-149	2.4587799576819902e-141	2.6920451214874036e-145
8	3.182335796533484e-183	3.634031990526803e-180	4.173681463304508e-183
8	6.808275176275899e-211	2.763651138583627e-206	5.079339486747543e-209
9	-2.1677385866533483e-190	-6.499929257051536e-196	-1.0065533083435709e-193
3	-1.0635332693389953e-78	-8.544630064076068e-79	-1.0504663779057836e-78
6	-0.0009130501160829491	-9.273904200574313e-05	-0.0006446468963112533
8	-2.759023715232982e+116	-1.846748184273213e+112	-2.1616943769499286e+113

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes651.0ms (1.2%)

Compiler: Compiled 612 to 1341 computations (-119.1% saved)

bsearch250.0ms (0.5%)

Steps

Iters	Range		Point
10	2.725532025888809e+26	1.1348634119619734e+39	2.633621878597598e+28
7	7.912202529008867e-106	2.110368916990529e-104	9.504508155379666e-106
9	1.7598261814119627e-149	2.4587799576819902e-141	2.9448876546183295e-147
7	-8.689732448744106e-234	-1.3303384290697724e-235	-3.8359575027900937e-234
6	-2.59388950110045e-82	-3.9621611837015505e-83	-9.165589209075835e-83

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes579.0ms (1.1%)

Compiler: Compiled 531 to 1224 computations (-130.5% saved)

bsearch249.0ms (0.5%)

Steps

Iters	Range		Point
7	9788193858351.639	376237651119776.94	19574320380559.836
9	1.3018790314680366e-42	1.3782444507588684e-36	7.139676728020181e-40
7	7.912202529008867e-106	2.110368916990529e-104	2.0335559618001728e-104
6	4.892880731057522e-294	3.4584082153784115e-293	1.740840293142189e-293
6	-4.704219915779924e-276	-4.0673002437291815e-277	-1.7223766572134722e-276
6	-2.59388950110045e-82	-3.9621611837015505e-83	-2.394576832397386e-82

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes519.0ms (1%)

Compiler: Compiled 450 to 1107 computations (-146% saved)

bsearch241.0ms (0.5%)

Steps

Iters	Range		Point
5	8.350956748873135e-54	1.7528968136490609e-53	1.7352912796060265e-53
7	1.1332593783495998e-192	3.56073687375346e-191	6.3136000568880084e-192
8	4.162942046873559e-272	7.324802779458042e-269	6.68585164086064e-269
8	-2.6406704903783398e-111	-4.143498418921526e-115	-8.283852579859676e-112
7	-5.3514154761324326e+17	-33386689712151636.0	-5.30634219422518e+17
4	-1.6622276638910786e+50	-9.401467088996952e+49	-9.62711738743176e+49

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes359.0ms (0.7%)

Compiler: Compiled 369 to 990 computations (-168.3% saved)

bsearch244.0ms (0.5%)

Steps

Iters	Range		Point
6	3.109315988675264e+175	2.2129152163333276e+176	8.447416762452327e+175
6	7.108868170658992e+107	5.663912493542412e+108	3.1472225881959996e+108
9	2.5801368971099116e-13	1.6353231027506052e-06	1.4393403870178837e-11
6	1.786133441318698e-158	1.7187139459395758e-157	1.4229075825607517e-157
8	-1.2749010649450182e-76	-4.151248972338597e-79	-3.2508078109740513e-77

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes265.0ms (0.5%)

Compiler: Compiled 288 to 873 computations (-203.1% saved)

bsearch146.0ms (0.3%)

Steps

Iters

Range

Point

3.5565815873922903e-72

1.518340001020385e-67

2.7139593189846097e-71

-1.7821238285139646e-266

-4.704219915779924e-276

-1.6402118302373053e-271

-2.59388950110045e-82

-3.9621611837015505e-83

-2.1667909253081698e-82

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes338.0ms (0.6%)

Compiler: Compiled 207 to 756 computations (-265.2% saved)

bsearch174.0ms (0.3%)

Steps

Iters	Range		Point
8	2811.838956704877	6114936.428560032	346740.466624036
9	7.082846313158833e-180	7.409506461288381e-173	2.546847617268662e-173
5	-2.781337455049759e-231	-7.584578149567987e-232	-8.92453816817353e-232
7	-1.7349726508117446e-61	-1.5233030922192165e-63	-8.749695281370124e-63

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes236.0ms (0.5%)

Compiler: Compiled 153 to 648 computations (-323.5% saved)

bsearch190.0ms (0.4%)

Steps

Iters	Range		Point
8	3.083737409856105e-70	5.550551193223999e-67	3.8595468204548e-67
6	-1.2697520415551558e-187	-2.1280021625981803e-188	-1.1990934087880772e-187
7	-0.03821930667940159	-0.00020447251214626306	-0.0038091040951321884
7	-4.082030845292572e+93	-5.335431732616205e+91	-6.059590254193082e+91

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes104.0ms (0.2%)

Compiler: Compiled 99 to 540 computations (-445.5% saved)

bsearch0.0ms (0%)

regimes94.0ms (0.2%)

Accuracy

Total 12.4b remaining (99%)

Threshold costs 0b (0%)

Compiler

Compiled 45 to 432 computations (-860% saved)

bsearch96.0ms (0.2%)

Compiler: Compiled 4061 to 1554 computations (61.7% saved)

simplify141.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	2546	5868
1	2546	5868

end0.0ms (0%)

sample5.6s (10.7%)

Algorithm

1×

intervals

Results

907.0ms	11048×	body	128	invalid
651.0ms	8000×	body	128	valid

Compiler

Compiled 7318 to 3506 computations (52.1% saved)

Pareto

0.030700977938956688