Numeric.AD.Rank1.Halley:findZero from ad-4.2.4

Time bar (total: 40.9s)

analyze1.1s (2.7%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
25%25%74.9%0.2%0%0%0%5
25%25%74.9%0.2%0%0%0%6
31.3%31.2%68.6%0.2%0%0%0%7
40.6%40.5%59.3%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
54.7%54.6%45.2%0.2%0%0%0%11
62.5%62.4%37.4%0.2%0%0%0%12
Compiler

Compiled 22 to 14 computations (36.4% saved)

sample39.3s (96.2%)

Results
3.5s8256×0valid
1.2s8168×0valid-sollya
124.0ms88×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-5.841600820178344e-66 1.8775460083045867e-104 -5.083188345643785e-61 -1.2259840474467841e+94)-5.841600820178344e-66(-5.841600820178344e-66 -5.841600820178344e-66)+nan.0validexit00.26708899999999997#f
(4.3231635757041e+275 -1.2525173847948673e-12 -9.276552178558166e-278 4.90595797324078e+284)4.3231635757041e+275(4.3231635757041e+275 4.3231635757041e+275)+nan.0validexit00.279747#f
(1.6867740077450028e+129 -3.17452886813926e-149 -2.6507809695515963e-174 2.9473179952516826e+121)1.6867740077450028e+129(1.6867740077450028e+129 1.6867740077450028e+129)+nan.0validexit00.164644#f
(7.816530608212366e-205 8.30595536939598e+291 1.6175456678292416e-88 -1.620348397219654e-251)-1.996540584240745e+163(-1.996540584240745e+163 -1.996540584240745e+163)+nan.0validexit00.157357#f
(-4.203443169595336e-261 -3.8017490478846205e-227 2.7626189171004654e-48 1.7201745887139062e-189)1.3761395118059876e-179(1.3761395118059876e-179 1.3761395118059876e-179)+nan.0validexit00.214917#f
(5.765957356617029e+34 1.6885394558527115e-211 3.511170666756191e+257 -8.167038837583061e+36)5.765957356617029e+34(5.765957356617029e+34 5.765957356617029e+34)+nan.0validexit00.234377#f
(2.2769862293970082e-95 -5.280820755203448e-105 -1.385681826219206e-117 -1.3657519784707167e-52)2.029185164016098e-65(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.1693699072411845e-245 1.1144722267412953e+46 5.0920801352747497e-39 -1.81212598154848e+287)-5.1693699072411845e-245(-5.1693699072411845e-245 -5.1693699072411845e-245)+nan.0validexit00.287218#f
(-48740.33765852549 1.5193451348311407e+133 -4.457745796336315e+28 3.813749573392732e+207)-48740.33765852549(-48740.33765852549 -48740.33765852549)+nan.0validexit00.274312#f
(2.32707324037481e+230 1.390164426030589e-43 -8.094577716719995e+57 -1.089426624944373e+62)2.32707324037481e+230(2.32707324037481e+230 2.32707324037481e+230)+nan.0validexit00.168262#f
(5.266761614953165e-68 9.306063454172086e-9 -9.737201509157084e+98 1.4456691330498668e-30)5.266761614953165e-68(5.266761614953165e-68 5.266761614953165e-68)+nan.0validexit00.15651299999999999#f
(-1.6527680258377494e-223 -1.4334245504743078e-233 -8.568814822210997e-267 4.7534087763341775e-192)-3.6053347083771135e-75(-3.6053347083771135e-75 -3.6053347083771135e-75)+nan.0validexit00.150506#f
(-7.588708711803128e+297 3.5047930677388254e+249 -5.1584210628575315e-213 5.334079388969884e-47)-7.588708711803128e+297(-7.588708711803128e+297 -7.588708711803128e+297)+nan.0validexit00.372407#f
(1.1625667969407442e+234 -5.250993304183847e+225 -6.151246367276494e-136 1502575983.6587691)1.1625667969407442e+234(1.1625667969407442e+234 1.1625667969407442e+234)+nan.0validexit00.32665500000000003#f
(8.804206297653489e+127 1.0494113070309741e+250 4.464953235429536e-193 1.2482690375031212e+85)8.804206297653489e+127(8.804206297653489e+127 8.804206297653489e+127)+nan.0validexit00.264985#f
(-1.000523701241337e+83 -9.976569503172835e-197 1.4113864677385143e-182 2.0382864331202565e+42)-1.000523701241337e+83(-1.000523701241337e+83 -1.000523701241337e+83)+nan.0validexit00.28387399999999996#f
(6.043451136902755e+240 8.853862508038988e-49 -2.7010825432767013e-211 -1.2832068660029518e+68)6.043451136902755e+240(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.7737192353571804e-248 5.692761142936044e-11 -5.040675991405065e-57 -5.576035109582551e+71)1.8079785698416934e-128(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.7410729696418195e-36 1.2627371761297647e-137 -1.064099544414664e+67 1.1123266877979078e-89)-2.7410729696418195e-36(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.772384928242041e-191 6.503664912889802e+298 -8.87761344356939e-20 -1.7471393119482336e-154)1.0162456288239513e+135(1.0162456288239513e+135 1.0162456288239513e+135)+nan.0validexit00.336868#f
(2.6488232905486214e+253 -1.1461323688510326e-297 1.6409138361227802e+131 2.587649635009852e-238)2.6488232905486214e+253(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.2907756251896218e+212 3.584591452337053e+249 -4.714964616691945e+268 -3.200887616197651e+114)1.2907756251896218e+212(1.2907756251896218e+212 1.2907756251896218e+212)+nan.0validexit00.204498#f
(4.487627379988002e+157 -3.781450193711594e-169 -3.1606588001324242e-164 -5.6947017489691845e-11)4.487627379988002e+157(4.487627379988002e+157 4.487627379988002e+157)+nan.0validexit00.361992#f
(-1.412350888795532e-73 -2.8224140712614964e-159 9.424425719813734e-275 6.973830603460468e+195)-1.412350888795532e-73(-1.412350888795532e-73 -1.412350888795532e-73)+nan.0validexit00.314714#f
(-1.4855122804260182e-151 -2.4857342837924605e+215 1.3528057910921824e+294 -1.5768864418263738e+274)1.8374657324504894e-79(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.8310678999217196e+229 2.6332938022240495e+293 1.1203628734294582e+126 1.1599281128063954e-166)-1.8310678999217196e+229(-1.8310678999217196e+229 -1.8310678999217196e+229)+nan.0validexit00.17849#f
(-9.424523139185532e-110 -15943378340678950.0 1.2923699131221316e-176 6.864439094254555e-55)-9.424523139181767e-110(-9.424523139181767e-110 -9.424523139181767e-110)+nan.0validexit00.229747#f
(8.685705286069743e+163 4.735480418027876e+127 -6.250547414520801e-280 6.04000710607774e-219)8.685705286069743e+163(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.4701978246280722e-157 1.1805589116391458e-304 9.705502577205116e-8 2.3977496927503946e-24)2.4701978246280722e-157(2.4701978246280722e-157 2.4701978246280722e-157)+nan.0validexit00.30371899999999996#f
(5.630344851403049e-127 -1.5257521012025983e+269 3.030326762737492e-249 -2.2533145656874858e-259)-26896615402.767254(-26896615402.767254 -26896615402.767254)+nan.0validexit00.319774#f
(-1.629968447128727e-186 4.040933353280036e-158 1.2957674500216007e+274 3.7502488190984065e+214)-1.629968447128727e-186(-1.629968447128727e-186 -1.629968447128727e-186)+nan.0validexit00.285645#f
(-6.575457326522626e+305 2.497941278483791e+54 -4.0263136354285066e-202 -5.818088285638507e-33)-6.575457326522626e+305(-6.575457326522626e+305 -6.575457326522626e+305)+nan.0validexit00.33493500000000004#f
(-1.6099059118422789e+146 9.723292090264228e-266 7.485742275150427e-180 3.327026555751698e-32)-1.6099059118422789e+146(-1.6099059118422789e+146 -1.6099059118422789e+146)+nan.0validexit00.33966399999999997#f
(-7.64711204417769e+180 -3.439777242242625e-133 2.189521324729953e-274 -8.777887757555455e-284)-7.64711204417769e+180(-7.64711204417769e+180 -7.64711204417769e+180)+nan.0validexit00.25390999999999997#f
(-3.1976887236619045e-190 -9.040801076720991e-214 -6.888498335127515e-289 -3.5378062388095673e+140)-3.1976887236619045e-190(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.653460702103943e+189 -2.3154986360624639e+49 -6.781952729589779e-63 1.64901495126711e+70)-5.653460702103943e+189(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9.300097545992679e+245 -3.404058807446638e-130 -2.0177124420010397e-92 -12.562068137453638)-9.300097545992679e+245(-9.300097545992679e+245 -9.300097545992679e+245)+nan.0validexit00.161857#f
(-3.1871365421755704e+123 -2.6115112032745138e+272 11921389251.976597 -5.390815489176017e+56)-3.1871365421755704e+123(-3.1871365421755704e+123 -3.1871365421755704e+123)+nan.0validexit00.352617#f
(3.8662286110575055e-209 -2.092249757059459e+288 3.631408536121695e-215 -3.429820174942743e+98)3.8662286110575055e-209(+nan.0 +nan.0)+nan.0validexit05.0#f
(-59.102887186037535 -1.269730349665696e+233 -6.811162978685447e-211 -5.295874084968227e-201)-59.10288718578031(-59.10288718578031 -59.10288718578031)+nan.0validexit00.289688#f
(-1.564173444669345e-18 1.7477319592575324e-280 -6.246541390663958e+121 -4.265060866711392e+257)-1.564173444669345e-18(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.940121094931138e+265 -1.5967071969657467e-9 7.2041992290361935e-90 2.1616541219547943e-249)7.940121094931138e+265(7.940121094931138e+265 7.940121094931138e+265)+nan.0validexit00.264317#f
(2.1601465921390082e-39 -8.83041476730319e-206 -7.251243594055209e-92 2.2110547542931735e-233)2.1601465921390082e-39(2.1601465921390082e-39 2.1601465921390082e-39)+nan.0validexit00.300259#f
(-1.037642353896913e+153 -6.810885292113678e-252 -8.544759990311763e-67 -1.39227048944876e-98)-1.037642353896913e+153(-1.037642353896913e+153 -1.037642353896913e+153)+nan.0validexit00.174229#f
(-4.978292867596597e+191 -2.9190140942082716e-235 -1.275609506170613e-169 -2.8021025845631222e-160)-4.978292867596597e+191(-4.978292867596597e+191 -4.978292867596597e+191)+nan.0validexit00.314421#f
(-1.1858151959909188e-118 -2.578093111947647e+159 2.5908565924134453e-219 1019094732358244700.0)-1.1858151959909188e-118(-1.1858151959909188e-118 -1.1858151959909188e-118)+nan.0validexit00.331597#f
(-1.2802322053339195e+105 -9.076815589965404e+289 -3.246472837825846e+149 1.1119411091473756e+289)-1.2802322053339195e+105(-1.2802322053339195e+105 -1.2802322053339195e+105)+nan.0validexit00.337892#f
(-5.096330081978235e-132 -8.116673457957131e+96 -1.04187227669618e-133 -3.0783522914185236e+86)-5.096330081978235e-132(-5.096330081978235e-132 -5.096330081978235e-132)+nan.0validexit00.33857800000000005#f
(-1.6726238488939205e-124 1.6095177633778978e-104 2.7943334441220903e+180 4.798625486613619e+300)-1.6726238488939205e-124(-1.6726238488939205e-124 -1.6726238488939205e-124)+nan.0validexit00.391827#f
(5.709517867920277e-175 -1.0416370215915839e+217 17520663.63041961 -7.752569281495692e-10)-45199631229969150.0(-45199631229969150.0 -45199631229969150.0)+nan.0validexit00.29743800000000004#f
(2.8758131589315807e-24 -3.373296952562297e-128 2.9883453193317825e-83 1.8755754297347037e+167)2.8758131589315807e-24(2.8758131589315807e-24 2.8758131589315807e-24)+nan.0validexit00.29250499999999996#f
(7.1468915712521135e-59 6.446219470047014e-36 -2.1933491977983496e-211 2.948870274004221e-154)-1.416117172515116e-57(-1.416117172515116e-57 -1.416117172515116e-57)+nan.0validexit00.30947#f
(-3.9279146136742904e-185 3.722352341183735e+299 -1.429725219721774e-101 1.0333889330620433e+175)-3.9279146136742904e-185(-3.9279146136742904e-185 -3.9279146136742904e-185)+nan.0validexit00.333044#f
(9.89205214111215e+287 -5.895083405521409e-215 -3.4099042044576985e-105 1.414255939618203e+119)9.89205214111215e+287(9.89205214111215e+287 9.89205214111215e+287)+nan.0validexit00.349456#f
(1.9890897652395435e-289 -899.0897352171938 5.6467426210054775e+177 2.7772385449570497e+239)1.5922272282654507e-175(1.5922272282654507e-175 1.5922272282654507e-175)+nan.0validexit00.23444399999999999#f
(4.198756980889528e-48 -1.209287398328043e-286 6.900379168767314e+66 -1.3827700966653006e+104)4.198756980889528e-48(4.198756980889528e-48 4.198756980889528e-48)+nan.0validexit00.239285#f
(2.4896366906018454e+129 9.874669102409236e+23 1.6346764518052653e-47 -1.1665564722259855e-59)2.4896366906018454e+129(2.4896366906018454e+129 2.4896366906018454e+129)+nan.0validexit00.311631#f
(5.346905128729476e-284 2.306512843892682e-247 1.079454520545665e-171 -1.295364737440765e+185)5.346905128729476e-284(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.241458809468839e-100 1.6333366717714352e-263 5.198096817874092e-266 2.2561309567920007e-125)-8.241458809468839e-100(-8.241458809468839e-100 -8.241458809468839e-100)+nan.0validexit00.420167#f
(2.867330797229357e-27 -27312361944676570.0 -2.036199457331542e-38 -6.188076404311207e+114)2.867330797229357e-27(2.867330797229357e-27 2.867330797229357e-27)+nan.0validexit00.33176700000000003#f
(3.6689304926854496e+24 3.647801514537701e-121 3.7370546296884776e+255 5.135176771659885e-42)3.6689304926854496e+24(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.586473764681304e-246 3.42288936704829e+153 -5.9085934480138124e+66 -2.3935339210028218e+29)4.937129485541848e+37(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.0330073905909833e-113 -5.260575175471906e+171 2.2727219271174238e+134 4.8564667983413075e-147)2.31465852144265e+37(2.31465852144265e+37 2.31465852144265e+37)+nan.0validexit00.239376#f
(-8.017847392935257e-238 -1.1614723063799134e+129 -4.747585805374227e+204 1.1605097583444505e+280)-1.8833211921961462e-76(-1.8833211921961462e-76 -1.8833211921961462e-76)+nan.0validexit00.371452#f
(5.185536650592274e+258 -4.463226969294449e-293 -1.1673174845254589e-228 5.741712481179355e-80)5.185536650592274e+258(5.185536650592274e+258 5.185536650592274e+258)+nan.0validexit00.259082#f
(-1.5213617333015042e-128 -7.8232198799761e+122 5.54521420045244e-69 7.126935944630962e-214)1.5561285364518806e+145(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9.953988121288306e+112 1.4223034015693589e-41 2.516717422712483e+276 7.765271779651558e-95)-9.953988121288306e+112(-9.953988121288306e+112 -9.953988121288306e+112)+nan.0validexit00.38999500000000004#f
(-5.643358241464167e+150 -5.680803387434376 4.689149152401146e-61 -1.6259868742642436e-220)-5.643358241464167e+150(-5.643358241464167e+150 -5.643358241464167e+150)+nan.0validexit00.327695#f
(-8.212656188508806e-267 1.4241995593626693e-124 8.18875524158735e-109 0.3109584888963604)5.2667835315578645e-108(5.2667835315578645e-108 5.2667835315578645e-108)+nan.0validexit00.362662#f
(7.932725216338873e-213 3.438252184591609e-186 -2.2283847248041843e-56 1.23552574618851e+157)4.3255406122485764e-213(4.3255406122485764e-213 4.3255406122485764e-213)+nan.0validexit00.36761900000000003#f
(-3.6867306843455877e+43 1.0492309909984874e-123 -2008428687.661683 -2.0520606617483238e+304)-3.6867306843455877e+43(-3.6867306843455877e+43 -3.6867306843455877e+43)+nan.0validexit00.306002#f
(2.2447521623316167e-122 4.123881741311789e-27 -2.6419928182306597e+102 -5.237444022857841e+231)2.2447522236118064e-122(2.2447522236118064e-122 2.2447522236118064e-122)+nan.0validexit00.353566#f
(6.560815825179376e+163 4.76001629418874e-283 1.818544646162406e-216 1.2050956219629817e+225)6.560815825179376e+163(6.560815825179376e+163 6.560815825179376e+163)+nan.0validexit00.339396#f
(-8.164206338455225e+289 -5.4045059864319165e+73 -1.5489903745474753e-279 2.0596639985069438e-206)-8.164206338455225e+289(-8.164206338455225e+289 -8.164206338455225e+289)+nan.0validexit00.32319#f
(1.4418379840590043e+39 3.930994058944287e+299 5.936330079043721e-163 4.698896909241357e+237)1.4418379840590043e+39(1.4418379840590043e+39 1.4418379840590043e+39)+nan.0validexit00.306919#f
(5.858057614984264e+211 -2.0646370542063263e+171 -124.39707168978303 -1.4613360950225897e+125)5.858057614984264e+211(5.858057614984264e+211 5.858057614984264e+211)+nan.0validexit00.17012#f
(2.385466208454425e-143 -2.7350267228908995e+206 7.709916166923537e-271 -9.879332895401777e+301)2.385466208454425e-143(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.340231541831819e-280 4.388275181745949e-14 1.3993404528535836e+41 -6.405206519287466e+48)-3.1359596392695042e-55(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.764948226024976e+125 -5.266966060085727e-148 -4.3139965513821634e+232 -2.985607126860659e+258)-2.764948226024976e+125(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.3714491740507403e-254 1.32188416727342e+72 1.1279612122402744e-176 -1.802242494546496e+261)1.3714491740507403e-254(1.3714491740507403e-254 1.3714491740507403e-254)+nan.0validexit00.329882#f
(5.07636845987726e+194 -1.0434790143073807e-226 -2.9302773330891436e+297 -1.6831134009293486e+189)5.07636845987726e+194(5.07636845987726e+194 5.07636845987726e+194)+nan.0validexit00.289186#f
(0.1720180391944064 -6.387568534494259e-156 -8.351538351135107e+151 6.038738590263576e-226)0.1720180391944064(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.201439163259086e+40 -4.0386125800063916e+26 8.965702850312343e-219 -1.0972163261295783e+244)-1.201439163259086e+40(-1.201439163259086e+40 -1.201439163259086e+40)+nan.0validexit00.284284#f
(1.5726245870645217e-91 1.0225192146817985e+288 1.988016493764946e+118 2.1937134205114866e+38)1.8124669112900079e+80(1.8124669112900079e+80 1.8124669112900079e+80)+nan.0validexit00.339114#f
(6.648089707299605e-74 -5.755674000251108e+59 3.4615718661338594e+205 -5.876071453009724e+43)6.648089707299605e-74(+nan.0 +nan.0)+nan.0validexit05.0#f
(-6.737499511757946e-168 1.4817573185439313e-278 1.468716202843781e-264 -2.196641360162261e+208)-6.737499511757946e-168(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.0253468206059634e-163 3.215686471593496e+300 1.2174651630538137e-153 -8.872526167603108e-262)-2.7443484303246843e+108(-2.7443484303246843e+108 -2.7443484303246843e+108)+nan.0validexit00.321271#f
(-8.394503169956599e+259 -2.2332072777917376e+66 -9.583623897829675e+278 5.770173341702317e+280)-8.394503169956599e+259(-8.394503169956599e+259 -8.394503169956599e+259)+nan.0validexit00.302033#f
Sollya timings
Total time spent in Sollya 1.3s
Bogosity

