Details

analyze1.0s (5.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
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
14.9%	84.9%	0.2%	13
16.2%	83.5%	0.3%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample29.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	208×	body	128	valid
2.0ms	14×	body	1024	valid
2.0ms	18×	body	512	valid
1.0ms	37×	body	128	invalid
1.0ms	12×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify185.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4915	19
1	4915	19

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

24.1b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

17.5b	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))
2.7b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
0.0b	(*.f64 (-.f64 y x) (-.f64 z t))
0.0b	(*.f64 (-.f64 y x) (-.f64 z t))
2.7b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
17.5b	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))

rewrite45.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_18151` `add-sqr-sqrt_binary64_18173`
13×	`flip3--_binary64_18155` `flip--_binary64_18126`
10×	`add-cbrt-cube_binary64_18187` `add-exp-log_binary64_18189`
9×	`add-cube-cbrt_binary64_18186`
8×	`associate-/l/_binary64_18098` `frac-times_binary64_18161`
6×	`cancel-sign-sub-inv_binary64_18117`
5×	`pow1_binary64_18212` `associate-r_binary64_18091` `times-frac_binary64_18157` `add-log-exp_binary64_18190` `associate-l_binary64_18092` `associate-/r*_binary64_18095`
4×	`associate-r/_binary64_18093` `associate-l/_binary64_18094` `distribute-rgt-in_binary64_18101` `distribute-lft-out--_binary64_18103` `difference-of-squares_binary64_18120` `distribute-lft-in_binary64_18100`
2×	`div-exp_binary64_18202` `sub-neg_binary64_18144` `associate-/r/_binary64_18097` `prod-exp_binary64_18200` `cbrt-unprod_binary64_18184` `cbrt-undiv_binary64_18185`
1×	`div-inv_binary64_18148` `distribute-lft-out_binary64_18102` `associate-/l_binary64_18096` `unswap-sqr_binary64_18119` `pow-prod-down_binary64_18222` `-commutative_binary64_18082` `flip-+_binary64_18125` `+-commutative_binary64_18081` `clear-num_binary64_18150` `sum-log_binary64_18242` `frac-2neg_binary64_18162` `flip3-+_binary64_18154`

Counts

3 → 85

Calls

6 calls:

14.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))
11.0ms	(*.f64 (-.f64 y x) (-.f64 z t))
9.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
0.0ms	(*.f64 (-.f64 y x) (-.f64 z t))
0.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))

series1.7s (9.1%)

Counts

3 → 99

Calls

3 calls:

928.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
546.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))
189.0ms	(*.f64 (-.f64 y x) (-.f64 z t))

Compiler

Compiled 4810 to 3102 computations (35.5% saved)

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5263	5743

prune243.0ms (1.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	170	14	184
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	14	185

Error

2.1b

Counts

185 → 14

Compiler

Compiled 5156 to 990 computations (80.8% saved)

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.7b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
1.7b	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
1.7b	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
2.7b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))

rewrite112.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

330×	`times-frac_binary64_18157`
323×	`*-un-lft-identity_binary64_18151`
321×	`add-sqr-sqrt_binary64_18173`
113×	`add-cube-cbrt_binary64_18186`
104×	`distribute-lft-out--_binary64_18103` `difference-of-squares_binary64_18120`
36×	`associate-/r*_binary64_18095`
15×	`associate-/r/_binary64_18097`
10×	`associate-/l*_binary64_18096` `add-cbrt-cube_binary64_18187` `add-exp-log_binary64_18189`
9×	`flip3--_binary64_18155` `flip--_binary64_18126`
8×	`div-inv_binary64_18148`
5×	`add-log-exp_binary64_18190`
4×	`div-exp_binary64_18202` `associate-/l/_binary64_18098` `cbrt-undiv_binary64_18185`
3×	`pow1_binary64_18212` `div-sub_binary64_18156`
2×	`clear-num_binary64_18150` `frac-2neg_binary64_18162`
1×	`distribute-lft-out_binary64_18102` `flip-+_binary64_18125` `+-commutative_binary64_18081` `sum-log_binary64_18242` `associate-+r-_binary64_18085` `flip3-+_binary64_18154`

Counts

3 → 274

Calls

6 calls:

47.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
20.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
8.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
0.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
0.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))

series1.6s (8.9%)

Counts

3 → 95

Calls

3 calls:

942.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
546.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
153.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 4788 to 3103 computations (35.2% saved)

simplify148.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

369 → 369

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5799	12658

prune324.0ms (1.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	366	3	369
Fresh	3	10	13
Picked	0	1	1
Done	0	0	0
Total	369	14	383

Error

2.0b

Counts

383 → 14

Compiler

Compiled 10367 to 1584 computations (84.7% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 (-.f64 a t))
0.5b	(*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))
0.2b	(/.f64 (-.f64 y x) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))
0.2b	(/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))
0.5b	(cbrt.f64 (-.f64 a t))
0.5b	(cbrt.f64 (-.f64 a t))
2.5b	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))
8.0b	(+.f64 x (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))))

rewrite73.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_18173`
59×	`*-un-lft-identity_binary64_18151`
52×	`times-frac_binary64_18157`
46×	`associate-r_binary64_18091`
37×	`cbrt-prod_binary64_18182`
27×	`add-cube-cbrt_binary64_18186`
25×	`add-exp-log_binary64_18189`
18×	`add-cbrt-cube_binary64_18187` `cbrt-div_binary64_18183`
17×	`associate-l_binary64_18092`
16×	`distribute-lft-out--_binary64_18103` `difference-of-squares_binary64_18120`
10×	`associate-/r/_binary64_18097`
9×	`flip3--_binary64_18155` `flip--_binary64_18126`
8×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
7×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
6×	`pow1_binary64_18212` `unswap-sqr_binary64_18119` `add-log-exp_binary64_18190`
5×	`frac-times_binary64_18161`
3×	`associate-r/_binary64_18093` `associate-l/_binary64_18094`
2×	`div-inv_binary64_18148` `pow1/3_binary64_18233`
1×	`pow-prod-down_binary64_18222` `*-commutative_binary64_18082` `flip-+_binary64_18125` `+-commutative_binary64_18081` `sum-log_binary64_18242` `flip3-+_binary64_18154`

