\[\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-9734026985683}{25270160017} \cdot {x}^{32} - \left(\frac{170362215983575}{25270160017} \cdot {x}^{31}\right) \cdot y\right) - \left(\frac{1475564873542140}{25270160017} \cdot {x}^{30}\right) \cdot {y}^{2}\right) - \left(\frac{8413070466436119}{25270160017} \cdot {x}^{29}\right) \cdot {y}^{3}\right) - \left(\frac{35445894020939800}{25270160017} \cdot {x}^{28}\right) \cdot {y}^{4}\right) - \left(\frac{117469059214803010}{25270160017} \cdot {x}^{27}\right) \cdot {y}^{5}\right) - \left(\frac{318336235020616000}{25270160017} \cdot {x}^{26}\right) \cdot {y}^{6}\right) - \left(\frac{724150208730235008}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{7}\right) - \left(\frac{1408778713387588600}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{8}\right) - \left(\frac{2376226420806389800}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{9}\right) - \left(\frac{3511157096158590000}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{10}\right) - \left(\frac{4580850165969148900}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{11}\right) - \left(\frac{5308573904260914180}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{12}\right) - \left(\frac{5489139685460630530}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{13}\right) - \left(\frac{5081051705884279810}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{14}\right) - \left(\frac{4219870349570956300}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{15}\right) - \left(\frac{3148524145367669800}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{16}\right) - \left(\frac{2111364801521343500}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{17}\right) - \left(\frac{1271985019329969920}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{18}\right) - \left(\frac{687538215543111940}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{19}\right) - \left(\frac{332686090021503000}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{20}\right) - \left(\frac{143637243658263568}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{21}\right) - \left(\frac{55085261364845592}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{22}\right) - \left(\frac{18652503687740440}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{23}\right) - \left(\frac{5532944364062720}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{24}\right) - \left(\frac{1423004884578820}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{25}\right) - \left(\frac{312988206731904}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{26}\right) - \left(\frac{57786926552608}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{27}\right) - \left(\frac{8724413613443}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{28}\right) - \left(\frac{1036069893474}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{29}\right) - \left(\frac{636436465104}{176891120119} \cdot {x}^{2}\right) \cdot {y}^{30}\right) - \left(\frac{131303454502}{631754000425} \cdot x\right) \cdot {y}^{31}\right) - \frac{16666430330}{2804987761887} \cdot {y}^{32}\right) - \frac{2489693170085}{25270160017} \cdot {x}^{31}\right) - \left(\frac{308698811052951}{25270160017} \cdot {x}^{30}\right) \cdot y\right) - \left(\frac{4696169980326935}{25270160017} \cdot {x}^{29}\right) \cdot {y}^{2}\right) - \left(\frac{34880756381981720}{25270160017} \cdot {x}^{28}\right) \cdot {y}^{3}\right) - \left(\frac{164651670438740000}{25270160017} \cdot {x}^{27}\right) \cdot {y}^{4}\right) - \left(\frac{555823060225360000}{25270160017} \cdot {x}^{26}\right) \cdot {y}^{5}\right) - \left(\frac{1436222968172120100}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{6}\right) - \left(\frac{2972202299900910600}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{7}\right) - \left(\frac{5094228566164462590}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{8}\right) - \left(\frac{7430028039511079940}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{9}\right) - \left(\frac{9437118576671678500}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{10}\right) - \left(\frac{10645151299647136000}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{11}\right) - \left(\frac{637038969228181888}{1486480001} \cdot {x}^{19}\right) \cdot {y}^{12}\right) - \left(\frac{10035197408662499000}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{13}\right) - \left(\frac{8502630072690150400}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{14}\right) - \left(\frac{6578653735726090200}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{15}\right) - \left(\frac{4627855171766979580}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{16}\right) - \left(\frac{2944289445241679900}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{17}\right) - \left(\frac{1686027113942047700}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{18}\right) - \left(\frac{865824326097042940}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{19}\right) - \left(\frac{397642664118148100}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{20}\right) - \left(\frac{162942040094039072}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{21}\right) - \left(\frac{59399849157647384}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{22}\right) - \left(\frac{19173864847981592}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{23}\right) - \left(\frac{5437055567144960}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{24}\right) - \left(\frac{1337246625358340}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{25}\right) - \left(\frac{279796757476247}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{26}\right) - \left(\frac{48405816731767}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{27}\right) - \left(\frac{6638770569332}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{28}\right) - \left(\frac{675575174747}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{29}\right) - \left(\frac{271668695705}{151620960102} \cdot x\right) \cdot {y}^{30}\right) - \frac{67399906849}{1137157200765} \cdot {y}^{31}\right) - \frac{40757234250887}{25270160017} \cdot {x}^{30}\right) - \left(\frac{1382957779540480}{25270160017} \cdot {x}^{29}\right) \cdot y\right) - \left(\frac{15994462295105500}{25270160017} \cdot {x}^{28}\right) \cdot {y}^{2}\right) - \left(\frac{97984554960748496}{25270160017} \cdot {x}^{27}\right) \cdot {y}^{3}\right) - \left(\frac{384274451102563970}{25270160017} \cdot {x}^{26}\right) \cdot {y}^{4}\right) - \left(\frac{1065713334704757800}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{5}\right) - \left(\frac{2215928822255060000}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{6}\right) - \left(\frac{210618030221160000}{1486480001} \cdot {x}^{23}\right) \cdot {y}^{7}\right) - \left(\frac{4586679305465060400}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{8}\right) - \left(\frac{4675156568153520100}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{9}\right) - \left(\frac{3694288356551690200}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{10}\right) - \left(\frac{1999380550830259970}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{11}\right) - \left(\frac{201760780115377980}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{12}\right) + \left(\frac{69247895415030000}{1486480001} \cdot {x}^{17}\right) \cdot {y}^{13}\right) + \left(\frac{1898683997455650050}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{14}\right) + \left(\frac{2001120397223790100}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{15}\right) + \left(\frac{1688338624150500100}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{16}\right) + \left(\frac{1203278560001350700}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{17}\right) + \left(\frac{736654630526475260}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{18}\right) + \left(\frac{387990195820518400}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{19}\right) + \left(\frac{174450278358342688}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{20}\right) + \left(\frac{65853048755641368}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{21}\right) + \left(\frac{20252995054313500}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{22}\right) + \left(\frac{281297733179815}{1486480001} \cdot {x}^{7}\right) \cdot {y}^{23}\right) + \left(\frac{738216374637335}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{24}\right) + \left(\frac{17371698359279}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{25}\right) - \left(\frac{28315601966608}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{26}\right) - \left(\frac{9090025353123}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{27}\right) - \left(\frac{1528054932470}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{28}\right) - \left(\frac{438814109294}{75810480051} \cdot x\right) \cdot {y}^{29}\right) - \frac{25421496969}{101080640068} \cdot {y}^{30}\right) - \frac{161780550083031}{25270160017} \cdot {x}^{29}\right) - \left(\frac{3519656307402750}{25270160017} \cdot {x}^{28}\right) \cdot y\right) - \left(\frac{1899603385270300}{1486480001} \cdot {x}^{27}\right) \cdot {y}^{2}\right) - \left(\frac{161325814365314080}{25270160017} \cdot {x}^{26}\right) \cdot {y}^{3}\right) - \left(\frac{502938317357931520}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{4}\right) - \left(\frac{1038595838396947500}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{5}\right) - \left(\frac{1395780042531269890}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{6}\right) - \left(\frac{940504289190084992}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{7}\right) + \left(\frac{685371209762561020}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{8}\right) + \left(\frac{3118213348818246700}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{9}\right) + \left(\frac{5511126036502280200}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{10}\right) + \left(\frac{7204746524083969020}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{11}\right) + \left(\frac{8044508147429149700}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{12}\right) + \left(\frac{8129869384471632900}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{13}\right) + \left(\frac{7519321217275354110}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{14}\right) + \left(\frac{6274759568966809600}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{15}\right) + \left(\frac{272656267440112032}{1486480001} \cdot {x}^{13}\right) \cdot {y}^{16}\right) + \left(\frac{2989499662128379900}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{17}\right) + \left(\frac{1670453526487109890}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{18}\right) + \left(\frac{804961939004939260}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{19}\right) + \left(\frac{332890325749554180}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{20}\right) + \left(\frac{117134954045135888}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{21}\right) + \left(\frac{34510998143507480}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{22}\right) + \left(\frac{8270945099681790}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{23}\right) + \left(\frac{1529188651088380}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{24}\right) + \left(\frac{194634974407808}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{25}\right) + \left(\frac{11234324019875}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{26}\right) - \left(\frac{1115810426269}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{27}\right) - \left(\frac{275925617286}{25270160017} \cdot x\right) \cdot {y}^{28}\right) - \frac{453843303221}{657024160442} \cdot {y}^{29}\right) - \frac{189258070847296}{25270160017} \cdot {x}^{28}\right) - \left(\frac{3809937548527620}{25270160017} \cdot {x}^{27}\right) \cdot y\right) - \left(\frac{33531546150050840}{25270160017} \cdot {x}^{26}\right) \cdot {y}^{2}\right) - \left(\frac{158156750034371010}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{3}\right) - \left(\frac{462737540585356992}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{4}\right) - \left(\frac{911202734364425980}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{5}\right) - \left(\frac{1270191632013679600}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{6}\right) - \left(\frac{1347755236328470000}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{7}\right) - \left(\frac{1358476128691950100}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{8}\right) - \left(\frac{1816008589883470080}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{9}\right) - \left(\frac{2875641385698024400}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{10}\right) - \left(\frac{3948402733490461700}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{11}\right) - \left(\frac{4204626977860181000}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{12}\right) - \left(\frac{200310514895550020}{1486480001} \cdot {x}^{15}\right) \cdot {y}^{13}\right) - \left(\frac{2074344570477349900}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{14}\right) - \left(\frac{54268589668385192}{1486480001} \cdot {x}^{13}\right) \cdot {y}^{15}\right) - \left(\frac{279552657509712000}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{16}\right) - \left(\frac{50980118560824344}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{17}\right) - \left(\frac{8603607064841239}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{18}\right) - \left(\frac{7173878129396759}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{19}\right) - \left(\frac{4769773784213500}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{20}\right) - \left(\frac{85188450693632}{1486480001} \cdot {x}^{7}\right) \cdot {y}^{21}\right) - \left(\frac{39580777907792}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{22}\right) + \left(\frac{110398947785280}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{23}\right) + \left(\frac{26680031582864}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{24}\right) - \left(\frac{3226197991082}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{25}\right) - \left(\frac{2744759773602}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{26}\right) - \left(\frac{1066341523951}{50540320034} \cdot x\right) \cdot {y}^{27}\right) - \frac{264474140898}{176891120119} \cdot {y}^{28}\right) - \frac{253114922197632}{25270160017} \cdot {x}^{27}\right) - \left(\frac{3556196687942679}{25270160017} \cdot {x}^{26}\right) \cdot y\right) - \left(\frac{24498690810789900}{25270160017} \cdot {x}^{25}\right) \cdot {y}^{2}\right) - \left(\frac{104105401382624272}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{3}\right) - \left(\frac{319906138039999490}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{4}\right) - \left(\frac{799353130217724930}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{5}\right) - \left(\frac{1734425118130658300}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{6}\right) - \left(\frac{3308842674401926100}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{7}\right) - \left(\frac{5482680762683620350}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{8}\right) - \left(\frac{7815382898315451390}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{9}\right) - \left(\frac{9586656411962662900}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{10}\right) - \left(\frac{10189153818403496000}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{11}\right) - \left(\frac{9480509710336520200}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{12}\right) - \left(\frac{7824475698113895420}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{13}\right) - \left(\frac{5820072298578795520}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{14}\right) - \left(\frac{3960013918895692800}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{15}\right) - \left(\frac{2475862060327590900}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{16}\right) - \left(\frac{1402890333149813800}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{17}\right) - \left(\frac{698794890893721984}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{18}\right) - \left(\frac{294422130437259010}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{19}\right) - \left(\frac{100736516347462000}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{20}\right) - \left(\frac{26771554961726488}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{21}\right) - \left(\frac{5220711373768700}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{22}\right) - \left(\frac{684856445405440}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{23}\right) - \left(\frac{52252816930336}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{24}\right) - \left(\frac{2300261719173}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{25}\right) - \left(\frac{297227690947}{25270160017} \cdot x\right) \cdot {y}^{26}\right) - \frac{223943695657}{151620960102} \cdot {y}^{27}\right) - \frac{299687222360471}{25270160017} \cdot {x}^{26}\right) - \left(\frac{1961879912294423}{25270160017} \cdot {x}^{25}\right) \cdot y\right) + \left(\frac{3542142414604290}{25270160017} \cdot {x}^{24}\right) \cdot {y}^{2}\right) + \left(\frac{64013765048172496}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{3}\right) + \left(\frac{257815323151040992}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{4}\right) + \left(\frac{574034402447547390}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{5}\right) + \left(\frac{818691588289551360}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{6}\right) + \left(\frac{47125122475622000}{1486480001} \cdot {x}^{19}\right) \cdot {y}^{7}\right) + \left(\frac{633752714392460290}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{8}\right) + \left(\frac{630462610667297790}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{9}\right) + \left(\frac{851997779889314820}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{10}\right) + \left(\frac{985529121799405952}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{11}\right) + \left(\frac{1120647375002551}{37548529} \cdot {x}^{14}\right) \cdot {y}^{12}\right) + \left(\frac{248309660232843010}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{13}\right) - \left(\frac{219767489490976992}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{14}\right) - \left(\frac{437770417799519230}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{15}\right) - \left(\frac{410775280721068000}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{16}\right) - \left(\frac{266618366576427000}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{17}\right) - \left(\frac{125998628127179010}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{18}\right) - \left(\frac{41428519831683104}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{19}\right) - \left(\frac{7561335152611330}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{20}\right) + \left(\frac{471532205373207}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{21}\right) + \left(\frac{770612491821568}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{22}\right) + \left(\frac{238161337884800}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{23}\right) + \left(\frac{37614407620295}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{24}\right) + \left(\frac{2863827842249}{25270160017} \cdot x\right) \cdot {y}^{25}\right) + \frac{417992076590}{176891120119} \cdot {y}^{26}\right) + \frac{459200406317312}{25270160017} \cdot {x}^{25}\right) + \left(\frac{6626339265547287}{25270160017} \cdot {x}^{24}\right) \cdot y\right) + \left(\frac{56276640337943576}{25270160017} \cdot {x}^{23}\right) \cdot {y}^{2}\right) + \left(\frac{271828117953141792}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{3}\right) + \left(\frac{840661400512102016}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{4}\right) + \left(\frac{1846246223182388200}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{5}\right) + \left(\frac{3136335502888670200}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{6}\right) + \left(\frac{4446873397219122200}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{7}\right) + \left(\frac{5582983374468809730}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{8}\right) + \left(\frac{6355514604730276860}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{9}\right) + \left(\frac{6481604319002057730}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{10}\right) + \left(\frac{340622778133463488}{1486480001} \cdot {x}^{14}\right) \cdot {y}^{11}\right) + \left(\frac{4491405615962259970}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{12}\right) + \left(\frac{3061650774373170200}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{13}\right) + \left(\frac{1885429395381809920}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{14}\right) + \left(\frac{1076875729442439900}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{15}\right) + \left(\frac{574271879333020030}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{16}\right) + \left(\frac{281367208908160992}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{17}\right) + \left(\frac{123191257024496000}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{18}\right) + \left(\frac{46668338337684504}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{19}\right) + \left(\frac{14699595983069200}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{20}\right) + \left(\frac{3646590795093015}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{21}\right) + \left(\frac{659154243796224}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{22}\right) + \left(\frac{76535384871671}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{23}\right) + \left(\frac{4331006595069}{25270160017} \cdot x\right) \cdot {y}^{24}\right) + \frac{17830697949}{25270160017} \cdot {y}^{25}\right) + \frac{758493281759488}{25270160017} \cdot {x}^{24}\right) + \left(\frac{9277836232101890}{25270160017} \cdot {x}^{23}\right) \cdot y\right) + \left(\frac{53544172799450136}{25270160017} \cdot {x}^{22}\right) \cdot {y}^{2}\right) + \left(\frac{189675137337196990}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{3}\right) + \left(\frac{455294744951348220}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{4}\right) + \left(\frac{791637257189153790}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{5}\right) + \left(\frac{1071769812883469950}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{6}\right) + \left(\frac{1233096182046650110}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{7}\right) + \left(\frac{1298789305911079900}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{8}\right) + \left(\frac{1267335929248963600}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{9}\right) + \left(\frac{1104303165089078300}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{10}\right) + \left(\frac{851867057810571010}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{11}\right) + \left(\frac{625762315654749180}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{12}\right) + \left(\frac{28514676123107000}{1486480001} \cdot {x}^{11}\right) \cdot {y}^{13}\right) + \left(\frac{387277811883662340}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{14}\right) + \left(\frac{280660571510144992}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{15}\right) + \left(\frac{167200972891773984}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{16}\right) + \left(\frac{77968399504432144}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{17}\right) + \left(\frac{27413272238702600}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{18}\right) + \left(\frac{6759811243986940}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{19}\right) + \left(\frac{53228620876288}{1486480001} \cdot {x}^{4}\right) \cdot {y}^{20}\right) - \left(\frac{59962740572064}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{21}\right) - \left(\frac{56033746758176}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{22}\right) - \left(\frac{10973789743620}{25270160017} \cdot x\right) \cdot {y}^{23}\right) - \frac{815825462760}{25270160017} \cdot {y}^{24}\right) - \frac{161683027004631}{25270160017} \cdot {x}^{23}\right) - \left(\frac{425657988041495}{25270160017} \cdot {x}^{22}\right) \cdot y\right) - \left(\frac{9657967732379650}{25270160017} \cdot {x}^{21}\right) \cdot {y}^{2}\right) - \left(\frac{72581358060624912}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{3}\right) - \left(\frac{278472308207780000}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{4}\right) - \left(\frac{690979084153216000}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{5}\right) - \left(\frac{1235615595489745900}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{6}\right) - \left(\frac{100047614964140000}{1486480001} \cdot {x}^{16}\right) \cdot {y}^{7}\right) - \left(\frac{1905429032459131900}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{8}\right) - \left(\frac{1830665160554970100}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{9}\right) - \left(\frac{1564704644196293600}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{10}\right) - \left(\frac{1197234789615670020}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{11}\right) - \left(\frac{807048726840868992}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{12}\right) - \left(\frac{475340914977233920}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{13}\right) - \left(\frac{251577128201444384}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{14}\right) - \left(\frac{127791466485668880}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{15}\right) - \left(\frac{65185545053438000}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{16}\right) - \left(\frac{32054665228140500}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{17}\right) - \left(\frac{13887500253372400}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{18}\right) - \left(\frac{4910446821315607}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{19}\right) - \left(\frac{1334737350937111}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{20}\right) - \left(\frac{259902619703936}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{21}\right) - \left(\frac{32091133895623}{25270160017} \cdot x\right) \cdot {y}^{22}\right) - \frac{1874404171057}{25270160017} \cdot {y}^{23}\right) - \frac{450890755665152}{25270160017} \cdot {x}^{22}\right) - \left(\frac{5251473095586839}{25270160017} \cdot {x}^{21}\right) \cdot y\right) - \left(\frac{32457358025432088}{25270160017} \cdot {x}^{20}\right) \cdot {y}^{2}\right) - \left(\frac{122926670958844944}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{3}\right) - \left(\frac{307161179209465980}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{4}\right) - \left(\frac{537420306868076992}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{5}\right) - \left(\frac{691189323379072000}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{6}\right) - \left(\frac{685917130952278000}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{7}\right) - \left(\frac{563574113284480000}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{8}\right) - \left(\frac{427325546179681280}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{9}\right) - \left(\frac{330199146858937980}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{10}\right) - \left(\frac{260937959652940832}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{11}\right) - \left(\frac{199674833236263008}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{12}\right) - \left(\frac{143452828817228000}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{13}\right) - \left(\frac{95046844298091536}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{14}\right) - \left(\frac{55963816049826840}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{15}\right) - \left(\frac{27891832196635672}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{16}\right) - \left(\frac{11306952090569752}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{17}\right) - \left(\frac{3628613881287703}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{18}\right) - \left(\frac{897542781938176}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{19}\right) - \left(\frac{162621780735447}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{20}\right) - \left(\frac{19205375951784}{25270160017} \cdot x\right) \cdot {y}^{21}\right) - \frac{1094139522179}{25270160017} \cdot {y}^{22}\right) + \frac{62072199065591}{25270160017} \cdot {x}^{21}\right) - \left(\frac{1209499194589719}{25270160017} \cdot {x}^{20}\right) \cdot y\right) - \left(\frac{7218555424885783}{25270160017} \cdot {x}^{19}\right) \cdot {y}^{2}\right) - \left(\frac{14591719900291100}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{3}\right) + \left(\frac{3176956149295100}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{4}\right) + \left(\frac{84710216679587808}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{5}\right) + \left(\frac{224412398147558432}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{6}\right) + \left(\frac{343140796165217280}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{7}\right) + \left(\frac{358713262344199170}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{8}\right) + \left(\frac{274082349652597792}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{9}\right) + \left(\frac{161608562764176416}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{10}\right) + \left(\frac{79680219841069104}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{11}\right) + \left(\frac{36994066480250896}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{12}\right) + \left(\frac{18213700843413500}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{13}\right) + \left(\frac{10236182543274000}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{14}\right) + \left(\frac{6394057770766340}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{15}\right) + \left(\frac{3772562781238295}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{16}\right) + \left(\frac{1772304172762110}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{17}\right) + \left(\frac{597364397033239}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{18}\right) + \left(\frac{134130932274240}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{19}\right) + \left(\frac{18091330279759}{25270160017} \cdot x\right) \cdot {y}^{20}\right) + \frac{1125987080691}{25270160017} \cdot {y}^{21}\right) + \frac{106501720260672}{25270160017} \cdot {x}^{20}\right) + \left(\frac{847346159272448}{25270160017} \cdot {x}^{19}\right) \cdot y\right) + \left(\frac{5494455255787520}{25270160017} \cdot {x}^{18}\right) \cdot {y}^{2}\right) + \left(\frac{24310699713011700}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{3}\right) + \left(\frac{68609652925169696}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{4}\right) + \left(\frac{128255943335280990}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{5}\right) + \left(\frac{162787444183292960}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{6}\right) + \left(\frac{139012366127923010}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{7}\right) + \left(\frac{75228754632278000}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{8}\right) + \left(\frac{23139938783993900}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{9}\right) + \left(\frac{9179951622622232}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{10}\right) + \left(\frac{17375912128323600}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{11}\right) + \left(\frac{23349153093623800}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{12}\right) + \left(\frac{20196319523093528}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{13}\right) + \left(\frac{13071456698212400}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{14}\right) + \left(\frac{6819154915560471}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{15}\right) + \left(\frac{2863383522773015}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{16}\right) + \left(\frac{915609759250967}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{17}\right) + \left(\frac{12056166613799}{1486480001} \cdot {x}^{2}\right) \cdot {y}^{18}\right) + \left(\frac{28339663362384}{25270160017} \cdot x\right) \cdot {y}^{19}\right) + \frac{1822029715473}{25270160017} \cdot {y}^{20}\right) - \frac{4403060145671}{1486480001} \cdot {x}^{19}\right) + \left(\frac{20721611735880}{25270160017} \cdot {x}^{18}\right) \cdot y\right) + \left(\frac{1388534137846295}{25270160017} \cdot {x}^{17}\right) \cdot {y}^{2}\right) + \left(\frac{4822247450994690}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{3}\right) + \left(\frac{6674631507725335}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{4}\right) - \left(\frac{2480206838708247}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{5}\right) - \left(\frac{26888401251474456}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{6}\right) - \left(\frac{51874207588604952}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{7}\right) - \left(\frac{54845150648893400}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{8}\right) - \left(\frac{1929343132238247}{1486480001} \cdot {x}^{10}\right) \cdot {y}^{9}\right) - \left(\frac{344274601286055}{1486480001} \cdot {x}^{9}\right) \cdot {y}^{10}\right) + \left(\frac{7946610944035863}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{11}\right) + \left(\frac{8479689291042820}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{12}\right) + \left(\frac{4653214748496919}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{13}\right) + \left(\frac{1904329296618500}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{14}\right) + \left(\frac{708550287623959}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{15}\right) + \left(\frac{240695751677568}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{16}\right) + \left(\frac{62211525896311}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{17}\right) + \left(\frac{9941297745907}{25270160017} \cdot x\right) \cdot {y}^{18}\right) + \frac{717840789380}{25270160017} \cdot {y}^{19}\right) - \frac{23815299085743}{25270160017} \cdot {x}^{18}\right) - \left(\frac{121167012755415}{25270160017} \cdot {x}^{17}\right) \cdot y\right) - \left(\frac{623062264194304}{25270160017} \cdot {x}^{16}\right) \cdot {y}^{2}\right) - \left(\frac{2810614024492030}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{3}\right) - \left(\frac{8262171262077975}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{4}\right) - \left(\frac{16268652205482000}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{5}\right) - \left(\frac{21438414329356300}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{6}\right) - \left(\frac{17536107118541848}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{7}\right) - \left(\frac{5861366139835415}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{8}\right) + \left(\frac{4336056831248380}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{9}\right) + \left(\frac{6467542220181500}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{10}\right) + \left(\frac{3010402243830780}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{11}\right) - \left(\frac{235161231431808}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{12}\right) - \left(\frac{62526779138560}{1486480001} \cdot {x}^{5}\right) \cdot {y}^{13}\right) - \left(\frac{628980854364951}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{14}\right) - \left(\frac{197693161271936}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{15}\right) - \left(\frac{36116994930951}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{16}\right) - \left(\frac{3567605490053}{25270160017} \cdot x\right) \cdot {y}^{17}\right) - \frac{434251002317}{75810480051} \cdot {y}^{18}\right) + \frac{23846658939752}{25270160017} \cdot {x}^{17}\right) + \left(\frac{49015832141815}{25270160017} \cdot {x}^{16}\right) \cdot y\right) - \left(\frac{105918041784896}{25270160017} \cdot {x}^{15}\right) \cdot {y}^{2}\right) - \left(\frac{510070177754368}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{3}\right) - \left(\frac{834942592444928}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{4}\right) - \left(\frac{346734248722048}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{5}\right) + \left(\frac{1617582885066775}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{6}\right) + \left(\frac{4264481689891863}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{7}\right) + \left(\frac{5290932370289687}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{8}\right) + \left(\frac{3488976345461783}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{9}\right) + \left(\frac{533258177371392}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{10}\right) - \left(\frac{1199512922522110}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{11}\right) - \left(\frac{1238768254315031}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{12}\right) - \left(\frac{626317550421783}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{13}\right) - \left(\frac{190670125268183}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{14}\right) - \left(\frac{35322361400656}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{15}\right) - \left(\frac{3697057396197}{25270160017} \cdot x\right) \cdot {y}^{16}\right) - \frac{701715530153}{101080640068} \cdot {y}^{17}\right) + \frac{2015310048697}{25270160017} \cdot {x}^{16}\right) + \left(\frac{2391706714485}{25270160017} \cdot {x}^{15}\right) \cdot y\right) + \left(\frac{36459024246480}{25270160017} \cdot {x}^{14}\right) \cdot {y}^{2}\right) + \left(\frac{238610058107520}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{3}\right) + \left(\frac{604445097210647}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{4}\right) + \left(\frac{1006592517894660}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{5}\right) + \left(\frac{1271859214967319}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{6}\right) + \left(\frac{1141443461345790}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{7}\right) + \left(\frac{442130559886103}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{8}\right) - \left(\frac{415814521787159}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{9}\right) - \left(\frac{800971620033024}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{10}\right) - \left(\frac{620627996907776}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{11}\right) - \left(\frac{277145293087872}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{12}\right) - \left(\frac{72882244406048}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{13}\right) - \left(\frac{609169568436}{1486480001} \cdot {x}^{2}\right) \cdot {y}^{14}\right) - \left(\frac{1236667576463}{50540320034} \cdot x\right) \cdot {y}^{15}\right) - \frac{68851970594}{227431440153} \cdot {y}^{16}\right) - \frac{4043684928437}{25270160017} \cdot {x}^{15}\right) - \left(\frac{12424084546159}{25270160017} \cdot {x}^{14}\right) \cdot y\right) + \left(\frac{8498445850532}{25270160017} \cdot {x}^{13}\right) \cdot {y}^{2}\right) + \left(\frac{30090975479367}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{3}\right) - \left(\frac{4073292860186}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{4}\right) - \left(\frac{59190751394423}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{5}\right) - \left(\frac{78987457248887}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{6}\right) - \left(\frac{131949095866071}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{7}\right) - \left(\frac{237023454574720}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{8}\right) - \left(\frac{16124806632231}{1486480001} \cdot {x}^{6}\right) \cdot {y}^{9}\right) - \left(\frac{187655635497792}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{10}\right) - \left(\frac{71259163820064}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{11}\right) - \left(\frac{11269100746068}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{12}\right) + \left(\frac{1080477469214}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{13}\right) + \left(\frac{589347628485}{25270160017} \cdot x\right) \cdot {y}^{14}\right) + \frac{352632633419}{176891120119} \cdot {y}^{15}\right) - \frac{397019089852}{25270160017} \cdot {x}^{14}\right) + \left(\frac{2670544924806}{25270160017} \cdot {x}^{13}\right) \cdot y\right) + \left(\frac{1291796720390}{25270160017} \cdot {x}^{12}\right) \cdot {y}^{2}\right) - \left(\frac{21761661148392}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{3}\right) - \left(\frac{42719167523472}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{4}\right) - \left(\frac{28869969428487}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{5}\right) - \left(\frac{9242958364211}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{6}\right) - \left(\frac{26534251779079}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{7}\right) - \left(\frac{48558311940512}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{8}\right) - \left(\frac{37430200123536}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{9}\right) - \left(\frac{10381359854756}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{10}\right) + \left(\frac{157317094066}{1486480001} \cdot {x}^{3}\right) \cdot {y}^{11}\right) + \left(\frac{2505275832433}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{12}\right) + \left(\frac{1153080032687}{50540320034} \cdot x\right) \cdot {y}^{13}\right) + \frac{169744781459}{101080640068} \cdot {y}^{14}\right) + \frac{1166418701833}{50540320034} \cdot {x}^{13}\right) + \left(\frac{1873061713842}{25270160017} \cdot {x}^{12}\right) \cdot y\right) - \left(\frac{1691113180933}{25270160017} \cdot {x}^{11}\right) \cdot {y}^{2}\right) - \left(\frac{3108842368522}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{3}\right) + \left(\frac{5211956069738}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{4}\right) + \left(\frac{14061525548015}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{5}\right) + \left(\frac{5293750700194}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{6}\right) - \left(\frac{7493510449348}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{7}\right) - \left(\frac{8331960214787}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{8}\right) - \left(\frac{1001833625496}{25270160017} \cdot {x}^{4}\right) \cdot {y}^{9}\right) + \left(\frac{2661444285709}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{10}\right) + \left(\frac{1588811168714}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{11}\right) + \left(\frac{324667819399}{25270160017} \cdot x\right) \cdot {y}^{12}\right) + \frac{122199429187}{151620960102} \cdot {y}^{13}\right) + \frac{122017464525}{25270160017} \cdot {x}^{12}\right) - \left(\frac{812548583957}{25270160017} \cdot {x}^{11}\right) \cdot y\right) - \left(\frac{719737249682}{25270160017} \cdot {x}^{10}\right) \cdot {y}^{2}\right) + \left(\frac{1466636601496}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{3}\right) + \left(\frac{3769596601749}{25270160017} \cdot {x}^{8}\right) \cdot {y}^{4}\right) + \left(\frac{1151407240995}{50540320034} \cdot {x}^{7}\right) \cdot {y}^{5}\right) - \left(\frac{3115344619970}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{6}\right) - \left(\frac{2997381349501}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{7}\right) - \left(\frac{18181390239}{50540320034} \cdot {x}^{4}\right) \cdot {y}^{8}\right) + \left(\frac{1438173300542}{25270160017} \cdot {x}^{3}\right) \cdot {y}^{9}\right) + \left(\frac{753425841454}{25270160017} \cdot {x}^{2}\right) \cdot {y}^{10}\right) + \left(\frac{119930039350}{25270160017} \cdot x\right) \cdot {y}^{11}\right) + \frac{50450459983}{429592720289} \cdot {y}^{12}\right) - \frac{784116471853}{151620960102} \cdot {x}^{11}\right) - \left(\frac{319537520907}{126350800085} \cdot {x}^{10}\right) \cdot y\right) + \left(\frac{266374967639}{25270160017} \cdot {x}^{9}\right) \cdot {y}^{2}\right) + \left(\frac{1280385254841}{50540320034} \cdot {x}^{8}\right) \cdot {y}^{3}\right) - \left(\frac{328965019152}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{4}\right) - \left(\frac{1103180278684}{25270160017} \cdot {x}^{6}\right) \cdot {y}^{5}\right) - \left(\frac{873824604664}{25270160017} \cdot {x}^{5}\right) \cdot {y}^{6}\right) + \left(\frac{655253856752}{75810480051} \cdot {x}^{4}\right) \cdot {y}^{7}\right) + \left(\frac{1308237432557}{50540320034} \cdot {x}^{3}\right) \cdot {y}^{8}\right) + \left(\frac{527212132183}{50540320034} \cdot {x}^{2}\right) \cdot {y}^{9}\right) + \left(\frac{122651043735}{202161280136} \cdot x\right) \cdot {y}^{10}\right) - \frac{20445716951}{151620960102} \cdot {y}^{11}\right) + \frac{150768950453}{227431440153} \cdot {x}^{10}\right) + \left(\frac{191568332692}{75810480051} \cdot {x}^{9}\right) \cdot y\right) + \left(\frac{618474271723}{151620960102} \cdot {x}^{8}\right) \cdot {y}^{2}\right) - \left(\frac{7652050681}{1486480001} \cdot {x}^{7}\right) \cdot {y}^{3}\right) - \left(\frac{728152090523}{75810480051} \cdot {x}^{6}\right) \cdot {y}^{4}\right) - \left(\frac{933659522279}{151620960102} \cdot {x}^{5}\right) \cdot {y}^{5}\right) + \left(\frac{9145640152}{1486480001} \cdot {x}^{4}\right) \cdot {y}^{6}\right) + \left(\frac{685726343423}{75810480051} \cdot {x}^{3}\right) \cdot {y}^{7}\right) + \left(\frac{274952703388}{126350800085} \cdot {x}^{2}\right) \cdot {y}^{8}\right) - \left(\frac{117525913681}{252701600170} \cdot x\right) \cdot {y}^{9}\right) - \frac{77319386925}{707564480476} \cdot {y}^{10}\right) + \frac{107398537642}{581213680391} \cdot {x}^{9}\right) + \left(\frac{109749553155}{783374960527} \cdot {x}^{8}\right) \cdot y\right) - \left(\frac{31862974715}{25270160017} \cdot {x}^{7}\right) \cdot {y}^{2}\right) - \left(\frac{103198468879}{75810480051} \cdot {x}^{6}\right) \cdot {y}^{3}\right) - \left(\frac{186000410079}{328512080221} \cdot {x}^{5}\right) \cdot {y}^{4}\right) + \left(\frac{398552066385}{176891120119} \cdot {x}^{4}\right) \cdot {y}^{5}\right) + \left(\frac{113880382671}{50540320034} \cdot {x}^{3}\right) \cdot {y}^{6}\right) + \left(\frac{24668776352}{1592020081071} \cdot {x}^{2}\right) \cdot {y}^{7}\right) - \left(\frac{78127445473}{227431440153} \cdot x\right) \cdot {y}^{8}\right) - \frac{19192638069}{505403200340} \cdot {y}^{9}\right) - \frac{39917094228}{1086616880731} \cdot {x}^{8}\right) - \left(\frac{65985180613}{454862880306} \cdot {x}^{7}\right) \cdot y\right) - \left(\frac{44805099911}{480133040323} \cdot {x}^{6}\right) \cdot {y}^{2}\right) - \left(\frac{19789503547}{6494431124369} \cdot {x}^{5}\right) \cdot {y}^{3}\right) + \left(\frac{95829880289}{176891120119} \cdot {x}^{4}\right) \cdot {y}^{4}\right) + \left(\frac{48356618816}{126350800085} \cdot {x}^{3}\right) \cdot {y}^{5}\right) - \left(\frac{95471654069}{581213680391} \cdot {x}^{2}\right) \cdot {y}^{6}\right) - \left(\frac{39963075504}{328512080221} \cdot x\right) \cdot {y}^{7}\right) - \frac{23142215811}{5180382803485} \cdot {y}^{8}\right) - \frac{7443352719}{2855528081921} \cdot {x}^{7}\right) - \left(\frac{89378333}{93648240063} \cdot {x}^{6}\right) \cdot y\right) + \left(\frac{20399913897}{3386201442278} \cdot {x}^{5}\right) \cdot {y}^{2}\right) + \left(\frac{60735027826}{631754000425} \cdot {x}^{4}\right) \cdot {y}^{3}\right) + \left(\frac{27621647559}{732834640493} \cdot {x}^{3}\right) \cdot {y}^{4}\right) - \left(\frac{66840022436}{1036076560697} \cdot {x}^{2}\right) \cdot {y}^{5}\right) - \left(\frac{23761269928}{884455600595} \cdot x\right) \cdot {y}^{6}\right) + \frac{18810173657}{8996176966052} \cdot {y}^{7}\right) + \frac{76279016}{1306615920879} \cdot {x}^{6}\right) + \left(\frac{11565092913}{7833749605270} \cdot {x}^{5}\right) \cdot y\right) + \left(\frac{24790412867}{1971072481326} \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(\frac{6470438821}{11472652647718} \cdot {x}^{3}\right) \cdot {y}^{3}\right) - \left(\frac{15162147539}{1036076560697} \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(\frac{11832871468}{3360931282261} \cdot x\right) \cdot {y}^{5}\right) + \frac{10735291281}{8010640725389} \cdot {y}^{6}\right) + \frac{5437998775}{54912057716941} \cdot {x}^{5}\right) + \left(\frac{6832229481}{7025104484726} \cdot {x}^{4}\right) \cdot y\right) - \left(\frac{5520961116}{6241729524199} \cdot {x}^{3}\right) \cdot {y}^{2}\right) - \left(\frac{9271019329}{4245386882856} \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(\frac{2920969469}{24891107616745} \cdot x\right) \cdot {y}^{4}\right) + \frac{6216650693}{15162096010200} \cdot {y}^{5}\right) + \frac{848693164}{23880301216065} \cdot {x}^{4}\right) - \left(\frac{3263512153}{25270160017000} \cdot {x}^{3}\right) \cdot y\right) - \left(\frac{1458390626}{7100914964777} \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(\frac{431921017}{8238072165542} \cdot x\right) \cdot {y}^{3}\right) + \frac{1558194946}{18775728892631} \cdot {y}^{4}\right) - \frac{503566261}{66612141804812} \cdot {x}^{3}\right) - \left(\frac{695422244}{68911726366359} \cdot {x}^{2}\right) \cdot y\right) + \left(\frac{405722383}{36186869144344} \cdot x\right) \cdot {y}^{2}\right) + \frac{1090985973}{92817297742441} \cdot {y}^{3}\right) - \frac{61932145}{1254006420683608} \cdot {x}^{2}\right) + \left(\frac{260471453}{256466854012533} \cdot x\right) \cdot y\right) + \frac{159597801}{139238581693670} \cdot {y}^{2}\right) + \frac{34575068}{1074714635362993} \cdot x\right) + \frac{20762863}{291769267556282} \cdot y\right) + \frac{7396213}{3169686711252344}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x y)
  :name "(+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (- 9734026985683) 25270160017) (pow x 32)) (* (* (/ 170362215983575 25270160017) (pow x 31)) y)) (* (* (/ 1475564873542140 25270160017) (pow x 30)) (pow y 2))) (* (* (/ 8413070466436119 25270160017) (pow x 29)) (pow y 3))) (* (* (/ 35445894020939800 25270160017) (pow x 28)) (pow y 4))) (* (* (/ 117469059214803000 25270160017) (pow x 27)) (pow y 5))) (* (* (/ 318336235020616000 25270160017) (pow x 26)) (pow y 6))) (* (* (/ 724150208730235000 25270160017) (pow x 25)) (pow y 7))) (* (* (/ 1408778713387588600 25270160017) (pow x 24)) (pow y 8))) (* (* (/ 2376226420806390000 25270160017) (pow x 23)) (pow y 9))) (* (* (/ 3511157096158590000 25270160017) (pow x 22)) (pow y 10))) (* (* (/ 4580850165969148900 25270160017) (pow x 21)) (pow y 11))) (* (* (/ 5308573904260914180 25270160017) (pow x 20)) (pow y 12))) (* (* (/ 5489139685460630530 25270160017) (pow x 19)) (pow y 13))) (* (* (/ 5081051705884280000 25270160017) (pow x 18)) (pow y 14))) (* (* (/ 4219870349570956300 25270160017) (pow x 17)) (pow y 15))) (* (* (/ 3148524145367669800 25270160017) (pow x 16)) (pow y 16))) (* (* (/ 2111364801521343500 25270160017) (pow x 15)) (pow y 17))) (* (* (/ 1271985019329970000 25270160017) (pow x 14)) (pow y 18))) (* (* (/ 687538215543112000 25270160017) (pow x 13)) (pow y 19))) (* (* (/ 332686090021503000 25270160017) (pow x 12)) (pow y 20))) (* (* (/ 143637243658263568 25270160017) (pow x 11)) (pow y 21))) (* (* (/ 55085261364845592 25270160017) (pow x 10)) (pow y 22))) (* (* (/ 18652503687740440 25270160017) (pow x 9)) (pow y 23))) (* (* (/ 5532944364062720 25270160017) (pow x 8)) (pow y 24))) (* (* (/ 1423004884578820 25270160017) (pow x 7)) (pow y 25))) (* (* (/ 312988206731904 25270160017) (pow x 6)) (pow y 26))) (* (* (/ 57786926552608 25270160017) (pow x 5)) (pow y 27))) (* (* (/ 8724413613443 25270160017) (pow x 4)) (pow y 28))) (* (* (/ 1036069893474 25270160017) (pow x 3)) (pow y 29))) (* (* (/ 636436465104 176891120119) (pow x 2)) (pow y 30))) (* (* (/ 131303454502 631754000425) x) (pow y 31))) (* (/ 16666430330 2804987761887) (pow y 32))) (* (/ 2489693170085 25270160017) (pow x 31))) (* (* (/ 308698811052951 25270160017) (pow x 30)) y)) (* (* (/ 4696169980326935 25270160017) (pow x 29)) (pow y 2))) (* (* (/ 34880756381981720 25270160017) (pow x 28)) (pow y 3))) (* (* (/ 164651670438740000 25270160017) (pow x 27)) (pow y 4))) (* (* (/ 555823060225360000 25270160017) (pow x 26)) (pow y 5))) (* (* (/ 1436222968172120000 25270160017) (pow x 25)) (pow y 6))) (* (* (/ 2972202299900910600 25270160017) (pow x 24)) (pow y 7))) (* (* (/ 5094228566164462590 25270160017) (pow x 23)) (pow y 8))) (* (* (/ 7430028039511080000 25270160017) (pow x 22)) (pow y 9))) (* (* (/ 9437118576671678500 25270160017) (pow x 21)) (pow y 10))) (* (* (/ 10645151299647136000 25270160017) (pow x 20)) (pow y 11))) (* (* (/ 637038969228181888 1486480001) (pow x 19)) (pow y 12))) (* (* (/ 1.00351974086625e+19 25270160017) (pow x 18)) (pow y 13))) (* (* (/ 8502630072690150000 25270160017) (pow x 17)) (pow y 14))) (* (* (/ 6578653735726090000 25270160017) (pow x 16)) (pow y 15))) (* (* (/ 4627855171766980000 25270160017) (pow x 15)) (pow y 16))) (* (* (/ 2944289445241680000 25270160017) (pow x 14)) (pow y 17))) (* (* (/ 1686027113942047700 25270160017) (pow x 13)) (pow y 18))) (* (* (/ 865824326097043000 25270160017) (pow x 12)) (pow y 19))) (* (* (/ 397642664118148100 25270160017) (pow x 11)) (pow y 20))) (* (* (/ 162942040094039072 25270160017) (pow x 10)) (pow y 21))) (* (* (/ 59399849157647384 25270160017) (pow x 9)) (pow y 22))) (* (* (/ 19173864847981592 25270160017) (pow x 8)) (pow y 23))) (* (* (/ 5437055567144960 25270160017) (pow x 7)) (pow y 24))) (* (* (/ 1337246625358340 25270160017) (pow x 6)) (pow y 25))) (* (* (/ 279796757476247 25270160017) (pow x 5)) (pow y 26))) (* (* (/ 48405816731767 25270160017) (pow x 4)) (pow y 27))) (* (* (/ 6638770569332 25270160017) (pow x 3)) (pow y 28))) (* (* (/ 675575174747 25270160017) (pow x 2)) (pow y 29))) (* (* (/ 271668695705 151620960102) x) (pow y 30))) (* (/ 67399906849 1137157200765) (pow y 31))) (* (/ 40757234250887 25270160017) (pow x 30))) (* (* (/ 1382957779540480 25270160017) (pow x 29)) y)) (* (* (/ 15994462295105500 25270160017) (pow x 28)) (pow y 2))) (* (* (/ 97984554960748500 25270160017) (pow x 27)) (pow y 3))) (* (* (/ 384274451102564000 25270160017) (pow x 26)) (pow y 4))) (* (* (/ 1065713334704757800 25270160017) (pow x 25)) (pow y 5))) (* (* (/ 2215928822255060000 25270160017) (pow x 24)) (pow y 6))) (* (* (/ 210618030221160000 1486480001) (pow x 23)) (pow y 7))) (* (* (/ 4586679305465060400 25270160017) (pow x 22)) (pow y 8))) (* (* (/ 4675156568153520000 25270160017) (pow x 21)) (pow y 9))) (* (* (/ 3694288356551690000 25270160017) (pow x 20)) (pow y 10))) (* (* (/ 1999380550830260000 25270160017) (pow x 19)) (pow y 11))) (* (* (/ 201760780115378000 25270160017) (pow x 18)) (pow y 12))) (* (* (/ 69247895415030000 1486480001) (pow x 17)) (pow y 13))) (* (* (/ 1898683997455650000 25270160017) (pow x 16)) (pow y 14))) (* (* (/ 2001120397223790000 25270160017) (pow x 15)) (pow y 15))) (* (* (/ 1.6883386241505e+18 25270160017) (pow x 14)) (pow y 16))) (* (* (/ 1203278560001350700 25270160017) (pow x 13)) (pow y 17))) (* (* (/ 736654630526475260 25270160017) (pow x 12)) (pow y 18))) (* (* (/ 387990195820518400 25270160017) (pow x 11)) (pow y 19))) (* (* (/ 174450278358342688 25270160017) (pow x 10)) (pow y 20))) (* (* (/ 65853048755641368 25270160017) (pow x 9)) (pow y 21))) (* (* (/ 20252995054313500 25270160017) (pow x 8)) (pow y 22))) (* (* (/ 281297733179815 1486480001) (pow x 7)) (pow y 23))) (* (* (/ 738216374637335 25270160017) (pow x 6)) (pow y 24))) (* (* (/ 17371698359279 25270160017) (pow x 5)) (pow y 25))) (* (* (/ 28315601966608 25270160017) (pow x 4)) (pow y 26))) (* (* (/ 9090025353123 25270160017) (pow x 3)) (pow y 27))) (* (* (/ 1528054932470 25270160017) (pow x 2)) (pow y 28))) (* (* (/ 438814109294 75810480051) x) (pow y 29))) (* (/ 25421496969 101080640068) (pow y 30))) (* (/ 161780550083031 25270160017) (pow x 29))) (* (* (/ 3519656307402750 25270160017) (pow x 28)) y)) (* (* (/ 1899603385270300 1486480001) (pow x 27)) (pow y 2))) (* (* (/ 161325814365314080 25270160017) (pow x 26)) (pow y 3))) (* (* (/ 502938317357931520 25270160017) (pow x 25)) (pow y 4))) (* (* (/ 1038595838396947500 25270160017) (pow x 24)) (pow y 5))) (* (* (/ 1395780042531270000 25270160017) (pow x 23)) (pow y 6))) (* (* (/ 940504289190085000 25270160017) (pow x 22)) (pow y 7))) (* (* (/ 685371209762561020 25270160017) (pow x 21)) (pow y 8))) (* (* (/ 3118213348818246700 25270160017) (pow x 20)) (pow y 9))) (* (* (/ 5511126036502280000 25270160017) (pow x 19)) (pow y 10))) (* (* (/ 7204746524083969020 25270160017) (pow x 18)) (pow y 11))) (* (* (/ 8044508147429150000 25270160017) (pow x 17)) (pow y 12))) (* (* (/ 8129869384471632900 25270160017) (pow x 16)) (pow y 13))) (* (* (/ 7519321217275354110 25270160017) (pow x 15)) (pow y 14))) (* (* (/ 6274759568966810000 25270160017) (pow x 14)) (pow y 15))) (* (* (/ 272656267440112032 1486480001) (pow x 13)) (pow y 16))) (* (* (/ 2989499662128380000 25270160017) (pow x 12)) (pow y 17))) (* (* (/ 1670453526487110000 25270160017) (pow x 11)) (pow y 18))) (* (* (/ 804961939004939260 25270160017) (pow x 10)) (pow y 19))) (* (* (/ 332890325749554180 25270160017) (pow x 9)) (pow y 20))) (* (* (/ 117134954045135888 25270160017) (pow x 8)) (pow y 21))) (* (* (/ 34510998143507480 25270160017) (pow x 7)) (pow y 22))) (* (* (/ 8270945099681790 25270160017) (pow x 6)) (pow y 23))) (* (* (/ 1529188651088380 25270160017) (pow x 5)) (pow y 24))) (* (* (/ 194634974407808 25270160017) (pow x 4)) (pow y 25))) (* (* (/ 11234324019875 25270160017) (pow x 3)) (pow y 26))) (* (* (/ 1115810426269 25270160017) (pow x 2)) (pow y 27))) (* (* (/ 275925617286 25270160017) x) (pow y 28))) (* (/ 453843303221 657024160442) (pow y 29))) (* (/ 189258070847296 25270160017) (pow x 28))) (* (* (/ 3809937548527620 25270160017) (pow x 27)) y)) (* (* (/ 33531546150050840 25270160017) (pow x 26)) (pow y 2))) (* (* (/ 158156750034371000 25270160017) (pow x 25)) (pow y 3))) (* (* (/ 462737540585357000 25270160017) (pow x 24)) (pow y 4))) (* (* (/ 911202734364426000 25270160017) (pow x 23)) (pow y 5))) (* (* (/ 1270191632013679600 25270160017) (pow x 22)) (pow y 6))) (* (* (/ 1347755236328470000 25270160017) (pow x 21)) (pow y 7))) (* (* (/ 1358476128691950000 25270160017) (pow x 20)) (pow y 8))) (* (* (/ 1816008589883470000 25270160017) (pow x 19)) (pow y 9))) (* (* (/ 2875641385698024400 25270160017) (pow x 18)) (pow y 10))) (* (* (/ 3948402733490461700 25270160017) (pow x 17)) (pow y 11))) (* (* (/ 4204626977860181000 25270160017) (pow x 16)) (pow y 12))) (* (* (/ 200310514895550000 1486480001) (pow x 15)) (pow y 13))) (* (* (/ 2074344570477350000 25270160017) (pow x 14)) (pow y 14))) (* (* (/ 54268589668385192 1486480001) (pow x 13)) (pow y 15))) (* (* (/ 279552657509712000 25270160017) (pow x 12)) (pow y 16))) (* (* (/ 50980118560824344 25270160017) (pow x 11)) (pow y 17))) (* (* (/ 8603607064841239 25270160017) (pow x 10)) (pow y 18))) (* (* (/ 7173878129396759 25270160017) (pow x 9)) (pow y 19))) (* (* (/ 4769773784213500 25270160017) (pow x 8)) (pow y 20))) (* (* (/ 85188450693632 1486480001) (pow x 7)) (pow y 21))) (* (* (/ 39580777907792 25270160017) (pow x 6)) (pow y 22))) (* (* (/ 110398947785280 25270160017) (pow x 5)) (pow y 23))) (* (* (/ 26680031582864 25270160017) (pow x 4)) (pow y 24))) (* (* (/ 3226197991082 25270160017) (pow x 3)) (pow y 25))) (* (* (/ 2744759773602 25270160017) (pow x 2)) (pow y 26))) (* (* (/ 1066341523951 50540320034) x) (pow y 27))) (* (/ 264474140898 176891120119) (pow y 28))) (* (/ 253114922197632 25270160017) (pow x 27))) (* (* (/ 3556196687942679 25270160017) (pow x 26)) y)) (* (* (/ 24498690810789900 25270160017) (pow x 25)) (pow y 2))) (* (* (/ 104105401382624272 25270160017) (pow x 24)) (pow y 3))) (* (* (/ 319906138039999490 25270160017) (pow x 23)) (pow y 4))) (* (* (/ 799353130217724930 25270160017) (pow x 22)) (pow y 5))) (* (* (/ 1734425118130658300 25270160017) (pow x 21)) (pow y 6))) (* (* (/ 3308842674401926100 25270160017) (pow x 20)) (pow y 7))) (* (* (/ 5482680762683620000 25270160017) (pow x 19)) (pow y 8))) (* (* (/ 7815382898315451390 25270160017) (pow x 18)) (pow y 9))) (* (* (/ 9586656411962662900 25270160017) (pow x 17)) (pow y 10))) (* (* (/ 10189153818403496000 25270160017) (pow x 16)) (pow y 11))) (* (* (/ 9480509710336520000 25270160017) (pow x 15)) (pow y 12))) (* (* (/ 7824475698113895420 25270160017) (pow x 14)) (pow y 13))) (* (* (/ 5820072298578795520 25270160017) (pow x 13)) (pow y 14))) (* (* (/ 3960013918895692800 25270160017) (pow x 12)) (pow y 15))) (* (* (/ 2475862060327590900 25270160017) (pow x 11)) (pow y 16))) (* (* (/ 1402890333149813800 25270160017) (pow x 10)) (pow y 17))) (* (* (/ 698794890893722000 25270160017) (pow x 9)) (pow y 18))) (* (* (/ 294422130437259000 25270160017) (pow x 8)) (pow y 19))) (* (* (/ 100736516347462000 25270160017) (pow x 7)) (pow y 20))) (* (* (/ 26771554961726488 25270160017) (pow x 6)) (pow y 21))) (* (* (/ 5220711373768700 25270160017) (pow x 5)) (pow y 22))) (* (* (/ 684856445405440 25270160017) (pow x 4)) (pow y 23))) (* (* (/ 52252816930336 25270160017) (pow x 3)) (pow y 24))) (* (* (/ 2300261719173 25270160017) (pow x 2)) (pow y 25))) (* (* (/ 297227690947 25270160017) x) (pow y 26))) (* (/ 223943695657 151620960102) (pow y 27))) (* (/ 299687222360471 25270160017) (pow x 26))) (* (* (/ 1961879912294423 25270160017) (pow x 25)) y)) (* (* (/ 3542142414604290 25270160017) (pow x 24)) (pow y 2))) (* (* (/ 64013765048172500 25270160017) (pow x 23)) (pow y 3))) (* (* (/ 257815323151041000 25270160017) (pow x 22)) (pow y 4))) (* (* (/ 574034402447547390 25270160017) (pow x 21)) (pow y 5))) (* (* (/ 818691588289551360 25270160017) (pow x 20)) (pow y 6))) (* (* (/ 47125122475622000 1486480001) (pow x 19)) (pow y 7))) (* (* (/ 633752714392460290 25270160017) (pow x 18)) (pow y 8))) (* (* (/ 630462610667297790 25270160017) (pow x 17)) (pow y 9))) (* (* (/ 851997779889314820 25270160017) (pow x 16)) (pow y 10))) (* (* (/ 985529121799406000 25270160017) (pow x 15)) (pow y 11))) (* (* (/ 1120647375002551 37548529) (pow x 14)) (pow y 12))) (* (* (/ 248309660232843000 25270160017) (pow x 13)) (pow y 13))) (* (* (/ 219767489490977000 25270160017) (pow x 12)) (pow y 14))) (* (* (/ 437770417799519230 25270160017) (pow x 11)) (pow y 15))) (* (* (/ 410775280721068000 25270160017) (pow x 10)) (pow y 16))) (* (* (/ 266618366576427000 25270160017) (pow x 9)) (pow y 17))) (* (* (/ 125998628127179000 25270160017) (pow x 8)) (pow y 18))) (* (* (/ 41428519831683100 25270160017) (pow x 7)) (pow y 19))) (* (* (/ 7561335152611330 25270160017) (pow x 6)) (pow y 20))) (* (* (/ 471532205373207 25270160017) (pow x 5)) (pow y 21))) (* (* (/ 770612491821568 25270160017) (pow x 4)) (pow y 22))) (* (* (/ 238161337884800 25270160017) (pow x 3)) (pow y 23))) (* (* (/ 37614407620295 25270160017) (pow x 2)) (pow y 24))) (* (* (/ 2863827842249 25270160017) x) (pow y 25))) (* (/ 417992076590 176891120119) (pow y 26))) (* (/ 459200406317312 25270160017) (pow x 25))) (* (* (/ 6626339265547287 25270160017) (pow x 24)) y)) (* (* (/ 56276640337943576 25270160017) (pow x 23)) (pow y 2))) (* (* (/ 271828117953141792 25270160017) (pow x 22)) (pow y 3))) (* (* (/ 840661400512102000 25270160017) (pow x 21)) (pow y 4))) (* (* (/ 1846246223182388200 25270160017) (pow x 20)) (pow y 5))) (* (* (/ 3136335502888670000 25270160017) (pow x 19)) (pow y 6))) (* (* (/ 4446873397219122200 25270160017) (pow x 18)) (pow y 7))) (* (* (/ 5582983374468810000 25270160017) (pow x 17)) (pow y 8))) (* (* (/ 6355514604730276860 25270160017) (pow x 16)) (pow y 9))) (* (* (/ 6481604319002057730 25270160017) (pow x 15)) (pow y 10))) (* (* (/ 340622778133463488 1486480001) (pow x 14)) (pow y 11))) (* (* (/ 4491405615962260000 25270160017) (pow x 13)) (pow y 12))) (* (* (/ 3061650774373170000 25270160017) (pow x 12)) (pow y 13))) (* (* (/ 1885429395381810000 25270160017) (pow x 11)) (pow y 14))) (* (* (/ 1076875729442440000 25270160017) (pow x 10)) (pow y 15))) (* (* (/ 574271879333020000 25270160017) (pow x 9)) (pow y 16))) (* (* (/ 281367208908161000 25270160017) (pow x 8)) (pow y 17))) (* (* (/ 123191257024496000 25270160017) (pow x 7)) (pow y 18))) (* (* (/ 46668338337684504 25270160017) (pow x 6)) (pow y 19))) (* (* (/ 14699595983069200 25270160017) (pow x 5)) (pow y 20))) (* (* (/ 3646590795093015 25270160017) (pow x 4)) (pow y 21))) (* (* (/ 659154243796224 25270160017) (pow x 3)) (pow y 22))) (* (* (/ 76535384871671 25270160017) (pow x 2)) (pow y 23))) (* (* (/ 4331006595069 25270160017) x) (pow y 24))) (* (/ 17830697949 25270160017) (pow y 25))) (* (/ 758493281759488 25270160017) (pow x 24))) (* (* (/ 9277836232101890 25270160017) (pow x 23)) y)) (* (* (/ 53544172799450136 25270160017) (pow x 22)) (pow y 2))) (* (* (/ 189675137337197000 25270160017) (pow x 21)) (pow y 3))) (* (* (/ 455294744951348220 25270160017) (pow x 20)) (pow y 4))) (* (* (/ 791637257189153790 25270160017) (pow x 19)) (pow y 5))) (* (* (/ 1071769812883470000 25270160017) (pow x 18)) (pow y 6))) (* (* (/ 1233096182046650000 25270160017) (pow x 17)) (pow y 7))) (* (* (/ 1298789305911080000 25270160017) (pow x 16)) (pow y 8))) (* (* (/ 1267335929248963600 25270160017) (pow x 15)) (pow y 9))) (* (* (/ 1104303165089078300 25270160017) (pow x 14)) (pow y 10))) (* (* (/ 851867057810571000 25270160017) (pow x 13)) (pow y 11))) (* (* (/ 625762315654749180 25270160017) (pow x 12)) (pow y 12))) (* (* (/ 28514676123107000 1486480001) (pow x 11)) (pow y 13))) (* (* (/ 387277811883662340 25270160017) (pow x 10)) (pow y 14))) (* (* (/ 280660571510145000 25270160017) (pow x 9)) (pow y 15))) (* (* (/ 167200972891773984 25270160017) (pow x 8)) (pow y 16))) (* (* (/ 77968399504432144 25270160017) (pow x 7)) (pow y 17))) (* (* (/ 27413272238702600 25270160017) (pow x 6)) (pow y 18))) (* (* (/ 6759811243986940 25270160017) (pow x 5)) (pow y 19))) (* (* (/ 53228620876288 1486480001) (pow x 4)) (pow y 20))) (* (* (/ 59962740572064 25270160017) (pow x 3)) (pow y 21))) (* (* (/ 56033746758176 25270160017) (pow x 2)) (pow y 22))) (* (* (/ 10973789743620 25270160017) x) (pow y 23))) (* (/ 815825462760 25270160017) (pow y 24))) (* (/ 161683027004631 25270160017) (pow x 23))) (* (* (/ 425657988041495 25270160017) (pow x 22)) y)) (* (* (/ 9657967732379650 25270160017) (pow x 21)) (pow y 2))) (* (* (/ 72581358060624912 25270160017) (pow x 20)) (pow y 3))) (* (* (/ 278472308207780000 25270160017) (pow x 19)) (pow y 4))) (* (* (/ 690979084153216000 25270160017) (pow x 18)) (pow y 5))) (* (* (/ 1235615595489745900 25270160017) (pow x 17)) (pow y 6))) (* (* (/ 100047614964140000 1486480001) (pow x 16)) (pow y 7))) (* (* (/ 1905429032459131900 25270160017) (pow x 15)) (pow y 8))) (* (* (/ 1830665160554970000 25270160017) (pow x 14)) (pow y 9))) (* (* (/ 1564704644196293600 25270160017) (pow x 13)) (pow y 10))) (* (* (/ 1197234789615670000 25270160017) (pow x 12)) (pow y 11))) (* (* (/ 807048726840869000 25270160017) (pow x 11)) (pow y 12))) (* (* (/ 475340914977233920 25270160017) (pow x 10)) (pow y 13))) (* (* (/ 251577128201444384 25270160017) (pow x 9)) (pow y 14))) (* (* (/ 127791466485668880 25270160017) (pow x 8)) (pow y 15))) (* (* (/ 65185545053438000 25270160017) (pow x 7)) (pow y 16))) (* (* (/ 32054665228140500 25270160017) (pow x 6)) (pow y 17))) (* (* (/ 13887500253372400 25270160017) (pow x 5)) (pow y 18))) (* (* (/ 4910446821315607 25270160017) (pow x 4)) (pow y 19))) (* (* (/ 1334737350937111 25270160017) (pow x 3)) (pow y 20))) (* (* (/ 259902619703936 25270160017) (pow x 2)) (pow y 21))) (* (* (/ 32091133895623 25270160017) x) (pow y 22))) (* (/ 1874404171057 25270160017) (pow y 23))) (* (/ 450890755665152 25270160017) (pow x 22))) (* (* (/ 5251473095586839 25270160017) (pow x 21)) y)) (* (* (/ 32457358025432088 25270160017) (pow x 20)) (pow y 2))) (* (* (/ 122926670958844944 25270160017) (pow x 19)) (pow y 3))) (* (* (/ 307161179209466000 25270160017) (pow x 18)) (pow y 4))) (* (* (/ 537420306868077000 25270160017) (pow x 17)) (pow y 5))) (* (* (/ 691189323379072000 25270160017) (pow x 16)) (pow y 6))) (* (* (/ 685917130952278000 25270160017) (pow x 15)) (pow y 7))) (* (* (/ 563574113284480000 25270160017) (pow x 14)) (pow y 8))) (* (* (/ 427325546179681280 25270160017) (pow x 13)) (pow y 9))) (* (* (/ 330199146858938000 25270160017) (pow x 12)) (pow y 10))) (* (* (/ 260937959652940832 25270160017) (pow x 11)) (pow y 11))) (* (* (/ 199674833236263000 25270160017) (pow x 10)) (pow y 12))) (* (* (/ 143452828817228000 25270160017) (pow x 9)) (pow y 13))) (* (* (/ 95046844298091536 25270160017) (pow x 8)) (pow y 14))) (* (* (/ 55963816049826840 25270160017) (pow x 7)) (pow y 15))) (* (* (/ 27891832196635672 25270160017) (pow x 6)) (pow y 16))) (* (* (/ 11306952090569752 25270160017) (pow x 5)) (pow y 17))) (* (* (/ 3628613881287703 25270160017) (pow x 4)) (pow y 18))) (* (* (/ 897542781938176 25270160017) (pow x 3)) (pow y 19))) (* (* (/ 162621780735447 25270160017) (pow x 2)) (pow y 20))) (* (* (/ 19205375951784 25270160017) x) (pow y 21))) (* (/ 1094139522179 25270160017) (pow y 22))) (* (/ 62072199065591 25270160017) (pow x 21))) (* (* (/ 1209499194589719 25270160017) (pow x 20)) y)) (* (* (/ 7218555424885783 25270160017) (pow x 19)) (pow y 2))) (* (* (/ 14591719900291100 25270160017) (pow x 18)) (pow y 3))) (* (* (/ 3176956149295100 25270160017) (pow x 17)) (pow y 4))) (* (* (/ 84710216679587800 25270160017) (pow x 16)) (pow y 5))) (* (* (/ 224412398147558432 25270160017) (pow x 15)) (pow y 6))) (* (* (/ 343140796165217280 25270160017) (pow x 14)) (pow y 7))) (* (* (/ 358713262344199170 25270160017) (pow x 13)) (pow y 8))) (* (* (/ 274082349652597792 25270160017) (pow x 12)) (pow y 9))) (* (* (/ 161608562764176416 25270160017) (pow x 11)) (pow y 10))) (* (* (/ 79680219841069100 25270160017) (pow x 10)) (pow y 11))) (* (* (/ 36994066480250900 25270160017) (pow x 9)) (pow y 12))) (* (* (/ 18213700843413500 25270160017) (pow x 8)) (pow y 13))) (* (* (/ 10236182543274000 25270160017) (pow x 7)) (pow y 14))) (* (* (/ 6394057770766340 25270160017) (pow x 6)) (pow y 15))) (* (* (/ 3772562781238295 25270160017) (pow x 5)) (pow y 16))) (* (* (/ 1772304172762110 25270160017) (pow x 4)) (pow y 17))) (* (* (/ 597364397033239 25270160017) (pow x 3)) (pow y 18))) (* (* (/ 134130932274240 25270160017) (pow x 2)) (pow y 19))) (* (* (/ 18091330279759 25270160017) x) (pow y 20))) (* (/ 1125987080691 25270160017) (pow y 21))) (* (/ 106501720260672 25270160017) (pow x 20))) (* (* (/ 847346159272448 25270160017) (pow x 19)) y)) (* (* (/ 5494455255787520 25270160017) (pow x 18)) (pow y 2))) (* (* (/ 24310699713011700 25270160017) (pow x 17)) (pow y 3))) (* (* (/ 68609652925169700 25270160017) (pow x 16)) (pow y 4))) (* (* (/ 128255943335281000 25270160017) (pow x 15)) (pow y 5))) (* (* (/ 162787444183292960 25270160017) (pow x 14)) (pow y 6))) (* (* (/ 139012366127923000 25270160017) (pow x 13)) (pow y 7))) (* (* (/ 75228754632278000 25270160017) (pow x 12)) (pow y 8))) (* (* (/ 23139938783993900 25270160017) (pow x 11)) (pow y 9))) (* (* (/ 9179951622622232 25270160017) (pow x 10)) (pow y 10))) (* (* (/ 17375912128323600 25270160017) (pow x 9)) (pow y 11))) (* (* (/ 23349153093623800 25270160017) (pow x 8)) (pow y 12))) (* (* (/ 20196319523093528 25270160017) (pow x 7)) (pow y 13))) (* (* (/ 13071456698212400 25270160017) (pow x 6)) (pow y 14))) (* (* (/ 6819154915560471 25270160017) (pow x 5)) (pow y 15))) (* (* (/ 2863383522773015 25270160017) (pow x 4)) (pow y 16))) (* (* (/ 915609759250967 25270160017) (pow x 3)) (pow y 17))) (* (* (/ 12056166613799 1486480001) (pow x 2)) (pow y 18))) (* (* (/ 28339663362384 25270160017) x) (pow y 19))) (* (/ 1822029715473 25270160017) (pow y 20))) (* (/ 4403060145671 1486480001) (pow x 19))) (* (* (/ 20721611735880 25270160017) (pow x 18)) y)) (* (* (/ 1388534137846295 25270160017) (pow x 17)) (pow y 2))) (* (* (/ 4822247450994690 25270160017) (pow x 16)) (pow y 3))) (* (* (/ 6674631507725335 25270160017) (pow x 15)) (pow y 4))) (* (* (/ 2480206838708247 25270160017) (pow x 14)) (pow y 5))) (* (* (/ 26888401251474456 25270160017) (pow x 13)) (pow y 6))) (* (* (/ 51874207588604952 25270160017) (pow x 12)) (pow y 7))) (* (* (/ 54845150648893400 25270160017) (pow x 11)) (pow y 8))) (* (* (/ 1929343132238247 1486480001) (pow x 10)) (pow y 9))) (* (* (/ 344274601286055 1486480001) (pow x 9)) (pow y 10))) (* (* (/ 7946610944035863 25270160017) (pow x 8)) (pow y 11))) (* (* (/ 8479689291042820 25270160017) (pow x 7)) (pow y 12))) (* (* (/ 4653214748496919 25270160017) (pow x 6)) (pow y 13))) (* (* (/ 1904329296618500 25270160017) (pow x 5)) (pow y 14))) (* (* (/ 708550287623959 25270160017) (pow x 4)) (pow y 15))) (* (* (/ 240695751677568 25270160017) (pow x 3)) (pow y 16))) (* (* (/ 62211525896311 25270160017) (pow x 2)) (pow y 17))) (* (* (/ 9941297745907 25270160017) x) (pow y 18))) (* (/ 717840789380 25270160017) (pow y 19))) (* (/ 23815299085743 25270160017) (pow x 18))) (* (* (/ 121167012755415 25270160017) (pow x 17)) y)) (* (* (/ 623062264194304 25270160017) (pow x 16)) (pow y 2))) (* (* (/ 2810614024492030 25270160017) (pow x 15)) (pow y 3))) (* (* (/ 8262171262077975 25270160017) (pow x 14)) (pow y 4))) (* (* (/ 16268652205482000 25270160017) (pow x 13)) (pow y 5))) (* (* (/ 21438414329356300 25270160017) (pow x 12)) (pow y 6))) (* (* (/ 17536107118541848 25270160017) (pow x 11)) (pow y 7))) (* (* (/ 5861366139835415 25270160017) (pow x 10)) (pow y 8))) (* (* (/ 4336056831248380 25270160017) (pow x 9)) (pow y 9))) (* (* (/ 6467542220181500 25270160017) (pow x 8)) (pow y 10))) (* (* (/ 3010402243830780 25270160017) (pow x 7)) (pow y 11))) (* (* (/ 235161231431808 25270160017) (pow x 6)) (pow y 12))) (* (* (/ 62526779138560 1486480001) (pow x 5)) (pow y 13))) (* (* (/ 628980854364951 25270160017) (pow x 4)) (pow y 14))) (* (* (/ 197693161271936 25270160017) (pow x 3)) (pow y 15))) (* (* (/ 36116994930951 25270160017) (pow x 2)) (pow y 16))) (* (* (/ 3567605490053 25270160017) x) (pow y 17))) (* (/ 434251002317 75810480051) (pow y 18))) (* (/ 23846658939752 25270160017) (pow x 17))) (* (* (/ 49015832141815 25270160017) (pow x 16)) y)) (* (* (/ 105918041784896 25270160017) (pow x 15)) (pow y 2))) (* (* (/ 510070177754368 25270160017) (pow x 14)) (pow y 3))) (* (* (/ 834942592444928 25270160017) (pow x 13)) (pow y 4))) (* (* (/ 346734248722048 25270160017) (pow x 12)) (pow y 5))) (* (* (/ 1617582885066775 25270160017) (pow x 11)) (pow y 6))) (* (* (/ 4264481689891863 25270160017) (pow x 10)) (pow y 7))) (* (* (/ 5290932370289687 25270160017) (pow x 9)) (pow y 8))) (* (* (/ 3488976345461783 25270160017) (pow x 8)) (pow y 9))) (* (* (/ 533258177371392 25270160017) (pow x 7)) (pow y 10))) (* (* (/ 1199512922522110 25270160017) (pow x 6)) (pow y 11))) (* (* (/ 1238768254315031 25270160017) (pow x 5)) (pow y 12))) (* (* (/ 626317550421783 25270160017) (pow x 4)) (pow y 13))) (* (* (/ 190670125268183 25270160017) (pow x 3)) (pow y 14))) (* (* (/ 35322361400656 25270160017) (pow x 2)) (pow y 15))) (* (* (/ 3697057396197 25270160017) x) (pow y 16))) (* (/ 701715530153 101080640068) (pow y 17))) (* (/ 2015310048697 25270160017) (pow x 16))) (* (* (/ 2391706714485 25270160017) (pow x 15)) y)) (* (* (/ 36459024246480 25270160017) (pow x 14)) (pow y 2))) (* (* (/ 238610058107520 25270160017) (pow x 13)) (pow y 3))) (* (* (/ 604445097210647 25270160017) (pow x 12)) (pow y 4))) (* (* (/ 1006592517894660 25270160017) (pow x 11)) (pow y 5))) (* (* (/ 1271859214967319 25270160017) (pow x 10)) (pow y 6))) (* (* (/ 1141443461345790 25270160017) (pow x 9)) (pow y 7))) (* (* (/ 442130559886103 25270160017) (pow x 8)) (pow y 8))) (* (* (/ 415814521787159 25270160017) (pow x 7)) (pow y 9))) (* (* (/ 800971620033024 25270160017) (pow x 6)) (pow y 10))) (* (* (/ 620627996907776 25270160017) (pow x 5)) (pow y 11))) (* (* (/ 277145293087872 25270160017) (pow x 4)) (pow y 12))) (* (* (/ 72882244406048 25270160017) (pow x 3)) (pow y 13))) (* (* (/ 609169568436 1486480001) (pow x 2)) (pow y 14))) (* (* (/ 1236667576463 50540320034) x) (pow y 15))) (* (/ 68851970594 227431440153) (pow y 16))) (* (/ 4043684928437 25270160017) (pow x 15))) (* (* (/ 12424084546159 25270160017) (pow x 14)) y)) (* (* (/ 8498445850532 25270160017) (pow x 13)) (pow y 2))) (* (* (/ 30090975479367 25270160017) (pow x 12)) (pow y 3))) (* (* (/ 4073292860186 25270160017) (pow x 11)) (pow y 4))) (* (* (/ 59190751394423 25270160017) (pow x 10)) (pow y 5))) (* (* (/ 78987457248887 25270160017) (pow x 9)) (pow y 6))) (* (* (/ 131949095866071 25270160017) (pow x 8)) (pow y 7))) (* (* (/ 237023454574720 25270160017) (pow x 7)) (pow y 8))) (* (* (/ 16124806632231 1486480001) (pow x 6)) (pow y 9))) (* (* (/ 187655635497792 25270160017) (pow x 5)) (pow y 10))) (* (* (/ 71259163820064 25270160017) (pow x 4)) (pow y 11))) (* (* (/ 11269100746068 25270160017) (pow x 3)) (pow y 12))) (* (* (/ 1080477469214 25270160017) (pow x 2)) (pow y 13))) (* (* (/ 589347628485 25270160017) x) (pow y 14))) (* (/ 352632633419 176891120119) (pow y 15))) (* (/ 397019089852 25270160017) (pow x 14))) (* (* (/ 2670544924806 25270160017) (pow x 13)) y)) (* (* (/ 1291796720390 25270160017) (pow x 12)) (pow y 2))) (* (* (/ 21761661148392 25270160017) (pow x 11)) (pow y 3))) (* (* (/ 42719167523472 25270160017) (pow x 10)) (pow y 4))) (* (* (/ 28869969428487 25270160017) (pow x 9)) (pow y 5))) (* (* (/ 9242958364211 25270160017) (pow x 8)) (pow y 6))) (* (* (/ 26534251779079 25270160017) (pow x 7)) (pow y 7))) (* (* (/ 48558311940512 25270160017) (pow x 6)) (pow y 8))) (* (* (/ 37430200123536 25270160017) (pow x 5)) (pow y 9))) (* (* (/ 10381359854756 25270160017) (pow x 4)) (pow y 10))) (* (* (/ 157317094066 1486480001) (pow x 3)) (pow y 11))) (* (* (/ 2505275832433 25270160017) (pow x 2)) (pow y 12))) (* (* (/ 1153080032687 50540320034) x) (pow y 13))) (* (/ 169744781459 101080640068) (pow y 14))) (* (/ 1166418701833 50540320034) (pow x 13))) (* (* (/ 1873061713842 25270160017) (pow x 12)) y)) (* (* (/ 1691113180933 25270160017) (pow x 11)) (pow y 2))) (* (* (/ 3108842368522 25270160017) (pow x 10)) (pow y 3))) (* (* (/ 5211956069738 25270160017) (pow x 9)) (pow y 4))) (* (* (/ 14061525548015 25270160017) (pow x 8)) (pow y 5))) (* (* (/ 5293750700194 25270160017) (pow x 7)) (pow y 6))) (* (* (/ 7493510449348 25270160017) (pow x 6)) (pow y 7))) (* (* (/ 8331960214787 25270160017) (pow x 5)) (pow y 8))) (* (* (/ 1001833625496 25270160017) (pow x 4)) (pow y 9))) (* (* (/ 2661444285709 25270160017) (pow x 3)) (pow y 10))) (* (* (/ 1588811168714 25270160017) (pow x 2)) (pow y 11))) (* (* (/ 324667819399 25270160017) x) (pow y 12))) (* (/ 122199429187 151620960102) (pow y 13))) (* (/ 122017464525 25270160017) (pow x 12))) (* (* (/ 812548583957 25270160017) (pow x 11)) y)) (* (* (/ 719737249682 25270160017) (pow x 10)) (pow y 2))) (* (* (/ 1466636601496 25270160017) (pow x 9)) (pow y 3))) (* (* (/ 3769596601749 25270160017) (pow x 8)) (pow y 4))) (* (* (/ 1151407240995 50540320034) (pow x 7)) (pow y 5))) (* (* (/ 3115344619970 25270160017) (pow x 6)) (pow y 6))) (* (* (/ 2997381349501 25270160017) (pow x 5)) (pow y 7))) (* (* (/ 18181390239 50540320034) (pow x 4)) (pow y 8))) (* (* (/ 1438173300542 25270160017) (pow x 3)) (pow y 9))) (* (* (/ 753425841454 25270160017) (pow x 2)) (pow y 10))) (* (* (/ 119930039350 25270160017) x) (pow y 11))) (* (/ 50450459983 429592720289) (pow y 12))) (* (/ 784116471853 151620960102) (pow x 11))) (* (* (/ 319537520907 126350800085) (pow x 10)) y)) (* (* (/ 266374967639 25270160017) (pow x 9)) (pow y 2))) (* (* (/ 1280385254841 50540320034) (pow x 8)) (pow y 3))) (* (* (/ 328965019152 25270160017) (pow x 7)) (pow y 4))) (* (* (/ 1103180278684 25270160017) (pow x 6)) (pow y 5))) (* (* (/ 873824604664 25270160017) (pow x 5)) (pow y 6))) (* (* (/ 655253856752 75810480051) (pow x 4)) (pow y 7))) (* (* (/ 1308237432557 50540320034) (pow x 3)) (pow y 8))) (* (* (/ 527212132183 50540320034) (pow x 2)) (pow y 9))) (* (* (/ 122651043735 202161280136) x) (pow y 10))) (* (/ 20445716951 151620960102) (pow y 11))) (* (/ 150768950453 227431440153) (pow x 10))) (* (* (/ 191568332692 75810480051) (pow x 9)) y)) (* (* (/ 618474271723 151620960102) (pow x 8)) (pow y 2))) (* (* (/ 7652050681 1486480001) (pow x 7)) (pow y 3))) (* (* (/ 728152090523 75810480051) (pow x 6)) (pow y 4))) (* (* (/ 933659522279 151620960102) (pow x 5)) (pow y 5))) (* (* (/ 9145640152 1486480001) (pow x 4)) (pow y 6))) (* (* (/ 685726343423 75810480051) (pow x 3)) (pow y 7))) (* (* (/ 274952703388 126350800085) (pow x 2)) (pow y 8))) (* (* (/ 117525913681 252701600170) x) (pow y 9))) (* (/ 77319386925 707564480476) (pow y 10))) (* (/ 107398537642 581213680391) (pow x 9))) (* (* (/ 109749553155 783374960527) (pow x 8)) y)) (* (* (/ 31862974715 25270160017) (pow x 7)) (pow y 2))) (* (* (/ 103198468879 75810480051) (pow x 6)) (pow y 3))) (* (* (/ 186000410079 328512080221) (pow x 5)) (pow y 4))) (* (* (/ 398552066385 176891120119) (pow x 4)) (pow y 5))) (* (* (/ 113880382671 50540320034) (pow x 3)) (pow y 6))) (* (* (/ 24668776352 1592020081071) (pow x 2)) (pow y 7))) (* (* (/ 78127445473 227431440153) x) (pow y 8))) (* (/ 19192638069 505403200340) (pow y 9))) (* (/ 39917094228 1086616880731) (pow x 8))) (* (* (/ 65985180613 454862880306) (pow x 7)) y)) (* (* (/ 44805099911 480133040323) (pow x 6)) (pow y 2))) (* (* (/ 19789503547 6494431124369) (pow x 5)) (pow y 3))) (* (* (/ 95829880289 176891120119) (pow x 4)) (pow y 4))) (* (* (/ 48356618816 126350800085) (pow x 3)) (pow y 5))) (* (* (/ 95471654069 581213680391) (pow x 2)) (pow y 6))) (* (* (/ 39963075504 328512080221) x) (pow y 7))) (* (/ 23142215811 5180382803485) (pow y 8))) (* (/ 7443352719 2855528081921) (pow x 7))) (* (* (/ 89378333 93648240063) (pow x 6)) y)) (* (* (/ 20399913897 3386201442278) (pow x 5)) (pow y 2))) (* (* (/ 60735027826 631754000425) (pow x 4)) (pow y 3))) (* (* (/ 27621647559 732834640493) (pow x 3)) (pow y 4))) (* (* (/ 66840022436 1036076560697) (pow x 2)) (pow y 5))) (* (* (/ 23761269928 884455600595) x) (pow y 6))) (* (/ 18810173657 8996176966052) (pow y 7))) (* (/ 76279016 1306615920879) (pow x 6))) (* (* (/ 11565092913 7833749605270) (pow x 5)) y)) (* (* (/ 24790412867 1971072481326) (pow x 4)) (pow y 2))) (* (* (/ 6470438821 11472652647718) (pow x 3)) (pow y 3))) (* (* (/ 15162147539 1036076560697) (pow x 2)) (pow y 4))) (* (* (/ 11832871468 3360931282261) x) (pow y 5))) (* (/ 10735291281 8010640725389) (pow y 6))) (* (/ 5437998775 54912057716941) (pow x 5))) (* (* (/ 6832229481 7025104484726) (pow x 4)) y)) (* (* (/ 5520961116 6241729524199) (pow x 3)) (pow y 2))) (* (* (/ 9271019329 4245386882856) (pow x 2)) (pow y 3))) (* (* (/ 2920969469 24891107616745) x) (pow y 4))) (* (/ 6216650693 15162096010200) (pow y 5))) (* (/ 848693164 23880301216065) (pow x 4))) (* (* (/ 3263512153 25270160017000) (pow x 3)) y)) (* (* (/ 1458390626 7100914964777) (pow x 2)) (pow y 2))) (* (* (/ 431921017 8238072165542) x) (pow y 3))) (* (/ 1558194946 18775728892631) (pow y 4))) (* (/ 503566261 66612141804812) (pow x 3))) (* (* (/ 695422244 68911726366359) (pow x 2)) y)) (* (* (/ 405722383 36186869144344) x) (pow y 2))) (* (/ 1090985973 92817297742441) (pow y 3))) (* (/ 61932145 1254006420683608) (pow x 2))) (* (* (/ 260471453 256466854012533) x) y)) (* (/ 159597801 139238581693670) (pow y 2))) (* (/ 34575068 1074714635362993) x)) (* (/ 20762863 291769267556282) y)) (/ 7396213 3169686711252344))"
  :precision binary64
  (+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (neg 9734026985683.0) 25270160017.0) (pow x 32.0)) (* (* (/ 170362215983575.0 25270160017.0) (pow x 31.0)) y)) (* (* (/ 1.47556487354214e+15 25270160017.0) (pow x 30.0)) (pow y 2.0))) (* (* (/ 8413070466436119.0 25270160017.0) (pow x 29.0)) (pow y 3.0))) (* (* (/ 3.54458940209398e+16 25270160017.0) (pow x 28.0)) (pow y 4.0))) (* (* (/ 1.17469059214803e+17 25270160017.0) (pow x 27.0)) (pow y 5.0))) (* (* (/ 3.18336235020616e+17 25270160017.0) (pow x 26.0)) (pow y 6.0))) (* (* (/ 7.24150208730235e+17 25270160017.0) (pow x 25.0)) (pow y 7.0))) (* (* (/ 1.4087787133875886e+18 25270160017.0) (pow x 24.0)) (pow y 8.0))) (* (* (/ 2.37622642080639e+18 25270160017.0) (pow x 23.0)) (pow y 9.0))) (* (* (/ 3.51115709615859e+18 25270160017.0) (pow x 22.0)) (pow y 10.0))) (* (* (/ 4.580850165969149e+18 25270160017.0) (pow x 21.0)) (pow y 11.0))) (* (* (/ 5.308573904260914e+18 25270160017.0) (pow x 20.0)) (pow y 12.0))) (* (* (/ 5.489139685460631e+18 25270160017.0) (pow x 19.0)) (pow y 13.0))) (* (* (/ 5.08105170588428e+18 25270160017.0) (pow x 18.0)) (pow y 14.0))) (* (* (/ 4.2198703495709563e+18 25270160017.0) (pow x 17.0)) (pow y 15.0))) (* (* (/ 3.14852414536767e+18 25270160017.0) (pow x 16.0)) (pow y 16.0))) (* (* (/ 2.1113648015213435e+18 25270160017.0) (pow x 15.0)) (pow y 17.0))) (* (* (/ 1.27198501932997e+18 25270160017.0) (pow x 14.0)) (pow y 18.0))) (* (* (/ 6.87538215543112e+17 25270160017.0) (pow x 13.0)) (pow y 19.0))) (* (* (/ 3.32686090021503e+17 25270160017.0) (pow x 12.0)) (pow y 20.0))) (* (* (/ 1.4363724365826357e+17 25270160017.0) (pow x 11.0)) (pow y 21.0))) (* (* (/ 5.508526136484559e+16 25270160017.0) (pow x 10.0)) (pow y 22.0))) (* (* (/ 1.865250368774044e+16 25270160017.0) (pow x 9.0)) (pow y 23.0))) (* (* (/ 5.53294436406272e+15 25270160017.0) (pow x 8.0)) (pow y 24.0))) (* (* (/ 1.42300488457882e+15 25270160017.0) (pow x 7.0)) (pow y 25.0))) (* (* (/ 312988206731904.0 25270160017.0) (pow x 6.0)) (pow y 26.0))) (* (* (/ 57786926552608.0 25270160017.0) (pow x 5.0)) (pow y 27.0))) (* (* (/ 8724413613443.0 25270160017.0) (pow x 4.0)) (pow y 28.0))) (* (* (/ 1036069893474.0 25270160017.0) (pow x 3.0)) (pow y 29.0))) (* (* (/ 636436465104.0 176891120119.0) (pow x 2.0)) (pow y 30.0))) (* (* (/ 131303454502.0 631754000425.0) x) (pow y 31.0))) (* (/ 16666430330.0 2804987761887.0) (pow y 32.0))) (* (/ 2489693170085.0 25270160017.0) (pow x 31.0))) (* (* (/ 308698811052951.0 25270160017.0) (pow x 30.0)) y)) (* (* (/ 4696169980326935.0 25270160017.0) (pow x 29.0)) (pow y 2.0))) (* (* (/ 3.488075638198172e+16 25270160017.0) (pow x 28.0)) (pow y 3.0))) (* (* (/ 1.6465167043874e+17 25270160017.0) (pow x 27.0)) (pow y 4.0))) (* (* (/ 5.5582306022536e+17 25270160017.0) (pow x 26.0)) (pow y 5.0))) (* (* (/ 1.43622296817212e+18 25270160017.0) (pow x 25.0)) (pow y 6.0))) (* (* (/ 2.9722022999009106e+18 25270160017.0) (pow x 24.0)) (pow y 7.0))) (* (* (/ 5.094228566164463e+18 25270160017.0) (pow x 23.0)) (pow y 8.0))) (* (* (/ 7.43002803951108e+18 25270160017.0) (pow x 22.0)) (pow y 9.0))) (* (* (/ 9.437118576671678e+18 25270160017.0) (pow x 21.0)) (pow y 10.0))) (* (* (/ 1.0645151299647136e+19 25270160017.0) (pow x 20.0)) (pow y 11.0))) (* (* (/ 6.370389692281819e+17 1486480001.0) (pow x 19.0)) (pow y 12.0))) (* (* (/ 1.00351974086625e+19 25270160017.0) (pow x 18.0)) (pow y 13.0))) (* (* (/ 8.50263007269015e+18 25270160017.0) (pow x 17.0)) (pow y 14.0))) (* (* (/ 6.57865373572609e+18 25270160017.0) (pow x 16.0)) (pow y 15.0))) (* (* (/ 4.62785517176698e+18 25270160017.0) (pow x 15.0)) (pow y 16.0))) (* (* (/ 2.94428944524168e+18 25270160017.0) (pow x 14.0)) (pow y 17.0))) (* (* (/ 1.6860271139420477e+18 25270160017.0) (pow x 13.0)) (pow y 18.0))) (* (* (/ 8.65824326097043e+17 25270160017.0) (pow x 12.0)) (pow y 19.0))) (* (* (/ 3.976426641181481e+17 25270160017.0) (pow x 11.0)) (pow y 20.0))) (* (* (/ 1.6294204009403907e+17 25270160017.0) (pow x 10.0)) (pow y 21.0))) (* (* (/ 59399849157647384.0 25270160017.0) (pow x 9.0)) (pow y 22.0))) (* (* (/ 1.917386484798159e+16 25270160017.0) (pow x 8.0)) (pow y 23.0))) (* (* (/ 5.43705556714496e+15 25270160017.0) (pow x 7.0)) (pow y 24.0))) (* (* (/ 1.33724662535834e+15 25270160017.0) (pow x 6.0)) (pow y 25.0))) (* (* (/ 279796757476247.0 25270160017.0) (pow x 5.0)) (pow y 26.0))) (* (* (/ 48405816731767.0 25270160017.0) (pow x 4.0)) (pow y 27.0))) (* (* (/ 6638770569332.0 25270160017.0) (pow x 3.0)) (pow y 28.0))) (* (* (/ 675575174747.0 25270160017.0) (pow x 2.0)) (pow y 29.0))) (* (* (/ 271668695705.0 151620960102.0) x) (pow y 30.0))) (* (/ 67399906849.0 1137157200765.0) (pow y 31.0))) (* (/ 40757234250887.0 25270160017.0) (pow x 30.0))) (* (* (/ 1.38295777954048e+15 25270160017.0) (pow x 29.0)) y)) (* (* (/ 1.59944622951055e+16 25270160017.0) (pow x 28.0)) (pow y 2.0))) (* (* (/ 9.79845549607485e+16 25270160017.0) (pow x 27.0)) (pow y 3.0))) (* (* (/ 3.84274451102564e+17 25270160017.0) (pow x 26.0)) (pow y 4.0))) (* (* (/ 1.0657133347047578e+18 25270160017.0) (pow x 25.0)) (pow y 5.0))) (* (* (/ 2.21592882225506e+18 25270160017.0) (pow x 24.0)) (pow y 6.0))) (* (* (/ 2.1061803022116e+17 1486480001.0) (pow x 23.0)) (pow y 7.0))) (* (* (/ 4.5866793054650604e+18 25270160017.0) (pow x 22.0)) (pow y 8.0))) (* (* (/ 4.67515656815352e+18 25270160017.0) (pow x 21.0)) (pow y 9.0))) (* (* (/ 3.69428835655169e+18 25270160017.0) (pow x 20.0)) (pow y 10.0))) (* (* (/ 1.99938055083026e+18 25270160017.0) (pow x 19.0)) (pow y 11.0))) (* (* (/ 2.01760780115378e+17 25270160017.0) (pow x 18.0)) (pow y 12.0))) (* (* (/ 6.924789541503e+16 1486480001.0) (pow x 17.0)) (pow y 13.0))) (* (* (/ 1.89868399745565e+18 25270160017.0) (pow x 16.0)) (pow y 14.0))) (* (* (/ 2.00112039722379e+18 25270160017.0) (pow x 15.0)) (pow y 15.0))) (* (* (/ 1.6883386241505e+18 25270160017.0) (pow x 14.0)) (pow y 16.0))) (* (* (/ 1.2032785600013507e+18 25270160017.0) (pow x 13.0)) (pow y 17.0))) (* (* (/ 7.366546305264753e+17 25270160017.0) (pow x 12.0)) (pow y 18.0))) (* (* (/ 3.879901958205184e+17 25270160017.0) (pow x 11.0)) (pow y 19.0))) (* (* (/ 1.744502783583427e+17 25270160017.0) (pow x 10.0)) (pow y 20.0))) (* (* (/ 6.585304875564137e+16 25270160017.0) (pow x 9.0)) (pow y 21.0))) (* (* (/ 2.02529950543135e+16 25270160017.0) (pow x 8.0)) (pow y 22.0))) (* (* (/ 281297733179815.0 1486480001.0) (pow x 7.0)) (pow y 23.0))) (* (* (/ 738216374637335.0 25270160017.0) (pow x 6.0)) (pow y 24.0))) (* (* (/ 17371698359279.0 25270160017.0) (pow x 5.0)) (pow y 25.0))) (* (* (/ 28315601966608.0 25270160017.0) (pow x 4.0)) (pow y 26.0))) (* (* (/ 9090025353123.0 25270160017.0) (pow x 3.0)) (pow y 27.0))) (* (* (/ 1528054932470.0 25270160017.0) (pow x 2.0)) (pow y 28.0))) (* (* (/ 438814109294.0 75810480051.0) x) (pow y 29.0))) (* (/ 25421496969.0 101080640068.0) (pow y 30.0))) (* (/ 161780550083031.0 25270160017.0) (pow x 29.0))) (* (* (/ 3.51965630740275e+15 25270160017.0) (pow x 28.0)) y)) (* (* (/ 1.8996033852703e+15 1486480001.0) (pow x 27.0)) (pow y 2.0))) (* (* (/ 1.6132581436531408e+17 25270160017.0) (pow x 26.0)) (pow y 3.0))) (* (* (/ 5.029383173579315e+17 25270160017.0) (pow x 25.0)) (pow y 4.0))) (* (* (/ 1.0385958383969475e+18 25270160017.0) (pow x 24.0)) (pow y 5.0))) (* (* (/ 1.39578004253127e+18 25270160017.0) (pow x 23.0)) (pow y 6.0))) (* (* (/ 9.40504289190085e+17 25270160017.0) (pow x 22.0)) (pow y 7.0))) (* (* (/ 6.85371209762561e+17 25270160017.0) (pow x 21.0)) (pow y 8.0))) (* (* (/ 3.1182133488182467e+18 25270160017.0) (pow x 20.0)) (pow y 9.0))) (* (* (/ 5.51112603650228e+18 25270160017.0) (pow x 19.0)) (pow y 10.0))) (* (* (/ 7.204746524083969e+18 25270160017.0) (pow x 18.0)) (pow y 11.0))) (* (* (/ 8.04450814742915e+18 25270160017.0) (pow x 17.0)) (pow y 12.0))) (* (* (/ 8.129869384471633e+18 25270160017.0) (pow x 16.0)) (pow y 13.0))) (* (* (/ 7.519321217275354e+18 25270160017.0) (pow x 15.0)) (pow y 14.0))) (* (* (/ 6.27475956896681e+18 25270160017.0) (pow x 14.0)) (pow y 15.0))) (* (* (/ 2.7265626744011203e+17 1486480001.0) (pow x 13.0)) (pow y 16.0))) (* (* (/ 2.98949966212838e+18 25270160017.0) (pow x 12.0)) (pow y 17.0))) (* (* (/ 1.67045352648711e+18 25270160017.0) (pow x 11.0)) (pow y 18.0))) (* (* (/ 8.049619390049393e+17 25270160017.0) (pow x 10.0)) (pow y 19.0))) (* (* (/ 3.328903257495542e+17 25270160017.0) (pow x 9.0)) (pow y 20.0))) (* (* (/ 1.1713495404513589e+17 25270160017.0) (pow x 8.0)) (pow y 21.0))) (* (* (/ 3.451099814350748e+16 25270160017.0) (pow x 7.0)) (pow y 22.0))) (* (* (/ 8.27094509968179e+15 25270160017.0) (pow x 6.0)) (pow y 23.0))) (* (* (/ 1.52918865108838e+15 25270160017.0) (pow x 5.0)) (pow y 24.0))) (* (* (/ 194634974407808.0 25270160017.0) (pow x 4.0)) (pow y 25.0))) (* (* (/ 11234324019875.0 25270160017.0) (pow x 3.0)) (pow y 26.0))) (* (* (/ 1115810426269.0 25270160017.0) (pow x 2.0)) (pow y 27.0))) (* (* (/ 275925617286.0 25270160017.0) x) (pow y 28.0))) (* (/ 453843303221.0 657024160442.0) (pow y 29.0))) (* (/ 189258070847296.0 25270160017.0) (pow x 28.0))) (* (* (/ 3.80993754852762e+15 25270160017.0) (pow x 27.0)) y)) (* (* (/ 3.353154615005084e+16 25270160017.0) (pow x 26.0)) (pow y 2.0))) (* (* (/ 1.58156750034371e+17 25270160017.0) (pow x 25.0)) (pow y 3.0))) (* (* (/ 4.62737540585357e+17 25270160017.0) (pow x 24.0)) (pow y 4.0))) (* (* (/ 9.11202734364426e+17 25270160017.0) (pow x 23.0)) (pow y 5.0))) (* (* (/ 1.2701916320136796e+18 25270160017.0) (pow x 22.0)) (pow y 6.0))) (* (* (/ 1.34775523632847e+18 25270160017.0) (pow x 21.0)) (pow y 7.0))) (* (* (/ 1.35847612869195e+18 25270160017.0) (pow x 20.0)) (pow y 8.0))) (* (* (/ 1.81600858988347e+18 25270160017.0) (pow x 19.0)) (pow y 9.0))) (* (* (/ 2.8756413856980244e+18 25270160017.0) (pow x 18.0)) (pow y 10.0))) (* (* (/ 3.9484027334904617e+18 25270160017.0) (pow x 17.0)) (pow y 11.0))) (* (* (/ 4.204626977860181e+18 25270160017.0) (pow x 16.0)) (pow y 12.0))) (* (* (/ 2.0031051489555e+17 1486480001.0) (pow x 15.0)) (pow y 13.0))) (* (* (/ 2.07434457047735e+18 25270160017.0) (pow x 14.0)) (pow y 14.0))) (* (* (/ 5.426858966838519e+16 1486480001.0) (pow x 13.0)) (pow y 15.0))) (* (* (/ 2.79552657509712e+17 25270160017.0) (pow x 12.0)) (pow y 16.0))) (* (* (/ 50980118560824344.0 25270160017.0) (pow x 11.0)) (pow y 17.0))) (* (* (/ 8603607064841239.0 25270160017.0) (pow x 10.0)) (pow y 18.0))) (* (* (/ 7173878129396759.0 25270160017.0) (pow x 9.0)) (pow y 19.0))) (* (* (/ 4.7697737842135e+15 25270160017.0) (pow x 8.0)) (pow y 20.0))) (* (* (/ 85188450693632.0 1486480001.0) (pow x 7.0)) (pow y 21.0))) (* (* (/ 39580777907792.0 25270160017.0) (pow x 6.0)) (pow y 22.0))) (* (* (/ 1.1039894778528e+14 25270160017.0) (pow x 5.0)) (pow y 23.0))) (* (* (/ 26680031582864.0 25270160017.0) (pow x 4.0)) (pow y 24.0))) (* (* (/ 3226197991082.0 25270160017.0) (pow x 3.0)) (pow y 25.0))) (* (* (/ 2744759773602.0 25270160017.0) (pow x 2.0)) (pow y 26.0))) (* (* (/ 1066341523951.0 50540320034.0) x) (pow y 27.0))) (* (/ 264474140898.0 176891120119.0) (pow y 28.0))) (* (/ 253114922197632.0 25270160017.0) (pow x 27.0))) (* (* (/ 3556196687942679.0 25270160017.0) (pow x 26.0)) y)) (* (* (/ 2.44986908107899e+16 25270160017.0) (pow x 25.0)) (pow y 2.0))) (* (* (/ 1.0410540138262427e+17 25270160017.0) (pow x 24.0)) (pow y 3.0))) (* (* (/ 3.199061380399995e+17 25270160017.0) (pow x 23.0)) (pow y 4.0))) (* (* (/ 7.993531302177249e+17 25270160017.0) (pow x 22.0)) (pow y 5.0))) (* (* (/ 1.7344251181306583e+18 25270160017.0) (pow x 21.0)) (pow y 6.0))) (* (* (/ 3.308842674401926e+18 25270160017.0) (pow x 20.0)) (pow y 7.0))) (* (* (/ 5.48268076268362e+18 25270160017.0) (pow x 19.0)) (pow y 8.0))) (* (* (/ 7.815382898315451e+18 25270160017.0) (pow x 18.0)) (pow y 9.0))) (* (* (/ 9.586656411962663e+18 25270160017.0) (pow x 17.0)) (pow y 10.0))) (* (* (/ 1.0189153818403496e+19 25270160017.0) (pow x 16.0)) (pow y 11.0))) (* (* (/ 9.48050971033652e+18 25270160017.0) (pow x 15.0)) (pow y 12.0))) (* (* (/ 7.824475698113895e+18 25270160017.0) (pow x 14.0)) (pow y 13.0))) (* (* (/ 5.820072298578796e+18 25270160017.0) (pow x 13.0)) (pow y 14.0))) (* (* (/ 3.960013918895693e+18 25270160017.0) (pow x 12.0)) (pow y 15.0))) (* (* (/ 2.475862060327591e+18 25270160017.0) (pow x 11.0)) (pow y 16.0))) (* (* (/ 1.4028903331498138e+18 25270160017.0) (pow x 10.0)) (pow y 17.0))) (* (* (/ 6.98794890893722e+17 25270160017.0) (pow x 9.0)) (pow y 18.0))) (* (* (/ 2.94422130437259e+17 25270160017.0) (pow x 8.0)) (pow y 19.0))) (* (* (/ 1.00736516347462e+17 25270160017.0) (pow x 7.0)) (pow y 20.0))) (* (* (/ 2.677155496172649e+16 25270160017.0) (pow x 6.0)) (pow y 21.0))) (* (* (/ 5.2207113737687e+15 25270160017.0) (pow x 5.0)) (pow y 22.0))) (* (* (/ 6.8485644540544e+14 25270160017.0) (pow x 4.0)) (pow y 23.0))) (* (* (/ 52252816930336.0 25270160017.0) (pow x 3.0)) (pow y 24.0))) (* (* (/ 2300261719173.0 25270160017.0) (pow x 2.0)) (pow y 25.0))) (* (* (/ 297227690947.0 25270160017.0) x) (pow y 26.0))) (* (/ 223943695657.0 151620960102.0) (pow y 27.0))) (* (/ 299687222360471.0 25270160017.0) (pow x 26.0))) (* (* (/ 1961879912294423.0 25270160017.0) (pow x 25.0)) y)) (* (* (/ 3.54214241460429e+15 25270160017.0) (pow x 24.0)) (pow y 2.0))) (* (* (/ 6.40137650481725e+16 25270160017.0) (pow x 23.0)) (pow y 3.0))) (* (* (/ 2.57815323151041e+17 25270160017.0) (pow x 22.0)) (pow y 4.0))) (* (* (/ 5.740344024475474e+17 25270160017.0) (pow x 21.0)) (pow y 5.0))) (* (* (/ 8.186915882895514e+17 25270160017.0) (pow x 20.0)) (pow y 6.0))) (* (* (/ 4.7125122475622e+16 1486480001.0) (pow x 19.0)) (pow y 7.0))) (* (* (/ 6.337527143924603e+17 25270160017.0) (pow x 18.0)) (pow y 8.0))) (* (* (/ 6.304626106672978e+17 25270160017.0) (pow x 17.0)) (pow y 9.0))) (* (* (/ 8.519977798893148e+17 25270160017.0) (pow x 16.0)) (pow y 10.0))) (* (* (/ 9.85529121799406e+17 25270160017.0) (pow x 15.0)) (pow y 11.0))) (* (* (/ 1120647375002551.0 37548529.0) (pow x 14.0)) (pow y 12.0))) (* (* (/ 2.48309660232843e+17 25270160017.0) (pow x 13.0)) (pow y 13.0))) (* (* (/ 2.19767489490977e+17 25270160017.0) (pow x 12.0)) (pow y 14.0))) (* (* (/ 4.377704177995192e+17 25270160017.0) (pow x 11.0)) (pow y 15.0))) (* (* (/ 4.10775280721068e+17 25270160017.0) (pow x 10.0)) (pow y 16.0))) (* (* (/ 2.66618366576427e+17 25270160017.0) (pow x 9.0)) (pow y 17.0))) (* (* (/ 1.25998628127179e+17 25270160017.0) (pow x 8.0)) (pow y 18.0))) (* (* (/ 4.14285198316831e+16 25270160017.0) (pow x 7.0)) (pow y 19.0))) (* (* (/ 7.56133515261133e+15 25270160017.0) (pow x 6.0)) (pow y 20.0))) (* (* (/ 471532205373207.0 25270160017.0) (pow x 5.0)) (pow y 21.0))) (* (* (/ 770612491821568.0 25270160017.0) (pow x 4.0)) (pow y 22.0))) (* (* (/ 2.381613378848e+14 25270160017.0) (pow x 3.0)) (pow y 23.0))) (* (* (/ 37614407620295.0 25270160017.0) (pow x 2.0)) (pow y 24.0))) (* (* (/ 2863827842249.0 25270160017.0) x) (pow y 25.0))) (* (/ 417992076590.0 176891120119.0) (pow y 26.0))) (* (/ 459200406317312.0 25270160017.0) (pow x 25.0))) (* (* (/ 6626339265547287.0 25270160017.0) (pow x 24.0)) y)) (* (* (/ 56276640337943576.0 25270160017.0) (pow x 23.0)) (pow y 2.0))) (* (* (/ 2.718281179531418e+17 25270160017.0) (pow x 22.0)) (pow y 3.0))) (* (* (/ 8.40661400512102e+17 25270160017.0) (pow x 21.0)) (pow y 4.0))) (* (* (/ 1.8462462231823882e+18 25270160017.0) (pow x 20.0)) (pow y 5.0))) (* (* (/ 3.13633550288867e+18 25270160017.0) (pow x 19.0)) (pow y 6.0))) (* (* (/ 4.446873397219122e+18 25270160017.0) (pow x 18.0)) (pow y 7.0))) (* (* (/ 5.58298337446881e+18 25270160017.0) (pow x 17.0)) (pow y 8.0))) (* (* (/ 6.355514604730277e+18 25270160017.0) (pow x 16.0)) (pow y 9.0))) (* (* (/ 6.481604319002058e+18 25270160017.0) (pow x 15.0)) (pow y 10.0))) (* (* (/ 3.406227781334635e+17 1486480001.0) (pow x 14.0)) (pow y 11.0))) (* (* (/ 4.49140561596226e+18 25270160017.0) (pow x 13.0)) (pow y 12.0))) (* (* (/ 3.06165077437317e+18 25270160017.0) (pow x 12.0)) (pow y 13.0))) (* (* (/ 1.88542939538181e+18 25270160017.0) (pow x 11.0)) (pow y 14.0))) (* (* (/ 1.07687572944244e+18 25270160017.0) (pow x 10.0)) (pow y 15.0))) (* (* (/ 5.7427187933302e+17 25270160017.0) (pow x 9.0)) (pow y 16.0))) (* (* (/ 2.81367208908161e+17 25270160017.0) (pow x 8.0)) (pow y 17.0))) (* (* (/ 1.23191257024496e+17 25270160017.0) (pow x 7.0)) (pow y 18.0))) (* (* (/ 46668338337684504.0 25270160017.0) (pow x 6.0)) (pow y 19.0))) (* (* (/ 1.46995959830692e+16 25270160017.0) (pow x 5.0)) (pow y 20.0))) (* (* (/ 3646590795093015.0 25270160017.0) (pow x 4.0)) (pow y 21.0))) (* (* (/ 659154243796224.0 25270160017.0) (pow x 3.0)) (pow y 22.0))) (* (* (/ 76535384871671.0 25270160017.0) (pow x 2.0)) (pow y 23.0))) (* (* (/ 4331006595069.0 25270160017.0) x) (pow y 24.0))) (* (/ 17830697949.0 25270160017.0) (pow y 25.0))) (* (/ 758493281759488.0 25270160017.0) (pow x 24.0))) (* (* (/ 9.27783623210189e+15 25270160017.0) (pow x 23.0)) y)) (* (* (/ 53544172799450136.0 25270160017.0) (pow x 22.0)) (pow y 2.0))) (* (* (/ 1.89675137337197e+17 25270160017.0) (pow x 21.0)) (pow y 3.0))) (* (* (/ 4.552947449513482e+17 25270160017.0) (pow x 20.0)) (pow y 4.0))) (* (* (/ 7.916372571891538e+17 25270160017.0) (pow x 19.0)) (pow y 5.0))) (* (* (/ 1.07176981288347e+18 25270160017.0) (pow x 18.0)) (pow y 6.0))) (* (* (/ 1.23309618204665e+18 25270160017.0) (pow x 17.0)) (pow y 7.0))) (* (* (/ 1.29878930591108e+18 25270160017.0) (pow x 16.0)) (pow y 8.0))) (* (* (/ 1.2673359292489636e+18 25270160017.0) (pow x 15.0)) (pow y 9.0))) (* (* (/ 1.1043031650890783e+18 25270160017.0) (pow x 14.0)) (pow y 10.0))) (* (* (/ 8.51867057810571e+17 25270160017.0) (pow x 13.0)) (pow y 11.0))) (* (* (/ 6.257623156547492e+17 25270160017.0) (pow x 12.0)) (pow y 12.0))) (* (* (/ 2.8514676123107e+16 1486480001.0) (pow x 11.0)) (pow y 13.0))) (* (* (/ 3.8727781188366234e+17 25270160017.0) (pow x 10.0)) (pow y 14.0))) (* (* (/ 2.80660571510145e+17 25270160017.0) (pow x 9.0)) (pow y 15.0))) (* (* (/ 1.6720097289177398e+17 25270160017.0) (pow x 8.0)) (pow y 16.0))) (* (* (/ 7.796839950443214e+16 25270160017.0) (pow x 7.0)) (pow y 17.0))) (* (* (/ 2.74132722387026e+16 25270160017.0) (pow x 6.0)) (pow y 18.0))) (* (* (/ 6.75981124398694e+15 25270160017.0) (pow x 5.0)) (pow y 19.0))) (* (* (/ 53228620876288.0 1486480001.0) (pow x 4.0)) (pow y 20.0))) (* (* (/ 59962740572064.0 25270160017.0) (pow x 3.0)) (pow y 21.0))) (* (* (/ 56033746758176.0 25270160017.0) (pow x 2.0)) (pow y 22.0))) (* (* (/ 10973789743620.0 25270160017.0) x) (pow y 23.0))) (* (/ 815825462760.0 25270160017.0) (pow y 24.0))) (* (/ 161683027004631.0 25270160017.0) (pow x 23.0))) (* (* (/ 425657988041495.0 25270160017.0) (pow x 22.0)) y)) (* (* (/ 9.65796773237965e+15 25270160017.0) (pow x 21.0)) (pow y 2.0))) (* (* (/ 7.258135806062491e+16 25270160017.0) (pow x 20.0)) (pow y 3.0))) (* (* (/ 2.7847230820778e+17 25270160017.0) (pow x 19.0)) (pow y 4.0))) (* (* (/ 6.90979084153216e+17 25270160017.0) (pow x 18.0)) (pow y 5.0))) (* (* (/ 1.235615595489746e+18 25270160017.0) (pow x 17.0)) (pow y 6.0))) (* (* (/ 1.0004761496414e+17 1486480001.0) (pow x 16.0)) (pow y 7.0))) (* (* (/ 1.905429032459132e+18 25270160017.0) (pow x 15.0)) (pow y 8.0))) (* (* (/ 1.83066516055497e+18 25270160017.0) (pow x 14.0)) (pow y 9.0))) (* (* (/ 1.5647046441962936e+18 25270160017.0) (pow x 13.0)) (pow y 10.0))) (* (* (/ 1.19723478961567e+18 25270160017.0) (pow x 12.0)) (pow y 11.0))) (* (* (/ 8.07048726840869e+17 25270160017.0) (pow x 11.0)) (pow y 12.0))) (* (* (/ 4.753409149772339e+17 25270160017.0) (pow x 10.0)) (pow y 13.0))) (* (* (/ 2.5157712820144438e+17 25270160017.0) (pow x 9.0)) (pow y 14.0))) (* (* (/ 1.2779146648566888e+17 25270160017.0) (pow x 8.0)) (pow y 15.0))) (* (* (/ 6.5185545053438e+16 25270160017.0) (pow x 7.0)) (pow y 16.0))) (* (* (/ 3.20546652281405e+16 25270160017.0) (pow x 6.0)) (pow y 17.0))) (* (* (/ 1.38875002533724e+16 25270160017.0) (pow x 5.0)) (pow y 18.0))) (* (* (/ 4910446821315607.0 25270160017.0) (pow x 4.0)) (pow y 19.0))) (* (* (/ 1334737350937111.0 25270160017.0) (pow x 3.0)) (pow y 20.0))) (* (* (/ 259902619703936.0 25270160017.0) (pow x 2.0)) (pow y 21.0))) (* (* (/ 32091133895623.0 25270160017.0) x) (pow y 22.0))) (* (/ 1874404171057.0 25270160017.0) (pow y 23.0))) (* (/ 450890755665152.0 25270160017.0) (pow x 22.0))) (* (* (/ 5251473095586839.0 25270160017.0) (pow x 21.0)) y)) (* (* (/ 3.245735802543209e+16 25270160017.0) (pow x 20.0)) (pow y 2.0))) (* (* (/ 1.2292667095884494e+17 25270160017.0) (pow x 19.0)) (pow y 3.0))) (* (* (/ 3.07161179209466e+17 25270160017.0) (pow x 18.0)) (pow y 4.0))) (* (* (/ 5.37420306868077e+17 25270160017.0) (pow x 17.0)) (pow y 5.0))) (* (* (/ 6.91189323379072e+17 25270160017.0) (pow x 16.0)) (pow y 6.0))) (* (* (/ 6.85917130952278e+17 25270160017.0) (pow x 15.0)) (pow y 7.0))) (* (* (/ 5.6357411328448e+17 25270160017.0) (pow x 14.0)) (pow y 8.0))) (* (* (/ 4.273255461796813e+17 25270160017.0) (pow x 13.0)) (pow y 9.0))) (* (* (/ 3.30199146858938e+17 25270160017.0) (pow x 12.0)) (pow y 10.0))) (* (* (/ 2.6093795965294083e+17 25270160017.0) (pow x 11.0)) (pow y 11.0))) (* (* (/ 1.99674833236263e+17 25270160017.0) (pow x 10.0)) (pow y 12.0))) (* (* (/ 1.43452828817228e+17 25270160017.0) (pow x 9.0)) (pow y 13.0))) (* (* (/ 9.504684429809154e+16 25270160017.0) (pow x 8.0)) (pow y 14.0))) (* (* (/ 5.596381604982684e+16 25270160017.0) (pow x 7.0)) (pow y 15.0))) (* (* (/ 2.789183219663567e+16 25270160017.0) (pow x 6.0)) (pow y 16.0))) (* (* (/ 11306952090569752.0 25270160017.0) (pow x 5.0)) (pow y 17.0))) (* (* (/ 3628613881287703.0 25270160017.0) (pow x 4.0)) (pow y 18.0))) (* (* (/ 897542781938176.0 25270160017.0) (pow x 3.0)) (pow y 19.0))) (* (* (/ 162621780735447.0 25270160017.0) (pow x 2.0)) (pow y 20.0))) (* (* (/ 19205375951784.0 25270160017.0) x) (pow y 21.0))) (* (/ 1094139522179.0 25270160017.0) (pow y 22.0))) (* (/ 62072199065591.0 25270160017.0) (pow x 21.0))) (* (* (/ 1209499194589719.0 25270160017.0) (pow x 20.0)) y)) (* (* (/ 7218555424885783.0 25270160017.0) (pow x 19.0)) (pow y 2.0))) (* (* (/ 1.45917199002911e+16 25270160017.0) (pow x 18.0)) (pow y 3.0))) (* (* (/ 3.1769561492951e+15 25270160017.0) (pow x 17.0)) (pow y 4.0))) (* (* (/ 8.47102166795878e+16 25270160017.0) (pow x 16.0)) (pow y 5.0))) (* (* (/ 2.2441239814755843e+17 25270160017.0) (pow x 15.0)) (pow y 6.0))) (* (* (/ 3.431407961652173e+17 25270160017.0) (pow x 14.0)) (pow y 7.0))) (* (* (/ 3.587132623441992e+17 25270160017.0) (pow x 13.0)) (pow y 8.0))) (* (* (/ 2.740823496525978e+17 25270160017.0) (pow x 12.0)) (pow y 9.0))) (* (* (/ 1.6160856276417642e+17 25270160017.0) (pow x 11.0)) (pow y 10.0))) (* (* (/ 7.96802198410691e+16 25270160017.0) (pow x 10.0)) (pow y 11.0))) (* (* (/ 3.69940664802509e+16 25270160017.0) (pow x 9.0)) (pow y 12.0))) (* (* (/ 1.82137008434135e+16 25270160017.0) (pow x 8.0)) (pow y 13.0))) (* (* (/ 1.0236182543274e+16 25270160017.0) (pow x 7.0)) (pow y 14.0))) (* (* (/ 6.39405777076634e+15 25270160017.0) (pow x 6.0)) (pow y 15.0))) (* (* (/ 3772562781238295.0 25270160017.0) (pow x 5.0)) (pow y 16.0))) (* (* (/ 1.77230417276211e+15 25270160017.0) (pow x 4.0)) (pow y 17.0))) (* (* (/ 597364397033239.0 25270160017.0) (pow x 3.0)) (pow y 18.0))) (* (* (/ 1.3413093227424e+14 25270160017.0) (pow x 2.0)) (pow y 19.0))) (* (* (/ 18091330279759.0 25270160017.0) x) (pow y 20.0))) (* (/ 1125987080691.0 25270160017.0) (pow y 21.0))) (* (/ 106501720260672.0 25270160017.0) (pow x 20.0))) (* (* (/ 847346159272448.0 25270160017.0) (pow x 19.0)) y)) (* (* (/ 5.49445525578752e+15 25270160017.0) (pow x 18.0)) (pow y 2.0))) (* (* (/ 2.43106997130117e+16 25270160017.0) (pow x 17.0)) (pow y 3.0))) (* (* (/ 6.86096529251697e+16 25270160017.0) (pow x 16.0)) (pow y 4.0))) (* (* (/ 1.28255943335281e+17 25270160017.0) (pow x 15.0)) (pow y 5.0))) (* (* (/ 1.6278744418329296e+17 25270160017.0) (pow x 14.0)) (pow y 6.0))) (* (* (/ 1.39012366127923e+17 25270160017.0) (pow x 13.0)) (pow y 7.0))) (* (* (/ 7.5228754632278e+16 25270160017.0) (pow x 12.0)) (pow y 8.0))) (* (* (/ 2.31399387839939e+16 25270160017.0) (pow x 11.0)) (pow y 9.0))) (* (* (/ 9179951622622232.0 25270160017.0) (pow x 10.0)) (pow y 10.0))) (* (* (/ 1.73759121283236e+16 25270160017.0) (pow x 9.0)) (pow y 11.0))) (* (* (/ 2.33491530936238e+16 25270160017.0) (pow x 8.0)) (pow y 12.0))) (* (* (/ 2.019631952309353e+16 25270160017.0) (pow x 7.0)) (pow y 13.0))) (* (* (/ 1.30714566982124e+16 25270160017.0) (pow x 6.0)) (pow y 14.0))) (* (* (/ 6819154915560471.0 25270160017.0) (pow x 5.0)) (pow y 15.0))) (* (* (/ 2863383522773015.0 25270160017.0) (pow x 4.0)) (pow y 16.0))) (* (* (/ 915609759250967.0 25270160017.0) (pow x 3.0)) (pow y 17.0))) (* (* (/ 12056166613799.0 1486480001.0) (pow x 2.0)) (pow y 18.0))) (* (* (/ 28339663362384.0 25270160017.0) x) (pow y 19.0))) (* (/ 1822029715473.0 25270160017.0) (pow y 20.0))) (* (/ 4403060145671.0 1486480001.0) (pow x 19.0))) (* (* (/ 20721611735880.0 25270160017.0) (pow x 18.0)) y)) (* (* (/ 1388534137846295.0 25270160017.0) (pow x 17.0)) (pow y 2.0))) (* (* (/ 4.82224745099469e+15 25270160017.0) (pow x 16.0)) (pow y 3.0))) (* (* (/ 6674631507725335.0 25270160017.0) (pow x 15.0)) (pow y 4.0))) (* (* (/ 2480206838708247.0 25270160017.0) (pow x 14.0)) (pow y 5.0))) (* (* (/ 26888401251474456.0 25270160017.0) (pow x 13.0)) (pow y 6.0))) (* (* (/ 5.187420758860495e+16 25270160017.0) (pow x 12.0)) (pow y 7.0))) (* (* (/ 5.48451506488934e+16 25270160017.0) (pow x 11.0)) (pow y 8.0))) (* (* (/ 1929343132238247.0 1486480001.0) (pow x 10.0)) (pow y 9.0))) (* (* (/ 344274601286055.0 1486480001.0) (pow x 9.0)) (pow y 10.0))) (* (* (/ 7946610944035863.0 25270160017.0) (pow x 8.0)) (pow y 11.0))) (* (* (/ 8.47968929104282e+15 25270160017.0) (pow x 7.0)) (pow y 12.0))) (* (* (/ 4653214748496919.0 25270160017.0) (pow x 6.0)) (pow y 13.0))) (* (* (/ 1.9043292966185e+15 25270160017.0) (pow x 5.0)) (pow y 14.0))) (* (* (/ 708550287623959.0 25270160017.0) (pow x 4.0)) (pow y 15.0))) (* (* (/ 240695751677568.0 25270160017.0) (pow x 3.0)) (pow y 16.0))) (* (* (/ 62211525896311.0 25270160017.0) (pow x 2.0)) (pow y 17.0))) (* (* (/ 9941297745907.0 25270160017.0) x) (pow y 18.0))) (* (/ 717840789380.0 25270160017.0) (pow y 19.0))) (* (/ 23815299085743.0 25270160017.0) (pow x 18.0))) (* (* (/ 121167012755415.0 25270160017.0) (pow x 17.0)) y)) (* (* (/ 623062264194304.0 25270160017.0) (pow x 16.0)) (pow y 2.0))) (* (* (/ 2.81061402449203e+15 25270160017.0) (pow x 15.0)) (pow y 3.0))) (* (* (/ 8262171262077975.0 25270160017.0) (pow x 14.0)) (pow y 4.0))) (* (* (/ 1.6268652205482e+16 25270160017.0) (pow x 13.0)) (pow y 5.0))) (* (* (/ 2.14384143293563e+16 25270160017.0) (pow x 12.0)) (pow y 6.0))) (* (* (/ 17536107118541848.0 25270160017.0) (pow x 11.0)) (pow y 7.0))) (* (* (/ 5861366139835415.0 25270160017.0) (pow x 10.0)) (pow y 8.0))) (* (* (/ 4.33605683124838e+15 25270160017.0) (pow x 9.0)) (pow y 9.0))) (* (* (/ 6.4675422201815e+15 25270160017.0) (pow x 8.0)) (pow y 10.0))) (* (* (/ 3.01040224383078e+15 25270160017.0) (pow x 7.0)) (pow y 11.0))) (* (* (/ 235161231431808.0 25270160017.0) (pow x 6.0)) (pow y 12.0))) (* (* (/ 62526779138560.0 1486480001.0) (pow x 5.0)) (pow y 13.0))) (* (* (/ 628980854364951.0 25270160017.0) (pow x 4.0)) (pow y 14.0))) (* (* (/ 197693161271936.0 25270160017.0) (pow x 3.0)) (pow y 15.0))) (* (* (/ 36116994930951.0 25270160017.0) (pow x 2.0)) (pow y 16.0))) (* (* (/ 3567605490053.0 25270160017.0) x) (pow y 17.0))) (* (/ 434251002317.0 75810480051.0) (pow y 18.0))) (* (/ 23846658939752.0 25270160017.0) (pow x 17.0))) (* (* (/ 49015832141815.0 25270160017.0) (pow x 16.0)) y)) (* (* (/ 105918041784896.0 25270160017.0) (pow x 15.0)) (pow y 2.0))) (* (* (/ 510070177754368.0 25270160017.0) (pow x 14.0)) (pow y 3.0))) (* (* (/ 834942592444928.0 25270160017.0) (pow x 13.0)) (pow y 4.0))) (* (* (/ 346734248722048.0 25270160017.0) (pow x 12.0)) (pow y 5.0))) (* (* (/ 1617582885066775.0 25270160017.0) (pow x 11.0)) (pow y 6.0))) (* (* (/ 4264481689891863.0 25270160017.0) (pow x 10.0)) (pow y 7.0))) (* (* (/ 5290932370289687.0 25270160017.0) (pow x 9.0)) (pow y 8.0))) (* (* (/ 3488976345461783.0 25270160017.0) (pow x 8.0)) (pow y 9.0))) (* (* (/ 533258177371392.0 25270160017.0) (pow x 7.0)) (pow y 10.0))) (* (* (/ 1.19951292252211e+15 25270160017.0) (pow x 6.0)) (pow y 11.0))) (* (* (/ 1238768254315031.0 25270160017.0) (pow x 5.0)) (pow y 12.0))) (* (* (/ 626317550421783.0 25270160017.0) (pow x 4.0)) (pow y 13.0))) (* (* (/ 190670125268183.0 25270160017.0) (pow x 3.0)) (pow y 14.0))) (* (* (/ 35322361400656.0 25270160017.0) (pow x 2.0)) (pow y 15.0))) (* (* (/ 3697057396197.0 25270160017.0) x) (pow y 16.0))) (* (/ 701715530153.0 101080640068.0) (pow y 17.0))) (* (/ 2015310048697.0 25270160017.0) (pow x 16.0))) (* (* (/ 2391706714485.0 25270160017.0) (pow x 15.0)) y)) (* (* (/ 36459024246480.0 25270160017.0) (pow x 14.0)) (pow y 2.0))) (* (* (/ 2.3861005810752e+14 25270160017.0) (pow x 13.0)) (pow y 3.0))) (* (* (/ 604445097210647.0 25270160017.0) (pow x 12.0)) (pow y 4.0))) (* (* (/ 1.00659251789466e+15 25270160017.0) (pow x 11.0)) (pow y 5.0))) (* (* (/ 1271859214967319.0 25270160017.0) (pow x 10.0)) (pow y 6.0))) (* (* (/ 1.14144346134579e+15 25270160017.0) (pow x 9.0)) (pow y 7.0))) (* (* (/ 442130559886103.0 25270160017.0) (pow x 8.0)) (pow y 8.0))) (* (* (/ 415814521787159.0 25270160017.0) (pow x 7.0)) (pow y 9.0))) (* (* (/ 800971620033024.0 25270160017.0) (pow x 6.0)) (pow y 10.0))) (* (* (/ 620627996907776.0 25270160017.0) (pow x 5.0)) (pow y 11.0))) (* (* (/ 277145293087872.0 25270160017.0) (pow x 4.0)) (pow y 12.0))) (* (* (/ 72882244406048.0 25270160017.0) (pow x 3.0)) (pow y 13.0))) (* (* (/ 609169568436.0 1486480001.0) (pow x 2.0)) (pow y 14.0))) (* (* (/ 1236667576463.0 50540320034.0) x) (pow y 15.0))) (* (/ 68851970594.0 227431440153.0) (pow y 16.0))) (* (/ 4043684928437.0 25270160017.0) (pow x 15.0))) (* (* (/ 12424084546159.0 25270160017.0) (pow x 14.0)) y)) (* (* (/ 8498445850532.0 25270160017.0) (pow x 13.0)) (pow y 2.0))) (* (* (/ 30090975479367.0 25270160017.0) (pow x 12.0)) (pow y 3.0))) (* (* (/ 4073292860186.0 25270160017.0) (pow x 11.0)) (pow y 4.0))) (* (* (/ 59190751394423.0 25270160017.0) (pow x 10.0)) (pow y 5.0))) (* (* (/ 78987457248887.0 25270160017.0) (pow x 9.0)) (pow y 6.0))) (* (* (/ 131949095866071.0 25270160017.0) (pow x 8.0)) (pow y 7.0))) (* (* (/ 2.3702345457472e+14 25270160017.0) (pow x 7.0)) (pow y 8.0))) (* (* (/ 16124806632231.0 1486480001.0) (pow x 6.0)) (pow y 9.0))) (* (* (/ 187655635497792.0 25270160017.0) (pow x 5.0)) (pow y 10.0))) (* (* (/ 71259163820064.0 25270160017.0) (pow x 4.0)) (pow y 11.0))) (* (* (/ 11269100746068.0 25270160017.0) (pow x 3.0)) (pow y 12.0))) (* (* (/ 1080477469214.0 25270160017.0) (pow x 2.0)) (pow y 13.0))) (* (* (/ 589347628485.0 25270160017.0) x) (pow y 14.0))) (* (/ 352632633419.0 176891120119.0) (pow y 15.0))) (* (/ 397019089852.0 25270160017.0) (pow x 14.0))) (* (* (/ 2670544924806.0 25270160017.0) (pow x 13.0)) y)) (* (* (/ 1291796720390.0 25270160017.0) (pow x 12.0)) (pow y 2.0))) (* (* (/ 21761661148392.0 25270160017.0) (pow x 11.0)) (pow y 3.0))) (* (* (/ 42719167523472.0 25270160017.0) (pow x 10.0)) (pow y 4.0))) (* (* (/ 28869969428487.0 25270160017.0) (pow x 9.0)) (pow y 5.0))) (* (* (/ 9242958364211.0 25270160017.0) (pow x 8.0)) (pow y 6.0))) (* (* (/ 26534251779079.0 25270160017.0) (pow x 7.0)) (pow y 7.0))) (* (* (/ 48558311940512.0 25270160017.0) (pow x 6.0)) (pow y 8.0))) (* (* (/ 37430200123536.0 25270160017.0) (pow x 5.0)) (pow y 9.0))) (* (* (/ 10381359854756.0 25270160017.0) (pow x 4.0)) (pow y 10.0))) (* (* (/ 157317094066.0 1486480001.0) (pow x 3.0)) (pow y 11.0))) (* (* (/ 2505275832433.0 25270160017.0) (pow x 2.0)) (pow y 12.0))) (* (* (/ 1153080032687.0 50540320034.0) x) (pow y 13.0))) (* (/ 169744781459.0 101080640068.0) (pow y 14.0))) (* (/ 1166418701833.0 50540320034.0) (pow x 13.0))) (* (* (/ 1873061713842.0 25270160017.0) (pow x 12.0)) y)) (* (* (/ 1691113180933.0 25270160017.0) (pow x 11.0)) (pow y 2.0))) (* (* (/ 3108842368522.0 25270160017.0) (pow x 10.0)) (pow y 3.0))) (* (* (/ 5211956069738.0 25270160017.0) (pow x 9.0)) (pow y 4.0))) (* (* (/ 14061525548015.0 25270160017.0) (pow x 8.0)) (pow y 5.0))) (* (* (/ 5293750700194.0 25270160017.0) (pow x 7.0)) (pow y 6.0))) (* (* (/ 7493510449348.0 25270160017.0) (pow x 6.0)) (pow y 7.0))) (* (* (/ 8331960214787.0 25270160017.0) (pow x 5.0)) (pow y 8.0))) (* (* (/ 1001833625496.0 25270160017.0) (pow x 4.0)) (pow y 9.0))) (* (* (/ 2661444285709.0 25270160017.0) (pow x 3.0)) (pow y 10.0))) (* (* (/ 1588811168714.0 25270160017.0) (pow x 2.0)) (pow y 11.0))) (* (* (/ 324667819399.0 25270160017.0) x) (pow y 12.0))) (* (/ 122199429187.0 151620960102.0) (pow y 13.0))) (* (/ 122017464525.0 25270160017.0) (pow x 12.0))) (* (* (/ 812548583957.0 25270160017.0) (pow x 11.0)) y)) (* (* (/ 719737249682.0 25270160017.0) (pow x 10.0)) (pow y 2.0))) (* (* (/ 1466636601496.0 25270160017.0) (pow x 9.0)) (pow y 3.0))) (* (* (/ 3769596601749.0 25270160017.0) (pow x 8.0)) (pow y 4.0))) (* (* (/ 1151407240995.0 50540320034.0) (pow x 7.0)) (pow y 5.0))) (* (* (/ 3115344619970.0 25270160017.0) (pow x 6.0)) (pow y 6.0))) (* (* (/ 2997381349501.0 25270160017.0) (pow x 5.0)) (pow y 7.0))) (* (* (/ 18181390239.0 50540320034.0) (pow x 4.0)) (pow y 8.0))) (* (* (/ 1438173300542.0 25270160017.0) (pow x 3.0)) (pow y 9.0))) (* (* (/ 753425841454.0 25270160017.0) (pow x 2.0)) (pow y 10.0))) (* (* (/ 119930039350.0 25270160017.0) x) (pow y 11.0))) (* (/ 50450459983.0 429592720289.0) (pow y 12.0))) (* (/ 784116471853.0 151620960102.0) (pow x 11.0))) (* (* (/ 319537520907.0 126350800085.0) (pow x 10.0)) y)) (* (* (/ 266374967639.0 25270160017.0) (pow x 9.0)) (pow y 2.0))) (* (* (/ 1280385254841.0 50540320034.0) (pow x 8.0)) (pow y 3.0))) (* (* (/ 328965019152.0 25270160017.0) (pow x 7.0)) (pow y 4.0))) (* (* (/ 1103180278684.0 25270160017.0) (pow x 6.0)) (pow y 5.0))) (* (* (/ 873824604664.0 25270160017.0) (pow x 5.0)) (pow y 6.0))) (* (* (/ 655253856752.0 75810480051.0) (pow x 4.0)) (pow y 7.0))) (* (* (/ 1308237432557.0 50540320034.0) (pow x 3.0)) (pow y 8.0))) (* (* (/ 527212132183.0 50540320034.0) (pow x 2.0)) (pow y 9.0))) (* (* (/ 122651043735.0 202161280136.0) x) (pow y 10.0))) (* (/ 20445716951.0 151620960102.0) (pow y 11.0))) (* (/ 150768950453.0 227431440153.0) (pow x 10.0))) (* (* (/ 191568332692.0 75810480051.0) (pow x 9.0)) y)) (* (* (/ 618474271723.0 151620960102.0) (pow x 8.0)) (pow y 2.0))) (* (* (/ 7652050681.0 1486480001.0) (pow x 7.0)) (pow y 3.0))) (* (* (/ 728152090523.0 75810480051.0) (pow x 6.0)) (pow y 4.0))) (* (* (/ 933659522279.0 151620960102.0) (pow x 5.0)) (pow y 5.0))) (* (* (/ 9145640152.0 1486480001.0) (pow x 4.0)) (pow y 6.0))) (* (* (/ 685726343423.0 75810480051.0) (pow x 3.0)) (pow y 7.0))) (* (* (/ 274952703388.0 126350800085.0) (pow x 2.0)) (pow y 8.0))) (* (* (/ 117525913681.0 252701600170.0) x) (pow y 9.0))) (* (/ 77319386925.0 707564480476.0) (pow y 10.0))) (* (/ 107398537642.0 581213680391.0) (pow x 9.0))) (* (* (/ 109749553155.0 783374960527.0) (pow x 8.0)) y)) (* (* (/ 31862974715.0 25270160017.0) (pow x 7.0)) (pow y 2.0))) (* (* (/ 103198468879.0 75810480051.0) (pow x 6.0)) (pow y 3.0))) (* (* (/ 186000410079.0 328512080221.0) (pow x 5.0)) (pow y 4.0))) (* (* (/ 398552066385.0 176891120119.0) (pow x 4.0)) (pow y 5.0))) (* (* (/ 113880382671.0 50540320034.0) (pow x 3.0)) (pow y 6.0))) (* (* (/ 24668776352.0 1592020081071.0) (pow x 2.0)) (pow y 7.0))) (* (* (/ 78127445473.0 227431440153.0) x) (pow y 8.0))) (* (/ 19192638069.0 505403200340.0) (pow y 9.0))) (* (/ 39917094228.0 1086616880731.0) (pow x 8.0))) (* (* (/ 65985180613.0 454862880306.0) (pow x 7.0)) y)) (* (* (/ 44805099911.0 480133040323.0) (pow x 6.0)) (pow y 2.0))) (* (* (/ 19789503547.0 6494431124369.0) (pow x 5.0)) (pow y 3.0))) (* (* (/ 95829880289.0 176891120119.0) (pow x 4.0)) (pow y 4.0))) (* (* (/ 48356618816.0 126350800085.0) (pow x 3.0)) (pow y 5.0))) (* (* (/ 95471654069.0 581213680391.0) (pow x 2.0)) (pow y 6.0))) (* (* (/ 39963075504.0 328512080221.0) x) (pow y 7.0))) (* (/ 23142215811.0 5180382803485.0) (pow y 8.0))) (* (/ 7443352719.0 2855528081921.0) (pow x 7.0))) (* (* (/ 89378333.0 93648240063.0) (pow x 6.0)) y)) (* (* (/ 20399913897.0 3386201442278.0) (pow x 5.0)) (pow y 2.0))) (* (* (/ 60735027826.0 631754000425.0) (pow x 4.0)) (pow y 3.0))) (* (* (/ 27621647559.0 732834640493.0) (pow x 3.0)) (pow y 4.0))) (* (* (/ 66840022436.0 1036076560697.0) (pow x 2.0)) (pow y 5.0))) (* (* (/ 23761269928.0 884455600595.0) x) (pow y 6.0))) (* (/ 18810173657.0 8996176966052.0) (pow y 7.0))) (* (/ 76279016.0 1306615920879.0) (pow x 6.0))) (* (* (/ 11565092913.0 7833749605270.0) (pow x 5.0)) y)) (* (* (/ 24790412867.0 1971072481326.0) (pow x 4.0)) (pow y 2.0))) (* (* (/ 6470438821.0 11472652647718.0) (pow x 3.0)) (pow y 3.0))) (* (* (/ 15162147539.0 1036076560697.0) (pow x 2.0)) (pow y 4.0))) (* (* (/ 11832871468.0 3360931282261.0) x) (pow y 5.0))) (* (/ 10735291281.0 8010640725389.0) (pow y 6.0))) (* (/ 5437998775.0 54912057716941.0) (pow x 5.0))) (* (* (/ 6832229481.0 7025104484726.0) (pow x 4.0)) y)) (* (* (/ 5520961116.0 6241729524199.0) (pow x 3.0)) (pow y 2.0))) (* (* (/ 9271019329.0 4245386882856.0) (pow x 2.0)) (pow y 3.0))) (* (* (/ 2920969469.0 24891107616745.0) x) (pow y 4.0))) (* (/ 6216650693.0 15162096010200.0) (pow y 5.0))) (* (/ 848693164.0 23880301216065.0) (pow x 4.0))) (* (* (/ 3263512153.0 25270160017000.0) (pow x 3.0)) y)) (* (* (/ 1458390626.0 7100914964777.0) (pow x 2.0)) (pow y 2.0))) (* (* (/ 431921017.0 8238072165542.0) x) (pow y 3.0))) (* (/ 1558194946.0 18775728892631.0) (pow y 4.0))) (* (/ 503566261.0 66612141804812.0) (pow x 3.0))) (* (* (/ 695422244.0 68911726366359.0) (pow x 2.0)) y)) (* (* (/ 405722383.0 36186869144344.0) x) (pow y 2.0))) (* (/ 1090985973.0 92817297742441.0) (pow y 3.0))) (* (/ 61932145.0 1254006420683608.0) (pow x 2.0))) (* (* (/ 260471453.0 256466854012533.0) x) y)) (* (/ 159597801.0 1.3923858169367e+14) (pow y 2.0))) (* (/ 34575068.0 1074714635362993.0) x)) (* (/ 20762863.0 291769267556282.0) y)) (/ 7396213.0 3169686711252344.0)))

Timeout after 2.5m

Reproduce