11.785 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
24.701 * * * [progress]: [2/2] Setting up program.
25.226 * [progress]: [Phase 2 of 3] Improving.
25.228 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (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))
25.445 * * [simplify]: iteration  0 :  5002  enodes  (cost  3170 )
25.459 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (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))
25.461 * [progress]: [Phase 3 of 3] Extracting.
25.899 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (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))
26.092 * * [simplify]: iteration  0 :  4193  enodes  (cost  3170 )
26.100 * * [simplify]: iteration  1 :  4197  enodes  (cost  3170 )
26.108 * * [simplify]: iteration  2 :  4200  enodes  (cost  3170 )
26.115 * * [simplify]: iteration  3 :  4200  enodes  (cost  3170 )
26.136 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (- (+ (+ (- (- (+ (+ (- (- (+ (+ (- (- (- (+ (+ (+ (- (- (- (+ (+ (+ (+ (- (- (+ (+ (+ (- (- (- (- (- (+ (+ (- (- (- (- (- (- (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (- (- (- (+ (+ (+ (- (+ (+ (+ (+ (- (- (- (+ (+ (- (- (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (- (- (- (+ (+ (+ (- (- (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (+ (+ (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (- (- (- (- (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (+ (+ (+ (+ (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (- (* (/ (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))