Details

analyze1.0s (4.8%)

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
12.2%	87.6%	0.2%	13
21.8%	77.8%	0.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample28.0ms (0.1%)

Algorithm

1×

intervals

Results

8.0ms	215×	body	128	valid
2.0ms	19×	body	512	valid
2.0ms	12×	body	1024	valid
2.0ms	39×	body	128	invalid
1.0ms	8×	body	256	valid
0.0ms	2×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify186.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4936	19
1	4936	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

26.7b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

19.9b	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))
1.3b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
0.0b	(*.f64 (-.f64 y z) (-.f64 t x))
0.0b	(*.f64 (-.f64 y z) (-.f64 t x))
1.3b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
19.9b	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))

rewrite43.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376`
13×	`flip--_binary64_12329` `flip3--_binary64_12358`
10×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
9×	`add-cube-cbrt_binary64_12389`
8×	`frac-times_binary64_12364` `associate-/l/_binary64_12301`
6×	`cancel-sign-sub-inv_binary64_12320`
5×	`associate-/r_binary64_12298` `add-log-exp_binary64_12393` `associate-l_binary64_12295` `pow1_binary64_12415` `associate-r*_binary64_12294` `times-frac_binary64_12360`
4×	`distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `associate-l/_binary64_12297` `distribute-lft-in_binary64_12303` `associate-r/_binary64_12296` `distribute-rgt-in_binary64_12304`
2×	`cbrt-unprod_binary64_12387` `cbrt-undiv_binary64_12388` `associate-/r/_binary64_12300` `prod-exp_binary64_12403` `div-exp_binary64_12405` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `sum-log_binary64_12445` `flip-+_binary64_12328` `unswap-sqr_binary64_12322` `+-commutative_binary64_12284` `flip3-+_binary64_12357` `-commutative_binary64_12285`

Counts

3 → 85

Calls

6 calls:

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

series1.6s (7.6%)

Counts

3 → 90

Calls

3 calls:

909.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
511.0ms	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))
192.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Compiler

Compiled 4274 to 2804 computations (34.4% saved)

simplify74.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5103	4354

prune189.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	167	8	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	8	176

Error

0.8b

Counts

176 → 8

Compiler

Compiled 3961 to 609 computations (84.6% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

4.5b	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x)))
2.3b	(+.f64 x (/.f64 (-.f64 y z) (/.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))
2.3b	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x))))
4.5b	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x)))

rewrite114.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

330×	`times-frac_binary64_12360`
323×	`*-un-lft-identity_binary64_12354`
321×	`add-sqr-sqrt_binary64_12376`
113×	`add-cube-cbrt_binary64_12389`
104×	`distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323`
36×	`associate-/r*_binary64_12298`
15×	`associate-/r/_binary64_12300`
10×	`associate-/l*_binary64_12299` `add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
9×	`flip--_binary64_12329` `flip3--_binary64_12358`
8×	`div-inv_binary64_12351`
5×	`add-log-exp_binary64_12393`
4×	`associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
3×	`div-sub_binary64_12359` `pow1_binary64_12415`
2×	`clear-num_binary64_12353` `frac-2neg_binary64_12365`
1×	`distribute-lft-out_binary64_12305` `sum-log_binary64_12445` `flip-+_binary64_12328` `associate-+r-_binary64_12288` `+-commutative_binary64_12284` `flip3-+_binary64_12357`

Counts

3 → 274

Calls

6 calls:

49.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x))))
19.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x)))
9.0ms	(/.f64 (-.f64 a z) (-.f64 t x))
0.0ms	(/.f64 (-.f64 a z) (-.f64 t x))
0.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x))))

series1.7s (7.9%)

Counts

3 → 96

Calls

3 calls:

916.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x))))
516.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x)))
249.0ms	(/.f64 (-.f64 a z) (-.f64 t x))

Compiler

Compiled 4649 to 3071 computations (33.9% saved)

simplify146.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

370 → 370

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5900	11587

prune287.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	369	1	370
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	369	9	378

Error

0.8b

Counts

378 → 9

Compiler

Compiled 9426 to 1261 computations (86.6% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

4.7b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
2.8b	(+.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))
2.8b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
4.7b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))

