Details

analyze1.1s (4.9%)

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.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample30.0ms (0.1%)

Algorithm

1×

intervals

Results

9.0ms	218×	body	128	valid
2.0ms	20×	body	512	valid
2.0ms	42×	body	128	invalid
2.0ms	11×	body	1024	valid
0.0ms	6×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify169.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4973	19
1	4973	19

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

14.2b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize16.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.9b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
3.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
3.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
4.9b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))

rewrite46.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_3851`
73×	`*-un-lft-identity_binary64_3829`
51×	`times-frac_binary64_3835`
31×	`associate-r_binary64_3769`
27×	`add-cube-cbrt_binary64_3864`
23×	`difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
10×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
5×	`add-log-exp_binary64_3868` `flip--_binary64_3804` `flip3--_binary64_3833` `pow1_binary64_3890` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `associate-l_binary64_3770`
4×	`associate-/r/_binary64_3775`
2×	`div-inv_binary64_3826` `div-exp_binary64_3880` `unswap-sqr_binary64_3797` `associate-/l/_binary64_3776` `prod-exp_binary64_3878` `frac-times_binary64_3839` `associate-*l/_binary64_3772` `cbrt-undiv_binary64_3863` `cbrt-unprod_binary64_3862`
1×	`flip3-+_binary64_3832` `pow-prod-down_binary64_3900` `sum-log_binary64_3920` `flip-+_binary64_3803` `clear-num_binary64_3828` `div-sub_binary64_3834` `+-commutative_binary64_3759` `associate-r/_binary64_3771` `-commutative_binary64_3760` `frac-2neg_binary64_3840`

Counts

3 → 119

Calls

6 calls:

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

series1.8s (8%)

Counts

3 → 114

Calls

3 calls:

944.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
590.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
243.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

Compiler

Compiled 5491 to 3621 computations (34.1% saved)

simplify94.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5359	8649

prune295.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	222	11	233
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	223	11	234

Error

0.9b

Counts

234 → 11

Compiler

Compiled 7267 to 1448 computations (80.1% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

4.9b	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))
4.2b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
0.5b	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
0.0b	(/.f64 (-.f64 a z) (-.f64 t x))
0.0b	(/.f64 (-.f64 a z) (-.f64 t x))
0.5b	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
4.2b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
4.9b	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))

rewrite114.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

