#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <gc/gc_typed.h>
#include <unistd.h>
#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 f2095(double a_f2095_276,double a_f2095_277,double a_f2095_278,double a_f2095_279);
static double r_f2095_520;
static double r_f2095_521;
static double r_f2095_522;
static double r_f2095_523;
static double r_f2095_524;
static void f2102(double a_f2102_280,double a_f2102_281,double a_f2102_282);
static double r_f2102_542;
static double r_f2102_543;
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 f2095(double a_f2095_276,double a_f2095_277,double a_f2095_278,double a_f2095_279){
double t399994;
double t399995;
double t399996;
double t399997;
double t399998;
int t70977=((a_f2095_278==0.)?0:1);
if((t70977==0)){
double t71076=(1.-a_f2095_276);
double t71168=(1.-a_f2095_277);
double t71639=(a_f2095_276+0.);
double t72781=(t71076*a_f2095_277);
double t73022=(t72781+0.);
double t74249=(t71076*t71168);
double t74490=(t74249+0.);
double t75717=(t71076*t71168);
double t75958=(t75717+0.);
double t76027=(t75958*1.);
double t76032=(t74490*t76027);
double t76037=(t73022*t76032);
double t76042=(t71639*t76037);
double t76912=(1.-a_f2095_276);
double t76916=(0.-1.);
double t78144=(1.-a_f2095_277);
double t78148=(0.-0.);
double t84909=(a_f2095_276+0.);
double t84913=(1.+0.);
double t104361=(t76912*a_f2095_277);
double t104366=(a_f2095_277*t76916);
double t104371=(t76912*0.);
double t104376=(t104366+t104371);
double t107382=(t104361+0.);
double t107386=(t104376+0.);
double t128506=(t76912*t78144);
double t128511=(t78144*t76916);
double t128516=(t76912*t78148);
double t128521=(t128511+t128516);
double t131527=(t128506+0.);
double t131531=(t128521+0.);
double t152651=(t76912*t78144);
double t152656=(t78144*t76916);
double t152661=(t76912*t78148);
double t152666=(t152656+t152661);
double t155672=(t152651+0.);
double t155676=(t152666+0.);
double t156693=(t155672*1.);
double t156698=(1.*t155676);
double t156702=(t155672*0.);
double t156707=(t156698+t156702);
double t156765=(t131527*t156693);
double t156770=(t156693*t131531);
double t156775=(t131527*t156707);
double t156780=(t156770+t156775);
double t156838=(t107382*t156765);
double t156843=(t156765*t107386);
double t156848=(t107382*t156780);
double t156853=(t156843+t156848);
double t156911=(t84909*t156838);
double t156916=(t156838*t84913);
double t156921=(t84909*t156853);
double t156926=(t156916+t156921);
double t157797=(1.-a_f2095_276);
double t157801=(0.-0.);
double t159029=(1.-a_f2095_277);
double t159033=(0.-1.);
double t165794=(a_f2095_276+0.);
double t165798=(0.+0.);
double t185246=(t157797*a_f2095_277);
double t185251=(a_f2095_277*t157801);
double t185256=(t157797*1.);
double t185261=(t185251+t185256);
double t188267=(t185246+0.);
double t188271=(t185261+0.);
double t209391=(t157797*t159029);
double t209396=(t159029*t157801);
double t209401=(t157797*t159033);
double t209406=(t209396+t209401);
double t212412=(t209391+0.);
double t212416=(t209406+0.);
double t233536=(t157797*t159029);
double t233541=(t159029*t157801);
double t233546=(t157797*t159033);
double t233551=(t233541+t233546);
double t236557=(t233536+0.);
double t236561=(t233551+0.);
double t237578=(t236557*1.);
double t237583=(1.*t236561);
double t237587=(t236557*0.);
double t237592=(t237583+t237587);
double t237650=(t212412*t237578);
double t237655=(t237578*t212416);
double t237660=(t212412*t237592);
double t237665=(t237655+t237660);
double t237723=(t188267*t237650);
double t237728=(t237650*t188271);
double t237733=(t188267*t237665);
double t237738=(t237728+t237733);
double t237796=(t165794*t237723);
double t237801=(t237723*t165798);
double t237806=(t165794*t237738);
double t237811=(t237801+t237806);
t399994=a_f2095_276;
t399995=a_f2095_277;
t399996=t76042;
t399997=t156926;
t399998=t237811;
}
 else {
double t238720=(1.-a_f2095_276);
double t238724=(0.-1.);
double t239952=(1.-a_f2095_277);
double t239956=(0.-0.);
double t246717=(a_f2095_276+0.);
double t246721=(1.+0.);
double t266169=(t238720*a_f2095_277);
double t266174=(a_f2095_277*t238724);
double t266179=(t238720*0.);
double t266184=(t266174+t266179);
double t269190=(t266169+0.);
double t269194=(t266184+0.);
double t290314=(t238720*t239952);
double t290319=(t239952*t238724);
double t290324=(t238720*t239956);
double t290329=(t290319+t290324);
double t293335=(t290314+0.);
double t293339=(t290329+0.);
double t314459=(t238720*t239952);
double t314464=(t239952*t238724);
double t314469=(t238720*t239956);
double t314474=(t314464+t314469);
double t317480=(t314459+0.);
double t317484=(t314474+0.);
double t318501=(t317480*1.);
double t318506=(1.*t317484);
double t318510=(t317480*0.);
double t318515=(t318506+t318510);
double t318573=(t293335*t318501);
double t318578=(t318501*t293339);
double t318583=(t293335*t318515);
double t318588=(t318578+t318583);
double t318646=(t269190*t318573);
double t318651=(t318573*t269194);
double t318656=(t269190*t318588);
double t318661=(t318651+t318656);
double t318719=(t246717*t318646);
double t318724=(t318646*t246721);
double t318729=(t246717*t318661);
double t318734=(t318724+t318729);
double t319605=(1.-a_f2095_276);
double t319609=(0.-0.);
double t320837=(1.-a_f2095_277);
double t320841=(0.-1.);
double t327602=(a_f2095_276+0.);
double t327606=(0.+0.);
double t347054=(t319605*a_f2095_277);
double t347059=(a_f2095_277*t319609);
double t347064=(t319605*1.);
double t347069=(t347059+t347064);
double t350075=(t347054+0.);
double t350079=(t347069+0.);
double t371199=(t319605*t320837);
double t371204=(t320837*t319609);
double t371209=(t319605*t320841);
double t371214=(t371204+t371209);
double t374220=(t371199+0.);
double t374224=(t371214+0.);
double t395344=(t319605*t320837);
double t395349=(t320837*t319609);
double t395354=(t319605*t320841);
double t395359=(t395349+t395354);
double t398365=(t395344+0.);
double t398369=(t395359+0.);
double t399386=(t398365*1.);
double t399391=(1.*t398369);
double t399395=(t398365*0.);
double t399400=(t399391+t399395);
double t399458=(t374220*t399386);
double t399463=(t399386*t374224);
double t399468=(t374220*t399400);
double t399473=(t399463+t399468);
double t399531=(t350075*t399458);
double t399536=(t399458*t350079);
double t399541=(t350075*t399473);
double t399546=(t399536+t399541);
double t399604=(t327602*t399531);
double t399609=(t399531*t327606);
double t399614=(t327602*t399546);
double t399619=(t399609+t399614);
double t399686=(a_f2095_279*t318734);
double t399691=(a_f2095_276+t399686);
double t399736=(a_f2095_279*t399619);
double t399741=(a_f2095_277+t399736);
double t399753=(a_f2095_278-1.);
double t399999;
double t400000;
double t400001;
double t400002;
t399999=t399691;
t400000=t399741;
t400001=t399753;
t400002=a_f2095_279;
f2095(t399999,t400000,t400001,t400002);
double t399769=r_f2095_520;
double t399768=r_f2095_521;
double t399767=r_f2095_522;
double t399766=r_f2095_523;
double t399765=r_f2095_524;
t399994=t399769;
t399995=t399768;
t399996=t399767;
t399997=t399766;
t399998=t399765;
}
r_f2095_520=t399994;
r_f2095_521=t399995;
r_f2095_522=t399996;
r_f2095_523=t399997;
r_f2095_524=t399998;
}
static void f2102(double a_f2102_280,double a_f2102_281,double a_f2102_282){
double t400003;
double t400004;
int t399844=((a_f2102_280==0.)?0:1);
if((t399844==0)){
t400003=a_f2102_281;
t400004=a_f2102_282;
}
 else {
double t400005;
double t400006;
double t400007;
double t400008;
t400005=0.5;
t400006=0.5;
t400007=1000.;
t400008=0.1;
f2095(t400005,t400006,t400007,t400008);
double t399890=r_f2095_520;
double t399889=r_f2095_521;
double t399888=r_f2095_522;
double t399887=r_f2095_523;
double t399886=r_f2095_524;
double t399900=(a_f2102_280-1.);
double t399927=write_real(t399890);
double t399967=write_real(t399889);
double t400009;
double t400010;
double t400011;
t400009=t399900;
t400010=t399927;
t400011=t399967;
f2102(t400009,t400010,t400011);
double t399975=r_f2102_542;
double t399974=r_f2102_543;
t400003=t399975;
t400004=t399974;
}
r_f2102_542=t400003;
r_f2102_543=t400004;
}
int main(void){
double t400012;
double t400013;
double t400014;
t400012=100000.;
t400013=0.;
t400014=0.;
f2102(t400012,t400013,t400014);
double t399993=r_f2102_542;
double t399992=r_f2102_543;
return 0;
}