Details

analyze2.1s (7.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)

sample90.0ms (0.3%)

Algorithm

1×

intervals

Results

26.0ms	334×	body	128	invalid
20.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify719.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (620.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

12.3b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite46.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_16127`
14×	`associate-*r/_binary64_16047`
11×	`sub-neg_binary64_16098` `cancel-sign-sub-inv_binary64_16071`
10×	`*-un-lft-identity_binary64_16105` `add-cube-cbrt_binary64_16140` `add-exp-log_binary64_16143` `distribute-lft-in_binary64_16054` `distribute-rgt-in_binary64_16055` `pow1_binary64_16166` `add-cbrt-cube_binary64_16141`
9×	`associate-r_binary64_16045` `associate-l_binary64_16046`
8×	`flip--_binary64_16080` `flip3--_binary64_16109`
6×	`add-log-exp_binary64_16144`
4×	`associate--l+_binary64_16042` `associate--r+_binary64_16041` `frac-sub_binary64_16114`
3×	`cbrt-unprod_binary64_16138` `unswap-sqr_binary64_16073` `pow-prod-down_binary64_16176` `*-commutative_binary64_16036` `prod-exp_binary64_16154`
1×	`diff-log_binary64_16197`

Counts

4 → 96

Calls

8 calls:

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

series1.8s (6.1%)

Counts

4 → 129

Calls

4 calls:

920.0ms	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))
284.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
284.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
272.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 5754 to 4586 computations (20.3% saved)

simplify87.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4986	4224
1	4986	4224

prune358.0ms (1.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	208	17	225
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	209	17	226

Error

4.4b

Counts

226 → 17

Compiler

Compiled 7808 to 899 computations (88.5% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 c z) (.f64 i a))
0.0b	(-.f64 (.f64 c t) (.f64 i y))
0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 c z) (.f64 i a)) (cbrt.f64 b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
0.0b	(-.f64 (.f64 y z) (.f64 t a))
2.6b	(.f64 (-.f64 (.f64 c z) (*.f64 i a)) (cbrt.f64 b))
2.9b	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 c z) (*.f64 i a)) (cbrt.f64 b)))
4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

rewrite50.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary64_16143` `pow1_binary64_16166`
19×	`add-sqr-sqrt_binary64_16127`
15×	`add-cbrt-cube_binary64_16141`
13×	`associate-r_binary64_16045`
11×	`*-un-lft-identity_binary64_16105` `cbrt-unprod_binary64_16138` `add-cube-cbrt_binary64_16140` `pow-prod-down_binary64_16176` `prod-exp_binary64_16154`
10×	`associate-l_binary64_16046`
6×	`associate-*r/_binary64_16047`
4×	`flip--_binary64_16080` `flip3--_binary64_16109` `distribute-lft-in_binary64_16054` `add-log-exp_binary64_16144` `distribute-rgt-in_binary64_16055` `unswap-sqr_binary64_16073` `sub-neg_binary64_16098` `cancel-sign-sub-inv_binary64_16071` `associate-l/_binary64_16048` `-commutative_binary64_16036` `cbrt-prod_binary64_16136`

Counts

4 → 96

Calls

8 calls:

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

series1.5s (5.4%)

Counts

4 → 108

Calls

4 calls:

665.0ms	(.f64 (-.f64 (.f64 c z) (*.f64 i a)) (cbrt.f64 b))
306.0ms	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 c z) (*.f64 i a)) (cbrt.f64 b)))
289.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
287.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 5916 to 4446 computations (24.8% saved)

simplify70.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5840	2853

prune222.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	201	3	204
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	203	18	221

Error

4.4b

Counts

221 → 18

Compiler

Compiled 8208 to 921 computations (88.8% saved)