392×	`times-frac_binary64_3835`
338×	`add-sqr-sqrt_binary64_3851`
326×	`*-un-lft-identity_binary64_3829`
158×	`add-cube-cbrt_binary64_3864`
98×	`associate-r_binary64_3769`
83×	`difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
36×	`add-exp-log_binary64_3867` `associate-/r*_binary64_3773`
20×	`add-cbrt-cube_binary64_3865`
18×	`associate-/r/_binary64_3775`
15×	`div-exp_binary64_3880`
11×	`flip--_binary64_3804` `flip3--_binary64_3833`
10×	`div-inv_binary64_3826`
8×	`associate-/l*_binary64_3774`
7×	`prod-exp_binary64_3878` `pow1_binary64_3890` `cbrt-undiv_binary64_3863`
6×	`add-log-exp_binary64_3868`
5×	`unswap-sqr_binary64_3797` `associate-l_binary64_3770`
4×	`1-exp_binary64_3873` `rec-exp_binary64_3879`
3×	`cbrt-unprod_binary64_3862`
2×	`associate-/l/_binary64_3776` `clear-num_binary64_3828` `frac-times_binary64_3839` `associate-*l/_binary64_3772` `frac-2neg_binary64_3840`
1×	`flip3-+_binary64_3832` `pow-prod-down_binary64_3900` `sum-log_binary64_3920` `flip-+_binary64_3803` `div-sub_binary64_3834` `+-commutative_binary64_3759` `associate-r/_binary64_3771` `-commutative_binary64_3760` `un-div-inv_binary64_3827` `inv-pow_binary64_3914` `pow-flip_binary64_3903`

Counts

4 → 344

Calls

8 calls:

39.0ms	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))
13.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
9.0ms	(/.f64 (-.f64 a z) (-.f64 t x))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
0.0ms	(/.f64 (-.f64 a z) (-.f64 t x))

series2.0s (9.1%)

Counts

4 → 141

Calls

4 calls:

942.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
596.0ms	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))
244.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
241.0ms	(/.f64 (-.f64 a z) (-.f64 t x))

Compiler

Compiled 6592 to 4458 computations (32.4% saved)

simplify184.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

485 → 485

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4987	14654
1	4987	14654

prune482.0ms (2.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	482	3	485
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	486	10	496

Error

0.9b

Counts

496 → 10

Compiler

Compiled 13865 to 3292 computations (76.3% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

2.5b	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x))
2.3b	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x)))
0.0b	(/.f64 (-.f64 y z) (-.f64 a z))
0.0b	(/.f64 (-.f64 y z) (-.f64 a z))
2.3b	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x)))
2.5b	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x))

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`add-sqr-sqrt_binary64_3851`
77×	`*-un-lft-identity_binary64_3829`
51×	`times-frac_binary64_3835`
31×	`add-cube-cbrt_binary64_3864` `associate-l_binary64_3770`
23×	`difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
12×	`cancel-sign-sub-inv_binary64_3795`
10×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
8×	`associate-+r+_binary64_3761` `distribute-rgt-in_binary64_3779` `distribute-lft-in_binary64_3778`
5×	`add-log-exp_binary64_3868` `flip--_binary64_3804` `flip3--_binary64_3833` `pow1_binary64_3890` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `associate-r_binary64_3769`
4×	`associate-/r/_binary64_3775` `sub-neg_binary64_3822`
2×	`div-inv_binary64_3826` `div-exp_binary64_3880` `unswap-sqr_binary64_3797` `associate-/l/_binary64_3776` `prod-exp_binary64_3878` `frac-times_binary64_3839` `cbrt-undiv_binary64_3863` `associate-*r/_binary64_3771` `cbrt-unprod_binary64_3862`
1×	`flip3-+_binary64_3832` `pow-prod-down_binary64_3900` `sum-log_binary64_3920` `flip-+_binary64_3803` `clear-num_binary64_3828` `div-sub_binary64_3834` `associate-l/_binary64_3772` `+-commutative_binary64_3759` `-commutative_binary64_3760` `frac-2neg_binary64_3840`

Counts

3 → 135

Calls

6 calls:

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

series1.7s (7.6%)

Counts

3 → 114

Calls

3 calls:

932.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x)))
585.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x))
185.0ms	(/.f64 (-.f64 y z) (-.f64 a z))

Compiler

Compiled 5375 to 3563 computations (33.7% saved)

simplify113.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4989	9177
1	4989	9177

prune255.0ms (1.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	247	2	249
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	248	11	259

Error

0.8b

Counts

259 → 11

Compiler

Compiled 7800 to 1640 computations (79% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

2.5b	(*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x))
2.3b	(+.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x)))
0.2b	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z)))
0.0b	(/.f64 (-.f64 a z) (-.f64 y z))
0.0b	(/.f64 (-.f64 a z) (-.f64 y z))
0.2b	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z)))
2.3b	(+.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x)))
2.5b	(*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x))

rewrite118.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

