ABCF->ab-angle a
Time bar (total: 1.1min)
| 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.1% | 3.1% | 96.7% | 0.2% | 0% | 0% | 0% | 7 |
| 9.5% | 9.4% | 88.9% | 0.2% | 0% | 1.6% | 0% | 8 |
| 9.9% | 9.4% | 85% | 0.2% | 0% | 5.5% | 0% | 9 |
| 12.1% | 11.3% | 82.1% | 0.2% | 0% | 6.4% | 0% | 10 |
| 16.9% | 15.4% | 75.5% | 0.2% | 0% | 8.9% | 0% | 11 |
| 23.3% | 20.5% | 67.3% | 0.2% | 0% | 12% | 0% | 12 |
Compiled 45 to 23 computations (48.9% saved)
| 2.5s | 5685× | 0 | valid |
| 1.0s | 5658× | 0 | valid-sollya |
| 1.5s | 3719× | 0 | invalid |
| 813.0ms | 3662× | 0 | invalid-sollya |
| 1.4s | 1619× | 1 | valid |
| 338.0ms | 1614× | 1 | valid-sollya |
| 1.4s | 1594× | 1 | invalid |
| 348.0ms | 1564× | 1 | invalid-sollya |
| 979.0ms | 942× | 2 | valid |
| 210.0ms | 938× | 2 | valid-sollya |
| 968.0ms | 867× | 2 | invalid |
| 193.0ms | 856× | 2 | invalid-sollya |
| 34.0ms | 84× | 0 | exit-sollya |
| 9.0ms | 35× | 1 | exit-sollya |
| 4.0ms | 15× | 2 | exit-sollya |
| 2.0ms | 10× | 3 | valid-sollya |
| 23.0ms | 10× | 3 | valid |
| 1.0ms | 7× | 3 | invalid-sollya |
| 7.0ms | 7× | 3 | invalid |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-3.402572839254162e-27 -2.783725498747825e+208 -4.030774795443009e-22 6.24378956754555e-224) | -2.1179998397917195e-216 | (-2.1179998397917195e-216 -2.1179998397917195e-216) | +nan.0 | valid | exit | 0 | 0.396507 | #f |
| (1.3221388658545704e-103 2.2534107972798516e-96 3.0894263536566296e-61 -1.2910152770682642e+229) | 9.88159737741616e+165 | (9.88159737741616e+165 9.88159737741616e+165) | +nan.0 | valid | exit | 0 | 0.196828 | #f |
| (-1.6813537172716452e-15 5.711320343706606e-178 4.0097920969430842e-174 -1.0969500121525995e+229) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.311616 | #f |
| (1.181905392726788e-6 -1.6463244936870554e-252 7.558746763661093e-295 1.2223945734874899e+192) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.29886799999999997 | #f |
| (-1.1856332215855024e+172 -1.4318600820864469e-157 -4.757591819887941e+202 -9.308030815950605e+113) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.319515 | #f |
| (-1.1809414495148945e+240 -5.516310511478785e+182 -6.196036308227438e-89 -7.496195119839575e-165) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.30436599999999997 | #f |
| (5.392443300009702e-121 -1.4914176975786748e-204 -4.0770695125426255e+62 -4.010376738026248e-209) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.14236000000000001 | #f |
| (-8.328005954515454e+33 2.7561432448932087e+159 -9.321825112069302e+47 -6.503498784487647e-260) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.142199 | #f |
| (6.917030716252687e-90 -2.631399853167712e+194 1.901950239401736e+208 1.2629204254693215e+270) | -1.177960474580114e+45 | (-1.177960474580114e+45 -1.177960474580114e+45) | +nan.0 | valid | exit | 0 | 0.20130699999999999 | #f |
| (-3.7924774071466963e-153 -2.6428228563358884e-73 -7.416150521314666e+209 4.430637020252581e+263) | 7.729365031759988e+26 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.148777 | #f |
| (-2.1941969780683207e-59 4.2494517337211874e-173 2.1659931842980892e+74 -2.029650597548936e-204) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.138068 | #f |
| (8.060123098063855e-282 1.1213966182320495e-177 -6.167834714443351e+176 -9.922516317471384e-31) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.30343600000000004 | #f |
| (-2.9734974861347723e-41 2.6067733460144165e+120 8.492836480475672e+151 1.8319542839666217e-301) | -3.0262891512335953e-195 | (-3.0262891512335953e-195 -3.0262891512335953e-195) | +nan.0 | valid | exit | 0 | 0.192824 | #f |
| (3.2319151218780136e+195 6.253186370039551e+166 -7.405496096436608e-143 -2.651874493745595e-159) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.147149 | #f |
| (1.41948632387605e-203 -6.557099396287221e-139 3.910667174601069e-112 -8.239386669765075e-294) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.28668699999999997 | #f |
| (-2.0796710936389292e+212 -1.3525115739649512e-26 -1.7841318975233702e+53 -3.5381069864524907e+78) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.310675 | #f |
| (5.35455994113194e+53 -2.95209946732822e+130 -4.859856744736699e-184 1.9843743758987598e+177) | -3.6665812211650075e+23 | (-3.6665812211650075e+23 -3.6665812211650075e+23) | +nan.0 | valid | exit | 0 | 0.30445500000000003 | #f |
| (5.660057631586032e+274 4.8210834295725875e+55 7.287524589969112e-112 5.8468791054636474e+206) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.328484 | #f |
| (1.492461554878015e-29 -4.370810562781797e+49 4.623263800035802e+271 5.7938601113341e-213) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.30271200000000004 | #f |
| (-1.5161912292469584e+252 9.998640528946267e+82 6.815915824471648e+73 -1.3616717274553954e+134) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.318945 | #f |
| (2.0971105041555075e-47 2.370436574833121e+187 -1.5457559641654e-124 1.25278643672468e+134) | -3.251167534465079e-27 | (-3.251167534465079e-27 -3.251167534465079e-27) | +nan.0 | valid | exit | 0 | 0.30724700000000005 | #f |
| (247840645784929.94 -5.583151493001968e-134 -3.7218201140680324e-124 5.211548767580549e+54) | -1.1833295606349057e+89 | (-1.1833295606349057e+89 -1.1833295606349057e+89) | +nan.0 | valid | exit | 0 | 0.40648700000000004 | #f |
| (-2.286716131593776e+272 6.776708862871436e+301 3.597076278141195e-219 -1.5574148261035285e+171) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.35338600000000003 | #f |
| (-1.9357585991153387e+209 -6.292038434755082e-40 -1.9472308974760301e-293 -1.4245383889926957e+259) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.31011500000000003 | #f |
| (-4.3464620852439445e+291 -1.3106580958694373e+97 -6.188368603042463e+25 -4.143975374678782e-13) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.304203 | #f |
| (-7.52832948996646e+163 9.472595729723725e+99 -2.088101669815863e+287 -4.762366562993729e-230) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.24550499999999997 | #f |
| (1.5727057489321226e+63 -4.641281207782757e-140 -6.813562800009505e-205 -2.4348466443813156e-265) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14285 | #f |
| (-1.1394540246140006e-26 2.0845575163154176e+238 24432214509365174000.0 4.204890127120359e+136) | -2.0085626506795213e-51 | (-2.0085626506795213e-51 -2.0085626506795213e-51) | +nan.0 | valid | exit | 0 | 0.426365 | #f |
| (110253024.22805728 4.118607003736211e-246 -1.9561895901541063e-264 -6.711470286185905e-295) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.30878 | #f |
| (1.0167095010650597e+288 -3.5155454442623424e+136 -4.022595982741431e+214 -2.5224226997995917e-45) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.253195 | #f |
| (-1.0215496595672069e+210 1.1617910607523996e+229 -6.042045651801886e-146 -9.631796564176002e-244) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.24028799999999997 | #f |
| (1.1048729058228127e-90 -8.039254900339757e-193 -6.712348050619376e-116 -5.764662152928477e+282) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.147282 | #f |
| (1.8412801180417036e+218 -1.1651681341680409e+52 -1.8037234462114518e+292 -4.427549073917003e-67) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.25457399999999997 | #f |
| (-2.9070745322571264e+243 1.472549523046032e-85 -4.880353289942221e+126 -5.8299552069381884e+287) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.351453 | #f |
| (-2.5515849952856145e-272 7.466673367976046e-157 -3.539143512602405e+122 -6.407942031928517e-72) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.142555 | #f |
| (9.255040198478361e-208 -1.0321507153397721e-288 -3.648363288436785e-252 -2.0308177789381635e+303) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.149095 | #f |
| (5.588169774099919e+64 4.613447706807869e-295 61151645153806.99 -3.2740163904983315e-164) | 2.31385612954767e-89 | (2.31385612954767e-89 2.31385612954767e-89) | +nan.0 | valid | exit | 0 | 0.197681 | #f |
| (2.8165240231074135e-179 2.1563050341803606e+110 2.241717279556107e-69 -3.6170523370925466e-308) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14277199999999998 | #f |
| (1.3371403448013922e-90 1.1095053814484361e+107 2.3533512776597753e+83 -7.134852858044246e-20) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.146816 | #f |
| (2.7778039589976558e+23 1.7248302785423317e-273 -0.001520925123346741 -7.330074549386314e-38) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.173394 | #f |
| (-261490.12127452536 1.766409711264533e+127 -1.562348756586529e+209 3.506583266792395e-43) | -1.4981423637833922e-126 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.14437799999999998 | #f |
| (-5.616395508331031e-100 -183295.13874339516 -1238622.0600081878 -1.918880367344179e-30) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.127421 | #f |
| (-9.643079584737022e-76 1.1411600388320967e+107 8.737616063609246e-113 -4.2482925328321236e-308) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.149433 | #f |
| (8.222091756008413e+300 -8.498298197785126e-10 -5.379930797068631e+73 2.0774391398386015e-29) | -6.214065264024125e-52 | (-6.214065264024125e-52 -6.214065264024125e-52) | +nan.0 | valid | exit | 0 | 0.194861 | #f |
| (3.2907545108882336e-236 4.2476465141896806e+181 -1.5149100693751381e+82 -2.9558843874922466e-12) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.150689 | #f |
| (1.7667728588040254e+80 4.5158526304368676e+281 -3.4047187501375695e-277 -2.6333403166832853e-143) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.143008 | #f |
| (3.202803364735987e-26 1.8571151015444265e+140 -6.704084805031987e-106 2.0487462555098342e-188) | -1.4853871873370463e-164 | (-1.4853871873370463e-164 -1.4853871873370463e-164) | +nan.0 | valid | exit | 0 | 0.188142 | #f |
| (1.6577124631699686e-18 2303806251086.548 -1.0523177780489264e+181 -6.318882897959541e-121) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.314246 | #f |
| (-0.00534745779642649 7.258243059328158e-232 5.08143740279852e+100 3.8312800932771315e+25) | -84644407377939.53 | (-84644407377939.53 -84644407377939.53) | +nan.0 | valid | exit | 0 | 0.191605 | #f |
| (1569687776787563.5 -6.562653470005259e+108 -3.1353166682339826e+222 -4.979021561558812e+69) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.318756 | #f |
| (1.4657984013333691e+296 3.9494134465131824e-172 -2.701352912571293e+26 -4.1972096702110286e-26) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.32946000000000003 | #f |
| (1.2542457767783312e+249 3.085683040261763e+166 2.4809409957468023e+112 9.993674146360134e-110) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.332546 | #f |
| (-4.1481103511377056e-198 -1.5631894964821692e+176 -1.2063594870343677e+38 7.674690591401226e-253) | -9.90922344647867e-215 | (-9.90922344647867e-215 -9.90922344647867e-215) | +nan.0 | valid | exit | 0 | 0.191917 | #f |
| (-2.1960115331329954e+77 1.2945046064944167e-157 -8.90899770905426e+227 -2845340.618604748) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.142459 | #f |
| (7.670353610524982e+36 -3.5215448125705224e-244 -1.026355496810541e+228 1.987959831984587e-233) | -4.40103574786706e-231 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.14046999999999998 | #f |
| (4.6778159345319756e-77 1.0088591941212333e-149 1.594434173155339e-286 2.0021612384486834e+192) | -1.9185385430409065e+207 | (-1.9185385430409065e+207 -1.9185385430409065e+207) | +nan.0 | valid | exit | 0 | 0.195467 | #f |
| (6.456902775744786e+90 6.648749237108895e+43 1.263179597941088e+283 1.0994708949185506e-39) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.243816 | #f |
| (-5.460236129707876e+177 -1.5995866793863988e-161 -1.1523296028426157e-78 -1922457590325.766) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.243234 | #f |
| (5.633132321020129e-302 1.6435436500836268e-136 -1.6051617580704277e+141 -3.2818537348554404e+169) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.151249 | #f |
| (-7.174608690577356e-263 1.4142622888637142e-117 -1.9183306484472712e+279 -2.074330552512133e-57) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.376542 | #f |
| (1.2946448279489638e+223 -1.2949377336659194e+161 1.7709450705653507e-188 -1.2730442727925934e-222) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14653 | #f |
| (1.0968207119884472e-307 4.680830985574338e-132 -4.0657776298202746e-308 3.0019856439536335e+30) | -1.1325511446630867e+81 | (-1.1325511446630867e+81 -1.1325511446630867e+81) | +nan.0 | valid | exit | 0 | 0.360482 | #f |
| (6.6352527177522735e+205 -4.2576587335682627e+284 -6.030545906563259e+201 -4.714419033365494e+65) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25212 | #f |
| (-1.9965948493306602e+291 2.840745066027066e+40 3.728078664686434e-246 -2.8109154303522457e-238) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.354401 | #f |
| (-5.233782811591497e-138 2.0419637416710514e-275 -1.3515747124818768e+226 1.5547351807906106e+39) | 3.3916277826127237e-94 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.147191 | #f |
| (-4.781565696739088e-99 -1.833031569133482e+64 -2.5868093278570784e-33 1.2701424178139467e-267) | -3.722684538629965e-166 | (-3.722684538629965e-166 -3.722684538629965e-166) | +nan.0 | valid | exit | 0 | 0.191837 | #f |
| (-3.3142462745091243e-308 1.1190654842467002e+272 2.8565597704502816e+139 8.570612203981826e+220) | -3.913750804392836e-26 | (-3.913750804392836e-26 -3.913750804392836e-26) | +nan.0 | valid | exit | 0 | 0.20396 | #f |
| (-2.218267318193576e-101 1.5383951744518212e-145 8.39826776428682e-210 1.9265625042812616e-13) | -9.319328302824172e+43 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.13625099999999998 | #f |
| (1.8023681980146258e-133 1.4328269904645661e+119 2.7697338066819544e-7 -6.272122416978915e-84) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.314951 | #f |
| (-1.4291534703736838e+129 7.277057936320635e+177 -5.194331022031229e-163 -2.3816555155011314e-156) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.180188 | #f |
| (-3.162856786911959e-129 1182428369458034.8 -1.1163568822098073e+84 -2.753570104754555e+41) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.143949 | #f |
| (3.136301818931248e+60 -2.7711357327014132e+113 3.29053094869567e-110 -2.8813472621384733e+87) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.255202 | #f |
| (3.399947872715817e-233 1.2651293083345424e+154 -1.0993898682694522e-264 -2.7917538433618857e-258) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14709 | #f |
| (-1.1696333572286475e+220 1.0708102376493847e-76 2.534368987438417e+256 -1745077804.1726136) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.251723 | #f |
| (-7.524914437822897e-135 -4.538654299976385e-110 2.74353832657301e-277 -1.6757610535380839e+96) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.283959 | #f |
| (4.4378597076596127e-181 -1.83725864226986e-108 -4.668290011684863e+131 -2.0958700647670578e+266) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.30637600000000004 | #f |
| (-21372244284.636856 -1.1996358236802924e+41 1.0982705990345744e+137 1.770984773286178e-308) | -9.102954015121239e-160 | (-9.102954015121239e-160 -9.102954015121239e-160) | +nan.0 | valid | exit | 0 | 0.3362 | #f |
| (-3.612187877123429 1.8569160118669077e-51 -1.8412755674160464e+137 -2.923976115443748e-233) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.253627 | #f |
| (3.5245245551720133e-124 9.284400668200623e+250 -2.854824580988888e-129 6.372287134825787e+35) | -3.7049788162071864e-108 | (-3.7049788162071864e-108 -3.7049788162071864e-108) | +nan.0 | valid | exit | 0 | 0.195727 | #f |
| (9.863888279409774e-98 -1.0722292661549749e-298 -4.319734751262213e-179 -1915562151075.7563) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.13229 | #f |
| (7.978766751062894e-268 1.0024745991536752e-61 4.090616868785054e-185 -1.2105833304212811e-39) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.134496 | #f |
| (5.5141762862376875e+152 -28654.932121093683 2.463148700606153e+75 1.2335830266261342e-273) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.30077499999999996 | #f |
| (-5.638395783330127e-301 -6.6389380078583785e-164 1.7507741799071736e-94 -3.224672199460173e+150) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.35128600000000004 | #f |
| (2.370291763949724e+245 -1.0394509820277645e+87 3.567145873358446e+57 5.904904688790958e-42) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.33734800000000004 | #f |
| (8.472068548781984e-160 -3.503661192777035e+292 -2.21151398892757e-187 -4.675620273536038e-36) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.252042 | #f |
| (2.4545753748437465e-12 -1.2801915815531372e-113 -4.1538922707273897e-19 -1.2037421651298388e-204) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.23206600000000002 | #f |
| (1.548821843724991e+82 5.566651034663709e+26 9.839299927554938e+229 -1.1623476977478763e+60) | 8.662979712547217e-12 | (8.662979712547217e-12 8.662979712547217e-12) | +nan.0 | valid | exit | 0 | 0.194613 | #f |
| (-6.410857024785658e+245 -2.251032670089027e+186 -5.758202272696809e+120 -7.093684222144512e-264) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.264752 | #f |
| (-3.586588296314491e-191 2.4667927592744886e+30 -2.7804275853754253e+259 -5.7405414181377005e-294) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.326055 | #f |
| (-1.6645900857245442e+183 -4.718514572217575e+223 -1.3646078361937994e-71 -5.697602382263116e+131) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.290819 | #f |
| (4.153608072033458e+163 9.271379595885638e+151 4.869065615345748e+66 1.0685546365996957e+77) | -4.544611435616562e-32 | (-4.544611435616562e-32 -4.544611435616562e-32) | +nan.0 | valid | exit | 0 | 0.229283 | #f |
| (-2.8901029999596467e+91 -6.1554603269554165e+155 -1.7191358105361262e+161 -1.6143621954683644e-226) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14832199999999998 | #f |
| (-8.136269483524566e+139 -4.230159524557736e-180 -2.239979943218676e-246 1.7489176578295916e+80) | 1.4661284425194824e-30 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.16333499999999998 | #f |
| (7.233704081632886e-13 212039770338768450.0 6.199958192018628e+220 1.5512908633141765e-93) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.299471 | #f |
| (-1.8964841210478732e+237 6.155201731076245e+292 7.180932054934581e-222 -1.2223050780815248e-189) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.163377 | #f |
| (-2.066495404763908e+194 4.897766022852961e-44 -1.8755937113904992e-197 -4.9095690604237247e-76) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.287459 | #f |
| (9.893224928477404e-166 1.23411579166982e-41 1.4811818811981543e+162 1.363390528570334e-110) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.32249500000000003 | #f |
| (-1.764214327273524e-235 -9.61841745540907e-254 3.2937757792101184e+255 -4.291507875381026e+266) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 5.0 | #f |
| (-5.362061541125158e+196 1.689148811525179e+174 2.239168320141576e+121 -7.467539104834075e-50) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.25052199999999997 | #f |
| (-8.303062941455232e+213 -9.477453524536295e-51 1.6888143570316102e+159 -1.5812049903741676e-245) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.147733 | #f |
| (-1.854009143238736e-24 5.1207996296768945e-36 2.0669769326841495e+152 -3.2560626276692583e-10) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.231989 | #f |
| (-1.3260409830309202e-302 5.061807410930216e-55 1471770156048155.0 1.1665215906389861e-20) | -1.637158642778927e+52 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.38267901979847e+182 -6.493639699351789e+120 -1.29299323258573e-306 -57955659200.10481) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.141734 | #f |
| (-4.186346218824804e-170 6.285235355461436e-117 -3277182.9133406305 -6.058197618240412e-45) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.331454 | #f |
| (-3.7703039843594996e-34 5.449284835758988e+203 -3.977471985435663e+162 -6.487211709483896e-247) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.248585 | #f |
| (1.1486601610954616e-6 7.466425357100682e+292 4.268832336398595e+94 5.659658509404711e-18) | -1.2312712752566246e-155 | (-1.2312712752566246e-155 -1.2312712752566246e-155) | +nan.0 | valid | exit | 0 | 0.192079 | #f |
| (-3.805725031342921e-304 1.426244411852655e-224 -4.2582693846268554e-32 -1.4006237501556761e-132) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 2 | 0.135682 | #f |
| (1.6877099233656334e-294 -1.3834203102683764e+132 1.0913018460958299e+55 -2.1327406210646655e-78) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25287 | #f |
| (2.729217673868456e+297 -4.0351394881866983e+164 2.4040052293083565e-252 -2.622281585955191e-80) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.27157 | #f |
| (-2.9721351831494586e-267 1.2864635457551349e-278 -1.5710290727344064e-262 -3.883374298661178e-219) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.23731 | #f |
| (-1.289086233283159e+214 2.7111660734173784e+20 3.936557664460611e+62 -2.2629686456914206e+233) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.30088499999999996 | #f |
| (-3.258056705349066e-206 4.2096209262472924e+249 1.4080157692354615e+28 -1.6509081510198133e-80) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.239218 | #f |
| (6.590689014513508e-161 -1.9049571194496254e-210 -5.256926892461634e+202 3.396494290516127e-254) | -8.038027279225838e-229 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.139161 | #f |
| (6.863898161795907e+162 -1.0057791048684368e-172 -8.161623486703736e+273 3.8612435083434496e+107) | -6.8782082005366775e-84 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.35427000000000003 | #f |
| (7.837555528607565e+71 1.1759648419105299e-217 2.9587533395813514e-271 2.8341252163929687e+40) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25180400000000003 | #f |
| (-2.8366830555789835e-80 -4.605512923876054e-80 -2.7340921037221897e+29 -2.6946242543852284e+113) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.238549 | #f |
| (-5.787434794863698e+288 6.866670694064023e+230 4.727238069919943e-193 -7.670436934846747e+185) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.288127 | #f |
| (-1.2253903819272814e+81 531064592131770700.0 -3.351578554168912e+209 -1.2681688337408398e+144) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.341229 | #f |
| (1.5464270941258077e+55 6.994791912965372e-181 -4.302962669535577e+185 -6.868443993742566e-168) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.31322700000000003 | #f |
| (11.319977750921582 -1.934323730788765e+240 1.5764087201946413e+233 -1.9487940193429519e+46) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.30810499999999996 | #f |
| (-1.657504910713909e-130 -3.4337816025907255e+76 -1.5259816359493045e+140 1.4089565930618374e+75) | -3.038604335764676e-33 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.147663 | #f |
| (-1.4539828620593098e+219 5.268943778765603e+261 -4.8353758900240565e+66 1.1052393713867525e-71) | -6.477111736876107e-167 | (-6.477111736876107e-167 -6.477111736876107e-167) | +nan.0 | valid | exit | 0 | 0.491717 | #f |
| (-1.0345328746981352e+289 -9.669678514143605e+79 1.0708935033942458e+274 -1.862923943105346e+165) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.150569 | #f |
| (0.5953363706845625 3.834957579661741e+253 -1.9503381396131816e-41 3.9968160391767805e-194) | -4.565536250120342e-224 | (-4.565536250120342e-224 -4.565536250120342e-224) | +nan.0 | valid | exit | 0 | 0.192149 | #f |
| (1.3999445976862268e+300 -7.566246275090616e+156 1.66890393470129e-279 3.5398133229786562e-214) | -5.884304342131984e-114 | (-5.884304342131984e-114 -5.884304342131984e-114) | +nan.0 | valid | exit | 0 | 0.397088 | #f |
| (-4.436270347308902e+239 1.8059125147809875e+99 5.495858869246401e+35 -1.475169360249469e-123) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.31143499999999996 | #f |
| (-6.347836497899838e+204 2.241999707030285e-221 -2.9675870861101546e+57 -2.5091254706986114e+43) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.14896399999999999 | #f |
| (6.696260375508166e-134 -2.5075750005539466e-112 2.0542733628208675e-61 9.51929147842906e+148) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.140006 | #f |
| (-1.9959889928958e-280 -1.6111961988366893e+107 6.323274166606143e-108 3.394569943633949e-301) | -2.0527363093481315e-204 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.0296210444022757e-250 -6.924135045072123e+40 -4.448874893073492e-45 -6.868175760705804e-145) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.29033200000000003 | #f |
| (6.649883979882815e+273 -7.122645400498178e-116 1.2132161724937063e-300 1.193084818878428e-60) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.17511100000000002 | #f |
| (-6.4621334950742274e+181 -1.653298110901427e+149 -6.633072688374638e-44 -3.1695396673050334e+286) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.242987 | #f |
| (2.757844148250146e-178 1.9109902152336577e+101 -5.691858314046117e+173 -0.00011819317759222277) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.147925 | #f |
| (-7.42731026139551e+75 1.558870858678171e-23 22098.251709092743 -2.4632257587666612e+222) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 1 | 0.271256 | #f |
| 1× | egg-herbie |
| 816× | distribute-lft-in |
| 779× | distribute-rgt-in |
| 541× | unsub-neg |
| 536× | *-commutative |
| 509× | fma-define |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 2596 |
| 1 | 539 | 2224 |
| 2 | 2092 | 2112 |
| 3 | 7484 | 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 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (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 #s(literal 4 binary64) (*.f64 A C)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 A C)) (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 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (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 #s(literal 4 binary64) (*.f64 A C)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 A C)) (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 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 C (neg.f64 (*.f64 #s(literal 4 binary64) A))))) (+.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 C (neg.f64 (*.f64 #s(literal 4 binary64) A))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C)))))) (neg.f64 (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (*.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 (hypot.f64 B (+.f64 A C)) A)))))) (neg.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (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 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (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 #s(literal 4 binary64) (*.f64 A C)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 A C)) (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 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) 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 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) (*.f64 #s(literal 2 binary64) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))) (neg.f64 (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C))))) (neg.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (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 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (*.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 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 A C)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (-.f64 (*.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) (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 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 C (neg.f64 (*.f64 #s(literal 4 binary64) A))))) (+.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 C (neg.f64 (*.f64 #s(literal 4 binary64) A)))))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C)))))) (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 F (*.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 (hypot.f64 B (+.f64 A C)) A)))))) (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 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (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)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (fma.f64 A (*.f64 C #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 #s(literal 2 binary64) (*.f64 (*.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) 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 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) (*.f64 #s(literal 2 binary64) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))) (fma.f64 B B (*.f64 #s(literal 4 binary64) (*.f64 A C)))) |
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 F (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) 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 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 #s(literal 2 binary64) (*.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 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 A (*.f64 C #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 B (+.f64 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 (*.f64 (fma.f64 A A (*.f64 C (*.f64 B #s(literal -4 binary64)))) (*.f64 F #s(literal 2 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 F (*.f64 (+.f64 C (+.f64 B (hypot.f64 A (-.f64 B C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))) |
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 C (+.f64 B (hypot.f64 A (-.f64 B C)))) (*.f64 #s(literal 2 binary64) (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))))) (-.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 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (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 #s(literal 4 binary64) (*.f64 A C)) (pow.f64 B #s(literal 2 binary64)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 A C)) (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 (*.f64 #s(literal 2 binary64) (*.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 (*.f64 A (fma.f64 B B (*.f64 C (*.f64 F #s(literal -4 binary64))))) (*.f64 #s(literal 2 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 (*.f64 A (fma.f64 C (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (+.f64 F (+.f64 C (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 (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 F (-.f64 (pow.f64 C #s(literal 2 binary64)) (*.f64 B (*.f64 #s(literal 4 binary64) A))))) (+.f64 (+.f64 B A) (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 B (*.f64 #s(literal 4 binary64) A)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 C C (*.f64 B (*.f64 A #s(literal -4 binary64))))) (*.f64 #s(literal 2 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 (+.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 #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))))))) (fma.f64 #s(literal 4 binary64) (*.f64 A C) (neg.f64 (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 (*.f64 #s(literal 2 binary64) (*.f64 C (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 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 #s(literal 4 binary64) (*.f64 A F)))) |
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 F (*.f64 A #s(literal -4 binary64)))) (*.f64 C #s(literal 2 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 (fma.f64 F (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 C (+.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 (fma.f64 A (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (*.f64 C (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (neg.f64 (fma.f64 A (*.f64 F #s(literal -4 binary64)) (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 |
|---|---|---|
| 22.2% | (/.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 |
| 103× | unsub-neg |
| 87× | distribute-lft-neg-in |
| 72× | neg-mul-1 |
| 45× | neg-sub0 |
| 40× | cancel-sign-sub |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 157 |
| 1 | 51 | 157 |
| 2 | 75 | 157 |
| 3 | 94 | 153 |
| 4 | 127 | 153 |
| 5 | 174 | 153 |
| 6 | 222 | 153 |
| 7 | 282 | 153 |
| 8 | 376 | 153 |
| 9 | 428 | 153 |
| 10 | 448 | 153 |
| 11 | 471 | 153 |
| 12 | 501 | 153 |
| 13 | 533 | 153 |
| 14 | 571 | 153 |
| 15 | 604 | 153 |
| 16 | 640 | 153 |
| 17 | 657 | 153 |
| 18 | 669 | 153 |
| 19 | 670 | 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...