#include #include #include #include #include #define INLINE inline __attribute__ ((always_inline)) #define NORETURN __attribute__ ((noreturn)) GC_API __attribute__ ((malloc)) GC_PTR GC_malloc_explicitly_typed GC_PROTO((size_t size_in_bytes, GC_descr d)); static INLINE NORETURN void panic(char *x); static INLINE double read_real(void); static INLINE double write_real(double x); static double f186(double a_f186_830,double a_f186_831,double a_f186_832,double a_f186_833,double a_f186_834); static double f193(double a_f193_835,double a_f193_836); static double f203(double a_f203_837,double a_f203_838,double a_f203_839,double a_f203_840,double a_f203_841,double a_f203_842,double a_f203_843,double a_f203_844,double a_f203_845); static void f306(double a_f306_846,double a_f306_847,double a_f306_848,double a_f306_849,double a_f306_850,double a_f306_851,double a_f306_852,double a_f306_853,double a_f306_854,double a_f306_855,double a_f306_856,double a_f306_857,double a_f306_858,double a_f306_859,double a_f306_860,double a_f306_861,double a_f306_862,double a_f306_863); static double r_f306_828; static double r_f306_829; int main(void); static INLINE NORETURN void panic(char *x){ fputs(x,stderr); fputc('\n',stderr); exit(EXIT_FAILURE); } static INLINE double read_real(void){ return ({ double x; scanf("%lf",&x); x; }); } static INLINE double write_real(double x){ return ({ printf("%.18lg\n",x); x; }); } static double f186(double a_f186_830,double a_f186_831,double a_f186_832,double a_f186_833,double a_f186_834){ double r_f186_6; double t243902; double t664=(a_f186_832*a_f186_832); double t706=(t664+0.); double t707=sqrt(t706); int t713=((t707<=1e-05)?0:1); if((t713==0)){ t243902=a_f186_830; } else { int t760=((a_f186_834==10.)?0:1); if((t760==0)){ double t822=(2.*a_f186_833); double t243904; double t243905; double t243906; double t243907; double t243908; t243904=a_f186_830; t243905=a_f186_831; t243906=a_f186_832; t243907=t822; t243908=0.; double t243903=f186(t243904,t243905,t243906,t243907,t243908); double t838=t243903; t243902=t838; } else { double t881=(a_f186_833*a_f186_832); double t912=(a_f186_830-t881); double t951=(t912-a_f186_830); double t970=(t951*t951); double t1012=(t970+0.); double t1013=sqrt(t1012); int t1019=((t1013<=1e-05)?0:1); if((t1019==0)){ t243902=a_f186_830; } else { double t1080=(10.-t912); double t243910; double t243911; double t243912; double t243913; double t243914; double t243915; double t243916; double t243917; double t243918; t243910=0.1; t243911=10.; t243912=t1080; t243913=10.; t243914=0.; t243915=0.; t243916=8.; t243917=0.75; t243918=0.; double t243909=f203(t243910,t243911,t243912,t243913,t243914,t243915,t243916,t243917,t243918); double t1129=t243909; int t1135=((t11290.)?0:1); if((t23715==0)){ double t23842=(a_f203_837*t23489); double t23868=(a_f203_837*t23515); double t23923=(a_f203_844+t23842); double t23954=(a_f203_845+t23868); double t243989; double t243990; double t243991; double t243992; double t243993; double t243994; double t243995; double t243996; double t243997; t243989=a_f203_837; t243990=a_f203_838; t243991=a_f203_839; t243992=a_f203_840; t243993=a_f203_841; t243994=t23638; t243995=t23669; t243996=t23923; t243997=t23954; double t243988=f203(t243989,t243990,t243991,t243992,t243993,t243994,t243995,t243996,t243997); double t23964=t243988; t243987=t23964; } else { double t24031=(0.-a_f203_843); double t24077=(t24031/a_f203_845); double t24116=(t24077*a_f203_844); double t24142=(t24077*a_f203_845); double t24197=(a_f203_842+t24116); double t24228=(a_f203_843+t24142); double t24264=(t24197*t24197); t243987=t24264; } r_f203_19=t243987; return r_f203_19; } static void f306(double a_f306_846,double a_f306_847,double a_f306_848,double a_f306_849,double a_f306_850,double a_f306_851,double a_f306_852,double a_f306_853,double a_f306_854,double a_f306_855,double a_f306_856,double a_f306_857,double a_f306_858,double a_f306_859,double a_f306_860,double a_f306_861,double a_f306_862,double a_f306_863){ double t243998; double t243999; double t92264=(a_f306_848-a_f306_856); double t92269=(a_f306_852-a_f306_860); double t92301=(0.-1.); double t92305=(0.-0.); double t94601=(a_f306_849-a_f306_857); double t94606=(a_f306_853-a_f306_861); double t94638=(0.-0.); double t94642=(0.-0.); double t97758=(t92264*t92264); double t97763=(t92264*t92269); double t97768=(t92264*t92269); double t97773=(t97763+t97768); double t97831=(t92264*t92301); double t97836=(t92301*t92269); double t97841=(t92264*t92305); double t97846=(t97836+t97841); double t97904=(t92264*t92301); double t97909=(t92301*t92269); double t97914=(t92264*t92305); double t97919=(t97909+t97914); double t97977=(t97831+t97904); double t97982=(t97846+t97919); double t99842=(t94601*t94601); double t99847=(t94601*t94606); double t99852=(t94601*t94606); double t99857=(t99847+t99852); double t99915=(t94601*t94638); double t99920=(t94638*t94606); double t99925=(t94601*t94642); double t99930=(t99920+t99925); double t99988=(t94601*t94638); double t99993=(t94638*t94606); double t99998=(t94601*t94642); double t100003=(t99993+t99998); double t100061=(t99915+t99988); double t100066=(t99930+t100003); double t111978=(t99842+0.); double t111983=(t99857+0.); double t112041=(t100061+0.); double t112046=(t100066+0.); double t112768=(t97758+t111978); double t112773=(t97773+t111983); double t112831=(t97977+t112041); double t112836=(t97982+t112046); double t113042=sqrt(t112768); double t113044=sqrt(t112768); double t113045=sqrt(t112768); double t113050=(t113044+t113045); double t113055=(t112773/t113050); double t113085=sqrt(t112768); double t113087=sqrt(t112768); double t113088=sqrt(t112768); double t113093=(t113087+t113088); double t113098=(t112773/t113093); double t113112=sqrt(t112768); double t113114=sqrt(t112768); double t113115=sqrt(t112768); double t113120=(t113114+t113115); double t113125=(t112773/t113120); double t113183=(t113085+t113112); double t113188=(t113098+t113125); double t113246=(t112831/t113183); double t113251=(t113183*t112836); double t113256=(t112831*t113188); double t113261=(t113251-t113256); double t113266=(t113183*t113183); double t113271=(t113261/t113266); double t113993=(1./t113042); double t113998=(t113042*0.); double t114003=(1.*t113055); double t114008=(t113998-t114003); double t114013=(t113042*t113042); double t114018=(t114008/t114013); double t114076=(t113042*0.); double t114081=(0.*t113055); double t114086=(t113042*0.); double t114091=(t114081+t114086); double t114149=(1.*t113246); double t114154=(t113246*0.); double t114159=(1.*t113271); double t114164=(t114154+t114159); double t114222=(t114076-t114149); double t114227=(t114091-t114164); double t114285=(t113042*t113042); double t114290=(t113042*t113055); double t114295=(t113042*t113055); double t114300=(t114290+t114295); double t114358=(t114222/t114285); double t114363=(t114285*t114227); double t114368=(t114222*t114300); double t114373=(t114363-t114368); double t114378=(t114285*t114285); double t114383=(t114373/t114378); double t122386=(a_f306_850-a_f306_856); double t122391=(a_f306_854-a_f306_860); double t122423=(0.-1.); double t122427=(0.-0.); double t124723=(a_f306_851-a_f306_857); double t124728=(a_f306_855-a_f306_861); double t124760=(0.-0.); double t124764=(0.-0.); double t127880=(t122386*t122386); double t127885=(t122386*t122391); double t127890=(t122386*t122391); double t127895=(t127885+t127890); double t127953=(t122386*t122423); double t127958=(t122423*t122391); double t127963=(t122386*t122427); double t127968=(t127958+t127963); double t128026=(t122386*t122423); double t128031=(t122423*t122391); double t128036=(t122386*t122427); double t128041=(t128031+t128036); double t128099=(t127953+t128026); double t128104=(t127968+t128041); double t129964=(t124723*t124723); double t129969=(t124723*t124728); double t129974=(t124723*t124728); double t129979=(t129969+t129974); double t130037=(t124723*t124760); double t130042=(t124760*t124728); double t130047=(t124723*t124764); double t130052=(t130042+t130047); double t130110=(t124723*t124760); double t130115=(t124760*t124728); double t130120=(t124723*t124764); double t130125=(t130115+t130120); double t130183=(t130037+t130110); double t130188=(t130052+t130125); double t142100=(t129964+0.); double t142105=(t129979+0.); double t142163=(t130183+0.); double t142168=(t130188+0.); double t142890=(t127880+t142100); double t142895=(t127895+t142105); double t142953=(t128099+t142163); double t142958=(t128104+t142168); double t143164=sqrt(t142890); double t143166=sqrt(t142890); double t143167=sqrt(t142890); double t143172=(t143166+t143167); double t143177=(t142895/t143172); double t143207=sqrt(t142890); double t143209=sqrt(t142890); double t143210=sqrt(t142890); double t143215=(t143209+t143210); double t143220=(t142895/t143215); double t143234=sqrt(t142890); double t143236=sqrt(t142890); double t143237=sqrt(t142890); double t143242=(t143236+t143237); double t143247=(t142895/t143242); double t143305=(t143207+t143234); double t143310=(t143220+t143247); double t143368=(t142953/t143305); double t143373=(t143305*t142958); double t143378=(t142953*t143310); double t143383=(t143373-t143378); double t143388=(t143305*t143305); double t143393=(t143383/t143388); double t144115=(1./t143164); double t144120=(t143164*0.); double t144125=(1.*t143177); double t144130=(t144120-t144125); double t144135=(t143164*t143164); double t144140=(t144130/t144135); double t144198=(t143164*0.); double t144203=(0.*t143177); double t144208=(t143164*0.); double t144213=(t144203+t144208); double t144271=(1.*t143368); double t144276=(t143368*0.); double t144281=(1.*t143393); double t144286=(t144276+t144281); double t144344=(t144198-t144271); double t144349=(t144213-t144286); double t144407=(t143164*t143164); double t144412=(t143164*t143177); double t144417=(t143164*t143177); double t144422=(t144412+t144417); double t144480=(t144344/t144407); double t144485=(t144407*t144349); double t144490=(t144344*t144422); double t144495=(t144485-t144490); double t144500=(t144407*t144407); double t144505=(t144495/t144500); double t156433=(t144115+0.); double t156438=(t144140+0.); double t156496=(t144480+0.); double t156501=(t144505+0.); double t157223=(t113993+t156433); double t157228=(t114018+t156438); double t157286=(t114358+t156496); double t157291=(t114383+t156501); double t168243=(a_f306_848-a_f306_856); double t168248=(a_f306_852-a_f306_860); double t168280=(0.-0.); double t168284=(0.-0.); double t170580=(a_f306_849-a_f306_857); double t170585=(a_f306_853-a_f306_861); double t170617=(0.-1.); double t170621=(0.-0.); double t173737=(t168243*t168243); double t173742=(t168243*t168248); double t173747=(t168243*t168248); double t173752=(t173742+t173747); double t173810=(t168243*t168280); double t173815=(t168280*t168248); double t173820=(t168243*t168284); double t173825=(t173815+t173820); double t173883=(t168243*t168280); double t173888=(t168280*t168248); double t173893=(t168243*t168284); double t173898=(t173888+t173893); double t173956=(t173810+t173883); double t173961=(t173825+t173898); double t175821=(t170580*t170580); double t175826=(t170580*t170585); double t175831=(t170580*t170585); double t175836=(t175826+t175831); double t175894=(t170580*t170617); double t175899=(t170617*t170585); double t175904=(t170580*t170621); double t175909=(t175899+t175904); double t175967=(t170580*t170617); double t175972=(t170617*t170585); double t175977=(t170580*t170621); double t175982=(t175972+t175977); double t176040=(t175894+t175967); double t176045=(t175909+t175982); double t187957=(t175821+0.); double t187962=(t175836+0.); double t188020=(t176040+0.); double t188025=(t176045+0.); double t188747=(t173737+t187957); double t188752=(t173752+t187962); double t188810=(t173956+t188020); double t188815=(t173961+t188025); double t189021=sqrt(t188747); double t189023=sqrt(t188747); double t189024=sqrt(t188747); double t189029=(t189023+t189024); double t189034=(t188752/t189029); double t189064=sqrt(t188747); double t189066=sqrt(t188747); double t189067=sqrt(t188747); double t189072=(t189066+t189067); double t189077=(t188752/t189072); double t189091=sqrt(t188747); double t189093=sqrt(t188747); double t189094=sqrt(t188747); double t189099=(t189093+t189094); double t189104=(t188752/t189099); double t189162=(t189064+t189091); double t189167=(t189077+t189104); double t189225=(t188810/t189162); double t189230=(t189162*t188815); double t189235=(t188810*t189167); double t189240=(t189230-t189235); double t189245=(t189162*t189162); double t189250=(t189240/t189245); double t189972=(1./t189021); double t189977=(t189021*0.); double t189982=(1.*t189034); double t189987=(t189977-t189982); double t189992=(t189021*t189021); double t189997=(t189987/t189992); double t190055=(t189021*0.); double t190060=(0.*t189034); double t190065=(t189021*0.); double t190070=(t190060+t190065); double t190128=(1.*t189225); double t190133=(t189225*0.); double t190138=(1.*t189250); double t190143=(t190133+t190138); double t190201=(t190055-t190128); double t190206=(t190070-t190143); double t190264=(t189021*t189021); double t190269=(t189021*t189034); double t190274=(t189021*t189034); double t190279=(t190269+t190274); double t190337=(t190201/t190264); double t190342=(t190264*t190206); double t190347=(t190201*t190279); double t190352=(t190342-t190347); double t190357=(t190264*t190264); double t190362=(t190352/t190357); double t198365=(a_f306_850-a_f306_856); double t198370=(a_f306_854-a_f306_860); double t198402=(0.-0.); double t198406=(0.-0.); double t200702=(a_f306_851-a_f306_857); double t200707=(a_f306_855-a_f306_861); double t200739=(0.-1.); double t200743=(0.-0.); double t203859=(t198365*t198365); double t203864=(t198365*t198370); double t203869=(t198365*t198370); double t203874=(t203864+t203869); double t203932=(t198365*t198402); double t203937=(t198402*t198370); double t203942=(t198365*t198406); double t203947=(t203937+t203942); double t204005=(t198365*t198402); double t204010=(t198402*t198370); double t204015=(t198365*t198406); double t204020=(t204010+t204015); double t204078=(t203932+t204005); double t204083=(t203947+t204020); double t205943=(t200702*t200702); double t205948=(t200702*t200707); double t205953=(t200702*t200707); double t205958=(t205948+t205953); double t206016=(t200702*t200739); double t206021=(t200739*t200707); double t206026=(t200702*t200743); double t206031=(t206021+t206026); double t206089=(t200702*t200739); double t206094=(t200739*t200707); double t206099=(t200702*t200743); double t206104=(t206094+t206099); double t206162=(t206016+t206089); double t206167=(t206031+t206104); double t218079=(t205943+0.); double t218084=(t205958+0.); double t218142=(t206162+0.); double t218147=(t206167+0.); double t218869=(t203859+t218079); double t218874=(t203874+t218084); double t218932=(t204078+t218142); double t218937=(t204083+t218147); double t219143=sqrt(t218869); double t219145=sqrt(t218869); double t219146=sqrt(t218869); double t219151=(t219145+t219146); double t219156=(t218874/t219151); double t219186=sqrt(t218869); double t219188=sqrt(t218869); double t219189=sqrt(t218869); double t219194=(t219188+t219189); double t219199=(t218874/t219194); double t219213=sqrt(t218869); double t219215=sqrt(t218869); double t219216=sqrt(t218869); double t219221=(t219215+t219216); double t219226=(t218874/t219221); double t219284=(t219186+t219213); double t219289=(t219199+t219226); double t219347=(t218932/t219284); double t219352=(t219284*t218937); double t219357=(t218932*t219289); double t219362=(t219352-t219357); double t219367=(t219284*t219284); double t219372=(t219362/t219367); double t220094=(1./t219143); double t220099=(t219143*0.); double t220104=(1.*t219156); double t220109=(t220099-t220104); double t220114=(t219143*t219143); double t220119=(t220109/t220114); double t220177=(t219143*0.); double t220182=(0.*t219156); double t220187=(t219143*0.); double t220192=(t220182+t220187); double t220250=(1.*t219347); double t220255=(t219347*0.); double t220260=(1.*t219372); double t220265=(t220255+t220260); double t220323=(t220177-t220250); double t220328=(t220192-t220265); double t220386=(t219143*t219143); double t220391=(t219143*t219156); double t220396=(t219143*t219156); double t220401=(t220391+t220396); double t220459=(t220323/t220386); double t220464=(t220386*t220328); double t220469=(t220323*t220401); double t220474=(t220464-t220469); double t220479=(t220386*t220386); double t220484=(t220474/t220479); double t232412=(t220094+0.); double t232417=(t220119+0.); double t232475=(t220459+0.); double t232480=(t220484+0.); double t233202=(t189972+t232412); double t233207=(t189997+t232417); double t233265=(t190337+t232475); double t233270=(t190362+t232480); double t233884=(-1.*t157286); double t233889=(t157286*0.); double t233894=(-1.*t157291); double t233899=(t233889+t233894); double t234189=(-1.*t233265); double t234194=(t233265*0.); double t234199=(-1.*t233270); double t234204=(t234194+t234199); double t234683=(a_f306_846*a_f306_858); double t234688=(a_f306_858*a_f306_847); double t234693=(a_f306_846*a_f306_862); double t234698=(t234688+t234693); double t234988=(a_f306_846*a_f306_859); double t234993=(a_f306_859*a_f306_847); double t234998=(a_f306_846*a_f306_863); double t235003=(t234993+t234998); double t235699=(a_f306_856+t234683); double t235704=(a_f306_860+t234698); double t236068=(a_f306_857+t234988); double t236073=(a_f306_861+t235003); int t236668=((t236068>0.)?0:1); if((t236668==0)){ if((t236668==0)){ double t238722=(a_f306_846*t233884); double t238727=(t233884*a_f306_847); double t238732=(a_f306_846*t233899); double t238737=(t238727+t238732); double t239027=(a_f306_846*t234189); double t239032=(t234189*a_f306_847); double t239037=(a_f306_846*t234204); double t239042=(t239032+t239037); double t239738=(a_f306_858+t238722); double t239743=(a_f306_862+t238737); double t240107=(a_f306_859+t239027); double t240112=(a_f306_863+t239042); double t244000; double t244001; double t244002; double t244003; double t244004; double t244005; double t244006; double t244007; double t244008; double t244009; double t244010; double t244011; double t244012; double t244013; double t244014; double t244015; double t244016; double t244017; t244000=a_f306_846; t244001=a_f306_847; t244002=a_f306_848; t244003=a_f306_849; t244004=a_f306_850; t244005=a_f306_851; t244006=a_f306_852; t244007=a_f306_853; t244008=a_f306_854; t244009=a_f306_855; t244010=t235699; t244011=t236068; t244012=t239738; t244013=t240107; t244014=t235704; t244015=t236073; t244016=t239743; t244017=t240112; f306(t244000,t244001,t244002,t244003,t244004,t244005,t244006,t244007,t244008,t244009,t244010,t244011,t244012,t244013,t244014,t244015,t244016,t244017); double t240209=r_f306_828; double t240208=r_f306_829; t243998=t240209; t243999=t240208; } else { panic("Arguments to bundle do not conform"); } } else { if((t236668==0)){ panic("Arguments to bundle do not conform"); } else { double t240940=(0.-a_f306_857); double t240945=(0.-a_f306_861); double t241550=(t240940/a_f306_859); double t241555=(a_f306_859*t240945); double t241560=(t240940*a_f306_863); double t241565=(t241555-t241560); double t241570=(a_f306_859*a_f306_859); double t241575=(t241565/t241570); double t242018=(t241550*a_f306_858); double t242023=(a_f306_858*t241575); double t242028=(t241550*a_f306_862); double t242033=(t242023+t242028); double t242323=(t241550*a_f306_859); double t242328=(a_f306_859*t241575); double t242333=(t241550*a_f306_863); double t242338=(t242328+t242333); double t243034=(a_f306_856+t242018); double t243039=(a_f306_860+t242033); double t243403=(a_f306_857+t242323); double t243408=(a_f306_861+t242338); double t243870=(t243034*t243034); double t243875=(t243034*t243039); double t243880=(t243034*t243039); double t243885=(t243875+t243880); t243998=t243870; t243999=t243885; } } r_f306_828=t243998; r_f306_829=t243999; } int main(void){ double t244019; double t244020; t244019=1000.; t244020=0.; double t244018=f193(t244019,t244020); double t243901=t244018; return 0; }