Complex division, imag part

Time bar (total: 36.4s)

analyze218.0ms (0.6%)

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
75%74.9%25%0.2%0%0%0%5
75%74.9%25%0.2%0%0%0%6
75%74.9%25%0.2%0%0%0%7
87.5%87.3%12.5%0.2%0%0%0%8
93.8%93.6%6.2%0.2%0%0%0%9
93.8%93.6%6.2%0.2%0%0%0%10
93.8%93.6%6.2%0.2%0%0%0%11
96.9%96.7%3.1%0.2%0%0%0%12
Compiler

Compiled 20 to 12 computations (40% saved)

sample35.7s (97.9%)

Results
4.5s8256×0valid
1.1s8215×0valid-sollya
20.0ms41×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(5.465113443860401e-279 118950518585395940.0 -2.517367038464001e+265 5.0452499850032234e+148)-4.725195681356617e-249(-4.725195681356617e-249 -4.725195681356617e-249)+nan.0validexit00.33301000000000003#f
(-6.818335072894938e-42 -4.103646138723108e+63 -6.191183122086507e-221 -2.748536914728164e+133)-2.480714388938555e-175(-2.480714388938555e-175 -2.480714388938555e-175)+nan.0validexit00.29093100000000005#f
(2.680429259520078e-260 -1.9112179707958155e-176 3.238544690743833e-160 -2.5156544179582928e-266)-5.901471658730898e-17(-5.901471658730898e-17 -5.901471658730898e-17)+nan.0validexit00.14138599999999998#f
(-13723.582707219508 -1.1171667728536269e-275 7.205079158559441e+222 -9.811227087574948e-53)-0.0(-0.0 -0.0)+nan.0validexit00.321974#f
(2.7948578176349576e+280 4.04867882821681e-40 1.0262285895804383e+157 5.3284169063524584e-98)-1.4140660570688512e-131(-1.4140660570688512e-131 -1.4140660570688512e-131)+nan.0validexit00.146385#f
(-7.092751126628267e-242 -2.4117944505523146e-244 -2.1024276044506193e+195 -9.155736951870892e+242)-0.0(-0.0 -0.0)+nan.0validexit00.170907#f
(-7.431659502749245e-186 -1.9733142748930578e-87 6.216338001013405e-239 2.568219738371458e+246)0.0(0.0 0.0)+nan.0validexit00.26133599999999996#f
(-3.012228983239385e+119 1.2400847047650955e-182 1.491754844683114e-125 1.0455857170290899e+111)288090104.3482387(288090104.3482387 288090104.3482387)+nan.0validexit00.29938000000000003#f
(-2.079990695638637e+278 3.4471414420594934e+263 2.2403830391702948e+54 1.4367513632448635e-130)1.5386393227365756e+209(1.5386393227365756e+209 1.5386393227365756e+209)+nan.0validexit00.260307#f
(-1.018638951127632e+288 -7.058049235544565e+102 -4.5189387879854046e+103 -2.8765577594557665e-92)0.15618820183317209(0.15618820183317209 0.15618820183317209)+nan.0validexit00.314445#f
(1.6834490690421142e-167 3.2636315967207293e-79 5.548751116749634e-19 -2.827251787884894e+300)0.0(0.0 0.0)+nan.0validexit00.32622199999999996#f
(2.196280882335247e+126 -6.969816638126218e-235 3.553978729884732e+257 2.1394490933984905e+99)-3.72014776011062e-290(-3.72014776011062e-290 -3.72014776011062e-290)+nan.0validexit00.259272#f
(2.8400527021043108e-174 9.33118488200519e+235 -3.891432539009845e+297 -3.818855427327113e+135)-2.397879132803742e-62(-2.397879132803742e-62 -2.397879132803742e-62)+nan.0validexit00.28961#f
(-7.049930781673373e+44 -8.188037005888287e-51 -1.9090122135859058e-101 3.7090725575092706e+291)1.900726036593786e-247(1.900726036593786e-247 1.900726036593786e-247)+nan.0validexit00.238169#f
(-1.669298485652746e-165 -1.3708015188654374e-215 6.645308435389904e+184 -1.6560290217243394e-94)-0.0(-0.0 -0.0)+nan.0validexit00.26095399999999996#f
(1.3931307939755962e-83 3.816321402062328e-227 -8.385071247210846e-59 2.5498892723971676e+48)-5.463495254701412e-132(-5.463495254701412e-132 -5.463495254701412e-132)+nan.0validexit00.14903599999999997#f
(-2.314790744293119e+40 5.21354266639118e-15 3.955983104366622e-57 7.812504442893016e-118)1.317889156811418e+42(1.317889156811418e+42 1.317889156811418e+42)+nan.0validexit00.132929#f
(-28157488964424716000.0 3.3769906538772376e-79 1.5990506467073529e-55 1.6828050295594978e-103)1.8531188989207682e+26(1.8531188989207682e+26 1.8531188989207682e+26)+nan.0validexit00.186912#f
(3.9179653782873043e-255 -2.7884116447381626e-87 9.030617571404034e+163 1.7664635250238913e-190)-3.0877308475201375e-251(-3.0877308475201375e-251 -3.0877308475201375e-251)+nan.0validexit00.158149#f
(4.38070538694043e+103 1.4129005142504534e-67 1.5124193798683351e-29 1.83781986628451e+303)-2.3836424163793752e-200(-2.3836424163793752e-200 -2.3836424163793752e-200)+nan.0validexit00.256398#f
(6.231392976685052e-226 -760624883640137100.0 3.883598026806865e-227 -1.1340349202026968e-268)-1.9585571894667246e+244(-1.9585571894667246e+244 -1.9585571894667246e+244)+nan.0validexit00.292299#f
(2.5398478416743654e+40 -1.4327879748983096e+110 5.362507910479882e-156 1.1103137358350368e-265)-2.6718617460651763e+265(-2.6718617460651763e+265 -2.6718617460651763e+265)+nan.0validexit00.30949200000000004#f
(1.5539357215734932e+170 -4.432909392666031e+112 2.7073390729406025e-105 1.7863506268150686e+90)-8.698940164641954e+79(-8.698940164641954e+79 -8.698940164641954e+79)+nan.0validexit00.146224#f
(8.70907693352935e-173 1.0000084627608044e-267 -6.175679712132771e-197 8.226004518149655e-106)-1.0587250364759532e-67(-1.0587250364759532e-67 -1.0587250364759532e-67)+nan.0validexit00.35275#f
(-2.586776427259722e-30 1.467897128996433e-249 -4.867220694045626e+243 6.539520983490811e-264)-0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.2470711630234448e-35 -9.808728572941833e+36 3.792256013594988e-102 1.5264996955189137e-183)-2.58651539816357e+138(-2.58651539816357e+138 -2.58651539816357e+138)+nan.0validexit00.28258#f
(-9.961135553440162e-218 6.426277106489771e+235 -6.355738386582849e+269 2.161537665191254e+85)-1.0110984303658298e-34(-1.0110984303658298e-34 -1.0110984303658298e-34)+nan.0validexit00.328927#f
(2.7455866075945817e-159 4.2389543327750937e-159 2.0510722627150835e+111 1.492009747146995e+57)2.066701602782062e-270(2.066701602782062e-270 2.066701602782062e-270)+nan.0validexit00.29137199999999996#f
(5.1427703653043957e+98 -1.4584544221204727e+230 -9.237836888165045e-297 -3.982059414899942e-34)1.2914850908706542e+132(1.2914850908706542e+132 1.2914850908706542e+132)+nan.0validexit00.297395#f
(-4.0699345793895684e+108 2.1374869058505975e-52 -1.3977018478785801e+249 160.5295218110453)-1.5292867424442893e-301(-1.5292867424442893e-301 -1.5292867424442893e-301)+nan.0validexit00.31847899999999996#f
(-8.95093610373164e+138 2.6261174073211708e+126 2.6905283249587344e+110 -2.9192084080842744e+186)-3.0662203078558807e-48(-3.0662203078558807e-48 -3.0662203078558807e-48)+nan.0validexit00.166637#f
(-3.1580201769441664e-293 -4.3599662961668405e+40 -1.40290222142268e+130 4.1138845070420105e+254)0.0(0.0 0.0)+nan.0validexit00.326148#f
(7.620026857461794e+56 4.364366712357108e+274 -1.502655332403273e+168 6.0059219881342275e-233)-2.9044363123358133e+106(-2.9044363123358133e+106 -2.9044363123358133e+106)+nan.0validexit00.253385#f
(2.111085169401749e+289 -2.8014314288355725e-108 -4.858479108618768e+145 3.2695324559185513e-131)-2.9240899520522118e-133(-2.9240899520522118e-133 -2.9240899520522118e-133)+nan.0validexit00.316161#f
(-1.8927828569163788e+214 -2.0123340270110987e-26 5.190159935098708e-235 -3.7632211663345113e+189)-5.029688060454882e+24(+nan.0 +nan.0)+nan.0validexit05.0#f
(0.01832005120517397 -3.401299366482879e+95 35470.90808823453 -35598862217857016000.0)-9.520174961179961e+60(-9.520174961179961e+60 -9.520174961179961e+60)+nan.0validexit00.194611#f
(-1.1364449421523017e+82 1.2845427471583616e-236 -7.235071527365532e-223 -9.625701935456589e+142)-1.1806359159804953e-61(-1.1806359159804953e-61 -1.1806359159804953e-61)+nan.0validexit00.257671#f
(9.434935456657732e-221 -9.379069913428546e+105 -1.090806700873105e-186 2.6677795062857964e+253)-0.0(-0.0 -0.0)+nan.0validexit00.259337#f
(1.0587583232470414e+30 1.3460439251136612e+40 1.3212548999576608e+153 7.274894204618683e-201)1.018761728078961e-113(1.018761728078961e-113 1.018761728078961e-113)+nan.0validexit00.153058#f
(2.230783751351822e-166 7.633532885561058e-298 1.1875423132392334e+42 -1.1172508984240504e+305)0.0(0.0 0.0)+nan.0validexit00.35104#f
(-1.1413902046341435e-170 2.768445720704323e+158 5.181040827188484e+236 -16643221454333122.0)5.34341614560608e-79(5.34341614560608e-79 5.34341614560608e-79)+nan.0validexit00.139185#f
Sollya timings
Total time spent in Sollya 1.1s
Bogosity