localize30.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 c z) (.f64 i a))
0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
0.0b	(-.f64 (.f64 c t) (.f64 i y))
0.0b	(-.f64 (.f64 y z) (.f64 t a))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
6.5b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
6.5b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
6.5b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_16127`
9×	`*-un-lft-identity_binary64_16105` `add-cube-cbrt_binary64_16140` `cbrt-prod_binary64_16136`
6×	`add-exp-log_binary64_16143` `pow1_binary64_16166` `cbrt-div_binary64_16137` `add-cbrt-cube_binary64_16141`
4×	`flip--_binary64_16080` `flip3--_binary64_16109` `add-log-exp_binary64_16144`
3×	`pow1/3_binary64_16187` `associate-r_binary64_16045` `associate-l_binary64_16046`
2×	`associate-*r/_binary64_16047` `distribute-lft-in_binary64_16054` `distribute-rgt-in_binary64_16055` `sub-neg_binary64_16098` `cancel-sign-sub-inv_binary64_16071`
1×	`cbrt-unprod_binary64_16138` `unswap-sqr_binary64_16073` `pow-prod-down_binary64_16176` `*-commutative_binary64_16036` `prod-exp_binary64_16154`

Counts

4 → 63

Calls

8 calls:

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

series1.2s (4.1%)

Counts

4 → 84

Calls

4 calls:

308.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
291.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
285.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
281.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

Compiler

Compiled 8469 to 5523 computations (34.8% saved)

simplify72.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5025	2872

prune220.0ms (0.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	147	18	165

Error

4.4b

Counts

165 → 18

Compiler

Compiled 8606 to 1476 computations (82.8% saved)

localize31.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate-*r/_binary64_16047` `add-sqr-sqrt_binary64_16127`
6×	`*-un-lft-identity_binary64_16105` `add-cube-cbrt_binary64_16140` `add-exp-log_binary64_16143` `pow1_binary64_16166` `cbrt-div_binary64_16137` `add-cbrt-cube_binary64_16141`
4×	`flip--_binary64_16080` `flip3--_binary64_16109` `add-log-exp_binary64_16144`
3×	`pow1/3_binary64_16187` `associate-r_binary64_16045` `cbrt-prod_binary64_16136` `associate-l_binary64_16046`
2×	`distribute-lft-in_binary64_16054` `distribute-rgt-in_binary64_16055` `sub-neg_binary64_16098` `cancel-sign-sub-inv_binary64_16071`
1×	`cbrt-unprod_binary64_16138` `unswap-sqr_binary64_16073` `pow-prod-down_binary64_16176` `*-commutative_binary64_16036` `prod-exp_binary64_16154`

Counts

4 → 57

Calls

8 calls:

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

series2.0s (6.8%)

Counts

4 → 105

Calls

4 calls:

570.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
554.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
538.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
298.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 11343 to 7068 computations (37.7% saved)

simplify83.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5073	3619

