#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 void f151(double a_f151_1450,double a_f151_1451,double a_f151_1452,double a_f151_1453,double a_f151_1454,double a_f151_1455,double a_f151_1456,double a_f151_1457,double a_f151_1458); static double r_f151_1872; static double r_f151_1873; static void f176(double a_f176_1461,double a_f176_1462,double a_f176_1463,double a_f176_1464,double a_f176_1465,double a_f176_1466,double a_f176_1467,double a_f176_1468,double a_f176_1469); static double r_f176_1950; static double r_f176_1951; static void f177(double a_f177_2899,double a_f177_2900,double a_f177_2903,double a_f177_2904,double a_f177_2905,double a_f177_2906,double a_f177_2907,double a_f177_2908,double a_f177_2909); static double r_f177_2028; static double r_f177_2029; static void f192(double a_f192_1481,double a_f192_1482,double a_f192_1483,double a_f192_1484,double a_f192_1485); static double r_f192_2373; static double r_f192_2374; static double r_f192_2375; static double r_f192_2376; static void f246(double a_f246_2919,double a_f246_2920,double a_f246_2921,double a_f246_2922,double a_f246_2923,double a_f246_2924,double a_f246_2925,double a_f246_2926,double a_f246_2927,double a_f246_2928,double a_f246_2929,double a_f246_2930,double a_f246_2931,double a_f246_2932,double a_f246_2933,double a_f246_2934,double a_f246_2935,double a_f246_2936); static double r_f246_2621; static double r_f246_2622; static double r_f246_2623; static double r_f246_2624; static void f252(double a_f252_1512,double a_f252_1513,double a_f252_1514,double a_f252_1515,double a_f252_1516,double a_f252_1517,double a_f252_1518,double a_f252_1519,double a_f252_1520,double a_f252_1521,double a_f252_1522,double a_f252_1523,double a_f252_1524,double a_f252_1525,double a_f252_1526,double a_f252_1527); static double r_f252_2873; static double r_f252_2874; static double r_f252_2875; static double r_f252_2876; 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 void f151(double a_f151_1450,double a_f151_1451,double a_f151_1452,double a_f151_1453,double a_f151_1454,double a_f151_1455,double a_f151_1456,double a_f151_1457,double a_f151_1458){ double t364660; double t364661; double t24360=(a_f151_1455*a_f151_1455); double t24376=(a_f151_1456*a_f151_1456); double t24453=(t24376+0.); double t24458=(t24360+t24453); double t24459=sqrt(t24458); int t24465=((t24459<=1e-05)?0:1); if((t24465==0)){ t364660=a_f151_1452; t364661=a_f151_1453; } else { int t24584=((a_f151_1458==10.)?0:1); if((t24584==0)){ double t24739=(2.*a_f151_1457); double t364664; double t364665; double t364666; double t364667; double t364668; double t364669; double t364670; double t364671; double t364672; t364664=a_f151_1450; t364665=a_f151_1451; t364666=a_f151_1452; t364667=a_f151_1453; t364668=a_f151_1454; t364669=a_f151_1455; t364670=a_f151_1456; t364671=t24739; t364672=0.; f151(t364664,t364665,t364666,t364667,t364668,t364669,t364670,t364671,t364672); double t24760=r_f151_1872; double t24759=r_f151_1873; t364660=t24760; t364661=t24759; } else { double t24840=(a_f151_1457*a_f151_1455); double t24866=(a_f151_1457*a_f151_1456); double t24921=(a_f151_1452-t24840); double t24952=(a_f151_1453-t24866); double t25024=(t24921-a_f151_1452); double t25055=(t24952-a_f151_1453); double t25083=(t25024*t25024); double t25099=(t25055*t25055); double t25176=(t25099+0.); double t25181=(t25083+t25176); double t25182=sqrt(t25181); int t25188=((t25182<=1e-05)?0:1); if((t25188==0)){ t364660=a_f151_1452; t364661=a_f151_1453; } else { double t25419=(t24921*t24921); double t25424=(t24952*t24952); double t25429=(t25419+t25424); double t25434=(a_f151_1450*a_f151_1450); double t25439=(a_f151_1451*a_f151_1451); double t25444=(t25434+t25439); double t25449=(t25429-t25444); double t25454=(0.-t25449); double t25594=(t24921*t24921); double t25641=(t24952*t24952); double t25688=(t25594+t25641); double t25706=(a_f151_1450*a_f151_1450); double t25753=(a_f151_1451*a_f151_1451); double t25800=(t25706+t25753); double t25818=(t25688-t25800); double t26181=(0.-t25818); double t26479=(0.-1.); double t26506=(0.+1.); double t26513=(0.+t26479); double t26540=(0.+t26506); double t26547=(0.+t26513); double t26789=(0.-t26547); double t26816=(0.+t26547); double t26823=(0.+t26789); double t26850=(0.+t26816); double t26857=(0.+t26823); double t26898=(0.+t26857); double t26905=(0.+t26857); double t26932=(0.+t26898); double t26939=(0.+t26905); double t26982=(a_f151_1451*t26939); double t26989=(a_f151_1451*t26939); double t27016=(0.+t26982); double t27023=(0.+t26989); double t27050=(0.+t27016); double t27057=(0.+t27023); double t27076=(0.+t27057); double t27088=(t27076+t27050); double t27102=(0.+t27088); double t27114=(0.+t27102); double t27146=(a_f151_1450*t26932); double t27153=(a_f151_1450*t26932); double t27180=(0.+t27146); double t27187=(0.+t27153); double t27214=(0.+t27180); double t27221=(0.+t27187); double t27240=(0.+t27221); double t27252=(t27240+t27214); double t27266=(0.+t27252); double t27278=(0.+t27266); double t27308=(0.+t26850); double t27315=(0.+t26850); double t27342=(0.+t27308); double t27349=(0.+t27315); double t27392=(t24952*t27349); double t27399=(t24952*t27349); double t27426=(0.+t27392); double t27433=(0.+t27399); double t27460=(0.+t27426); double t27467=(0.+t27433); double t27486=(0.+t27467); double t27498=(t27486+t27460); double t27512=(0.+t27498); double t27524=(0.+t27512); double t27556=(t24921*t27342); double t27563=(t24921*t27342); double t27590=(0.+t27556); double t27597=(0.+t27563); double t27624=(0.+t27590); double t27631=(0.+t27597); double t27650=(0.+t27631); double t27662=(t27650+t27624); double t27676=(0.+t27662); double t27688=(0.+t27676); double t27765=(0.+t27688); double t27783=(0.+t27524); double t27797=(0.+t27278); double t27804=(0.+t27114); double t27858=(0.+t27765); double t27876=(0.+t27783); double t27890=(0.+t27797); double t27897=(0.+t27804); double t27946=(0.+t27876); double t27960=(0.+t27890); double t27967=(0.+t27897); double t28002=(0.+t27960); double t28009=(0.+t27967); double t28028=(0.+t28009); double t28036=(0.+t28002); double t28044=(0.+t27946); double t28052=(0.+t27858); double t28111=(0.+t28052); double t28118=(0.+t28044); double t28135=(0.+t28036); double t28145=(0.+t28028); double t28191=(0.+t28135); double t28201=(0.+t28145); double t28218=(0.+t28111); double t28229=(0.+t28118); double t28245=(0.+t26540); double t364675; double t364676; double t364677; double t364678; double t364679; double t364680; double t364681; double t364682; double t364683; t364675=t24921; t364676=t24952; t364677=a_f151_1450; t364678=a_f151_1451; t364679=t25454; t364680=t28191; t364681=t28201; t364682=1e-05; t364683=0.; f176(t364675,t364676,t364677,t364678,t364679,t364680,t364681,t364682,t364683); double t28302=r_f176_1950; double t28301=r_f176_1951; double t28338=(t24921*t24921); double t28343=(t24952*t24952); double t28348=(t28338+t28343); double t28353=(t28302*t28302); double t28358=(t28301*t28301); double t28363=(t28353+t28358); double t28368=(t28348-t28363); int t28374=((t28368