rewrite50.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_12376`
73×	`*-un-lft-identity_binary64_12354`
51×	`times-frac_binary64_12360`
31×	`associate-r_binary64_12294`
27×	`add-cube-cbrt_binary64_12389`
23×	`distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323`
10×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
5×	`flip--_binary64_12329` `associate-/r_binary64_12298` `associate-/l_binary64_12299` `add-log-exp_binary64_12393` `associate-l_binary64_12295` `pow1_binary64_12415` `flip3--_binary64_12358`
4×	`associate-/r/_binary64_12300`
2×	`frac-times_binary64_12364` `cbrt-unprod_binary64_12387` `div-inv_binary64_12351` `associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388` `associate-*l/_binary64_12297` `prod-exp_binary64_12403` `unswap-sqr_binary64_12322` `div-exp_binary64_12405`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `frac-2neg_binary64_12365` `div-sub_binary64_12359` `sum-log_binary64_12445` `associate-r/_binary64_12296` `flip-+_binary64_12328` `+-commutative_binary64_12284` `flip3-+_binary64_12357` `-commutative_binary64_12285`

Counts

3 → 119

Calls

6 calls:

24.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
10.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.6s (7.6%)

Counts

3 → 90

Calls

3 calls:

884.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
510.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
214.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

Compiler

Compiled 4442 to 2924 computations (34.2% saved)

simplify99.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5423	5088

prune158.0ms (0.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	209	9	218

Error

0.8b

Counts

218 → 9

Compiler

Compiled 4724 to 688 computations (85.4% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 (-.f64 a z))
0.5b	(cbrt.f64 (-.f64 a z))
0.5b	(*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))
0.3b	(/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))
0.5b	(cbrt.f64 (-.f64 a z))
0.9b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x))
7.2b	(/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z)))
7.9b	(+.f64 x (/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z))))

rewrite83.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_12376`
27×	`add-exp-log_binary64_12392`
26×	`*-un-lft-identity_binary64_12354`
19×	`add-cbrt-cube_binary64_12390`
17×	`associate-l_binary64_12295`
16×	`cbrt-div_binary64_12386`
15×	`cbrt-prod_binary64_12385`
14×	`times-frac_binary64_12360` `add-cube-cbrt_binary64_12389`
12×	`flip--_binary64_12329` `flip3--_binary64_12358`
10×	`associate-/r/_binary64_12300`
8×	`associate-/r*_binary64_12298` `frac-times_binary64_12364` `cbrt-unprod_binary64_12387` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `div-exp_binary64_12405`
6×	`add-log-exp_binary64_12393` `pow1_binary64_12415` `cancel-sign-sub-inv_binary64_12320` `associate-*r/_binary64_12296`
5×	`associate-/l/_binary64_12301` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `associate-r_binary64_12294`
4×	`associate-*l/_binary64_12297` `distribute-lft-in_binary64_12303` `distribute-rgt-in_binary64_12304`
2×	`div-inv_binary64_12351` `unswap-sqr_binary64_12322` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `associate-/l_binary64_12299` `frac-2neg_binary64_12365` `pow1/3_binary64_12436` `sum-log_binary64_12445` `flip-+_binary64_12328` `+-commutative_binary64_12284` `flip3-+_binary64_12357` `-commutative_binary64_12285`

Counts

4 → 121

Calls

8 calls:

27.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x))
27.0ms	(/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z)))
11.0ms	(+.f64 x (/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z))))
4.0ms	(cbrt.f64 (-.f64 a z))
0.0ms	(/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))

series3.2s (15%)

Counts

4 → 105

Calls

4 calls:

1.5s	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x))
1.0s	(+.f64 x (/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z))))
568.0ms	(/.f64 (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (-.f64 t x)) (cbrt.f64 (-.f64 a z)))
114.0ms	(cbrt.f64 (-.f64 a z))

Compiler

Compiled 7142 to 5053 computations (29.2% saved)

simplify109.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4980	6784
1	4980	6784