392×	`times-frac_binary64_3835`
342×	`add-sqr-sqrt_binary64_3851`
330×	`*-un-lft-identity_binary64_3829`
162×	`add-cube-cbrt_binary64_3864`
98×	`associate-l_binary64_3770`
83×	`difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
36×	`add-exp-log_binary64_3867` `associate-/r*_binary64_3773`
20×	`add-cbrt-cube_binary64_3865`
18×	`associate-/r/_binary64_3775`
15×	`div-exp_binary64_3880`
12×	`cancel-sign-sub-inv_binary64_3795`
11×	`flip--_binary64_3804` `flip3--_binary64_3833`
10×	`div-inv_binary64_3826`
8×	`associate-+r+_binary64_3761` `distribute-rgt-in_binary64_3779` `associate-/l*_binary64_3774` `distribute-lft-in_binary64_3778`
7×	`prod-exp_binary64_3878` `pow1_binary64_3890` `cbrt-undiv_binary64_3863`
6×	`add-log-exp_binary64_3868`
5×	`unswap-sqr_binary64_3797` `associate-r_binary64_3769`
4×	`1-exp_binary64_3873` `rec-exp_binary64_3879` `sub-neg_binary64_3822`
3×	`cbrt-unprod_binary64_3862`
2×	`associate-/l/_binary64_3776` `clear-num_binary64_3828` `frac-times_binary64_3839` `associate-*r/_binary64_3771` `frac-2neg_binary64_3840`
1×	`flip3-+_binary64_3832` `pow-prod-down_binary64_3900` `sum-log_binary64_3920` `flip-+_binary64_3803` `div-sub_binary64_3834` `associate-l/_binary64_3772` `+-commutative_binary64_3759` `-commutative_binary64_3760` `inv-pow_binary64_3914` `pow-flip_binary64_3903`

Counts

4 → 359

Calls

8 calls:

37.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x))
13.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z)))
8.0ms	(/.f64 (-.f64 a z) (-.f64 y z))
5.0ms	(+.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x)))
0.0ms	(/.f64 (-.f64 a z) (-.f64 y z))

series1.9s (8.5%)

Counts

4 → 139

Calls

4 calls:

935.0ms	(+.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x)))
588.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z))) (-.f64 t x))
195.0ms	(/.f64 (-.f64 a z) (-.f64 y z))
185.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 y z)))

Compiler

Compiled 6348 to 4330 computations (31.8% saved)

simplify175.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

498 → 498

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5284	15094

prune510.0ms (2.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	497	1	498
Fresh	1	8	9
Picked	0	1	1
Done	1	0	1
Total	499	10	509

Error

0.8b

Counts

509 → 10

Compiler

Compiled 14267 to 3414 computations (76.1% saved)

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	5011	2341

regimes1.3s (5.8%)

Compiler: Compiled 9337 to 6726 computations (28% saved)

bsearch4.0ms (0%)

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

regimes1.3s (5.7%)

Compiler: Compiled 9127 to 6624 computations (27.4% saved)

bsearch5.0ms (0%)

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

regimes611.0ms (2.7%)

Compiler: Compiled 3102 to 2877 computations (7.3% saved)

bsearch2.0ms (0%)

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

regimes390.0ms (1.7%)

Compiler: Compiled 1722 to 1779 computations (-3.3% saved)

bsearch1.0ms (0%)

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

regimes502.0ms (2.3%)

Compiler: Compiled 1185 to 1265 computations (-6.8% saved)

bsearch117.0ms (0.5%)

Steps

Iters	Range		Point
4	5.450071634212391e+72	7.648518172548714e+72	7.290790375995201e+72
7	1.4346803960954125e-79	1.101427320937223e-77	1.0268148611647885e-78
10	-1.8141616621000723e-304	4.752397816944516e-300	1.3448406161200768e-304
6	-9.811514187103615e-112	-9.751998484309178e-113	-3.230498399668289e-112
11	-3.8945402049220613e+183	-3.000713237984044e+154	-2.1065456018015844e+159

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes467.0ms (2.1%)

Compiler: Compiled 1055 to 1160 computations (-10% saved)

bsearch116.0ms (0.5%)

Steps

Iters	Range		Point
8	2.0455883650028556e+191	1.0455929217495595e+194	2.3713107167910814e+191
9	1.101427320937223e-77	9.199778370390269e-73	2.196901045502701e-75
7	-6.587429337260365e-232	-1.014718842640446e-233	-6.438624753893702e-232
10	-5.759811397756124e-117	-5.587731356782976e-128	-6.79079239797028e-127
6	-2.7701851143815006e+67	-2.730587222988588e+66	-6.665853333749956e+66

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes405.0ms (1.8%)

Compiler: Compiled 835 to 955 computations (-14.4% saved)

bsearch116.0ms (0.5%)

Steps

Iters	Range		Point
8	2.0455883650028556e+191	1.0455929217495595e+194	9.816631933300534e+192
7	1.4346803960954125e-79	1.101427320937223e-77	3.6661775307493256e-78
8	4.752397816944516e-300	1.0047721207791987e-295	3.169359730626377e-297
10	-2.074485704446657e-175	-3.8580511628119e-188	-5.729605727354131e-187
6	-2.7701851143815006e+67	-2.730587222988588e+66	-5.410060959312064e+66

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes342.0ms (1.5%)

Compiler: Compiled 615 to 755 computations (-22.8% saved)

bsearch144.0ms (0.6%)

Steps

Iters	Range		Point
8	2.0455883650028556e+191	1.0455929217495595e+194	2.8933186684551406e+191
9	1.101427320937223e-77	9.199778370390269e-73	1.115216595490904e-77
7	1.4346803960954125e-79	1.101427320937223e-77	9.12816395138647e-78
10	-1.8141616621000723e-304	4.752397816944516e-300	1.2837602305437623e-303
6	-9.811514187103615e-112	-9.751998484309178e-113	-1.8498987351211166e-112
9	-1.3952382086684282e+144	-5.384684182284084e+134	-7.22228907873366e+135

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes568.0ms (2.6%)

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

bsearch78.0ms (0.4%)

Steps

Iters	Range		Point
9	3.730833473863408e-14	2.876861238806005e-08	2.2024990084922998e-13
10	-1.8141616621000723e-304	4.752397816944516e-300	6.839542103627195e-303
9	-8.729864676604753e-86	-4.4798690628841974e-92	-7.022874729869137e-86

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes329.0ms (1.5%)

Compiler: Compiled 340 to 500 computations (-47.1% saved)

bsearch115.0ms (0.5%)

Steps

Iters	Range		Point
9	3.730833473863408e-14	2.876861238806005e-08	1.0816153418962741e-13
10	-1.8141616621000723e-304	4.752397816944516e-300	2.4805744476890313e-301
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.577626534518484e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
5	-4.4798690628841974e-92	-1.599281094004573e-92	-4.140065133924344e-92

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes275.0ms (1.2%)

Compiler: Compiled 240 to 405 computations (-68.8% saved)

bsearch40.0ms (0.2%)

Steps

Iters	Range		Point
8	2.8102580512037847e-24	3.3813518060652715e-20	1.5037676701846026e-21
5	-4.4798690628841974e-92	-1.599281094004573e-92	-4.411908277092227e-92

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes299.0ms (1.3%)

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

bsearch174.0ms (0.8%)

Steps

Iters	Range		Point
8	6.826069547871772e+53	1.2593035511053017e+58	5.5710176342395365e+56
9	6.025514260295339e-45	3.4602207868878634e-37	8.423055366884215e-45
10	3.827037423196223e-85	1.8874120619210712e-73	9.129557786319857e-76
8	8.829102946300645e-188	3.273716887077195e-184	6.489719878560136e-186
6	3.1590198759109355e-283	2.6239371086001916e-282	2.5828322355922122e-282
10	-6.976094428838282e-142	-2.8164132884290646e-154	-3.379930575287696e-146
8	-3.342149879491496e-29	-6.371387994607013e-34	-2.5941186884107495e-31
7	-0.0008713621647342879	-1.940764752086534e-05	-5.101305874151799e-05
0	-4.694730397883988e+66	-4.643301787535625e+66	-4.6690160927098065e+66

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes317.0ms (1.4%)

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

bsearch138.0ms (0.6%)

Steps

Iters	Range		Point
6	1.489588861303404e-06	6.849554463919759e-06	1.5727977826896943e-06
9	6.025514260295339e-45	3.4602207868878634e-37	6.8227190093713665e-40
10	3.827037423196223e-85	1.8874120619210712e-73	6.344165540000138e-81
8	8.829102946300645e-188	3.273716887077195e-184	1.642055366151123e-184
7	3.7504595003453256e-289	7.103077444481443e-288	2.9585995717491176e-288
6	-2.3539405910396608e-166	-1.6191636667979584e-167	-1.4213739970540865e-166
8	-3.342149879491496e-29	-6.371387994607013e-34	-6.479028663700075e-33

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes178.0ms (0.8%)

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

bsearch49.0ms (0.2%)

Steps

Iters	Range		Point
11	4.479949614453631e+115	1.486643943807961e+144	1.2702128404607037e+120
9	-2.0620313972248296e+79	-2.411701742183209e+71	-9.734376177857755e+77

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes52.0ms (0.2%)

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

bsearch0.0ms (0%)

regimes46.0ms (0.2%)

Compiler: Compiled 25 to 140 computations (-460% saved)

bsearch0.0ms (0%)

regimes41.0ms (0.2%)

Accuracy

Total 4.7b remaining (84.8%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 110 computations (-450% saved)

bsearch27.0ms (0.1%)

Compiler: Compiled 1004 to 449 computations (55.3% saved)

simplify23.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	348	1433
1	348	1433

end0.0ms (0%)

sample2.5s (11.1%)

Algorithm

1×

intervals

Results

285.0ms	6711×	body	128	valid
61.0ms	379×	body	1024	valid
59.0ms	498×	body	512	valid
54.0ms	1225×	body	128	invalid
27.0ms	343×	body	256	valid
13.0ms	69×	body	2048	valid

Compiler

Compiled 2528 to 1565 computations (38.1% saved)

Pareto

0.932255406850924

Details

analyze1.1s (4.9%)

sample30.0ms (0.1%)

simplify169.0ms (0.8%)

prune3.0ms (0%)

localize16.0ms (0.1%)

rewrite46.0ms (0.2%)

series1.8s (8%)

simplify94.0ms (0.4%)

prune295.0ms (1.3%)

localize11.0ms (0%)

rewrite114.0ms (0.5%)

series2.0s (9.1%)

simplify184.0ms (0.8%)

prune482.0ms (2.2%)

localize9.0ms (0%)

rewrite48.0ms (0.2%)

series1.7s (7.6%)

simplify113.0ms (0.5%)

prune255.0ms (1.1%)

localize11.0ms (0%)

rewrite118.0ms (0.5%)

series1.9s (8.5%)

simplify175.0ms (0.8%)

prune510.0ms (2.3%)

simplify108.0ms (0.5%)

regimes1.3s (5.8%)

bsearch4.0ms (0%)

regimes1.3s (5.7%)

bsearch5.0ms (0%)

regimes611.0ms (2.7%)

bsearch2.0ms (0%)

regimes390.0ms (1.7%)

bsearch1.0ms (0%)

regimes502.0ms (2.3%)

bsearch117.0ms (0.5%)

regimes467.0ms (2.1%)

bsearch116.0ms (0.5%)

regimes405.0ms (1.8%)

bsearch116.0ms (0.5%)

regimes342.0ms (1.5%)

bsearch144.0ms (0.6%)

regimes568.0ms (2.6%)

bsearch78.0ms (0.4%)

regimes329.0ms (1.5%)

bsearch115.0ms (0.5%)

regimes275.0ms (1.2%)

bsearch40.0ms (0.2%)

regimes299.0ms (1.3%)

bsearch174.0ms (0.8%)

regimes317.0ms (1.4%)

bsearch138.0ms (0.6%)

regimes178.0ms (0.8%)

bsearch49.0ms (0.2%)

regimes52.0ms (0.2%)

bsearch0.0ms (0%)

regimes46.0ms (0.2%)

bsearch0.0ms (0%)

regimes41.0ms (0.2%)

bsearch27.0ms (0.1%)

simplify23.0ms (0.1%)

end0.0ms (0%)

sample2.5s (11.1%)

Profiling