prune232.0ms (0.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	0	16	16
Picked	1	0	1
Done	0	1	1
Total	162	18	180

Error

4.4b

Counts

180 → 18

Compiler

Compiled 9462 to 1038 computations (89% saved)

simplify259.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (223.0ms)

Iter	Nodes	Cost
0	4777	3145
1	4777	3145

regimes1.2s (4.3%)

Compiler: Compiled 18837 to 12447 computations (33.9% saved)

bsearch67.0ms (0.2%)

Steps

Iters	Range		Point
3	1.3810595120428003e-245	1.821076833974268e-245	1.7935757513535511e-245
6	-5.9759695139464984e-176	-7.997823736181109e-177	-5.336526520541466e-176

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes424.0ms (1.5%)

Compiler: Compiled 3330 to 3375 computations (-1.4% saved)

bsearch261.0ms (0.9%)

Steps

Iters	Range	Point
9	4.2295391484606217e+301	1.258166093587055e+308	1.239358678274342e+308
4	5.2614216799717625e+141	8.031756961348633e+141	7.919067000762975e+141
9	-2.211001577175341e+66	-7.807405483300727e+58	-4.9059892713053184e+60

Iters

Range

Point

4.2295391484606217e+301

1.258166093587055e+308

1.239358678274342e+308

5.2614216799717625e+141

8.031756961348633e+141

7.919067000762975e+141

-2.211001577175341e+66

-7.807405483300727e+58

-4.9059892713053184e+60

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes634.0ms (2.2%)

Compiler: Compiled 3069 to 3168 computations (-3.2% saved)

bsearch301.0ms (1%)

Steps

Iters	Range		Point
8	1.725449944012611e-21	1.0794527682698044e-17	4.873830770579267e-18
9	2.782841032187186e-139	2.0308146083138822e-134	1.5022104968434101e-136
7	-1.9661599200732008e-100	-1.3349548347814218e-102	-1.9339008205789473e-100
9	-4.684395046285712e-52	-3.7821263548063763e-60	-4.370260402043691e-60
8	-7.81265535450977e+17	-1751214892049399.0	-2.067212065231678e+16

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes582.0ms (2%)

Compiler: Compiled 2844 to 2979 computations (-4.7% saved)

bsearch306.0ms (1.1%)

Steps

Iters	Range		Point
7	7.442927372648708e+109	2.1673906465932431e+111	8.927577852777432e+109
5	9.252035713534263e+84	1.9298079393047256e+85	1.4484455426465253e+85
6	2.3273736245319978e-63	1.1784536542814116e-62	3.4017533023631004e-63
8	2.6195309945849808e-117	3.417879383157077e-114	4.328656465491265e-115
5	5.115402793703926e-244	1.5696058769764285e-243	1.0935306033464383e-243
7	-1.2836411239134147e+47	-2.8238490187009185e+45	-3.216775189142628e+45

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes575.0ms (2%)

Compiler: Compiled 2619 to 2790 computations (-6.5% saved)

bsearch394.0ms (1.4%)

Steps

Iters	Range		Point
7	7.442927372648708e+109	2.1673906465932431e+111	4.2399623451387396e+110
5	9.252035713534263e+84	1.9298079393047256e+85	1.4484455426465253e+85
6	2.3273736245319978e-63	1.1784536542814116e-62	3.663502501521681e-63
8	2.6195309945849808e-117	3.417879383157077e-114	5.378093967829498e-116
10	7.90031656694048e-264	2.210573619704073e-251	2.1753867025722543e-251
8	-2.2636961592449044e-16	-2.6486786611567552e-20	-2.2595425131678785e-19
9	-1.7745553789346893e+134	-3.765221548154765e+125	-2.4077823895913484e+127

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes569.0ms (2%)

Compiler: Compiled 2394 to 2601 computations (-8.6% saved)

bsearch255.0ms (0.9%)

Steps

Iters	Range		Point
5	1.8030054560013128e+130	4.0683407241483644e+130	2.159004789177255e+130
9	6.385419649712819e+19	2.725532025888809e+26	2.2949005998312243e+24
7	-6.374511045251326e-265	-1.7821238285139646e-266	-3.727275121354711e-265
9	-5.024475668395039e+73	-3.964294123322081e+64	-4.197788260754733e+64

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes502.0ms (1.7%)

Compiler: Compiled 1944 to 2223 computations (-14.4% saved)

bsearch227.0ms (0.8%)

Steps

Iters	Range		Point
8	5.201182589392607e-53	6.014334636030397e-50	7.535618828733033e-51
6	-2.59388950110045e-82	-3.9621611837015505e-83	-2.45152330916969e-82
6	-0.0009130501160829491	-9.273904200574313e-05	-0.0007980201647522224
9	-2.759023715232982e+116	-1.2024918170795352e+109	-4.388591307036917e+109

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes513.0ms (1.8%)

Compiler: Compiled 1719 to 2034 computations (-18.3% saved)

bsearch212.0ms (0.7%)

Steps

Iters	Range		Point
5	2811.838956704877	8578.709156749273	4206.457860661661
7	5.195238238773164e-61	4.4553613357872564e-59	3.4665680714095195e-59
8	5.982738645289689e-148	7.277708483160894e-144	1.1584236554549753e-144
10	-2.19624267791963e-82	-2.3167438796605478e-98	-4.525716361608539e-86

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes435.0ms (1.5%)

Compiler: Compiled 1494 to 1845 computations (-23.5% saved)

bsearch141.0ms (0.5%)

Steps

Iters	Range		Point
9	4.254009265321203e-13	3.990483082971999e-06	1.3700569301432707e-10
9	-2.211001577175341e+66	-7.807405483300727e+58	-5.038487650334881e+61

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes558.0ms (1.9%)

Compiler: Compiled 1269 to 1656 computations (-30.5% saved)

bsearch730.0ms (2.5%)

Steps

Iters	Range		Point
5	1.8030054560013128e+130	4.0683407241483644e+130	2.3511674700055826e+130
4	6.014334636030397e-50	1.0489617357359377e-49	9.832074061334976e-50
7	3.7444508922524812e-65	9.648429971214888e-64	6.0547573502262356e-64
3	2.899063436570303e-65	3.7444508922524812e-65	3.057573584510711e-65
10	2.1552369425956123e-100	2.0852712019408324e-90	1.756241692744346e-92
9	9.173012968765929e-126	1.0866659864738923e-120	9.659206318020041e-126
8	1.5889809056274244e-133	4.861825468383362e-130	4.660641134918272e-131
6	1.4085572765773469e-185	1.3691097334702938e-184	5.797622385365321e-185
8	6.808275176275899e-211	2.763651138583627e-206	5.436811586972057e-207
6	2.5226812503928165e-231	2.8755485114203334e-230	6.287712360570918e-231
5	-6.007782277565569e-288	-2.8111861863575225e-288	-4.459906303518553e-288
7	-8.689732448744106e-234	-1.3303384290697724e-235	-1.3859447242849535e-235
9	-2.34252622816347e-90	-1.6275387377452332e-99	-2.2542883991334932e-91
6	-0.0009130501160829491	-9.273904200574313e-05	-0.0007980201647522224
9	-1.7053144007744539e+100	-1.3459984529647865e+94	-3.414923979104108e+94

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes522.0ms (1.8%)

Compiler: Compiled 1098 to 1494 computations (-36.1% saved)

bsearch195.0ms (0.7%)

Steps

Iters	Range		Point
7	5.33544130227889e+57	5.7359141220872645e+59	5.417924105714261e+57
8	1.0224467130991392e-45	6.641073128651533e-42	7.552034267143832e-44
6	6.719089117093404e-150	4.240968000687072e-149	2.6268822104841454e-149
7	-4.942194354858016e-89	-3.802627362140453e-91	-3.993978454020624e-89

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes390.0ms (1.4%)

Compiler: Compiled 927 to 1332 computations (-43.7% saved)

bsearch129.0ms (0.4%)

Steps

Iters	Range		Point
5	2.04091973639079e+57	5.33544130227889e+57	2.0752334293375917e+57
7	3.8895580565011037e-234	6.2899196771310375e-233	2.662915707683673e-233
4	-3.53953093150214e-65	-1.90812893300872e-65	-2.570885994896672e-65

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes289.0ms (1%)

Compiler: Compiled 756 to 1170 computations (-54.8% saved)

bsearch221.0ms (0.8%)

Steps

Iters	Range		Point
8	2.0357431711594012e-120	1.0507899647016977e-115	1.019619118844528e-115
7	-2.977800091532294e-250	-1.000786117905514e-251	-1.0846624575834546e-251
8	-1.046084993281185e-66	-8.047129907077179e-70	-1.5803976224024589e-68
10	-90.23823750917124	-7.855244089401799e-13	-7.958900253094294e-13

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes425.0ms (1.5%)

Compiler: Compiled 585 to 1008 computations (-72.3% saved)

bsearch325.0ms (1.1%)

Steps

Iters	Range		Point
8	4.62737057663665e-66	1.546929717298799e-62	2.9311125708951234e-64
7	-7.761895419208807e-289	-3.175099694001931e-290	-5.229757751136589e-290
8	-1.046084993281185e-66	-8.047129907077179e-70	-4.172080137933406e-69
10	-90.23823750917124	-7.855244089401799e-13	-0.0005638375245700247
6	-3.8176043824180375e+24	-2.4103141777009376e+23	-9.404498906568689e+23
6	-9.251054659048898e+54	-8.416765704597315e+53	-8.761033051570109e+54

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes350.0ms (1.2%)

Compiler: Compiled 450 to 864 computations (-92% saved)

bsearch221.0ms (0.8%)

Steps

Iters	Range		Point
8	4.62737057663665e-66	1.546929717298799e-62	6.001785365335289e-64
7	-7.761895419208807e-289	-3.175099694001931e-290	-1.5866046365979724e-289
8	-1.046084993281185e-66	-8.047129907077179e-70	-7.320662782624542e-68
10	-90.23823750917124	-7.855244089401799e-13	-4.242837413337893e-10

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes266.0ms (0.9%)

Compiler: Compiled 315 to 720 computations (-128.6% saved)

bsearch127.0ms (0.4%)

Steps

Iters	Range		Point
8	2.369668707855364e+21	1.5570065324327808e+25	3.009168653867633e+21
9	-1631101.4248425863	-5.968938411956171	-116.09737138302114

Compiler

Compiled 1 to 9 computations (-800% saved)

regimes328.0ms (1.1%)

Compiler: Compiled 180 to 576 computations (-220% saved)

bsearch0.0ms (0%)

regimes90.0ms (0.3%)

Accuracy

Total 7.7b remaining (68.5%)

Threshold costs 0b (0%)

Compiler

Compiled 45 to 432 computations (-860% saved)

bsearch50.0ms (0.2%)

Compiler: Compiled 2184 to 749 computations (65.7% saved)

simplify81.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	1660	3148
1	1660	3148

end0.0ms (0%)

sample4.6s (15.9%)

Algorithm

1×

intervals

Results

937.0ms	11296×	body	128	invalid
669.0ms	8000×	body	128	valid

Compiler

Compiled 4434 to 2212 computations (50.1% saved)

Pareto

0.3897553700578398

Details

analyze2.1s (7.4%)

sample90.0ms (0.3%)

simplify719.0ms (2.5%)

prune3.0ms (0%)

localize22.0ms (0.1%)

rewrite46.0ms (0.2%)

series1.8s (6.1%)

simplify87.0ms (0.3%)

prune358.0ms (1.2%)

localize27.0ms (0.1%)

rewrite50.0ms (0.2%)

series1.5s (5.4%)

simplify70.0ms (0.2%)

prune222.0ms (0.8%)

localize30.0ms (0.1%)

rewrite28.0ms (0.1%)

series1.2s (4.1%)

simplify72.0ms (0.3%)

prune220.0ms (0.8%)

localize31.0ms (0.1%)

rewrite30.0ms (0.1%)

series2.0s (6.8%)

simplify83.0ms (0.3%)

prune232.0ms (0.8%)

simplify259.0ms (0.9%)

regimes1.2s (4.3%)

bsearch67.0ms (0.2%)

regimes424.0ms (1.5%)

bsearch261.0ms (0.9%)

regimes634.0ms (2.2%)

bsearch301.0ms (1%)

regimes582.0ms (2%)

bsearch306.0ms (1.1%)

regimes575.0ms (2%)

bsearch394.0ms (1.4%)

regimes569.0ms (2%)

bsearch255.0ms (0.9%)

regimes502.0ms (1.7%)

bsearch227.0ms (0.8%)

regimes513.0ms (1.8%)

bsearch212.0ms (0.7%)

regimes435.0ms (1.5%)

bsearch141.0ms (0.5%)

regimes558.0ms (1.9%)

bsearch730.0ms (2.5%)

regimes522.0ms (1.8%)

bsearch195.0ms (0.7%)

regimes390.0ms (1.4%)

bsearch129.0ms (0.4%)

regimes289.0ms (1%)

bsearch221.0ms (0.8%)

regimes425.0ms (1.5%)

bsearch325.0ms (1.1%)

regimes350.0ms (1.2%)

bsearch221.0ms (0.8%)

regimes266.0ms (0.9%)

bsearch127.0ms (0.4%)

regimes328.0ms (1.1%)

bsearch0.0ms (0%)

regimes90.0ms (0.3%)

bsearch50.0ms (0.2%)

simplify81.0ms (0.3%)

end0.0ms (0%)

sample4.6s (15.9%)

Profiling