prune190.0ms (0.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	226	0	226
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	226	9	235

Error

0.8b

Counts

235 → 9

Compiler

Compiled 6453 to 1121 computations (82.6% saved)

simplify109.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	3468	1381
1	3468	1381

regimes699.0ms (3.3%)

Compiler: Compiled 4655 to 3520 computations (24.4% saved)

bsearch84.0ms (0.4%)

Steps

Iters	Range		Point
8	3.132748015242735e+197	1.2577148943184108e+200	1.6315876484854672e+199
6	4.8018342763602645e+94	2.310190186532165e+95	2.286288309415843e+95
6	-5.646781641727176e-205	-1.0245481135622539e-205	-2.324653541786749e-205
6	-3.750393509873892e+161	-4.591922509661223e+160	-1.8535004913060756e+161

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes428.0ms (2%)

Compiler: Compiled 1855 to 1795 computations (3.2% saved)

bsearch108.0ms (0.5%)

Steps

Iters	Range		Point
8	4.899153066535253e+241	1.3792982829778823e+246	7.114437549549705e+245
8	3.132748015242735e+197	1.2577148943184108e+200	6.516871611489244e+198
7	2.970925362917753e+124	2.7004848871559688e+126	2.665632744970878e+126
6	-5.646781641727176e-205	-1.0245481135622539e-205	-4.977241748483381e-205
6	-3.750393509873892e+161	-4.591922509661223e+160	-2.8439181559886184e+161

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes447.0ms (2.1%)

Compiler: Compiled 1465 to 1505 computations (-2.7% saved)

bsearch86.0ms (0.4%)

Steps

Iters	Range		Point
8	4.899153066535253e+241	1.3792982829778823e+246	9.867617813279591e+244
8	3.132748015242735e+197	1.2577148943184108e+200	3.4841224413990884e+197
7	2.970925362917753e+124	2.7004848871559688e+126	2.665632744970878e+126
6	-3.750393509873892e+161	-4.591922509661223e+160	-3.6970714302335817e+161

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes445.0ms (2.1%)

Compiler: Compiled 1045 to 1150 computations (-10% saved)

bsearch176.0ms (0.8%)

Steps

Iters	Range		Point
8	4.899153066535253e+241	1.3792982829778823e+246	1.2534799858847957e+246
8	3.132748015242735e+197	1.2577148943184108e+200	3.182944361836499e+197
7	2.970925362917753e+124	2.7004848871559688e+126	7.483478574983536e+124
8	1.4346803960954125e-79	9.271335290284916e-77	4.02089479195351e-77
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.7635045106747327e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
7	-39831655730.31472	-875668457.8194858	-887261921.2373245
6	-3.750393509873892e+161	-4.591922509661223e+160	-2.6306298374273777e+161

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes363.0ms (1.7%)

Compiler: Compiled 980 to 1095 computations (-11.7% saved)

bsearch127.0ms (0.6%)

Steps

Iters	Range		Point
7	2.970925362917753e+124	2.7004848871559688e+126	8.596169924186653e+125
8	1.4346803960954125e-79	9.271335290284916e-77	4.106311939096057e-78
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.7635045106747327e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
7	-39831655730.31472	-875668457.8194858	-956822701.744356
6	-3.750393509873892e+161	-4.591922509661223e+160	-7.692663948267492e+160

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes355.0ms (1.7%)

Compiler: Compiled 925 to 1045 computations (-13% saved)

bsearch126.0ms (0.6%)

Steps

Iters	Range		Point
7	2.970925362917753e+124	2.7004848871559688e+126	2.658347310982765e+125
8	1.4346803960954125e-79	9.271335290284916e-77	1.7240938667409679e-78
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.7635045106747327e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
7	-39831655730.31472	-875668457.8194858	-887261921.2373245
6	-3.750393509873892e+161	-4.591922509661223e+160	-9.025715939275249e+160

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes440.0ms (2.1%)

Compiler: Compiled 815 to 945 computations (-16% saved)

bsearch109.0ms (0.5%)

Steps

Iters	Range		Point
5	0.002838112074682491	0.006663150461908655	0.0065866945820251595
8	1.4346803960954125e-79	9.271335290284916e-77	6.149420474379798e-77
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.7635045106747327e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
8	-1.2626878379329006e+99	-4.770036091044538e+95	-2.0721780508316365e+96

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes426.0ms (2%)

Compiler: Compiled 650 to 795 computations (-22.3% saved)

bsearch122.0ms (0.6%)

Steps

Iters	Range		Point
5	0.002838112074682491	0.006663150461908655	0.0065866945820251595
8	1.4346803960954125e-79	9.271335290284916e-77	1.5569532409039078e-79
7	-6.587429337260365e-232	-3.0828125828136973e-233	-6.005786013815118e-232
7	-8.234853546585952e-46	-3.935325268048143e-47	-1.7246714973761974e-46
7	-39831655730.31472	-875668457.8194858	-887261921.2373245
8	-1.2626878379329006e+99	-4.770036091044538e+95	-2.3103270259764527e+98

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes404.0ms (1.9%)

Compiler: Compiled 540 to 695 computations (-28.7% saved)

bsearch95.0ms (0.4%)

Steps

Iters	Range		Point
10	1.6453642859477043e-68	1.3494467809905834e-57	1.2817071385661166e-57
10	-5.240078813181397e-142	-2.809974004713795e-155	-5.169460605288525e-142
10	-5.759811397756124e-117	-5.587731356782976e-128	-5.670244790612329e-128
3	-8.848760496083746e-10	-7.145368999390552e-10	-8.529374590453773e-10

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes353.0ms (1.7%)

Compiler: Compiled 375 to 540 computations (-44% saved)

bsearch84.0ms (0.4%)

Steps

Iters	Range		Point
10	1.6453642859477043e-68	1.3494467809905834e-57	1.091303379474358e-59
6	-2.809974004713795e-155	-3.0695428951424884e-156	-2.7635045106747327e-155
10	-5.759811397756124e-117	-5.587731356782976e-128	-1.85262236547082e-122
3	-8.848760496083746e-10	-7.145368999390552e-10	-8.742298527540422e-10

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes315.0ms (1.5%)

Compiler: Compiled 330 to 495 computations (-50% saved)

bsearch131.0ms (0.6%)

Steps

Iters	Range		Point
10	1.6453642859477043e-68	1.3494467809905834e-57	8.262591012115391e-65
9	-6.4518510830922285e-158	-1.2737790487078387e-163	-6.3845003300139345e-158
4	-9.751998484309178e-113	-4.9124989781721083e-113	-5.748322382131514e-113
9	-1.0281399735197999e-63	-5.192949301173238e-72	-1.913910439736939e-71
9	-1.3382909013199293e-50	-1.0218940970702176e-55	-7.339211394938965e-55
7	-5.431930005800925e-08	-8.848760496083746e-10	-7.365371504816024e-09

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes287.0ms (1.3%)

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

bsearch133.0ms (0.6%)

Steps

Iters	Range		Point
10	1.6453642859477043e-68	1.3494467809905834e-57	9.845518832300168e-58
9	-6.4518510830922285e-158	-1.2737790487078387e-163	-6.3845003300139345e-158
4	-9.751998484309178e-113	-4.9124989781721083e-113	-8.951263263873645e-113
9	-1.0281399735197999e-63	-5.192949301173238e-72	-2.4985305553648255e-71
9	-1.3382909013199293e-50	-1.0218940970702176e-55	-1.7109564584785593e-51
7	-39831655730.31472	-875668457.8194858	-1072757335.9227421

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes240.0ms (1.1%)

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

bsearch210.0ms (1%)

Steps

Iters	Range		Point
8	1.4346803960954125e-79	9.271335290284916e-77	9.169502092907277e-78
9	3.4065285113834734e-200	9.995712648427708e-195	3.1001407694633076e-195
7	-2.421483968275967e-239	-2.29081502725683e-241	-2.2413595796090112e-240
10	-3.816428604558534e-193	-1.1976824526571763e-203	-1.208541613374156e-203
6	-2.133611496296924e-187	-3.8580511628119e-188	-1.614553657580409e-187
6	-2.809974004713795e-155	-3.0695428951424884e-156	-3.243803497788972e-156
4	-9.751998484309178e-113	-4.9124989781721083e-113	-7.34979282300258e-113
9	-1.0281399735197999e-63	-5.192949301173238e-72	-2.7908406131787685e-71
9	-1.3382909013199293e-50	-1.0218940970702176e-55	-9.16219642062281e-53
7	-39831655730.31472	-875668457.8194858	-1628259091.9017372

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes218.0ms (1%)

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

bsearch174.0ms (0.8%)

Steps

Iters	Range		Point
8	1.4346803960954125e-79	9.271335290284916e-77	1.1047612989165766e-77
9	3.4065285113834734e-200	9.995712648427708e-195	2.1198518246928559e-196
7	-2.421483968275967e-239	-2.29081502725683e-241	-9.466225729732193e-240
10	-5.240078813181397e-142	-2.809974004713795e-155	-7.707166683883687e-149
4	-9.751998484309178e-113	-4.9124989781721083e-113	-7.670086911176793e-113
9	-1.0281399735197999e-63	-5.192949301173238e-72	-1.5640856989427042e-68
9	-1.3382909013199293e-50	-1.0218940970702176e-55	-3.0563529010783484e-51
7	-39831655730.31472	-875668457.8194858	-980009628.5800333

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes168.0ms (0.8%)

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

bsearch43.0ms (0.2%)

Steps

Iters	Range		Point
9	8.234251073845925e+207	2.9267018657303015e+214	8.34338611504592e+207
9	-1.7431807839489588e+77	-2.411701742183209e+71	-3.4286492735181634e+72

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes176.0ms (0.8%)

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

bsearch33.0ms (0.2%)

Steps

Iters	Range		Point
4	1.2095970941031935e+95	2.178736081921549e+95	1.226699184590158e+95
9	-1.2465858425205448e-27	-7.0181924052107525e-34	-4.79594611305097e-28

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes261.0ms (1.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%)

regimes42.0ms (0.2%)

Accuracy

Total 11.3b remaining (92.7%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 110 computations (-450% saved)

bsearch36.0ms (0.2%)

Compiler: Compiled 1289 to 557 computations (56.8% saved)

simplify27.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	407	1830
1	407	1830

end0.0ms (0%)

sample2.2s (10.6%)

Algorithm

1×

intervals

Results

271.0ms	6689×	body	128	valid
55.0ms	500×	body	512	valid
54.0ms	390×	body	1024	valid
48.0ms	1205×	body	128	invalid
25.0ms	353×	body	256	valid
12.0ms	68×	body	2048	valid

Compiler

Compiled 2235 to 1291 computations (42.2% saved)

Pareto

0.36569011871888485

Details

analyze1.0s (4.8%)

sample28.0ms (0.1%)

simplify186.0ms (0.9%)

prune2.0ms (0%)

localize10.0ms (0%)

rewrite43.0ms (0.2%)

series1.6s (7.6%)

simplify74.0ms (0.3%)

prune189.0ms (0.9%)

localize10.0ms (0%)

rewrite114.0ms (0.5%)

series1.7s (7.9%)

simplify146.0ms (0.7%)

prune287.0ms (1.3%)

localize10.0ms (0%)

rewrite50.0ms (0.2%)

series1.6s (7.6%)

simplify99.0ms (0.5%)

prune158.0ms (0.7%)

localize14.0ms (0.1%)

rewrite83.0ms (0.4%)

series3.2s (15%)

simplify109.0ms (0.5%)

prune190.0ms (0.9%)

simplify109.0ms (0.5%)

regimes699.0ms (3.3%)

bsearch84.0ms (0.4%)

regimes428.0ms (2%)

bsearch108.0ms (0.5%)

regimes447.0ms (2.1%)

bsearch86.0ms (0.4%)

regimes445.0ms (2.1%)

bsearch176.0ms (0.8%)

regimes363.0ms (1.7%)

bsearch127.0ms (0.6%)

regimes355.0ms (1.7%)

bsearch126.0ms (0.6%)

regimes440.0ms (2.1%)

bsearch109.0ms (0.5%)

regimes426.0ms (2%)

bsearch122.0ms (0.6%)

regimes404.0ms (1.9%)

bsearch95.0ms (0.4%)

regimes353.0ms (1.7%)

bsearch84.0ms (0.4%)

regimes315.0ms (1.5%)

bsearch131.0ms (0.6%)

regimes287.0ms (1.3%)

bsearch133.0ms (0.6%)

regimes240.0ms (1.1%)

bsearch210.0ms (1%)

regimes218.0ms (1%)

bsearch174.0ms (0.8%)

regimes168.0ms (0.8%)

bsearch43.0ms (0.2%)

regimes176.0ms (0.8%)

bsearch33.0ms (0.2%)

regimes261.0ms (1.2%)

bsearch0.0ms (0%)

regimes46.0ms (0.2%)

bsearch0.0ms (0%)

regimes42.0ms (0.2%)

bsearch36.0ms (0.2%)

simplify27.0ms (0.1%)

end0.0ms (0%)

sample2.2s (10.6%)

Profiling