Quadratic roots, wide range
Time bar (total: 30.6s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 2 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 3 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 4 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 5 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 6 |
| 6.8% | 0% | 0% | 100% | 0% | 0% | 0% | 7 |
| 15.9% | 0% | 0% | 100% | 0% | 0% | 0% | 8 |
| 23.1% | 0% | 0% | 100% | 0% | 0% | 0% | 9 |
| 36.5% | 0% | 0% | 100% | 0% | 0% | 0% | 10 |
| 45.4% | 0% | 0% | 100% | 0% | 0% | 0% | 11 |
| 52.3% | 0% | 0% | 100% | 0% | 0% | 0% | 12 |
Compiled 43 to 27 computations (37.2% saved)
| 6.3s | 7146× | 1 | valid |
| 860.0ms | 7114× | 1 | valid-sollya |
| 574.0ms | 1110× | 0 | valid |
| 125.0ms | 1106× | 0 | valid-sollya |
| 661.0ms | 1055× | 0 | invalid |
| 144.0ms | 1041× | 0 | invalid-sollya |
| 16.0ms | 32× | 1 | exit-sollya |
| 3.0ms | 18× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (8.685858640359378e-19 365865027498867300.0 3.135255478509941e-8) | -8.56943201142571e-26 | (-17989010237165814.0 17989010237165814.0) | +nan.0 | valid | exit | 1 | 0.25485399999999997 | #f |
| (5.860743500502878e-32 23888026855.088665 2.103016873774518e-9) | -8.803644129052586e-20 | (-1.5890860511734849e+22 1.5890860511734849e+22) | +nan.0 | valid | exit | 1 | 0.164979 | #f |
| (2.219720897160936e-22 1.50192814473002e-14 6.135535289392862e-19) | -4.0851057428579334e-5 | (-4.085105974075415e-5 -4.085105279959341e-5) | +nan.0 | valid | exit | 1 | 0.250671 | #f |
| (0.11763417236240284 7494293.570891254 3.559905780123867e+19) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.158867 | #f |
| (321.0484022182459 33689.20735565225 530254342556855.5) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.168152 | #f |
| (138.10938074366996 6.893440638440084e-14 1.8757076116174328e-26) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.16337000000000002 | #f |
| (2.787549621458857e-21 1.4345420630299838e-11 1.0953026015346274e-16) | -7.635207288527835e-6 | (-7.63533014424929e-6 -7.63504714985911e-6) | +nan.0 | valid | exit | 1 | 0.238933 | #f |
| (34449276553104323000.0 8.108743191036132e+22 81254151164946.64) | -1.0020560430968417e-9 | (-1.0020561390537907e-9 -1.0020559012548928e-9) | +nan.0 | valid | exit | 1 | 0.199609 | #f |
| (2.42003069099432e-12 7.900126075102395e-16 2.0672510433808323e-19) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.166607 | #f |
| (1.2701609513416722e+28 1.5870348728759203e+28 0.0071390647338037795) | -4.4983666432400665e-31 | (-8.453588679968515e-20 4.2267943399842574e-20) | +nan.0 | valid | exit | 1 | 0.21596500000000002 | #f |
| (0.029610646422060606 1761971.5960689718 2.0589241916022042e-29) | -1.1685342693354112e-35 | (-3.839390606377196e-12 1.919695303188598e-12) | +nan.0 | valid | exit | 1 | 0.200137 | #f |
| (3.71162116849867e+28 5.336774883754086 1.3852641091361857e-25) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.135764 | #f |
| (3556.4981500940025 1663444049.951517 2.378202078008245e-29) | -1.4296856441174324e-38 | (-3.273313155634787e-14 1.6366565778173936e-14) | +nan.0 | valid | exit | 1 | 0.240505 | #f |
| (106227628681762.25 2.3188074632285517e+26 5.858991209669022e+29) | -2526.7260474887785 | (-2526.726047557845 -2526.7260473209403) | +nan.0 | valid | exit | 0 | 0.123903 | #f |
| (0.008897394191058419 3.716309897813224e+29 2.836324169652269e-6) | -7.632098096343466e-36 | (-1930887720054.619 1930887720054.619) | +nan.0 | valid | exit | 1 | 0.12946 | #f |
| (4.821306115243366e+20 1.5266153181838338e+20 67961.1328628311) | -4.451752321186088e-16 | (-4.451905663516774e-16 -4.451573803236229e-16) | +nan.0 | valid | exit | 1 | 0.256616 | #f |
| (5.586135575241177e-21 0.016351060467183064 1.1743666142362057e-9) | -7.182204582957693e-8 | (-0.1516312906919969 0.1516312906919969) | +nan.0 | valid | exit | 1 | 0.25566500000000003 | #f |
| (1.8651727847966838e-14 6733.033826727114 2.985544440156258e+22) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.166155 | #f |
| (1.7629206159682306e-21 1.0559781981575952e+27 9.230115402101457e+30) | -8740.820045532744 | (-1.9033433324263014e+28 1.9033433324263014e+28) | +nan.0 | valid | exit | 1 | 0.180463 | #f |
| (9.217039600996344e-32 2.824659494973243e+24 1.321523316032521e-5) | -4.678522556025959e-30 | (-1.4220618080650468e+36 1.4220618080650468e+36) | +nan.0 | valid | exit | 1 | 0.084075 | #f |
| (0.5357865433778669 4.776449115161698e+30 5.2489852457310975e-15) | -1.0989304228259118e-45 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (4099815358.8229723 1.1243652549890346e+20 5.70371781596623e-31) | -5.0728335749060973e-51 | (-1.951307388217781e-9 9.756536941088906e-10) | +nan.0 | valid | exit | 1 | 0.191605 | #f |
| (1.1440119658820395e+29 1.8540790111082757e+23 29127928.252693497) | -1.5710187150064232e-16 | (-1.571018715809235e-16 -1.571018714377082e-16) | +nan.0 | valid | exit | 1 | 0.269727 | #f |
| (1.2318816909177014e+22 33090055.22463819 2.521771374379753e-21) | -7.620934317758903e-29 | (-7.620939104152921e-29 -7.620924338210566e-29) | +nan.0 | valid | exit | 1 | 0.24776000000000004 | #f |
| (1.105070759386241e-28 6.796255205854078e+19 6.437286961098502e-15) | -9.471814648092715e-35 | (-1.8098388569351023e+28 1.8098388569351023e+28) | +nan.0 | valid | exit | 1 | 0.10756600000000001 | #f |
| (8.235964363557542e-17 907.8883705819668 4.985887680693134e+25) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.168351 | #f |
| (9.343877005667623e-20 264903826564.0788 2.3211095890004755e-31) | -8.762084032934918e-43 | (-79737571378.61086 79737571378.61086) | +nan.0 | valid | exit | 1 | 0.246714 | #f |
| (9.572338786184291e-25 1.9348005008095486e-7 1748485.9356438417) | -9037438832980.74 | (-9037438832980.75 -9037438832980.73) | +nan.0 | valid | exit | 0 | 0.239356 | #f |
| (5.472794045899185e-32 1.1373805912565599e-17 1.4561701263483832e-13) | -12802.839591533171 | (-12802.839598728942 -12802.839584982465) | +nan.0 | valid | exit | 1 | 0.24678299999999997 | #f |
| (2.1147577037916661e+24 4749974302984314.0 102518142800.92534) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14327499999999999 | #f |
| (1.523078354953233e+22 8961820618615487000.0 57019.06139730079) | -6.3624417207679196e-15 | (-6.362441740758343e-15 -6.36244170793009e-15) | +nan.0 | valid | exit | 1 | 0.274045 | #f |
| (1.270031920008869e+23 27777160.886282645 0.06833104250359603) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.162564 | #f |
| (1.04742839567197e+19 35889710653625696000.0 1.2942293967206725e-31) | -3.606129370089879e-51 | (-9.54719200025561e-20 9.54719200025561e-20) | +nan.0 | valid | exit | 1 | 0.24157 | #f |
| (3.179439801590101e-30 2.811387113857134e-23 6.708252245444047e-22) | -23.86106955723143 | (-23.86106955723205 -23.861069557231147) | +nan.0 | valid | exit | 0 | 0.24607500000000002 | #f |
| (3.014595992880281e+25 329747165144900.8 3.4468327788279655e-22) | -1.0452956516891734e-36 | (-5.061636484138315e-31 5.061636484138315e-31) | +nan.0 | valid | exit | 1 | 0.278531 | #f |
| (4760532606232.055 0.7389705619110043 2.0938804690438127e-19) | -2.8335151616449537e-19 | (-2.8335151616450413e-19 -2.833515161644927e-19) | +nan.0 | valid | exit | 0 | 0.124905 | #f |
| (2.613674815845161e-23 8.682215087945024e+30 3.4335117170864047e-29) | -3.9546494555908036e-60 | (-1.051691301754825e+34 1.051691301754825e+34) | +nan.0 | valid | exit | 1 | 0.181464 | #f |
| (8.476256922423619e-28 1.7386750281027008e-19 1.8733563316728595e-11) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.105427 | #f |
| (4.3532627840875415 398835.3484241287 97648514106454.25) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15196099999999998 | #f |
| (3.7876091228284854e-15 4.748742291306245e+19 4.4162086887598543e-16) | -9.299743843427392e-36 | (-528037591826913.06 528037591826913.06) | +nan.0 | valid | exit | 1 | 0.27559500000000003 | #f |
| (752404.2332309856 1.0676386008559603e+27 423108077482799800.0) | -3.9630271624085194e-10 | (-44.59628284640299 44.59628284640299) | +nan.0 | valid | exit | 1 | 0.128193 | #f |
| (1.4008354461104108e-11 1.2017905832579861e-20 3.6226068809771554e-25) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.099321 | #f |
| (9.019090480132092e-23 4.031535018893884e-19 7.619604088576903e-16) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.197961 | #f |
| (3.810019411548677e-16 4.137801445866857e-16 1.3959144524283502e-30) | -3.373565577494535e-15 | (-3.3735827352052188e-15 -3.373519548849181e-15) | +nan.0 | valid | exit | 1 | 0.26788700000000004 | #f |
| (1.30411990488622e-22 3175123935453.362 2806030434176335000.0) | -883754.61595192 | (-1828195231192056.0 914097615596028.0) | +nan.0 | valid | exit | 1 | 0.239898 | #f |
| (7741717662716624.0 7248224661.945836 176395.70426432186) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.133264 | #f |
| (321.79303825795296 4.342975336901282e+20 1.280060399818158e+20) | -0.29474272831848103 | (-0.3480497918982931 -0.2486069942130665) | +nan.0 | valid | exit | 1 | 0.253945 | #f |
| (1.9215099186401516e-27 8.679011646562008e+30 1.184752825838555e-19) | -1.365078045848536e-50 | (-1.4305307731043642e+38 1.4305307731043642e+38) | +nan.0 | valid | exit | 1 | 0.143287 | #f |
| (34.28679866397334 2.3002706265418687e+21 0.00010078871747025482) | -4.381602595246647e-26 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (3.643694931825709e-18 7918188.127692101 1.0557772766081338e-12) | -1.3333571513864236e-19 | (-62401.95178176025 62401.95178176025) | +nan.0 | valid | exit | 1 | 0.127721 | #f |
| 1× | egg-herbie |
| 837× | div-sub |
| 698× | fma-neg |
| 688× | fma-define |
| 507× | sub-neg |
| 395× | associate-/r* |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 779 |
| 1 | 186 | 671 |
| 2 | 513 | 671 |
| 3 | 1362 | 671 |
| 4 | 3699 | 671 |
| 5 | 7725 | 671 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) (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 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (*.f64 #s(literal 2 binary64) a)) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) (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 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a))) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (*.f64 #s(literal 2 binary64) a))) |
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 #s(literal 4 binary64) b) c)))) (*.f64 #s(literal 2 binary64) b)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) c) a)))) (*.f64 #s(literal 2 binary64) c)) |
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 (*.f64 #s(literal 4 binary64) a) b)))) (*.f64 #s(literal 2 binary64) a)) |
| Outputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64))))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b))) 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 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64))))) b) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b))) 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 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) (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 (neg.f64 a) c))))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c)))) b) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.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))) |
(/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64)))))) (*.f64 a #s(literal 2 binary64))) |
(*.f64 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b)))) a) #s(literal 1/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 (*.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c)))) b) (*.f64 a #s(literal 2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c))))) a)) |
(*.f64 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b)))) a) #s(literal -1/2 binary64)) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 a)) c)))) (*.f64 #s(literal 2 binary64) (neg.f64 a)))) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c)))) b) (*.f64 a #s(literal 2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c))))) a)) |
(*.f64 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 #s(literal 4 binary64) (*.f64 a c) (*.f64 b b)))) a) #s(literal -1/2 binary64)) |
(neg.f64 (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a))) |
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64)))))) (*.f64 a #s(literal -2 binary64))) |
(*.f64 #s(literal -1/2 binary64) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64)))))) a)) |
(*.f64 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b)))) a) #s(literal -1/2 binary64)) |
(*.f64 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c #s(literal -4 binary64)))))) a) #s(literal -1/2 binary64)) |
(neg.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) 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 (neg.f64 a) c))))) (neg.f64 (*.f64 a #s(literal 2 binary64)))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c)))) b) (*.f64 a #s(literal -2 binary64))) |
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.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))) |
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 #s(literal 4 binary64) 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 c (*.f64 b #s(literal -4 binary64))))) a) (*.f64 b #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 c (*.f64 b #s(literal -4 binary64)) (*.f64 a a))) 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 (*.f64 #s(literal 4 binary64) 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 c a))))) (*.f64 c #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a #s(literal -4 binary64))))) b) (*.f64 c #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b))) 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 (*.f64 #s(literal 4 binary64) a) b)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 b (*.f64 #s(literal 4 binary64) a))))) (*.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 (sqrt.f64 (fma.f64 b (*.f64 a #s(literal -4 binary64)) (*.f64 c c))) c) (*.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 |
|---|---|---|
| 18.6% | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) 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 | 53 | 65 |
| 3 | 64 | 65 |
| 4 | 72 | 65 |
| 5 | 75 | 65 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
| Outputs |
|---|
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) |
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 a #s(literal 2 binary64))) |
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))) b) (*.f64 a #s(literal 2 binary64))) |
| 1× | fuel |
Compiled 19 to 13 computations (31.6% saved)
Compiled 78 to 54 computations (30.8% saved)
Loading profile data...