generated energy for `runpenrose set-theory-domain/tree.sub set-theory-domain/venn-small.sty set-theory-domain/setTheory.dsl`

energy.js

(function anonymous(x98,x109,x115,x339,x342,x385,x396,x399,x442,x3,x87,x374,x431,x8,x92,x379,x436,x2,x88,x357,x414,x7,x93,x362,x419,x134,x145,x151,x338,x349,x386,x453,x456,x499,x510,x513,x556,x15,x123,x358,x375,x488,x545,x20,x128,x363,x380,x493,x550,x14,x124,x471,x528,x19,x129,x476,x533,x170,x181,x187,x395,x406,x443,x567,x570,x613,x624,x627,x670,x27,x159,x415,x432,x602,x659,x32,x164,x420,x437,x607,x664,x26,x160,x585,x642,x31,x165,x590,x647,x206,x217,x223,x452,x463,x500,x39,x195,x472,x489,x44,x200,x477,x494,x38,x196,x43,x201,x242,x253,x259,x509,x520,x557,x51,x231,x529,x546,x56,x236,x534,x551,x50,x232,x55,x237,x278,x289,x295,x566,x577,x614,x63,x267,x586,x603,x68,x272,x591,x608,x62,x268,x67,x273,x314,x325,x331,x623,x634,x671,x75,x303,x643,x660,x80,x308,x648,x665,x74,x304,x79,x309
) {
const x0 = 0;
const x1 = 0;
const x4 = x2 - x3;
const x5 = Math.pow(x4, 2);
const x6 = x1 + x5;
const x9 = x7 - x8;
const x10 = Math.pow(x9, 2);
const x11 = x6 + x10;
const x12 = x0 + x11;
const x13 = 0;
const x16 = x14 - x15;
const x17 = Math.pow(x16, 2);
const x18 = x13 + x17;
const x21 = x19 - x20;
const x22 = Math.pow(x21, 2);
const x23 = x18 + x22;
const x24 = x12 + x23;
const x25 = 0;
const x28 = x26 - x27;
const x29 = Math.pow(x28, 2);
const x30 = x25 + x29;
const x33 = x31 - x32;
const x34 = Math.pow(x33, 2);
const x35 = x30 + x34;
const x36 = x24 + x35;
const x37 = 0;
const x40 = x38 - x39;
const x41 = Math.pow(x40, 2);
const x42 = x37 + x41;
const x45 = x43 - x44;
const x46 = Math.pow(x45, 2);
const x47 = x42 + x46;
const x48 = x36 + x47;
const x49 = 0;
const x52 = x50 - x51;
const x53 = Math.pow(x52, 2);
const x54 = x49 + x53;
const x57 = x55 - x56;
const x58 = Math.pow(x57, 2);
const x59 = x54 + x58;
const x60 = x48 + x59;
const x61 = 0;
const x64 = x62 - x63;
const x65 = Math.pow(x64, 2);
const x66 = x61 + x65;
const x69 = x67 - x68;
const x70 = Math.pow(x69, 2);
const x71 = x66 + x70;
const x72 = x60 + x71;
const x73 = 0;
const x76 = x74 - x75;
const x77 = Math.pow(x76, 2);
const x78 = x73 + x77;
const x81 = x79 - x80;
const x82 = Math.pow(x81, 2);
const x83 = x78 + x82;
const x84 = x72 + x83;
const x85 = 0;
const x86 = 0;
const x89 = x87 - x88;
const x90 = Math.pow(x89, 2);
const x91 = x86 + x90;
const x94 = x92 - x93;
const x95 = Math.pow(x94, 2);
const x96 = x91 + x95;
const x97 = Math.sqrt(x96, 2);
const x99 = x97 - x98;
const x100 = 14.070921897888184;
const x101 = 14.579999923706055;
const x102 = Math.max(x100, x101);
const x103 = x99 + x102;
const x104 = 0;
const x105 = Math.max(x103, x104);
const x106 = Math.pow(x105, 2);
const x107 = x85 + x106;
const x108 = 20;
const x110 = x108 - x109;
const x111 = 0;
const x112 = Math.max(x110, x111);
const x113 = Math.pow(x112, 2);
const x114 = x107 + x113;
const x116 = 133.33333333333334;
const x117 = x115 - x116;
const x118 = 0;
const x119 = Math.max(x117, x118);
const x120 = Math.pow(x119, 2);
const x121 = x114 + x120;
const x122 = 0;
const x125 = x123 - x124;
const x126 = Math.pow(x125, 2);
const x127 = x122 + x126;
const x130 = x128 - x129;
const x131 = Math.pow(x130, 2);
const x132 = x127 + x131;
const x133 = Math.sqrt(x132, 2);
const x135 = x133 - x134;
const x136 = 14.678630828857422;
const x137 = 13.904999732971191;
const x138 = Math.max(x136, x137);
const x139 = x135 + x138;
const x140 = 0;
const x141 = Math.max(x139, x140);
const x142 = Math.pow(x141, 2);
const x143 = x121 + x142;
const x144 = 20;
const x146 = x144 - x145;
const x147 = 0;
const x148 = Math.max(x146, x147);
const x149 = Math.pow(x148, 2);
const x150 = x143 + x149;
const x152 = 133.33333333333334;
const x153 = x151 - x152;
const x154 = 0;
const x155 = Math.max(x153, x154);
const x156 = Math.pow(x155, 2);
const x157 = x150 + x156;
const x158 = 0;
const x161 = x159 - x160;
const x162 = Math.pow(x161, 2);
const x163 = x158 + x162;
const x166 = x164 - x165;
const x167 = Math.pow(x166, 2);
const x168 = x163 + x167;
const x169 = Math.sqrt(x168, 2);
const x171 = x169 - x170;
const x172 = 14.453170776367188;
const x173 = 14.799232482910156;
const x174 = Math.max(x172, x173);
const x175 = x171 + x174;
const x176 = 0;
const x177 = Math.max(x175, x176);
const x178 = Math.pow(x177, 2);
const x179 = x157 + x178;
const x180 = 20;
const x182 = x180 - x181;
const x183 = 0;
const x184 = Math.max(x182, x183);
const x185 = Math.pow(x184, 2);
const x186 = x179 + x185;
const x188 = 133.33333333333334;
const x189 = x187 - x188;
const x190 = 0;
const x191 = Math.max(x189, x190);
const x192 = Math.pow(x191, 2);
const x193 = x186 + x192;
const x194 = 0;
const x197 = x195 - x196;
const x198 = Math.pow(x197, 2);
const x199 = x194 + x198;
const x202 = x200 - x201;
const x203 = Math.pow(x202, 2);
const x204 = x199 + x203;
const x205 = Math.sqrt(x204, 2);
const x207 = x205 - x206;
const x208 = 15.67619514465332;
const x209 = 13.904990196228027;
const x210 = Math.max(x208, x209);
const x211 = x207 + x210;
const x212 = 0;
const x213 = Math.max(x211, x212);
const x214 = Math.pow(x213, 2);
const x215 = x193 + x214;
const x216 = 20;
const x218 = x216 - x217;
const x219 = 0;
const x220 = Math.max(x218, x219);
const x221 = Math.pow(x220, 2);
const x222 = x215 + x221;
const x224 = 133.33333333333334;
const x225 = x223 - x224;
const x226 = 0;
const x227 = Math.max(x225, x226);
const x228 = Math.pow(x227, 2);
const x229 = x222 + x228;
const x230 = 0;
const x233 = x231 - x232;
const x234 = Math.pow(x233, 2);
const x235 = x230 + x234;
const x238 = x236 - x237;
const x239 = Math.pow(x238, 2);
const x240 = x235 + x239;
const x241 = Math.sqrt(x240, 2);
const x243 = x241 - x242;
const x244 = 14.920862197875977;
const x245 = 13.842000007629395;
const x246 = Math.max(x244, x245);
const x247 = x243 + x246;
const x248 = 0;
const x249 = Math.max(x247, x248);
const x250 = Math.pow(x249, 2);
const x251 = x229 + x250;
const x252 = 20;
const x254 = x252 - x253;
const x255 = 0;
const x256 = Math.max(x254, x255);
const x257 = Math.pow(x256, 2);
const x258 = x251 + x257;
const x260 = 133.33333333333334;
const x261 = x259 - x260;
const x262 = 0;
const x263 = Math.max(x261, x262);
const x264 = Math.pow(x263, 2);
const x265 = x258 + x264;
const x266 = 0;
const x269 = x267 - x268;
const x270 = Math.pow(x269, 2);
const x271 = x266 + x270;
const x274 = x272 - x273;
const x275 = Math.pow(x274, 2);
const x276 = x271 + x275;
const x277 = Math.sqrt(x276, 2);
const x279 = x277 - x278;
const x280 = 14.615523338317871;
const x281 = 13.842000007629395;
const x282 = Math.max(x280, x281);
const x283 = x279 + x282;
const x284 = 0;
const x285 = Math.max(x283, x284);
const x286 = Math.pow(x285, 2);
const x287 = x265 + x286;
const x288 = 20;
const x290 = x288 - x289;
const x291 = 0;
const x292 = Math.max(x290, x291);
const x293 = Math.pow(x292, 2);
const x294 = x287 + x293;
const x296 = 133.33333333333334;
const x297 = x295 - x296;
const x298 = 0;
const x299 = Math.max(x297, x298);
const x300 = Math.pow(x299, 2);
const x301 = x294 + x300;
const x302 = 0;
const x305 = x303 - x304;
const x306 = Math.pow(x305, 2);
const x307 = x302 + x306;
const x310 = x308 - x309;
const x311 = Math.pow(x310, 2);
const x312 = x307 + x311;
const x313 = Math.sqrt(x312, 2);
const x315 = x313 - x314;
const x316 = 14.454733848571777;
const x317 = 14.800832748413086;
const x318 = Math.max(x316, x317);
const x319 = x315 + x318;
const x320 = 0;
const x321 = Math.max(x319, x320);
const x322 = Math.pow(x321, 2);
const x323 = x301 + x322;
const x324 = 20;
const x326 = x324 - x325;
const x327 = 0;
const x328 = Math.max(x326, x327);
const x329 = Math.pow(x328, 2);
const x330 = x323 + x329;
const x332 = 133.33333333333334;
const x333 = x331 - x332;
const x334 = 0;
const x335 = Math.max(x333, x334);
const x336 = Math.pow(x335, 2);
const x337 = x330 + x336;
const x340 = x338 - x339;
const x341 = 0.4;
const x343 = x341 * x342;
const x344 = x340 - x343;
const x345 = 0;
const x346 = Math.max(x344, x345);
const x347 = Math.pow(x346, 2);
const x348 = x337 + x347;
const x350 = 14.070921897888184;
const x351 = 14.579999923706055;
const x352 = Math.max(x350, x351);
const x353 = x349 + x352;
const x354 = 10;
const x355 = x353 + x354;
const x356 = 0;
const x359 = x357 - x358;
const x360 = Math.pow(x359, 2);
const x361 = x356 + x360;
const x364 = x362 - x363;
const x365 = Math.pow(x364, 2);
const x366 = x361 + x365;
const x367 = Math.sqrt(x366, 2);
const x368 = x355 - x367;
const x369 = 0;
const x370 = Math.max(x368, x369);
const x371 = Math.pow(x370, 2);
const x372 = x348 + x371;
const x373 = 0;
const x376 = x374 - x375;
const x377 = Math.pow(x376, 2);
const x378 = x373 + x377;
const x381 = x379 - x380;
const x382 = Math.pow(x381, 2);
const x383 = x378 + x382;
const x384 = Math.sqrt(x383, 2);
const x387 = x385 - x386;
const x388 = 5;
const x389 = x387 - x388;
const x390 = x384 - x389;
const x391 = 0;
const x392 = Math.max(x390, x391);
const x393 = Math.pow(x392, 2);
const x394 = x372 + x393;
const x397 = x395 - x396;
const x398 = 0.4;
const x400 = x398 * x399;
const x401 = x397 - x400;
const x402 = 0;
const x403 = Math.max(x401, x402);
const x404 = Math.pow(x403, 2);
const x405 = x394 + x404;
const x407 = 14.070921897888184;
const x408 = 14.579999923706055;
const x409 = Math.max(x407, x408);
const x410 = x406 + x409;
const x411 = 10;
const x412 = x410 + x411;
const x413 = 0;
const x416 = x414 - x415;
const x417 = Math.pow(x416, 2);
const x418 = x413 + x417;
const x421 = x419 - x420;
const x422 = Math.pow(x421, 2);
const x423 = x418 + x422;
const x424 = Math.sqrt(x423, 2);
const x425 = x412 - x424;
const x426 = 0;
const x427 = Math.max(x425, x426);
const x428 = Math.pow(x427, 2);
const x429 = x405 + x428;
const x430 = 0;
const x433 = x431 - x432;
const x434 = Math.pow(x433, 2);
const x435 = x430 + x434;
const x438 = x436 - x437;
const x439 = Math.pow(x438, 2);
const x440 = x435 + x439;
const x441 = Math.sqrt(x440, 2);
const x444 = x442 - x443;
const x445 = 5;
const x446 = x444 - x445;
const x447 = x441 - x446;
const x448 = 0;
const x449 = Math.max(x447, x448);
const x450 = Math.pow(x449, 2);
const x451 = x429 + x450;
const x454 = x452 - x453;
const x455 = 0.4;
const x457 = x455 * x456;
const x458 = x454 - x457;
const x459 = 0;
const x460 = Math.max(x458, x459);
const x461 = Math.pow(x460, 2);
const x462 = x451 + x461;
const x464 = 14.678630828857422;
const x465 = 13.904999732971191;
const x466 = Math.max(x464, x465);
const x467 = x463 + x466;
const x468 = 10;
const x469 = x467 + x468;
const x470 = 0;
const x473 = x471 - x472;
const x474 = Math.pow(x473, 2);
const x475 = x470 + x474;
const x478 = x476 - x477;
const x479 = Math.pow(x478, 2);
const x480 = x475 + x479;
const x481 = Math.sqrt(x480, 2);
const x482 = x469 - x481;
const x483 = 0;
const x484 = Math.max(x482, x483);
const x485 = Math.pow(x484, 2);
const x486 = x462 + x485;
const x487 = 0;
const x490 = x488 - x489;
const x491 = Math.pow(x490, 2);
const x492 = x487 + x491;
const x495 = x493 - x494;
const x496 = Math.pow(x495, 2);
const x497 = x492 + x496;
const x498 = Math.sqrt(x497, 2);
const x501 = x499 - x500;
const x502 = 5;
const x503 = x501 - x502;
const x504 = x498 - x503;
const x505 = 0;
const x506 = Math.max(x504, x505);
const x507 = Math.pow(x506, 2);
const x508 = x486 + x507;
const x511 = x509 - x510;
const x512 = 0.4;
const x514 = x512 * x513;
const x515 = x511 - x514;
const x516 = 0;
const x517 = Math.max(x515, x516);
const x518 = Math.pow(x517, 2);
const x519 = x508 + x518;
const x521 = 14.678630828857422;
const x522 = 13.904999732971191;
const x523 = Math.max(x521, x522);
const x524 = x520 + x523;
const x525 = 10;
const x526 = x524 + x525;
const x527 = 0;
const x530 = x528 - x529;
const x531 = Math.pow(x530, 2);
const x532 = x527 + x531;
const x535 = x533 - x534;
const x536 = Math.pow(x535, 2);
const x537 = x532 + x536;
const x538 = Math.sqrt(x537, 2);
const x539 = x526 - x538;
const x540 = 0;
const x541 = Math.max(x539, x540);
const x542 = Math.pow(x541, 2);
const x543 = x519 + x542;
const x544 = 0;
const x547 = x545 - x546;
const x548 = Math.pow(x547, 2);
const x549 = x544 + x548;
const x552 = x550 - x551;
const x553 = Math.pow(x552, 2);
const x554 = x549 + x553;
const x555 = Math.sqrt(x554, 2);
const x558 = x556 - x557;
const x559 = 5;
const x560 = x558 - x559;
const x561 = x555 - x560;
const x562 = 0;
const x563 = Math.max(x561, x562);
const x564 = Math.pow(x563, 2);
const x565 = x543 + x564;
const x568 = x566 - x567;
const x569 = 0.4;
const x571 = x569 * x570;
const x572 = x568 - x571;
const x573 = 0;
const x574 = Math.max(x572, x573);
const x575 = Math.pow(x574, 2);
const x576 = x565 + x575;
const x578 = 14.453170776367188;
const x579 = 14.799232482910156;
const x580 = Math.max(x578, x579);
const x581 = x577 + x580;
const x582 = 10;
const x583 = x581 + x582;
const x584 = 0;
const x587 = x585 - x586;
const x588 = Math.pow(x587, 2);
const x589 = x584 + x588;
const x592 = x590 - x591;
const x593 = Math.pow(x592, 2);
const x594 = x589 + x593;
const x595 = Math.sqrt(x594, 2);
const x596 = x583 - x595;
const x597 = 0;
const x598 = Math.max(x596, x597);
const x599 = Math.pow(x598, 2);
const x600 = x576 + x599;
const x601 = 0;
const x604 = x602 - x603;
const x605 = Math.pow(x604, 2);
const x606 = x601 + x605;
const x609 = x607 - x608;
const x610 = Math.pow(x609, 2);
const x611 = x606 + x610;
const x612 = Math.sqrt(x611, 2);
const x615 = x613 - x614;
const x616 = 5;
const x617 = x615 - x616;
const x618 = x612 - x617;
const x619 = 0;
const x620 = Math.max(x618, x619);
const x621 = Math.pow(x620, 2);
const x622 = x600 + x621;
const x625 = x623 - x624;
const x626 = 0.4;
const x628 = x626 * x627;
const x629 = x625 - x628;
const x630 = 0;
const x631 = Math.max(x629, x630);
const x632 = Math.pow(x631, 2);
const x633 = x622 + x632;
const x635 = 14.453170776367188;
const x636 = 14.799232482910156;
const x637 = Math.max(x635, x636);
const x638 = x634 + x637;
const x639 = 10;
const x640 = x638 + x639;
const x641 = 0;
const x644 = x642 - x643;
const x645 = Math.pow(x644, 2);
const x646 = x641 + x645;
const x649 = x647 - x648;
const x650 = Math.pow(x649, 2);
const x651 = x646 + x650;
const x652 = Math.sqrt(x651, 2);
const x653 = x640 - x652;
const x654 = 0;
const x655 = Math.max(x653, x654);
const x656 = Math.pow(x655, 2);
const x657 = x633 + x656;
const x658 = 0;
const x661 = x659 - x660;
const x662 = Math.pow(x661, 2);
const x663 = x658 + x662;
const x666 = x664 - x665;
const x667 = Math.pow(x666, 2);
const x668 = x663 + x667;
const x669 = Math.sqrt(x668, 2);
const x672 = x670 - x671;
const x673 = 5;
const x674 = x672 - x673;
const x675 = x669 - x674;
const x676 = 0;
const x677 = Math.max(x675, x676);
const x678 = Math.pow(x677, 2);
const x679 = x657 + x678;
const x680 = 100000;
const x681 = 0.01;
const x682 = x680 * x681;
const x683 = x679 * x682;
const x684 = x84 + x683;
return x684;
})