ABCF->ab-angle b
Time bar (total: 1.2min)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
| 3.2% | 3.1% | 95.1% | 0.2% | 0% | 1.6% | 0% | 7 |
| 11.9% | 10.9% | 81.1% | 0.2% | 0% | 7.8% | 0% | 8 |
| 12% | 10.9% | 80.3% | 0.2% | 0% | 8.6% | 0% | 9 |
| 13.5% | 12.1% | 77.6% | 0.2% | 0% | 10.1% | 0% | 10 |
| 17.5% | 15.2% | 71.5% | 0.2% | 0% | 13.1% | 0% | 11 |
| 24.3% | 20.1% | 62.4% | 0.2% | 0% | 17.3% | 0% | 12 |
Compiled 45 to 23 computations (48.9% saved)
| 3.0s | 5670× | 0 | valid |
| 1.1s | 5643× | 0 | valid-sollya |
| 1.2s | 2895× | 0 | invalid |
| 693.0ms | 2842× | 0 | invalid-sollya |
| 1.5s | 1625× | 1 | valid |
| 349.0ms | 1613× | 1 | valid-sollya |
| 1.5s | 1586× | 1 | invalid |
| 385.0ms | 1568× | 1 | invalid-sollya |
| 1.2s | 942× | 2 | valid |
| 224.0ms | 935× | 2 | valid-sollya |
| 1.2s | 907× | 2 | invalid |
| 214.0ms | 894× | 2 | invalid-sollya |
| 35.0ms | 80× | 0 | exit-sollya |
| 8.0ms | 30× | 1 | exit-sollya |
| 15.0ms | 20× | 2 | exit-sollya |
| 5.0ms | 19× | 3 | valid-sollya |
| 23.0ms | 19× | 3 | valid |
| 4.0ms | 17× | 3 | invalid-sollya |
| 19.0ms | 17× | 3 | invalid |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (1.5025175114653877e+262 -1.125768956185214e-194 -1.363836278209097e-278 1.301550395136873e+198) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.24552500000000002 | #f |
| (1.5864181680631225e+125 -1.38999526136914e-284 9.410081144430948e+227 -4.983234374903278e+191) | 7.27711055148799e-19 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.14857299999999998 | #f |
| (-1.949238380868295e+147 -8.307468915138874e-121 -6.364639951667101e-20 -3.0849979368483193e+255) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.256942 | #f |
| (9.667535513357229e+206 -1.2248173454840444e+48 1.041727353807979e+139 2.253539019263498e-7) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.322512 | #f |
| (-5252.688325505957 4.439089114700375e+220 -128595426.19760963 1.4291715548425312e+24) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.140573 | #f |
| (1.2052135112195036e-103 2.437132294269957e-111 1.0051198712438426e+34 -2.2468873189558143e+143) | 4.728046259302611e+54 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.15876700000000002 | #f |
| (1.3237660290869854e-291 2.5746763155560417e+289 3.394470648283018e-251 -2.37810171307653e+32) | -4.2980245491276284e-129 | (-4.2980245491276284e-129 -4.2980245491276284e-129) | +nan.0 | valid | exit | 0 | 0.374793 | #f |
| (-1.4035962361276147e-95 -1.7851768079870943e-199 5.669431768547429e+128 1.7260283179182994e-180) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.321964 | #f |
| (4.41007578563256e+220 4.0304477191043875e-85 -5.552160965261391e+264 3.952900885823755e-76) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.31472100000000003 | #f |
| (-5.882994075088035e-61 -4.308387112349888e-146 -1.953808465705737e-133 -7.053416335571262e-268) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.280031 | #f |
| (3.303885212877872e-226 -2.261626110614885e+141 -2.279879580005885e-128 -1.9049747438541762e-169) | -1.2979238240049856e-155 | (-1.2979238240049856e-155 -1.2979238240049856e-155) | +nan.0 | valid | exit | 0 | 0.371158 | #f |
| (4.50527931296138e+27 3.8093369853223716e-64 -32614052116.016407 -3.424238827536705e-127) | -8.71808628874963e-78 | (-8.754004518156679e-78 -8.682249172538637e-78) | +nan.0 | valid | exit | 1 | 0.356363 | #f |
| (4.0008973013861006e-21 59808.86037627393 2.0182807348720088e-47 4.965846996777556e+77) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.265504 | #f |
| (6.971782723835335e+286 -1.1070415601300038e-87 1.2240981087795775e+217 4.150023236161422e-253) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.357427 | #f |
| (-1.1661648283975067e+241 -1.129158983024874e+288 -2.3398697623148257e-229 -3.6306635918054187e-245) | -8.01918912361015e-267 | (-8.01918912361015e-267 -8.01918912361015e-267) | +nan.0 | valid | exit | 0 | 0.339447 | #f |
| (7.245260601958302 -1.924754475201679e-74 -6.620956083162927e+150 1.759058566528159e+118) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.27264 | #f |
| (1.8122371679653323e-296 -1.5551680585874448e+144 2.9164204948628196e+58 -4.990674012339076e-65) | -8.011354239389899e-105 | (-8.011354239389899e-105 -8.011354239389899e-105) | +nan.0 | valid | exit | 0 | 0.379087 | #f |
| (1.692933468480044e+168 6.871943758044918e+268 -1.1570959338821784e-142 4.704599274004251e+49) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.352514 | #f |
| (-2.0701529517719601e-165 -1.8414507368380008e-224 7.498916097214793e-229 7.048056340335203e+79) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.139128 | #f |
| (7.503028975738909e+260 -93257157363690.77 -4.408564703267663e-287 -4.342804001782014e-88) | -7.607935164553731e-175 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.186554 | #f |
| (6.3121466778757475e+193 -5.4870713288049906e+138 -3.3351146458919554e+246 3.8999434991439726e-48) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.357251 | #f |
| (3.549184707577058e+48 1.3053652730527838e-145 5.346009517611318e+228 5.306008955511786e-248) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.339095 | #f |
| (-3.875118685307643e+279 8.908242874015734e-58 -1.9070727837599478e-109 -1.6877343724931373e-10) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.239288 | #f |
| (-403220507163.3295 -4.869870978313524e-201 -1.266082868812849e+111 -8.065921782909768e-51) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.255787 | #f |
| (6.087287278530045e-94 -9.446452737308717e+247 6.285430924808207e-121 -8.272433142623809e-48) | -4.185017253213878e-148 | (-4.185017253213878e-148 -4.185017253213878e-148) | +nan.0 | valid | exit | 0 | 0.213669 | #f |
| (-1.1856544258905356e+259 1.2820993871098796e+251 1.5226514121675262e+155 7.141132085175663e-53) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.315502 | #f |
| (-1.3620519358403987e+50 -7.987258853820017e+101 -3.322663517583927e-61 3.0035826581653757e+57) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.150481 | #f |
| (-8.579702336082568e-101 -1.4563429639422395e-229 -6.768728642231039e-188 4.446034313361558e+34) | 8.104623663262694e+110 | (8.104623663262694e+110 8.104623663262694e+110) | +nan.0 | valid | exit | 0 | 0.184616 | #f |
| (9.855738812016777e+207 4.223468007062278e+90 2.6769390251356748e+228 1.9825675490820403e-119) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25883999999999996 | #f |
| (-8.934440019477303e-254 -2.541022343634872e+250 -9.358373833008674e+173 1.1479605215845741e-237) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.26424000000000003 | #f |
| (4.3430920959886636e-279 -5.233962797196331e+91 3.9017842326733556e+254 2.7274992857207244e+164) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.336438 | #f |
| (1.5614798178922283e+69 1.2814246639982845e-70 -9.995940056620352e-13 1.1282947241167979e-246) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.236931 | #f |
| (1.6046951834413256e-56 2.353935303575303e-268 1.3821417394789395e-286 8.446729378232811e+189) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.137895 | #f |
| (-2.1822520284274885e-217 4.6976912121660324e-300 2.844608631366026e+198 1.934312491338938e-57) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.34712000000000004 | #f |
| (2.1590352211067312e+59 -2.8341266693497798e-70 1.434469583595524e-131 1.3114159692329904e-93) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.29587800000000003 | #f |
| (-2.245207336196467e+185 -4.846806039177424e+60 -7.495115675084109e-138 -3.734359393801613e-157) | -1.1948424333019262e-46 | (-1.1948424333019262e-46 -1.1948424333019262e-46) | +nan.0 | valid | exit | 0 | 0.428909 | #f |
| (-2.9021253940563795e+264 -6.386976163473044e+201 3.6290663803113716e+179 2.494886140196469e+99) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.345797 | #f |
| (-1.9184453930420993e-119 -9.427031374516697e-96 -9.167098308786275e+155 1.4320799661508712e-50) | 2.7321775200647146e+34 | (2.7321775200647146e+34 2.7321775200647146e+34) | +nan.0 | valid | exit | 0 | 0.30102900000000005 | #f |
| (-3.1415563303865767e-227 6.158294618277881e+21 -2.8086077842675574e-120 -3.2591457546176063e+21) | -1.028813509571847 | (-1.028813509571847 -1.028813509571847) | +nan.0 | valid | exit | 0 | 0.389791 | #f |
| (-1.0348855460400436e+277 -5.644149053939079e-136 2.2617743669120447e+182 7.051491789644031e-22) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.240177 | #f |
| (-4.81765670766862e-261 1.0644039351175998e-18 -6.7476819424830365e-81 2.1766459915579537e+182) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.166421 | #f |
| (-1.3894411261192774e-103 1.1662675048208828e-51 3.648728188469501e-113 3.813797435052248e+213) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.139218 | #f |
| (3.582480671757948e+220 -1.4269180839920618e-169 4.429299838190807e-300 -2.568341258200858e+62) | 8.467095071613202e-80 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.14867999999999998 | #f |
| (-3.4861682936195643e-25 4.0393034323014956e-165 -4.79345857092622e-178 -4.280958659430354e-81) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.129863 | #f |
| (2.2153339873450907e+279 -1.5564995014739045e-270 -4.131971059061597e-117 -4.6358353955452623e+107) | -1.4465864684149814e-86 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.322872 | #f |
| (-1.6845777884745821e+80 5.896612424825625e-300 7.25505459580307e+289 7.6559744342724e+235) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.16546 | #f |
| (-3.565640639595102e-97 1.219415575629029e-105 3.1880382682226594e+59 3.9280235384565083e+304) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.280028 | #f |
| (7.37548065438143e+242 1.2746370311583627e+113 904244841430426.0 3.3616864374855387e+93) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.285192 | #f |
| (-3.726610302767944e+181 -1.3663902599730843e+209 -1.8382609689749733e+109 1.0151596798564665e+51) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.266663 | #f |
| (6.047591574200427e+238 -1.7891501807787837e-98 4.4389005713463835e+219 5.599051156585396e-179) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25368599999999997 | #f |
| (-4.317843231828117e-84 -7.664321335685986e+249 -3.237451969639685e+222 0.0010087979638488548) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.145809 | #f |
| (5.084145390047591e+141 -1.2528196834581138e-199 2.247912641572915e-81 -5.437484580832278e+70) | 3.2703184045915286e-36 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.325634 | #f |
| (1.832425206074199e-128 1.283341900902005e-35 6.431327952087214e+112 -4.527090323556589e+289) | 2.65313440673153e+88 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.28498100000000004 | #f |
| (2.485207029302743e-100 1.4574043259867885e-303 -6.288333933712318e-284 -1.4548621209932845e+272) | -7.6512013607073e+185 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.19224 | #f |
| (1.3257030299198908e+242 9.668923255416987e+23 -2.4446270397795022e-254 -2.859142396417075e+300) | -1.4685703926295397e+29 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.150283 | #f |
| (-6.252395332897569e-285 2.9403426545252675e-61 -1.0427645094640296e+56 9.33854787225292e+122) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.146625 | #f |
| (2.6363269972797456e+219 6.878832255838567e-196 1.4122823895058813e-140 4.816471400656486e-250) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.27658499999999997 | #f |
| (-3.4060718594800234e+100 1.756221704819757e+26 -1.1242857653216065e-291 -2.7523342863582755e-130) | -3.486808922896041e-41 | (-3.486808922896041e-41 -3.486808922896041e-41) | +nan.0 | valid | exit | 0 | 0.270023 | #f |
| (1.2931491181934804e+178 -5.364111937235937e-100 2.8185681668401113e+235 2.2027763881802876e-108) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.143029 | #f |
| (-7.099182535767857e+227 2.492247231338493e+141 -1.2027814792922988e-73 9.185203064602004e-228) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.287576 | #f |
| (2.0496386013809733e+23 2.4236306035342108e+66 -2.058169876811557e-40 3.631854974848581e+283) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.306346 | #f |
| (3.7396991372803427e+174 1.7031382038254277e-30 5.140216821308229e-11 2.0854726135911278e+296) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.144695 | #f |
| (-1.3017689132252382e-226 -5.6369815407963594e-14 -1.2884155834225219e-202 -7.858519120090788e+255) | -5.2803419577355365e+134 | (-5.2803419577355365e+134 -5.2803419577355365e+134) | +nan.0 | valid | exit | 0 | 0.453991 | #f |
| (1.2966174461130535e+101 -2.791606918150024e+169 -8.725857267940708e+59 7.16007217606329e-147) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.148004 | #f |
| (1.3317586345819811e-189 -8.100584961156314e-104 -1.5481403966529652e+40 -3.4714414792617385e-209) | -1.6145152948186126e-10 | (-1.6145152948186126e-10 -1.6145152948186126e-10) | +nan.0 | valid | exit | 0 | 0.375111 | #f |
| (7.477266262346623e-215 1.6320798058869988e+189 8.410583189758735e+276 -5.0748906618825846e+51) | -2.4564067918417176e-113 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.15063500000000002 | #f |
| (-1.0652421164254531e+216 4.180802168126123e-196 -2.5161781062377533e+263 2.7635493208204254e-79) | 5.0934194865861884e-148 | (5.0934194865861884e-148 5.0934194865861884e-148) | +nan.0 | valid | exit | 0 | 0.20287 | #f |
| (6.485064244037103e-283 -5.595143474768642e-95 -6.058084905900438e+54 -3.9297066579560446e+234) | -1.7440804437300666e+239 | (-1.7440804437300666e+239 -1.7440804437300666e+239) | +nan.0 | valid | exit | 0 | 0.20147900000000002 | #f |
| (-5.931056037431079e-225 2.5150591424966455e-234 -2.521954174839253e-22 -7.654544116132095e+67) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.140372 | #f |
| (1.2804496710403067e-275 -6.235963331726018e-230 -3.463116834450075e-73 -1.9709833015037e+297) | -1.240681241607299e+286 | (-1.240681241607299e+286 -1.240681241607299e+286) | +nan.0 | valid | exit | 0 | 0.19917700000000002 | #f |
| (-288.4708085784037 -3.750083226766008e-206 -3.8504465582118434e-221 -1.6649597353818805e+212) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.311231 | #f |
| (-1.9155880830252951e-268 -1.054843312590927e-33 1.6231185720582867e-240 -4.2301151486341775e+166) | -8.95565006744153e+99 | (-8.95565006744153e+99 -8.95565006744153e+99) | +nan.0 | valid | exit | 0 | 0.321666 | #f |
| (7.20747187276305e+49 -1.0150795645417658e+178 -3.4459378311981818e-109 1.4504709232270365e-235) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25106100000000003 | #f |
| (3.406034226018488e+285 -2.1393718420519195e+78 -9.209773220491718e+282 7.238303654003907e-124) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.16643 | #f |
| (-5.3117705676266694e-253 2.119372077165656e-99 -7.58662827496629e-242 6.41219596185434e-99) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14856 | #f |
| (-4.308753608630532e+258 2.3901198530817484e-261 3.692243086284021e+137 -1.1588748045237112e-62) | -1.7716303737214896e-100 | (-1.7716303737214896e-100 -1.7716303737214896e-100) | +nan.0 | valid | exit | 0 | 0.471579 | #f |
| (6.899794354890764e-31 -6.812799863960027e+73 1.8934038659274285e-225 2.0467367944481134e-26) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.244654 | #f |
| (3.655474267601936e+125 2.4736279980831604e-210 -3.120897775397112e-86 3.341961864755791e+133) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.184533 | #f |
| (-5.224531725963207e+74 2.429227926781829e-6 -6.369478304020472e-191 1.0993755720743551e+167) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 5.0 | #f |
| (-2370423538484981.5 -6.271471606168106e+35 -1.2006399595604624e-301 7.132677515797912e-274) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.250712 | #f |
| (-1.410035020618503e+111 -8.521571958114864e-148 1280421274.6934993 3.3778012110611e+20) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.243377 | #f |
| (3.766453153634021e+241 7.061601693292471e-36 -3.2000617176496024e+300 1.5917772517547854e-134) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14799400000000001 | #f |
| (-0.9477975735916873 -2.219388729694161e+147 5.893787813053426e+44 1.906500372687411e-278) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.298639 | #f |
| (-3.308215830668413e-103 1.1013108002724523e-24 -6.163044735550597e-26 3.5876245661249274e+194) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.275178 | #f |
| (-1.9963390961506958e-163 1.762649002009295e-220 -6.03968893114151e+271 -4.4048469967783384e+237) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.29945900000000003 | #f |
| (2.29452912300469e-204 -9.288932278786158e+288 -1.2321749694602455e-62 -1.1844365291291568e-176) | -5.049960672581126e-233 | (-5.049960672581126e-233 -5.049960672581126e-233) | +nan.0 | valid | exit | 0 | 0.201656 | #f |
| (4.752978286035625e-139 -7.237783873385986e-90 -6.244728785033738e-211 1.4537680847231728e-51) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 5.0 | #f |
| (1.4080132798806186e+93 8.319674019927304e-263 -5.373119048026521e-266 -6.992833325185901e-56) | -7.047307357361529e-75 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.24618900000000002 | #f |
| (6.334318131770583e+262 -9.910631386704654e+288 -2.77841462518319e-27 3.4858771589207556e+26) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.313928 | #f |
| (-7.890518728783468e+173 -2.29156372487877e-236 5.781534599490507e-298 -3.818855427327113e+135) | -2.570070544204592e+216 | (-2.570070544204592e+216 -2.570070544204592e+216) | +nan.0 | valid | exit | 0 | 0.217047 | #f |
| (3.4374366054936842e+270 1.8148352112157658e-57 -2.7801007431953556e+78 -1.403524762603556e+95) | -2.0206574245667156e-88 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.335833 | #f |
| (-3.747560419360919e+156 -9.24193950623541e+105 -7.467315700969524e+174 -2.160356847340543e-296) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.166782 | #f |
| (-3.322533978969464e-216 -4.751523864087851e-24 1.7224874016516956e-76 -6.088372504574839e+190) | -1.6008445006771548e+107 | (-1.6008445006771548e+107 -1.6008445006771548e+107) | +nan.0 | valid | exit | 0 | 0.417524 | #f |
| (-2.4927061954328654e-33 4.018548742047315e-96 1.6603490487744446e-143 2.117344995474268e+278) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.246987 | #f |
| (-34364816292884414000.0 5.595362899671179e-162 2.4373381144988483e+291 -1.774205399339386e-132) | -2.698013126686664e-212 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.14163800000000001 | #f |
| (-9.055462879080634e+129 8.551932832259685e-16 -4.025124848531323e+78 -2.097581856745496e-54) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.143657 | #f |
| (5.941836138794707e-97 7.033089942510821e-299 2.7132197228693957e-273 -3.125923392909633e-296) | 2.2936588857344415e-100 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.358253 | #f |
| (9.224420119510658e-110 5.261495541287939e-58 2.1437931411721804e+74 5.962797354245943e-166) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.140627 | #f |
| (-3.709707883057478e-185 -1.3680293593464325e-246 -9.195891662223219e+247 -2.2723523033728908e-187) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.244911 | #f |
| (5.630344851403049e-127 1.618975036316917e-115 -5.695207358954163e-60 8.702221712054754e+104) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.142124 | #f |
| (2.526604907186128e-193 -8.847325879969137e+67 1.4135054138008347e+22 3.754479341527052e+161) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25282 | #f |
| (4.0304688592824924e+231 1.919995079815475e+160 -2.7732182268279493e-60 2.771525885896679e+195) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.260064 | #f |
| (5.002281072034699e-143 9.604971902479765e-60 -1.494514688685557e-139 -4.1685478232055546e+276) | -9.316640603753773e+167 | (-9.316640603753773e+167 -9.316640603753773e+167) | +nan.0 | valid | exit | 0 | 0.326609 | #f |
| (-1.975838762617026e-144 -22.66302036961982 -34275.574789226266 2.4326833840577732e-200) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.24470600000000003 | #f |
| (2.0989443680899825e+183 -1.3376723904697455e-138 6.123969868819506e+24 -1.5335614971149109e-201) | 8.547716983896754e-193 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.376334 | #f |
| (3.825392891932453e+264 4.301083574965873e-120 1.775928200316419e+28 -1.1433032640398547e-306) | 5.466919744493577e-286 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.281902 | #f |
| (8.518410073397831e-24 8.55738545300558e-220 5.49071405718403e-222 3.509232598555362e+141) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.306616 | #f |
| (8.270641278306812e+273 -2.4083815552211118e-51 -9.180478019240225e+98 -5.677988379647619e-200) | -2.6201590652754447e-237 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.389982 | #f |
| (-2.401055635803798e-155 8.62091306782699e-115 -2.8775701393628317e+94 7.179430039796026e+278) | 5.468193473935611e+216 | (5.468193473935611e+216 5.468193473935611e+216) | +nan.0 | valid | exit | 0 | 0.315975 | #f |
| (1.9437354384579325e-93 -3.185495362299706e-252 -8.250422560578156e-83 -2.506843343883435e-201) | -1.1356513490523374e-54 | (-1.1356513490523374e-54 -1.1356513490523374e-54) | +nan.0 | valid | exit | 0 | 0.178368 | #f |
| (8.134881674215327e+127 7.976358583582895e+236 -5.167523784436851e+179 -1.9771015715247342) | -7.040883421247079e-119 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.834248071281238e+263 -6.605398909045939e-157 1.3069499157404382e-100 7.190737549595296e+303) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 5.0 | #f |
| (-2.0303922068998957e-278 -8.634595297611232e-169 7.454082120567684e+214 4.717412331666614e+48) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.153781 | #f |
| (2.4453700788294573e+240 -2.5160507870100334e-248 -1.9454710122065318e-19 2.2769338199695868e-150) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.326261 | #f |
| (-3.2378875123647735e-53 7.523028529659543e+156 8.558471590088122e+195 3.883844557751063e+302) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.323523 | #f |
| (3.9985380695372226e+282 -3.5915858354613044e-12 -6.5924579346370585e-99 74522689527753920.0) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.328094 | #f |
| (1.6146766191582287e-79 -8.406762101073924e-135 1.65938017408779e+137 3.214404615755346e-234) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.288462 | #f |
| (-9.370656348458714e+204 -1.6672477631469102e-257 1.0495168216741843e+272 2.0498989008852068e+179) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.35879500000000003 | #f |
| (-2804050162514.969 2.3329290709670462e-209 -7.083776962114024e+59 -5.261905179366192e-257) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.138677 | #f |
| (2.2572133845520857e+66 -2.34766775634038e+267 -2.2752459910497685e-20 6.5137648055492554e+255) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.143514 | #f |
| (-2.2388198393355392e-26 -1.5713198794418462e-168 -5.7693321430587126e-167 -4.242414995576545e+291) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.147472 | #f |
| (6.554248908290533e+225 -1.1924282948990313e+272 -7.951455069208249e-87 3.653971598583101e+144) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.284385 | #f |
| (2.2414599970810918e+134 2.9144884765924638e-176 1.9449566819816134e-252 6.5476890313654885e-285) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.139794 | #f |
| (-2.689283974875787e+89 -1.3196846607586403e-118 1.2983834072251687e+301 -8.011941287241948e-284) | -7.855383653530242e-293 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.173903 | #f |
| (2.522987287855534e+268 -2.93307418466448e+61 2.951399791239723e-129 5.291697437880677e+169) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 5.0 | #f |
| (-2.2027196500507747e+83 -7.920797544102511e-240 1.0914917685821903e-72 -1.9662814488409854e+35) | -4.2443638653453354e+53 | (-4.2443638653453354e+53 -4.2443638653453354e+53) | +nan.0 | valid | exit | 0 | 0.32230699999999995 | #f |
| (1.5020387843378852e+267 -2.4427959495413664e-300 5.0411404893075686e-279 5.06998646385466e-150) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.144367 | #f |
| (-2.0966145768592283e-51 -4.3288135059712166e-133 -1.405958745794238e+251 4.784323030397047e+31) | 1.5106051013201552e+41 | (1.5106051013201552e+41 1.5106051013201552e+41) | +nan.0 | valid | exit | 0 | 0.187307 | #f |
| (2.2269040416231647e+191 4.850617318785387e-203 9.387974826994195e-200 654172716.0200722) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.33810999999999997 | #f |
| (-1.7274307789580154e-72 -7.484149790548794e-197 -6.133979100350344e-109 9.296124668987418e+254) | 3.892958945198413e+181 | (3.892958945198413e+181 3.892958945198413e+181) | +nan.0 | valid | exit | 0 | 0.195753 | #f |
| 1× | egg-herbie |
| 635× | distribute-lft-in |
| 612× | distribute-rgt-in |
| 513× | unsub-neg |
| 382× | *-commutative |
| 374× | fma-neg |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 2596 |
| 1 | 482 | 2224 |
| 2 | 1727 | 2112 |
| 3 | 6131 | 2112 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (-.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (-.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (-.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (-.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) B) C)) F)) (-.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) #s(literal 2 binary64)) (pow.f64 A #s(literal 2 binary64)))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) B) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) C) A)) F)) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) C) A))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) F) C)) A)) (-.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) F) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) B)) F)) (-.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) #s(literal 2 binary64)) (pow.f64 C #s(literal 2 binary64)))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) B))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) B)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F)) C)) (-.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F))) |
| Outputs |
|---|
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) F)) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) F) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) F)) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) F) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (-.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 A) C))))) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 A) C)))) |
(/.f64 (sqrt.f64 (*.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 (neg.f64 A) C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))) (*.f64 F #s(literal 2 binary64))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (*.f64 F (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (-.f64 (*.f64 A (*.f64 C #s(literal -4 binary64))) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (*.f64 F (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (neg.f64 (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) F)) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) F) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (-.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A (neg.f64 C)))))) (-.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A (neg.f64 C))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))) (*.f64 F #s(literal 2 binary64))) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (-.f64 (*.f64 A (*.f64 C #s(literal -4 binary64))) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (neg.f64 (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) (neg.f64 F)))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) (neg.f64 F))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 F #s(literal -2 binary64))))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (-.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 A) C))))) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 A) C))))) |
(/.f64 (sqrt.f64 (*.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 (neg.f64 A) C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))) (*.f64 F #s(literal 2 binary64))))) (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (*.f64 F (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))))) (neg.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) F) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (-.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A (neg.f64 C)))))) (-.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A (neg.f64 C)))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C))) (*.f64 F #s(literal 2 binary64))) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (fma.f64 B B (*.f64 A (*.f64 #s(literal 4 binary64) C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))) |
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) (neg.f64 F)))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) (neg.f64 F))))) (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 F #s(literal -2 binary64))))) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) B) C)) F)) (-.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) #s(literal 2 binary64)) (pow.f64 A #s(literal 2 binary64)))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) B) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 B C))))) (-.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 A #s(literal 2 binary64)) (pow.f64 (-.f64 B C) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 B C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (*.f64 (fma.f64 A A (*.f64 C (*.f64 B #s(literal -4 binary64)))) (+.f64 B (-.f64 C (hypot.f64 A (-.f64 B C)))))))) (neg.f64 (fma.f64 A A (*.f64 C (*.f64 B #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (+.f64 B (-.f64 C (hypot.f64 A (-.f64 B C))))))) (neg.f64 (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (+.f64 B (-.f64 C (hypot.f64 A (-.f64 B C))))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 B C)) (pow.f64 A #s(literal 2 binary64)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) C) A)) F)) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) C) A))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))) F)) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))) F) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) F) C)) A)) (-.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) F) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 A (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 F C)))) (+.f64 F (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 F C) #s(literal 2 binary64)))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 F C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 A (*.f64 (fma.f64 B B (*.f64 C (*.f64 F #s(literal -4 binary64)))) (+.f64 C (-.f64 F (hypot.f64 B (-.f64 F C)))))))) (neg.f64 (fma.f64 B B (*.f64 C (*.f64 F #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 A (*.f64 (fma.f64 C (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 F (hypot.f64 B (-.f64 F C)))))))) (neg.f64 (fma.f64 C (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 A (*.f64 (fma.f64 C (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 F (hypot.f64 B (-.f64 F C)))))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 C F)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) B)) F)) (-.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) #s(literal 2 binary64)) (pow.f64 C #s(literal 2 binary64)))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) B))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A B)))) (+.f64 A (-.f64 B (sqrt.f64 (+.f64 (pow.f64 C #s(literal 2 binary64)) (pow.f64 (-.f64 A B) #s(literal 2 binary64)))))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A B)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (*.f64 (fma.f64 C C (*.f64 B (*.f64 A #s(literal -4 binary64)))) (+.f64 B (-.f64 A (hypot.f64 C (-.f64 A B)))))))) (neg.f64 (fma.f64 C C (*.f64 B (*.f64 A #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 B (*.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64)))) (+.f64 B (-.f64 A (hypot.f64 C (-.f64 A B))))))) (neg.f64 (fma.f64 B (*.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 B (*.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64)))) (+.f64 B (-.f64 A (hypot.f64 C (-.f64 A B))))))) (-.f64 (*.f64 A (*.f64 B #s(literal 4 binary64))) (pow.f64 C #s(literal 2 binary64)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) B)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 B (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C))))) (+.f64 A (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64))))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 B (fma.f64 F F (*.f64 A (*.f64 C #s(literal -4 binary64))))) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 F (-.f64 A C))))))) (neg.f64 (fma.f64 F F (*.f64 A (*.f64 C #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 B (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 F (-.f64 A C))))))) (neg.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 B (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (+.f64 A (-.f64 C (hypot.f64 F (-.f64 A C))))))) (-.f64 (*.f64 A (*.f64 #s(literal 4 binary64) C)) (pow.f64 F #s(literal 2 binary64)))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F)) C)) (-.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 C (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F))) (-.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A F) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) F))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 C (*.f64 (fma.f64 B B (*.f64 F (*.f64 A #s(literal -4 binary64)))) (+.f64 F (-.f64 A (hypot.f64 B (-.f64 A F)))))))) (neg.f64 (fma.f64 B B (*.f64 F (*.f64 A #s(literal -4 binary64)))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 C (*.f64 (fma.f64 F (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 A (-.f64 F (hypot.f64 B (-.f64 A F)))))))) (neg.f64 (fma.f64 F (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 C (*.f64 (fma.f64 A (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 A (-.f64 F (hypot.f64 B (-.f64 A F)))))))) (-.f64 (*.f64 A (*.f64 #s(literal 4 binary64) F)) (pow.f64 B #s(literal 2 binary64)))) |
(abs B)
(sort A C)
Compiled 44 to 22 computations (50% saved)
Compiled 4 to 4 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 16.6% | (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
Compiled 88 to 44 computations (50% saved)
| 1× | egg-herbie |
| 116× | unsub-neg |
| 88× | distribute-lft-neg-in |
| 79× | neg-mul-1 |
| 47× | neg-sub0 |
| 42× | distribute-neg-out |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 157 |
| 1 | 52 | 157 |
| 2 | 79 | 157 |
| 3 | 100 | 153 |
| 4 | 134 | 153 |
| 5 | 181 | 153 |
| 6 | 229 | 153 |
| 7 | 298 | 153 |
| 8 | 428 | 153 |
| 9 | 525 | 153 |
| 10 | 559 | 153 |
| 11 | 608 | 153 |
| 12 | 645 | 153 |
| 13 | 674 | 153 |
| 14 | 695 | 153 |
| 15 | 719 | 153 |
| 16 | 723 | 153 |
| 17 | 730 | 153 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
| Outputs |
|---|
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))) (-.f64 (*.f64 (*.f64 #s(literal 4 binary64) A) C) (pow.f64 B #s(literal 2 binary64)))) |
| 1× | fuel |
Compiled 43 to 22 computations (48.8% saved)
(sort A C)
(abs B)
Compiled 518 to 264 computations (49% saved)
Loading profile data...