Quadratic roots, narrow range
Time bar (total: 36.4s)
| 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 |
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 7 |
| 2.3% | 0% | 0% | 100% | 0% | 0% | 0% | 8 |
| 11.3% | 0% | 0% | 100% | 0% | 0% | 0% | 9 |
| 21.1% | 0% | 0% | 100% | 0% | 0% | 0% | 10 |
| 28% | 0% | 0% | 100% | 0% | 0% | 0% | 11 |
| 40.1% | 0% | 0% | 100% | 0% | 0% | 0% | 12 |
Compiled 43 to 27 computations (37.2% saved)
| 3.4s | 4217× | 0 | valid |
| 508.0ms | 4198× | 0 | valid-sollya |
| 4.3s | 4039× | 1 | valid |
| 494.0ms | 4019× | 1 | valid-sollya |
| 1.0s | 1405× | 0 | invalid |
| 197.0ms | 1391× | 0 | invalid-sollya |
| 12.0ms | 33× | 0 | exit-sollya |
| 14.0ms | 20× | 1 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (0.006253067904205196 0.17439547228811433 0.08431972211991624) | -0.49218302510548795 | (-0.49218302510548795 -0.49218302510548795) | +nan.0 | valid | exit | 0 | 0.258413 | #f |
| (0.019442548769632736 290.7924232769851 2.0447763893027067e-8) | -7.031738881845038e-11 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (0.389431072157775 1448622.139476925 0.49584559821216945) | -3.422877399839114e-7 | (-3.4228787208201e-7 -3.4228758015143264e-7) | +nan.0 | valid | exit | 1 | 0.121254 | #f |
| (9404492.822319746 1.0652212406032808 2.0459281561814599e-7) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.16524 | #f |
| (3.317504236354702e-7 2953880.153348468 34738172.44867941) | -11.76018343511557 | (-11.760183606422697 -11.760182921047006) | +nan.0 | valid | exit | 1 | 0.24494300000000002 | #f |
| (58398.27776534036 0.011240374916721987 1.0720973692219504e-7) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.174359 | #f |
| (8.207898060131687e-7 2.4675312828818243e-8 3.545790185403807e-8) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.161107 | #f |
| (3.309538909234423e-5 18.28427417421663 0.0016901363388306103) | -9.243661099201422e-5 | (-9.243661101987777e-5 -9.24366109674619e-5) | +nan.0 | valid | exit | 1 | 0.260731 | #f |
| (0.09320427184190112 0.00010219322827400558 1.34567843717816e-6) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.074517 | #f |
| (5.488356514630703e-5 13.557542951618933 10.554880794383495) | -0.7785270603396863 | (-0.7785270603396931 -0.7785270603396773) | +nan.0 | valid | exit | 0 | 0.209449 | #f |
| (3.569729141277092e-7 18.51901951300675 0.02485139181673899) | -0.0013419388537242785 | (-0.0013419388560599287 -0.0013419388512003905) | +nan.0 | valid | exit | 1 | 0.209867 | #f |
| (2.41198095244298e-8 2.5142858105317045 5083596.440755931) | -2062700.997052608 | (-2062700.997052608 -2062700.997052608) | +nan.0 | valid | exit | 0 | 0.236899 | #f |
| (3.317658289522537e-8 2140868.987579342 9.182969295791149e-7) | -4.2893653694214307e-13 | (-3.426719324309236e-6 3.426719324309236e-6) | +nan.0 | valid | exit | 1 | 0.251484 | #f |
| (0.0060646925851227905 9.967921935435484 106.60022632961417) | -10.764832776047792 | (-10.764832776047792 -10.764832776047792) | +nan.0 | valid | exit | 0 | 0.25291199999999997 | #f |
| (0.0010948032266979023 0.0018372378891758547 0.20787837062084205) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.160449 | #f |
| (0.0007527936034558175 24411.3059925983 0.45858288007861425) | -1.8785675793745973e-5 | (-1.8785677101717506e-5 -1.878567474203109e-5) | +nan.0 | valid | exit | 1 | 0.229351 | #f |
| (1.0977462107522296 250317.64304032686 442.4786127667912) | -0.00176766851438267 | (-0.0017676685143910736 -0.0017676685143781282) | +nan.0 | valid | exit | 0 | 0.26087099999999996 | #f |
| (0.0006115870196396984 0.031130092199467246 0.0002932620560466564) | -0.009422277018561043 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (5.2641976349913394e-6 194.58083477364582 2.010355294745111e-6) | -1.0331723044994334e-8 | (-1.0334134844221549e-8 -1.0330180455888301e-8) | +nan.0 | valid | exit | 1 | 0.249446 | #f |
| (0.2633872976559215 725063.7111268594 8.371207412137462) | -1.1545478395494984e-5 | (-1.154547856103322e-5 -1.1545478345216361e-5) | +nan.0 | valid | exit | 1 | 0.13424 | #f |
| (10.510648849298878 38856550.50296729 9.631951897499657e-8) | -2.4788489386787205e-15 | (-1.7306157113860707e-13 1.7306157113860707e-13) | +nan.0 | valid | exit | 1 | 0.247205 | #f |
| (0.0009952802010094576 2901.061630124068 10466353.735783322) | -3612.243305452205 | (-3612.243305452205 -3612.2433054522044) | +nan.0 | valid | exit | 0 | 0.275164 | #f |
| (2.8102193274612546e-8 1323.7073391965976 55948.415491937005) | -42.266454136378236 | (-42.266454139110174 -42.266454135159506) | +nan.0 | valid | exit | 1 | 0.30400499999999997 | #f |
| (0.3790063242910394 477323.8363380589 3.9036147970225636e-7) | -8.178126671758908e-13 | (-8.62385763775957e-13 -7.873956973606564e-13) | +nan.0 | valid | exit | 1 | 0.233733 | #f |
| (0.014710348664002657 1869236.2271368874 0.8821681339369418) | -4.7194042204508505e-7 | (-4.719437611098768e-7 -4.719360327520847e-7) | +nan.0 | valid | exit | 1 | 0.29083499999999995 | #f |
| (0.17236453016719852 0.5045632428639568 7.201530353649021e-6) | -1.4272869791267414e-5 | (-1.4272869791267534e-5 -1.4272869791267219e-5) | +nan.0 | valid | exit | 0 | 0.127074 | #f |
| (259696.9958499657 8.97534261263451 0.00014714045512509799) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.177063 | #f |
| (9.381018774268085e-6 0.05988836627850809 5.155359087212339) | -87.27596895576762 | (-87.27596895576762 -87.27596895576762) | +nan.0 | valid | exit | 0 | 0.280181 | #f |
| (0.00010561862864676712 5.657445696970649e-5 1.2010111045630055e-6) | -0.022144330182883018 | (-0.022144330182883018 -0.022144330182883018) | +nan.0 | valid | exit | 0 | 0.23869 | #f |
| (24.01523943966852 80933308.83293796 1.074075524347355e-7) | -1.32711184039745e-15 | (-1.5148626005712344e-13 1.5148626005712344e-13) | +nan.0 | valid | exit | 1 | 0.232824 | #f |
| (21.489770973470634 34278575.42665949 0.3903760599448357) | -1.1388339657815278e-8 | (-1.1388400118958957e-8 -1.1388230830100012e-8) | +nan.0 | valid | exit | 1 | 0.273077 | #f |
| (6758.978350415819 19973.699868061147 6.065300089953215) | -0.0003036955354895619 | (-0.000303695535489562 -0.00030369553548956175) | +nan.0 | valid | exit | 0 | 0.308186 | #f |
| (0.00045600741801433975 1498270.1364168767 7354.937585747748) | -0.004908952936449845 | (-0.004908953073879122 -0.004908952824569937) | +nan.0 | valid | exit | 1 | 0.255849 | #f |
| (9.288545680614696e-7 3.7954330351660276e-8 1.448087575776248e-7) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.163416 | #f |
| (6.107633526590568e-7 0.023911216594452826 3.988396016981667) | -167.5169980813587 | (-167.5169980813587 -167.5169980813587) | +nan.0 | valid | exit | 0 | 0.309112 | #f |
| (45211108.141221605 210.15990867546944 1.6685377250764026e-8) | -7.939507752780748e-11 | (-7.939507752780766e-11 -7.939507752780735e-11) | +nan.0 | valid | exit | 0 | 0.321714 | #f |
| (7.016816912610035e-5 0.0002576446831155081 0.0032248643332479085) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15784499999999999 | #f |
| (2.836259759867113e-7 847.4281446837532 45432.37833480359) | -53.61207252205604 | (-53.612072522177584 -53.61207252198186) | +nan.0 | valid | exit | 0 | 0.23654899999999998 | #f |
| (1112.314156381141 0.7947099837353694 0.006649966615681876) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.149572 | #f |
| (5.4771366804948425e-8 2203071.663726136 5.116254934747884e-8) | -2.3223279655345273e-14 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (1.4101999355030654e-7 3.1697022299676537e-6 5.2825342540497265e-5) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15921300000000002 | #f |
| (56.929355793306186 2225.762277244381 10281.490686970626) | -5.351931935720072 | (-5.351931935720072 -5.351931935720072) | +nan.0 | valid | exit | 0 | 0.200057 | #f |
| (0.005276092752721389 41.61511435774677 890190.5779116221) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12529500000000002 | #f |
| (2.5162738081368974 1231.7271078415347 1.3219590438345922e-7) | -1.0732564343342812e-10 | (-1.0732566172490818e-10 -1.073256176031985e-10) | +nan.0 | valid | exit | 1 | 0.20095200000000002 | #f |
| (49566.45565093705 27291710.1356787 114950.2945907138) | -0.004211944702324161 | (-0.004211944702324194 -0.0042119447023241385) | +nan.0 | valid | exit | 0 | 0.263461 | #f |
| (0.00019618530080166657 5.3725680608316896e-5 1.434622967233166e-5) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.147397 | #f |
| (7.647497638742112e-6 38.21639682503553 0.35585667106139757) | -0.00931162279253293 | (-0.009311622792824088 -0.009311622792370418) | +nan.0 | valid | exit | 0 | 0.22236399999999998 | #f |
| (5.360105637496087e-6 63195.12489417181 0.08840956275330134) | -1.3989934018067736e-6 | (-1.3991848450679594e-6 -1.3985220384146823e-6) | +nan.0 | valid | exit | 1 | 0.25653699999999996 | #f |
| (21.304185182572883 1906.707948083842 0.08438056958780414) | -4.425460721250784e-5 | (-4.4254607212511345e-5 -4.425460721250613e-5) | +nan.0 | valid | exit | 0 | 0.215616 | #f |
| (1.3757265749875933e-5 28.032263763900534 7.131948713284715e-8) | -2.5441929247502032e-9 | (-2.5442834043412797e-9 -2.544157309264866e-9) | +nan.0 | valid | exit | 1 | 0.127603 | #f |
| (3350752.079529658 26.036920141383366 0.0006565534432928433) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.07717500000000001 | #f |
| (3795955.7009694786 39823596.97506493 31.469539458219202) | -7.90223491070383e-7 | (-7.902234910708815e-7 -7.902234910699232e-7) | +nan.0 | valid | exit | 0 | 0.246816 | #f |
| (91963778.51242685 12046130.038814073 1808755.5923875673) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15253 | #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 |
|---|---|---|
| 58.1% | (/.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...