Counts

4 → 134

Calls

8 calls:

40.0ms	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))
4.0ms	(+.f64 x (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))))
4.0ms	(cbrt.f64 (-.f64 a t))
3.0ms	(cbrt.f64 (-.f64 a t))
0.0ms	(/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))

series1.9s (10.3%)

Counts

4 → 97

Calls

4 calls:

1.1s	(+.f64 x (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))))
602.0ms	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))
111.0ms	(cbrt.f64 (-.f64 a t))
108.0ms	(cbrt.f64 (-.f64 a t))

Compiler

Compiled 5685 to 3829 computations (32.6% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5018	7831

prune240.0ms (1.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	231	14	245

Error

2.0b

Counts

245 → 14

Compiler

Compiled 7801 to 1415 computations (81.9% saved)

localize21.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 a t)))
0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t))) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 a t)))))
0.3b	(/.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t)))
0.2b	(/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))
0.6b	(cbrt.f64 (-.f64 y x))
0.6b	(cbrt.f64 (-.f64 y x))
0.6b	(cbrt.f64 (-.f64 y x))
10.7b	(+.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t))) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 a t))))))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cbrt-prod_binary64_18182`
13×	`*-un-lft-identity_binary64_18151` `add-sqr-sqrt_binary64_18173`
7×	`add-cube-cbrt_binary64_18186`
6×	`add-log-exp_binary64_18190` `cbrt-div_binary64_18183`
4×	`pow1_binary64_18212` `add-cbrt-cube_binary64_18187` `add-exp-log_binary64_18189`
3×	`flip3--_binary64_18155` `pow1/3_binary64_18233` `distribute-lft-out--_binary64_18103` `flip--_binary64_18126` `difference-of-squares_binary64_18120`
1×	`flip-+_binary64_18125` `+-commutative_binary64_18081` `sum-log_binary64_18242` `flip3-+_binary64_18154`

Counts

4 → 56

Calls

8 calls:

5.0ms	(+.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t))) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 a t))))))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
0.0ms	(/.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t)))

series1.5s (8%)

Counts

4 → 63

Calls

4 calls:

1.2s	(+.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (cbrt.f64 (-.f64 a t))) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 a t))))))
83.0ms	(cbrt.f64 (-.f64 y x))
83.0ms	(cbrt.f64 (-.f64 y x))
82.0ms	(cbrt.f64 (-.f64 y x))

Compiler

Compiled 4181 to 2707 computations (35.3% saved)

simplify63.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4976	3802
1	4976	3802

prune127.0ms (0.7%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	119	14	133

Error

2.0b

Counts

133 → 14

Compiler

Compiled 4834 to 722 computations (85.1% saved)

simplify220.0ms (1.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (194.0ms)

Iter	Nodes	Cost
0	5121	2120

regimes1.1s (6.2%)

Compiler: Compiled 8643 to 5822 computations (32.6% saved)

bsearch4.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

regimes443.0ms (2.4%)

Compiler: Compiled 2286 to 2181 computations (4.6% saved)

bsearch2.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

regimes296.0ms (1.6%)

Compiler: Compiled 1368 to 1467 computations (-7.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

regimes234.0ms (1.3%)

Compiler: Compiled 1290 to 1401 computations (-8.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

regimes389.0ms (2.1%)

Compiler: Compiled 890 to 1005 computations (-12.9% saved)

bsearch128.0ms (0.7%)

Steps

Iters	Range		Point
9	7.838091044926028e+209	1.612116542459179e+217	7.993925956436287e+209
10	2.8266821176675643e+94	1.3726132273245624e+106	1.355231778736394e+106
8	3.655329007972614e-42	4.3328265321791667e-38	3.3990608062305716e-41
8	-1.378909908298162e-176	-2.8355060478941262e-179	-5.4161300115267595e-177
8	-3.659546285618275e+218	-1.2493037588963474e+214	-2.243832669059716e+216

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes394.0ms (2.1%)

Compiler: Compiled 780 to 905 computations (-16% saved)

bsearch74.0ms (0.4%)

Steps

Iters	Range		Point
8	3.871083120885465e+84	1.4101988356134314e+88	3.15615873131367e+87
6	2.474364697766219e-293	1.7787470547052563e-292	6.999976732147868e-293
4	-3.73865367891889e-167	-2.394861823913958e-167	-3.3822985341725177e-167
6	-4.4650434619735826e+66	-8.101683392996529e+65	-1.862483285948315e+66

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes506.0ms (2.8%)

Compiler: Compiled 505 to 650 computations (-28.7% saved)

bsearch94.0ms (0.5%)

Steps

Iters	Range		Point
7	1.2089793959858218e+128	9.732651151461514e+129	1.4457588227513382e+128
8	3.390060380058889e+60	2.296060818254695e+63	4.286444712015001e+62
9	1.0336346141029416e+28	7.392466885636221e+32	2.1928223815558746e+30
8	-4.813638727263925e-17	-2.402881060415719e-21	-2.436483155066167e-17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes283.0ms (1.5%)

Compiler: Compiled 450 to 600 computations (-33.3% saved)

bsearch92.0ms (0.5%)

Steps

Iters	Range		Point
7	1.2089793959858218e+128	9.732651151461514e+129	1.2305047984190505e+128
8	3.390060380058889e+60	2.296060818254695e+63	1.2430453641021008e+61
9	9.498506529596827e+19	4.185248716356136e+27	1.4074725947547314e+20
8	-4.813638727263925e-17	-2.402881060415719e-21	-1.3300816867749887e-17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes325.0ms (1.8%)

Compiler: Compiled 395 to 550 computations (-39.2% saved)

bsearch58.0ms (0.3%)

Steps

Iters	Range		Point
7	1.7146920737259854e-16	4.825854062423309e-15	3.690147293093053e-15
8	1.4382491404531591e-123	2.065210735060081e-120	1.9705286202900668e-120
4	-7.472704512488316e+84	-3.924709180415009e+84	-5.8095817005789545e+84

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes311.0ms (1.7%)

Compiler: Compiled 285 to 450 computations (-57.9% saved)

bsearch131.0ms (0.7%)

Steps

Iters	Range		Point
8	8.591506221868165e+92	1.6459018298417373e+97	8.736939133402569e+92
9	2.296060818254695e+63	4.2684999777429195e+69	4.19826399328792e+69
7	65075350967.40558	6089327846730.604	65946506011.980484
6	6.797029520503283e-38	3.4602207868878634e-37	1.0346537107323788e-37
3	1.7792460432897674e-55	2.333705904879381e-55	1.8832072673378197e-55
6	5.978801070448426e-254	3.5093917152850116e-253	1.2830709588516494e-253
8	-4.813638727263925e-17	-2.402881060415719e-21	-4.4933790013899865e-18

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes291.0ms (1.6%)

Compiler: Compiled 195 to 360 computations (-84.6% saved)

bsearch127.0ms (0.7%)

Steps

Iters	Range		Point
8	8.591506221868165e+92	1.6459018298417373e+97	8.736939133402569e+92
9	2.296060818254695e+63	4.2684999777429195e+69	3.917320055467922e+69
7	65075350967.40558	6089327846730.604	65946506011.980484
6	6.797029520503283e-38	3.4602207868878634e-37	3.002885773472767e-37
3	1.7792460432897674e-55	2.333705904879381e-55	2.091129715433925e-55
6	5.978801070448426e-254	3.5093917152850116e-253	3.347435105176827e-253
8	-4.813638727263925e-17	-2.402881060415719e-21	-1.505204305228059e-17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes225.0ms (1.2%)

Compiler: Compiled 150 to 315 computations (-110% saved)

bsearch37.0ms (0.2%)

Steps

Iters	Range		Point
7	1.0406475260784598e-69	7.641893398998844e-68	7.461227417847208e-68
4	-7.472704512488316e+84	-3.924709180415009e+84	-4.479083451051464e+84

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes182.0ms (1%)

Compiler: Compiled 105 to 270 computations (-157.1% saved)

bsearch86.0ms (0.5%)

Steps

Iters	Range		Point
8	8.591506221868165e+92	1.6459018298417373e+97	8.736939133402569e+92
9	2.296060818254695e+63	4.2684999777429195e+69	4.057792024377921e+69
8	6.898476237601399e-216	9.538702441420814e-213	9.417835694895733e-213
8	-4.813638727263925e-17	-2.402881060415719e-21	-2.450248352175877e-21

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes174.0ms (1%)

Compiler: Compiled 60 to 225 computations (-275% saved)

bsearch41.0ms (0.2%)

Steps

Iters	Range		Point
8	3.871083120885465e+84	1.4101988356134314e+88	6.906028203678334e+85
9	-2.1700604117290334e+74	-4.4650434619735826e+66	-1.8190922429301292e+67

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes53.0ms (0.3%)

Compiler: Compiled 30 to 165 computations (-450% saved)

bsearch0.0ms (0%)

regimes47.0ms (0.3%)

Accuracy

Total 6.3b remaining (87.3%)

Threshold costs 0b (0%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch25.0ms (0.1%)

Compiler: Compiled 898 to 389 computations (56.7% saved)

simplify19.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	330	1179
1	330	1179

end0.0ms (0%)

sample2.3s (12.8%)

Algorithm

1×

intervals

Results

280.0ms	6690×	body	128	valid
54.0ms	1190×	body	128	invalid
54.0ms	381×	body	1024	valid
53.0ms	473×	body	512	valid
29.0ms	393×	body	256	valid
11.0ms	63×	body	2048	valid

Compiler

Compiled 2277 to 1385 computations (39.2% saved)

Pareto

0.3372567525040204

Details

analyze1.0s (5.7%)

sample29.0ms (0.2%)

simplify185.0ms (1%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite45.0ms (0.2%)

series1.7s (9.1%)

simplify90.0ms (0.5%)

prune243.0ms (1.3%)

localize10.0ms (0.1%)

rewrite112.0ms (0.6%)

series1.6s (8.9%)

simplify148.0ms (0.8%)

prune324.0ms (1.8%)

localize14.0ms (0.1%)

rewrite73.0ms (0.4%)

series1.9s (10.3%)

simplify91.0ms (0.5%)

prune240.0ms (1.3%)

localize21.0ms (0.1%)

rewrite22.0ms (0.1%)

series1.5s (8%)

simplify63.0ms (0.3%)

prune127.0ms (0.7%)

simplify220.0ms (1.2%)

regimes1.1s (6.2%)

bsearch4.0ms (0%)

regimes443.0ms (2.4%)

bsearch2.0ms (0%)

regimes296.0ms (1.6%)

bsearch1.0ms (0%)

regimes234.0ms (1.3%)

bsearch1.0ms (0%)

regimes389.0ms (2.1%)

bsearch128.0ms (0.7%)

regimes394.0ms (2.1%)

bsearch74.0ms (0.4%)

regimes506.0ms (2.8%)

bsearch94.0ms (0.5%)

regimes283.0ms (1.5%)

bsearch92.0ms (0.5%)

regimes325.0ms (1.8%)

bsearch58.0ms (0.3%)

regimes311.0ms (1.7%)

bsearch131.0ms (0.7%)

regimes291.0ms (1.6%)

bsearch127.0ms (0.7%)

regimes225.0ms (1.2%)

bsearch37.0ms (0.2%)

regimes182.0ms (1%)

bsearch86.0ms (0.5%)

regimes174.0ms (1%)

bsearch41.0ms (0.2%)

regimes53.0ms (0.3%)

bsearch0.0ms (0%)

regimes47.0ms (0.3%)

bsearch25.0ms (0.1%)

simplify19.0ms (0.1%)

end0.0ms (0%)

sample2.3s (12.8%)

Profiling