Destination given bearing on a great circle

Time bar (total: 54.5s)

analyze8.4s (15.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
0%0%99.8%0.2%0%0%0%8
0%0%99.8%0.2%0%0%0%9
0%0%99.8%0.2%0%0%0%10
1.6%1.6%98.2%0.2%0%0%0%11
1.6%1.6%98.2%0.2%0%0%0%12
Compiler

Compiled 39 to 24 computations (38.5% saved)

sample45.4s (83.2%)

Results
10.2s8256×0valid
2.9s8216×0valid-sollya
28.0ms40×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(7.342400742160858e-153 -2.921073763856653e-243 2.68413428202261e+130 -2.6918097807557485e+245 -9.412865679415231e-142)-3.141592653589793(9.10861236943981e-141 9.10861236943981e-141)9.10861236943981e-141validvalid00.775227#f
(-1.1986888666432965e-164 -3.870939806534803e+110 1.0630783863289674e-102 6.20572758177674e+127 8.429649449234357e-102)-3.141592653589793(1.0209519776788514e-101 1.0209519776788514e-101)1.0209519776788514e-101validvalid00.352117#f
(-1.9557363812933317e-199 3.2634548925602784e+41 1.7322485296140457e+301 2.519086333799441e+248 -5.41284748788394e+19)-2.505334311800265(0.6362583417895282 0.6362583417895282)0.6362583417895282validvalid00.222274#f
(-2.4879746555963187e-200 8.321642430691985e+44 -2.6459027901078955e+156 -1.1246882111349087e+249 1.6523046492032594e+280)-1.8943000900831526(1.2472925635066408 1.2472925635066408)1.2472925635066408validvalid00.242675#f
(-9.658308016914218e-172 4.3946664862487355e+174 -2.4334229231554545e+305 -6.085519551343963e+96 -2.3897326322409767e+303)-3.016312867907587(0.1252797856822064 0.1252797856822064)0.1252797856822064validvalid00.875645#f
(-9.821136063505045e-160 1.5875536259918633e-233 5.008743173073699e+168 -4.657661172393858e+296 5.498469820614216e-157)-3.141592653589793(6.701785060046505e-157 6.701785060046505e-157)6.701785060046505e-157validvalid00.6424650000000001#f
(1.3111239125170293e-213 -1.2998203174844928e+84 -1.9479854985861049e-286 -7.902217176847565e+57 1.4138048141030951e+252)-2.944239766662922(0.19735288692687103 0.19735288692687103)0.19735288692687103validvalid00.730773#f
(2.2965329799986852e-265 1.2866517624261198e+306 -8.741768406518621e+143 -3.5499626484370167e+52 1.5674662821727904e+76)-2.7779097597370748(0.36368289385271835 0.36368289385271835)0.36368289385271835validvalid00.42053799999999997#f
(-6.5735528628051605e-65 -6.605525017730204e-285 2218626378217563.0 7.769690904344674e+86 -1.1209435990213653e-245)-3.141592653589793(-6.5735528628051605e-65 -6.5735528628051605e-65)-6.5735528628051605e-65validvalid00.289708#f
(-1.1178772622952271e-174 4.400481277654475e-50 4.625199852298689e-194 3.6319817228688075e+155 7.655663607235322e-59)-3.141592653589793(2.617754372422254e-59 2.617754372422254e-59)2.617754372422254e-59validvalid00.498189#f
(1.3877770677320195e-185 -6.092371183634704e-221 3.144542412757855e-186 1.302824273775253e+71 2.7003889889903893e+234)-2.1622795928016125(0.9793130607881807 0.9793130607881807)0.9793130607881807validvalid00.323111#f
(43.883622780432006 5.017161281545755e-290 -2.9937617736749195e-290 2.2335858577463955e+66 1.8137198561462053e+255)42.055188994524784(45.19678164811458 45.19678164811458)45.19678164811458validvalid00.341454#f
(-4.94262207091445e-30 1.5880024661285515e-230 -2.6564824710856785e+300 -2.7566265287490734e+216 1.51873761114925e+27)-2.382850344913077(0.7587423086767161 0.7587423086767161)0.7587423086767161validvalid00.25819#f
(1.5987423563625884e-214 2.6689431548483545e+270 -9.797100629872336e+215 2.593426578343786e+114 -1.1132169856804084e-105)-3.141592653589793(1.0174816313523003e-106 1.0174816313523003e-106)1.0174816313523003e-106validvalid00.453369#f
(5.641586351049521e-90 2.7508857225086704e+294 6.656788814051027e-222 -8.673384067265982e+78 3.675958588918125e-193)-3.141592653589793(5.641586351049521e-90 5.641586351049521e-90)5.641586351049521e-90validvalid00.322521#f
(-1.5591676265177914e-113 3.56543234171079e+82 5.852040665183461e-69 -1.278240335515893e+138 -4.548106495175056e-110)-3.141592653589793(8.02896902176676e-110 8.02896902176676e-110)8.02896902176676e-110validvalid00.590245#f
(-6.574479286554766e-264 -6.5072063073666735e+66 -2.482019195422684e+262 1.2717425734985275e+263 -1.1688146768740331e+80)-3.08589975694027(0.055692896649523295 0.055692896649523295)0.055692896649523295validvalid00.7652450000000001#f
(-2.2573963690224472e-98 1.7582725595941146e-73 -1.6067638951974612e-278 6.6296287215879954e+196 9.881595131206709e-272)-3.141592653589793(-2.2573963690224472e-98 -2.2573963690224472e-98)-2.2573963690224472e-98validvalid00.351433#f
(-7.502400796529059e-103 1.7672833941696557e+49 -1.92097064857848e+300 -7.922316460384518e+233 1.5636122480964481e-229)-3.141592653589793(-7.502400796529059e-103 -7.502400796529059e-103)-7.502400796529059e-103validvalid00.412134#f
(2.38383734430443e-13 -1.7454924019227181e+190 -2.4963657541804764e-158 -1.0587341073968578e+277 -1.3805346056440606e-248)-3.1415926535895546(2.38383734430443e-13 2.38383734430443e-13)2.38383734430443e-13validvalid00.369343#f
(-1.4418542364813622e-283 3.129090225798314e-209 2.2028167598907442e+219 2.3113949322018192e+120 -7.882683471671091e+270)-2.80819824909916(0.3333944044906334 0.3333944044906334)0.3333944044906334validvalid00.60433#f
(1.5606039435609514e-149 -9.021548017293309e+291 2.9934634576063753e+209 -5.330616668072064e+145 -6.160300071598165e-13)-3.1415926535897305(6.277028945584803e-14 6.277028945584803e-14)6.277028945584803e-14validvalid00.818272#f
(-2.8685178691741482e-248 -1.4286787778164123e-291 -6.707652854128508e+234 -1.8380011971988595e+293 3.7393142820010534e-227)-3.141592653589793(5.45411782126194e-227 5.45411782126194e-227)5.45411782126194e-227validvalid00.38607#f
(7.079787346077823e-125 5.655209418637011e+41 -9.098868785009587e-147 -4.479531241903233e+214 1.7083217684648716e-181)-3.141592653589793(7.079787346077823e-125 7.079787346077823e-125)7.079787346077823e-125validvalid00.44707800000000003#f
(7.873068185954923e-218 -1.4354350882253198e-228 -3.541844409854787e+260 -1.064402025193015e+204 -7.907722736784291e+173)-2.968602537600223(0.1729901159895701 0.1729901159895701)0.1729901159895701validvalid00.5974729999999999#f
(3.022621626895069e-263 -1.9259661501254385e-140 -2.9228035322667456e-213 -2.7304292955303844e+88 -1311.175482212432)-2.3854916910268424(0.756100962562951 0.756100962562951)0.756100962562951validvalid00.38136000000000003#f
(1.7908928912752e-162 -9.33255984668928e+172 -3.271118237133564e+126 1.3884923846696827e+88 -3.454084535098842e+301)-2.423893370553352(0.7176992830364409 0.7176992830364409)0.7176992830364409validvalid00.389315#f
(-6.092986643717243e-280 -4.5592644976303235e-248 -947406253097168.9 1.125361396262172e+301 -1.0455553018872986e-164)-3.141592653589793(4.104474818272752e-165 4.104474818272752e-165)4.104474818272752e-165validvalid00.523173#f
(-5.916651088076796e-32 -1.5483145236178501e+94 1.9807221201468725e+236 1.2521962763075074e+80 -3.2826196602463967e-108)-3.141592653589793(-5.916651088076796e-32 -5.916651088076796e-32)-5.916651088076796e-32validvalid00.23300400000000002#f
(1.321323579379332e-58 -5.660528255728837e-71 -15932986666.081656 1.0385522488294126e+294 -2.437610205293103e-42)-3.141592653589793(1.0485579967486615e-41 1.0485579967486615e-41)1.0485579967486615e-41validvalid00.820426#f
(-7.045499854648999e-61 -4.928179690583575e-27 1.7553021913288472e-214 2.440235071177226e+71 -1.563960850409358e+177)-3.027849105917556(0.11374354767223721 0.11374354767223721)0.11374354767223721validvalid00.284071#f
(-4.341064435611422e-270 -1.295855575805746e+193 -1.2534578739597936e+239 1.2311183784467556e+22 -8.2485718364043515e+180)-2.5660918370827557(0.5755008165070375 0.5755008165070375)0.5755008165070375validvalid00.49517500000000003#f
(3.666263504789143e-274 -6.5217449210955505e-136 9.017740232327456e-167 3.413632691751585e+47 1.042318282275615e-77)-3.141592653589793(9.640081889274368e-78 9.640081889274368e-78)9.640081889274368e-78validvalid00.231512#f
(-2.4507394693865314e-126 3.0993027575682672e-121 3.8104854585595814e+93 -6.9887229479724794e+162 3.2491592992547295e-122)-3.141592653589793(1.8637557886402708e-121 1.8637557886402708e-121)1.8637557886402708e-121validvalid00.277402#f
(-9.805450643154944e-166 1.1064999224028941e-218 3.277310622969945e-92 -5.343845515774191e+69 -4.603884140863279e-140)-3.141592653589793(2.4141472217574573e-139 2.4141472217574573e-139)2.4141472217574573e-139validvalid00.243558#f
(-4.023455127034924e-245 -4.672222901247067e-151 -3.358070013064451e+115 1.3735479921850793e+291 2.0499858293504354e+129)-2.16807961279264(0.9735130407971536 0.9735130407971536)0.9735130407971536validvalid00.217272#f
(-1.5089870138095075e-92 -3.905005337485339e-198 3.9294481621276034e+136 1.5801796474208587e+223 -3.7497545992787773e+260)-2.523757430422753(0.6178352231670404 0.6178352231670404)0.6178352231670404validvalid00.20262#f
(-4.248789250532206e-67 5.004829111159087e+282 1.557103429331416e+141 2.4888870572233035e+70 1.5534381557808042e+82)-2.38518724775153(0.7564054058382632 0.7564054058382632)0.7564054058382632validvalid00.393862#f
(-9.999989102617189e-117 2.086704295603828e-121 -7.359433406139541e-52 -5.443440013442962e+266 -3.049318456435166e-253)-3.141592653589793(-9.999989102617189e-117 -9.999989102617189e-117)-9.999989102617189e-117validvalid00.359434#f
(-1.0026780098259883e-35 2.8001917853871597e-297 -4.3309583338831384e-260 1.097234366300907e+143 -8.854259127469735e-62)-3.141592653589793(-1.0026780098259883e-35 -1.0026780098259883e-35)-1.0026780098259883e-35validvalid00.351638#f
(-5.829876072254672e-76 -1.0149998972133524e-270 1.1178060093898822e-250 3.1186896654428625e+306 2.745491171569031e+230)-2.042118506580861(1.099474147008932 1.099474147008932)1.099474147008932validvalid00.428092#f
(-1.3196769941386358e-272 -2.9569113784069028e-27 1.8968836303810705e-214 -1.0977452955516382e+76 2.2424715181837617e+69)-2.3785626016951236(0.7630300518946697 0.7630300518946697)0.7630300518946697validvalid00.382964#f
(1.5374803183406792e-205 -2.6380001273464462e-291 -2.2726069078912503e+171 -1.6513134936046536e+79 -2.1782978574401857e+168)-3.0823764156903852(0.05921623789940802 0.05921623789940802)0.05921623789940802validvalid00.708128#f
(-6.112086865619305e-133 5.598967809598694e-280 -1.184052438432955e-173 -3.396848280804521e+128 6.338489282183383e-226)-3.141592653589793(-6.112086865619305e-133 -6.112086865619305e-133)-6.112086865619305e-133validvalid00.179531#f
(-38620367598.448875 2.8871648278228286e+208 -2.373383968315839e-20 3.751857085386726e+186 -1.465518364204481e+27)-38620367601.33746(-38620367598.19587 -38620367598.19587)-38620367598.19587validvalid00.37043200000000004#f
(-2.696897359206787e-161 7.893404038035982e+98 -1.31354369060641e-298 8.424049303778752e+114 -1.2960134441096987e+71)-2.8799124565460588(0.2616801970437345 0.2616801970437345)0.2616801970437345validvalid00.315369#f
(3206.023372515938 -9.343685395355365e+145 -1.0165767652904336e-120 4.916530536385454e+174 1.007387721186027e+61)3202.920757795038(3206.0623504486275 3206.0623504486275)3206.0623504486275validvalid00.361566#f
(5.85405524139603e-124 -3.3910894032621605e-144 1.5071458764331083e-89 -3.951815223803693e+213 -0.0034693353317615185)-3.1376047059176195(0.003987947672173743 0.003987947672173743)0.003987947672173743validvalid00.5408620000000001#f
(4.03549738632571e-182 -1.2917299903499196e-23 -2.2255570142159114e-56 2.5422937151614246e+176 1.6627476549139906e+303)-2.282072858449945(0.8595197951398483 0.8595197951398483)0.8595197951398483validvalid00.6793629999999999#f
(5.118813177653362e-25 8.534965012177567e+126 6.129479288219405e-216 9.243637443991246e+275 1.4232204663385405e+123)-2.7639245448242975(0.37766810876549584 0.37766810876549584)0.37766810876549584validvalid01.009994#f
(-2.361078310834588e-118 -2.958620423104055e-224 9.712394408916738e-43 4.247149948895874e+96 3.6454592857049405e+224)-3.037445636478578(0.10414701711121534 0.10414701711121534)0.10414701711121534validvalid00.731186#f
(-1.400819820889654e-211 -1.0300905622790429e-228 -2.0430943804642736e+288 -9.359731841799987e+92 6.738704297706168e+43)-2.0873188652304697(1.0542737883593236 1.0542737883593236)1.0542737883593236validvalid00.264946#f
(8.568239563924939e-82 -4.836745537975875e+254 2.22157387942885e-173 -511975.1496789779 2.340482578295293e+150)-1.8677257680967572(1.2738668854930362 1.2738668854930362)1.2738668854930362validvalid00.284582#f
(-1.048580048791734e-84 1.4923571738384822e-212 1.9400457635404284e+176 -1.8077288855431482e+214 -6.835471523817711e-25)-3.141592653589793(3.032704399020722e-24 3.032704399020722e-24)3.032704399020722e-24validvalid00.321073#f
(9.378181168927852e-141 -1.284164256937409e-244 -9.217198800578186e+276 2.468245239701032e+218 5.707034973594397e-195)-3.141592653589793(9.378181168927852e-141 9.378181168927852e-141)9.378181168927852e-141validvalid00.369412#f
(1.6704113526466839e-279 1.0710504809862207e+141 -2.601625776328711e+166 1.7454354019880942e+51 -8.256966104352187e-6)-3.1415889276819167(3.7259078766287542e-6 3.7259078766287542e-6)3.7259078766287542e-6validvalid00.532197#f
(-0.8104301120405386 -2.5402500898321413e+234 -5.596812757708307e+225 -6.802366221080886e+25 1.733543793922896e+255)-2.526799709669025(0.6147929439207684 0.6147929439207684)0.6147929439207684validvalid00.229365#f
(7.561237046794165e-242 -1.7725027710578824e-189 2.965566564086982e-233 -1.3982775240883885e+116 -1.6492148675991025e-307)-3.141592653589793(7.561237046794165e-242 7.561237046794165e-242)7.561237046794165e-242validvalid00.299157#f
(5.3531231222691106e-195 1.8763886635567576e+161 1.0753129282261131e+157 -6.85317277025509e+199 -1.2728958264818495e+172)-2.6053006472459037(0.5362920063438895 0.5362920063438895)0.5362920063438895validvalid00.233983#f
(-1.0788456015401693e-166 -1.2790989379266087e-292 -1.4621401380352908e+59 1.7701602707876802e+201 6.6127940935256215e-261)-3.141592653589793(-1.0788456015401693e-166 -1.0788456015401693e-166)-1.0788456015401693e-166validvalid00.184529#f
(-2.755885398644286e-42 -2.9367680022778963e+252 2.8766367330930483e+190 2.301260461629647e+224 -1.0771906669393344e-97)-3.141592653589793(-2.755885398644286e-42 -2.755885398644286e-42)-2.755885398644286e-42validvalid00.339874#f
(-4.2868731371059916e-229 3.296405689165409e+195 -1.6530211787153721e+77 1.3684329619001416e+183 5.134133474281758e+54)-3.052645667586807(0.08894698600298621 0.08894698600298621)0.08894698600298621validvalid00.727869#f
(1.4415159306153029e-212 -6.627157673853972e+202 1.4484675314506884e-134 -2.0988642601014362e+251 2.632040824369877e-33)3.141592653589793(-2.3097073291506057e-33 -2.3097073291506057e-33)+nan.0validexit01.0465170000000001#f
(3.165936346305022e-195 -1.8797078676988213e-227 -1.511281084875528e-21 -8.705422615365053e+84 -5.691712664586916e-212)-3.141592653589793(3.165936346305022e-195 3.165936346305022e-195)3.165936346305022e-195validvalid00.549191#f
(-2.5822135500756236e-13 -1.1380576492117703e-262 2.0876720622522784e+288 3.9758449817262127e+214 1.9547959085472896e-72)-3.1415926535900516(-2.5822135500756236e-13 -2.5822135500756236e-13)-2.5822135500756236e-13validvalid00.353132#f
(1.3728276080263922e-122 5.556274830864394e+24 1.7390784153111562e+199 5.722658672947832e+235 -1.2477388810238574e+181)-2.186635231186575(0.9549574224032181 0.9549574224032181)0.9549574224032181validvalid00.552578#f
(2.7591664138241697e+255 1.1178074137345425e-178 -2.1131919814324844e+231 6.7321950209601515e-261 -3.787225489644114e+240)2.7591664138241697e+255(2.7591664138241697e+255 2.7591664138241697e+255)+nan.0validexit00.479603#f
(3.626102058391167e-119 -6.239258077987035e-195 7.426697997833704e-29 -1.1538738394361561e+39 2.727992835791125e-12)-3.141592653588245(1.548181062811971e-12 1.548181062811971e-12)1.548181062811971e-12validvalid00.314368#f
(-1.5121515536709063e-285 -1.9883229511385847e-32 -3.915691910670591e-241 -9.063220243022148e+282 6.548573564600493e-194)-3.141592653589793(2.381304535190313e-193 2.381304535190313e-193)2.381304535190313e-193validvalid00.889646#f
(1.4246233163812698e-134 1.1591140898709882e-225 -3.065957464277938e-267 2.1851935030384593e+245 6.573163916749581e-44)-3.141592653589793(2.5766084049297343e-43 2.5766084049297343e-43)2.5766084049297343e-43validvalid00.787889#f
(-7.985002307526179e-274 3.7275619263532665e+40 -4.742227772748845e-49 1.9134593005373116e+139 -2.4488659955786566e+285)-2.813034660257277(0.3285579933325165 0.3285579933325165)0.3285579933325165validvalid00.716208#f
(-5.786086662735121e-19 -1.3691343872531331e+303 -7.938594755288726e-267 4.291383421109336e+255 -1.1118914984637074e+139)-2.823401080506149(0.3181915730836443 0.3181915730836443)0.3181915730836443validvalid00.963772#f
(4.80738738931438e-126 3.043537688870125e-68 9.46318412425648e-306 2.2548245597023767e+85 -0.2296133809832703)-2.8654380870495726(0.2761545665402207 0.2761545665402207)0.2761545665402207validvalid00.526872#f
(6.705483792702773e-229 7.464253109525501e-61 7.008959138234604e+307 -2.595061680595937e+50 2.646356704001157e+173)-2.2306502775700925(0.9109423760197009 0.9109423760197009)0.9109423760197009validvalid00.369417#f
(-1.818734038894235e-52 -3.826126741022478e-148 -7.568904745036504e-270 2.6351615153828615e+170 6.869214362974393e-217)-3.141592653589793(-1.818734038894235e-52 -1.818734038894235e-52)-1.818734038894235e-52validvalid00.330975#f
(-3.146373206196195e-21 5.998686865089943e+239 -5.145083780748855e-51 -7.175197077764883e+97 -2.0668249356548633e+61)-2.2765820863539648(0.8650105672358283 0.8650105672358283)0.8650105672358283validvalid00.41910400000000003#f
(1.8345910452572738e-180 2.1938894395349466e+111 5.50548866988301e+228 3.5354213610881626e+93 1.656045346649997e-51)-3.141592653589793(1.640127673124418e-51 1.640127673124418e-51)1.640127673124418e-51validvalid00.5525699999999999#f
(1.2375840465416957e-39 4.065442614557279e+144 3.958855584251415e-133 4.1753643038555106e+237 -3.077560010941519e-67)-3.141592653589793(1.2375840465416957e-39 1.2375840465416957e-39)1.2375840465416957e-39validvalid00.35500499999999996#f
(-5.363613059970839e-23 -1.297324697789187e-70 -1.7588989804239824e-156 1.9106137691776425e+163 -1.6914228397537021e+246)-2.8632700652765193(0.2783225883132739 0.2783225883132739)0.2783225883132739validvalid00.372372#f
(-1.0095249946240037e-22 -1.603031392678049e+56 1.7920254642495784e-118 2.5620420135057277e-208 -0.00010776994470836985)-1.0095249946240037e-22(-1.0095249946240037e-22 -1.0095249946240037e-22)+nan.0validexit00.480305#f
(2.6398273849314234e-195 4.3907195053169373e+170 -9.668552195141233e+157 -1.1151050765759658e+182 8.331039155260014e+93)-2.4498602784739716(0.6917323751158215 0.6917323751158215)0.6917323751158215validvalid00.440784#f
(-3.131371795687585e-102 -2.4174138950682566e+76 5.1623159950656156e+20 -2.3873156744659126e+278 -3.0102429392060684e+111)-1.6392672394789576(1.5023254141108355 1.5023254141108355)1.5023254141108355validvalid00.437952#f
(2.522410755093724e-300 -2.4800330827831765e+171 -1.371676817653576e+93 -5.613641420867086e+97 2.4698063228313402e+117)-2.368881248312412(0.7727114052773814 0.7727114052773814)0.7727114052773814validvalid00.497148#f
(8.946320785961548e-20 -1.4843811421014817e+107 1.681893563578975e+246 3.276538030476031e+35 6.714074837215294e+202)-2.7950234625596106(0.3465691910301824 0.3465691910301824)0.3465691910301824validvalid00.6388360000000001#f
(-1.3256293782806858e-203 -2.408788204444811e+195 -7.586160873615086e-305 -1.2946178538923675e+270 2.153338373807738e-260)-3.141592653589793(-1.3256293782806858e-203 -1.3256293782806858e-203)-1.3256293782806858e-203validvalid00.432512#f
(5.3853478937415906e-254 0.9292228491401843 -1.7810964020555474e-301 -1.1275733112769616e+154 7.407057084820645e-76)-3.141592653589793(4.592320033474647e-75 4.592320033474647e-75)4.592320033474647e-75validvalid00.400003#f
(-6.585927637704711e-235 -6.729566234325379e+121 -1.717998521916438e-217 -6.144276179537368e+35 5.4504124317054366e+206)-2.677241746654842(0.4643509069349514 0.4643509069349514)0.4643509069349514validvalid00.704657#f
(-5.4276066539820176e-257 7.522275602941554e+267 -19177376368952.332 2.857539472742806e+235 5.484761369690895e-305)-3.141592653589793(-5.4276066539820176e-257 -5.4276066539820176e-257)-5.4276066539820176e-257validvalid00.437189#f
(2.5128859688029015e-146 3.773781505492086e-264 -3.7503374263487656e+177 2.6087041743682944e+221 1.5121827565320985e-155)-3.141592653589793(2.512885980396289e-146 2.512885980396289e-146)2.512885980396289e-146validvalid00.569638#f
(-1.1915671260161187e-8 5.633839873143332e+256 3.619817633404518e+281 -1.094129883654421e+91 7.011712271518754e-19)-3.1415926655054647(-1.1915671259801214e-8 -1.1915671259801214e-8)-1.1915671259801214e-8validvalid00.7413609999999999#f
(-2.642574999160574e-200 -1.974345759696687e+174 8.316915584677247e-103 -4.472895865351025e+159 2.871180370420079e-283)-3.141592653589793(-2.642574999160574e-200 -2.642574999160574e-200)-2.642574999160574e-200validvalid00.376166#f
(9.525675760741991e-179 7.3543895658684166e-186 2.658461406056991e+102 -2.8278488063298503e+157 2.125670504993653e+106)-2.084875903565172(1.0567167500246213 1.0567167500246213)1.0567167500246213validvalid00.188794#f
(1.16555840190147e-282 -1.1863407629587758e+108 -1.9668528180798193e+116 6.284509902709085e+60 13344.803350426382)-1.9566696061792768(1.1849230474105166 1.1849230474105166)1.1849230474105166validvalid00.296901#f
(-5.1031615095365786e-176 -2.5848215404605485e+298 2.117564478043958e+73 1.772445339978133e+59 -2.949445366442446e-10)-3.141592653490658(9.913520621211358e-11 9.913520621211358e-11)9.913520621211358e-11validvalid00.38579199999999997#f
(3.5629945754803076e-118 -5.536543126574866e+256 -8.329209005762339e+226 -3.191680886284398e+165 3.5494730881598086e-101)-3.141592653589793(6.918754959001834e-101 6.918754959001834e-101)6.918754959001834e-101validvalid00.395955#f
(-4.978798511773923e-101 38658643706.86738 1.073818547764039e-195 6.084982923481177e+23 -5.40781748147633e-126)-3.141592653589793(-4.978798511773923e-101 -4.978798511773923e-101)-4.978798511773923e-101validvalid00.220788#f
(2.522966192730349e+25 -7.886009906102619e-253 3.9741406328383455e+178 9.461721852944571e-20 4.5822788918009316e+147)2.522966192730349e+25(2.522966192730349e+25 2.522966192730349e+25)+nan.0validexit00.315214#f
(2.5036868618783115e-98 -6.388287465423606e-210 2.7871407357788895e+175 3.1191113517603654e+119 9.520861990202742e+122)-2.2681212290257724(0.8734714245640207 0.8734714245640207)0.8734714245640207validvalid00.292376#f
(-2.755386773153501e-174 -1.9371805363505467e+194 -2.0339326830614e-97 9.528372689690211e+249 -760416940687414.1)-2.5706556095378157(0.5709370440519775 0.5709370440519775)0.5709370440519775validvalid00.21756999999999999#f
(-1.4035434464337546e-95 5.913195619290629e+74 1.37633173511278e+156 303.5694641675992 1.598865741760482e-205)-3.141592653589793(-1.4035434464337546e-95 -1.4035434464337546e-95)-1.4035434464337546e-95validvalid00.21210099999999998#f
(-62214.269379958416 6.3867494220046685e+81 3.971706377784496e-30 -9.147183817044144e+156 3.6817679294086427e+143)-62216.46027163675(-62213.31867898316 -62213.31867898316)-62213.31867898316validvalid00.223737#f
(-1.1050242885158701e-187 3.490076182242138e-185 -0.11550254906906897 4.248256996181288e+240 3.287304865297474e-191)-3.141592653589793(-1.1048125461150685e-187 -1.1048125461150685e-187)-1.1048125461150685e-187validvalid00.30929#f
(-2.1519173758395646e-22 -1.535312409462325e+66 -6.886412835290942e-90 7.231947354769483e+19 2.6157006564186265e+67)-2.1666749544751895(0.9749176991146016 0.9749176991146069)0.9749176991146039validvalid00.419115#f
(-179071977285223.16 412320.9502818743 1.0349110639560608e-254 -4.1206646960451365e+88 3.0450446267431356e-103)-179071977285226.3(-179071977285223.16 -179071977285223.16)-179071977285223.16validvalid00.42051099999999997#f
(3.835227908449063e-272 7.758422360313701e+270 8.316461359315769e+263 2.7004851764220755e+145 -2.4649415947337483e+42)-2.1596934090823416(0.9818992445074515 0.9818992445074515)0.9818992445074515validvalid00.5019030000000001#f
(1.4618779900589244e-223 4.2963830819893407e+176 1.1339964061712862e+120 662.9539355593446 1.3870788136388217e+98)-3.129604528947423(0.011988124642370302 0.011988124642370302)0.011988124642370302validvalid00.79779#f
(1.6007527192816213e-46 -1.632430399914555e+39 -1.3781439666115203e+215 -1.7589695158971717e+274 1.8541831462531846e+108)-2.940024533794073(0.2015681197957199 0.20156811979571992)0.2015681197957199validvalid00.957501#f
(2.7475821371019737e-283 8.293372477839939e-17 -4.096135356538266e+87 3.7658704060422412e+65 1.6649988550833818e+256)-1.6966515217932585(1.4449411317965346 1.4449411317965346)1.4449411317965346validvalid00.197677#f
(6.282491350746959e-132 3.77469771556066e+81 3.9215341349907776e+196 1.449237181907155e+164 3.183723850204328e-249)-3.141592653589793(6.282491350746959e-132 6.282491350746959e-132)6.282491350746959e-132validvalid00.394717#f
(-6.61651848087927e-239 8.943333216535752e+170 -1.17404384758161e+296 -1.3148907027881034e+259 1.6576701854321093e-284)-3.141592653589793(-6.61651848087927e-239 -6.61651848087927e-239)-6.61651848087927e-239validvalid00.435217#f
(4.6044433106096176e-265 1.06287183212328e-77 -1.1607722110882075e+281 -1.432642856846986e+49 -2.430223964789135e+107)-2.7287017981551585(0.4128908554346347 0.4128908554346347)0.4128908554346347validvalid00.5364099999999999#f
(5.33286848766055e-28 2.3017672344823176e+270 2.0123934653996026e+60 5.559415565685625e+190 -1.9459109381048753e+264)-2.0151239770067293(1.126468676583064 1.126468676583064)1.126468676583064validvalid00.448593#f
(-2.436394174528474e-285 -2.3815412760608747e+256 -6.021245580917749e-263 1.0572673165901368e+127 8.612279487383986e-293)-3.141592653589793(-2.436394152234881e-285 -2.436394152234881e-285)-2.436394152234881e-285validvalid00.766207#f
(-1.3917067800639537e-14 1.0171804797687892e+88 6.7939575149621745e+106 -7.47500492934054e+116 1.8179323617122152e-140)-3.1415926535898073(-1.3917067800639537e-14 -1.3917067800639537e-14)-1.3917067800639537e-14validvalid00.390656#f
(-2.1091338668129346e-63 7.969806979450285e+195 -6.4507265227486e-8 4.120106144178892e+129 6.547094464282023e-66)-3.141592653589793(-2.1022374772704571e-63 -2.1022374772704571e-63)-2.1022374772704571e-63validvalid00.688832#f
(3.6306398348518886e-263 7.532391001229585e-270 6.916973863644507e-265 -5.636276005176852e+127 -4.0636673724521884e-286)-3.141592653589793(3.6306398348518886e-263 3.6306398348518886e-263)3.6306398348518886e-263validvalid00.351902#f
(4.688258415431572e-101 -1.8525188019288219e-106 7.442273793258173e-55 8.274497822800461e+179 4.247993900875228e-171)-3.141592653589793(4.688258415431572e-101 4.688258415431572e-101)4.688258415431572e-101validvalid00.35348399999999996#f
(-2.3198560726773103e-216 8.700190534190113e+28 1014.3389299142899 3.5746566026269144e+215 -1.664024823482676e+26)-1.7910127043659838(1.3505799492238093 1.3505799492238093)1.3505799492238093validvalid00.41180500000000003#f
(-2.0406189033434727e-243 -7.814302532038775e-65 3.692116047774483e+251 2.417650794455692e+72 8.038676661977792e-28)-3.141592653589793(3.450741582266023e-27 3.450741582266023e-27)3.450741582266023e-27validvalid00.42955#f
(-5.52180913521564e-143 -4.855531372275381e-128 1.907732063859508e-265 3.3320221072502266e+286 -5.994559216086478e-244)-3.141592653589793(-5.52180913521564e-143 -5.52180913521564e-143)-5.52180913521564e-143validvalid00.334702#f
(-1.2447586960259225e-118 -3.84437774729374e-160 2.852575865671115e-144 -2.845773912185366e+304 -1.6207980484690634e+95)-2.2033336425958336(0.9382590109939594 0.9382590109939594)0.9382590109939594validvalid00.407943#f
(5.508792168163385e-179 -5.9238031949495225e-49 1.2058719917974314e-58 -1.158714080010269e+245 1.3593586484141569e-234)-3.141592653589793(5.508792168163385e-179 5.508792168163385e-179)5.508792168163385e-179validvalid00.361226#f
(-5.710934202768339e-175 1.879270594939626e+200 -4.591358333183596e-90 1.063791961146385e+300 -2.7868530217506157e+301)-2.6977731584867883(0.4438194951030051 0.4438194951030051)0.4438194951030051validvalid00.5499339999999999#f
(-1.084822597935869e-87 -2.3086686616840007e-297 1.229899720203045e+270 4.325557137596207e+151 -5.306795734226283e-249)-3.141592653589793(-1.084822597935869e-87 -1.084822597935869e-87)-1.084822597935869e-87validvalid00.18407600000000002#f
(5.321008261731994e-142 -2.2233556392468096e+301 -8.218957961369131e-185 2.874617455561794e+72 -1.3017140548401493e+59)-3.0835981240112833(0.05799452957851004 0.05799452957851004)0.05799452957851004validvalid00.429483#f
(8.650716715291143e-234 -2.480493462319333e+93 -2.1775181986233104e+21 -7.65182090681578e+244 -1.800311266628835e-175)-3.141592653589793(2.7904550717757493e-175 2.79045507177575e-175)2.79045507177575e-175validvalid00.645653#f
(1.0301052803276938e-275 2.665500194058801e+220 2.5329635975159133e-203 5528360434702.463 4.5618760683682294e-94)-3.141592653589793(1.6690712642366448e-94 1.6690712642366448e-94)1.6690712642366448e-94validvalid00.567472#f
(1.8151807138464334e-51 5.996368816235189e-44 -2.861402047680877e+20 732402.195031072 -1.3989351210023074e+185)-2.7072476030476382(0.4343450505421551 0.4343450505421551)0.4343450505421551validvalid00.5233460000000001#f
(4.1615597287930605e-138 9.209426373286355e-304 1.582133454920687e-233 1.0178538590135031e+113 -5.426038817637106e-272)-3.141592653589793(4.1615597287930605e-138 4.1615597287930605e-138)4.1615597287930605e-138validvalid00.325465#f
(-3.1017499457837566e-113 4.415614112691135e-124 -7.07255917765053e+261 8.845723513029683e+66 1.584167789155464e-120)-3.141592653589793(-3.101749928727919e-113 -3.101749928727919e-113)-3.101749928727919e-113validvalid00.270376#f
(-1.953267003987099e-164 6.66908008668324e-163 1.1916891085050368e+52 -1.9234142758860404e+60 -2.911462693108011e+302)-3.020642569878416(0.12095008371137736 0.12095008371137736)0.12095008371137736validvalid00.3232#f
(-1.238060458814576e-122 7.221979439091341e-162 875242109608438.0 -2.7088271847354555e+169 2.5298809757600907e-200)-3.141592653589793(-1.238060458814576e-122 -1.238060458814576e-122)-1.238060458814576e-122validvalid00.279267#f
(-1.4034862170926415e-77 -2.4530318023011592e-160 -1.1060780578726598e+300 -3.0433980194697873e+183 -1.8041775870673515e-163)-3.141592653589793(-1.4034862170926415e-77 -1.4034862170926415e-77)-1.4034862170926415e-77validvalid00.336577#f
(6.664360318295332e+238 -1024658194.8401209 3.2382553493305894e+88 5.1071627378264995e+107 1.5813427730259486e+187)6.664360318295332e+238(6.664360318295332e+238 6.664360318295332e+238)+nan.0validexit00.540763#f
(-1.0282011998691594e-135 8.322614796710893e-71 -1.919575439499437e+131 -8.350725850531409e+277 -1.1743344557651017e-112)-3.141592653589793(1.4332420151603664e-112 1.4332420151603664e-112)1.4332420151603664e-112validvalid00.858553#f
(6.081134780152596e-249 9.18135291650727e-147 1.715838409338063e-138 -3.9238378554528913e+157 1.676120603008632e+184)-2.875285920409079(0.26630673318071435 0.26630673318071435)0.26630673318071435validvalid00.769153#f
(-2.3990262285934197e-13 4.0108823479344994e-48 6.314195671460376e-158 -1.8576756687326389e+50 -7.003035366023311e+65)-2.9780803958843394(0.1635122577054537 0.1635122577054537)0.1635122577054537validvalid00.249088#f
(7.725450399415248e-16 2.4614385687481372e+28 2.955531992574366e+26 -8.750102058764449e+206 -1.8028094299171415e-32)-3.1415926535897927(7.725450399415248e-16 7.725450399415248e-16)7.725450399415248e-16validvalid00.442278#f
(-9.494148674432338e-284 -206831.6008096283 -4.547079096288959e-75 -4.705123897200171e-221 4.1924893005771983e+27)-2.4884008212282167e-220(-2.4884008212282167e-220 -2.4884008212282163e-220)+nan.0validexit00.467179#f
(-9.062793162730642e-51 -3.5940447777188774e-216 2.960786022344472e+118 -6.817877894631221e+187 -3.0788415209961705e-279)-3.141592653589793(-9.062793162730642e-51 -9.062793162730642e-51)-9.062793162730642e-51validvalid00.313984#f
(3.922563643795403e-35 1.8142039586978743e-146 1.393654598361125e+220 -6.771687627267422e+255 -1.3902572345562487e+280)-2.822960790217821(0.3186318633719721 0.3186318633719721)0.3186318633719721validvalid00.392369#f
(7.634674006660051e-162 -1.031297205034031e+295 -4.5943237536363164e+107 1.278878196749157e+79 3.10588055408016e+201)-2.0605813968914006(1.0810112566983927 1.0810112566983927)1.0810112566983927validvalid00.227272#f
(7.086989374944971e-143 -1.039677411027791e+67 -1.1941596129145702e-79 2.2501672420912164e+277 1.289833558336277e+254)-2.316425462129459(0.8251671914603342 0.8251671914603342)0.8251671914603342validvalid00.49352900000000005#f
(4.792310843461317e-201 7.183553644670582e-25 -1.0568440065191018e+165 -1.6463338756810047e+162 -3.7351221297571307e+83)-2.938820128230613(0.20277252535918003 0.20277252535918003)0.20277252535918003validvalid00.313309#f
(-0.00023074203699799105 -0.0001933726386456831 -2.7165819617008464e+62 -6.169351719661435e+173 -2.5724519675591957e+98)-2.8629694193262347(0.27862323426355856 0.27862323426355856)0.27862323426355856validvalid00.31180800000000003#f
(0.0005119114519282587 -7.80021266019238e-27 6.716368362378791e-179 2.7539261208454342e+246 -1.2440186307667466e+201)-2.508373957038267(0.6332186965515261 0.6332186965515261)0.6332186965515261validvalid00.323853#f
(-7.713094227234109e-299 -5.292753545364576e+237 8.971810939857833e-117 -1.050796139864983e+19 5.217073068296252e+112)-2.1873751259316925(0.954217527658101 0.954217527658101)0.954217527658101validvalid00.231279#f
(5.188024884362457e-142 -8.817621067158228e+152 9.469008834276088e-16 -6.782174565732772e+62 2.2800653774380238e+81)-2.2939655358214517(0.8476271177683414 0.8476271177683414)0.8476271177683414validvalid00.376662#f
(-1.8082341277334729e-149 -7.189712906320307e-304 2.7832668711947397e-218 3.427121392171119e+54 1.919616424308027e-123)-3.141592653589793(7.385535683354417e-124 7.385535683354417e-124)7.385535683354417e-124validvalid00.38682300000000003#f
(1.302610129677803e-172 5.28999682579564e-132 4.807696885743576e+190 -3.867509291601116e+181 -8.465175778090728e-14)-3.141592653589165(6.280129053353447e-13 6.280129053353447e-13)6.280129053353447e-13validvalid00.804431#f
(-14224557.85389898 0.00018055369656733278 -1.0387680203890257e+308 5.205524771085417e+207 6.424252073633308e-122)-14224560.995491633(-14224557.85389898 -14224557.85389898)-14224557.85389898validvalid00.419967#f
(-2.091231774986796e-300 -3.0557595779776007e+88 -2.214292280400149e+150 -3.681222840568984e+154 -3.0439276680675932e+35)-2.907173801733613(0.23441885185618028 0.23441885185618028)0.23441885185618028validvalid00.368279#f
(-3.962298011431943e-218 -7.60583235047779e+291 217781.63736044266 1.9301951290752944e+237 -3.996286769139525e-48)-3.141592653589793(3.330776267586122e-48 3.330776267586122e-48)3.330776267586122e-48validvalid00.7216809999999999#f
(-3.660035637361875e-299 -2.05035764373122e-226 -2.7001493544527383e+103 -4.641851127282424e+217 5.7933801851604444e+256)-3.1386411653884854(0.002951488201307728 0.002951488201307728)0.002951488201307728validvalid00.60595#f
(-4.31318024171454e-73 3.981547955769909e+268 -8.416688425832565e-297 -1.8182598590509e+270 -2.5111083065052346e+163)-1.6143405280000156(1.5272521255897777 1.5272521255897777)1.5272521255897777validvalid00.382078#f
(1.9182927181623912e-135 -9.813650284476328e-257 2.2510877714018424e-33 -5.325023042927745e+214 -1.1929282047066731e-160)-3.141592653589793(1.9182927181623912e-135 1.9182927181623912e-135)1.9182927181623912e-135validvalid00.348411#f
(1.7665932480937116e-57 -2.4895034568611657e-189 4.3696317698095896e+229 -4.811144728782466e+264 -2.0456476090895025e-116)-3.141592653589793(1.7665932480937116e-57 1.7665932480937116e-57)1.7665932480937116e-57validvalid00.190618#f
(5.3356608389387655e-174 3.570759347958677e+98 6.659911429514665e+200 1.5929301631139122e+296 1250.533725579409)-2.9714847761221983(0.17010787746759504 0.17010787746759504)0.17010787746759504validvalid00.489775#f
(4.586849554690989e-156 -8.581161284702506e+79 -3.162806092932316e+153 -4.059630047266387e+180 -5.296915156853527e+154)-3.1058037111047327(0.03578894248506041 0.03578894248506041)0.03578894248506041validvalid00.405614#f
(-1.3144771298202805e-193 4.6674824232215307e-138 7.553814448290048e+31 6.943217329204037e+67 1.0698420950208163e-125)-3.141592653589793(1.0286598749645583e-125 1.0286598749645583e-125)1.0286598749645583e-125validvalid00.39890200000000003#f
(-1.7830383539242103e+102 -3.664629291773358e-64 3.902025808485366e+290 -5.054793665931374e+115 4.370292083890589e+38)-1.7830383539242103e+102(-1.7830383539242103e+102 -1.7830383539242103e+102)+nan.0validexit00.289332#f
(4.789784645082731e-49 -3.8227507897960814e-218 2.3722321901398707e+24 -2.9114706073799688e+109 -1.0007593981459753e+48)-2.6570705678452784(0.4845220857445149 0.4845220857445149)0.4845220857445149validvalid00.312781#f
(5.356513712556209e-278 3.342663418643711e-125 -1.3819965012890869e+263 -2.820460882839415e+223 8.977487934622294)-3.0793251601159652(0.062267493473827894 0.062267493473827894)0.062267493473827894validvalid00.316738#f
(9.004285737795046e-53 -3.469606952378266e-108 -2.1441930898439954e-83 -1.64816317479628e+216 2.0364889147852062e-70)-3.141592653589793(9.004285737795048e-53 9.004285737795048e-53)9.004285737795048e-53validvalid00.33561399999999997#f
(-7.932551570042385e-76 -1.1418959114566804e+263 3.0165617823547466e-17 6.447622914129973e+112 1.7956636481117646e+105)-2.1437600836322295(0.9978325699575639 0.9978325699575639)0.9978325699575639validvalid00.23007799999999998#f
(-5.707535237117767e-14 1.611175433480847e+74 4.738409792233323e+207 6.97950145030611e+271 5.103381915466556e-130)-3.1415926535898504(-5.707535237117767e-14 -5.707535237117767e-14)-5.707535237117767e-14validvalid00.211759#f
(2.407830017741709e-36 2.4155366247925543e-276 1.6946425257626798e+89 -1.31890214971611e+185 -9.273789067279658e-82)-3.141592653589793(2.407830017741709e-36 2.407830017741709e-36)2.407830017741709e-36validvalid00.282605#f
(6.676334025098732e-25 1.7465266194289279e-227 -1.8493012570377441e-184 4.747544453405058e+114 4.4182509745101207e+167)-2.759966010376986(0.38162664321280737 0.38162664321280737)0.38162664321280737validvalid00.29180100000000003#f
(-8.74014234090005e-254 -1.100912409311784e+37 2.4278904443765513e+280 -8.423474498965024e+124 2.359179723785128e+161)-1.6958405970363757(1.4457520565534174 1.4457520565534174)1.4457520565534174validvalid00.218324#f
(-8.023334157323484e-91 -6.312538289482315e-22 6.5302571270421175e-96 2.7731561146309205e+81 -1.6758783274398112e+111)-2.9984498273924793(0.14314282619731367 0.14314282619731367)0.14314282619731367validvalid00.266722#f
(-1.3107280428606545e-48 3.106720535036683e-98 9.556922526706891e+210 -4.526706090418229e+297 2.288266462995435e+266)-2.3532624282647396(0.7883302253250536 0.7883302253250536)0.7883302253250536validvalid00.386218#f
(2.2925264437704115e+78 -6.8864152011763366e-152 6.609929433876947e-234 -2.7872654781245915e+93 5.462912866060059e+148)2.2925264437704115e+78(2.2925264437704115e+78 2.2925264437704115e+78)+nan.0validexit00.276517#f
(-4.804690426259903e-275 1.0550155425107656e+185 -7.120686091648252e+95 2.0246326460978365e+275 -1.907139308976085e-252)-3.141592653589793(2.6802670221565938e-252 2.6802670221565938e-252)2.6802670221565938e-252validvalid00.41024#f
(1.9047158110543672e-196 -9.05471964402084e+278 1.3030121863755544e-134 4.0255494305767916e+131 -9.695713074751436e+73)-2.2798879969241(0.861704656665693 0.861704656665693)0.861704656665693validvalid00.226529#f
(3.896252766700666e-290 1.962469765690588e-89 -1.0464079400744655e-72 1.9715194395392092e+86 -3.6201268686099576e+49)-2.3447188134342336(0.7968738401555598 0.7968738401555598)0.7968738401555598validvalid00.260267#f
(-2.0362224355293035e-188 -5.751963594157927e+161 1.10011355121763e+228 38058109184272744000.0 -68719855935.28183)-1.819597875594672(1.3219947779951213 1.3219947779951213)1.3219947779951213validvalid00.212646#f
(-1.3272393056188064e-271 5.704734152831465e+98 3.6640142942140594e-216 1.7723805245584265e+176 4.683729520790906e-203)-3.141592653589793(4.015588304107804e-203 4.015588304107804e-203)4.015588304107804e-203validvalid00.315798#f
(-1.3880525730843986e+288 1.8668706877182082e+191 -1.464024702307979e-87 3.949004718638495e+240 -1.9764341483016136e+230)-1.3880525730843986e+288(-1.3880525730843986e+288 -1.3880525730843986e+288)+nan.0validexit00.868033#f
(-2.355572477002147e-39 -1.6458453042894024e-155 -4.025704840872353e-158 833.1435333381099 2.19795878932659e-16)-3.141592653589793(1.5740591408178412e-16 1.5740591408178412e-16)1.5740591408178412e-16validvalid00.357622#f
(1.619128944588469e-175 -9.506828425492748e+159 1.2464834695943754e-42 -7.504308771587733e+280 -3.4126741091494723e+72)-2.389800552180774(0.7517921014090189 0.7517921014090189)0.7517921014090189validvalid00.372111#f
(3.1253710832452017e-271 -4.676195255576643e+217 -6.675014260674154e-196 -1.8890426202669406e+177 5.612347970278901e+111)-1.9911107897292173(1.150481863860576 1.150481863860576)1.150481863860576validvalid00.38275899999999996#f
(-4.3756388008378774e-260 1.609742914208812e+85 -5.6647717048632445e-31 -1.674567070357763e+61 -1.1211928551330013e-9)-3.14159265164742(1.942373002041034e-9 1.942373002041034e-9)1.942373002041034e-9validvalid00.506557#f
(-1.4151308267264499e-123 -7.931582432424296e-223 1.649026648608654e-302 -8.657797308983393e-107 -4.501444000508084e-170)-1.4151308267264499e-123(-1.4151308267264499e-123 -1.4151308267264499e-123)+nan.0validexit00.36282000000000003#f
(-3.0759496933642637e-42 -6.601475819672228e+42 2.3139890668783727e-286 -9.997021972211027e+79 -6.501161124574089e+204)-3.048600780326563(0.09299187326323045 0.09299187326323045)0.09299187326323045validvalid00.57113#f
(1.0133292156480904e-55 -2.7792247079668396e+258 3.439891538685037e+173 -6.503276335252842e+126 -1.5976328390715174e+305)-2.9595132675639224(0.18207938602587104 0.18207938602587104)0.18207938602587104validvalid00.874938#f
(5.012928780217281e-276 1.9384391184557596e+101 -1.3631976749297782e+105 8.62920267877062e+126 5.642133499154876e+245)-2.3395394156674114(0.802053237922382 0.802053237922382)0.802053237922382validvalid00.7334210000000001#f
(-6.023158634214013e-259 2.7717443019221828e-154 9.641926531492434e+129 -5.205789875288958e+181 8.485638773890232e+101)-2.216331637654378(0.925261015935415 0.925261015935415)0.925261015935415validvalid00.524522#f
(-4.997021413513752e-183 -6.690036616483525e-78 2.4915268068851665e-154 1.4740750312392864e+83 3.584925136207153e-238)-3.141592653589793(-4.997021413513752e-183 -4.997021413513752e-183)-4.997021413513752e-183validvalid00.30129799999999995#f
(-1.899848309010255e-85 -4.537171893623123e-286 1.1112915818639566e+110 -3.3622769983325036e+269 -1.1582939518587258e-48)-3.141592653589793(5.603123652864322e-50 5.603123652864322e-50)5.603123652864322e-50validvalid00.339076#f
(-2.9577077826171037e-133 1.2334063270823419e+213 -2.661918812289447e+192 -2.4676189267023107e+145 -1.6296538445263932e+190)-3.0920195558128936(0.04957309777689987 0.04957309777689987)0.04957309777689987validvalid00.640015#f
(2.1135499570778618e-188 1.106197433819978e-182 1.3984624176518065e-275 4.3704236855183454e+304 3.2074074750011616e-106)-3.141592653589793(9.600635008830956e-107 9.600635008830956e-107)9.600635008830956e-107validvalid00.333271#f
(-2.1752507282382916e-259 3.452875362278526e-191 -14217645276.160995 -1.3260823218151068e+196 1.1659405889356689e-144)-3.141592653589793(2.2449032498007073e-143 2.2449032498007073e-143)2.2449032498007073e-143validvalid00.44293499999999997#f
(0.0015314469420235571 -1.9998147741010135e-99 3.0316584815047464e-264 -3.623192057495519e+78 -1.4088475177078328e-114)-3.1400612066477698(0.0015314469420235571 0.0015314469420235571)0.0015314469420235571validvalid00.277293#f
(2.6056719898122618e-123 2.3388755855668295e-58 -3.330825426541811e+106 -4.102144194152432e+37 -1.0928271271126676e+173)-2.2582192192369863(0.883373434352807 0.883373434352807)0.883373434352807validvalid00.425336#f
(-5.1174769584465135e-61 1.511875018020531e-41 7.814142560931661e-244 -1.0368796543077239e+216 -5.0129212726016664e+299)-2.7899405183645745(0.35165213522521865 0.35165213522521865)0.35165213522521865validvalid00.371582#f
(3.1109583718359736e-47 2.9080345666423247e-77 1.9594672893019557e-281 7.075168862978525e+141 2.3072104953594904e+296)-3.043867828217674(0.09772482537211923 0.09772482537211923)0.09772482537211923validvalid00.339661#f
(-1.2019017473014637e-58 -1.6904634111203234e-258 2.223853446530765e+289 2.692833469487244e+302 4.791569327111345e+55)-2.90039110866912(0.24120154492067344 0.24120154492067344)0.24120154492067344validvalid00.9853430000000001#f
(4.404847120825659e-197 1.6300798784428527e-267 2.571042323307437e+295 5.4912422370895616e+48 -1.8761445530394765e+186)-3.0443052920003053(0.09728736158948773 0.09728736158948773)0.09728736158948773validvalid00.675948#f
(-3388072.471287484 1.4289112885238976e-120 1.9257456543779919e+208 -5.554838644446919e+26 1.504726517785924e+208)-3388075.361695309(-3388072.2201026557 -3388072.2201026557)-3388072.2201026557validvalid00.7295929999999999#f
(-9.054657432727421e-159 -4.4865414450773375e+33 -1.0911054791211164e-269 4.09052225149101e+284 2.4775460598579626e-242)-3.141592653589793(-9.054657432727421e-159 -9.054657432727421e-159)-9.054657432727421e-159validvalid00.215818#f
(-2.320689715764942e-266 -0.005379631519825801 3.7278126709668714e+267 1.1995310749943961e+260 6.78735150062596e-42)-3.141592653589793(3.3420285066732037e-42 3.3420285066732037e-42)3.3420285066732037e-42validvalid00.45962899999999995#f
(-7.779084032346557e-292 -3.7086365469212736e-212 3.748032365841604e-80 -1.5111866705050886e+66 -7.824196095679397e-221)-3.141592653589793(6.9974016546717355e-220 6.9974016546717355e-220)6.9974016546717355e-220validvalid00.512472#f
(-8.081599356880828e-59 -1.1474213456940423e-263 6.036889201594099e+68 -3.249756488601949e+47 -2.525809766817257e-14)-3.1415926535897616(3.1574243514930834e-14 3.1574243514930834e-14)3.1574243514930834e-14validvalid00.48611200000000004#f
(4.893577753399764e-130 -2.0058992668002268e+68 -1.2971213244456524e+119 -7.43763139906262e+221 -1.2287450335647476e+59)-3.105652642857484(0.035940010732308854 0.035940010732308854)0.035940010732308854validvalid00.766875#f
(4.354701041389121e-32 -9.961455312127358e-104 2.0008465843728273e+186 -1.5766824412468997e+38 -4.883797069642404e+51)-1.816952106107231(1.3246405474825622 1.3246405474825622)1.3246405474825622validvalid00.367666#f
(0.0208836237951318 0.0010390949777966541 -1.3606558732488377e+171 1.693718601317494e+188 -1.0405869286334144e+67)-1.6598281137405602(1.4817645398492332 1.4817645398492332)1.4817645398492332validvalid00.39549399999999996#f
(1.1057681921630039e-265 1.8383033998044647e-160 -2.710605066313287e-77 -7.911765896455826e+21 2.4603103784318436e-124)-3.141592653589793(3.1286670129971604e-123 3.1286670129971604e-123)3.1286670129971604e-123validvalid00.436412#f
(-6.6991761013125485e-180 -6.507262607481437e-92 -4.4703666627498264e-97 -3.6521129114920608e+255 1.9571838753860835e-153)-3.141592653589793(2.953202398736714e-152 2.953202398736714e-152)2.953202398736714e-152validvalid00.357371#f
(-3.594578402260672e-51 -5.2235427780235214e-39 -2.012861758299987e-272 -2.3355757163439395e+300 -2.242833876544498e-41)-3.141592653589793(1.8081018357850263e-41 1.8081018357850263e-41)1.8081018357850263e-41validvalid00.341384#f
(1.249259962954217e+51 1.4072120195843073e-305 5.0514371559479e-189 5.0054976444069756e-104 -1.3116301608495033e+129)1.249259962954217e+51(1.249259962954217e+51 1.249259962954217e+51)+nan.0validexit00.37719400000000003#f
(3.204745292239166e-251 -2.731947836997932e+214 -6.575580663632681e+229 -2.5157911927890146e+219 -2.4935628737511747e-157)-3.141592653589793(2.5803000887048347e-157 2.5803000887048347e-157)2.5803000887048347e-157validvalid00.7177070000000001#f
(2.6778073158513733e-129 -3.521358483136077e-236 5.610369512508008e+268 -7.47692655635254e+85 4.249982307241606e-17)-3.141592653589793(1.3701583899096866e-17 1.3701583899096866e-17)1.3701583899096866e-17validvalid00.25473599999999996#f
(5.2863938872264616e-12 -7.629918089743287e+59 -1.008094503626039e+120 -4.4667174015283086e+153 3.1199330325316486e-200)-3.1415926535845067(5.2863938872264616e-12 5.2863938872264616e-12)5.2863938872264616e-12validvalid00.21029299999999998#f
(1031636696.9356587 -7198036646629497.0 -7.876821532758221e+102 -1.5607121221318743e+218 5.190470095200512e+270)1031636697.9372494(1031636697.9372494 1031636697.9372494)+nan.0validexit00.679817#f
(-2.307243662937188e-44 2.6517431659421213e+147 -1.625211567707545e-121 -2.632497382209739e+97 -2.0176899830372207e-153)-3.141592653589793(-2.307243662937188e-44 -2.307243662937188e-44)-2.307243662937188e-44validvalid00.392762#f
(-3.6318824910294914e-31 -8.068579293612447e-37 3.962656022241186e+176 -1.0233419924670185e+164 1.5587566527108923e+127)-2.5104060186307993(0.6311866349589937 0.6311866349589937)0.6311866349589937validvalid00.362299#f
(-1.091959081176431e-259 -8614045998816052000.0 -5.569074322309499e-63 -3.1910314950799455e+142 -5.437475113962633e+170)-2.9445608789764455(0.19703177461334784 0.19703177461334784)0.19703177461334784validvalid00.574718#f
(-1.0054971594297897e-239 1.5502476811230563e+202 1.0346325876002197e-306 -3.1552126814611886e+126 -1.9792014363219453e+281)-2.695187370254177(0.44640528333561647 0.44640528333561647)0.44640528333561647validvalid00.857433#f
(1.0338856955689756e-49 -6.726298516958354e+140 -2.0054726515774002e+186 -7.631471870483402e+187 -1.0852895524441579e-44)-3.141592653589793(1.2735700175862696e-44 1.2735700175862696e-44)1.2735700175862696e-44validvalid00.637835#f
(8.158762922587107e-302 -5.329962003312185e-237 -2.5481960975289887e-107 -1.035402787935347e+303 -3.896687060236747e+284)-1.611580441979367(1.5300122116104262 1.5300122116104262)1.5300122116104262validvalid00.49118899999999993#f
(3.490057644588881e-55 -5.993372108114417e+167 -1.8312660105331136e-87 -1.6660267650147244e+241 -4.344834106866728e-160)-3.141592653589793(3.490057644588881e-55 3.490057644588881e-55)3.490057644588881e-55validvalid00.444802#f
(-2.2527976997194037e-295 -3.4145777873763295e+32 -2.1086814381990542e+268 -1.6404271975394953e+140 4.3174454386990446e+21)-2.8303023656320683(0.3112902879577252 0.3112902879577252)0.3112902879577252validvalid00.492444#f
(-8.739831662043663e-7 6.877692610288156e+224 -6.454875034107618e-204 -1.7623626964159748e+154 -3.704085820757275e-38)-3.1415935275729594(-8.739831662043663e-7 -8.739831662043663e-7)-8.739831662043663e-7validvalid00.239989#f
(-1.3646778986205124e-232 6.714310964173414e-275 1.439710190230147e-250 4.885850136609722e+303 -1.3707848124087902e+215)-2.5127385648166682(0.6288540887731251 0.6288540887731251)0.6288540887731251validvalid00.346552#f
(-2.8970717390735916e-172 2.682151625229378e+287 3.2579578412050316e+96 -7.782285624654137e+176 -1.3947448138522262e+140)-2.230897087707512(0.9106955658822814 0.9106955658822814)0.9106955658822814validvalid00.490449#f
(1.7697509364344197e-13 1.2224782363760112e+173 2.7247929567587335e-207 -4.766598135558855e+24 6.484050969317336e+76)-2.8450098680855938(0.2965827855041993 0.2965827855041993)0.2965827855041993validvalid00.8135389999999999#f
(-6.417615909392963e-72 -1.8383322234667077e+49 -1.1799123202785384e-118 -1.993284284440595e+37 -7.110685664414607e+159)-1.712011325754103(1.4295813278356901 1.4295813278356901)1.4295813278356901validvalid00.46923899999999996#f
(2.389512769241572e-133 3.98944812833394e-166 -1.6005905710181063e+253 -1.599042840683889e+231 -9.787993813788907e-162)-3.141592653589793(2.389512769241572e-133 2.389512769241572e-133)2.389512769241572e-133validvalid00.18132500000000001#f
(-1.4676088349640232e-107 5.4837040081207675e-86 8.956911041355697e+165 2.1222053772192333e+37 -2.1774215890314766e+204)-2.0128936677987634(1.12869898579103 1.12869898579103)1.12869898579103validvalid00.204263#f
(-4.0377284763931732e-25 -6.020006070161587e-58 -6.016754463883935e+37 1.5528472111955035e+145 4.2796632263049106e+103)-3.1309640830883416(0.010628570501451447 0.010628570501451447)0.010628570501451447validvalid00.324036#f
(-9.005582476968296e-72 1.7214460890263056e+239 -9.200896013939322e-216 6126354.059872631 -2.7831844790951948e-294)-3.141592653589793(-9.005582476968296e-72 -9.005582476968296e-72)-9.005582476968296e-72validvalid00.218653#f
(3.850603575757348e+220 -4.183227933902616e-189 -2.4160411563231765e-151 3.920414181981062e+259 -9.696362964110174e+306)3.850603575757348e+220(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.0511326174966074e-197 5.79836229913152e-253 -7.108756558083481e+146 5.6076806301370845e+203 -6.409003306502041e-45)-3.141592653589793(6.59264791668562e-45 6.59264791668562e-45)6.59264791668562e-45validvalid00.766077#f
(-0.0012113928042546405 -1846993589.9108396 -1.9153804208453073e+260 2.642671464189215e+100 -1.0555239378584287e-185)-3.142804046394048(-0.0012113928042546405 -0.0012113928042546405)-0.0012113928042546405validvalid00.420399#f
(-1.171576684262125e-226 -4.306470185545186e+231 3.067050896697584e+133 -1.2702128873132603e+244 4.880818142455665e+71)1.2664872037525001(1.2664872037525001 1.2664872037525001)+nan.0validexit00.863773#f
(-4.770655826167441e-258 32969.1228492551 -3.5168327707368935e-236 -8.712368923415167e+167 -5.256669054094624e+75)-2.8356062882368156(0.3059863653529776 0.3059863653529776)0.3059863653529776validvalid00.6618769999999999#f
(-1.4185096797264122e-294 2.7977418545491573e+29 2.002657202990861e+128 -1560520348006.566 -1.3348772755757228e+278)-1.6010563003616378(1.5405363532281553 1.5405363532281553)1.5405363532281553validvalid00.4328#f
(1.1136190309535015e-139 8.084801720200484e-227 2.5747329262868502e-197 8.81599048909883e+88 -3.73606025583038e-62)-3.141592653589793(2.0303679629262907e-62 2.0303679629262907e-62)2.0303679629262907e-62validvalid00.444426#f
(1.6248775183472765e-91 -1.732635118376421e-194 -7.395909941299155e-260 -3.339975924203109e+251 -7.671961027121184e-128)-3.141592653589793(1.6248775183472765e-91 1.6248775183472765e-91)1.6248775183472765e-91validvalid00.357608#f
(4.7711432894338475e-291 6.763703578615835e-49 -1.691337743287142e-282 -5.813695507956206e+40 -3.0022564714074208e+28)-2.9148807222352406(0.2267119313545526 0.2267119313545526)0.2267119313545526validvalid00.284835#f
(-2.3803832192838264e-115 -5.514338583487582e+182 -2.274127089067546e+61 1.4966213004452472e+259 -1.3127463042784101e-123)-3.141592653589793(-2.3803827146500233e-115 -2.3803827146500233e-115)-2.3803827146500233e-115validvalid00.586921#f
(-2.775299220780014e-234 2.8737303263147018e+147 -1.0380296164262092e+261 2.435617959703448e+263 4.105561590664673e-42)-3.141592653589793(1.5526399802086104e-42 1.5526399802086104e-42)1.5526399802086104e-42validvalid00.639275#f
(2.6835307076481932e-148 2.6191539797865985e+124 -3.3700489851399025e+53 -1.9487163531333467e+305 2.3125507955476337e-306)-3.141592653589793(2.6835307076481932e-148 2.6835307076481932e-148)2.6835307076481932e-148validvalid00.37352#f
(2.5283580295546624e-129 1.033377012330966e+148 -9.304107807755066e+159 2.7813631918047204e+282 -1.3999955058017729e-179)-3.141592653589793(2.5283580295546624e-129 2.5283580295546624e-129)2.5283580295546624e-129validvalid00.347346#f
(-7.07124529773266e-240 1.4039843894213528e+156 9.052164704914734e+258 1.2341144213121277e+163 4.834831548447559e+304)-2.041813943997312(1.0997787095924811 1.0997787095924811)1.0997787095924811validvalid00.274441#f
(5.068951399322999e-106 -8.448600760444311e-302 -2.7619774816237344e+145 -2.7196638547560574e+281 -1.338576299184586e-111)-3.141592653589793(5.068995416413563e-106 5.068995416413563e-106)+nan.0validexit00.338362#f
(-1.0250412645862478e-185 4.400954993852575e+302 5.998161711876771e-150 -5.28279791488627e+307 -3.398941948394563e+280)-2.5327088272937788(0.6088838262960146 0.6088838262960146)0.6088838262960146validvalid00.410565#f
(-2.5602554952928656e-194 6.62498984398598e+80 4.646177004560985e+245 -1.0932402254554247e+146 1.0016354779863622e-122)-3.141592653589793(2.3705723687781477e-122 2.3705723687781477e-122)2.3705723687781477e-122validvalid00.709835#f
(6.461768842814119e-70 -5.637344081975055e+100 1.590399094093274e-235 404131563973182.6 -7.177247705131078e+294)-2.5100780701113803(0.6315145834784128 0.6315145834784128)0.6315145834784128validvalid00.427375#f
(-5.435984030156197e-205 1.53481518868034e-123 1.537887117632409e+46 -3.91453452181595e+64 4.685621132612487e-179)-3.141592653589793(2.994649165569782e-179 2.994649165569782e-179)2.994649165569782e-179validvalid00.5293249999999999#f
(3.860673882272758e-272 -4.030243992769656e-291 5.04216756208673e-67 8.136363999247705e+146 -7.838840668766034e-16)-3.1415926535897927(6.270158849210913e-16 6.270158849210913e-16)6.270158849210913e-16validvalid00.5603910000000001#f
(-1.9592540803349368e-156 -4.3006442136910253e+232 -2.6237436080993825e-71 5.631869536975443e+26 -2.9569878899707945e-213)-3.141592653589793(-1.9592540803349368e-156 -1.9592540803349368e-156)-1.9592540803349368e-156validvalid00.43790700000000005#f
(1.5419053455415424e-183 2.3230787599396774e+261 3.846206291671332e-284 -1.739430228609422e+76 -3.1418878021011087e+305)-2.180577518771503(0.9610151348182904 0.9610151348182904)0.9610151348182904validvalid00.49404#f
(-7.189694286417414e-149 -6.014293511472222e-147 -3.018138521027265e-136 1.4853324139006645e+257 -1.5082876019585734e-249)-3.141592653589793(-7.189694286417414e-149 -7.189694286417414e-149)-7.189694286417414e-149validvalid00.385196#f
(-1.1642045435894048e-166 2.989681081825437e-265 8.827237106822887e-222 -5.419197633439367e+121 7.148660764784234e-125)-3.141592653589793(1.501671124782313e-125 1.501671124782313e-125)1.501671124782313e-125validvalid00.5437839999999999#f
(-3353041.739988597 1.5496067306625906e-252 -3.658277919327502e-242 4.96743119756179e+195 -1.6170392678807974e-127)-3353044.8815812506(-3353041.739988597 -3353041.739988597)-3353041.739988597validvalid00.357333#f
(1.5512658971201411e-229 -3.663452062925014e-9 1.0419847606062954e-104 2.0533334765800192e+277 -2.8000153570526517e-217)-3.141592653589793(1.3761955056870165e-216 1.3761955056870165e-216)1.3761955056870165e-216validvalid00.702355#f
(-1.246878751208809e-306 5.806577658291273e-103 -1.6023256109618843e-85 -150440199.6285586 -6.416337647440505e+96)-3.045545319213893(0.0960473343759004 0.0960473343759004)0.0960473343759004validvalid00.264337#f
(-1.2823880957801772e-250 -7.051914440917338e+86 1.4191334681008905e-247 -4.734820938661301e+223 1389668.1995404307)-2.9873034414014557(0.15428921218833755 0.15428921218833755)0.15428921218833755validvalid00.35255#f
(1.0655787426102817e-302 -3.954240783959954e-304 -1.2163962319115686e+104 -1.1993704055619095e+118 -3.7420169537241486e+174)-2.455253864585435(0.6863387890043582 0.6863387890043582)0.6863387890043582validvalid00.221031#f
(-1.6345733860003755e-210 -7.20277946468856e+189 -3.403331701708252e+286 3.8063869204834514e+77 3.960722213280282e-174)-3.141592653589793(4.165653018107354e-174 4.165653018107354e-174)4.165653018107354e-174validvalid00.353647#f
(1.5052891525883467e-21 -1.485711999251935e+239 2.0125663929255917e+257 -3.278866516783172e+233 -4.354301657956702e+154)-2.8305577462812774(0.311034907308516 0.311034907308516)0.311034907308516validvalid00.46142500000000003#f
(-4.1133875527749074e-97 -2.2260161157817985e+102 1.5995395745808963e+117 2.8070536756760777e+104 -5.9015375170234314e+131)-3.1259208134177685(0.01567184017202457 0.01567184017202457)0.01567184017202457validvalid00.7180380000000001#f
(-2.1764436177641607e-20 -4.186569368320594e-113 -27681572973.621735 -1.6891909485230804e+292 1.8345392229428096e-80)-3.141592653589793(-2.1764436177641607e-20 -2.1764436177641607e-20)-2.1764436177641607e-20validvalid00.353951#f
(2.2681381997009627e-6 -2.679605076582697e-147 4.076421220185209e+204 -2.074645786155396e+147 2.43691335129567e-301)-3.1415903854515936(2.2681381997009627e-6 2.2681381997009627e-6)2.2681381997009627e-6validvalid00.351244#f
(-1.924351278950002e-76 -7.291727623270759e+260 2.4938228118468267e-41 6.400625119698263e+195 1.1763741491221277e-265)-3.141592653589793(-1.924351278950002e-76 -1.924351278950002e-76)-1.924351278950002e-76validvalid00.472844#f
(2.149203010780701e-203 -2.629324311724023e-127 6.736231919587538e-241 9.43301042319904e+35 5.82613056307732e-294)-3.141592653589793(2.149203010780701e-203 2.149203010780701e-203)2.149203010780701e-203validvalid00.232986#f
(-1.2352668538974775e-202 -6.229735481943796e+249 -1.1150585059015715e+194 -6.870721576454405e+159 3.3820955557056706e-98)-3.141592653589793(1.5372661565134455e-98 1.5372661565134455e-98)1.5372661565134455e-98validvalid00.41816#f
(-8.064776579257569e+194 -1.5447313716896974e+285 -5.981904405370222e+155 -1.2985266710638868e+94 -2.598326279287196e+278)-8.064776579257569e+194(-8.064776579257569e+194 -8.064776579257569e+194)+nan.0validexit00.970238#f
(-1.757847290140465e-113 -2.7176642654836416e+296 -5.032924122584844e+230 -7.846785691843218e+260 1.4830351066135777e-182)-3.141592653589793(-1.757847290140465e-113 -1.757847290140465e-113)-1.757847290140465e-113validvalid00.39749799999999996#f
(-4208.663375961282 2.104413096810407e+159 9.360841886776773e+302 1.0474129294556129e+207 2.0816991069459907e+73)-4211.1675451673855(-4208.025952513796 -4208.025952513796)-4208.025952513796validvalid00.797677#f
(2.3088015545763442e-94 -237901.53073236847 -1.2740078465052299e+36 3.148897598123136e+178 5.817054235740127e+28)-1.8144306809895008(1.3271619726002923 1.3271619726002923)1.3271619726002923validvalid00.477247#f
(-1.913837202728521e-45 -9.876797637002837e+124 -6.294707781652723e+103 -1.6573638812408318e+139 4.609358973660859e+224)-2.8240315299358643(0.3175611236539289 0.3175611236539289)0.3175611236539289validvalid00.758108#f
(-5.277605165734483e-151 -4.5858522422841465e-247 2.95329443442881e-152 8.276356008498407e+183 6.723584324396822e+144)-2.8167711007728387(0.3248215528169546 0.3248215528169546)0.3248215528169546validvalid00.656644#f
(-2.203882443686741e-47 -3.995246268207274e-44 -4.113466732378789e-132 -1.8845380800665206e+81 -8.958017592456378e-24)-3.141592653589793(1.5300985622404365e-23 1.5300985622404365e-23)1.5300985622404365e-23validvalid00.512174#f
(7.854809339973633e-165 -6.577397788672605e+269 -5.481952662062305e-55 -1.1317680662517833e+33 2.9550330352793928e+286)-2.850429174080529(0.2911634795092641 0.2911634795092641)0.2911634795092641validvalid00.841916#f
(-1.585983448020179e-297 269797278300251.78 9.771615916906006e+219 -3.488713813528133e+98 2.2215623814097216e-299)-3.141592653589793(-1.5711277083377055e-297 -1.5711277083377055e-297)-1.5711277083377055e-297validvalid00.321108#f
(1.5541150965998452e-223 1.5988597041874647e-67 2.2217821875671242e-288 1.444447382035143e+165 2.3749675378478556e+59)-2.8677208770959717(0.27387177649382133 0.27387177649382133)0.27387177649382133validvalid00.510584#f
(1.133025370211075e-186 2.4736942590479944e-303 9.356486292771196e-71 -3.3524135664859613e+129 4.6620530228208915e+116)-2.837115340444747(0.3044773131450465 0.3044773131450465)0.3044773131450465validvalid00.516987#f
(-2.623667722366653e-74 -1.6986874463849703e-151 -1.015392481202623e+272 9.050133405276381e+116 2.294955260900066e-86)-3.141592653589793(-2.6236677223461034e-74 -2.6236677223461034e-74)-2.6236677223461034e-74validvalid00.469091#f
(1.3056043308213989e-130 6.626992397280452e-125 -3.834920613222703e+234 3.7886942537203404e+90 5.390969174114295e-284)-3.141592653589793(1.3056043308213989e-130 1.3056043308213989e-130)1.3056043308213989e-130validvalid00.35767600000000005#f
(-2.3505233089985344e-269 7.53310110280899e-284 -4.7527580588305616e-55 -4.570342557320008e+31 3.4196297378062174e+165)-2.6142342197662893(0.5273584338235038 0.5273584338235038)0.5273584338235038validvalid00.551419#f
(16975505337.755373 8.667796612612788e+192 4.821361269169224e+147 5.353457945769357e+73 -2.76054659106611e-212)16975505334.613781(16975505337.755373 16975505337.755373)16975505337.755373validvalid00.207286#f
(4.757093317719718e-76 4.624103733810551e-82 1.87102157919858e+138 -2.6887533349269956e-21 -1.8379900040611224e+256)2.678192966760517e-21(2.678192966760517e-21 2.678192966760517e-21)+nan.0validexit00.44844#f
(4.1670076604739695e-145 -2.7059979796701538e+76 4.743525778894849e-174 3.771588553968704e+112 7.428913528904012e+84)-2.0560263836583426(1.0855662699314508 1.0855662699314508)1.0855662699314508validvalid00.43537#f
(-6.785719799220996e-12 4.917733106259686e+293 1.6537397694905699e-128 8.072945974914403e+72 2.088731640995255e-44)-3.141592653596579(-6.785719799220996e-12 -6.785719799220996e-12)-6.785719799220996e-12validvalid00.383722#f
(1.313929317191593e-253 4.809429053462414e-246 1.0098041081280613e+195 2.5774778243984426e+174 2.267636499891318e-284)-3.141592653589793(1.313929317191593e-253 1.313929317191593e-253)1.313929317191593e-253validvalid00.345406#f
(-7.967381138779091e-192 -8.45842653077728e-164 -4.461385205207119e+219 -1.6598476219270002e+283 1.1958681690206272e-227)-3.141592653589793(-7.967381138779091e-192 -7.967381138779091e-192)-7.967381138779091e-192validvalid00.337554#f
(-5.019370817686322e-21 -1.5939756917158841e-65 3.838092034486661e+197 -3.680096194733344e+279 8.816323102703484e+154)-3.0680825652393637(0.07351008835042953 0.07351008835042953)0.07351008835042953validvalid00.764347#f
(-1.8486120158403972e-28 39777598542503220.0 3.955358667515367e-214 -2.08275241630009 -312870926615.55695)-2.5477392575462394(0.5938533960435539 0.5938533960435539)0.5938533960435539validvalid00.41063#f
(-8.857584473515344e-80 -7.27737743543423e+227 1.1902197637093953e-111 121.74638790062183 -8.809936045590865e+148)-2.5406498329200518(0.6009428206697415 0.6009428206697415)0.6009428206697415validvalid00.7485299999999999#f
(3.973254523601887e-305 3.958227080673562e+100 -4.530697860005557e-240 1.1743006874475542e+257 -6.492320730002828e-132)-3.141592653589793(2.4472351906133283e-133 2.4472351906133283e-133)2.4472351906133283e-133validvalid00.741846#f
(108541890431.51372 -5.97317822749144e-294 1.7771297496132683e+79 2.4905325120259566e+272 599997.2822795137)108541890429.8049(108541890432.9465 108541890432.9465)108541890432.9465validvalid00.41527#f
(2.2694219990012304e-282 -1.3423119716523288e+69 -2.834932635471668e-144 4.757078929709617e+256 -5.792422880069706e+180)-1.6041682533820036(1.5374244002077897 1.5374244002077897)1.5374244002077897validvalid00.21442999999999998#f
(1.6779096797805494e+295 -1.0878257333876058e+103 1.8984670795588503e+261 9.188163635494977e-213 -6.072979805861417e+297)1.6779096797805494e+295(1.6779096797805494e+295 1.6779096797805494e+295)+nan.0validexit00.337944#f
(3.358383021915128e-190 -3.0866944183806004e+191 4.619860398933384e+100 -3.0328907535512e+58 3.086084740109459e+168)-2.798563311419435(0.34302934217035846 0.34302934217035846)0.34302934217035846validvalid00.596854#f
(-5.509799973063457e-49 2.6380612943425478e+221 2.025492528128714e-47 55032488560819256.0 5.402010491854038e-239)-3.141592653589793(-5.509799973063457e-49 -5.509799973063457e-49)-5.509799973063457e-49validvalid00.391913#f
(-0.08069765304871668 1.2394116096820616e-239 7.521438243451643e+251 -9236146480.294622 2.2593183510890914e-261)-3.22229030663851(-0.08069765304871668 -0.08069765304871668)-0.08069765304871668validvalid00.339723#f
(-2.02278357974426e-25 1.0035896721808912e+257 -3.26353384516827e-213 -5.886565776997834e+292 -9.341985153181573e-24)-3.141592653589793(3.936262132472864e-23 3.936262132472864e-23)3.936262132472864e-23validvalid01.133422#f
(8.664395246266568e-28 -1.9651418751716912e-144 2.142850088228989e+231 5.138658129308135e+223 -2.6840103818847052e-163)-3.141592653589793(8.664395246266568e-28 8.664395246266568e-28)8.664395246266568e-28validvalid00.173347#f
(2.0349637553082575e-302 1.9318678574166622e+27 -1.153853183970994e-161 6.083908164621192e+139 -1.8691616638843114e+243)-3.109304958973588(0.03228769461620534 0.03228769461620534)0.03228769461620534validvalid00.633031#f
(-5.175011576605932e-138 -1.130888542451657e-72 -1.2299171644998484e+108 -5.564336519283674e+170 -4.164656018531973e-213)-3.141592653589793(-5.175011576605932e-138 -5.175011576605932e-138)-5.175011576605932e-138validvalid00.370681#f
(3.885939289966008e-233 5.028312539938859e-229 4.285173668579929e+232 -5.53570885205464e+74 1.296939380035609e+245)-3.030900310083178(0.11069234350661496 0.11069234350661496)0.11069234350661496validvalid00.621954#f
(-1.84953027379979e-71 -2.75996211861715e+40 4.3955033909506167e+36 -2.962572797364285e+301 1.8529544853912324e-50)-3.141592653589793(2.5919237133584514e-50 2.5919237133584514e-50)2.5919237133584514e-50validvalid00.747216#f
(2.1214618355408154e-165 -1.080345997885564e-191 6.02992527919855e-261 -8.988107018106258e+242 -6.157902965458475e-104)-3.141592653589793(1.2702052220586548e-104 1.2702052220586548e-104)1.2702052220586548e-104validvalid00.6802320000000001#f
(-6.808416098183622e-205 -1.5614889883391115e-96 7.859644882567219e+93 -1.1677703828820232e+293 -2.7900372267020777e-56)-3.141592653589793(2.0637063606661956e-57 2.0637063606661956e-57)2.0637063606661956e-57validvalid00.7440559999999999#f
(-5.640329594367217e-209 -1.0254262517986158e-50 -2.4540120909880232e+140 -3.3495859219594783e+180 -2.8761295239882124e+137)-3.0440258218534084(0.09756683173638482 0.09756683173638482)0.09756683173638482validvalid00.445008#f
(1.4535694797256977e-49 -1.3468792173225548e+167 9.782327805893672e+120 -9.26312774084089e+294 1.539117527234676e-257)-3.141592653589793(1.4535694797256977e-49 1.4535694797256977e-49)1.4535694797256977e-49validvalid00.48153399999999996#f
(-3.22418419278903e-234 -2.4177031644678957e-195 2.1638278872670365e-224 4284325715.4718 -1.8184952974712404e-230)-3.141592653589793(8.130953128345374e-231 8.130953128345374e-231)8.130953128345374e-231validvalid00.49752#f
(-1.9025607179320364e-174 -4.02728092337185e-74 5.588356772724248e-51 -5.376934579786862e+148 -6.621100026746495e+28)-2.394744618010939(0.7468480355788543 0.7468480355788543)0.7468480355788543validvalid00.389729#f
(-2.4211468184325683e-185 5.87405224391781e-33 5.65720883972085e+195 -1.236329966109524e+63 -3.3502982090198926e-246)-3.141592653589793(-2.4211468184325683e-185 -2.4211468184325683e-185)-2.4211468184325683e-185validvalid00.37176499999999996#f
(1.8843009310612275e-76 -1.0714544151639493e-187 -234.24116453899302 3.688791848209034e+201 2.0724695148045638e+28)-2.424712768847466(0.716879884742327 0.716879884742327)0.716879884742327validvalid00.229949#f
(1.4568847378901234e-149 8.122156157477948e+57 1.8250066030942852e-283 -7.336424674803145e+180 1.8585791746492532e-138)-3.141592653589793(8.742640631612029e-139 8.742640631612029e-139)8.742640631612029e-139validvalid00.310458#f
(-6.119353383107429e-94 2.2662718088010485e-142 2.7991188447303333e-47 9.224381640580868e+205 -3.971965603904815e+139)-1.874304443505578(1.2672882100842153 1.2672882100842153)1.2672882100842153validvalid00.1918#f
(1.1802713984537437e+77 1.6257583020274648e+207 3.937099926484198e-190 -5.709313594594947e+185 7.809551654141896e-13)1.1802713984537437e+77(1.1802713984537437e+77 1.1802713984537437e+77)+nan.0validexit00.660118#f
(1.6549673381713993e-53 -2.764234916120063e+60 -8.450645405751315e+132 -4.6745772684508486e+257 -1.042397029439217e-109)-3.141592653589793(1.6549673381713993e-53 1.6549673381713993e-53)1.6549673381713993e-53validvalid00.26380099999999995#f
(-8.102400349906601e-51 -1.4062781431281762e-171 261969170281.14725 1.5402237328996006e+196 -6.037003443507693e-265)-3.141592653589793(-8.102400349906601e-51 -8.102400349906601e-51)-8.102400349906601e-51validvalid00.34078400000000003#f
(3.9436142555315514e-116 3.811688167567691e-152 -3.299842747470232e-168 -3.4378477398999013e+24 -5.271392428511669e-5)-3.141577236908503(1.541668129049426e-5 1.541668129049426e-5)1.541668129049426e-5validvalid00.420099#f
(-1.6593505795774288e-113 -1.6532495887908177e-102 -6.977557850637457e+218 1.2759826650074076e+83 3.440364516894946e-253)-3.141592653589793(-1.6593505795774288e-113 -1.6593505795774288e-113)-1.6593505795774288e-113validvalid00.292913#f
(4.0902537751835626e-57 -2.4160577171724135e-217 -1.5989293061827207e-144 -2.1778792162075674e+176 -6.805084017030367e+137)-2.1489068966643576(0.9926857569254358 0.9926857569254358)0.9926857569254358validvalid00.331023#f
(5.329083696802794e-40 4.496899160576159e+117 -3.6224366856262404e+62 -2.2632061499828775e+269 9.622633424470403e-96)-3.141592653589793(5.329083696802794e-40 5.329083696802794e-40)5.329083696802794e-40validvalid00.419355#f
(-6.912619357542221e-221 -1.833249346789294e+196 -1.1337944865266947e-17 -8.988918536576046e+300 -9.388693034938588e-99)-3.141592653589793(2.432248006480877e-98 2.432248006480877e-98)2.432248006480877e-98validvalid00.749892#f
(-9.65966879192638e-208 -3.445554707079132e+229 -3.0583332067800804e-200 1.8535713144443487e+183 -2.1015442298209502e+126)-2.2785572458663275(0.8630354077234655 0.8630354077234655)0.8630354077234655validvalid00.729057#f
(-1.0947535795385201e-58 -2.7862889592435945e-239 1.7465840383161004e-191 -1.878247154350131e+302 4.185671969136039e+199)-3.141531118153817(6.153543597641931e-5 6.153543597641931e-5)6.153543597641931e-5validvalid01.001568#f
(-3.34352409992183e-82 1.6241237252218735e+183 1.1950865790737245e-53 8.760082840886101e+133 4.323686091495696e+99)-2.9684046908183896(0.17318796277140372 0.17318796277140372)0.17318796277140372validvalid00.941524#f
(-3.1860007751564047e-44 9.881792764512104e-195 1.9532052953796227e-241 -4.65734641628921e+275 2.0830615651891635e-279)-3.141592653589793(-3.1860007751564047e-44 -3.1860007751564047e-44)-3.1860007751564047e-44validvalid00.205486#f
(-1.821776534200643e-215 1.0038138346478069e-206 -3.696512756640289e+52 1.3897901591760944e+222 -5.074010591898165e-43)-3.141592653589793(4.318280777008868e-43 4.318280777008868e-43)4.318280777008868e-43validvalid00.294858#f
(-1.863852551597574e-86 1.2112079512199502e+87 2.919749892233776e+267 -1.0982622462876314e+86 3.00140193941193e-278)-3.141592653589793(-1.863852551597574e-86 -1.863852551597574e-86)-1.863852551597574e-86validvalid00.194985#f
(5534.4435393682 -7.410661188039573e-231 390011837661298.94 -443672888954288.75 -5.8448900074994486e+81)5532.085395028598(5535.226987682188 5535.226987682188)5535.226987682188validvalid00.19409099999999999#f
(7.742904835300811e-187 -3.138315708514627e+109 629135968378936.3 2.376957276725654e+150 -2.5907982303586975e-276)-3.141592653589793(7.742904835300811e-187 7.742904835300811e-187)7.742904835300811e-187validvalid00.252722#f
(2.3927662908634265e-152 -5.24965620085189e+41 -3.914288424400846e-303 -4.096279168198948e-112 9.179806460288245e+154)-4.221600240921828e-112(-4.221600240921828e-112 -4.221600240921828e-112)+nan.0validexit00.574782#f
(-2.494639015410172e-22 6.113274779294621e-93 1.2879962323391629e-272 -9.310118582407912e+38 4.789763465294479e-154)-3.141592653589793(-2.494639015410172e-22 -2.494639015410172e-22)-2.494639015410172e-22validvalid00.350294#f
(9.892894949186937e-114 -2.1103696959837585e-120 1.7520913650950915e+59 7.69053484514179e+57 -6.91680720025936e-220)-3.141592653589793(9.892894949186937e-114 9.892894949186937e-114)9.892894949186937e-114validvalid00.339541#f
(-1.3551236376958297e-135 -8.300484411571896e+92 -2.0566978211251584e-96 3.191714429214452e+207 -3.248808504546123e+71)-2.105924437334634(1.0356682162551591 1.0356682162551591)1.0356682162551591validvalid00.464185#f
(4.3673690440336025e-302 5.441744262971909e-98 5.321748253176059e-123 2.0017740187993886e+56 -1.4447926155330149e+197)-2.0563280678831237(1.0852645857066694 1.0852645857066694)1.0852645857066694validvalid00.342324#f
(3.405363378654032e-145 -1.5289463196608198e-269 -1.0171742206168253e+63 -8.68364131452134e+276 9.542305949277175e-291)-3.141592653589793(3.405363378654032e-145 3.405363378654032e-145)3.405363378654032e-145validvalid00.31167#f
(-2.0132461945041752e-60 6.811143639463922e+22 1.2917369511167812e+147 2.490139647615894e+271 -1.0198940945693995e-259)-3.141592653589793(-2.0132461945041752e-60 -2.0132461945041752e-60)-2.0132461945041752e-60validvalid00.403738#f
(-6.241140974417481e-199 -2.226912021602435e+75 -4.897586978593265e-241 1.4140533891076232e+32 -2.2633687277693513e-205)-3.141592653589793(-6.241140510339098e-199 -6.241140510339098e-199)-6.241140510339098e-199validvalid00.489287#f
(2.434555758337589e-6 1.5842697638266118e-127 -1.7325753992257644e-295 5.4752639508987874e+91 -2.04421581223682e+198)-3.05159113057388(0.09000152301591349 0.09000152301591349)0.09000152301591349validvalid00.568265#f
(-4.081780315858057e-297 -9.268571246642134e-17 4.5041582985807315e-247 -5.980721719673177e+170 -3.0077927952498307e+82)-2.1869845983490963(0.954608055240697 0.954608055240697)0.954608055240697validvalid00.35374300000000003#f
(-8.573562845964173e-89 -1.3755151845157006e+97 1.8767427059329872e+68 2.3175154569657035e+89 2.058758533062229e+34)-3.1093296856303807(0.03226296795941246 0.03226296795941246)0.03226296795941246validvalid00.559504#f
(4.637676341497069e-29 8.940426578505745e-50 -3.0171847272635553e-127 -9.951967028886852e+167 -1.806307490887272e+272)-2.2442394881300793(0.8973531654597138 0.8973531654597138)0.8973531654597138validvalid00.723131#f
(-1.4207280866764152e-271 -9.197763691864801e+126 4.898439961395171e-259 1.4474565707671889e+26 -1.6372226459185595e+87)-3.02311341114204(0.11847924244775339 0.11847924244775339)0.11847924244775339validvalid00.555193#f
(-9.318942580994459e-132 -8.106270730645098e-28 8.868800132075504e-77 -2.012643710799278e+260 -1.8807813046489933e+96)-3.118937027950724(0.022655625639069307 0.022655625639069307)0.022655625639069307validvalid00.623051#f
(-1.299904798791273e-73 5.4616870285361854e+60 -7.894512966831655e-168 -5.415205144668439e+62 3.5878905408631387e+78)-2.396243527468454(0.7453491261213391 0.7453491261213391)0.7453491261213391validvalid00.503965#f
(1.3980346338412142e-88 -3.0705283637869673e+124 1.316428366893409e-197 -3.753829040495118e+122 1.1060184199408187e+109)-2.3649492511530803(0.7766434024367131 0.7766434024367131)0.7766434024367131validvalid00.376889#f
(2.8605673329462426e-294 -5.739025286729492e+91 2.3413053731256492e-204 1.7146476934380008e+188 4.3433775901511935e-66)-3.141592653589793(1.5585920155015944e-65 1.5585920155015944e-65)1.5585920155015944e-65validvalid00.610912#f
(2.276106988043631e-54 2.2807424604091465e+244 -4.277027249813669e-53 3.163435328087816e+226 7.266745660815597e-11)-3.1415926535385963(5.1196849629970536e-11 5.1196849629970536e-11)5.1196849629970536e-11validvalid01.049134#f
(-7.884372978327738e-157 1.7976485893276178e+231 -2.2268733768110423e+110 -3.836825432721393e+68 5.605319782136626e-139)-3.141592653589793(6.137971073179624e-139 6.137971073179624e-139)6.137971073179624e-139validvalid00.38947#f
(6.503181906444394e-122 -3.0738097947758274e+40 8.974286063803756e-182 -361266307136.3649 2.790539457976348e+90)-1.8426130654322703(1.2989795881575228 1.2989795881575228)1.2989795881575228validvalid00.241091#f
(5.2229206102026555e-186 1.5852868282531318e+21 1.848088656391742e-28 39170472152.673164 7.553758161783148e-155)-3.141592653589793(6.343095525008111e-155 6.343095525008111e-155)6.343095525008111e-155validvalid00.254293#f
(-4.6730658780737643e-181 -1.2874795632568445e+223 3.381598555986417e+150 -2.6699579442062787e+25 5.04677313943959e+162)-2.929670610667827(0.21192204292196604 0.21192204292196604)0.21192204292196604validvalid00.34886#f
(-8.354921081463668e-277 1.6415351888643557e+52 8.014222029628474e+206 1.6893145140335677e+131 1.1873589288253782e+150)-2.7319133905566844(0.4096792630331091 0.4096792630331091)0.4096792630331091validvalid00.346136#f
(1.0078642178274944e-265 1.6751061219299305e+265 -3.314372457256392e+273 1.924283325611871e-208 7.810949146362782e+115)-2.5622175727178663e-208(-2.5622175727178663e-208 -2.5622175727178663e-208)+nan.0validexit00.79647#f
(1.248339929589806e-251 2.247942254558425e-206 -3.8481326718201316e+117 -4.441471945466471e+88 -1.0881040483516358e-174)-3.141592653589793(3.0289811042753066e-175 3.0289811042753066e-175)3.0289811042753066e-175validvalid00.494831#f
(-2.37430524173499e-172 7.478220396243527e-269 5.314418110043921e-5 3.610634286474926e+55 -7.876251494344587e-256)-3.141592653589793(+nan.0 +nan.0)-2.37430524173499e-172validvalid00.50689#f
(-1.471438223775054e-88 3.28640936226264e-73 -3.834382035946051e+288 1.773170603185328e+130 -7.391913419676053e+205)-1.756488737136432(1.3851039164533614 1.3851039164533614)1.3851039164533614validvalid00.444553#f
(-6.519272019767888e-115 2.1973060690675917e-214 3.093166438148439e+31 -1.60309897558531e+170 7.077245027288591e+197)-2.98546717108233(0.15612548250746336 0.15612548250746336)0.15612548250746336validvalid00.834661#f
(-1.8725867967123889e-78 1.688744596097649e-147 2.3455653929426885e-290 -3.1718776222872856e+258 4.3182405281190014e-237)-3.141592653589793(-1.8725867967123889e-78 -1.8725867967123889e-78)-1.8725867967123889e-78validvalid00.438332#f
(-2.8499472754306146e-183 -3.0325162121349455e+100 -1.0805325445403252e+306 -1.565843446898434e+202 2.997881236018534e+223)-2.729623914313708(0.41196873927608546 0.41196873927608546)0.41196873927608546validvalid01.109291#f
(1.2160817703034101e-273 -3.9620684712976396e-41 -3.129021939724917e+252 -4.304538076362056e+270 1.4659980983609047e+148)-2.087194979569608(1.0543976740201855 1.0543976740201855)1.0543976740201855validvalid00.464882#f
(7.441274058309056e-123 2.4455168733276715e-70 -1.2046144330390231e+30 3.443814431648643e+184 9.797637187780218e-301)-3.141592653589793(7.441274058309056e-123 7.441274058309056e-123)7.441274058309056e-123validvalid00.45683399999999996#f
(-2.6761176355079023e-64 3.260352534183668e-183 1.5824030903073423e-258 -9.76906756138742e+189 -1.888934558818848e-257)-3.141592653589793(-2.6761176355079023e-64 -2.6761176355079023e-64)-2.6761176355079023e-64validvalid00.382764#f
(-6.274490067784711e-232 1.480192580721085e-224 4.666935360709712e+138 6.461914842540813e+33 282824059902609200.0)-1.7051705064945528(1.4364221470952405 1.4364221470952405)1.4364221470952405validvalid00.372445#f
(1.8703177524453993e-292 -2.9907995668135015e-40 2.126250165833848e+205 731366581634542700.0 -2.2891589924999964e+191)-0.09079890730722896(-0.09079890730722896 -0.09079890730722896)+nan.0validexit00.566567#f
(-2.5409506371028264e-216 -27353619006491185000.0 3.8068312369530077e+177 -1.8661897892099072e+278 4.780890066894783e+70)-1.840704825681702(1.3008878279080913 1.3008878279080913)1.3008878279080913validvalid00.379484#f
(-2.013935012999217e-113 -6.470100131573677e+251 -3.3258969927400024e+187 113296.22982245253 -3.1369845274931692e+88)-2.32093359075177(0.8206590628380233 0.8206590628380233)0.8206590628380233validvalid00.682317#f
(-3.210882928854468e-39 -1.4099363525977488e-15 -1.7671028647417294e+129 -8.567201502606647e+111 6.12314165535457e+294)-3.1179868701758857(0.023605783413907403 0.023605783413907403)0.023605783413907403validvalid00.595298#f
(-1.3448743899674558e+109 -1.5580071544970692e+138 1.5534627418142153e+186 -2.623456651591144e+254 -1.8954549650905816e-172)-1.3448743899674558e+109(-1.3448743899674558e+109 -1.3448743899674558e+109)+nan.0validexit00.653602#f
(7.680510051688414e-207 -2.4556868820031267e-132 5.254928709336392e-69 1.65404451934785e+101 -2.4340508972881762e-303)-3.141592653589793(7.680510051688414e-207 7.680510051688414e-207)7.680510051688414e-207validvalid00.36666#f
(4.108663193841166e-56 -4.636373148843358e-162 2.0762995157165519e+201 1048136857282.8207 -4.938748592111548e-282)-3.141592653589793(4.108663193841166e-56 4.108663193841166e-56)4.108663193841166e-56validvalid00.214608#f
(-2.0760253456996497e-151 2.751644943529648e-15 1.424825978614548e-85 3.7790968837188024e+142 -2.75654045120923e+285)-2.7775767431666534(0.36401591042313997 0.36401591042313997)+nan.0validexit00.334472#f
(33.972875972433904 1.0008276882495173e+284 1.8116139715554467e-297 2.762613725193236e+173 1.916031752168191e-148)30.83128331884411(33.972875972433904 33.972875972433904)33.972875972433904validvalid00.210017#f
(2.8950058654740103e-235 -2.9097419312465265e-176 -1.1747700064412695e-73 1.0233314971065946e+177 -3.0931888713764802e-53)-3.141592653589793(8.394184976154851e-53 8.394184976154851e-53)8.394184976154851e-53validvalid00.291965#f
(-8.851434494705684e-148 8.142619989456762e-22 1.2765615712950427e+157 -6.750437817820857e+66 1.0479325948038808e-120)-3.141592653589793(3.7026163615132714e-121 3.7026163615132714e-121)3.7026163615132714e-121validvalid00.247214#f
(-1.2539622422346974e-282 -1.521992272430326e+21 6.728103370832672e+93 4.030771497744189e+131 -5.8317442960392165e+107)-2.1151657106273976(1.0264269429623958 1.026426942962396)1.0264269429623958validvalid00.22504600000000002#f
(4.39070954887667e-293 1.342346781730341e-71 4.4334702440357716e-222 3.636327831561604e+121 -1.808589277945553e+58)-1.925705377757322(1.2158872758324712 1.2158872758324712)1.2158872758324712validvalid00.40256899999999995#f
(-6.03162050889439e-14 -7.954502731923467e+187 -2.685715166429703e+24 -8.839534212860254e+109 -3.421863856710752e+279)-2.6568209644299388(0.4847716891598546 0.4847716891598546)0.4847716891598546validvalid01.002754#f
(-5.172787392427335e-146 8.46821106996021e+190 -1.32454728621666e-261 -4.205186658126031e+45 9.165855914719538e+45)-2.0593090039702733(1.08228364961952 1.08228364961952)1.08228364961952validvalid00.231142#f
(2.4079339489024286e-120 -1.510743650090975e+241 2.408575210401577e+231 7.479418370876664e+63 -9.82407033846652e-167)-3.141592653589793(2.4079339489024286e-120 2.4079339489024286e-120)2.4079339489024286e-120validvalid00.235156#f
(-6.279042859443385e-181 8.397520964689515e-84 2.4479226732009046e+266 -3.1472103374777424e+88 3.9348451222683127e+142)-1.6973018603943828(1.4442907931954103 1.4442907931954103)1.4442907931954103validvalid00.36251300000000003#f
(-2.0857382739547896e-208 -1.4820822150030552e-89 2.580641119370042e-109 -1.3790645206788424e+91 1.1630570382459985e-150)-3.141592653589793(+nan.0 +nan.0)2.3992383721744427e-150validvalid00.6709529999999999#f
(-11695910055.885624 1.455080463309588e-63 -8.4669250472922e+85 1.7723553494474048e+104 4.1559108272155903e+37)-11695910058.367268(-11695910055.225676 -11695910055.225676)-11695910055.225676validvalid00.268677#f
(-1.0163860366081345e-153 -1.5537838620917183e+277 3.029219242489432e+114 7.3856872379078754e+283 4.8256433189549555e-216)-3.141592653589793(-1.0163860366081345e-153 -1.0163860366081345e-153)-1.0163860366081345e-153validvalid00.42734700000000003#f
(5.264895775665353e-43 -6.468578729326881e-264 6.598185272886052e+215 1.922552562584979e+224 -9.011705350255747e-119)-3.141592653589793(5.264895775665353e-43 5.264895775665353e-43)5.264895775665353e-43validvalid00.454231#f
(3.8500399384648505e-151 -3.681786758359633e-208 1.339084087198152e+42 1.7259495117085151e+202 4.493617056058399e+112)-1.9428388590134151(1.1987537945763782 1.1987537945763782)1.1987537945763782validvalid00.47297399999999995#f
(7426078694010995.0 -2.5705143868843715e+267 -3.142822482060328e-69 1.8670668488434806e+51 -1.0839380189442423e-58)7426078694010992.0(7426078694010995.0 7426078694010995.0)7426078694010995.0validvalid00.39962899999999996#f
(1.596977765267929e-280 -2.3106620986848777e-227 0.1791779458223164 3.607482556604313e+169 1.7804218061218845e-7)-3.1415924018905153(2.5169927794966294e-7 2.5169927794966294e-7)2.5169927794966294e-7validvalid00.675466#f
(-6.162548705781521e-91 5.57600919334843e+127 -4.173289420916118e+274 -7.073237418637181e+270 2.0508211688332336e-23)-3.141592653589793(2.4594081181738435e-23 2.4594081181738435e-23)2.4594081181738435e-23validvalid00.9716940000000001#f
(-3.808930286174907e-255 1.6744628167067582e-180 -1.3892343332209895e-241 -3.7817032741414345e+99 -4.288566583912033e-287)-3.141592653589793(-3.808930286174907e-255 -3.808930286174907e-255)-3.808930286174907e-255validvalid00.375328#f
(1.0092303731570293e-51 6.643842749217414e-84 2.6133853256463855e-201 -2.6656277029120316e+189 4.413601390734687e-82)-3.141592653589793(1.0092303731570293e-51 1.0092303731570293e-51)1.0092303731570293e-51validvalid00.348609#f
(-4.1112155939032795e-175 -6.137774380758873e+208 -1.3318548532577453e+145 2.143128534141438e+55 6.05341578120265e+122)-2.378868606524442(0.7627240470653511 0.7627240470653511)0.7627240470653511validvalid00.454021#f
(-51365980470258.234 7.399065377923362e-219 -2.0874848153203913e+125 2.774726614267814e+216 -2.074225014710809e+256)-51365980470261.37(-51365980470258.23 -51365980470258.23)-51365980470258.23validvalid00.651847#f
(-9.897480836100524e-279 -2.051131548385698e-160 -4.734330182695521e-165 -4.549263292225782e+201 -6.938950570436745e+187)-2.603426919952138(0.5381657336376553 0.5381657336376553)0.5381657336376553validvalid00.832732#f
(1.3353337063428284e-48 -6.535083106765765e-78 1.5427853399507132e+226 8.157584113776012e+305 871644116.0703253)-1.8500960525928898(1.2914966009969036 1.2914966009969036)1.2914966009969036validvalid00.308124#f
(-5.925976996066929e-68 7.147877082589988e+38 326.7729068598341 1.8490776821997562e+26 -3.1045296190423535e+299)-2.679794243062826(0.46179841052696724 0.46179841052696724)0.46179841052696724validvalid00.564129#f
(-1.5505116846759296e-114 -3.4389493100518615e-95 -7.894448971844197e-197 -1.7466254292977198e+114 -1.7137597607720078e-264)-3.141592653589793(-1.5505116846759296e-114 -1.5505116846759296e-114)-1.5505116846759296e-114validvalid00.270181#f
(-7.605101164093263e-161 3.805245233839046e+42 -4.90243592924106e-52 -7.391926990534226e+255 -2.806849367310453e-277)-3.141592653589793(-7.605101164093263e-161 -7.605101164093263e-161)-7.605101164093263e-161validvalid00.33568#f
(2.674193412178547e-121 -1.1028729796546483e-98 -1.0388607810989076e-277 -4.4835899285475475e+41 1.5486398406363232e+208)-2.3695413542534385(0.7720512993363549 0.7720512993363549)0.7720512993363549validvalid00.299906#f
(-2.0413887964309567e-139 -3.267583794990652e-238 2.976693798603064e-89 4.821972572202424e+127 -4.094491057604548e-38)-3.141592653589793(3.4087750951561464e-38 3.4087750951561464e-38)3.4087750951561464e-38validvalid00.422599#f
(7.922400723646157e-99 5.376043247248399e+235 5.324960497546727e+37 5.346180728932364e+82 4.50848529180067e+103)-2.6021709397466983(0.5394217138430949 0.5394217138430949)0.5394217138430949validvalid00.48052700000000004#f
(-1.6493428012740605e-119 1.0055886142247254e+30 -5.329670586895796e+79 6.657957925856693e+52 1.0476513581909666e+226)-2.4600347908580007(0.6815578627317925 0.6815578627317925)0.6815578627317925validvalid00.749305#f
(-3.8514424875751695e-259 -1.2313323266769892e-214 5.955003375189657e-182 -1.3257970854993995e+213 -6.866773047468085e+236)-2.102967802807032(1.0386248507827613 1.0386248507827613)1.0386248507827613validvalid00.332045#f
(-1.0269801631196587e-145 4.543571555532661e+69 1.2228688441058975e+75 -4293842350896871.0 -1.0517158207943265e+51)-2.763360426399927(0.3782322271898664 0.3782322271898664)0.3782322271898664validvalid00.330078#f
(7.516637986010347e-308 3.306826805147497e-171 -3.346240312537026e-298 1.674435899462574e+99 -1.0826373424281726e-90)-3.141592653589793(7.453940099230792e-91 7.453940099230792e-91)7.453940099230792e-91validvalid00.424462#f
(8.553724654994429e-146 -1.6595196723181246e-202 -3.755382491324492e+137 5346047599660.132 9.293889904664572e+215)-2.983158293523074(0.15843436006671924 0.15843436006671924)0.15843436006671924validvalid00.476007#f
(-2.526110608748098e-224 -7.12644562026809e+158 2.7578304389871554e-186 3.85244819119525e+278 1.0145279373448816e+199)-2.0330438444983647(1.1085488090914284 1.1085488090914284)1.1085488090914284validvalid00.490126#f
(3.0494810136129635e-161 1031199066377615700.0 -7.471487543056865e-102 -1.0914783717532533e+170 -1.7555246495540592e+146)-1.9560321867944008(1.1855604667953925 1.1855604667953925)1.1855604667953925validvalid00.461934#f
(-2.076072708097961e-272 2.002369479656931e+87 -6.739404186745877e-242 -3.3347791400928265e-36 -2.7041512623990135e+165)1.520087177818367e-36(1.520087177818367e-36 1.520087177818367e-36)+nan.0validexit00.583309#f
(35.556165405026626 -5.511463037289937e+232 -8.692280937579848e+30 -4.762244756318649e+121 1.568560408825377e-255)32.41457275143683(35.556165405026626 35.556165405026626)35.556165405026626validvalid00.344619#f
(6.0386103612246944e-263 -3.1073334146966547e-71 3.596548013021327e+130 4.44935393516044e-290 -2.8937568665037482e-303)6.0386103612246944e-263(6.0386103612246944e-263 6.0386103612246944e-263)+nan.0validexit00.433653#f
(1.1180842473143737e-235 -2.5484632568417453e+126 -2.1174391237902676e+39 -1.2931999527077901e+114 2.7314512827279614e-62)-3.141592653589793(1.3700546524986946e-61 1.3700546524986946e-61)1.3700546524986946e-61validvalid00.500018#f
(1.284758738015806e-61 1016.3110360671166 -0.05643575051116761 -2.523460875898518e+45 1.3276679428575166e-153)-3.141592653589793(1.284758738015806e-61 1.284758738015806e-61)1.284758738015806e-61validvalid00.5036109999999999#f
(1.1674260356060887e-107 -1.1033774683161247e-256 -5.517800148111472e-295 -6.7625455939341535e+125 -5.823311866124508e-44)-3.141592653589793(4.699163552655569e-44 4.699163552655569e-44)4.699163552655569e-44validvalid00.43988900000000003#f
(-6.895566632344551e-197 3.110929008093762e-76 -5055871432443738000.0 -24917494504081.418 -1.6658965035438217e-15)-3.1415926535897887(4.4396984874560555e-15 4.4396984874560555e-15)4.4396984874560555e-15validvalid00.441915#f
(1.2934122132227989e-105 1.0440581609140783e+261 4.720344566851918e+188 2612621.1164962887 3.1978066821367186e-72)-3.141592653589793(1.362946999662109e-72 1.362946999662109e-72)1.362946999662109e-72validvalid00.810191#f
(-5.6693156891267714e-46 -1.2200069150449234e+58 13700.702952728698 8.005856331863038e+104 -8.014193058871193e+283)-2.6272186693733715(0.5143739842164219 0.5143739842164219)0.5143739842164219validvalid00.614409#f
(3.8274589313140562e-236 7.778048834565052e-205 1.8759939646906595e+238 -6.276818905889337e+78 1.0646269419431783e-250)-3.141592653589793(3.827458931314059e-236 3.827458931314059e-236)3.827458931314059e-236validvalid00.38967500000000005#f
(-8.063488472072187e-306 9.755260197520671e+274 1.8474821334617298e-198 -5.454341502341196e+118 1.5576539280323138e-6)-3.1415911123451403(1.5412446531237007e-6 1.5412446531237007e-6)1.5412446531237007e-6validvalid00.65467#f
(1.143962111023625e-159 -4.7000227056891895e+259 -5.115090911694349e-111 -8.79972056362473e+80 -5.092571708032987e-306)-3.141592653589793(1.143962111023625e-159 1.143962111023625e-159)1.143962111023625e-159validvalid00.43493699999999996#f
(1.490776439897801e-272 5.574217604528738e-284 -1.2705987447491964e-156 -1.635211235571244e+276 7.846773538910735e+85)-0.29396123486880466(-0.29396123486880466 -0.29396123486880466)+nan.0validexit00.66801#f
(1.554785946679449e-25 -4.7923443079677945e+181 7.568448203024555e-236 -5.564899112558415e+244 8.59673184537941e-95)-3.141592653589793(1.554785946679449e-25 1.554785946679449e-25)1.554785946679449e-25validvalid00.367303#f
(-6.715043514791619e-175 130087608745832.2 -4.9548741274509285e-60 -5.57123513458306e+258 1.842201894815019e-157)-3.141592653589793(3.131597642530588e-155 3.1315976425305894e-155)3.1315976425305886e-155validvalid00.6476770000000001#f
(6.8300340785116945e-28 6.376373089619364e-203 1.4348417624499613e-82 8.136151852659617e+306 -9.643373091394652e+118)-3.081826759084548(0.0597658945052452 0.0597658945052452)0.0597658945052452validvalid00.511118#f
(-3.4766170517909433e-137 2.7179952081236215e-199 1.3323171613017243e-55 -1.6324932898424543e+203 4.406427468174615e-306)-3.141592653589793(-3.4766170517909433e-137 -3.4766170517909433e-137)-3.4766170517909433e-137validvalid00.349926#f
(-2.681753212588382e-11 -3.975123285098631e-41 3.001729785189281e-153 7.161655679025836e+260 5.041729274159101e+43)-2.2006300430470076(0.9409626105427855 0.9409626105427855)0.9409626105427855validvalid00.415085#f
(1.7276223788554368e-153 2.867305245393705e-40 -2.4163070760771423e+194 -2.1427313367647306e+27 -9.519452671221996e+254)-2.5903777125607785(0.5512149410290146 0.5512149410290146)0.5512149410290146validvalid00.607371#f
(2.2373392986355698e-92 -1.149757997090567e+107 3.679884241680831e+42 1.870648680064908e+224 -1.541385355821677e-303)-3.141592653589793(2.2373392986355698e-92 2.2373392986355698e-92)2.2373392986355698e-92validvalid00.34420300000000004#f
(4.0109214884810746e-212 -2.9378854053896146e-173 -2.0412964703953392e+62 -1.1399728812928365e-196 2.6223845601591587e-116)4.0109214884810746e-212(4.0109214884810746e-212 4.0109214884810746e-212)+nan.0validexit00.414374#f
(-336098357399786.25 -1.2854914557425227e-67 2.759943724368686e-150 -1.461139008213789e+151 -2.0952539275339232e-225)-336098357399789.4(-336098357399786.25 -336098357399786.25)-336098357399786.25validvalid00.181084#f
(-2.654615883393134e-236 1.2377326349156564e-203 -2.443735325979668e+219 -1.0662929599201444e+137 -7.423422761248547e-181)-3.141592653589793(1.205916778480185e-181 1.205916778480185e-181)1.205916778480185e-181validvalid00.2795#f
(1.7027629265435019e-178 1.4633224441693958e+26 5.709951858876689e-72 -1.228698768893693e+113 -5.7153767912547346e+82)-2.2335111316250615(0.9080815219647318 0.9080815219647318)0.9080815219647318validvalid00.214883#f
(-4.5073191648686885e-37 -3.314003147226698e+304 0.2955783187212637 4.3861759517496806e+204 1.7241575164064752e-211)-3.141592653589793(-4.5073191648686885e-37 -4.5073191648686885e-37)-4.5073191648686885e-37validvalid00.28793599999999997#f
(1.506649166801806e-204 -3.719387111878836e+116 6.411953850778714e-134 -4.5015190644788587e+260 -1.3602351006940884e-17)-3.141592653589793(1.496400405848959e-17 1.496400405848959e-17)1.496400405848959e-17validvalid00.39557699999999996#f
(-6.673043082769075e-69 5.313921617248149e+131 -2.0743089267698145e+269 -1.0700333222326592e+58 3.2088224036451913e-135)-3.141592653589793(-6.673043082769075e-69 -6.673043082769075e-69)-6.673043082769075e-69validvalid00.211054#f
(-6.158903221123896e-41 1.5858780920703462e-63 -5.319447135122128e-129 -4.660643063272006e+153 3.9767349379417633e-165)-3.141592653589793(-6.158903221123896e-41 -6.158903221123896e-41)-6.158903221123896e-41validvalid00.268344#f
(7.617158780580106e-300 4.66950987765318e-220 2.1015025558210465e+294 -6.757523771871257e+202 -6.614677048556052e-132)-3.141592653589793(4.0786720073131425e-132 4.0786720073131425e-132)+nan.0validexit00.5340539999999999#f
(4.310174844092254e-139 3.0890773245811086e-39 3.603907065911757e-273 -4.1476523608900585e+113 2.0973072614036985e-89)-3.141592653589793(3.044855494641552e-88 3.044855494641552e-88)3.044855494641552e-88validvalid00.617998#f
(6.39957885641708e-75 3.495256489410513e+75 -90979996486185.72 -4.544584858829227e+164 9.71371906891192e-294)-3.141592653589793(6.39957885641708e-75 6.39957885641708e-75)6.39957885641708e-75validvalid00.39602099999999996#f
(-10584465329541.732 7.394597922921039e-164 -4.8604681373253874e-23 -6.573723664664725e+239 -1.233132495131234e-188)-10584465329544.873(-10584465329541.732 -10584465329541.732)-10584465329541.732validvalid00.34290600000000004#f
(1.599114860165099e-264 -9.109917545254998e-57 2.741768392271842e-13 1.2427945099719557e+192 3.7350105357847445e+107)-2.1205956957192034(1.0209969578705897 1.0209969578705897)1.0209969578705897validvalid00.36852100000000004#f
(1.5483342712600387e-244 -3.464922183894482e-120 3.818122920557653e+223 -1.9415581024560445e+167 4.1358231112757694e-231)-3.141592653589793(8.92785792731352e-232 8.92785792731352e-232)8.92785792731352e-232validvalid00.61709#f
(4.043415374518022e-83 1.166116232706885e-223 4.0671847543481034e-39 -6.042038991233069e+171 -2.1698394702649996e-215)-3.141592653589793(4.043415374518022e-83 4.043415374518022e-83)4.043415374518022e-83validvalid00.309218#f
(-4.233895281564868e-217 7.241138974461379e-98 4.701940813450501e+262 -1.175543329229501e+61 -2.133771623121247e+228)-2.5937525207729086(0.5478401328168844 0.5478401328168844)0.5478401328168844validvalid00.300597#f
(-5.6686454622725876e-216 2.740970107508336e+298 -7.409081827728743e-301 -1.408901829231803e+44 -1.5772193575706186e-80)-3.141592653589793(5.2404434206358255e-80 5.2404434206358255e-80)5.2404434206358255e-80validvalid00.366879#f
(-3.096461747390823e-71 -1.8925446753352798e-122 2.7316929830750745e+108 -2.747103351344562e+215 1.5372906040161838e-143)-3.141592653589793(-3.096461747390823e-71 -3.096461747390823e-71)-3.096461747390823e-71validvalid00.280661#f
(3.0429501427081807e-201 9.573808201913721e-220 5.6729112883590386e+45 1.7411964337515612e+244 -1.1367577163802498e-218)-3.141592653589793(3.0429501427081807e-201 3.0429501427081807e-201)3.0429501427081807e-201validvalid00.5477080000000001#f
(228293846.61909142 1.7213033276463045e-282 9.84341588531086e-12 5.55008368690558e+155 3.197808922476909e-76)228293843.47749877(228293846.61909142 228293846.61909142)228293846.61909142validvalid00.204691#f
(-6284843848778575.0 2.7236552040214507e+57 2.31306830330707e+50 -6.918034502623084e+253 -2.384089567442068e+92)-6284843848778577.0(-6284843848778574.0 -6284843848778574.0)-6284843848778574.0validvalid00.299059#f
(-5.506565652162938e-285 -3.3711258023748766e+34 -7.718736335529332e-172 2.146712003331857e+306 1.2280557989582051e-132)-3.141592653589793(3.3009619182187375e-132 3.3009619182187375e-132)3.3009619182187375e-132validvalid00.631553#f
(3.542845676697938e-110 -2.100338571408327e-62 2.0239027337176863e+232 -4.00743096930794e+75 2.6471656030602606e+255)-1.898415032745623(1.2431776208441703 1.2431776208441703)1.2431776208441703validvalid00.33091400000000004#f
(4.047062973595597e-168 2.7504858374929028e+197 -1.6700047449063452e+185 5.2954615608322956e+303 1.1133132167287082e-296)-3.141592653589793(4.047062973595597e-168 4.047062973595597e-168)4.047062973595597e-168validvalid00.238099#f
(-1.749167905986434e-204 -1.5469723404406801e-78 6.0298308789517735e-47 8.252822231871196e+256 -1.4633475557004311e+187)-2.468816174766607(0.6727764788231866 0.6727764788231866)0.6727764788231866validvalid00.368759#f
(-4.5001457480715027e-107 3.1089837048469893e-173 4.035174085022468e-39 6.32081949848992e+307 8.087582785334526e+307)-2.859637015091706(0.28195563849808725 0.28195563849808725)0.28195563849808725validvalid01.03194#f
(1.6995233810229996e-53 1.2012288217564476e+136 6.331940655975201e+43 -1.8457203822591152e+53 8.743832319948709e+306)-3.097572588383112(0.04402006520668132 0.04402006520668132)0.04402006520668132validvalid00.474729#f
(-3.7585120888724765e-229 3.2944286828637195e+263 -4.713459213239055e-43 4.86766578220351e+48 -7.148616457021812e+107)-1.624152182302182(1.5174404712876113 1.5174404712876113)1.5174404712876113validvalid00.360174#f
(1.4141570122149208e-230 -3.47937380941264e-310 1.2683895799116243e-173 -8.609302599776527e+190 3.7298049831108776e-114)-3.141592653589793(1.6142225062633908e-114 1.6142225062633908e-114)1.6142225062633908e-114validvalid00.2969#f
(3.500218990737205e-259 -2.515067923041988e-272 2.8996048983117404e-86 -1.1821415360251789e+215 -2.686903061281971e+215)-2.832700721095794(0.3088919324939992 0.3088919324939992)0.3088919324939992validvalid00.357208#f
(4.414805262733043e-41 2.976548089465616e-32 -3.649659910088394e+166 2.1630209889726027e+268 -0.04186439675297757)-3.1404455747415456(0.0011470788482477753 0.0011470788482477753)0.0011470788482477753validvalid00.5283059999999999#f
(1.008049294841447e-200 1.686796083058796e+108 3.243268379047933e+206 3.7950570935894693e+155 7.219842902117476e+90)-3.1387046930058373(0.0028879605839561176 0.0028879605839561176)0.0028879605839561176validvalid00.42873500000000003#f
(-5.435453708266757e-65 -3.233972744328404e+150 -6.851628407873404e+224 -8.049486228906777e+21 -2.9386830162690374e-130)-3.141592653589793(-5.435453708266757e-65 -5.435453708266757e-65)-5.435453708266757e-65validvalid00.351571#f
(1.5706199034488662e-279 1.546006114425434e+220 -1.625052244385832e-115 3.7390828337532274e+195 -8.119656160503614e-150)-3.141592653589793(7.026953534830547e-150 7.026953534830547e-150)7.026953534830547e-150validvalid00.439663#f
(-1.1763586171117426e-54 -1.8616417282412204e+240 1.9428417462603175e-19 -4.399668869211037e+295 -6.786217458663438e-145)-3.141592653589793(-1.1763586171117426e-54 -1.1763586171117426e-54)-1.1763586171117426e-54validvalid00.230567#f
(1.0419038449135694e-103 1.4738164718333295e+306 5.363524736679448e+52 -4.769385191516047e+136 -7.378575152719873e+246)-1.6182988448651154(1.523293808724678 1.523293808724678)1.523293808724678validvalid00.25559#f
(1.0256815911449877e-261 -6.058036562251185e+208 2.1700188954721113e-197 -1.4857550078951726e+100 -1.4047837414443036e-248)-3.141592653589793(1.2716824524693648e-248 1.2716824524693648e-248)1.2716824524693648e-248validvalid00.5155529999999999#f
(1.4637292557734508e-109 -1.8546346269524365e-107 7.715515255290524e-235 -8.012003298455674e+248 -1.7212526092939021e-242)-3.141592653589793(1.4637292557734508e-109 1.4637292557734508e-109)1.4637292557734508e-109validvalid00.319389#f
(-5.99325017956121e-229 4.194709732130198e+265 1.0538515656130011e-66 5.806669240547282e+228 5.9532764557947865e-151)-3.141592653589793(3.4390582328856295e-151 3.4390582328856295e-151)3.4390582328856295e-151validvalid00.468514#f
(1.0616685675286548e-246 -2.0132375091613543e-163 -2.131740802549082e-144 1.5005249189884296e+287 8.148960805933463e+93)-2.2126017146355634(0.9289909389542298 0.9289909389542298)0.9289909389542298validvalid00.514641#f
(1.362572671535089e-32 3.2563424775705258e+162 -2.1944698880485815e-13 2.861422437049433e+81 -2.1534651825017966e-178)-3.141592653589793(1.362572671535089e-32 1.362572671535089e-32)1.362572671535089e-32validvalid00.198017#f
(-2.5590149000962495e-192 5.045835790706491e+261 7.220823306644243e-261 -4.169648363951607e+268 1.1879923430075439e-43)-3.141592653589793(1.1882930166543858e-43 1.1882930166543858e-43)1.1882930166543858e-43validvalid00.523764#f
(5.141521306279472e-276 -6.761090123634973e-277 -5.0202584865188105e-20 6.971474474282561e+62 -1.1780375003173347e-268)-3.141592653589793(2.914712314111913e-268 2.914712314111913e-268)2.914712314111913e-268validvalid00.268903#f
(-1.5448067147154986e+119 2.493786512285661e+181 -8.6105733586307e+173 -7.185162423657527e-72 -8.628282915513752e-272)-1.5448067147154986e+119(-1.5448067147154986e+119 -1.5448067147154986e+119)+nan.0validexit00.7007190000000001#f
(3.6253376257931533e-31 -1.709992704179726e-135 -3.524603892811283e-185 -1.2939290305530221e+256 -2.238088085243982e-37)-3.141592653589793(3.6253384420300106e-31 3.6253384420300106e-31)3.6253384420300106e-31validvalid00.786173#f
(6.356081400267438e-113 -5.2665125378396e-203 6.7795599082115185e-304 4.279950877107335e+85 2.3805879902543015e+45)-3.116902550001627(0.024690103588166475 0.024690103588166475)0.024690103588166475validvalid00.677701#f
(-1.9159742438324285e+170 -1.190345346690204e+197 -1.7044443328264804e-262 7.208055520044959e-230 -9.861030557428847e+175)-1.9159742438324285e+170(-1.9159742438324285e+170 -1.9159742438324285e+170)+nan.0validexit00.620765#f
(2.246949122214804e-224 1.1849328072638732e+112 3.029620882365214e-173 2.2805767824172898e+238 -6.63856467528244e+250)-2.425836898242666(0.7157557553471275 0.7157557553471275)0.7157557553471275validvalid00.40014500000000003#f
(1.0703460423956949e-113 -3.0147628174547584e+31 7.003362705898292e-15 4.284359318965881e+283 6469698373562483.0)-1.8124662957934468(1.3291263577963466 1.3291263577963466)1.3291263577963466validvalid00.384099#f
(-3.9218093895934105e-235 26.402511786296262 -4.260756872346486e+241 -6.407912890991075e+209 -9.328138810992661e-132)-3.141592653589793(8.440836592491192e-132 8.440836592491192e-132)8.440836592491192e-132validvalid00.503563#f
(4.116652247088156e-301 -6.917729613365561e+20 -2.8566354779376162e-145 3.852604875856521e+185 -2.0242593189321266e+300)-1.7674437113234496(1.3741489422663435 1.3741489422663435)1.3741489422663435validvalid00.411877#f
(-1.0039690191033283e-191 3.6945628386953877e-199 -9.160547269672744e-20 -1.9990206489368187e+92 -3.993632205548599e+30)-1.984377908629254(1.1572147449605394 1.1572147449605394)1.1572147449605394validvalid00.405931#f
(1.6942369114177964e-241 -14712.802142063027 1.0959652726937476e-241 -1.6905866949967434e+52 4.717859789574254e+29)-2.546898514646999(0.5946941389427942 0.5946941389427942)0.5946941389427942validvalid00.44390500000000005#f
(1.4051472562535338e-159 3.294152196941285e+180 -3.9044648960446994e-22 -2.3042584983561475e+263 -4.712356789622796e+89)-2.6448433187899236(0.4967493347998695 0.4967493347998695)0.4967493347998695validvalid00.8610720000000001#f
(-3.714623162252575e-107 6.39700848847967e+262 1083.7351808238768 -3.3654182258332378e+50 1.9022183730971563e+138)-1.7775200800767268(1.3640725735130663 1.3640725735130663)1.3640725735130663validvalid00.459111#f
(139.1850048709993 -3.078781454820106e+121 -1.632551853350851e-211 -7.105318698479183e+169 -2.5521099885445633e+302)136.55347438851527(139.69506704210508 139.69506704210508)139.69506704210508validvalid00.47475399999999995#f
(5.62729682488573e-26 -5.768644809360427e-241 -6.272767000303603e+124 1.9668077882408875e+300 8.573166167503902e-72)-3.141592653589793(5.62729682488573e-26 5.62729682488573e-26)5.62729682488573e-26validvalid00.431712#f
(2.8835204488538415e-176 1.6135622770388482e+215 -1.3198468733171375e-260 3.233054583670004e+93 6.506013347395659e-185)-3.141592653589793(2.8835204557988753e-176 2.8835204557988753e-176)2.8835204557988753e-176validvalid00.7645879999999999#f
(-1.0626164302777516e+277 -1.5424633377946184e+134 1.096376371838671e+129 -1.1675956558390256e+155 1.2037554745127035e-231)-1.0626164302777516e+277(-1.0626164302777516e+277 -1.0626164302777516e+277)+nan.0validexit00.6164229999999999#f
(-5.471326716217788e-138 -2.5897175716831097e+284 2.7136936993418093e-232 -4.4940791387011176e+302 -1.6959308948167655e+224)-2.789026669892106(0.3525659836976873 0.3525659836976873)0.3525659836976873validvalid01.1389690000000001#f
(-5.480113711071582e-225 -4.324496225276369e+218 2.0979300826608026e-26 9.536602498456312e+190 2.0035798341902972e+169)-3.0154756689839783(0.1261169846058149 0.1261169846058149)0.1261169846058149validvalid01.0858370000000002#f
(-5.882934719176517e-253 -6.929309505079934e-71 -7.746579242721724e+74 1.1234514619146161e+136 -1.0754800327869028e-51)-3.141592653589793(1.584704635200659e-51 1.584704635200659e-51)1.584704635200659e-51validvalid00.654161#f
(-904876654369138600.0 -4.225288764500417e+273 1.1016436747962553e+48 -5.328934025238823e-94 -4.7214203679575897e-268)-904876654369138600.0(-904876654369138600.0 -904876654369138600.0)+nan.0validexit00.322911#f
(-8.021781738699191e-49 -1.0938644719088136e-152 8.746538474746155e-165 1.7292709800495076e+196 2.264606239498882e+154)-2.8230039878379456(0.3185886657518477 0.3185886657518477)0.3185886657518477validvalid00.32732300000000003#f
(8.62286525358443e-226 -31335801799835554000.0 -2.439170893180039e-302 -2.275688427732976e+125 1.6081522120917947e-171)-3.141592653589793(1.209659586955668e-171 1.209659586955668e-171)1.209659586955668e-171validvalid00.535802#f
(-1.2345040111973624e-35 6.159326150611193e-283 2.6910969402616373e-53 -1.647313012202068e+54 1.2095954358198428e+241)-3.1138916813163493(0.027700972273443914 0.027700972273443914)0.027700972273443914validvalid00.292337#f
(4.286718560111041e-186 -1.7603195076463818e+112 3.0167276708568977e-278 -5.1206068478178716e+51 -6.601776802356145e-223)-3.141592653589793(4.286718560111041e-186 4.286718560111041e-186)4.286718560111041e-186validvalid00.360661#f
(-8.168559019456708e-255 1.044698511919525e+27 6.402641718693114e-142 -2.3512701648489526e+53 -2.7856250695989986e+178)-2.7362364161108275(0.405356237478966 0.405356237478966)0.405356237478966validvalid00.5282760000000001#f
(-5.798265743253908e-283 -4.970827804131939e-254 1.463901103782723e+109 -8.234089729185505e+152 -1.3911259429674015e-248)-3.141592653589793(3.2364606917227093e-248 3.2364606917227093e-248)3.2364606917227093e-248validvalid00.316597#f
(1.592160850225549e-81 -1.3492545375615378e-77 -8.102215003054265e-128 -2.5593033549097377e+68 1.8693429790889205e-199)-3.141592653589793(1.592160850225549e-81 1.592160850225549e-81)1.592160850225549e-81validvalid00.35593400000000003#f
(-4.1748796931281567e+102 2.2362284373173508e+58 1.6249656467271228e-60 -5.859867126229918e+234 7.036457958171054e-277)-4.1748796931281567e+102(-4.1748796931281567e+102 -4.1748796931281567e+102)+nan.0validexit00.711712#f
(-1.0624335359605616e-171 -2.498149808070568e+68 -4.394582741270785e-115 98615222.84990034 2.323731146880934e-50)-3.141592653589793(1.6774044384356123e-49 1.6774044384356123e-49)+nan.0validexit00.49906600000000007#f
(-3.981109971681729e-304 3.9536563949278433e-50 -4.463226969294449e-293 -1.5717725382011107e+157 5.32281647175108e-157)-3.141592653589793(1.5939035134071748e-157 1.5939035134071748e-157)1.5939035134071748e-157validvalid00.595905#f
(-5.119653712309801e-140 7.562734807758054e+97 2.087965294407825e-111 -6.139263175615664e+265 -7.242397663173382e+283)-2.7549812074508573(0.38661144613893594 0.38661144613893594)0.38661144613893594validvalid00.44599#f
(1.1148655425559777e-34 3.1276111845254286e-269 9.033680521284267e+180 4.6998450634240574e+86 -4.2513891050339574e-271)-3.141592653589793(1.1148655425559777e-34 1.1148655425559777e-34)1.1148655425559777e-34validvalid00.174376#f
(-3.426929865826994e-131 -5.7491542771724156e-297 4.685685752351338e-237 1.8890099150474318e+149 -5.004121808426194e-230)-3.141592653589793(-3.426929865826994e-131 -3.426929865826994e-131)-3.426929865826994e-131validvalid00.181133#f
(1.3929624463350282e-105 8.26289455451642e+154 5.15864198291553e-307 3.888089389898772e+41 1.3867134236501319e+250)-2.104289668130072(1.0373029854597213 1.0373029854597213)1.0373029854597213validvalid00.22376500000000002#f
(-8.228873377574175e-97 -5.760476632783572e+294 -1.0008194387403076e-120 -3.5298294334167216e+37 -3.6952737742154906e-252)-3.141592653589793(-8.228873377574175e-97 -8.228873377574175e-97)-8.228873377574175e-97validvalid00.215113#f
(5.1849734861338844e-79 -1.6934298411671875e-89 -1.2256526982568625e+147 -3.475206020150304e+183 2.6366162055530714e+278)-3.0829339118190258(0.05865874177076747 0.05865874177076747)0.05865874177076747validvalid00.369628#f
(-1.2807868227665347e-106 2.1041018862590842e+189 -6.820810782137599e-36 7.235804414072729e+225 2.2830847036424495e+51)-2.9063402284548627(0.23525242513493044 0.23525242513493044)0.23525242513493044validvalid00.22414399999999998#f
(-4.79199367617778e-118 6.067042188196306e-34 -3.504715947142818e-285 -2.2883383714744397e+66 4.574144799885143e-206)-3.141592653589793(-4.79199367617778e-118 -4.79199367617778e-118)-4.79199367617778e-118validvalid00.190796#f
(-2.5157052848514577e-157 5.072987314845263e+23 1.5215513430477663e-157 1.806037055748973e+166 7.1676958239535285e+84)-2.132612845227257(1.008979808362536 1.008979808362536)1.008979808362536validvalid00.218438#f
(-6.297638817238854e-257 -9.15608144656616e+165 1.0127020392347112e+124 -6.971251076050845e+233 -441947484072.7703)-2.402390215662162(0.7392024379276315 0.7392024379276315)0.7392024379276315validvalid00.41403#f
(5.873747064986807e-78 6.522148366932614e+37 -3.29951802322673e+103 -2.1251555683386422e+187 -5.969657365241328e+267)2.2456117599424745(-0.8959808936473185 -0.8959808936473185)+nan.0validexit00.931907#f
(2.6230072557586244e-301 -3.34922490373119e+56 6.648968491491639e+161 1.6607033865711824e+34 -8.496090059946213e-46)-3.141592653589793(1.142947106013546e-45 1.142947106013546e-45)1.142947106013546e-45validvalid00.312486#f
(6.361744053658262e-113 -7.759713708772412e+188 1.412214502349365e+129 -1.9393265783320756e+94 -3.270705987658763e-197)-3.141592653589793(6.361744053658262e-113 6.361744053658262e-113)6.361744053658262e-113validvalid00.206982#f
(7.90649383580397e-162 -9.940185568795479e+250 -1.4443202927084698e+198 232336.96740633735 -1.040282071438956e-163)-3.141592653589793(7.973863564489312e-162 7.973863564489312e-162)7.973863564489312e-162validvalid00.339316#f
(-9.488083731192546e-283 -1.1087833839168366e-37 1.1228280208359655e+300 1.1262805453226914e+114 -2.7577400719407724e+217)-2.536627366917785(0.6049652866720084 0.6049652866720084)0.6049652866720084validvalid00.316028#f
(-7.223767591948997e-90 -2.393246723407715e-155 1.620049345590706e-179 9.40986373503367e+197 -2.2651715640386066e-194)-3.141592653589793(-7.223767591948997e-90 -7.223767591948997e-90)-7.223767591948997e-90validvalid00.28545699999999996#f
(-5.1582390446029e-299 5.2938597728429704e-250 4.8057338702928526e+176 7.303303174185428e+167 -1.1860857051423177e+79)-2.1697101442445756(0.9718825093452176 0.9718825093452176)0.9718825093452176validvalid00.41101400000000005#f
(1.5913901593775992e-89 -1.6339932850352547e-257 2.9996989175599545e+128 1.2172118227657562e+253 1.927526653733793e-98)-3.141592653589793(1.5913901605082066e-89 1.5913901605082066e-89)1.5913901605082066e-89validvalid00.77014#f
(-8.13702455114498e-254 1.229590146155115e+300 3.7821459702684536e-24 3.801688686525299e+288 3.453485079964815e+56)-2.4191236761348955(0.7224689774548977 0.7224689774548977)0.7224689774548977validvalid01.164253#f
(-2.1838782561776506e-293 -1.0746221402753615e+116 -442114.97073283134 2.384101126867209e+289 -1.7670649913191827e+53)-2.2079033299535786(0.9336893236362146 0.9336893236362146)0.9336893236362146validvalid01.011055#f
(1.6157302428938853e-225 4.5316934246012746e-21 1.246307569613409e+238 1.6143194247294154e+101 4.697798451541028e-297)-3.141592653589793(1.6157302428938853e-225 1.6157302428938853e-225)1.6157302428938853e-225validvalid00.216362#f
(6.773429762569711e-62 8.793416020831085e-28 4.655659623679103e-187 2.914173883190907e+247 -7.645998411428818e-135)-3.141592653589793(6.773429762569711e-62 6.773429762569711e-62)6.773429762569711e-62validvalid00.18607#f
(1.3930243591331262e-166 3.530399063519737e+142 -2.689931789060386e-229 -1.5681862618781535e+299 -5.725149715035481e+106)-2.870058578069497(0.2715340755202962 0.2715340755202962)0.2715340755202962validvalid00.749084#f
(1.869231776588713e-143 -1.2382124932495755e-42 4.164792030817028e+260 1.0785941026871149e+265 -2.7119908579162125e+254)-2.013171048617324(1.1284216049724691 1.1284216049724691)1.1284216049724691validvalid00.35216400000000003#f
(1758853.605988001 7.846734306081365e+204 3.634521884554401e+62 -1.152931697480825e+151 3.351482575913415e+213)1758850.5292107367(1758853.6708033902 1758853.6708033902)1758853.6708033902validvalid00.715377#f
(4.476413693636244e-126 -1.088536712862868e+102 -2.6146845034857645e-229 6.562245198355027e+254 -7.566235169952042e+98)-2.117864365479931(1.023728288109862 1.023728288109862)1.023728288109862validvalid00.396613#f
(-4.2900951828474095e-281 9.963249798217028e-256 8.75164785846511e-185 1.6784509995701357e+35 1.5811393247876374e+153)-3.0286758795076834(0.11291677408210972 0.11291677408210972)0.11291677408210972validvalid00.525154#f
(7.265393792174417e-298 2.2171773177984302e+51 -4.2918222339443515e+304 -1.2178424117632564e+109 9.319439977144488e+186)-3.0664824850753467(0.07511016851444649 0.07511016851444649)0.07511016851444649validvalid00.6532950000000001#f
(-1.6025173419359349e-282 -2.3234267693759428e-35 -4.128586522029001e+106 -1.3408160511254693e+54 -4.6478215690018695e+30)-2.019539434315404(1.122053219274389 1.122053219274389)1.122053219274389validvalid00.407092#f
(-4.0892655009939585e-262 6.928717922092119e+31 1.005005942559342e+23 -2.5967420069784235e+181 8.045599666146579e+49)-2.7641849250349737(0.3774077285548196 0.3774077285548196)0.3774077285548196validvalid00.6947639999999999#f
(-3.787980697208465e-162 9.155624980923638e-27 -1.830909978818878e-122 -4.154206422059789e+303 3.0398880805000534e+303)-3.1410259028261294(0.0005667507636637905 0.0005667507636637905)0.0005667507636637905validvalid01.060811#f
(-6.217647441051174e-32 4.4711427683135054e-200 2.0487574074372263e-188 -3.5000025895187003e+180 -2.1933839039433723e+140)-2.5917069061772646(0.5498857474125287 0.5498857474125287)0.5498857474125287validvalid00.414428#f
(1.0542503558435754e-168 -0.0034664085548485163 1.850808744510788e+109 4.9220168620916644e+29 -1.419899516884191e-193)-3.141592653589793(1.0542503558435754e-168 1.0542503558435754e-168)1.0542503558435754e-168validvalid00.40007#f
(-3.2803887001064105e-265 2932973862231.3735 2.164719756802164e+133 2.864640079561885e+151 -5.524348813230377e+193)-2.216159147833559(0.9254335057562344 0.9254335057562344)0.9254335057562344validvalid00.822295#f
(0.6393121634416026 1.4084949865663575e-30 9.726998044678216e-31 -2.3971778825658995e+32 -3.216436929604066e-15)-2.502280490148189(0.6393121634416044 0.6393121634416044)0.6393121634416044validvalid00.486427#f
(-1.1493314439003818e-172 2.3456294267232307e-283 1.611867516452392e-241 -4.571750823033673e+188 -1.903288260968054e-99)3.141592653589793(-4.192151700312611e-99 -4.192151700312611e-99)+nan.0validexit00.320424#f
(-3.998052048229227e-88 -5.4928469861087e-54 -4.491232492975759e+274 -2.447193611754321e+262 -0.00224689521963036)-3.140538185134102(0.0010544684556913504 0.0010544684556913504)0.0010544684556913504validvalid00.8266330000000001#f
(4.8645827985549224e+194 4.050405934641798e-52 -4.405171744161731e-87 1.3262837168287013e+281 -2.688481537573029e+46)4.8645827985549224e+194(4.8645827985549224e+194 4.8645827985549224e+194)+nan.0validexit00.8671669999999999#f
(1.3005004955694995e-139 -16869667668021.586 -1.2109799274096566e+158 -3.508463705513643e+272 2.7495653982990732e+222)-1.6103902770051677(1.5312023765846254 1.5312023765846254)1.5312023765846254validvalid00.506428#f
(4.381330846792525e-47 -1.5463357735900173e-99 8.612420958793528e+77 -1.0801553159793532e+121 -2.3438311254948275e+294)-2.1663407515967266(0.9752519019930666 0.9752519019930666)0.9752519019930666validvalid00.420469#f
(-1.476358868944386e-124 -1.4379234364920992e+181 1.076509410520365e-260 -3236333769067.3354 2.496871430374579e+145)-2.8937194912802444(0.247873162309549 0.247873162309549)0.247873162309549validvalid00.818761#f
(-1.2139406219967009e-120 7.709835390194422e-32 -1.489304536061167e+78 -1.614972246653544e+114 5.109320545532671e-19)-3.141592653589793(1.3287750694584667e-18 1.3287750694584667e-18)1.3287750694584667e-18validvalid00.249925#f
(8.407027619363146e-15 -2.974550933061447e+209 -3.152864023531918e-285 1.3466930640152743e+286 2.1436785863210255e+22)-2.5071551949048443(0.6344374586849488 0.6344374586849488)0.6344374586849488validvalid00.500255#f
(-2.345484872734286e-16 1.5520047725156785e+22 3.500508730477366e-267 4.446197680373923e+67 -6.09451392712562e-24)-3.1415926535897936(-2.345484815421998e-16 -2.345484815421998e-16)-2.345484815421998e-16validvalid00.728529#f
(1.4550214836186656e-178 -4.7415425221037754e+25 7.773151300385296e-63 2.9260668747659914e+166 -2.024789179301584e-145)-3.141592653589793(2.862645402803223e-146 2.862645402803223e-146)2.862645402803223e-146validvalid00.720155#f
(-2.9177865073599328e-123 6.593583478657671e-71 1.4463594208625958e+82 -9.978954508256357e+268 -1.6809971582285882e-34)-3.141592653589793(3.417590937410949e-34 3.417590937410949e-34)3.417590937410949e-34validvalid00.802253#f
(1.2986670330911293e-308 -3.680687300576506e-58 7.945832715228746e-68 -4.027198297648021e+161 1.9096837172759135e-51)-3.141592653589793(1.2328942449747508e-51 1.2328942449747508e-51)1.2328942449747508e-51validvalid00.6824990000000001#f
(-1.4589887880692305e-234 2.6809964428318343e-154 14191.214893609957 3.9664847379734705e+287 -2.9070984873487865e-84)-3.141592653589793(5.116085378626281e-85 5.116085378626281e-85)5.116085378626281e-85validvalid00.782109#f
(-2.2709066438122003e-34 -1838418741537338.5 4.115644011146496e-98 -2.1130353826907102e+249 6.506309786764856e-149)-3.141592653589793(-2.2709066438122003e-34 -2.2709066438122003e-34)-2.2709066438122003e-34validvalid00.41497#f
(1.8666490112502557e-159 -2.3079436651575808e+275 -1.5839141889534862e-231 4.978455741110818e+212 6.998697340471881e-56)-3.141592653589793(1.0671027842365523e-55 1.0671027842365523e-55)1.0671027842365523e-55validvalid00.875161#f
(2.3954630535352946e-129 -3.5098206411184194e+216 5.118646082665725e+214 -1.1494013207947669e+168 -3.1853342282022294e+179)-2.3660333762860684(0.775559277303725 0.775559277303725)0.775559277303725validvalid00.452359#f
(-7037447321286186.0 -3.038131263176669e-90 3.6000486700460653e+49 3.22756698239654e+274 -2.597045606234667e+238)-7037447321286188.0(-7037447321286185.0 -7037447321286185.0)-7037447321286185.0validvalid00.31293#f
(-1.804011072185943e-185 -2.320673255486246e+201 -1.3454525549373335e-93 -2.7395373118182593e+109 1.6654203495231787e+56)-2.3243650109487555(0.8172276426410375 0.8172276426410375)0.8172276426410375validvalid00.6823009999999999#f
(-3.2405996879789235e+77 2.7463167788308083e+225 -1.2906861763225915e+135 -1.0008344487847653e+204 -2.9202058157247254e+304)-3.2405996879789235e+77(-3.2405996879789235e+77 -3.2405996879789235e+77)+nan.0validexit01.0190240000000002#f
(-1.0847333329593198e-122 -5.093999104763813e+245 -1.9481198092491753e+216 -2.35333220755388e+293 -3.450209322977185e-234)-3.141592653589793(-1.0847333329593198e-122 -1.0847333329593198e-122)-1.0847333329593198e-122validvalid00.434239#f
(-2.592934065516585e-135 2.480534288409499e+23 618472042123782.0 -3.438637810129167e+216 1.0086741049274305e-32)-3.141592653589793(1.5171295850382245e-32 1.5171295850382245e-32)1.5171295850382245e-32validvalid00.485562#f
(-6.024050589579209e-214 -2.3310880352081792e-63 3.130239296535039e-238 5.2901121526892456e+271 1.9372812093521283e+298)-2.9539301634876822(0.1876624901021111 0.1876624901021111)0.1876624901021111validvalid00.6173799999999999#f
(1.2646179268655907e-286 -5.429256475296328e-107 -3.4610511628430583e-66 -1.2588661757783448e+142 -3.003603131301536e-215)-3.141592653589793(5.347908960392805e-215 5.347908960392805e-215)5.347908960392805e-215validvalid00.499112#f
(1.0873646313736546e-187 -2.6594223839044146e+188 -1.1203214673966653e-55 -8.494924346332512e+110 1.8853412772452755e+285)-1.6051379224195725(1.5364547311702206 1.5364547311702206)1.5364547311702206validvalid00.48655#f
(-1.586847230050767e-238 -1.8453947748199872e-78 1.4959035925975023e+112 3.3411428488349644e+70 7.127787100068918e+53)-2.3838007108996204(0.7577919426901728 0.7577919426901728)0.7577919426901728validvalid00.406952#f
(-5.133034351031246e-68 -5.1239342412884367e+210 2.5957620378150643e-182 -5.553476103274172e+293 -7.632254597016553e+184)-2.8783764681376813(0.26321618545211184 0.26321618545211184)0.26321618545211184validvalid00.288093#f
(3.106631352639983e+176 -2.7557035733589738e+82 -7.420838870392592e+221 -2.7043139034359284e-137 -4.821246719768919e+261)3.106631352639983e+176(3.106631352639983e+176 3.106631352639983e+176)+nan.0validexit00.734293#f
(-2.4587093463183207e-148 -9.238922849787769e-106 1.8530126649431988e+146 1.1182418061218236e+283 -3.2944913912306775e+36)-3.0111281955191314(0.13046445807066206 0.13046445807066206)0.13046445807066206validvalid00.572356#f
(3.14559845066471e-145 -1.2051310265973554e-197 2.659484411559095e+241 1.4668585715978515e+162 -2951361.3267289456)-2.398908220844242(0.7426844327455512 0.7426844327455512)0.7426844327455512validvalid00.392222#f
(-2.068041069120694e-274 -5.148284803603142e+240 -2.8396736010038938e-229 -1.70640335314666e+64 -1.0664812055978069e+220)-2.4268947456787013(0.7146979079110919 0.7146979079110919)0.7146979079110919validvalid00.485714#f
Sollya timings
Total time spent in Sollya 2.9s
Bogosity

preprocess618.0ms (1.1%)

Algorithm
egg-herbie
Rules
785×fma-define
709×fma-neg
513×sub-neg
432×distribute-lft-neg-in
393×*-commutative
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01883104
14263084
27823076
314763076
432213076
552063076
662663076
769963076
873813076
975463076
1076503076
1177823076
Stop Event
node limit
Calls
Call 1
Inputs
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 (neg.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 (neg.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 (neg.f64 delta)) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 (neg.f64 delta))) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (neg.f64 delta))) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 (neg.f64 theta)) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 (neg.f64 theta))))))))))
(neg.f64 (+.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 (neg.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 (neg.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 (neg.f64 delta)) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 (neg.f64 delta))) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (neg.f64 delta))) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 (neg.f64 theta)) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 (neg.f64 theta)))))))))))
(+.f64 phi1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 lambda1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 lambda1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 lambda1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 lambda1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 phi2 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 delta (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 lambda1)) (cos.f64 phi1)) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 lambda1)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 lambda1)) (cos.f64 theta)))))))))
(+.f64 theta (atan2.f64 (*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 lambda1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi2)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi2) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi2) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi2) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 phi1)) (cos.f64 delta)) (-.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 phi1) (sin.f64 delta)) (cos.f64 theta)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 theta) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 theta) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 theta) (sin.f64 delta)) (cos.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 phi2)) (cos.f64 phi1)) (-.f64 (cos.f64 phi2) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 phi2) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 phi2)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 delta) (sin.f64 theta)) (cos.f64 phi1)) (-.f64 (cos.f64 theta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 theta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 theta)) (cos.f64 delta)))))))))
Outputs
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))) (neg.f64 lambda1))
(-.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))) lambda1)
(-.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))) lambda1)
(-.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))) lambda1)
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 (neg.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (+.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (neg.f64 (sin.f64 phi1))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (-.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 (neg.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 (neg.f64 delta)) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 (neg.f64 delta))) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (neg.f64 delta))) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (neg.f64 (sin.f64 delta)) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 theta) (neg.f64 (sin.f64 delta))) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 theta))) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (-.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 (neg.f64 theta)) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 (neg.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (neg.f64 (sin.f64 theta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(neg.f64 (+.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))) (neg.f64 lambda1)))
(-.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(-.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 (neg.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)))))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (+.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (neg.f64 (sin.f64 phi1))))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (-.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)))))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 (neg.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 (neg.f64 delta)) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 (neg.f64 delta))) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (neg.f64 delta))) (cos.f64 theta))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (neg.f64 (sin.f64 delta)) (cos.f64 theta)))))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 theta) (neg.f64 (sin.f64 delta))) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 theta))) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (-.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 (neg.f64 theta)) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 (neg.f64 theta)))))))))))
(neg.f64 (+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (neg.f64 (sin.f64 theta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)))))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (neg.f64 (sin.f64 delta)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
(-.f64 (neg.f64 lambda1) (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (neg.f64 (cos.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 phi1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 lambda1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 lambda1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 lambda1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 lambda1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 phi1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 lambda1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 lambda1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 delta) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 lambda1))))))))))
(+.f64 phi1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (sin.f64 theta) (cos.f64 lambda1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 lambda1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 lambda1) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 lambda1))))))))))
(+.f64 phi1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (sin.f64 theta) (cos.f64 lambda1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 lambda1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 lambda1)) (*.f64 (cos.f64 delta) (sin.f64 lambda1)))))))))
(+.f64 phi1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 lambda1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 lambda1)) (*.f64 (cos.f64 delta) (sin.f64 lambda1))))) (neg.f64 (sin.f64 lambda1)) (cos.f64 delta))))
(+.f64 phi2 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))) phi2)
(+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))) phi2)
(+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))) phi2)
(+.f64 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))) phi2)
(+.f64 delta (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 lambda1)) (cos.f64 phi1)) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 lambda1)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 lambda1)) (cos.f64 theta)))))))))
(+.f64 delta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (sin.f64 lambda1))) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 lambda1) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 lambda1) (cos.f64 theta))))))))))
(+.f64 delta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (sin.f64 lambda1))) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 lambda1) (*.f64 (*.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 lambda1)))))))))
(+.f64 delta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (sin.f64 lambda1))) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
(+.f64 delta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (sin.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 theta) (sin.f64 lambda1)) (*.f64 (sin.f64 phi1) (cos.f64 lambda1))))) (cos.f64 lambda1))))
(+.f64 delta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (sin.f64 lambda1))) (-.f64 (cos.f64 lambda1) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 theta) (sin.f64 lambda1)) (*.f64 (sin.f64 phi1) (cos.f64 lambda1)))))))))
(+.f64 theta (atan2.f64 (*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 lambda1)))))))))
(+.f64 theta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 lambda1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 lambda1))))))))))
(+.f64 theta (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 lambda1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 lambda1) (*.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 theta (atan2.f64 (*.f64 (sin.f64 lambda1) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 lambda1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi2)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi2) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi2) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi2) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi2) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi2) (cos.f64 delta) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi2) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi2) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi2) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 phi2)) (*.f64 (cos.f64 delta) (sin.f64 phi2)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi2))) (fma.f64 (sin.f64 phi2) (neg.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 phi2)) (*.f64 (cos.f64 delta) (sin.f64 phi2)))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 phi1)) (cos.f64 delta)) (-.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 delta) (sin.f64 phi1))) (-.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (cos.f64 phi1) (*.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 delta) (sin.f64 phi1))) (fma.f64 (neg.f64 (sin.f64 delta)) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (cos.f64 phi1) (*.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (cos.f64 theta)))))) (cos.f64 phi1))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 phi1) (sin.f64 delta)) (cos.f64 theta)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 theta) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 theta) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 theta) (sin.f64 delta)) (cos.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (sin.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 theta) (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (sin.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 theta) (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 phi1))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (sin.f64 phi1))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 theta) (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (sin.f64 phi1) (cos.f64 theta))) (fma.f64 (sin.f64 theta) (neg.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 phi2)) (cos.f64 phi1)) (-.f64 (cos.f64 phi2) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))) (-.f64 (cos.f64 phi2) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 phi2) (*.f64 (cos.f64 theta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))) (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 theta) (sin.f64 phi2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))) (cos.f64 phi2))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 phi2) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 phi2)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (sin.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 phi2))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi2) (*.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 phi2))) (fma.f64 (sin.f64 phi1) (neg.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))) (cos.f64 delta))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 delta) (sin.f64 theta)) (cos.f64 phi1)) (-.f64 (cos.f64 theta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 theta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 theta)) (cos.f64 delta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 theta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 theta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (cos.f64 delta))))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 theta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 theta) (cos.f64 delta)) (*.f64 (sin.f64 phi1) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (-.f64 (cos.f64 theta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (cos.f64 delta)) (*.f64 (sin.f64 phi1) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))) (fma.f64 (sin.f64 phi1) (neg.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 theta) (*.f64 (cos.f64 phi1) (cos.f64 delta)) (*.f64 (sin.f64 phi1) (cos.f64 theta)))))) (cos.f64 theta))))
Symmetry

(abs phi2)

Compiler

Compiled 38 to 23 computations (39.5% saved)

eval0.0ms (0%)

Compiler

Compiled 5 to 5 computations (0% saved)

prune4.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
Compiler

Compiled 76 to 46 computations (39.5% saved)

simplify9.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative
+-commutative
sub-neg
neg-sub0
neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
030142
143142
255142
361142
465142
566142
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
Outputs
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

soundness2.0ms (0%)

Stop Event
fuel
Compiler

Compiled 38 to 23 computations (39.5% saved)

preprocess117.0ms (0.2%)

Remove

(abs phi2)

Compiler

Compiled 304 to 184 computations (39.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...