Metrics for VandenBroeck and Keller, Equation (23)

analyze753.0ms (2.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	6
15.6%	15.6%	84.3%	0.1%	0%	0%	0%	7
16.7%	15.6%	78%	0.1%	0%	6.2%	0%	8
25%	23.4%	70.2%	0.1%	0%	6.2%	0%	9
29.7%	26.9%	63.6%	0.1%	0%	9.4%	0%	10
30.8%	26.9%	60.5%	0.1%	0%	12.5%	0%	11
35.9%	31.4%	56%	0.1%	0%	12.5%	0%	12

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample26.6s (95.7%)

Results

3.3s	8256×	valid
1.4s	8256×	valid-sollya
104.0ms	303×	invalid
61.0ms	303×	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	sollya-time	check
(-9.512638966875422e-33 -1.0507995824860125e-137 -1.7116996509717673e+66)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.211864	#f
(1.1288365578502638e+83 -1.696032668373931e+222 -7.968560677694737e+189)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.192519	#f
(4.331997579532487e-41 -2.6906426051062522e-225 -2.2731505446492047e+139)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.109082	#f
(-1.775655867589069e+53 0.0010605600099661489 -8.197988415388767e+128)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20013999999999998	#f
(4.194038320123005e+34 3.865019384773332e-185 -2.7451121892458357e+74)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.209242	#f
(5.606828187769813e+48 1.4718926792171628e+261 -3.346606825175062e+139)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.305101	#f
(-7.414213867375543e-65 -3.9544486451868025e+295 -3.0098470403467657e+37)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.438639	#f
(7.906542032004953e-7 3.265717890348315e+40 -2.6040147321274807e+123)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.12727	#f
(-5.283715287275757e-6 -5.3450977171818966e-284 -2.0789410829356475e+60)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17993699999999999	#f
(-2.137857499680115e-24 6.519787937547875e-88 -3.6518989430573666e+120)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111123	#f
(-9.516305360897564e-70 7.999238952128946e-202 -1.4028094907794416e+98)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.105598	#f
(-7.226274286267426e-22 -2.670136618440132e-301 -1883641.1657326326)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110665	#f
(-1.2334940645650106e-24 7.8806617809342e-271 -1.2987982879088243e+125)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19325	#f
(-6.5518167164225e-40 2.681520348363319e-187 -1.6579877617597874e+107)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.24905000000000002	#f
(3.2179631551435047e-77 6.2149961991580325e-257 -3.615991719036129e+20)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10116499999999999	#f
(-2.3125672285992166e-73 -3.8101849755630963e-271 -1.8253027951812852e+87)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20191299999999998	#f
(-2.0047214649045115e+116 -6.691459004407487e+240 -5.0847245135057486e+300)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.250197	#f
(1.83560923713913e-11 7.995789716485569e+76 -5.291185653611347e+63)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.243203	#f
(-6.584425678168828e-25 -8.9046443421275e-176 -7.339526371779373e+72)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.126248	#f
(-44814772.86528375 7.626926980232311e+209 -2.3694467930320247e+140)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.163469	#f
(-1.7328559277433395 6.324144919831627e-226 -3.535529503658751e+119)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.109506	#f
(6.036749753395781e+131 -1.8517298691811915e+184 -1.4660610913101498e+299)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.16673100000000002	#f
(-1.3747917483786407e+24 -2.5707337046641063e-257 -3.5419762966646316e+152)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11462800000000001	#f
(1.3505563658580812e+88 -4.1439634835815425e-183 -5.010910322918364e+246)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.242609	#f
(-3.3646158922895786e-53 -9.841002214221342e+48 -1.0298325664423658e+50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.135366	#f
(-1.935380668976643e+77 3975324339764052000.0 -1.0097604403081155e+162)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.219083	#f
(-2.3885380765084448e+82 -3.209561908695141e-208 -2.4411712475978767e+260)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.25936200000000004	#f
(7.431127880212753e-47 -30005680588.017227 -1.1021222983867823e+36)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22850600000000001	#f
(-8.569874424247588e+105 9.023622825735046e+225 -1.5802366247274033e+302)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.30128	#f
(-3.8052147917498655e-6 6.204336406429391e-52 -7.91147714264086e+111)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.117948	#f
(-3.1755432478612956e+24 4.510460233295113e+175 -1.8400994216731004e+112)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.38774000000000003	#f
(-1.2037109245125574e-42 5.9832555340857184e-145 -1139386230.6807497)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.09979	#f
(8.384522693036419e-47 -1.5975069448780217e+60 -8.154251814844581e+36)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.136287	#f
(5.160017892542567e-69 7.524714476174608e-239 -15567401646459420.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.169434	#f
(203594.45904210844 5.243557482112862e+201 -1.4079226192195364e+25)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17614	#f
(3.202533081125852e-45 7.273615690290646e-231 -9.652635261841062e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.190972	#f
(1.6511997489113632e+97 5.359659731224612e-287 -3.8736196066560044e+286)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19342299999999998	#f
(-2.6163784158726016e+125 6.291485793728072e-46 -3.661745089120735e+282)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.183933	#f
(1.1499773876068744e-69 5.4460400263934514e-101 -2.1358124081656034e+30)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.179443	#f
(7.243957212337426e-60 2.693128928185705e-116 -3721562614930768000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22439599999999998	#f
(-2.6082977838685796e-36 -3.1690301256209337e+192 -2.172807333392815e+61)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.48787	#f
(4.0098519627780654e+27 -1.0750756989543508e-205 -5.77691453797157e+104)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.24091600000000002	#f
(2.3359171293310272e-57 -6.234864257689344e+237 -1.6088430588524635e+136)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.289885	#f
(9.145383661401132e+25 1.635499814491482e-275 -1.466387643215548e+98)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.191944	#f
(1.402355217546908e+36 4.5769041613825344e+172 -9.221246870079512e+97)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.26503699999999997	#f
(-1.0567977713969253e+25 -6.952595194448606e+55 -1.2467738526368334e+133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.13494599999999998	#f
(113935553363011.67 3.1305333550824044e+286 -1.9498820133481964e+117)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.273043	#f
(-3.222357208561755e-55 -7.193154795739918e+145 -1374505410787478.5)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.31117100000000003	#f
(-4.5287028747655306e+36 -3.9729123527213234e-53 -7.251291771287635e+131)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.21458	#f
(8.185592012809639e-58 8.143666200679096e+73 -2.318529715850616e+76)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.210363	#f
(-2.196217820185554e+89 -4.728326430679032e-84 -9.140775908197944e+290)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.184464	#f
(5.401751966605195e+41 -1.870396063267325e+19 -8.96717733225021e+88)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.123003	#f
(3.1528628451070897e-31 -5.906201750065941e+39 -4.869894613990901e+29)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.143125	#f
(-1.9960226457264468e-75 2.3143373132860513e-93 -3.852114623224466e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10529100000000001	#f
(3.3621132567870042e-56 -4.5476025579488947e+173 -5.461289336540401e+147)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.239379	#f
(3.676455864396791e+109 1.857412620294046e-281 -1.8189789431242614e+239)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.264575	#f
(2.3236849272181237e+110 1.2801920644143698e+288 -1.838858664101688e+282)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.208545	#f
(-1.7875634872916666e+91 7.365758923608849e+126 -1.1937455760435217e+218)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.169049	#f
(2.8329108512538276e-45 1.3445351530656744e+33 -4.333274577294812e+38)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.138462	#f
(-7325.070739162828 5.510863900255022e+241 -3.4926547356797557e+108)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.190798	#f
(1.260964780331366e+91 2.5725962454413682e+33 -1.3816203541820791e+221)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.133042	#f
(2.731089190312768e-52 2.579898844429635e+22 -6.53066901050457e+21)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.151671	#f
(4.449404534250133e+30 -3.532865096863383e-107 -7.970933490747644e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.182454	#f
(8.21741575498098e+22 5.211428771017147e+178 -1.7711554874730124e+103)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15501299999999998	#f
(-3.231042689169162e-28 -1.0468667960327386e-99 -2.264741526977121e+110)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15642	#f
(-3.863580476054939e-51 5.254731527705022e+139 -3535551898345269000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.143627	#f
(-2.5649977686192342e+82 -5.804728752950842e-292 -5.0944935400513455e+187)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.117316	#f
(2.2943903733626196e+115 -4.558285037909963e-12 -3.7751675150062564e+278)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.211756	#f
(2.9886078937674836e-75 1.345283444160538e-131 -1.009150800804866e+41)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.126315	#f
(-3.60898293588929e-67 -1.5808088275971633e-95 -2.8591230481005967e+144)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111861	#f
(2.8998607311146874e-71 5.638081883655698e-132 -1.0837294252094289e+58)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110527	#f
(-0.00037565091112445366 1.2905379430940988e+108 -1.1172060583184709e+116)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.203899	#f
(-3.1470685448282573e+80 1.6317215926301356e-161 -4.259989432283346e+278)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.195127	#f
(-3.2812889147659986e+28 2.640821031849747e-216 -2.370377910904286e+123)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.113356	#f
(-9.07539950851605e+91 1.3048980598193563e-42 -8.656174386973247e+233)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19532100000000002	#f
(0.4799099864710182 4.6988454929957906e-222 -7.39338946752666e+33)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18746100000000002	#f
(3.952290136305182e+34 7.51417174403413e+260 -4.125204153202924e+84)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.208814	#f
(-1.2185134339469964e+133 -4.2537770029212836e-191 -1.6483750637973265e+269)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.116273	#f
(-1.610885924729183e+62 1.3652162376357968e-279 -1.124931932364447e+147)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11345699999999999	#f
(-121942.18914007688 -1.0526831426378359e+266 -6.537282788902039e+29)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.320594	#f
(-3.31798383621263e-65 -3.176852418697507e+78 -1.2576725956980578e+95)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.266623	#f
(1.6833419683718311e+38 2.531328892932546e-187 -3.887227625094419e+137)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.114732	#f
(8.866024738704689e+27 1.4029606002071372e-136 -7.652735456086763e+122)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.112136	#f
(1.1346765309524867e-42 -8.519465346434677e+129 -4.958079265880827e+95)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.149326	#f
(-2.8313132118976256e+20 1.218816541292324e-37 -1.5335999096830795e+145)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19402699999999998	#f
(1.0328284630504546e-72 1.9298275193694577e+108 -3.447584612104497e+41)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.253969	#f
(-2.0434586064092786e-71 5.049059271723135e+162 -1.7358548528228794e+23)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.154226	#f
(-3.106233690366044e-39 -4.976632293023652e-177 -4.08839921668074e+98)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18221500000000002	#f
(-3.7564352347086087e-34 5.807654344826423e-77 -9.976140212815621e+61)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.150668	#f
(173.82875079857638 2.7420356599790016e+293 -2.8837573450660833e+150)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.322769	#f
(-3.458293513826022e+35 -2.8082829041375085e-108 -1.1023279711197856e+133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.195327	#f
(9.023622801610758e-64 1.7228252199386266e-183 -4.7928397827299185e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11037200000000001	#f
(1.772145520946344e-11 4.46569982359346e+49 -3.666851286386776e+112)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.296507	#f
(-9.375302098812071e+98 1.561526035114102e+246 -3.959897003024221e+214)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.305543	#f
(-3.804915376438038e-9 -1.7682546158268116e-131 -1.8954314041320847e+81)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110262	#f
(-1.0239986069047293e-36 -2.7595291743730784e+47 -2.9021942526373604e+66)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.210286	#f
(1.0159341814725345e-69 -1.6948353065825167e-154 -2.9699703900408245e+124)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.243214	#f
(-2.6362941483671888e+93 -9.6785067759382e-154 -2.9929164458361936e+217)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.193852	#f
(5.11642996659845e-24 7.299593996777938e-107 -8.626931237451522e+68)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10999400000000001	#f
(1.0510539796717028e-75 -6.2058274733450126e-40 -3.969139619379909e+61)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.112083	#f
(-4.087123979351481e-17 1.2905241164586989e+166 -3.9644151339923345e+85)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.246381	#f
(3.0339620938794107e+77 4.876616195545601e+248 -5.944298363530022e+282)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22006799999999999	#f
(1.9631907291325285e-9 -487508.0035347557 -3.1269963932458037e+94)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22909100000000002	#f
(1.4604990942781837e+107 -9.394317583041581e-228 -6.030555985653524e+267)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.156527	#f
(-2.6226214511175683e-10 -4.317293061913013e-9 -1.9204295708450864e+107)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.118682	#f
(-1.4885596978776134e-77 -1.7096634291757052e+173 -69781343.95645772)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.157406	#f
(-4.63043483453876e-77 1.9034372649797558e+98 -4.869679798515158e+105)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.23502599999999998	#f
(-1.4795916821201562e+129 -1.063590835338833e-164 -3.628526956371113e+291)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.191967	#f
(-7.855334684633353e+99 2.128943389899624e-173 -2.3495572317320364e+297)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19068500000000002	#f
(-516501424.0712073 -6.930261095246078e+53 -2.423457213745256e+133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20095000000000002	#f
(-3.5082498099144015e+123 -1.181789158601203e-181 -4.693352025792222e+256)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.117371	#f
(2.0081111589467421e-10 1.5891526563696137e+99 -1.0451684376067753e+97)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.318312	#f
(1.3521867784905764e-5 -4.645373877239198e+253 -3.69876654540997e+147)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.367253	#f
(-64728744995.94086 9.088601693551081e-179 -6.051195623892031e+44)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.172857	#f
(-519.1712416879594 1.0152350480299372e+289 -3.6674006274106434e+96)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.39328799999999997	#f
(1.3177886004598987e-33 -3.874380490316856e-265 -1.0150917304981108e+132)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22231700000000001	#f
(-9.792971407695927e+78 -2.036081085722633e+277 -3.0669376562579785e+174)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.328287	#f
(-5.106179715413691e+26 -9.837207402969353e-276 -7.050665184498794e+118)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.115674	#f
(-2.373163312807594e+105 4.1416027065439456e-58 -1.8634055160370125e+223)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.23174	#f
(3.8118318172938454e+133 2.2626656957312117e+170 -6.255075999184734e+283)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.220662	#f
(-3.0539144682866397e-56 -1.4830451552016851e-40 -2.727490265602829e+103)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.183394	#f
(8.40649305952122e-75 5.449282330021027e+212 -129172803838761780.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.29349	#f
(4.538579626223974e+138 -5.249451862442042e-302 -6.2446499347463865e+296)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.245236	#f
(74392682888620.4 -1.36801882279916e+29 -1.3355878126936582e+122)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.163731	#f
(1.2837877251163755e+67 2.29588115638075e-75 -2.2889308269653793e+148)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.198047	#f
(3.3417841611879794e-59 -1.143376558258635e+307 -5.27979233495584e+114)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.526434	#f
(-1.8185952284416007e-12 7.412891645795698e-56 -3.397886312035343e+52)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.302152	#f
(3.368242014866111e+80 -3.5325711166462654e+126 -6.8917517210339e+228)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.234105	#f
(7.020453932636278e-73 -1.5778134518356138e+270 -1.838292519900558e+56)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.698177	#f
(4.957724421055431e-18 2.437233371903249e-33 -6.914032743166685e+99)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.107319	#f
(1.0032528850035819e+93 1.2606895209455485e-117 -1.8279341461430035e+189)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20189200000000002	#f
(-1320175.2115213824 1.8958024068363153e-191 -1.0122032083056796e+27)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20662999999999998	#f
(-250.29356779243966 -9.748289029936729e+250 -2.5868813469822152e+123)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.177973	#f
(904263061.2935536 7.655953006988788e-284 -1.9458167311445293e+63)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.150167	#f
(3.406795660074227e+104 -2.747370571509086e-114 -2.3078892873369645e+224)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.116304	#f
(3.443069517275313e+78 1.4476435398892702e+287 -2.2984257733815327e+223)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.436776	#f
(-6.90788858926147e+87 -4.333051262128729e+279 -2.3304879860376855e+179)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18273	#f
(-1.5496262949667992e-40 1.4973267430867393e-55 -2.6857865889629393e+50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.121701	#f
(2.7252488530880766e-70 -1.7962419571102087e-35 -1.6262274969545207e+44)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.109001	#f
(3.121918271721571e+39 -2.6033530276341936e-192 -1.0218406357243095e+132)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.203326	#f
(4.9436645591238075e+22 -4.2055507311508034e+111 -2.7230014812453905e+89)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.332152	#f
(1.44899613711874e-7 -1.2601219862767942e-305 -3.4017579544701426e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110082	#f
(1.1091523019048174e+121 1.0366227442655794e+248 -1.5298828832126494e+252)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17133900000000002	#f
(3.523167886458468e+39 9.753773232269103e-241 -1.060841138133086e+118)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19576700000000002	#f
(4.759753203195924e-74 -7.619555117750542e+264 -3.5939278510453275e+108)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.191508	#f
(186.79609415924838 -8.365151062664463e+246 -3.8298460522859634e+131)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.177161	#f
(4.0928939483976674e+62 -4.4275067746750626e-46 -2.1272216460766882e+129)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111583	#f
(-3.743371868912429e+43 2.256552540718282e+289 -1.7098676732679898e+109)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.264805	#f
(7.374537497010552e-32 6.376612843525403e-12 -4.022360562205993e+36)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.107724	#f
(-2.484580493875515e-13 -6572708120194834.0 -6.23790050536823e+49)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.178678	#f
(-1.7087637526688215e-45 -9.372357507233877e-114 -2.401049715684617e+39)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19011399999999998	#f
(0.020054348622962806 5.058199392276892e-205 -1.1878206231146053e+140)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18181	#f
(4.680594929559289e-29 -6.4135136623021725e+87 -3.397709817154221e+23)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.13475600000000001	#f
(2.0298047735412478e+61 -5.451977006648732e+89 -4.163985361122621e+150)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.205725	#f
(4.302647352209202e+80 -1.1531335538807268e+125 -3.996610261278197e+204)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.242976	#f
(5.36421583527326e+109 2.8787238181872067e-111 -4.23369153130461e+302)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.128608	#f
(-3.746232695359304e+83 5.858993347885401e-96 -2.325322739445218e+178)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.236743	#f
(-5.6987074805768535e-5 3.808292979722588e+145 -2.5180068763603e+122)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.160666	#f
(-2.150480451142871e-28 2.745539366574497e-266 -2.161546161551554e+118)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.113485	#f
(-1.2781134773378317e-8 -5.171139124380468e+190 -2.015339919103309e+107)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.172464	#f
(2188543.503917158 1.297085146112912e+263 -5.560557823623402e+136)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.304915	#f
(39358964092788130.0 -3.3419019727178614e+22 -5.7331014428907255e+110)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.195061	#f
(4.322838981293795e+29 4.0932941561089813e+191 -1.5792390483804548e+143)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17359100000000002	#f
(8.986740364057145e+89 2.544387065514565e-273 -4.1111653855993936e+302)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.199904	#f
(-2.0440668074897634e+108 3.0596171552025e-116 -2.2217024642688836e+237)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.159521	#f
(-2.826812729540151e+47 1.6118517900282974e+78 -1.255588098674879e+152)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.143871	#f
(5.4306420087339007e+82 -3.693120303482892e-30 -3.5452103009165516e+258)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19861299999999998	#f
(-1.2891972705078006e-42 2.0379472743649544e+165 -23876394115228398000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.146644	#f
(498.9263899997801 1.3564501310215228e-22 -564751585428805760.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18201	#f
(6.457161888138842e-15 -1.087504370279361e+203 -1.7127758935258645e+150)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.171171	#f
(-7.0833394615619104e-71 -3.073526942467742e+179 -1.3265712947878423e+137)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.313143	#f
(2.820682479229505 -2.263958243420321e-63 -9.942964659433236e+148)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111669	#f
(-977205145224905.4 5.0953848287452665e-15 -2.646583524797515e+110)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.12554800000000002	#f
(-8.742319026612111e-42 -1.1551648286411483e-130 -119264.5282076022)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.107397	#f
(1.7292665785054654e-53 -3.043219990702037e+84 -1.2149049435904092e+38)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.141004	#f
(4.257129211978236e-39 -16537214.30087812 -2.917656787171098e+29)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.27693500000000004	#f
(-6.580029370111039e-14 -6.57326037199163e+21 -6.297980439916672e+107)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.22323500000000002	#f
(-2.2879069343815578e+137 -5.491656404962883e-302 -1.7836088982789002e+296)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.170178	#f
(4.208683122624361e+97 -2.2604965953115283e+120 -5.733923010706052e+228)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15681	#f
(9.483508884492051e-76 1.1139991938116597e+70 -6.838403717091609e+74)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.150942	#f
(-3.43096084017316e+84 -2.24088368938038e+287 -2.3889940928450878e+234)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19309500000000002	#f
(7.081642623332808e-53 7.659535870013574e+192 -9.778382887676712e+109)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.165212	#f
(-5.636783832137969e+20 1.4164412524444884e-82 -2.8533022490535944e+86)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.245224	#f
(-1.6251769574836195e-40 -1.5283626302002285e-190 -7.681894053497319e+61)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.112106	#f
(1.005617914000148e-34 -1.6358109172221892e-80 -8.863520938556766e+115)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.179056	#f
(1.410925477817851e-75 1.047583670588674e-140 -1.0686848146080021e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.21320399999999998	#f
(2.6833911897198667e-36 2.657618060562488e-86 -9.936702526604913e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.187438	#f
(3.3131381918682447e+111 4.0900975907531375e-69 -1.9415643290823206e+227)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.228912	#f
(3.5575338954348966e-44 -7.578635401113096e+301 -8.550229455856477e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.266003	#f
(2.4483017769208436e-12 3.545663376468369e-142 -2.6519550703748545)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.21212499999999998	#f
(-251743706.25297427 1.225885843448728e+169 -7.083341158173717e+87)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.300904	#f
(-3.7435213745204926e-13 -3.4950586434397565e-293 -1.720980184396584e+63)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.176135	#f
(-223180442000.0582 3.184942223888809e-182 -4.2128203996149584e+42)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10692800000000001	#f
(-1.2846204540831066e+36 -5.471918713140578e-233 -4.3206282390092604e+108)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.217609	#f
(-1.718119121809619e+46 -1.6873840544673206e+249 -2.0309400979756513e+98)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17832699999999999	#f
(-3.6979826294104195e+20 4.166518757569728e+150 -7.518287609563878e+77)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.449663	#f
(-4.087401940352163e-32 -3.683714176189232e+202 -1.1540929688785061e+106)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.279764	#f
(4.059589403415328e+124 -4.5260404547420936e-229 -3.1155719991929006e+254)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.211078	#f
(2.4943657611070776e-23 -9.018365130540193e+256 -4.520465252075587e+55)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.271346	#f
(-5.417849880535328e-23 1.0472802434088728e+105 -1.7602192527665046e+152)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.232873	#f
(2.921114110703289e+91 3.2009277276341837e+183 -1.4463633989166023e+194)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.263964	#f
(-1.2530527365574381e+23 -6.768527233581137e-75 -4.1435431852078236e+48)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.200914	#f
(2.5012985253714596e+38 2.608491295590567e-266 -8.94652747896773e+149)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.115102	#f
(6.415983365014454e-15 4.0318525985669073e-280 -2.3245876189269144e+111)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.154787	#f
(2.110360939804924e+52 5.40095878303738e+135 -1.1775018670214952e+114)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.46439400000000003	#f
(8.569059426368506e-27 -6.176983245828907e+303 -1.101070412693338e+133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.238386	#f
(1.4945614972515753e-34 -8.224269378642952e-112 -2.5006141905445464e+35)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17876	#f
(-1.3714001086479042e-26 3.0965391719792155e-255 -5.276545901074659e+80)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.182635	#f
(-3.455675990887176e+46 -2.841913245639117e+219 -9.634899741826454e+123)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.320934	#f
(-3.220281534851753e+88 -1.3594823763251733e+54 -5.73243357439187e+274)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.138927	#f
(-1.3094071793618993e-30 3.7886571341071864e-233 -1.0250199541073897e+152)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15118600000000001	#f
(-113659153.19963346 2.2545870391359062e-202 -9.535720938036977e+33)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10833	#f
(2.9088785681182404e-59 1.1734091529081767e-207 -25069110423225704000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.106644	#f
(1.0914469898751815e+88 -1.1878628790410593e+297 -1.434619923639976e+198)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.256245	#f
(3.616563222869675e+104 4.61224125560781e+74 -7.054383402143598e+224)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.202982	#f
(2.4640564290713998e-12 2.0336316284356168e+188 -9.758793085624582e+27)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.282831	#f
(1.1621643320082752e+70 1.6400616123447176e-298 -7.73435637676882e+150)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.149118	#f
(4.020319712153509e+97 -9.392697257141898e+210 -6.069919097684203e+197)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.228731	#f
(5.77296882734674e+93 5.880969512008929e+200 -2.2439062559659375e+251)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.280409	#f
(3.4799714387241275e+93 -2.6819253612110837e-148 -1.2187801492079649e+203)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.120031	#f
(-2.6098427164225578e-17 -1.1807557135238048e+59 -1.0335561494396831e+36)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.134738	#f
(2.04259505120526e-13 8.449727088291933e-10 -9.498473397444489e+73)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.227427	#f
(1.7034007696974097e-59 1.8105468657999912e+99 -7.468454607021113e+94)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.288671	#f
(8.70697582923649e+82 4.609137687563927e+145 -1.5115787300722222e+234)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.242894	#f
(-1.5444652062587131e-68 4.553802325587083e-126 -2.972645137039184e+91)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.245519	#f
(-5.599365903180012e-66 -1.6536263530369576e-165 -48097297153523106000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.179128	#f
(1.9967403459829601e+80 -2.212847030808645e+285 -1.229581071819738e+275)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.392451	#f
(-4.337377048810752e-26 2.234686848355229e+138 -1.6393079043025478e+117)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.161117	#f
(-2.9354784232310412e+29 -2.3483762833442552e-262 -4.720927215451508e+91)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11589100000000001	#f
(-24351018472857068000.0 -8.08861292370323e-217 -6.904812459990338e+46)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.183507	#f
(-11148384.116811834 7.378545406134429e+223 -2.7204508274621697e+144)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.305365	#f
(1.4942769099666013e-66 -5.147939837914209e+112 -1.0699064026848839e+86)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.242228	#f
(-3.953413963924419e+125 -1.5440241321314517e-278 -3.809502296189855e+251)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.133153	#f
(3.080513169858272e+36 6.0662377634488056e+175 -6.104586961518228e+81)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.379297	#f
(-3.8239221206144944e+91 -3.864929601650165e-94 -6.78264047048247e+297)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.31985899999999995	#f
(3.388520544451437e-26 -6.835102672817321e-98 -3315540.691731051)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.20253	#f
(-6.611827485231089e+87 1.6165999951087336e-83 -2.4490686575769257e+182)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11468199999999999	#f
(-5.769633434632389e+91 -2.648903143576193e+91 -1.328694335021322e+293)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.24504399999999998	#f
(-3.1625177251485666e-54 -1.3668929578323275e-104 -1.885218132200927e+96)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.180841	#f
(2.323635811207772e+92 2.245347370095563e+58 -1.449779623574796e+257)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.229596	#f
(2.525314055906549e-48 2.603918180140282e+141 -8.299069004688796e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.259037	#f
(-1.630967592094292e-69 5.520611197178395e+277 -1.659214377909632e+132)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.345745	#f
(-2.141387736639579e-66 7.3727702909775645e+53 -3.2771715097838625e+61)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.223343	#f
(-1.9113149840781434e-74 5.994021799323001e-37 -5.60904472901825e+115)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.213726	#f
(1.1956973927176698e-27 7.38517822551659e-38 -4.068392657596688e+134)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.183602	#f
(-4.649216992316008e-62 -1.0307692085773921e+196 -3.648757965251821e+142)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.26556799999999997	#f
(-6160255026.001627 -2.2607688952625367e+45 -1.1972175681832849e+50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.185301	#f
(-2.3926858365805803e-35 5.064187538620775e-215 -2.086996088279861e+59)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.181195	#f
(-9.216952883341945e-63 -2.340336427305227e-261 -2.4188700234848596e+48)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.197997	#f
(1.6593684033784147e-68 -1.0247955124028735e-280 -6.401578013129134e+140)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.21776900000000002	#f
(2.691737296049201e+80 1.279741821185463e+62 -1.8070845740240518e+248)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.229884	#f
(2.928008618995693e+47 -6.7209528943153985e-239 -1.9737947100816092e+124)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19435899999999998	#f
(6.430018475095046e-41 -8.59523517465439e+191 -2.1918404407855565e+62)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.241515	#f
(1.3196415289604447e+33 1.027229298160473e+257 -2.9496389647581127e+90)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.175318	#f
(-1.7359900174753937e+78 -2.2631404128361707e-83 -9.994077180564496e+217)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19386899999999999	#f
(7.638642103943423e+38 1.272320824402559e-125 -1.087137873531934e+88)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.180823	#f
(4.212430974799994e-56 1.0555407647902408e-146 -3.1580774561882056e+105)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111846	#f
(-6.158142471594519e-55 1.3808862855844613e-284 -2.0108068458930447e+97)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.125029	#f
(2.6049596991542935e-6 3.520679839329132e-107 -4.0527989176234565e+144)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.187334	#f
(-1.8818269677843217e-66 -4.835088435828113e+119 -4.94231066967962e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.294171	#f
(1.637442197968767e+115 -1.11988740075523e-151 -1.738129556712359e+240)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.119169	#f
(-2.9129467986888467e-36 7.871526116555455e-72 -1469689624.0648952)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.104117	#f
(1.477213881546416e-32 -4.830554569847815e-62 -2.2363242282822607e+131)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.108052	#f
(3.679552022626504e+81 -1.768540288650606e+93 -7.878731454931008e+212)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.144893	#f
(10463345358713.945 2.6283834538348485e-273 -9.9242429417431e+81)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.184983	#f
(34646182930470797000.0 8.230827793303068e+304 -4.433885742309067e+94)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.253548	#f
(-5.29018125497287e+98 -4.453152438269719e+85 -6.023515887262801e+260)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.279564	#f
(-1.3644040776826276e+110 6.1795905749798436e-58 -2.185744746826042e+305)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.194871	#f
(1.0317889193123757e-53 1.1593324833923188e+164 -5.154735853815317e+79)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.155465	#f
(-1.5101944797613666e-27 -1.0484148980830679e-305 -8.344038162183624e+40)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.226166	#f
(-1.1127614330089499e+27 -1.0035318442355542e+151 -9.944946602650667e+135)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.223556	#f
(-17651932308974150.0 -2.2347048458511903e-236 -7.255037195981634e+51)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.323964	#f
(-8.335120168919398e-55 3.5545755428480736e+32 -7.69877342050675e+106)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.129641	#f
(2.9267935743541026e-35 -7.346147594095152e-148 -1.3837934090774879e+76)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.250341	#f
(-2.8630549977132656e+116 1.204355145469054e-37 -3.594723998713905e+266)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11604500000000001	#f
(-8.098951575175225e-60 4.334054046439186e-7 -7.545933685745698e+42)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11707899999999999	#f
(-17224067616988336000.0 7.781671379894409e-213 -2.615194346280397e+77)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.11082800000000001	#f
(1749939983549648400.0 -1.4699696048953672e+195 -7.565138764570634e+132)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.16598200000000002	#f
(-9.525763398175049e-45 -5.532057897054791e-258 -7.6635856356991355e+90)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110861	#f
(-3831.208416027236 -5.824515224214089e+127 -2.531354346424675e+60)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.161738	#f
(-2.7150605169584398e+39 3.36219249975796e+90 -3.1076060352118828e+143)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.243285	#f
(-1.1425573044378194e-17 -2.0765339544638852e-19 -1.33942613810993e+96)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.10867299999999999	#f
(-2.0322438264804201e+40 -1.7897376706552184e+304 -5.406704971042305e+93)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.307561	#f
(-5.803752713272478e-24 2.278306628744157e-9 -1.4662558205867293e+125)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.195095	#f
(1.9747454093422445e-32 -6.035157433983577e+63 -5.777734913208272e+86)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.13796699999999998	#f
(6.612301043391972e+133 3.862535351571327e+169 -1.1325833543217998e+272)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.189462	#f
(-1.0961550235894564e-57 4.724570534027086e-119 -1.7560581211986285e+66)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.191473	#f
(1.0632913023501756e-75 5.0990509261221945e+300 -15141277701790188000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.379518	#f
(1.8831145562841217e-17 -1.666799693769315e-20 -4.9657336098810074e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.127878	#f
(-5.297307041106851e-5 -5.517353491830153e-258 -1.4518375023143158e+127)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.111536	#f
(2.818504184597696e-20 3.357087674209203e-65 -2.788260229560519e+53)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110715	#f
(1.2817641516365294e-66 -3.0433204919052022e-161 -7.976057535004443e+96)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.184272	#f
(-3.489599318631536e-25 -1.865753288246842e+27 -1.9480117335616324e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.12768400000000002	#f
(3.8503808978908975e+96 347.3752716643255 -1.8127947886188195e+239)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.226729	#f
(1.6494641106457958e+99 1.957857510319455e-8 -5.2689327893730866e+255)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.229344	#f
(-99667.30996165592 2.447612163501815e+138 -1.7341295474466323e+43)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.151228	#f
(-6.83330808727671e+81 -3.760421588853478e-84 -1.018801298208914e+210)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.19084	#f
(4.079208999492605e-20 -3.459989131874105e-145 -1.9918708742051018e+54)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.184637	#f
(4.808858380695575e-20 8.04054216274202e-184 -8.35478011476004e+64)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.181842	#f
(-7.146024302697049e-75 3.55093614019896e-110 -1.3173861860793547e+82)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110976	#f
(4.382143427269939e+81 3.234243804531172e+59 -7.552625047320553e+195)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.209426	#f
(2484533.321150468 1.850493532474832e-80 -1.3292728608150436e+123)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15602	#f
(-5.819780493524041e-39 -1.6235613773371242e-192 -7.941383488669891e+108)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.110901	#f

Sollya timings

Total time spent in Sollya 1.4s

Bogosity

preprocess370.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1602×	`fma-define`
730×	`fma-neg`
462×	`times-frac`
281×	`distribute-lft-in`
274×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	1030
1	230	848
2	632	828
3	1520	828
4	3665	828
5	5788	828
6	6350	828
7	6647	828
8	6761	828
9	6769	828
10	7864	828

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 F)))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (+.f64 (.f64 B B) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 F (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) F)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 B (/.f64 #s(literal 1 binary64) (tan.f64 x)))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) B)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Outputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 (neg.f64 F) (sin.f64 B))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))) (/.f64 x (tan.f64 B)))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(neg.f64 (fma.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B)) (/.f64 x (tan.f64 B))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 (tan.f64 B)))) (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))))
(fma.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (/.f64 x (tan.f64 B)) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 x))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 F F (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -2 binary64)))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal -2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 (neg.f64 F) (sin.f64 B))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x))))
(-.f64 (/.f64 x (tan.f64 B)) (*.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(fma.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (.f64 (neg.f64 x) (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 x))) #s(literal -1/2 binary64)))))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 F F (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -2 binary64)))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal -2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 F)))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (+.f64 (.f64 B B) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 F))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (*.f64 x #s(literal 2 binary64)) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 B (sin.f64 F)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (neg.f64 (tan.f64 F))))
(-.f64 (*.f64 (/.f64 B (sin.f64 F)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 F)))
(-.f64 (*.f64 B (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 F))) (/.f64 x (tan.f64 F)))
(+.f64 (neg.f64 (.f64 F (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) F)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 F (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 x x #s(literal 2 binary64)) (*.f64 F #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(-.f64 (*.f64 (/.f64 x (sin.f64 B)) (pow.f64 (fma.f64 F #s(literal 2 binary64) (fma.f64 x x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 F (tan.f64 B)))
(-.f64 (*.f64 (/.f64 x (sin.f64 B)) (pow.f64 (fma.f64 x x (fma.f64 F #s(literal 2 binary64) #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 F (tan.f64 B)))
(+.f64 (neg.f64 (.f64 B (/.f64 #s(literal 1 binary64) (tan.f64 x)))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) B)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 B) (/.f64 #s(literal 1 binary64) (tan.f64 x))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 B #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 F (sin.f64 x)) (pow.f64 (fma.f64 B #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 B (neg.f64 (tan.f64 x))))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 B #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 x))) (/.f64 B (tan.f64 x)))

Symmetry

(negabs B)

Compiler

Compiled 30 to 20 computations (33.3% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	72.8%	(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Status

Accuracy

Program

72.8%

(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Compiler

Compiled 60 to 40 computations (33.3% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`neg-mul-1`
12×	`unsub-neg`
8×	`*-commutative`
8×	`+-commutative`
6×	`distribute-lft-neg-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	94
1	47	90
2	61	90
3	70	90
4	78	90
5	98	90
6	126	90

Stop Event

1×

saturated

Calls

Call 1

Inputs

(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Outputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B))))
(+.f64 (.f64 x (/.f64 #s(literal -1 binary64) (tan.f64 B))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess69.0ms (0.2%)

Remove: (negabs B)
Compiler: Compiled 216 to 148 computations (31.5% saved)

VandenBroeck and Keller, Equation (23)

analyze753.0ms (2.7%)

sample26.6s (95.7%)

preprocess370.0ms (1.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify7.0ms (0%)

soundness1.0ms (0%)

preprocess69.0ms (0.2%)

end0.0ms (0%)

Profiling