quadp (p42, positive)
Time bar (total: 21.6s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 4 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 5 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 6 |
| 40% | 37.4% | 56.2% | 0.1% | 0% | 6.2% | 0% | 7 |
| 48.3% | 45.2% | 48.4% | 0.1% | 0% | 6.2% | 0% | 8 |
| 53% | 48.4% | 42.9% | 0.1% | 0% | 8.6% | 0% | 9 |
| 58.1% | 50.3% | 36.3% | 0.1% | 0% | 13.3% | 0% | 10 |
| 66.1% | 56.8% | 29.1% | 0.1% | 0% | 14% | 0% | 11 |
| 70.4% | 58.8% | 24.7% | 0.1% | 0% | 16.4% | 0% | 12 |
Compiled 21 to 15 computations (28.6% saved)
| 1.7s | 5551× | 0 | valid |
| 644.0ms | 5517× | 0 | valid-sollya |
| 1.4s | 1889× | 2 | valid |
| 369.0ms | 1877× | 2 | valid-sollya |
| 286.0ms | 925× | 0 | invalid |
| 124.0ms | 912× | 0 | invalid-sollya |
| 414.0ms | 816× | 1 | valid |
| 116.0ms | 814× | 1 | valid-sollya |
| 23.0ms | 47× | 0 | exit-sollya |
| 2.0ms | 12× | 2 | exit-sollya |
| 0.0ms | 2× | 1 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-1.402141083171514e+97 3.8474569103608652e-121 -1.1423195395626665e-304) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.089676 | #f |
| (6.002077847665841e-258 -3.443025997486582e+234 2.8587223012550084e+215) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.31182 | #f |
| (-1.7903346629159068e+61 -5.650239724254703e+167 -4.677381986520873e+70) | -3.155968457345395e+106 | (-3.155968457345395e+106 -3.155968457345395e+106) | +nan.0 | valid | exit | 0 | 0.29776899999999995 | #f |
| (2.336867236771931e+166 -1.2396480442383643e-57 -2.8414772711485694e+130) | 1.1026941571267154e-18 | (1.1026941571267154e-18 1.1026941571267154e-18) | +nan.0 | valid | exit | 0 | 0.141297 | #f |
| (-1.256889939670888 5.5123344524618606e-6 -2.5439051132935757e+75) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08475 | #f |
| (-6.7731830077042534e+131 2.5183009230392985e+205 3.6561424906336865e-78) | -1.451829071412619e-283 | (-1.605996188278744e+54 1.605996188278744e+54) | +nan.0 | valid | exit | 2 | 0.242128 | #f |
| (-9.541693170917446e-82 -1.1584013087103422e+297 0.0360880390836168) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.14878 | #f |
| (1.2968660240737584e-191 -4.582518229281862e-273 -7.310874286268658e+162) | 7.508221941049547e+176 | (7.508221941049547e+176 7.508221941049547e+176) | +nan.0 | valid | exit | 0 | 0.258115 | #f |
| (4.461337993957375e+260 -2.0158216830647089e+121 -7.427865140896601e+236) | 1.2903259799237598e-12 | (1.2903259799237598e-12 1.2903259799237598e-12) | +nan.0 | valid | exit | 0 | 0.273216 | #f |
| (-3.315718284390424e+276 -2.4219966978122557e+36 2.584904318226962e-141) | -2.792115785295017e-209 | (-2.792115785295017e-209 -2.792115785295017e-209) | +nan.0 | valid | exit | 0 | 0.234472 | #f |
| (-1.4627736721168095e+284 -1.0056492227606031e-98 1.2983464050914704e-21) | -2.9792484520940366e-153 | (-2.9792484520940366e-153 -2.9792484520940366e-153) | +nan.0 | valid | exit | 0 | 0.22304000000000002 | #f |
| (-7.526899389197195e-188 1.0078071281215972e+143 1.9548876476150814e-199) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.263604 | #f |
| (2.238368561490809e+269 5.999874024082496e-290 -1.7576890854100526e+195) | 8.861458935210964e-38 | (8.861458935210964e-38 8.861458935210964e-38) | +nan.0 | valid | exit | 0 | 0.274724 | #f |
| (-6.391151922092276e+202 2.301469739638925e+192 7.721883642242359e-168) | -0.0 | (-1.9349438449284725e-30 1.9349438449284725e-30) | +nan.0 | valid | exit | 2 | 0.225346 | #f |
| (-6.3692454376348e-153 -5.5409616775281336e-133 -4.2241901787755425e-92) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.084477 | #f |
| (1.3031654578229613e-287 2.1501882497196446e-30 1.2519538516308057e+255) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.09220500000000001 | #f |
| (3.797844580607749e-252 4.563625000037887e-290 3.334034114029597e-130) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.165611 | #f |
| (4.959576011615259e-280 3.217873343212429e-131 -7.276642998308316e+289) | 3.830392327578851e+284 | (3.830392327578851e+284 3.830392327578851e+284) | +nan.0 | valid | exit | 0 | 0.236889 | #f |
| (1.3459041081766413e-126 -6.189746311269006e-227 5.324238007635349e-210) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14152399999999998 | #f |
| (2.40535194048115e+218 4.094496172839008e+269 3.8936694046214284e-267) | -0.0 | (-1.1906325821387383e+32 5.953162910693692e+31) | +nan.0 | valid | exit | 2 | 0.099058 | #f |
| (9.685838981734184e-108 4.789960359585337e+118 2.207166528592259e+27) | -4.607901449905384e-92 | (-2.2581943896732004e+206 2.2581943896732004e+206) | +nan.0 | valid | exit | 2 | 0.168853 | #f |
| (2.349498779021859e-14 -2.4745775068354467e-200 -1.4894981170834414e-304) | 7.962186894182797e-146 | (7.962186894182797e-146 7.962186894182797e-146) | +nan.0 | valid | exit | 0 | 0.22389900000000001 | #f |
| (1.1481153782695797e-30 -3.880379765991113e-103 1.6080087001105892e-83) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.170374 | #f |
| (1.698915314166935e+189 1.4387900994629198e-207 -4.190441778263949e-183) | 1.5705220560931132e-186 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (6.215918915710304e+261 1.1158781020081245e+91 4.106695147687613e+129) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.09928300000000001 | #f |
| (7.039806181552867e+295 -7.359700715813003e-50 -3.1008582463955386e-308) | 2.098749498675267e-302 | (2.098749498675267e-302 2.098749498675267e-302) | +nan.0 | valid | exit | 0 | 0.14796199999999998 | #f |
| (-2.288730408578484e-96 8.228662756735745e-33 -2.4870340195689166e-147) | 3.022403631177013e-115 | (-1.4597419928065233e+44 1.4597419928065233e+44) | +nan.0 | valid | exit | 1 | 0.121216 | #f |
| (3.352827084062084e-36 -1.7159436800448597e-121 6.109205702927651e-128) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.123034 | #f |
| (-4.011747260174807e+120 1.9242616922718857e+58 -1.57808259134321e+32) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.095186 | #f |
| (-3.270980951452997e+200 3.012571579215667e+118 -2.850476658178504e+104) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.105214 | #f |
| (-16188.004678767453 3.107784673324278e-263 -7.108937014920226e-165) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.151527 | #f |
| (3.284710379365277e-175 -5.414638043817149e+254 1.462829014224732e+131) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.16081499999999999 | #f |
| (-5.7789370933965245e+286 1.011969548720066e+278 2.2001042678925625e+306) | -6170177365.349528 | (-6170177365.349528 -6170177365.349528) | +nan.0 | valid | exit | 0 | 0.198087 | #f |
| (2.1571948054716197e-267 -6.866154788853674e-210 -7.910688528237336e-228) | 3.1829090128707925e+57 | (3.1829090128707925e+57 3.1829090128707925e+57) | +nan.0 | valid | exit | 0 | 0.210308 | #f |
| (7.424896107321917e+116 -4.128901086155437e+198 2.0697365367709503e-15) | 5.5608873531358924e+81 | (5.5608873531358924e+81 5.5608873531358924e+81) | +nan.0 | valid | exit | 0 | 0.285244 | #f |
| (2.470456622097642e-208 1.2337938742693962e-243 -7.737848794044093e+74) | 1.769789047522727e+141 | (1.769789047522727e+141 1.769789047522727e+141) | +nan.0 | valid | exit | 0 | 0.134587 | #f |
| (-1.0765118156169759e+294 -6.669177986243133e+154 2.496462927699166e-296) | -6.19517397718562e-140 | (-6.19517397718562e-140 -6.19517397718562e-140) | +nan.0 | valid | exit | 0 | 0.282426 | #f |
| (-3.166370068486906e-181 9461833.405544791 1.6312420753448113e-183) | -1.7240232473221062e-190 | (-1.4361787821717613e+168 1.4361787821717613e+168) | +nan.0 | valid | exit | 2 | 0.213578 | #f |
| (-5.9065142241031064e+293 -9.699720957100418e+67 3.1572851415132537e-145) | -7.311244784656946e-220 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (3.643771700749763e-264 8.153078475199947e+235 -4.325931445147444e-297) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.244721 | #f |
| (2.9256492153593086e+151 3.565701208393315e+247 1.0726089632092907e+98) | -3.0081291182908796e-150 | (-5.182203462919973e+76 5.182203462919973e+76) | +nan.0 | valid | exit | 2 | 0.255417 | #f |
| (-2.888505438467884e-126 -1.0744197066386247e+179 -1.1953662027356336e+189) | -3.7196388565863893e+304 | (-3.7196388565863893e+304 -3.7196388565863893e+304) | +nan.0 | valid | exit | 0 | 0.281631 | #f |
| (3.982678983389799e+46 -2.2721641636600983e+24 -1.7185458937442426e+192) | 6.568904016295927e+72 | (6.568904016295927e+72 6.568904016295927e+72) | +nan.0 | valid | exit | 0 | 0.14222 | #f |
| (-2.703286876410536e-146 1.258627966059366e-203 1.3264506970320685e-152) | -0.0007004860455992055 | (-0.0007004860455992055 -0.0007004860455992055) | +nan.0 | valid | exit | 0 | 0.203107 | #f |
| (-2.146362072936426e-237 -1.806655403431167e+130 1.0119377213294725e+258) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.15529 | #f |
| (-5.437344746017268e-194 -7.462918400721285e-309 5.800902397150029e-111) | -3.2662870148307363e+41 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.4434497167397353e-24 -3.2950185510154585e-229 7.27244941100379e-19) | -709.8057687292021 | (-709.8057687292021 -709.8057687292021) | +nan.0 | valid | exit | 0 | 0.263825 | #f |
| (-7.020690627302916e+304 1.3462673826639957e-271 2.3439592670275544e-18) | -5.778100777170745e-162 | (-5.778100777170745e-162 -5.778100777170745e-162) | +nan.0 | valid | exit | 0 | 0.133151 | #f |
| (4.698569508317266e+34 1.7364841221716505e+48 -7.46973190474328e-215) | 4.301641350686016e-263 | (-1.6862188028508898e-6 1.6862188028508898e-6) | +nan.0 | valid | exit | 2 | 0.136708 | #f |
| (-3.9046638403285544e-8 9.467882670157346e-142 1.0259765352898197e+163) | -1.6209771349211405e+85 | (-1.6209771349211405e+85 -1.6209771349211405e+85) | +nan.0 | valid | exit | 0 | 0.295432 | #f |
| (-3.977089343260519e-149 7.028155231400397e+35 -1.4677065845776607e-60) | 2.088324085416099e-96 | (-9.059086660956588e+164 9.059086660956588e+164) | +nan.0 | valid | exit | 2 | 0.13672099999999998 | #f |
| (1.3549753843372119e-153 1.695958142697209e+215 -1.0474137907041265e+143) | 6.175941282597612e-73 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.24881700000000004 | #f |
| (3.903110868963551e+143 -4.459637010183652e+62 4.916667430751624e+79) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.09243799999999999 | #f |
| (4.6252173575446434e-175 -7.736316755723239e+98 -1.362787880642376e+152) | 1.6726385286745016e+273 | (1.6726385286745016e+273 1.6726385286745016e+273) | +nan.0 | valid | exit | 0 | 0.14728000000000002 | #f |
| (-0.5585191417456865 6.347750035227254e+123 3.685184379427296e+281) | -8.122890145031788e+140 | (-8.122890145031788e+140 -8.122890145031788e+140) | +nan.0 | valid | exit | 0 | 0.21924100000000002 | #f |
| (-1.4456457133042003e-272 1.993518422598965e+87 -9.683270490975276e+307) | 4.857376977911809e+220 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.229042 | #f |
| (7.561304865883827e-91 -1.6226433707850742e+148 -5.1258108032739087e+194) | 2.145983265542364e+238 | (2.145983265542364e+238 2.145983265542364e+238) | +nan.0 | valid | exit | 0 | 0.15045 | #f |
| (5.748293735527899e+237 -2.100321693405418e+267 1.6305329446944455e-82) | 3.6538176196949914e+29 | (3.6538176196949914e+29 3.6538176196949914e+29) | +nan.0 | valid | exit | 0 | 0.09690800000000001 | #f |
| (-5.268694867125098e-13 1.3563364469902077e-18 1.4430937834476797e-306) | -1.0639644659332069e-288 | (-8.924368409770556e-26 8.924368409770556e-26) | +nan.0 | valid | exit | 2 | 0.239376 | #f |
| (-9.131957159908119e-249 -2.0765339544638852e-19 1.512833079094203e-173) | -2.273919947391407e+229 | (-2.273919947391407e+229 -2.273919947391407e+229) | +nan.0 | valid | exit | 0 | 0.264207 | #f |
| (-2.8722445266278352e-216 2.2435573391281165e-208 9.085479483051605e+142) | -1.77853829501966e+179 | (-1.77853829501966e+179 -1.77853829501966e+179) | +nan.0 | valid | exit | 0 | 0.14449299999999998 | #f |
| 1× | egg-herbie |
| 834× | div-sub |
| 688× | fma-neg |
| 551× | fma-define |
| 496× | sub-neg |
| 390× | associate-/r* |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 779 |
| 1 | 184 | 687 |
| 2 | 463 | 671 |
| 3 | 1378 | 671 |
| 4 | 3677 | 671 |
| 5 | 7597 | 671 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 a) c))))) (*.f64 #s(literal 2 binary64) (neg.f64 a))) |
(/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 #s(literal 2 binary64) a)) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 a) c))))) (*.f64 #s(literal 2 binary64) (neg.f64 a)))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 #s(literal 2 binary64) a))) |
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 #s(literal 4 binary64) (*.f64 b c))))) (*.f64 #s(literal 2 binary64) b)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 c a))))) (*.f64 #s(literal 2 binary64) c)) |
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 #s(literal 4 binary64) (*.f64 a b))))) (*.f64 #s(literal 2 binary64) a)) |
| Outputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64))))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64))))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 a) c))))) (*.f64 #s(literal 2 binary64) (neg.f64 a))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal -2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) a)) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b)))) (*.f64 a #s(literal -2 binary64))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 a) c))))) (*.f64 #s(literal 2 binary64) (neg.f64 a)))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b)))) (*.f64 a #s(literal -2 binary64))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a))) |
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal -2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) a)) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) (*.f64 a #s(literal -2 binary64))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (*.f64 #s(literal 2 binary64) a))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a (neg.f64 c)))))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 a #s(literal -2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) a)) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b))) b) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 #s(literal 4 binary64) (*.f64 b c))))) (*.f64 #s(literal 2 binary64) b)) |
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 #s(literal 4 binary64) (*.f64 b c))))) (*.f64 b #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a a (*.f64 (*.f64 b c) #s(literal -4 binary64)))) a) (*.f64 b #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a a (*.f64 c (*.f64 b #s(literal -4 binary64))))) a) (*.f64 b #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b (*.f64 c #s(literal -4 binary64)) (*.f64 a a))) a) (*.f64 b #s(literal 2 binary64))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 c a))))) (*.f64 #s(literal 2 binary64) c)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 c #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 #s(literal -4 binary64) a)))) b) (*.f64 c #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64))))) b) (*.f64 c #s(literal 2 binary64))) |
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 #s(literal 4 binary64) (*.f64 a b))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 #s(literal -4 binary64) (*.f64 b a))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 c c (*.f64 (*.f64 b a) #s(literal -4 binary64)))) c) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a #s(literal -4 binary64))))) c) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 c (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a #s(literal -4 binary64)))))) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (-.f64 c (sqrt.f64 (fma.f64 b (*.f64 a #s(literal -4 binary64)) (*.f64 c c)))) (*.f64 a #s(literal -2 binary64))) |
Compiled 20 to 14 computations (30% saved)
Compiled 3 to 3 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 53.6% | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
Compiled 40 to 28 computations (30% saved)
| 1× | egg-herbie |
| 9× | *-commutative |
| 8× | +-commutative |
| 7× | sub-neg |
| 6× | neg-sub0 |
| 6× | neg-mul-1 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 69 |
| 1 | 34 | 65 |
| 2 | 47 | 65 |
| 3 | 60 | 65 |
| 4 | 68 | 65 |
| 5 | 73 | 65 |
| 6 | 75 | 65 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
| Outputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c)))) b) (*.f64 a #s(literal 2 binary64))) |
| 1× | fuel |
Compiled 19 to 13 computations (31.6% saved)
Compiled 294 to 110 computations (62.6% saved)
Loading profile data...