deforest-nomh.js

__pr = require("./webchurch/probabilistic-js/probabilistic/index"); __pr.openModule(__pr);
__ch = require("./webchurch/church_builtins"); __pr.openModule(__ch);
__int = require("./trace_interface");
var X0 = _const(3.141592653589793);
var X1 = _const(0);
var X2 = _const(51);
var X3 = eq(X1, X2);
var X4 = _const(1);
var X5 = plus(X1, X4);
var X6 = _const(51);
var X7 = eq(X5, X6);
var X8 = _const(1);
var X9 = plus(X5, X8);
var X10 = _const(51);
var X11 = eq(X9, X10);
var X12 = _const(1);
var X13 = plus(X9, X12);
var X14 = _const(51);
var X15 = eq(X13, X14);
var X16 = _const(1);
var X17 = plus(X13, X16);
var X18 = _const(51);
var X19 = eq(X17, X18);
var X20 = _const(1);
var X21 = plus(X17, X20);
var X22 = _const(51);
var X23 = eq(X21, X22);
var X24 = _const(1);
var X25 = plus(X21, X24);
var X26 = _const(51);
var X27 = eq(X25, X26);
var X28 = _const(1);
var X29 = plus(X25, X28);
var X30 = _const(51);
var X31 = eq(X29, X30);
var X32 = _const(1);
var X33 = plus(X29, X32);
var X34 = _const(51);
var X35 = eq(X33, X34);
var X36 = _const(1);
var X37 = plus(X33, X36);
var X38 = _const(51);
var X39 = eq(X37, X38);
var X40 = _const(1);
var X41 = plus(X37, X40);
var X42 = _const(51);
var X43 = eq(X41, X42);
var X44 = _const(1);
var X45 = plus(X41, X44);
var X46 = _const(51);
var X47 = eq(X45, X46);
var X48 = _const(1);
var X49 = plus(X45, X48);
var X50 = _const(51);
var X51 = eq(X49, X50);
var X52 = _const(1);
var X53 = plus(X49, X52);
var X54 = _const(51);
var X55 = eq(X53, X54);
var X56 = _const(1);
var X57 = plus(X53, X56);
var X58 = _const(51);
var X59 = eq(X57, X58);
var X60 = _const(1);
var X61 = plus(X57, X60);
var X62 = _const(51);
var X63 = eq(X61, X62);
var X64 = _const(1);
var X65 = plus(X61, X64);
var X66 = _const(51);
var X67 = eq(X65, X66);
var X68 = _const(1);
var X69 = plus(X65, X68);
var X70 = _const(51);
var X71 = eq(X69, X70);
var X72 = _const(1);
var X73 = plus(X69, X72);
var X74 = _const(51);
var X75 = eq(X73, X74);
var X76 = _const(1);
var X77 = plus(X73, X76);
var X78 = _const(51);
var X79 = eq(X77, X78);
var X80 = _const(1);
var X81 = plus(X77, X80);
var X82 = _const(51);
var X83 = eq(X81, X82);
var X84 = _const(1);
var X85 = plus(X81, X84);
var X86 = _const(51);
var X87 = eq(X85, X86);
var X88 = _const(1);
var X89 = plus(X85, X88);
var X90 = _const(51);
var X91 = eq(X89, X90);
var X92 = _const(1);
var X93 = plus(X89, X92);
var X94 = _const(51);
var X95 = eq(X93, X94);
var X96 = _const(1);
var X97 = plus(X93, X96);
var X98 = _const(51);
var X99 = eq(X97, X98);
var X100 = _const(1);
var X101 = plus(X97, X100);
var X102 = _const(51);
var X103 = eq(X101, X102);
var X104 = _const(1);
var X105 = plus(X101, X104);
var X106 = _const(51);
var X107 = eq(X105, X106);
var X108 = _const(1);
var X109 = plus(X105, X108);
var X110 = _const(51);
var X111 = eq(X109, X110);
var X112 = _const(1);
var X113 = plus(X109, X112);
var X114 = _const(51);
var X115 = eq(X113, X114);
var X116 = _const(1);
var X117 = plus(X113, X116);
var X118 = _const(51);
var X119 = eq(X117, X118);
var X120 = _const(1);
var X121 = plus(X117, X120);
var X122 = _const(51);
var X123 = eq(X121, X122);
var X124 = _const(1);
var X125 = plus(X121, X124);
var X126 = _const(51);
var X127 = eq(X125, X126);
var X128 = _const(1);
var X129 = plus(X125, X128);
var X130 = _const(51);
var X131 = eq(X129, X130);
var X132 = _const(1);
var X133 = plus(X129, X132);
var X134 = _const(51);
var X135 = eq(X133, X134);
var X136 = _const(1);
var X137 = plus(X133, X136);
var X138 = _const(51);
var X139 = eq(X137, X138);
var X140 = _const(1);
var X141 = plus(X137, X140);
var X142 = _const(51);
var X143 = eq(X141, X142);
var X144 = _const(1);
var X145 = plus(X141, X144);
var X146 = _const(51);
var X147 = eq(X145, X146);
var X148 = _const(1);
var X149 = plus(X145, X148);
var X150 = _const(51);
var X151 = eq(X149, X150);
var X152 = _const(1);
var X153 = plus(X149, X152);
var X154 = _const(51);
var X155 = eq(X153, X154);
var X156 = _const(1);
var X157 = plus(X153, X156);
var X158 = _const(51);
var X159 = eq(X157, X158);
var X160 = _const(1);
var X161 = plus(X157, X160);
var X162 = _const(51);
var X163 = eq(X161, X162);
var X164 = _const(1);
var X165 = plus(X161, X164);
var X166 = _const(51);
var X167 = eq(X165, X166);
var X168 = _const(1);
var X169 = plus(X165, X168);
var X170 = _const(51);
var X171 = eq(X169, X170);
var X172 = _const(1);
var X173 = plus(X169, X172);
var X174 = _const(51);
var X175 = eq(X173, X174);
var X176 = _const(1);
var X177 = plus(X173, X176);
var X178 = _const(51);
var X179 = eq(X177, X178);
var X180 = _const(1);
var X181 = plus(X177, X180);
var X182 = _const(51);
var X183 = eq(X181, X182);
var X184 = _const(1);
var X185 = plus(X181, X184);
var X186 = _const(51);
var X187 = eq(X185, X186);
var X188 = _const(1);
var X189 = plus(X185, X188);
var X190 = _const(51);
var X191 = eq(X189, X190);
var X192 = _const(1);
var X193 = plus(X189, X192);
var X194 = _const(51);
var X195 = eq(X193, X194);
var X196 = _const(1);
var X197 = plus(X193, X196);
var X198 = _const(51);
var X199 = eq(X197, X198);
var X200 = _const(1);
var X201 = plus(X197, X200);
var X202 = _const(51);
var X203 = eq(X201, X202);
var X204 = _const(1);
var X205 = plus(X201, X204);
var X206 = _const(51);
var X207 = eq(X205, X206);
var X208 = _const(undefined);
var X209 = _const(undefined);
var X210 = _const(0);
var X211 = plus(X201, X210);
var X212 = plus(X197, X211);
var X213 = plus(X193, X212);
var X214 = plus(X189, X213);
var X215 = plus(X185, X214);
var X216 = plus(X181, X215);
var X217 = plus(X177, X216);
var X218 = plus(X173, X217);
var X219 = plus(X169, X218);
var X220 = plus(X165, X219);
var X221 = plus(X161, X220);
var X222 = plus(X157, X221);
var X223 = plus(X153, X222);
var X224 = plus(X149, X223);
var X225 = plus(X145, X224);
var X226 = plus(X141, X225);
var X227 = plus(X137, X226);
var X228 = plus(X133, X227);
var X229 = plus(X129, X228);
var X230 = plus(X125, X229);
var X231 = plus(X121, X230);
var X232 = plus(X117, X231);
var X233 = plus(X113, X232);
var X234 = plus(X109, X233);
var X235 = plus(X105, X234);
var X236 = plus(X101, X235);
var X237 = plus(X97, X236);
var X238 = plus(X93, X237);
var X239 = plus(X89, X238);
var X240 = plus(X85, X239);
var X241 = plus(X81, X240);
var X242 = plus(X77, X241);
var X243 = plus(X73, X242);
var X244 = plus(X69, X243);
var X245 = plus(X65, X244);
var X246 = plus(X61, X245);
var X247 = plus(X57, X246);
var X248 = plus(X53, X247);
var X249 = plus(X49, X248);
var X250 = plus(X45, X249);
var X251 = plus(X41, X250);
var X252 = plus(X37, X251);
var X253 = plus(X33, X252);
var X254 = plus(X29, X253);
var X255 = plus(X25, X254);
var X256 = plus(X21, X255);
var X257 = plus(X17, X256);
var X258 = plus(X13, X257);
var X259 = plus(X9, X258);
var X260 = plus(X5, X259);
var X261 = plus(X1, X260);
var X262 = _const(1);
var X263 = _const(1);
var X264 = _const(1);
var X265 = _const(1);
var X266 = _const(1);
var X267 = _const(1);
var X268 = _const(1);
var X269 = _const(1);
var X270 = _const(1);
var X271 = _const(1);
var X272 = _const(1);
var X273 = _const(1);
var X274 = _const(1);
var X275 = _const(1);
var X276 = _const(1);
var X277 = _const(1);
var X278 = _const(1);
var X279 = _const(1);
var X280 = _const(1);
var X281 = _const(1);
var X282 = _const(1);
var X283 = _const(1);
var X284 = _const(1);
var X285 = _const(1);
var X286 = _const(1);
var X287 = _const(1);
var X288 = _const(1);
var X289 = _const(1);
var X290 = _const(1);
var X291 = _const(1);
var X292 = _const(1);
var X293 = _const(1);
var X294 = _const(1);
var X295 = _const(1);
var X296 = _const(1);
var X297 = _const(1);
var X298 = _const(1);
var X299 = _const(1);
var X300 = _const(1);
var X301 = _const(1);
var X302 = _const(1);
var X303 = _const(1);
var X304 = _const(1);
var X305 = _const(1);
var X306 = _const(1);
var X307 = _const(1);
var X308 = _const(1);
var X309 = _const(1);
var X310 = _const(1);
var X311 = _const(1);
var X312 = _const(1);
var X313 = _const(0);
var X314 = plus(X312, X313);
var X315 = plus(X311, X314);
var X316 = plus(X310, X315);
var X317 = plus(X309, X316);
var X318 = plus(X308, X317);
var X319 = plus(X307, X318);
var X320 = plus(X306, X319);
var X321 = plus(X305, X320);
var X322 = plus(X304, X321);
var X323 = plus(X303, X322);
var X324 = plus(X302, X323);
var X325 = plus(X301, X324);
var X326 = plus(X300, X325);
var X327 = plus(X299, X326);
var X328 = plus(X298, X327);
var X329 = plus(X297, X328);
var X330 = plus(X296, X329);
var X331 = plus(X295, X330);
var X332 = plus(X294, X331);
var X333 = plus(X293, X332);
var X334 = plus(X292, X333);
var X335 = plus(X291, X334);
var X336 = plus(X290, X335);
var X337 = plus(X289, X336);
var X338 = plus(X288, X337);
var X339 = plus(X287, X338);
var X340 = plus(X286, X339);
var X341 = plus(X285, X340);
var X342 = plus(X284, X341);
var X343 = plus(X283, X342);
var X344 = plus(X282, X343);
var X345 = plus(X281, X344);
var X346 = plus(X280, X345);
var X347 = plus(X279, X346);
var X348 = plus(X278, X347);
var X349 = plus(X277, X348);
var X350 = plus(X276, X349);
var X351 = plus(X275, X350);
var X352 = plus(X274, X351);
var X353 = plus(X273, X352);
var X354 = plus(X272, X353);
var X355 = plus(X271, X354);
var X356 = plus(X270, X355);
var X357 = plus(X269, X356);
var X358 = plus(X268, X357);
var X359 = plus(X267, X358);
var X360 = plus(X266, X359);
var X361 = plus(X265, X360);
var X362 = plus(X264, X361);
var X363 = plus(X263, X362);
var X364 = plus(X262, X363);
var X365 = div(X261, X364);
var X366 = _const(0);
var X367 = _const(10000);
var X368 = wrapped_gaussian(X366, X367);
var X369 = _const(0);
var X370 = _const(10000);
var X371 = wrapped_gaussian(X369, X370);
var X372 = _const(0);
var X373 = _const(10000);
var X374 = wrapped_gaussian(X372, X373);
var X375 = abs(X374);
var X376 = minus(X1, X365);
var X377 = mult(X371, X376);
var X378 = plus(X368, X377);
var X379 = _const(1);
var X380 = div(X379, X375);
var X381 = minus(X1, X378);
var X382 = mult(X381, X381);
var X383 = _const(2);
var X384 = mult(X383, X380);
var X385 = div(X382, X384);
var X386 = minus(X385);
var X387 = _const(0.5);
var X388 = _const(2);
var X389 = log(X388);
var X390 = log(X0);
var X391 = log(X380);
var X392 = plus(X389, X390, X391);
var X393 = mult(X387, X392);
var X394 = minus(X386, X393);
var X395 = wrapped_factor(X394);
var X396 = minus(X5, X365);
var X397 = mult(X371, X396);
var X398 = plus(X368, X397);
var X399 = _const(1);
var X400 = div(X399, X375);
var X401 = minus(X5, X398);
var X402 = mult(X401, X401);
var X403 = _const(2);
var X404 = mult(X403, X400);
var X405 = div(X402, X404);
var X406 = minus(X405);
var X407 = _const(0.5);
var X408 = _const(2);
var X409 = log(X408);
var X410 = log(X0);
var X411 = log(X400);
var X412 = plus(X409, X410, X411);
var X413 = mult(X407, X412);
var X414 = minus(X406, X413);
var X415 = wrapped_factor(X414);
var X416 = minus(X9, X365);
var X417 = mult(X371, X416);
var X418 = plus(X368, X417);
var X419 = _const(1);
var X420 = div(X419, X375);
var X421 = minus(X9, X418);
var X422 = mult(X421, X421);
var X423 = _const(2);
var X424 = mult(X423, X420);
var X425 = div(X422, X424);
var X426 = minus(X425);
var X427 = _const(0.5);
var X428 = _const(2);
var X429 = log(X428);
var X430 = log(X0);
var X431 = log(X420);
var X432 = plus(X429, X430, X431);
var X433 = mult(X427, X432);
var X434 = minus(X426, X433);
var X435 = wrapped_factor(X434);
var X436 = minus(X13, X365);
var X437 = mult(X371, X436);
var X438 = plus(X368, X437);
var X439 = _const(1);
var X440 = div(X439, X375);
var X441 = minus(X13, X438);
var X442 = mult(X441, X441);
var X443 = _const(2);
var X444 = mult(X443, X440);
var X445 = div(X442, X444);
var X446 = minus(X445);
var X447 = _const(0.5);
var X448 = _const(2);
var X449 = log(X448);
var X450 = log(X0);
var X451 = log(X440);
var X452 = plus(X449, X450, X451);
var X453 = mult(X447, X452);
var X454 = minus(X446, X453);
var X455 = wrapped_factor(X454);
var X456 = minus(X17, X365);
var X457 = mult(X371, X456);
var X458 = plus(X368, X457);
var X459 = _const(1);
var X460 = div(X459, X375);
var X461 = minus(X17, X458);
var X462 = mult(X461, X461);
var X463 = _const(2);
var X464 = mult(X463, X460);
var X465 = div(X462, X464);
var X466 = minus(X465);
var X467 = _const(0.5);
var X468 = _const(2);
var X469 = log(X468);
var X470 = log(X0);
var X471 = log(X460);
var X472 = plus(X469, X470, X471);
var X473 = mult(X467, X472);
var X474 = minus(X466, X473);
var X475 = wrapped_factor(X474);
var X476 = minus(X21, X365);
var X477 = mult(X371, X476);
var X478 = plus(X368, X477);
var X479 = _const(1);
var X480 = div(X479, X375);
var X481 = minus(X21, X478);
var X482 = mult(X481, X481);
var X483 = _const(2);
var X484 = mult(X483, X480);
var X485 = div(X482, X484);
var X486 = minus(X485);
var X487 = _const(0.5);
var X488 = _const(2);
var X489 = log(X488);
var X490 = log(X0);
var X491 = log(X480);
var X492 = plus(X489, X490, X491);
var X493 = mult(X487, X492);
var X494 = minus(X486, X493);
var X495 = wrapped_factor(X494);
var X496 = minus(X25, X365);
var X497 = mult(X371, X496);
var X498 = plus(X368, X497);
var X499 = _const(1);
var X500 = div(X499, X375);
var X501 = minus(X25, X498);
var X502 = mult(X501, X501);
var X503 = _const(2);
var X504 = mult(X503, X500);
var X505 = div(X502, X504);
var X506 = minus(X505);
var X507 = _const(0.5);
var X508 = _const(2);
var X509 = log(X508);
var X510 = log(X0);
var X511 = log(X500);
var X512 = plus(X509, X510, X511);
var X513 = mult(X507, X512);
var X514 = minus(X506, X513);
var X515 = wrapped_factor(X514);
var X516 = minus(X29, X365);
var X517 = mult(X371, X516);
var X518 = plus(X368, X517);
var X519 = _const(1);
var X520 = div(X519, X375);
var X521 = minus(X29, X518);
var X522 = mult(X521, X521);
var X523 = _const(2);
var X524 = mult(X523, X520);
var X525 = div(X522, X524);
var X526 = minus(X525);
var X527 = _const(0.5);
var X528 = _const(2);
var X529 = log(X528);
var X530 = log(X0);
var X531 = log(X520);
var X532 = plus(X529, X530, X531);
var X533 = mult(X527, X532);
var X534 = minus(X526, X533);
var X535 = wrapped_factor(X534);
var X536 = minus(X33, X365);
var X537 = mult(X371, X536);
var X538 = plus(X368, X537);
var X539 = _const(1);
var X540 = div(X539, X375);
var X541 = minus(X33, X538);
var X542 = mult(X541, X541);
var X543 = _const(2);
var X544 = mult(X543, X540);
var X545 = div(X542, X544);
var X546 = minus(X545);
var X547 = _const(0.5);
var X548 = _const(2);
var X549 = log(X548);
var X550 = log(X0);
var X551 = log(X540);
var X552 = plus(X549, X550, X551);
var X553 = mult(X547, X552);
var X554 = minus(X546, X553);
var X555 = wrapped_factor(X554);
var X556 = minus(X37, X365);
var X557 = mult(X371, X556);
var X558 = plus(X368, X557);
var X559 = _const(1);
var X560 = div(X559, X375);
var X561 = minus(X37, X558);
var X562 = mult(X561, X561);
var X563 = _const(2);
var X564 = mult(X563, X560);
var X565 = div(X562, X564);
var X566 = minus(X565);
var X567 = _const(0.5);
var X568 = _const(2);
var X569 = log(X568);
var X570 = log(X0);
var X571 = log(X560);
var X572 = plus(X569, X570, X571);
var X573 = mult(X567, X572);
var X574 = minus(X566, X573);
var X575 = wrapped_factor(X574);
var X576 = minus(X41, X365);
var X577 = mult(X371, X576);
var X578 = plus(X368, X577);
var X579 = _const(1);
var X580 = div(X579, X375);
var X581 = minus(X41, X578);
var X582 = mult(X581, X581);
var X583 = _const(2);
var X584 = mult(X583, X580);
var X585 = div(X582, X584);
var X586 = minus(X585);
var X587 = _const(0.5);
var X588 = _const(2);
var X589 = log(X588);
var X590 = log(X0);
var X591 = log(X580);
var X592 = plus(X589, X590, X591);
var X593 = mult(X587, X592);
var X594 = minus(X586, X593);
var X595 = wrapped_factor(X594);
var X596 = minus(X45, X365);
var X597 = mult(X371, X596);
var X598 = plus(X368, X597);
var X599 = _const(1);
var X600 = div(X599, X375);
var X601 = minus(X45, X598);
var X602 = mult(X601, X601);
var X603 = _const(2);
var X604 = mult(X603, X600);
var X605 = div(X602, X604);
var X606 = minus(X605);
var X607 = _const(0.5);
var X608 = _const(2);
var X609 = log(X608);
var X610 = log(X0);
var X611 = log(X600);
var X612 = plus(X609, X610, X611);
var X613 = mult(X607, X612);
var X614 = minus(X606, X613);
var X615 = wrapped_factor(X614);
var X616 = minus(X49, X365);
var X617 = mult(X371, X616);
var X618 = plus(X368, X617);
var X619 = _const(1);
var X620 = div(X619, X375);
var X621 = minus(X49, X618);
var X622 = mult(X621, X621);
var X623 = _const(2);
var X624 = mult(X623, X620);
var X625 = div(X622, X624);
var X626 = minus(X625);
var X627 = _const(0.5);
var X628 = _const(2);
var X629 = log(X628);
var X630 = log(X0);
var X631 = log(X620);
var X632 = plus(X629, X630, X631);
var X633 = mult(X627, X632);
var X634 = minus(X626, X633);
var X635 = wrapped_factor(X634);
var X636 = minus(X53, X365);
var X637 = mult(X371, X636);
var X638 = plus(X368, X637);
var X639 = _const(1);
var X640 = div(X639, X375);
var X641 = minus(X53, X638);
var X642 = mult(X641, X641);
var X643 = _const(2);
var X644 = mult(X643, X640);
var X645 = div(X642, X644);
var X646 = minus(X645);
var X647 = _const(0.5);
var X648 = _const(2);
var X649 = log(X648);
var X650 = log(X0);
var X651 = log(X640);
var X652 = plus(X649, X650, X651);
var X653 = mult(X647, X652);
var X654 = minus(X646, X653);
var X655 = wrapped_factor(X654);
var X656 = minus(X57, X365);
var X657 = mult(X371, X656);
var X658 = plus(X368, X657);
var X659 = _const(1);
var X660 = div(X659, X375);
var X661 = minus(X57, X658);
var X662 = mult(X661, X661);
var X663 = _const(2);
var X664 = mult(X663, X660);
var X665 = div(X662, X664);
var X666 = minus(X665);
var X667 = _const(0.5);
var X668 = _const(2);
var X669 = log(X668);
var X670 = log(X0);
var X671 = log(X660);
var X672 = plus(X669, X670, X671);
var X673 = mult(X667, X672);
var X674 = minus(X666, X673);
var X675 = wrapped_factor(X674);
var X676 = minus(X61, X365);
var X677 = mult(X371, X676);
var X678 = plus(X368, X677);
var X679 = _const(1);
var X680 = div(X679, X375);
var X681 = minus(X61, X678);
var X682 = mult(X681, X681);
var X683 = _const(2);
var X684 = mult(X683, X680);
var X685 = div(X682, X684);
var X686 = minus(X685);
var X687 = _const(0.5);
var X688 = _const(2);
var X689 = log(X688);
var X690 = log(X0);
var X691 = log(X680);
var X692 = plus(X689, X690, X691);
var X693 = mult(X687, X692);
var X694 = minus(X686, X693);
var X695 = wrapped_factor(X694);
var X696 = minus(X65, X365);
var X697 = mult(X371, X696);
var X698 = plus(X368, X697);
var X699 = _const(1);
var X700 = div(X699, X375);
var X701 = minus(X65, X698);
var X702 = mult(X701, X701);
var X703 = _const(2);
var X704 = mult(X703, X700);
var X705 = div(X702, X704);
var X706 = minus(X705);
var X707 = _const(0.5);
var X708 = _const(2);
var X709 = log(X708);
var X710 = log(X0);
var X711 = log(X700);
var X712 = plus(X709, X710, X711);
var X713 = mult(X707, X712);
var X714 = minus(X706, X713);
var X715 = wrapped_factor(X714);
var X716 = minus(X69, X365);
var X717 = mult(X371, X716);
var X718 = plus(X368, X717);
var X719 = _const(1);
var X720 = div(X719, X375);
var X721 = minus(X69, X718);
var X722 = mult(X721, X721);
var X723 = _const(2);
var X724 = mult(X723, X720);
var X725 = div(X722, X724);
var X726 = minus(X725);
var X727 = _const(0.5);
var X728 = _const(2);
var X729 = log(X728);
var X730 = log(X0);
var X731 = log(X720);
var X732 = plus(X729, X730, X731);
var X733 = mult(X727, X732);
var X734 = minus(X726, X733);
var X735 = wrapped_factor(X734);
var X736 = minus(X73, X365);
var X737 = mult(X371, X736);
var X738 = plus(X368, X737);
var X739 = _const(1);
var X740 = div(X739, X375);
var X741 = minus(X73, X738);
var X742 = mult(X741, X741);
var X743 = _const(2);
var X744 = mult(X743, X740);
var X745 = div(X742, X744);
var X746 = minus(X745);
var X747 = _const(0.5);
var X748 = _const(2);
var X749 = log(X748);
var X750 = log(X0);
var X751 = log(X740);
var X752 = plus(X749, X750, X751);
var X753 = mult(X747, X752);
var X754 = minus(X746, X753);
var X755 = wrapped_factor(X754);
var X756 = minus(X77, X365);
var X757 = mult(X371, X756);
var X758 = plus(X368, X757);
var X759 = _const(1);
var X760 = div(X759, X375);
var X761 = minus(X77, X758);
var X762 = mult(X761, X761);
var X763 = _const(2);
var X764 = mult(X763, X760);
var X765 = div(X762, X764);
var X766 = minus(X765);
var X767 = _const(0.5);
var X768 = _const(2);
var X769 = log(X768);
var X770 = log(X0);
var X771 = log(X760);
var X772 = plus(X769, X770, X771);
var X773 = mult(X767, X772);
var X774 = minus(X766, X773);
var X775 = wrapped_factor(X774);
var X776 = minus(X81, X365);
var X777 = mult(X371, X776);
var X778 = plus(X368, X777);
var X779 = _const(1);
var X780 = div(X779, X375);
var X781 = minus(X81, X778);
var X782 = mult(X781, X781);
var X783 = _const(2);
var X784 = mult(X783, X780);
var X785 = div(X782, X784);
var X786 = minus(X785);
var X787 = _const(0.5);
var X788 = _const(2);
var X789 = log(X788);
var X790 = log(X0);
var X791 = log(X780);
var X792 = plus(X789, X790, X791);
var X793 = mult(X787, X792);
var X794 = minus(X786, X793);
var X795 = wrapped_factor(X794);
var X796 = minus(X85, X365);
var X797 = mult(X371, X796);
var X798 = plus(X368, X797);
var X799 = _const(1);
var X800 = div(X799, X375);
var X801 = minus(X85, X798);
var X802 = mult(X801, X801);
var X803 = _const(2);
var X804 = mult(X803, X800);
var X805 = div(X802, X804);
var X806 = minus(X805);
var X807 = _const(0.5);
var X808 = _const(2);
var X809 = log(X808);
var X810 = log(X0);
var X811 = log(X800);
var X812 = plus(X809, X810, X811);
var X813 = mult(X807, X812);
var X814 = minus(X806, X813);
var X815 = wrapped_factor(X814);
var X816 = minus(X89, X365);
var X817 = mult(X371, X816);
var X818 = plus(X368, X817);
var X819 = _const(1);
var X820 = div(X819, X375);
var X821 = minus(X89, X818);
var X822 = mult(X821, X821);
var X823 = _const(2);
var X824 = mult(X823, X820);
var X825 = div(X822, X824);
var X826 = minus(X825);
var X827 = _const(0.5);
var X828 = _const(2);
var X829 = log(X828);
var X830 = log(X0);
var X831 = log(X820);
var X832 = plus(X829, X830, X831);
var X833 = mult(X827, X832);
var X834 = minus(X826, X833);
var X835 = wrapped_factor(X834);
var X836 = minus(X93, X365);
var X837 = mult(X371, X836);
var X838 = plus(X368, X837);
var X839 = _const(1);
var X840 = div(X839, X375);
var X841 = minus(X93, X838);
var X842 = mult(X841, X841);
var X843 = _const(2);
var X844 = mult(X843, X840);
var X845 = div(X842, X844);
var X846 = minus(X845);
var X847 = _const(0.5);
var X848 = _const(2);
var X849 = log(X848);
var X850 = log(X0);
var X851 = log(X840);
var X852 = plus(X849, X850, X851);
var X853 = mult(X847, X852);
var X854 = minus(X846, X853);
var X855 = wrapped_factor(X854);
var X856 = minus(X97, X365);
var X857 = mult(X371, X856);
var X858 = plus(X368, X857);
var X859 = _const(1);
var X860 = div(X859, X375);
var X861 = minus(X97, X858);
var X862 = mult(X861, X861);
var X863 = _const(2);
var X864 = mult(X863, X860);
var X865 = div(X862, X864);
var X866 = minus(X865);
var X867 = _const(0.5);
var X868 = _const(2);
var X869 = log(X868);
var X870 = log(X0);
var X871 = log(X860);
var X872 = plus(X869, X870, X871);
var X873 = mult(X867, X872);
var X874 = minus(X866, X873);
var X875 = wrapped_factor(X874);
var X876 = minus(X101, X365);
var X877 = mult(X371, X876);
var X878 = plus(X368, X877);
var X879 = _const(1);
var X880 = div(X879, X375);
var X881 = minus(X101, X878);
var X882 = mult(X881, X881);
var X883 = _const(2);
var X884 = mult(X883, X880);
var X885 = div(X882, X884);
var X886 = minus(X885);
var X887 = _const(0.5);
var X888 = _const(2);
var X889 = log(X888);
var X890 = log(X0);
var X891 = log(X880);
var X892 = plus(X889, X890, X891);
var X893 = mult(X887, X892);
var X894 = minus(X886, X893);
var X895 = wrapped_factor(X894);
var X896 = minus(X105, X365);
var X897 = mult(X371, X896);
var X898 = plus(X368, X897);
var X899 = _const(1);
var X900 = div(X899, X375);
var X901 = minus(X105, X898);
var X902 = mult(X901, X901);
var X903 = _const(2);
var X904 = mult(X903, X900);
var X905 = div(X902, X904);
var X906 = minus(X905);
var X907 = _const(0.5);
var X908 = _const(2);
var X909 = log(X908);
var X910 = log(X0);
var X911 = log(X900);
var X912 = plus(X909, X910, X911);
var X913 = mult(X907, X912);
var X914 = minus(X906, X913);
var X915 = wrapped_factor(X914);
var X916 = minus(X109, X365);
var X917 = mult(X371, X916);
var X918 = plus(X368, X917);
var X919 = _const(1);
var X920 = div(X919, X375);
var X921 = minus(X109, X918);
var X922 = mult(X921, X921);
var X923 = _const(2);
var X924 = mult(X923, X920);
var X925 = div(X922, X924);
var X926 = minus(X925);
var X927 = _const(0.5);
var X928 = _const(2);
var X929 = log(X928);
var X930 = log(X0);
var X931 = log(X920);
var X932 = plus(X929, X930, X931);
var X933 = mult(X927, X932);
var X934 = minus(X926, X933);
var X935 = wrapped_factor(X934);
var X936 = minus(X113, X365);
var X937 = mult(X371, X936);
var X938 = plus(X368, X937);
var X939 = _const(1);
var X940 = div(X939, X375);
var X941 = minus(X113, X938);
var X942 = mult(X941, X941);
var X943 = _const(2);
var X944 = mult(X943, X940);
var X945 = div(X942, X944);
var X946 = minus(X945);
var X947 = _const(0.5);
var X948 = _const(2);
var X949 = log(X948);
var X950 = log(X0);
var X951 = log(X940);
var X952 = plus(X949, X950, X951);
var X953 = mult(X947, X952);
var X954 = minus(X946, X953);
var X955 = wrapped_factor(X954);
var X956 = minus(X117, X365);
var X957 = mult(X371, X956);
var X958 = plus(X368, X957);
var X959 = _const(1);
var X960 = div(X959, X375);
var X961 = minus(X117, X958);
var X962 = mult(X961, X961);
var X963 = _const(2);
var X964 = mult(X963, X960);
var X965 = div(X962, X964);
var X966 = minus(X965);
var X967 = _const(0.5);
var X968 = _const(2);
var X969 = log(X968);
var X970 = log(X0);
var X971 = log(X960);
var X972 = plus(X969, X970, X971);
var X973 = mult(X967, X972);
var X974 = minus(X966, X973);
var X975 = wrapped_factor(X974);
var X976 = minus(X121, X365);
var X977 = mult(X371, X976);
var X978 = plus(X368, X977);
var X979 = _const(1);
var X980 = div(X979, X375);
var X981 = minus(X121, X978);
var X982 = mult(X981, X981);
var X983 = _const(2);
var X984 = mult(X983, X980);
var X985 = div(X982, X984);
var X986 = minus(X985);
var X987 = _const(0.5);
var X988 = _const(2);
var X989 = log(X988);
var X990 = log(X0);
var X991 = log(X980);
var X992 = plus(X989, X990, X991);
var X993 = mult(X987, X992);
var X994 = minus(X986, X993);
var X995 = wrapped_factor(X994);
var X996 = minus(X125, X365);
var X997 = mult(X371, X996);
var X998 = plus(X368, X997);
var X999 = _const(1);
var X1000 = div(X999, X375);
var X1001 = minus(X125, X998);
var X1002 = mult(X1001, X1001);
var X1003 = _const(2);
var X1004 = mult(X1003, X1000);
var X1005 = div(X1002, X1004);
var X1006 = minus(X1005);
var X1007 = _const(0.5);
var X1008 = _const(2);
var X1009 = log(X1008);
var X1010 = log(X0);
var X1011 = log(X1000);
var X1012 = plus(X1009, X1010, X1011);
var X1013 = mult(X1007, X1012);
var X1014 = minus(X1006, X1013);
var X1015 = wrapped_factor(X1014);
var X1016 = minus(X129, X365);
var X1017 = mult(X371, X1016);
var X1018 = plus(X368, X1017);
var X1019 = _const(1);
var X1020 = div(X1019, X375);
var X1021 = minus(X129, X1018);
var X1022 = mult(X1021, X1021);
var X1023 = _const(2);
var X1024 = mult(X1023, X1020);
var X1025 = div(X1022, X1024);
var X1026 = minus(X1025);
var X1027 = _const(0.5);
var X1028 = _const(2);
var X1029 = log(X1028);
var X1030 = log(X0);
var X1031 = log(X1020);
var X1032 = plus(X1029, X1030, X1031);
var X1033 = mult(X1027, X1032);
var X1034 = minus(X1026, X1033);
var X1035 = wrapped_factor(X1034);
var X1036 = minus(X133, X365);
var X1037 = mult(X371, X1036);
var X1038 = plus(X368, X1037);
var X1039 = _const(1);
var X1040 = div(X1039, X375);
var X1041 = minus(X133, X1038);
var X1042 = mult(X1041, X1041);
var X1043 = _const(2);
var X1044 = mult(X1043, X1040);
var X1045 = div(X1042, X1044);
var X1046 = minus(X1045);
var X1047 = _const(0.5);
var X1048 = _const(2);
var X1049 = log(X1048);
var X1050 = log(X0);
var X1051 = log(X1040);
var X1052 = plus(X1049, X1050, X1051);
var X1053 = mult(X1047, X1052);
var X1054 = minus(X1046, X1053);
var X1055 = wrapped_factor(X1054);
var X1056 = minus(X137, X365);
var X1057 = mult(X371, X1056);
var X1058 = plus(X368, X1057);
var X1059 = _const(1);
var X1060 = div(X1059, X375);
var X1061 = minus(X137, X1058);
var X1062 = mult(X1061, X1061);
var X1063 = _const(2);
var X1064 = mult(X1063, X1060);
var X1065 = div(X1062, X1064);
var X1066 = minus(X1065);
var X1067 = _const(0.5);
var X1068 = _const(2);
var X1069 = log(X1068);
var X1070 = log(X0);
var X1071 = log(X1060);
var X1072 = plus(X1069, X1070, X1071);
var X1073 = mult(X1067, X1072);
var X1074 = minus(X1066, X1073);
var X1075 = wrapped_factor(X1074);
var X1076 = minus(X141, X365);
var X1077 = mult(X371, X1076);
var X1078 = plus(X368, X1077);
var X1079 = _const(1);
var X1080 = div(X1079, X375);
var X1081 = minus(X141, X1078);
var X1082 = mult(X1081, X1081);
var X1083 = _const(2);
var X1084 = mult(X1083, X1080);
var X1085 = div(X1082, X1084);
var X1086 = minus(X1085);
var X1087 = _const(0.5);
var X1088 = _const(2);
var X1089 = log(X1088);
var X1090 = log(X0);
var X1091 = log(X1080);
var X1092 = plus(X1089, X1090, X1091);
var X1093 = mult(X1087, X1092);
var X1094 = minus(X1086, X1093);
var X1095 = wrapped_factor(X1094);
var X1096 = minus(X145, X365);
var X1097 = mult(X371, X1096);
var X1098 = plus(X368, X1097);
var X1099 = _const(1);
var X1100 = div(X1099, X375);
var X1101 = minus(X145, X1098);
var X1102 = mult(X1101, X1101);
var X1103 = _const(2);
var X1104 = mult(X1103, X1100);
var X1105 = div(X1102, X1104);
var X1106 = minus(X1105);
var X1107 = _const(0.5);
var X1108 = _const(2);
var X1109 = log(X1108);
var X1110 = log(X0);
var X1111 = log(X1100);
var X1112 = plus(X1109, X1110, X1111);
var X1113 = mult(X1107, X1112);
var X1114 = minus(X1106, X1113);
var X1115 = wrapped_factor(X1114);
var X1116 = minus(X149, X365);
var X1117 = mult(X371, X1116);
var X1118 = plus(X368, X1117);
var X1119 = _const(1);
var X1120 = div(X1119, X375);
var X1121 = minus(X149, X1118);
var X1122 = mult(X1121, X1121);
var X1123 = _const(2);
var X1124 = mult(X1123, X1120);
var X1125 = div(X1122, X1124);
var X1126 = minus(X1125);
var X1127 = _const(0.5);
var X1128 = _const(2);
var X1129 = log(X1128);
var X1130 = log(X0);
var X1131 = log(X1120);
var X1132 = plus(X1129, X1130, X1131);
var X1133 = mult(X1127, X1132);
var X1134 = minus(X1126, X1133);
var X1135 = wrapped_factor(X1134);
var X1136 = minus(X153, X365);
var X1137 = mult(X371, X1136);
var X1138 = plus(X368, X1137);
var X1139 = _const(1);
var X1140 = div(X1139, X375);
var X1141 = minus(X153, X1138);
var X1142 = mult(X1141, X1141);
var X1143 = _const(2);
var X1144 = mult(X1143, X1140);
var X1145 = div(X1142, X1144);
var X1146 = minus(X1145);
var X1147 = _const(0.5);
var X1148 = _const(2);
var X1149 = log(X1148);
var X1150 = log(X0);
var X1151 = log(X1140);
var X1152 = plus(X1149, X1150, X1151);
var X1153 = mult(X1147, X1152);
var X1154 = minus(X1146, X1153);
var X1155 = wrapped_factor(X1154);
var X1156 = minus(X157, X365);
var X1157 = mult(X371, X1156);
var X1158 = plus(X368, X1157);
var X1159 = _const(1);
var X1160 = div(X1159, X375);
var X1161 = minus(X157, X1158);
var X1162 = mult(X1161, X1161);
var X1163 = _const(2);
var X1164 = mult(X1163, X1160);
var X1165 = div(X1162, X1164);
var X1166 = minus(X1165);
var X1167 = _const(0.5);
var X1168 = _const(2);
var X1169 = log(X1168);
var X1170 = log(X0);
var X1171 = log(X1160);
var X1172 = plus(X1169, X1170, X1171);
var X1173 = mult(X1167, X1172);
var X1174 = minus(X1166, X1173);
var X1175 = wrapped_factor(X1174);
var X1176 = minus(X161, X365);
var X1177 = mult(X371, X1176);
var X1178 = plus(X368, X1177);
var X1179 = _const(1);
var X1180 = div(X1179, X375);
var X1181 = minus(X161, X1178);
var X1182 = mult(X1181, X1181);
var X1183 = _const(2);
var X1184 = mult(X1183, X1180);
var X1185 = div(X1182, X1184);
var X1186 = minus(X1185);
var X1187 = _const(0.5);
var X1188 = _const(2);
var X1189 = log(X1188);
var X1190 = log(X0);
var X1191 = log(X1180);
var X1192 = plus(X1189, X1190, X1191);
var X1193 = mult(X1187, X1192);
var X1194 = minus(X1186, X1193);
var X1195 = wrapped_factor(X1194);
var X1196 = minus(X165, X365);
var X1197 = mult(X371, X1196);
var X1198 = plus(X368, X1197);
var X1199 = _const(1);
var X1200 = div(X1199, X375);
var X1201 = minus(X165, X1198);
var X1202 = mult(X1201, X1201);
var X1203 = _const(2);
var X1204 = mult(X1203, X1200);
var X1205 = div(X1202, X1204);
var X1206 = minus(X1205);
var X1207 = _const(0.5);
var X1208 = _const(2);
var X1209 = log(X1208);
var X1210 = log(X0);
var X1211 = log(X1200);
var X1212 = plus(X1209, X1210, X1211);
var X1213 = mult(X1207, X1212);
var X1214 = minus(X1206, X1213);
var X1215 = wrapped_factor(X1214);
var X1216 = minus(X169, X365);
var X1217 = mult(X371, X1216);
var X1218 = plus(X368, X1217);
var X1219 = _const(1);
var X1220 = div(X1219, X375);
var X1221 = minus(X169, X1218);
var X1222 = mult(X1221, X1221);
var X1223 = _const(2);
var X1224 = mult(X1223, X1220);
var X1225 = div(X1222, X1224);
var X1226 = minus(X1225);
var X1227 = _const(0.5);
var X1228 = _const(2);
var X1229 = log(X1228);
var X1230 = log(X0);
var X1231 = log(X1220);
var X1232 = plus(X1229, X1230, X1231);
var X1233 = mult(X1227, X1232);
var X1234 = minus(X1226, X1233);
var X1235 = wrapped_factor(X1234);
var X1236 = minus(X173, X365);
var X1237 = mult(X371, X1236);
var X1238 = plus(X368, X1237);
var X1239 = _const(1);
var X1240 = div(X1239, X375);
var X1241 = minus(X173, X1238);
var X1242 = mult(X1241, X1241);
var X1243 = _const(2);
var X1244 = mult(X1243, X1240);
var X1245 = div(X1242, X1244);
var X1246 = minus(X1245);
var X1247 = _const(0.5);
var X1248 = _const(2);
var X1249 = log(X1248);
var X1250 = log(X0);
var X1251 = log(X1240);
var X1252 = plus(X1249, X1250, X1251);
var X1253 = mult(X1247, X1252);
var X1254 = minus(X1246, X1253);
var X1255 = wrapped_factor(X1254);
var X1256 = minus(X177, X365);
var X1257 = mult(X371, X1256);
var X1258 = plus(X368, X1257);
var X1259 = _const(1);
var X1260 = div(X1259, X375);
var X1261 = minus(X177, X1258);
var X1262 = mult(X1261, X1261);
var X1263 = _const(2);
var X1264 = mult(X1263, X1260);
var X1265 = div(X1262, X1264);
var X1266 = minus(X1265);
var X1267 = _const(0.5);
var X1268 = _const(2);
var X1269 = log(X1268);
var X1270 = log(X0);
var X1271 = log(X1260);
var X1272 = plus(X1269, X1270, X1271);
var X1273 = mult(X1267, X1272);
var X1274 = minus(X1266, X1273);
var X1275 = wrapped_factor(X1274);
var X1276 = minus(X181, X365);
var X1277 = mult(X371, X1276);
var X1278 = plus(X368, X1277);
var X1279 = _const(1);
var X1280 = div(X1279, X375);
var X1281 = minus(X181, X1278);
var X1282 = mult(X1281, X1281);
var X1283 = _const(2);
var X1284 = mult(X1283, X1280);
var X1285 = div(X1282, X1284);
var X1286 = minus(X1285);
var X1287 = _const(0.5);
var X1288 = _const(2);
var X1289 = log(X1288);
var X1290 = log(X0);
var X1291 = log(X1280);
var X1292 = plus(X1289, X1290, X1291);
var X1293 = mult(X1287, X1292);
var X1294 = minus(X1286, X1293);
var X1295 = wrapped_factor(X1294);
var X1296 = minus(X185, X365);
var X1297 = mult(X371, X1296);
var X1298 = plus(X368, X1297);
var X1299 = _const(1);
var X1300 = div(X1299, X375);
var X1301 = minus(X185, X1298);
var X1302 = mult(X1301, X1301);
var X1303 = _const(2);
var X1304 = mult(X1303, X1300);
var X1305 = div(X1302, X1304);
var X1306 = minus(X1305);
var X1307 = _const(0.5);
var X1308 = _const(2);
var X1309 = log(X1308);
var X1310 = log(X0);
var X1311 = log(X1300);
var X1312 = plus(X1309, X1310, X1311);
var X1313 = mult(X1307, X1312);
var X1314 = minus(X1306, X1313);
var X1315 = wrapped_factor(X1314);
var X1316 = minus(X189, X365);
var X1317 = mult(X371, X1316);
var X1318 = plus(X368, X1317);
var X1319 = _const(1);
var X1320 = div(X1319, X375);
var X1321 = minus(X189, X1318);
var X1322 = mult(X1321, X1321);
var X1323 = _const(2);
var X1324 = mult(X1323, X1320);
var X1325 = div(X1322, X1324);
var X1326 = minus(X1325);
var X1327 = _const(0.5);
var X1328 = _const(2);
var X1329 = log(X1328);
var X1330 = log(X0);
var X1331 = log(X1320);
var X1332 = plus(X1329, X1330, X1331);
var X1333 = mult(X1327, X1332);
var X1334 = minus(X1326, X1333);
var X1335 = wrapped_factor(X1334);
var X1336 = minus(X193, X365);
var X1337 = mult(X371, X1336);
var X1338 = plus(X368, X1337);
var X1339 = _const(1);
var X1340 = div(X1339, X375);
var X1341 = minus(X193, X1338);
var X1342 = mult(X1341, X1341);
var X1343 = _const(2);
var X1344 = mult(X1343, X1340);
var X1345 = div(X1342, X1344);
var X1346 = minus(X1345);
var X1347 = _const(0.5);
var X1348 = _const(2);
var X1349 = log(X1348);
var X1350 = log(X0);
var X1351 = log(X1340);
var X1352 = plus(X1349, X1350, X1351);
var X1353 = mult(X1347, X1352);
var X1354 = minus(X1346, X1353);
var X1355 = wrapped_factor(X1354);
var X1356 = minus(X197, X365);
var X1357 = mult(X371, X1356);
var X1358 = plus(X368, X1357);
var X1359 = _const(1);
var X1360 = div(X1359, X375);
var X1361 = minus(X197, X1358);
var X1362 = mult(X1361, X1361);
var X1363 = _const(2);
var X1364 = mult(X1363, X1360);
var X1365 = div(X1362, X1364);
var X1366 = minus(X1365);
var X1367 = _const(0.5);
var X1368 = _const(2);
var X1369 = log(X1368);
var X1370 = log(X0);
var X1371 = log(X1360);
var X1372 = plus(X1369, X1370, X1371);
var X1373 = mult(X1367, X1372);
var X1374 = minus(X1366, X1373);
var X1375 = wrapped_factor(X1374);
var X1376 = minus(X201, X365);
var X1377 = mult(X371, X1376);
var X1378 = plus(X368, X1377);
var X1379 = _const(1);
var X1380 = div(X1379, X375);
var X1381 = minus(X201, X1378);
var X1382 = mult(X1381, X1381);
var X1383 = _const(2);
var X1384 = mult(X1383, X1380);
var X1385 = div(X1382, X1384);
var X1386 = minus(X1385);
var X1387 = _const(0.5);
var X1388 = _const(2);
var X1389 = log(X1388);
var X1390 = log(X0);
var X1391 = log(X1380);
var X1392 = plus(X1389, X1390, X1391);
var X1393 = mult(X1387, X1392);
var X1394 = minus(X1386, X1393);
var X1395 = wrapped_factor(X1394);
var X1396 = _const(undefined);
var X1397 = _const(1);
var X1398 = _const(0.5);
var X1399 = expt(X375, X1398);
var X1400 = div(X1397, X1399);

console.log(dump_trace());