preprocess299.0ms (0.7%)

Algorithm
egg-herbie
Rules
501×fma-define
448×fma-neg
424×div-sub
419×associate-/l*
411×times-frac
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0791168
12411124
26481028
321491008
454161008
572541008
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 (neg.f64 y) t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 2 binary64)) (neg.f64 z)) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y (neg.f64 t)))))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 (neg.f64 y) t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 2 binary64)) (neg.f64 z)) (*.f64 y t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y (neg.f64 t))))))
(-.f64 y (/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 x t))))
(-.f64 z (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) x) (-.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) x) (*.f64 y t))))
(-.f64 t (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y x))))
(-.f64 x (/.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) y) (-.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) y) (*.f64 z t))))
(-.f64 x (/.f64 (*.f64 (*.f64 t #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 t y))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) t) (-.f64 (*.f64 (*.f64 t #s(literal 2 binary64)) t) (*.f64 y z))))
Outputs
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(+.f64 x (*.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(fma.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t)))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(+.f64 x (*.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(fma.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t)))) x)
(-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 (neg.f64 x) (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(fma.f64 #s(literal -1 binary64) x (*.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 y t)))))
(-.f64 (*.f64 y (/.f64 (*.f64 #s(literal 2 binary64) z) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t)))) x)
(-.f64 (*.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 (neg.f64 y) t))))
(-.f64 x (*.f64 (neg.f64 (*.f64 y #s(literal 2 binary64))) (/.f64 z (+.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(+.f64 x (*.f64 y (/.f64 (*.f64 #s(literal 2 binary64) z) (fma.f64 z (*.f64 #s(literal 2 binary64) z) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t))) x)
(fma.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t)))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 2 binary64)) (neg.f64 z)) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 y (*.f64 #s(literal 2 binary64) (neg.f64 z))) (-.f64 (*.f64 (neg.f64 z) (*.f64 #s(literal 2 binary64) (neg.f64 z))) (*.f64 y t))))
(-.f64 x (*.f64 y (/.f64 (*.f64 z #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 z) (*.f64 z #s(literal -2 binary64))) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(fma.f64 y (/.f64 (*.f64 z #s(literal -2 binary64)) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y (neg.f64 t)))))
(-.f64 x (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (+.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(+.f64 x (*.f64 z (/.f64 (*.f64 y #s(literal -2 binary64)) (fma.f64 z (*.f64 #s(literal 2 binary64) z) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t))) x)
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))))
(-.f64 x (/.f64 (*.f64 y (*.f64 #s(literal 2 binary64) (neg.f64 z))) (-.f64 (*.f64 (neg.f64 z) (*.f64 #s(literal 2 binary64) (neg.f64 z))) (*.f64 y t))))
(-.f64 x (*.f64 y (/.f64 (*.f64 z #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 z) (*.f64 z #s(literal -2 binary64))) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(fma.f64 y (/.f64 (*.f64 z #s(literal -2 binary64)) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 (neg.f64 y) t)))))
(neg.f64 (-.f64 x (*.f64 (neg.f64 (*.f64 y #s(literal 2 binary64))) (/.f64 z (+.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t))))))
(+.f64 (neg.f64 x) (*.f64 z (/.f64 (*.f64 y #s(literal -2 binary64)) (fma.f64 z (*.f64 #s(literal 2 binary64) z) (*.f64 y t)))))
(neg.f64 (fma.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t))) x))
(neg.f64 (fma.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t)))) x))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 2 binary64)) (neg.f64 z)) (*.f64 y t)))))
(-.f64 (neg.f64 x) (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(fma.f64 #s(literal -1 binary64) x (*.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 y t)))))
(-.f64 (*.f64 y (/.f64 (*.f64 #s(literal 2 binary64) z) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t)))) x)
(-.f64 (*.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))))) x)
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y (neg.f64 t))))))
(neg.f64 (-.f64 x (*.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (+.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t))))))
(+.f64 (neg.f64 x) (*.f64 y (/.f64 (*.f64 #s(literal 2 binary64) z) (fma.f64 z (*.f64 #s(literal 2 binary64) z) (*.f64 y t)))))
(-.f64 (*.f64 y (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (*.f64 z z) (*.f64 y t))))) x)
(-.f64 y (/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 x t))))
(-.f64 y (*.f64 (*.f64 x #s(literal 2 binary64)) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 x t)))))
(-.f64 y (*.f64 x (/.f64 (*.f64 #s(literal 2 binary64) z) (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 x t)))))
(fma.f64 (*.f64 x #s(literal -2 binary64)) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 x t))) y)
(fma.f64 x (/.f64 (*.f64 #s(literal 2 binary64) z) (fma.f64 x t (*.f64 z (*.f64 z #s(literal -2 binary64))))) y)
(-.f64 z (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) x) (-.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) x) (*.f64 y t))))
(-.f64 z (/.f64 (*.f64 x (*.f64 y #s(literal 2 binary64))) (-.f64 (*.f64 x (*.f64 x #s(literal 2 binary64))) (*.f64 y t))))
(+.f64 z (*.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 x (-.f64 (*.f64 x (*.f64 x #s(literal 2 binary64))) (*.f64 y t)))))
(fma.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 x (fma.f64 x (*.f64 x #s(literal 2 binary64)) (neg.f64 (*.f64 y t)))) z)
(fma.f64 x (/.f64 (*.f64 y #s(literal 2 binary64)) (fma.f64 y t (*.f64 x (*.f64 x #s(literal -2 binary64))))) z)
(-.f64 t (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y x))))
(-.f64 t (/.f64 (*.f64 y (*.f64 #s(literal 2 binary64) z)) (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 x y))))
(+.f64 t (/.f64 (*.f64 y (*.f64 z #s(literal -2 binary64))) (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 x y))))
(fma.f64 (*.f64 y #s(literal 2 binary64)) (/.f64 z (+.f64 (*.f64 x y) (*.f64 z (*.f64 z #s(literal -2 binary64))))) t)
(fma.f64 (*.f64 #s(literal 2 binary64) z) (/.f64 y (fma.f64 x y (*.f64 z (*.f64 z #s(literal -2 binary64))))) t)
(-.f64 x (/.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) y) (-.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) y) (*.f64 z t))))
(-.f64 x (*.f64 (*.f64 #s(literal 2 binary64) z) (/.f64 y (-.f64 (*.f64 y (*.f64 y #s(literal 2 binary64))) (*.f64 z t)))))
(+.f64 x (/.f64 (*.f64 y (*.f64 z #s(literal -2 binary64))) (-.f64 (*.f64 y (*.f64 y #s(literal 2 binary64))) (*.f64 z t))))
(fma.f64 (*.f64 z #s(literal -2 binary64)) (/.f64 y (-.f64 (*.f64 y (*.f64 y #s(literal 2 binary64))) (*.f64 z t))) x)
(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 y z) (fma.f64 z t (*.f64 y (*.f64 y #s(literal -2 binary64))))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 t #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 t y))))
(-.f64 x (*.f64 (*.f64 #s(literal 2 binary64) t) (/.f64 z (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t)))))
(-.f64 x (*.f64 t (*.f64 #s(literal 2 binary64) (/.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 z z)) (*.f64 y t))))))
(fma.f64 (*.f64 #s(literal 2 binary64) t) (/.f64 z (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t))) x)
(fma.f64 t (*.f64 z (/.f64 #s(literal 2 binary64) (fma.f64 z (*.f64 z #s(literal -2 binary64)) (*.f64 y t)))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) t) (-.f64 (*.f64 (*.f64 t #s(literal 2 binary64)) t) (*.f64 y z))))
(-.f64 x (/.f64 (*.f64 y (*.f64 #s(literal 2 binary64) t)) (-.f64 (*.f64 t (*.f64 #s(literal 2 binary64) t)) (*.f64 y z))))
(-.f64 x (*.f64 t (/.f64 (*.f64 y #s(literal 2 binary64)) (-.f64 (*.f64 t (*.f64 #s(literal 2 binary64) t)) (*.f64 y z)))))
(fma.f64 (*.f64 y #s(literal -2 binary64)) (/.f64 t (fma.f64 z (neg.f64 y) (*.f64 #s(literal 2 binary64) (*.f64 t t)))) x)
(fma.f64 y (/.f64 (*.f64 #s(literal 2 binary64) t) (fma.f64 y z (*.f64 t (*.f64 t #s(literal -2 binary64))))) x)
Compiler

Compiled 21 to 13 computations (38.1% saved)

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
81.9%
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
Compiler

Compiled 42 to 26 computations (38.1% saved)

simplify15.0ms (0%)

Algorithm
egg-herbie
Rules
105×unsub-neg
69×neg-mul-1
63×distribute-lft-neg-in
35×distribute-rgt-neg-in
28×remove-double-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02070
13370
25270
37470
412070
517070
621170
730070
847370
955970
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
Outputs
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 z (*.f64 #s(literal 2 binary64) z)) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) z) z) (*.f64 y t))))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 21 to 13 computations (38.1% saved)

preprocess138.0ms (0.3%)

Compiler

Compiled 118 to 76 computations (35.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...