preprocess404.0ms (1.1%)

Algorithm
egg-herbie
Rules
1255×fma-define
795×fma-neg
518×div-sub
436×unsub-neg
415×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0701024
1237992
2469992
31150992
43391992
55801992
66625992
76734992
86754992
96770992
107716992
Stop Event
node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 (neg.f64 a) d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 (neg.f64 b) c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (+.f64 (*.f64 (neg.f64 c) (neg.f64 c)) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a (neg.f64 d))) (+.f64 (*.f64 c c) (*.f64 (neg.f64 d) (neg.f64 d))))
(neg.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 (neg.f64 a) d)) (+.f64 (*.f64 c c) (*.f64 d d))))
(neg.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d))))
(neg.f64 (/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (+.f64 (*.f64 (neg.f64 c) (neg.f64 c)) (*.f64 d d))))
(neg.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a (neg.f64 d))) (+.f64 (*.f64 c c) (*.f64 (neg.f64 d) (neg.f64 d)))))
(/.f64 (-.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b a) (*.f64 c d)) (+.f64 (*.f64 a a) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 d a)) (+.f64 (*.f64 c c) (*.f64 a a)))
(/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 b b) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 d c) (*.f64 a b)) (+.f64 (*.f64 c c) (*.f64 b b)))
(/.f64 (-.f64 (*.f64 b d) (*.f64 a c)) (+.f64 (*.f64 d d) (*.f64 c c)))
Outputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a (neg.f64 d))) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a (neg.f64 d))) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 (neg.f64 a) d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (+.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 (neg.f64 b) c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (+.f64 (*.f64 (neg.f64 c) (neg.f64 c)) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a (neg.f64 d))) (+.f64 (*.f64 c c) (*.f64 (neg.f64 d) (neg.f64 d))))
(/.f64 (+.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 (neg.f64 a) d)) (+.f64 (*.f64 c c) (*.f64 d d))))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d))))
(/.f64 (+.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (+.f64 (*.f64 (neg.f64 c) (neg.f64 c)) (*.f64 d d))))
(/.f64 (+.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a (neg.f64 d))) (+.f64 (*.f64 c c) (*.f64 (neg.f64 d) (neg.f64 d)))))
(/.f64 (-.f64 (*.f64 b (neg.f64 c)) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 c c (*.f64 d d)))
(/.f64 (neg.f64 (fma.f64 b c (*.f64 a d))) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 c a) (*.f64 b d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b (neg.f64 d) (*.f64 c a)) (fma.f64 d d (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b a) (*.f64 c d)) (+.f64 (*.f64 a a) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b a) (*.f64 c d)) (fma.f64 a a (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 d a)) (+.f64 (*.f64 c c) (*.f64 a a)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 a a)))
(/.f64 (fma.f64 b c (*.f64 a (neg.f64 d))) (fma.f64 c c (*.f64 a a)))
(/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 b b) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 b b (*.f64 d d)))
(/.f64 (fma.f64 b c (*.f64 a (neg.f64 d))) (fma.f64 b b (*.f64 d d)))
(/.f64 (-.f64 (*.f64 d c) (*.f64 a b)) (+.f64 (*.f64 c c) (*.f64 b b)))
(/.f64 (-.f64 (*.f64 c d) (*.f64 b a)) (fma.f64 c c (*.f64 b b)))
(/.f64 (-.f64 (*.f64 c d) (*.f64 b a)) (fma.f64 b b (*.f64 c c)))
(/.f64 (fma.f64 b (neg.f64 a) (*.f64 c d)) (fma.f64 b b (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b d) (*.f64 a c)) (+.f64 (*.f64 d d) (*.f64 c c)))
(/.f64 (-.f64 (*.f64 b d) (*.f64 c a)) (fma.f64 c c (*.f64 d d)))
(/.f64 (fma.f64 b d (*.f64 c (neg.f64 a))) (fma.f64 d d (*.f64 c c)))
Compiler

Compiled 19 to 11 computations (42.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
66.2%
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Compiler

Compiled 38 to 22 computations (42.1% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative
+-commutative
sub-neg
neg-sub0
neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01867
12767
23967
34567
44967
55067
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Outputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 19 to 11 computations (42.1% saved)

preprocess129.0ms (0.4%)

Compiler

Compiled 158 to 86 computations (45.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...