Spherical law of cosines

Time bar (total: 1.6min)

analyze5.6s (5.7%)

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 25 to 18 computations (28% saved)

sample1.5min (93.5%)

Results
21.3s6260×1valid
2.4s6110×1valid-sollya
3.5s1970×0valid
423.0ms1948×0valid-sollya
99.0ms150×1exit-sollya
270.0ms26×2valid
19.0ms22×0exit-sollya
4.0ms18×2valid-sollya
3.0ms2exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-2.1820483092158744e+28 -5.678690528121498e-41 -2.2843948869409964e+287 -7.843188396321364e-94 -7.741642769045029e+25)-4.836618221212037e+28(-4.842142255605168e+28 -2.012964682405453e+28)+nan.0validexit10.189815#f
(1.0034065059724403e+134 -1.048688086858692e+237 9.103416126754959e-138 -6.836485020994323e+146 1.1547478462583207e-308)8.702166776363049e+133(8.65195258649544e+133 2.2870992490776775e+134)+nan.0validexit10.514903#f
(-6.585388409782405e-45 -1.3261486984452246e+190 -1.1470969963248446e+199 2.7103517337095777e-30 2.9050456208558643e-74)-1.2154906241239836e-45(+nan.0 +nan.0)+nan.0validexit00.301#f
(-2.5853383255394586e-269 1.3755390989659312e-299 -3.931108391385271e+232 2.4537757073163634e-9 -7.588621927114348e+241)-5.1309448782684456e-269(-5.1722626821792174e-269 -2.949817195692002e-269)+nan.0validexit10.48196300000000003#f
(5.765977507792635e+161 -1.5988553956427663e-254 -1.616188786077291e-45 2.1686439519875815e+267 1.2719099246210658e-45)5.400536945403237e+161(5.400536945403237e+161 5.400536945403237e+161)+nan.0validexit00.505002#f
(-3.256739492244209e+232 3.5736282494510687e+227 9.731477231532777e-164 -7.688106618410164e-30 -3.2471810732691705e-106)-3.26918370636588e+232(+nan.0 +nan.0)+nan.0validexit10.236205#f
(4.245823063878643e+291 5.000107173117669e+125 2.1943598922526384e-110 1.4259566985219335e-154 -4.4776919678532473e-17)8.88532278318092e+291(+nan.0 +nan.0)+nan.0validexit10.30348400000000003#f
(-4.114387083498025e-15 -3.102752376152888e+283 -1.0407561307292519e-167 -1.689270717732972e-25 -8.08128561386559e+296)-1.1455269530301708e-14(-1.145542841936547e-14 -1.4702998161766609e-15)+nan.0validexit10.6261399999999999#f
(-1.4830109866576292e+251 8.129990043929684e+240 -7275.211388784152 -4.30267391873143e+243 -5.092373105079779e-150)-4.088652587602444e+251(-4.409965249753247e+251 -2.4905117112331148e+250)+nan.0validexit10.656553#f
(-4.947839775498584e-199 3.136327430954386e+53 -4.4058355081173534e-7 -2.0397573956755577e-173 -1.038777397346146e+149)-1.0142526966909021e-198(-1.4668049078762126e-198 -8.760480110835965e-200)+nan.0validexit10.23092100000000002#f
(-1.6325327991333983e-164 4.3976406812270497e-172 -4.0888962672736846e-140 -1.8040702047012635e+77 6.989431409866578e+34)-2.7278962851046775e-164(-2.7278962851046775e-164 -2.7278962851046775e-164)+nan.0validexit00.230744#f
(2.8091729955380927e+255 -6.67662429757222e+49 1.0109143905968638e-130 7.814408230749137e-95 -1.197693256353676e+103)4.223880829118154e+255(4.132941249989469e+255 4.692335995455836e+255)+nan.0validexit10.470564#f
(-1.0708180383290107e+284 -6.081212565472267e-241 -4.885304534211696e-158 -4.3562495931130514e+276 -4.796929509553887e+254)-2.362398996445135e+284(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.88643195489551e+276 3.468977932006871e+66 -1.2621837436171426e+89 -1.3951416041744711e-124 6.299159545549785e+298)-3.6492286740727984e+276(-1.523538181612926e+277 -1.1579691563688497e+275)+nan.0validexit10.346899#f
(-3.237857066214279e+145 -1.1207050923482982e+293 5.616785265679576e-298 -6.621390243571457e+125 1.8106346551689725e-54)-6.704761653440521e+145(-8.361265172184436e+145 -1.8107628004081433e+145)+nan.0validexit10.47601899999999997#f
(7.404097334459824e+254 7.432790030643419e-55 -1.1273346779658932e+165 4.291310093197013e-89 9.6861817792605e+44)1.2484430608229542e+255(3.410544560423593e+254 1.985011323197916e+255)+nan.0validexit10.491521#f
(-7.045742509207866e+21 -9.451312007990805e+267 -1.6010874152631073e-90 3.763800820518514e+120 -1.0572571213934108e-223)-1.6090871339243484e+22(-1.626151188796782e+22 -5.873341018044928e+21)+nan.0validexit10.422325#f
(-4.468682119463797e-294 -1.231751257010426e+19 -2.228265555135224e+271 -2.3795568097985526e-221 -1.30333357510597e-172)-1.4470584214059044e-294(+nan.0 +nan.0)+nan.0validexit10.293354#f
(-5.1613809656035183e-101 -1.6507929731215125e-21 -1.8559073698975217e+282 -2.5041444623943573e+63 -5.592332701751928e+76)-4.916161376721149e-101(+nan.0 +nan.0)+nan.0validexit15.0#f
(-6.791469447728004e+276 5.350686856418321e-153 1.1179591484555852e-153 -8.311245549381969e-206 -3.9843149651594333e-87)-2.705935335600576e+190(+nan.0 +nan.0)+nan.0validexit10.33892900000000004#f
(31413.989148877456 1.5084333536152963e+69 -6.376143660805374e-129 -5656078785661271000.0 9.734426009749551e+97)48408.97873227144(19871.451927660226 48433.73153344468)+nan.0validexit10.366477#f
(-2.1883637218675612e-203 -3.496132118042122e-13 9.185937433195299e-131 -9.611565051264467e+243 -1.1309609826575358e-210)-4.399193731874528e-203(-4.399193731874528e-203 -4.399193731874528e-203)+nan.0validexit00.49668#f
(-2.1247777709606055e+114 2.373251311238898e-251 1.350573597688624e+233 -3.59531823191574e+45 -4.754313898321694e+298)-5.208018324806732e+114(-5.516285754326324e+114 -4.230447700281997e+114)+nan.0validexit10.769053#f
(-6.444350977049709e-259 -2.4469669016145048e+294 -8.579216804369021e-304 4.653653642413276e-14 9.007641049805897e-240)-2.0111124103643347e-258(+nan.0 +nan.0)+nan.0validexit10.331142#f
(1.3983722942372133e+172 -32016.557695627645 5.285527405442722e+237 -1.6259837127148414e-245 -2.752574327381984e+269)3.3697697460849076e+172(1.2754706428391136e+171 4.265569062275223e+172)+nan.0validexit10.594419#f
(8.034372169819425e+72 1.3638209722931657e+265 9.578537929495394e-182 -1.714894397822749e-207 2.9381109875288833e+128)1.4253121625603255e+73(2.483780734472723e+72 2.275694385043827e+73)+nan.0validexit10.466613#f
(5.713313469657083e-51 3.8185133495393723e-137 -7.34703725322082e+268 1.7134535115875715e-131 2.5373215747019738e+128)1.1612954208993616e-50(+nan.0 +nan.0)+nan.0validexit15.0#f
(-2.2467236243133467e+218 -3.211777479760839e+94 4.010172857865555e-129 -1.2880951960720597e+258 7.627862164957218e+264)-3.6324791734207056e+218(-3.6521166158822795e+218 -2.5588888815806852e+218)+nan.0validexit10.600744#f
(-3.846374848554294e-68 1.0801482873198305e-180 -2.1517003824268635e-133 9.308730960630032e+105 -9.211416116539516e-112)-3.014071906958411e-68(-3.014071906958411e-68 -3.014071906958411e-68)+nan.0validexit00.361964#f
(6.4788663911601045e-40 3.4481616146494676e+150 -3.619529852967111e+96 3.990582696611865e+285 2.3539225629921275e+213)1.4331434859874408e-39(5.125695167266814e-40 1.8473238373351027e-39)+nan.0validexit10.481087#f
(-9.092857543955262e-125 -4.107518826326627e+138 3.291577200562621e+284 2.87004589074029e+243 -6.103701888428595e-87)-4.673076000711467e-125(-2.502135294621307e-124 -3.5447015140153153e-125)+nan.0validexit10.5633009999999999#f
(1.0595568910487233e+219 1.7232668999531472e-223 4.298652258431781e-225 -1.3215797461613997e-222 1.817642729799718e-187)1.9258958798239036e+32(0.0 6.977653714953812e+209)+nan.0validexit20.332718#f
(6.627566813185501e+206 3.240454871687746e-128 -9.834389204794512e+214 -1.97395218684294e-6 -1.5999573988479793e-48)9.423638451564532e+206(1.3082499746982948e+201 2.082110212897916e+207)+nan.0validexit10.404213#f
(-1.3268685735469604e-79 2.208006177942096e+136 5.945240382368987e-109 -2.3544838392836435e+142 -9.51810774570946e-136)-3.4223159271017933e-79(-3.422986604996938e-79 -7.454939579373608e-80)+nan.0validexit10.47349#f
(6.705483792702773e-229 7.464253109525501e-61 7.008959138234604e+307 -1.9638628306594204e-258 2.1599952940044334e-135)5.095513443002359e-229(+nan.0 +nan.0)+nan.0validexit10.34815999999999997#f
(8.378738137820563e+99 2.562013637604787e-176 1.1200951010920801e+294 4.4908998725115114e+23 6.1912985464470595e-236)1.26221746743156e+100(8.880019389197574e+99 1.7442562790932132e+100)+nan.0validexit10.23194599999999999#f
(-3.284106423550717e+101 6.238567072218799e+130 5.7350250394996236e+287 2.570649327773396e-96 506787012733.461)-4.482564806758838e+101(-6.30640509873401e+101 -4.010919515099972e+101)+nan.0validexit10.250189#f
(-6.904629272501204e+118 4.953073936123702e-59 3.060750461708217e-214 6.432190802648057e-303 -8.039334568568135e-204)-3.4199139288222474e+60(-4.547005687062387e+109 0.0)+nan.0validexit10.354976#f
(-1.6495869432920934e+234 -7.586660248692768e+239 2.905199246806227e-53 -5.464446965382054e+126 -1.0590518449519688e-168)-1.2593561757800933e+234(-3.9339671751665284e+234 -1.2483630473375552e+234)+nan.0validexit10.49773799999999996#f
(-3.7973357210078464e+250 -1.301022466754839e-54 1.9318267963493707e+234 1.4304163805654143e+23 -9.83594020628871e+227)-1.0126685234689844e+251(-1.0872108246966729e+251 -1.484942466803357e+250)+nan.0validexit10.49761399999999995#f
(-1.2879467105002028e+260 -3.192112870191118e-40 7.653861643547217e+56 1.8897916639185265e+111 2.8736035337668696e+79)-3.08745652777387e+260(-3.1617596143927875e+260 -2.745734957757205e+260)+nan.0validexit10.252609#f
(-3.219910653033704e+144 -1.7925803892593004e+114 1.6657089107530205e+292 6.878036501859092e+246 -1.0504221694234954e+64)-5.888675095860661e+144(-7.293118816213934e+144 -7.9019077954547e+143)+nan.0validexit10.635336#f
(-5.681568346997465e+192 2.9215741171629026e+76 -1.444413375241915e-101 -1.0787209693145938e-113 0.0004782418711026707)-1.383143565013572e+193(-1.7846456215918478e+193 -2.717163877065178e+189)+nan.0validexit10.372788#f
(1.3026030451727375e-234 9.363332494794737e-75 1.420276406350636e+240 5902067.581985615 -9.50615533602264e-143)1.9854032767515857e-234(1.8835426678462293e-234 2.2087054894121362e-234)+nan.0validexit10.36961#f
(-1.0937938244696443e-168 -1.0776928295562322e-275 256629576220532060.0 -1.4115058876203382e-236 -1.8946131140500944e+189)-1.1013410932882334e-168(-1.1163554471768772e-168 -1.1013410932882334e-168)+nan.0validexit10.399815#f
(-2.8065450744399107e+265 9.153402928883769e+267 -3.7351088634907356e+81 3.2453675656743345e+207 1.2564062423162528e-208)-6.480067584455882e+265(-6.570769559941555e+265 -2.246251827887488e+265)+nan.0validexit10.332928#f
(2.1889817693769245e+105 7.654254040501003e+160 9.687392608968036e+244 -3.0352245283878856e-36 4.363448013149401e-103)4.672911404867501e+104(+nan.0 +nan.0)+nan.0validexit10.372853#f
(6.172523959845371e-69 7.132476323642455e-21 -5.792632322133226e-296 1.4106442722390766e-235 3.8513088894264e+247)1.532735676252126e-68(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.06041618643555e+112 6.317511590287975e+76 -2.0346571944702475e-306 10429.23561713581 9.308329845338777e+190)4.8565867685190104e+112(9.426545246329043e+111 5.342330529487949e+112)+nan.0validexit10.49175#f
(5.751209494722231e-229 8.24727512983955e-253 2.8149202568492026e+98 2.7191658678962885e+296 1.7196910551995243e-129)1.1825227152269743e-228(2.3665227578952703e-229 1.5701434739979958e-228)+nan.0validexit10.5632900000000001#f
(2.5036868618783115e-98 -6.388287465423606e-210 2.7871407357788895e+175 3.1191113517603654e+119 7.13477822517041e-186)2.668903170326369e-98(2.5942215862426047e-98 5.271342665923582e-98)+nan.0validexit10.489649#f
(4.1289162193574675e+117 3.879192128623067e+115 5.085825456835376e-307 6.422117422949327e+277 1.1239570472893325e-99)6.123927173812799e+117(4.9538164780765444e+117 8.017556383944619e+117)+nan.0validexit10.785402#f
(-3.062346472909683e-117 1.2502064071626053e-138 -1.7897435424688902e+130 -6.366474871456178e-300 2.6774130294482664e+166)-5.976191704339143e-117(-6.340898452278147e-117 -3.279746729761529e-117)+nan.0validexit10.449215#f
(3.2076296246932804e+22 -1.1873771074671257e-266 7.761121694895584e+220 -3.5322267156647816e-282 -2.5211701724629582e+168)4.9934193304621745e+22(4.953252026818945e+22 5.12381363755445e+22)+nan.0validexit10.325735#f
(4.68822757913785e+295 1.7294905837834522e-45 -3.714293153122165e+174 0.00010814551697969472 -5.5357143988636005e+233)2.8705761957607746e+295(2.1303550553936325e+295 1.2599160287173426e+296)+nan.0validexit10.452085#f
(-1.5339847689629344e-59 -2.039928033742863e+269 6.939590793495945e-159 1.1285893011919648e+158 -3.2657769424773695e+97)-2.645901592846044e-59(-4.197279747697558e-59 -1.1058515191527365e-59)+nan.0validexit10.601952#f
(-3.9030290294056737e+272 7.687800856453139e-231 3.351029765510867e+35 -2.1494271848250564e-127 9.251556651620933e+167)-8.632968657682204e+272(-8.633340140615127e+272 -3.628387184913439e+272)+nan.0validexit10.49637499999999996#f
(-1.3605497542605882e+46 2.2976755670699892e+195 -1.4463912636933543e-174 -9.523417774032388e+163 4.693271562034523e+180)-1.5663403813658793e+46(-2.8439949374023233e+46 -1.0386031324502368e+46)+nan.0validexit10.6353#f
(-2.2287795263831982e+53 2.6151954731837475e-107 -6.326610523197138e+269 -4.365959844453164e-299 9.645544209558112e-146)-4.545797868711622e+53(+nan.0 +nan.0)+nan.0validexit10.159177#f
(-1.7458143964383864e-125 -3.4936115952016825e+78 -2.9293423731051816e+69 3.8001308094253174e-74 5.956899683200574e+96)-1.1584833580538003e-125(-4.328817961916912e-125 -1.1558197204652213e-125)+nan.0validexit00.471754#f
(5.8308056885493166e-83 4.7390449950948945e-262 -7.798590957419838e-261 -8.917666304041065e+67 -1.1973525611003667e+182)2.2975468111977415e-84(2.2975468111977415e-84 2.297546811197742e-84)+nan.0validexit00.5675870000000001#f
(2.9200625889229713e-47 -1.3091691262362152e-244 -1.1081761995170529e+272 -1.3774426670859595e-215 -1.2600438538622294e+269)3.8498386951245543e-47(3.849237482958063e-47 5.324409694424736e-47)+nan.0validexit10.306749#f
(-4.77937391723645e-72 1.087748421924443e-234 -2.7870718411018828e+273 6.147069908758498e-247 -1.075310510748128e-207)-3.056498872482277e-73(+nan.0 +nan.0)+nan.0validexit10.166327#f
(-4.351254037065773e+306 3.84900590660909e-245 -1.2999272234441266e-298 -3.403096663041053e-299 -3.314761947245372e-189)-1.4423371304863428e+118(+nan.0 +nan.0)+nan.0validexit20.28892799999999996#f
(-41555226.18071056 -5.940172681685276e-130 -1.5957009680450273e+104 6.562247757869695e+237 -1.5764403977996756e-153)-63728974.316533245(-67400659.30827206 -63148933.97931048)+nan.0validexit10.5756049999999999#f
(-5.5828751756664935e-297 1.1280032608737255e+263 -5.31118250501604e+170 1.0245490833162546e-71 2.8644273203634743e-53)-1.542515882489954e-296(+nan.0 +nan.0)+nan.0validexit10.17599499999999998#f
(-9.524440740717495e-17 -6.567789236159417e-243 5.702719989059882e+211 4.3356614656179433e+61 1.1960880832057977e-76)-1.8325664264117007e-16(+nan.0 +nan.0)+nan.0validexit15.0#f
(1.3291109473803131e+38 3.5426090451236918e-239 -2.2814834600932054e+156 1.51804919794994e-286 -8.190910105884126e+208)2.0600833291709132e+38(1.8493002958798032e+38 2.3262248922159587e+38)+nan.0validexit10.37831600000000004#f
(-8.710197249373007e-297 -1.0719664573266792e-205 9.195264196200946e+221 -1.6628588619964902e-29 -3.620217644698106e+212)-1.7435789966660097e-296(-2.7053136801796993e-296 -3.1075488815127155e-298)+nan.0validexit10.571923#f
(-2.6345757236634134e-285 -6.698787154371796e-197 -1.0364289079542765e+269 3.1070360337679413e+251 -5.055281258792448e+261)-3.209593552702303e-285(-3.4865909329494986e-285 -2.6283834513187432e-285)+nan.0validexit10.840508#f
(2.2146462719102775e+107 1.480149017593478e+88 -3.211630402871851e+157 -1.5078430320274713e+297 6759873976584341.0)3.936327464051919e+107(2.2127761305717776e+107 4.3166827310512905e+107)+nan.0validexit10.664973#f
(-1.0569496659952135e-175 2.598945097678744e+299 -4.73218278012748e-43 2.1052448109043437e-157 2.3276970179493182e+218)-9.411518748314948e-176(-3.009497516928054e-175 -3.1100778897669445e-176)+nan.0validexit10.550944#f
(1.726036507136919e+206 5.086892490282769e+288 5.860544373410751e-128 -4.187266671961755e+302 1.6457036110349779e-302)2.5241372618483647e+206(2.2196237430791402e+206 3.2028798675699915e+206)+nan.0validexit10.535442#f
(7.634674006660051e-162 -8.578952071222308e-14 -3.4783296200795976e-201 1.278878196749157e+79 3.10588055408016e+201)5.438105859184247e-162(5.438105859184247e-162 5.438105859184247e-162)+nan.0validexit00.26149#f
(2.3912707611615724e-301 -4.0129571889711724e+294 2.6359258967342045e-9 5.218805566471519e+127 -8.333658055427318e-274)3.298680500990826e-301(3.149576076109339e-301 4.36282257989993e-301)+nan.0validexit10.49469300000000005#f
(0.9133049343033225 -3.160731347639416e+38 -1.8341617155734456e+108 -9.402392493490757e+55 -4.994457813351155e-96)1.0894111112733522(1.0138798798345312 1.8553521922600955)+nan.0validexit10.34937199999999996#f
(-3.62341959850879e+119 3.250704811528426e-278 3.8179765710126574e+191 8.243368909659476e-175 -1.523762681883666e+230)-6.106120625779462e+119(-6.322648827461322e+119 -5.060659564087172e+119)+nan.0validexit10.550673#f
(-7.732555463599554e-287 1.5028455559458743e+303 1.8920128412628108e-96 -3.019447687797076e-29 -4.549407437845783e-229)-1.0044503294724119e-286(+nan.0 +nan.0)+nan.0validexit10.195546#f
(-6.453660122074963e+199 1.8114015395866186e-68 8.277729814026179e-89 -4.0836040122036014e-210 -4.826557072676007e-134)-1.1690169881095353e+132(+nan.0 +nan.0)+nan.0validexit15.0#f
(-2.329922822041764e-256 -2.364824785399057e-6 -5.423744963332614e+185 1.2725905320237567e+271 1.745053899131419e-18)-5.0308544019187005e-256(-7.165276902063061e-256 -1.5439151909454338e-257)+nan.0validexit10.656365#f
(2.8475688613027994e-273 -1.6151315981462062e+162 -1.2281313824818231e-144 -2.2362396994072267e-110 -1.5762254914071954e+304)5.7423864171269236e-273(8.923323103177106e-274 8.053569104942217e-273)+nan.0validexit10.5106499999999999#f
(-1.6617612418780336e+50 -5.8076874517327405e-288 3.668159608018871e-259 2.8111743188362616e-233 -1.8562377889216388e-277)-4.671500527204982e-183(-1.094343739417322e+41 0.0)+nan.0validexit20.324561#f
(1.1237571150255437e+184 3.020019213263559e+170 5.252301911018026e-154 1.9548580220199817e-258 -2.1643966099111337e+273)7.7681073106775335e+183(+nan.0 +nan.0)+nan.0validexit15.0#f
(-1.596779996905256e-99 -3.2658278818516823e+192 -4.908105571970907e+246 1.9215529236684076e+306 -5.5830441384228595e-68)-2.9518800368382763e-99(-3.5421594057098435e-99 -1.4742729019668415e-99)+nan.0validexit10.568972#f
(2.1554254275843188e+71 -1.4218787944833067e-305 1.3786916663202757e+192 6.086661147513569e+72 -6.81780536709238e-261)4.331501525818677e+71(1.3975700111193987e+71 5.373898677540136e+71)+nan.0validexit10.500689#f
(2.2021774074922653e-60 -6.764831112200896e-6 -4.923109171715211e+105 8.379747112381796e+252 -1.2980603041144532e+274)5.891455354500289e-60(4.901983226895892e-61 5.982794911750294e-60)+nan.0validexit10.5999650000000001#f
(3.911925730543069e+151 1.341358301554474e-164 3.4074695823099356e+265 2.900572438141989e-260 -1.1768778646017901e+95)4.883815274950882e+151(4.814619752720961e+151 7.47505738374203e+151)+nan.0validexit10.5117919999999999#f
(-9.239089487680302e-223 5.013449598045638e-38 6.600674467894852e+53 -5.817096321920946e-43 0.00044718221761273964)-1.0768428399304089e-222(-2.9021324103829303e-222 -4.131556525822823e-226)+nan.0validexit10.43467799999999995#f
(-2.1075459526736072e-181 1.3819870981691252e-270 1.1707839488522387e-254 -2.9211120541001244e-218 -2.1575523191597668e+145)-1.1407140017277897e-181(-1.1407140017277897e-181 -1.1407140017277897e-181)+nan.0validexit00.472813#f
(-1.0017579447186364e+292 1.9143991532711794e-291 -458.6263138116262 6.337707380163784e+246 5.321136124118258e+62)-2.3885295528954163e+291(-2.3885295528954163e+291 -2.3885295528954163e+291)+nan.0validexit00.46617400000000003#f
(-1.277445761192886e-76 -3.2962280356257555e-74 -6.691307691050059e+155 -10102704529.72355 -2.764336695389994e-58)-3.7562619923992263e-76(-3.994071526347539e-76 -1.9142692375452948e-78)+nan.0validexit10.50417#f
(5.800377064254003e+21 5.819681463236585e-182 8.670583030346681e+264 2.152307992742654e+105 -3.4238607673403894e-156)5.296017192467099e+21(5.255621373590874e+21 1.2966800599520236e+22)+nan.0validexit10.426765#f
(1.8951884059951258e-191 2.0736856693451904e-292 7.418708335792011e-194 7.211889083011336e-230 1.6337561191490254e+125)4.501542496065287e-191(4.501542496065287e-191 4.501542496065287e-191)+nan.0validexit00.375556#f
(-3.9685378759442707e-171 3.046870616625135e-67 1.0409647926072923e+183 -1.9276804107930998e+185 -1.5260530241498606e+175)-7.945175868366617e-171(-9.061106327762405e-171 -7.94437574445464e-171)+nan.0validexit10.479349#f
(1.9992489643047673e-266 -5.960084585378186e+148 -3.964203262445537e+28 3.361071458242071e-160 -6.812952585898308e-143)3.034133110793389e-267(+nan.0 +nan.0)+nan.0validexit10.314122#f
(2.3414418731645795e-267 7.888758572281187e-120 5.143781877490683e-166 4.537152355453825e-239 -6.986134303784677e-6)1.635762739043292e-272(1.6357627382795142e-272 1.6357627455470422e-272)+nan.0validexit10.32552#f
(9.794658579345897e+268 -5.870016311698814e-152 -6.800991056722292e+45 -6.116008979185145e+263 -2.2595889471091482e-110)1.0567313141926908e+269(5.7733488809414645e+267 3.0193492549199165e+269)+nan.0validexit10.5478040000000001#f
(1.1329711918614604e-241 -2.9349304581360317e+70 -1.4609392239118144e+251 6.161732026251731e+239 -5.2634173644863355e-145)8.18546334112153e-242(1.9772111734607286e-242 3.361612855734763e-241)+nan.0validexit10.28739#f
(-3.2760622928035025e+151 -3.8702667917600175e+131 185949152084993.44 8.488449073386776e+48 2.5638572537327742e+99)-4.1559800025824944e+151(-4.3404592819745834e+151 -3.5323552790258993e+151)+nan.0validexit10.24304599999999998#f
(6.548107428400704e+130 -1.8984082244876397e-220 7.062369919153955e+226 3.9619158664004035e-89 9.018197266570122e-84)1.0178728470684627e+131(+nan.0 +nan.0)+nan.0validexit10.154366#f
(1.2902994919157649e-244 -3.6790378307140056e+270 -1.53820900509661e-113 9.397041226296161e+253 -2.0578959101148368e-180)1.922789881894764e-244(1.9138974019249835e-244 2.1396980028082263e-244)+nan.0validexit10.66321#f
(8.411335142035633e+64 4.29642731640522e+159 1.5492815373091296e-170 7.998826666687295e-103 -4.598642937968776e+114)1.8314171519086273e+65(7.325270225527843e+64 1.9099718463572962e+65)+nan.0validexit10.482103#f
(-2.8987476904151577e+38 2.0203297957675982e+183 -1.4151882436150963e+116 3.933766015856053e-23 -1.0498906505025687e+195)-4.964919142364363e+38(+nan.0 +nan.0)+nan.0validexit15.0#f
(1.9758635987899733e-214 9.812442130084474e+29 2.427072709708405e+225 -9.195552504632754e+79 7.148915613049511e-51)2.1336985383962128e-214(1.9285161703154055e-214 4.2788423961386655e-214)+nan.0validexit10.534496#f
(2.201005081247667e-171 -2.7054065471335245e-136 -4.613878390716332e+275 1.409687999809981e+35 -1.1926859580217233e-270)3.2011431423831043e-171(2.2953373586231755e-171 4.619324035138302e-171)+nan.0validexit10.394257#f
(-5.394775264394589e-118 4.425408370071786e-233 -7.341333140485023e-227 -1.0485335731946824e-206 1.090876401560939e-264)-5e-324(-3.5526996221680786e-127 0.0)+nan.0validexit20.341447#f
(5.111908788794972e+247 -9.954865299094407e+100 3.664660402628413e-231 -7.794512282436695e+268 1.128551163333495e-256)5.4647349876541025e+247(1.3304644306928133e+247 1.472907066600657e+248)+nan.0validexit10.288151#f
(-1.03709570677424e-213 4.628592384897253e+66 -2580577.254910245 6.00749582429983e-40 -3.652079836915118e+65)-2.71322454534089e-213(-2.9930675253698756e-213 -2.650647281015908e-214)+nan.0validexit10.49671199999999993#f
(-7.782759556070322e-119 -9.79815064665337e+127 1.9031630508871633e-47 -1.9804087805846837e-307 4.9832286690502783e+51)-4.8248322219196136e-119(-2.1949008179238525e-118 -2.501252066767758e-119)+nan.0validexit10.22795500000000002#f
(6.76329251202708e-56 -5.852016555834741e-101 -1.0420506316877247e+81 1.014283252865443e-28 -1.7244553540809034e-284)7.4839289352976075e-56(+nan.0 +nan.0)+nan.0validexit10.285968#f
(-6.734476730648817e-74 7.000583942002855e+289 6.23061705067085e-282 -4.04915945980163e+133 -9.310596413266895e-92)-2.1292323608004864e-74(-2.0627223324882173e-73 -5.297592978955608e-75)+nan.0validexit10.537755#f
(2.597531983343596e+92 1.4067837585544138e+158 -0.0002461981044756337 5.067735012322969e+289 9.006979026224579e+194)4.145489824734683e+92(3.544146912320071e+92 4.232281724366669e+92)+nan.0validexit10.6508#f
(8.111315382977012e-121 -1.2153481003312016e-207 -4.6913944239559294e+141 -6.990310514319792e-168 -2.989049624595985e+284)1.049866929938667e-120(+nan.0 +nan.0)+nan.0validexit15.0#f
(4.6929726909409025e-262 -1.9244428593551047e+219 -1.1372070660751135e-210 3.42098812654852e-289 -1.7446102416216476e+32)1.2372936857074777e-261(3.525185102225715e-264 1.4708156678335206e-261)+nan.0validexit10.527891#f
(3.3921358774237358e+289 9.966886553989833e-222 -2.3891372946559087e-288 3.9435516341897545e+301 6.665600218494078e-294)6.655027385091882e+289(6.655027385091882e+289 6.655027385091882e+289)+nan.0validexit00.604394#f
(9.509580340463525e+47 -9.245678248918851e-299 2.084238478990193e-220 -7.677451832075449e+157 2.7615236240907694e+132)2.806983004146678e+48(2.806983004146678e+48 2.806983004146678e+48)+nan.0validexit00.423271#f
(4.208766941386208e-168 -9.556570974467868e-252 -353876088265215000.0 1.2584607102742589e-275 -1.0112306323125423e+156)5.044788316047824e-168(5.044788316047824e-168 5.126467857498909e-168)+nan.0validexit10.248998#f
(-1.711089523756067e-69 -8.253765440240136e+298 2.1795229408148445e-98 3.365686979294646e+44 -5.166491175058871e-230)-2.700211837428588e-69(-3.9173413023180917e-69 -1.4582049751484265e-69)+nan.0validexit10.399892#f
(3.635480515583174e-85 3.4744096321003636e+124 5.836673648586534e+164 -2.4850533006058665e+273 1.0243440421476531e+73)7.510481480666787e-85(2.4237019526309847e-85 1.0935469024981135e-84)+nan.0validexit10.691391#f
(-45.246641978772445 8.220182865696914e+225 7.244554046901723e+146 -8.559269082208558e-151 9.64642829324842e-164)-89.71406460394698(+nan.0 +nan.0)+nan.0validexit10.359919#f
(-2.25707656226822e-167 -3.619725169869584e-263 -2.4999625339340057e-289 -1.0508226397519154e-271 -8.769660555873747e-285)-0.0(+nan.0 +nan.0)+nan.0validexit20.233316#f
(-1.3001813616143887e-11 3.492033810990467e+271 -2.7773764762674735e-142 1.6811762310031944e+285 3.6402900952579426e+273)-2.481509402181014e-11(-2.5204691018535694e-11 -1.4872973792529353e-13)+nan.0validexit10.8714149999999999#f
(-1.329209181203372e-179 2.799285489494035e+280 1.0006432732969031e-24 4.502152477724995e-209 -1.60339653038437e-301)-3.969513539959445e-179(+nan.0 +nan.0)+nan.0validexit10.355867#f
(8.664395246266568e-28 -1.9651418751716912e-144 1.6238083562592657e-77 5.138658129308135e+223 -2.6840103818847052e-163)2.0835061426462348e-27(2.0835061426462348e-27 2.0835061426462348e-27)+nan.0validexit00.38066#f
(8.70798648144626e+267 -1.883853475816788e+59 -2.8446491440142273e-49 -2.722270950831212e+248 5.13643250917032e+120)1.5925928976117411e+268(1.5918552484225869e+268 2.5009655107328943e+268)+nan.0validexit10.5860690000000001#f
(-1033580131.0389539 2.6206123387601583e-91 -2.87618399315759e-226 1.6681777244992145e-7 -3.441124059305144e-34)-172.4195351084162(-172.42069130433464 -172.4193477943974)+nan.0validexit10.28216800000000003#f
(-4.0598927133404946e-10 3.382092605516576e+215 3.760010256048387e-141 -1.8772116567805532e+108 2.0345048705257295e+61)-7.16399646906247e-10(-7.886878810486087e-10 -4.2235205538428216e-11)+nan.0validexit10.597713#f
(-1.9138863045170144e+159 2.505045864445628e-238 -5.178414328328551e-264 -6.54142259886636e-272 -2.3879307300229903e-291)-4.794372972149473e-79(+nan.0 +nan.0)+nan.0validexit20.355957#f
(-2.494639015410172e-22 7.542509437826137e+215 1.6508079867121836e+36 -9.310118582407912e+38 5.928963313185702e+154)-2.357235849706123e-22(-2.359125912275339e-22 -1.5806381674838948e-22)+nan.0validexit10.6361169999999999#f
(-4.367754707951353e-230 -2.5482030217212654e+158 -2.1862838558876296e+70 9.846683928369418e+183 2.3662802724352965e-122)-5.852371101549521e-230(-1.0277566669946929e-229 -3.444139433235273e-230)+nan.0validexit10.27367400000000003#f
(-2.36582144528229e+73 1.515469260214767e+296 4.695413898021746e-298 -2.647299747667181e+51 4.7125511513032664e+24)-2.7395084001907216e+73(-4.851860817386495e+73 -2.6740135524522818e+73)+nan.0validexit10.5969490000000001#f
(1.5973136098193648e+226 -3.259168978965569e+69 -1.3294024406543767e+267 -1.3651461024060052e+138 -5.1015639556962765e+134)3.6247576171808813e+226(3.4989447281096846e+225 3.625017819853665e+226)+nan.0validexit10.6835190000000001#f
(-1.746771815259192e+183 -1.42058413518249e-166 2.869409752621409e+81 1.098723106461021e+203 -4.209237626400594e-171)-1.7568408184954612e+183(-3.7518608552937357e+183 -1.7357846470222492e+183)+nan.0validexit10.24770899999999998#f
(-2.3733035038385184e+60 1.6827540255948374e-35 3.23682611869469e+87 -2.314100560125965e+100 -6.533413896917013e+152)-3.696865121625352e+60(-6.2273843177628605e+60 -3.64282337308717e+60)+nan.0validexit10.542194#f
(1.248339929589806e-251 2.247942254558425e-206 -3.8481326718201316e+117 -4.441471945466471e+88 -1.0881040483516358e-174)2.5593908317824652e-251(3.3892275775150545e-252 3.582852794230629e-251)+nan.0validexit10.38722399999999996#f
(3.1065774496279456e+142 2.913373734533295e-20 -5.682317094046225e+283 1.712753265015716e-269 -5.070132841282909e-136)8.28264361557338e+142(+nan.0 +nan.0)+nan.0validexit10.346982#f
(-4.6981110958732555e+63 1.541583649643715e-218 -3.6821500977772103e+195 -4.271843639134029e-278 2.603100994518037e+217)-1.0691230982865473e+64(-1.1986572568420664e+64 -2.7729787361234487e+63)+nan.0validexit10.5938789999999999#f
(7.180338643293782e+238 4.373273485589841e-232 1.3201139618804935e+228 4.7202263768089063e-293 6.377742013157777e-231)1.58846288288687e+239(+nan.0 +nan.0)+nan.0validexit10.156396#f
(6.520834466650429e-13 -2.9605783825045225e-159 -9.588986728300658e-119 3.5307619672503115e-166 -2.4476389044542128e-300)6.252819515815646e-131(0.0 4.294259725477064e-22)+nan.0validexit10.15751#f
(-1.0143751949098461e-13 -3.0047670931951318e+268 -1.1505410923560462e-19 -2.623242719504788e+87 -6.124189340966772e+216)-2.668267627225777e-13(-2.710875014257844e-13 -1.7349451775086945e-13)+nan.0validexit10.5719#f
(-1.1262937138249911e+238 -4.382870741936344e+87 8.750267066009093e-299 -2.149126514172431e-239 -3.3772464321633034e-61)-2.8550794542408274e+235(+nan.0 +nan.0)+nan.0validexit10.319466#f
(5.228315776063042e-135 3.844307913016777e-285 2.805884779573641e-199 1.8483929994940419e-202 5.240508078793187e-303)0.0(+nan.0 +nan.0)+nan.0validexit20.294017#f
(1.3757387330544225e+44 -7.299599878199521e-127 -6.1871478566915594e+237 6.662614075724007e-150 3.9430121078421194e-69)1.8192501837110045e+44(+nan.0 +nan.0)+nan.0validexit10.31276699999999996#f
(1.3472334872649014e-8 -1.6470074154255323e-71 9.983476607522116e+116 -3.842993423238637e-194 -1.204265325542596e-28)3.074360231489414e-8(+nan.0 +nan.0)+nan.0validexit10.235264#f
(-9.022810370104686e+66 2.6729194842155916e+142 -1.6458554244765664e-51 2.5515904343289673e-39 6.7823089677736975e-248)-6.048332818535239e+65(+nan.0 +nan.0)+nan.0validexit10.298107#f
(-2.986281436978366e+57 5.145895450064985e+47 1.074033122191956e+244 7.92299038582327e+96 1.241221701070001e-71)-5.650361126343547e+57(-5.689641544027274e+57 -3.692038279935531e+57)+nan.0validexit10.488302#f
(-5.595256779354817e+272 6.7891049363372e-84 -6.39737293393809e+283 5.972920169040828e+171 -1.824246499304806e+217)-5.2371562409677436e+272(-8.526655210888214e+272 -4.7754404020684816e+272)+nan.0validexit10.543109#f
(1.062716174506925e+199 1.8348825596660955e+288 9.215402143520507e-232 -1.0889305401373318e-39 -7.677001706434644e-150)3.274897021608696e+199(+nan.0 +nan.0)+nan.0validexit10.273624#f
(-1.878291527522096e+52 -4.819667489401091e-94 6.849609726892606e+29 1.0179215305917128e+33 1.9394515385467494e+49)-7.795125699698582e+51(-8.932867799445251e+51 -5.73284283095531e+51)+nan.0validexit10.28035#f
(-4.315416694204872e-290 -1.549545132065832e+120 -3.476645485107462e-284 1.0914609310320868e+243 -2.2834117968866347e-116)-1.2779789777938219e-290(-1.2475188086956958e-289 -1.0820932967358177e-290)+nan.0validexit10.433097#f
(7.7798023317573995e-205 1.6932613943817522e+183 3.2405402325449185e-153 -1.231939744923976e+57 7.839934576552558e+144)4.570306729713646e-205(4.0626999422655155e-205 6.372350529394657e-205)+nan.0validexit10.447171#f
(-2.8189618130432617e-32 1.327955411506871e+254 6.317254979063193e+66 -6.661487585873057e+153 1.1938354566854871e+163)-3.590990474275656e-32(-4.5287426005733566e-32 -3.3004156125914336e-32)+nan.0validexit10.588775#f
(1.6430497475500128e+45 2.482908466896188e+295 -1.6355077462461088e+305 4.223291265783932e+191 -9.372655157015908e-140)3.0149064098528505e+45(1.5056950907004754e+45 3.656097925685209e+45)+nan.0validexit00.612456#f
(5.2489000814808806e+219 3.097611869137464e-282 1.1711222149091337e-234 -3.369032834232491e+298 -4.892914945361785e-64)1.186391107335643e+220(1.186391107335643e+220 1.186391107335643e+220)+nan.0validexit00.270074#f
(-1.4402159487053986e+212 -9.651341839547134e+298 -5.231835881717964e-247 -8.354820669434651e+179 1.0228308935465053e+268)-1.4420576656923391e+212(-1.8865619286256056e+212 -7.637301256066462e+211)+nan.0validexit10.818296#f
(-6.701670920302712e+199 -6.313700163182857e-238 1.1566120988240921e-69 -7.917936163381001e+209 3.2975288822865305e+113)-1.2225141661236596e+200(-1.2225141661236596e+200 -1.2225141661236596e+200)+nan.0validexit00.56098#f
(2.53566740019793e+46 3.321115059274622e-223 -2.3481139921258124e-182 -1.4895287254757112e-271 -4.1990403742701796e-193)5.954036101782042e-136(+nan.0 +nan.0)+nan.0validexit20.346253#f
(3.682545687778611e-218 -6.5504140760098605e+190 4.420644771293864e+100 -1.5958446848477205e-169 -2.266349552253607e-86)4.317574484261166e-218(+nan.0 +nan.0)+nan.0validexit10.257301#f
(-1.3805917370969e-308 -4.3998754250518136e+132 -2.410299423277759e+175 2.7203635740830685e+149 -5.43132015673856e-170)-2.0705672183764467e-308(-2.345064635125575e-308 -1.992192223744816e-308)+nan.0validexit10.247955#f
(5.515190258188876e+118 -3.2797112909237415e-28 -1.7991334671361474e-258 3.162210214946737e+283 7.371946847382015e+260)2.2048230493144447e+118(2.2048230493144447e+118 2.2048230493144447e+118)+nan.0validexit00.526069#f
(-8.828771480638043e+201 3.7314772913427495e-221 1.707839431026497e+217 -6.432767473251004e-75 -2.2645333358539232e+258)-2.180278503287302e+202(-2.411733675020276e+202 -3.6190668735927935e+201)+nan.0validexit10.455066#f
(-1.100724374834918e+164 -9.16355684128899e+80 -1.2580387881233253e-166 3.944409883226028e+127 6.006466730654283e-66)-2.805238023352524e+164(-2.8080986975774786e+164 -6.499289120311176e+163)+nan.0validexit10.226239#f
(-2.9602319189223094e+181 612835915.1710517 1.2807236746528533e+227 7.984176677447326e+133 1.9284242569289054e+306)-3.403893775049504e+181(-7.680482967149069e+181 -1.0783412200548171e+181)+nan.0validexit10.752167#f
(2.6025760400304627e+76 -4.201891119384589e+50 6.4877744686535315e+258 -8.492815412652758e-45 2.6819446525891457e+200)4.391322673048759e+76(2.5778909292013066e+76 5.598342838567211e+76)+nan.0validexit10.596534#f
(-88445237391.5669 6.001637030155794e-149 -1.858252049831703e+126 7.28655230506684e-55 -4.1351570952788504e+181)-179649669884.9969(-247097618514.26163 -30761289520.09022)+nan.0validexit10.555693#f
(-7.791699129187869e+47 3.596560479037307e-216 1.8456331459812636e+206 -6.2187851061445385e+249 2.3345480954678226e-253)-1.2200759911702576e+47(-2.3993492466206148e+48 -4.848522770324501e+46)+nan.0validexit10.567918#f
(2.741770738531028e+300 4.8353284186973084e+194 -2.54894208869197e-157 -5.460348932755439e+57 3.2702674652361524e-61)1.5338032303381024e+300(1.3880863779002893e+300 7.22544043209625e+300)+nan.0validexit10.534196#f
(-9.358401393059159e-116 1.223289650624171e+246 -1.0389645894518037e-79 1.1147619646769786e+295 7.388733328052145e-221)-2.327453333588314e-115(-2.4811256924127046e-115 -4.589028141652095e-116)+nan.0validexit10.560239#f
(-3.695141997420893e+20 1.3143677698269514e-137 -9.294075442783364e+283 -5.3067454857942134e-201 3.97670874655097e+141)-1.0138650014562756e+21(-1.0144311153457944e+21 -1.4643197996106482e+20)+nan.0validexit10.35637800000000003#f
(2.053076535455547e-308 -1.5594161616921448e+90 7.235974034050274e-136 -4.034870256517907e+127 -2.0116918813135617e+209)2.639094861684959e-308(2.3989182071949133e-308 5.443562461127184e-308)+nan.0validexit10.495282#f
(-7.134026155616326e+257 1.5373418379451633e+271 2.677576994037192e-82 7.21705811460957e+154 -4.755858126536436e+236)-1.876524559811846e+258(-1.9255641088911982e+258 -1.6904464526919187e+258)+nan.0validexit10.594424#f
(-5.997156568550311e+80 8.151993697333476e-234 -3.5461949804485525e-31 -1.8530079131622344e+102 -4.17867042336833e+113)-9.098052189579155e+80(-9.098052189579155e+80 -9.098052189579155e+80)+nan.0validexit00.397449#f
(-6.451038323361004e+122 -7.660223489006429e+130 -1.5510968383024753e+232 -7.836414040514969e+152 -6.377980483590449e-157)-1.1200462050399843e+123(-1.143547523820831e+123 -8.831059366488837e+122)+nan.0validexit10.523317#f
(-3.301200132252136e+48 6.692802877344743e+209 5.592767216860577e+57 -1.703672888939988e-279 1.7332520851358046e-78)-7.615506045767048e+48(+nan.0 +nan.0)+nan.0validexit10.35172699999999996#f
(1.7801530531820186e+124 -1.3190129408141064e+274 -1.5545088940881638e+139 9.367380455084839e+82 1.786944610549238e+205)4.054575908340728e+124(2.878961029871127e+123 4.1371187770400304e+124)+nan.0validexit10.30866#f
(-7.384217645772667e+65 4.733142578919157e-163 -9.381174735373517e+254 -1.228439527952376e+221 2.2993108488039102e+289)-5.3171970910991825e+65(-5.410254594227408e+65 -5.316499253539953e+65)+nan.0validexit10.5762999999999999#f
(-4.447111885967109e-61 2.429506382161372e+300 2.6674568936158965e-121 6.726234272793791e+305 -3.2162373389729414e-292)-6.853291871807267e-61(-7.192436007023498e-61 -6.778578023622624e-61)+nan.0validexit10.469794#f
(7.6677677612377364e-149 -3.5956561367883513e-286 -1.6947800401964256e-122 9.41912227225586e+304 -8.698250720729668e+166)3.1784070924946242e-149(3.1784070924946242e-149 3.1784070924946242e-149)+nan.0validexit00.47286#f
(3.520767183675313e-131 3.3110516388081656e+135 3.2549292718432657e-122 5.441778973596321e+176 -2.7439486005846026e-136)4.667477952182022e-131(3.504058947501482e-132 1.071041042448424e-130)+nan.0validexit10.487391#f
(0.00013022043542559273 4.962172984011364e+274 -1.508486573604903e-20 2.617293618816286e-284 -6.820684052946958e+135)0.0002963467051126461(7.916834921044863e-5 0.00032993121406985754)+nan.0validexit10.496827#f
Sollya timings
Total time spent in Sollya 2.9s
Bogosity

preprocess590.0ms (0.6%)

Algorithm
egg-herbie
Rules
1840×fma-define
664×fma-neg
625×distribute-lft-in
395×distribute-lft-neg-in
374×unsub-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01391768
13001768
25461752
39691752
417771752
528941752
632821752
740401752
847011752
954921752
1061381752
1164271752
1266211752
1375221752
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (neg.f64 R))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 (neg.f64 lambda2)))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 (neg.f64 phi2))) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 (neg.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (neg.f64 R)))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2))))) R))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 (neg.f64 lambda2)))))) R))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 (neg.f64 phi2))) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 (neg.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2))))) R))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 R lambda2))))) lambda1)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 R))))) lambda2)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 R) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 R) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) phi1)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 R)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 R)) (cos.f64 (-.f64 lambda1 lambda2))))) phi2)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 lambda1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 phi2)) (cos.f64 (-.f64 phi1 lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 lambda1)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 lambda1)) (cos.f64 (-.f64 phi2 lambda2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 lambda2) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 phi1))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 lambda2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 lambda2)) (cos.f64 (-.f64 lambda1 phi2))))) R)
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi2) (sin.f64 phi1)) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Outputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (neg.f64 R))
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) (neg.f64 R))
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) (neg.f64 R))
(*.f64 R (neg.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (neg.f64 (+.f64 lambda1 lambda2))))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (+.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (+.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 (neg.f64 lambda2)))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (neg.f64 (+.f64 lambda1 lambda2))))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (+.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (+.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (acos.f64 (-.f64 (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 (neg.f64 phi2))) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 (neg.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (acos.f64 (-.f64 (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (neg.f64 R)))
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2))))) R))
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2)))))) (neg.f64 R))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (neg.f64 (+.f64 lambda1 lambda2))))))))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (+.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (+.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 (neg.f64 lambda2)))))) R))
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 (neg.f64 lambda1) lambda2)))))) (neg.f64 R))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (neg.f64 (+.f64 lambda1 lambda2))))))))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (+.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (+.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 (neg.f64 phi1)) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 (neg.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R))
(*.f64 (acos.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) (neg.f64 R))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (neg.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2)))))))
(*.f64 R (neg.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2)))))))
(*.f64 R (neg.f64 (acos.f64 (-.f64 (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))))
(neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 (neg.f64 phi2))) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 (neg.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2))))) R))
(*.f64 (acos.f64 (fma.f64 (neg.f64 (sin.f64 phi1)) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) (neg.f64 R))
(*.f64 (neg.f64 R) (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2))))))
(*.f64 R (neg.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2)))))))
(*.f64 R (neg.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))) (*.f64 (sin.f64 phi1) (neg.f64 (sin.f64 phi2)))))))
(*.f64 R (neg.f64 (acos.f64 (-.f64 (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 R lambda2))))) lambda1)
(*.f64 lambda1 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 R lambda2)))))))
(*.f64 lambda1 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 R lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 R))))) lambda2)
(*.f64 lambda2 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 R))))))
(*.f64 lambda2 (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 R)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 lambda2 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 R)))))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 R) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 R) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) phi1)
(*.f64 phi1 (acos.f64 (fma.f64 (sin.f64 R) (sin.f64 phi2) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 R))))))
(*.f64 phi1 (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 R) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 R))))))
(*.f64 phi1 (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 R) (*.f64 (cos.f64 R) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 phi1 (acos.f64 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi2) (cos.f64 R)) (*.f64 (sin.f64 phi2) (sin.f64 R)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 R)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 R)) (cos.f64 (-.f64 lambda1 lambda2))))) phi2)
(*.f64 phi2 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 R) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 R))))))
(*.f64 phi2 (acos.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 R)) (*.f64 (sin.f64 phi1) (sin.f64 R)))))
(*.f64 phi2 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 R) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 R))))))
(*.f64 phi2 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 R) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 R))))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 lambda1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 phi2)) (cos.f64 (-.f64 phi1 lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 phi2) (*.f64 (cos.f64 lambda1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 phi1 lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 phi1 lambda2)))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 lambda1) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 lambda1)) (cos.f64 (-.f64 phi1 lambda2))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 lambda1) (*.f64 (cos.f64 phi2) (*.f64 (cos.f64 lambda1) (cos.f64 (-.f64 lambda2 phi1)))))))
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 phi1)))))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 lambda1)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 lambda1)) (cos.f64 (-.f64 phi2 lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 lambda1) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 lambda1) (cos.f64 (-.f64 phi2 lambda2)))))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 lambda2) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 phi1))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 phi2) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 lambda2)) (cos.f64 (-.f64 lambda1 phi1))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi2) (cos.f64 lambda2)) (cos.f64 (-.f64 lambda1 phi1)) (*.f64 (sin.f64 phi2) (sin.f64 lambda2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 lambda2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 lambda2)) (cos.f64 (-.f64 lambda1 phi2))))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 lambda2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 lambda2) (cos.f64 (-.f64 lambda1 phi2)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 lambda2)) (cos.f64 (-.f64 lambda1 phi2)) (*.f64 (sin.f64 phi1) (sin.f64 lambda2)))))
(*.f64 R (acos.f64 (fma.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 phi2))) (*.f64 (sin.f64 phi1) (sin.f64 lambda2)))))
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi2) (sin.f64 phi1)) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
(*.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
(*.f64 R (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
Symmetry

(negabs R)

(sort lambda1 lambda2)

(sort phi1 phi2)

Compiler

Compiled 24 to 17 computations (29.2% saved)

eval0.0ms (0%)

Compiler

Compiled 5 to 5 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
74.8%
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Compiler

Compiled 48 to 34 computations (29.2% saved)

simplify31.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02682
13382
23882
34082
44182
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Outputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 24 to 17 computations (29.2% saved)

preprocess180.0ms (0.2%)

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

(negabs R)

Compiler

Compiled 384 to 272 computations (29.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...