SHARE
TWEET

Tetrahedral event for mathSE/351913

a guest Apr 23rd, 2013 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (w1*(2 + w2*(-1 + w3*w4*w5)) > 1 && 1 + w1*(-2 + w2 + w2*w3*w4*w5) > 0 &&
  2.   w1*(w2 + w2*w3*w4*w5) < 1 &&
  3.   ((1 + w1*(w2 + w2*w3*w4*w5) > w1*(1 + w2*w3*(1 + w4)) &&
  4.     w1*(1 + w2*(1 + w3*(-1 + w4*(-1 + w5)))) < 1 &&
  5.     1 + w1*w2*(-1 + w3 - w3*w4 + w3*w4*w5) < w1 &&
  6.     ((1 + w2*w3*(-2 + w4) > 0 && 2*w4 > 1 && 1 + 2*w4*w5 > 2*w4 &&
  7.       w2*(2 + w3*(-2 + w4)) < 1 && 1 + w2*w3*w4 < 2*w2 && 2*w4*w5 < 1 &&
  8.       (-1 + w4)^2 + w1^2*(5 - 10*w4 + w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)) +
  9.           2*w4^2*(2 + w5) - w2^2*(2*(-1 + w4)^2 +
  10.             w3*(-2 + 4*w4 - 4*w4^2*w5) + w3^2*w4*(2 + 2*w4^3*(-1 + w5)*w5 +
  11.               w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-5 + 2*w5^2)))) +
  12.         2*w1^3*(-1 + 2*w4 + w2*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) - 2*w4^2*w5 +
  13.           w2^2*(2*(-1 + w4)^2 + w3*(-2 + 4*w4 - 4*w4^2*w5) +
  14.             w3^2*w4*(2 + 2*w4^3*(-1 + w5)*w5 + w4^2*(2 + 4*w5 - 4*w5^2) +
  15.               w4*(-5 + 2*w5^2)))) + w1^4*(w4^2*w5^2 +
  16.           w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) +
  17.           w2^2*(-1 + 2*w4 + 4*w3*w4^2*w5^2 + 2*w4^2*(2 - 5*w5 + 2*w5^2) +
  18.             w3^2*(1 - 4*w4 - 2*w4^4*(-1 + w5)*w5^2 + 2*w4^3*w5*(-4 + 3*w5) +
  19.               w4^2*(4 + 4*w5 - 5*w5^2))) + 2*w2^3*(-1 + 2*w4 +
  20.             2*w4^2*(-1 + w5) + w3*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) +
  21.             w3^2*(-1 + 2*w4 - 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 +
  22.               w4^2*(1 - 4*w5 + 3*w5^2))) + w2^4*((-1 + w4)^2 -
  23.             2*w3^3*w4^2*(1 + 2*w4 + 2*w4^2*(-1 + w5))*w5^2 +
  24.             w3*(-2 + 4*w4 - 4*w4^2*w5) + w3^4*w4^3*w5^2*
  25.              (2 - 2*w4^2*(-1 + w5)^2 + w4^3*(-1 + w5)^2 + w4*(-1 + w5^2)) +
  26.             w3^2*(1 - 2*w4 + 2*w4^4*(-1 + w5)*w5 + w4^2*(-1 + 4*w5 +
  27.                 2*w5^2) + w4^3*(2 - 4*w5 + 4*w5^2)))) < 4*w1*(-1 + w4)^2) ||
  28.      (1 + w3*(-2 + w4 + w4*w5) > 0 && 1 + w2*(w3 + w3*w4*w5) >
  29.        w2 + 2*w2*w3*w4 && w1*(4*w3^2*(-1 + w4)^2 +
  30.          w1*(1 - 2*w3 - w3^2*(4 - 10*w4 + w4^2*(5 + w5^2)) +
  31.            2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*(-1 + w5^2))) +
  32.            w2^2*(1 - 2*w3 + 2*w3^3*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  33.              w3^2*(3 - 4*w4 + w4^2*(1 + 2*w5 - 2*w5^2)) +
  34.              w3^4*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-5 + w5^2) + w4^3*w5*
  35.                 (-2 + 3*w5 - 2*w5^2 + w5^3))))) > w3^2*(-1 + w4)^2 +
  36.         2*w1^3*(1 - 2*w3 - w3^2*w4*(-2 + w4 + w4*w5^2) +
  37.           2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*(-1 + w5^2))) +
  38.           w2^2*(1 - 2*w3 + 2*w3^3*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  39.             w3^2*(3 - 4*w4 + w4^2*(1 + 2*w5 - 2*w5^2)) +
  40.             w3^4*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-5 + w5^2) +
  41.               w4^3*w5*(-2 + 3*w5 - 2*w5^2 + w5^3)))) +
  42.         w1^4*(w3^2*w4^2*w5^2 - 2*w2*(1 - 2*w3 + w3^2*w4*
  43.              (2 + w4*(-1 + w5^2))) + 2*w2^3*(-3 + 8*w3 +
  44.             w3^4*w4*(-2 + 2*w4^2*(-1 + w5)^2 + w4^3*(-1 + w5)^3*(1 + w5) +
  45.               w4*(1 + w5^2)) + w3^3*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  46.             w3^2*(-7 - 2*w4 + 2*w4^2*(1 - w5 + w5^2))) +
  47.           w2^4*(2 - 6*w3 + 2*w3^5*w4^2*w5^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  48.             w3^6*w4^2*w5^2*(1 - 2*w4 + 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^
  49.                 3*w5 + w4^2*(-1 + 4*w5 - 2*w5^2)) -
  50.             2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) +
  51.             w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)) +
  52.             w3^4*w4*(2 - w4 + w4^2*(-2 + 4*w5 - 4*w5^2) + w4^3*(1 - 2*w5 +
  53.                 4*w5^3 - 2*w5^4))) + w2^2*(6 - 14*w3 +
  54.             w3^2*(8 + 6*w4 - 3*w4^2) + 2*w3^3*w4*(-4 + w4*(2 + w5^2)) +
  55.             w3^4*w4^2*(4 - 2*w5^2 + 2*w4*(-2 + w5^2) + w4^2*(1 - 3*w5^2 +
  56.                 4*w5^3 - 2*w5^4)))) && 1 + w3*w4 < w3*(2 + w4*w5) &&
  57.       w3*w4*(1 + w5) < 1 && w2*(1 + w3 - 2*w3*w4 + w3*w4*w5) < 1 &&
  58.       1 + w2*w3*w4*w5 < w2*(1 + w3)))) ||
  59.    (w1 + w1*w2*w3 > 1 + w1*w2*w3*w4*w5 &&
  60.     1 + w1*(-1 + w2*w3*(1 + w4*(-2 + w5))) > 0 &&
  61.     w1*(1 + w2*w3*(1 + w4*(-2 + w5))) < 1 &&
  62.     ((1 + w2*w3*(-2 + w4) > 0 && w3 + w3*w4 > 1 && w2*(2 + w3*(-2 + w4)) <
  63.        1 && 1 + w2*w3*w4 < 2*w2 && w3*(1 + w4 - 2*w4*w5) < 1 &&
  64.       w3 + 2*w3*w4*w5 < 1 + w3*w4 &&
  65.       (-1 + w3)^2 + w1^2*(5 - 10*w3 + w3^2*(5 + w4^2*(-1 + 2*w5)) +
  66.           2*w2*(1 - 2*w3 + w3^2*(1 + w4^2 - 2*w4^2*w5)) -
  67.           w2^2*w3*(2 + w3^3*w4*(-2 + w4 + w4^2*(2 - 4*w5) + 2*w4*w5^2 +
  68.               w4^3*(-1 + 2*w5)) + w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  69.             w3*(-4 - 2*w4 + w4^2*(3 - 4*w5 + 2*w5^2)))) +
  70.         2*w1^3*(-1 + 2*w3 + w3^2*(-1 + w4^2 - 2*w4^2*w5) +
  71.           w2*(-2 + 4*w3 + w3^2*(-2 + w4^2*(-2 + 4*w5))) +
  72.           w2^2*w3*(2 + w3^3*w4*(-2 + w4 + w4^2*(2 - 4*w5) + 2*w4*w5^2 +
  73.               w4^3*(-1 + 2*w5)) + w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  74.             w3*(-4 - 2*w4 + w4^2*(3 - 4*w5 + 2*w5^2)))) +
  75.         w1^4*(w3^2*w4^2*w5^2 + w2*(2 - 4*w3 - 2*w3^2*(-1 + w4^2*(1 - 2*w5 +
  76.                 2*w5^2))) + 2*w2^3*w3^2*(-1 + 2*w4 +
  77.             w3*(2 - 4*w4 - 2*w4^2*(-2 + w5)*w5) - w4^2*(2 - 2*w5 + w5^2) +
  78.             w3^2*(-1 + 2*w4 + w4^3*(-2 + 4*w5 - 4*w5^2) + w4^4*w5*(2 - 3*w5 +
  79.                 2*w5^2) + w4^2*(1 - 4*w5 + 3*w5^2))) +
  80.           w2^2*w3*(-2 + w3*(5 + 3*w4^2*(-1 + w5)^2) +
  81.             w3^2*(-4 + w4^2*(4 - 8*w5 + 6*w5^2)) + w3^3*(1 + 4*w4^3*w5^2 +
  82.               w4^2*(-2 + 4*w5 - 5*w5^2) + w4^4*(1 - 4*w5 + 3*w5^2 -
  83.                 2*w5^3))) + w2^4*w3^2*((-1 + w4)^2 +
  84.             2*w3*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) - 2*w3^3*w4^2*w5^2*
  85.              (-1 + 2*w4 + w4^2*(-2 + w5)*w5) + w3^4*w4^3*w5^2*
  86.              (-2 + 2*w4^3*w5 - 2*w4^2*(1 + 2*w5) + w4*(5 + w5^2)) +
  87.             w3^2*(1 - 2*w4 - w4^2*(1 - 2*w5)^2 + w4^3*(2 - 4*w5 + 6*w5^2) +
  88.               w4^4*w5*(-2 + 3*w5 - 4*w5^2 + w5^3)))) < 4*w1*(-1 + w3)^2) ||
  89.      (1 + w3*(-2 + w4 + w4*w5) > 0 &&
  90.       w1*(4*(-1 + w3)^2 + w1*(-5 + 10*w3 - 4*w3^2 - 2*w3^2*w4 + w3^2*w4^2 -
  91.            w3^2*w4^2*w5^2 + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*
  92.                 (-1 + w5^2))) + w2^2*w3*(2 + w3^3*w4*(-2 + 2*w4^2*
  93.                 (-1 + w5)^2 + w4^3*(-1 + w5)^3*(1 + w5) + w4*(1 + w5^2)) +
  94.              w3*(-3 - 4*w4 + w4^2*(3 - 2*w5 + w5^2)) +
  95.              w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2))))) >
  96.        (-1 + w3)^2 + 2*w1^3*(-1 + 2*w3 - 2*w3^2*w4 + w3^2*w4^2 -
  97.           w3^2*w4^2*w5^2 + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 +
  98.               w4^2*(-1 + w5^2))) + w2^2*w3*(2 + w3^3*w4*
  99.              (-2 + 2*w4^2*(-1 + w5)^2 + w4^3*(-1 + w5)^3*(1 + w5) +
  100.               w4*(1 + w5^2)) + w3*(-3 - 4*w4 + w4^2*(3 - 2*w5 + w5^2)) +
  101.             w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)))) +
  102.         w1^4*(w3^2*w4^2*w5^2 - 2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 +
  103.               w4*w5^2)) + w2^4*w3^2*(w4^2*(-1 + w5)^2 +
  104.             w3*(2 - 4*w4 - 2*w4^2*(-2 + w5)*w5) + 2*w3^3*w4^2*w5^2*
  105.              (-1 + 2*w4 + w4^2*(-2 + w5)*w5) + w3^4*w4^2*w5^2*
  106.              (1 - 2*w4 + 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^3*w5 +
  107.               w4^2*(-1 + 4*w5 - 2*w5^2)) + w3^2*w4*(-2 + 5*w4 +
  108.               2*w4^2*(-1 - 2*w5 + w5^2) + w4^3*w5*(2 - 3*w5 + 4*w5^2 -
  109.                 2*w5^3))) + 2*w2^3*w3^2*(-1 + 2*w4 +
  110.             2*w3*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) - w4^2*(2 - 2*w5 + w5^2) +
  111.             w3^2*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-5 + w5^2) +
  112.               w4^3*w5*(-2 + 3*w5 - 2*w5^2 + w5^3))) +
  113.           w2^2*w3*(-2 + w3*(8 - 6*w4 + 3*w4^2) + 2*w3^2*w4*
  114.              (-4 + w4*(2 + w5^2)) + w3^3*w4^2*(4 - 2*w5^2 + 2*w4*(-2 +
  115.                 w5^2) + w4^2*(1 - 3*w5^2 + 4*w5^3 - 2*w5^4)))) &&
  116.       1 + w3*w4 < w3*(2 + w4*w5) && w2*(2 + w3*(-1 + w4*(-1 + w5))) < 1 &&
  117.       w3*w4*(1 + w5) < 1 && w2*w3*(1 + w4 - w4*w5) < 1 &&
  118.       1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0))) ||
  119.    (w1*(1 + w2 - w2*w3*w4) > 1 && 1 + w1*(w2 + w2*w3*w4) > w1 + 2*w1*w2*w3 &&
  120.     w1*(1 + w2 - 2*w2*w3 + w2*w3*w4) < 1 &&
  121.     ((2*w4 > 1 && 1 + 2*w4*w5 > 2*w4 && w2*(2 + w3*(-1 + w4*(-1 + w5))) <
  122.        1 && 2*w4*w5 < 1 && w2*w3*(1 + w4 - w4*w5) < 1 &&
  123.       1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0 &&
  124.       w4^2*(-1 + w5)^2 + w1^2*(-1 + 2*w4 + w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)) +
  125.           2*w4^2*(2 - 5*w5 + 3*w5^2) + w2^2*(-2*w4^2*(-1 + w5)^2 +
  126.             w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*w5) -
  127.             w3^2*(-1 + 2*w4 - 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 +
  128.               w4^2*(1 - 4*w5 + 3*w5^2)))) +
  129.         2*w1^3*(1 - 2*w4 + w2*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) -
  130.           2*w4^2*(-1 + w5)*w5 + w2^2*(2*w4^2*(-1 + w5)^2 +
  131.             w3*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) + w3^2*(-1 + 2*w4 -
  132.               2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 + w4^2*(1 - 4*w5 +
  133.                 3*w5^2)))) + w1^4*(w4^2*w5^2 + w2*(-2 + 4*w4 - 4*w4^2*w5) +
  134.           w2^2*(5 - 10*w4 + 4*w3*w4^2*w5^2 + w4^2*(4 + 2*w5 - 2*w5^2) +
  135.             w3^2*(1 - 4*w4 - 2*w4^4*(-1 + w5)*w5^2 + 2*w4^3*w5*(-4 + 3*w5) +
  136.               w4^2*(4 + 4*w5 - 5*w5^2))) + 2*w2^3*(-1 + 2*w4 +
  137.             2*w4^2*(-1 + w5) + w3*(-2 + 4*w4 - 4*w4^2*w5) +
  138.             w3^2*w4*(2 + 2*w4^3*(-1 + w5)*w5 + w4^2*(2 + 4*w5 - 4*w5^2) +
  139.               w4*(-5 + 2*w5^2))) + w2^4*(w4^2*(-1 + w5)^2 -
  140.             2*w3^3*w4^2*(1 + 2*w4 + 2*w4^2*(-1 + w5))*w5^2 +
  141.             w3*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) + w3^4*w4^3*w5^2*
  142.              (2 - 2*w4^2*(-1 + w5)^2 + w4^3*(-1 + w5)^2 + w4*(-1 + w5^2)) +
  143.             w3^2*w4*(-2 + 2*w4^3*(-1 + w5)^2*w5 + w4*(5 + 3*w5^2) +
  144.               w4^2*(-2 - 4*w5 + 6*w5^2)))) < 4*w1*w4^2*(-1 + w5)^2) ||
  145.      (w3 + w3*w4 > 1 && 1 + w2*(w3 + w3*w4*w5) > w2 + 2*w2*w3*w4 &&
  146.       w1*(4*w3^2*w4^2*(-1 + w5)^2 + w1*(1 - 2*w3 +
  147.            w3^2*(1 + w4^2*(-5 + 10*w5 - 6*w5^2)) +
  148.            w2*(-2 + 4*w3 + w3^2*(-2 + w4^2*(-2 + 4*w5))) +
  149.            w2^2*(1 - 2*w3 + w3^3*(2 - 4*w4 - 2*w4^2*(-2 + w5)*w5) +
  150.              w3^2*w4*(2 + w4*(1 - 4*w5 + w5^2)) + w3^4*(-1 + 2*w4 + w4^3*
  151.                 (-2 + 4*w5 - 4*w5^2) + w4^4*w5*(2 - 3*w5 + 2*w5^2) + w4^2*
  152.                 (1 - 4*w5 + 3*w5^2))))) > w3^2*w4^2*(-1 + w5)^2 +
  153.         2*w1^3*(1 - 2*w3 - w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2)) +
  154.           w2*(-2 + 4*w3 + w3^2*(-2 + w4^2*(-2 + 4*w5))) +
  155.           w2^2*(1 - 2*w3 + w3^3*(2 - 4*w4 - 2*w4^2*(-2 + w5)*w5) +
  156.             w3^2*w4*(2 + w4*(1 - 4*w5 + w5^2)) + w3^4*(-1 + 2*w4 +
  157.               w4^3*(-2 + 4*w5 - 4*w5^2) + w4^4*w5*(2 - 3*w5 + 2*w5^2) +
  158.               w4^2*(1 - 4*w5 + 3*w5^2)))) + w1^4*(w3^2*w4^2*w5^2 -
  159.           2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  160.           2*w2^3*(-3 + 8*w3 + w3^4*w4*(-2 + w4 + w4^2*(2 - 4*w5) +
  161.               2*w4*w5^2 + w4^3*(-1 + 2*w5)) + w3^3*(2 + 4*w4 -
  162.               4*w4^2*(1 - w5 + w5^2)) + w3^2*(-7 - 2*w4 + 2*w4^2*(1 - w5 +
  163.                 w5^2))) + w2^2*(6 - 14*w3 + w3^2*(11 - 3*w4^2*(-1 + w5)^2) +
  164.             w3^3*(-4 + w4^2*(4 - 8*w5 + 6*w5^2)) + w3^4*(1 + 4*w4^3*w5^2 +
  165.               w4^2*(-2 + 4*w5 - 5*w5^2) + w4^4*(1 - 4*w5 + 3*w5^2 -
  166.                 2*w5^3))) + w2^4*(2 - 6*w3 - 2*w3^5*w4^2*w5^2*
  167.              (-1 + 2*w4 + w4^2*(-2 + w5)*w5) + w3^6*w4^3*w5^2*
  168.              (-2 + 2*w4^3*w5 - 2*w4^2*(1 + 2*w5) + w4*(5 + w5^2)) -
  169.             2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) +
  170.             w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)) +
  171.             w3^4*w4*(2 + 2*w4^2*(-1 + 2*w5 + w5^2) - w4*(1 + 3*w5^2) +
  172.               w4^3*(1 - 2*w5 - 2*w5^3 + w5^4)))) && w3*(1 + w4 - 2*w4*w5) <
  173.        1 && w2*(1 + w3 - 2*w3*w4 + w3*w4*w5) < 1 &&
  174.       w3 + 2*w3*w4*w5 < 1 + w3*w4 && 1 + w2*w3*w4*w5 < w2*(1 + w3)))))) ||
  175.  (1 + w1*(w2 + w2*w3*w4*w5) > w1*(1 + w2*w3*(1 + w4)) &&
  176.   w1*(1 + w2*(1 + w3*(-1 + w4*(-1 + w5)))) < 1 &&
  177.   1 + w1*w2*(-1 + w3 - w3*w4 + w3*w4*w5) < w1 &&
  178.   ((w2 + w2*w3*w4 > 1 && w2 + w2*w3*w4 < 1 + 2*w2*w3*w4*w5 &&
  179.     w2*(1 + w3*w4*(-1 + 2*w5)) < 1 && ((1 + w2*w3*(-2 + w4) > 0 &&
  180.       w1 + w1*w2*w3*(1 + w4*(-1 + w5)) > 1 &&
  181.       1 + w1*(-1 + w2*w3*(-1 + w4 + w4*w5)) > 0 &&
  182.       w1*(4*(-1 + w2)^2 + w1*(-7 + 16*w2 + w2^4*w3*
  183.             (-2 + 2*w3^2*w4^2*(1 - 2*w5) + w3^3*w4^3*(-2 + w4 + 4*w5 - 2*w4*
  184.                 w5) + w3*(2 - 2*w4 + w4^2 + 2*w4^2*w5^2)) +
  185.            w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  186.            w2^2*(-11 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2)))) +
  187.          2*w1^2*(3 - 8*w2 + w2^4*w3*(2 + 2*w3^2*w4^2*(-1 + 2*w5) +
  188.              w3^3*(-2 + w4)*w4^3*(-1 + 2*w5) - w3*(2 - 2*w4 + w4^2 + 2*w4^2*
  189.                 w5^2)) + w2^2*(7 + 2*w3 - 2*w3^2*(1 - w4 + w4^2*(1 - w5 +
  190.                  w5^2))) + w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*
  191.                 (1 - w5 + w5^2)))) + w1^3*(-2 + 6*w2 + 2*w2^5*w3^2*
  192.             (-1 + 2*w3 + w3^2*(-1 + w4^2*(-1 + w5)^2))*(-1 + 2*w4 +
  193.              w4^2*(-1 + w5^2)) + w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*
  194.                 (1 - w5 + w5^2))) + 2*w2^2*(-3 - w3 +
  195.              w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) + w2^6*w3^2*
  196.             (-(-1 + w4)^2 + 2*w3^4*w4^3*(1 + w4*(-1 + w5))^2*
  197.               (1 + w4*(-1 + w5) - 2*w5) + 2*w3*(1 - 2*w4 + w4^2*(1 + w5^2)) +
  198.              2*w3^3*w4^2*(-1 + 2*w5 + w4*(2 - 4*w5 + 4*w5^2) + w4^2*
  199.                 (-1 + 2*w5 - 3*w5^2 + 2*w5^3)) + w3^2*(-1 + 2*w4 + w4^3*
  200.                 (-4 + 8*w5 - 6*w5^2) + w4^2*(1 - 4*w5 - 2*w5^2) - w4^4*
  201.                 (-2 + 4*w5 - 3*w5^2 + w5^4))) - w2^4*w3*
  202.             (2 - w3*(1 + 3*w4^2*w5^2) + 2*w3^2*(-1 + 2*w4 + w4^2*
  203.                 (-2 + 2*w5 + w5^2)) + w3^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 +
  204.                2*w4^3*(2 - 4*w5 + w5^2) + w4^4*(-2 + 4*w5 - 2*w5^3 +
  205.                  w5^4))))) > (-1 + w2)^2 && w2*(2 + w3*(-2 + w4)) < 1 &&
  206.       1 + w2*w3*w4 < 2*w2 && w1*(1 + w2*w3*(-1 + w4 + w4*w5)) < 1) ||
  207.      (1 + w3*(-2 + w4 + w4*w5) > 0 &&
  208.       w1*(4*w3^2*w4^2*w5^2 + w1*(1 - 2*w3 - w3^2*w4*(-2 + w4 + 5*w4*w5^2) -
  209.            2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-1 + w5^2))) +
  210.            w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(1 - 2*w5) + w3^2*w4*
  211.               (2 + w4*(-2 + 2*w5 + w5^2)) + w3^4*w4^2*(2*w5^2 + w4*
  212.                 (-2 + 4*w5 - 4*w5^2) + w4^2*(1 - 2*w5 + 3*w5^2 - 2*w5^3)))) +
  213.          2*w1^2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 + w4*w5^2) +
  214.            2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-1 + w5^2))) +
  215.            w2^2*(-1 + 2*w3 + 2*w3^3*w4^2*(-1 + 2*w5) -
  216.              w3^2*w4*(2 + w4*(-2 + 2*w5 + w5^2)) + w3^4*w4^2*(-2*w5^2 + w4*
  217.                 (2 - 4*w5 + 4*w5^2) + w4^2*(-1 + 2*w5 - 3*w5^2 + 2*w5^3)))) +
  218.          w1^3*(-(w3^2*(-1 + w4)^2) + w2*(2 - 4*w3 + w3^2*(4 - 4*w4 - 2*w4^2*
  219.                 (-1 + w5^2))) + 2*w2^3*(3 - 8*w3 + w3^4*w4*(2 + 2*w4^2*
  220.                 (-1 + w5)^2 + w4^3*(-1 + w5)^3*(1 + w5) + w4*(-3 + 4*w5 -
  221.                  3*w5^2)) + w3^2*(7 + 2*w4 - 2*w4^2*(1 - w5 + w5^2)) +
  222.              w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2))) -
  223.            w2^2*(6 - 14*w3 + w3^2*(11 - 3*w4^2*w5^2) +
  224.              2*w3^3*(-1 - 2*w4 + w4^2*(1 + 2*w5^2)) +
  225.              w3^4*w4*(2 + w4*(-3 + 4*w5 - 5*w5^2) + w4^2*(4 - 8*w5 +
  226.                  6*w5^2) + w4^3*(-2 + 4*w5 - 3*w5^2 + w5^4))) +
  227.            w2^4*(-2 + 6*w3 + 2*w3^5*(-1 + w4)^2*w4^2*(-1 + 2*w5) +
  228.              w3^6*(-1 + w4)^2*w4^2*(2*w4*(-1 + w5)^2 + 2*w4^2*(-1 + w5)^3 -
  229.                w5^2) + w3^3*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  230.              2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) -
  231.              w3^4*w4*(2 + w4*(-4 + 6*w5 - 3*w5^2) + 2*w4^2*(2 - 4*w5 +
  232.                  w5^2) + w4^3*(-2 + 4*w5 - 2*w5^3 + w5^4))))) >
  233.        w3^2*w4^2*w5^2 && w1*(2 + w2*(-1 + w3*(-1 + w4))) < 1 &&
  234.       w1*w2*(1 + w3 - w3*w4) < 1 && 1 + w3*w4 < w3*(2 + w4*w5) &&
  235.       1 + w1*(-2 + w2 - w2*w3 + w2*w3*w4) < 0 && w3*w4*(1 + w5) < 1))) ||
  236.    (1 + w2*(-2 + w3 + w3*w4*w5) > 0 && w1 < w1*w2*(2 + w3*(-1 + w4*w5)) &&
  237.     w2*(w3 + w3*w4*w5) < 1 && ((w1 + w1*w2*w3*(1 + w4*(-1 + w5)) > 1 &&
  238.       1 + w2*(w3 + w3*w4*w5) > w2 + 2*w2*w3*w4 &&
  239.       1 + w1*(-1 + w2*w3*(-1 + w4 + w4*w5)) > 0 &&
  240.       w1*(4*(-1 + w2)^2 + w1*(-7 + 16*w2 + w2^4*w3*
  241.             (-2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  242.              w3^3*(-1 + w4*w5)^2*(1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) +
  243.              w3*(3 - 4*w4 + w4^2*(2 + w5^2))) +
  244.            w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  245.            w2^2*(-11 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))))) >
  246.        (-1 + w2)^2 + 2*w1^3*(-3 + 8*w2 + w2^4*w3*
  247.            (-2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) + w3^3*(-1 + w4*w5)^2*
  248.              (1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) +
  249.             w3*(3 - 4*w4 + w4^2*(2 + w5^2))) +
  250.           w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  251.           w2^2*(-7 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2)))) +
  252.         w1^4*(2 - 6*w2 + 2*w2^5*w3^2*(-1 + 2*w3 +
  253.             w3^2*(-1 + w4^2*(-1 + w5)^2))*(-1 + 2*w4 + w4^2*(-1 + w5^2)) -
  254.           2*w2^2*(-3 - w3 + w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  255.           w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  256.           w2^4*w3*(2 + w3*(-4 + 6*w4 - 3*w4^2) + w3^2*(4 - 8*w4 +
  257.               w4^2*(2 + 4*w5 - 4*w5^2)) + w3^3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*
  258.                w5 + w4^3*(-2 + 4*w5 - 4*w5^2) + w4^4*(1 - 2*w5 + 4*w5^3 -
  259.                 2*w5^4))) + w2^6*w3^2*(w4^2*w5^2 +
  260.             2*w3^4*(1 - w4 + w4^2*(-1 + w5)*w5)*(-1 + w4 + w4^2*(-1 + w5)*w5)^
  261.               2 - 2*w3*(1 - 2*w4 + w4^2*(1 + w5^2)) +
  262.             2*w3^3*(-3 + 8*w4 + w4^3*(2 + 4*w5 - 4*w5^2) + w4^2*(-7 - 2*w5 +
  263.                 2*w5^2) + w4^4*w5*(-2 + 3*w5 - 2*w5^2 + w5^3)) +
  264.             w3^2*(6 - 14*w4 + 11*w4^2 + 2*w4^3*(-2 + w5^2) +
  265.               w4^4*(1 - 3*w5^2 + 4*w5^3 - 2*w5^4)))) &&
  266.       w2*(1 + w3 - 2*w3*w4 + w3*w4*w5) < 1 && 1 + w2*w3*w4*w5 <
  267.        w2*(1 + w3) && w1*(1 + w2*w3*(-1 + w4 + w4*w5)) < 1) ||
  268.      (2*w4 > 1 && 1 + 2*w4*w5 > 2*w4 && w1*(2 + w2*(-1 + w3*(-1 + w4))) <
  269.        1 && w1*w2*(1 + w3 - w3*w4) < 1 &&
  270.       1 + w1*(-2 + w2 - w2*w3 + w2*w3*w4) < 0 && 2*w4*w5 < 1 &&
  271.       w4^2*w5^2 + w1^2*(1 - 2*w4 + 2*w4^2*w5*(1 + 2*w5) +
  272.           w2*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*w5) +
  273.           w2^2*(-2*w4^2*w5^2 + w3*(2 - 4*w4 + 4*w4^2*w5) +
  274.             w3^2*(-1 + 2*w4 + 2*w4^3*w5^2 + 2*w4^4*(-1 + w5)*w5^2 -
  275.               w4^2*w5*(2 + w5)))) + w1^3*(-2 + 4*w4 - 4*w4^2*w5 +
  276.           w2*(4 - 8*w4 - 8*w4^2*(-1 + w5)*w5) + 2*w2^2*(2*w4^2*w5^2 +
  277.             w3*(-2 + 4*w4 - 4*w4^2*w5) + w3^2*(1 - 2*w4 - 2*w4^3*w5^2 -
  278.               2*w4^4*(-1 + w5)*w5^2 + w4^2*w5*(2 + w5)))) +
  279.         w1^4*((-1 + w4)^2 + w2*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) +
  280.           w2^4*(w4^2*w5^2 + w3*(-2 + 4*w4 - 4*w4^2*w5) + 2*w3^3*(-1 + w4)^2*
  281.              (-3 + 2*w4 + 2*w4^2*(-1 + w5)*w5) + w3^4*(-1 + w4)^2*
  282.              (2 - 2*w4 - 2*w4^2*(-1 + w5)*w5 + w4^4*(-1 + w5)^2*w5^2) +
  283.             w3^2*(6 - 14*w4 - 2*w4^4*(-1 + w5)*w5^2 + 2*w4^3*w5*(-4 + 3*w5) +
  284.               w4^2*(8 + 6*w5 - 3*w5^2))) + 2*w2^3*(1 - 2*w4 +
  285.             w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) - 2*w4^2*(-1 + w5)*w5 +
  286.             w3^2*(1 - 2*w4 - 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 +
  287.               w4^2*(3 - 4*w5 + w5^2))) + w2^2*(-1 + 4*w3*(-1 + w4)^2 + 2*w4 +
  288.             2*w4^2*(2 - 5*w5 + 2*w5^2) + w3^2*(-2 + 4*w4 + 2*w4^4*(-1 + w5)*
  289.                w5 + w4^2*(-3 + 2*w5 - 2*w5^2) + w4^3*(2 - 4*w5 + 4*w5^2)))) <
  290.        4*w1*w4^2*w5^2))))) || (1 + w2*w3*(-2 + w4) > 0 &&
  291.   w2*(2 + w3*(-2 + w4)) < 1 && 1 + w2*w3*w4 < 2*w2 &&
  292.   ((w1*w2 < 1 + w1*w2*w3*w4*(-1 + w5) &&
  293.     1 + w1*(-2 + w2*(1 + w3*w4*(-1 + w5))) < 0 &&
  294.     w1*(2 + w2*(-1 + w3*w4*(-1 + w5))) < 1 &&
  295.     ((2*w4 > 1 && 1 + 2*w4*w5 > 2*w4 && w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) >
  296.        1 && 1 + w1*w2*w3*(1 + w4*w5) > w1*(1 + w2) && 2*w4*w5 < 1 &&
  297.       w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1 &&
  298.       (-1 + w4)^2 + w1^2*(5 - 10*w4 - 2*w4^2*(-3 + w5) +
  299.           w2*(2 - 4*w4 + 4*w4^2*w5) - w2^2*(2*(-1 + w4)^2 +
  300.             w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + w3^2*w4*
  301.              (2 + 2*w4^3*(-1 + w5)*w5 + w4^2*(2 + 4*w5 - 4*w5^2) +
  302.               w4*(-3 - 4*w5 + 2*w5^2)))) +
  303.         w1^3*(-2 + 4*w4 + 4*w4^2*(-1 + w5) + w2*(-4 + 8*w4 - 8*w4^2*w5) +
  304.           w2^2*(4*(-1 + w4)^2 + w3*(-4 + 8*w4 + 8*w4^2*(-1 + w5)) +
  305.             2*w3^2*w4*(2 + 2*w4^3*(-1 + w5)*w5 + w4^2*(2 + 4*w5 - 4*w5^2) +
  306.               w4*(-3 - 4*w5 + 2*w5^2)))) + w1^4*(w4^2*(-1 + w5)^2 +
  307.           w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) -
  308.           2*w2^3*(1 - 2*w4 + 2*w4^2*w5 + w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*
  309.                w5) + w3^2*(1 - 2*w4 + w4^2*(2 - 3*w5)*w5 + 2*w4^3*w5^2 +
  310.               2*w4^4*(-1 + w5)*w5^2)) + w2^4*((-1 + w4)^2 +
  311.             w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + 2*w3^3*w4^2*(-1 + w5)^2*
  312.              (-1 - 2*w4 + 2*w4^2*w5) + w3^4*w4^3*(-1 + w5)^2*
  313.              (2 + w4*(-2 + w5)*w5 - 2*w4^2*w5^2 + w4^3*w5^2) +
  314.             w3^2*(1 - 2*w4 + 2*w4^4*(-1 + w5)*w5 + w4^2*(5 - 8*w5 + 2*w5^2) +
  315.               w4^3*(2 - 4*w5 + 4*w5^2))) + w2^2*(-1 + 2*w4 +
  316.             4*w3*w4^2*(-1 + w5)^2 + 2*w4^2*(-1 + w5 + 2*w5^2) +
  317.             w3^2*(1 - 4*w4 + 2*w4^4*(-1 + w5)^2*w5 + w4^2*(3 + 6*w5 -
  318.                 5*w5^2) + w4^3*(-2 - 4*w5 + 6*w5^2)))) < 4*w1*(-1 + w4)^2) ||
  319.      (w3 + w3*w4 > 1 && w1 + w1*w2*w3*(1 + w4*(-1 + w5)) > 1 &&
  320.       1 + w1*(-1 + w2*w3*(-1 + w4 + w4*w5)) > 0 &&
  321.       w1*(4*(-1 + w3)^2 + 2*w1^2*(1 - 2*w3 + w3^2*(1 + w4^2 - 2*w4^2*w5) +
  322.            2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  323.            w2^2*w3*(-2 + w3^3*w4*(2 + w4^2*(2 - 4*w5) + w4^3*(-1 + 2*w5) + w4*
  324.                 (-3 + 4*w5 - 2*w5^2)) + w3^2*(-2 - 4*w4 + 4*w4^2*
  325.                 (1 - w5 + w5^2)) - w3*(-4 - 2*w4 + w4^2*(1 + 2*w5^2)))) +
  326.          w1*(-5 + 10*w3 + w3^2*(-5 + w4^2*(-1 + 2*w5)) -
  327.            2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  328.            w2^2*w3*(2 + w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  329.              w3*(-4 - 2*w4 + w4^2*(1 + 2*w5^2)) + w3^3*w4*(-2 + w4^3*
  330.                 (1 - 2*w5) + w4^2*(-2 + 4*w5) + w4*(3 - 4*w5 + 2*w5^2)))) +
  331.          w1^3*(-(w3^2*w4^2*(-1 + w5)^2) + 2*w2*(-1 + 2*w3 +
  332.              w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2))) + 2*w2^3*w3^2*
  333.             (1 - 2*w4 + w4^2*(1 + w5^2) + 2*w3*(-1 + 2*w4 + w4^2*
  334.                 (-1 + w5^2)) + w3^2*(1 - 2*w4 + w4^2*(2 - 3*w5)*w5 + w4^3*
  335.                 (2 - 4*w5 + 4*w5^2) + w4^4*(-1 + 2*w5 - 3*w5^2 + 2*w5^3))) -
  336.            w2^2*w3*(-2 + w3*(5 + 3*w4^2*w5^2) + 2*w3^2*(-2 + w4^2*
  337.                 (1 - 2*w5 + 3*w5^2)) + w3^3*(1 + 4*w4^3*(-1 + w5)^2 + w4^2*
  338.                 (-3 + 6*w5 - 5*w5^2) + w4^4*(-2 + 4*w5 - 3*w5^2 + 2*w5^3))) +
  339.            w2^4*w3^2*(-(-1 + w4)^2 + w3*(2 - 4*w4 - 2*w4^2*(-1 + w5^2)) +
  340.              2*w3^3*w4^2*(-1 + w5)^2*(-1 + 2*w4 + w4^2*(-1 + w5^2)) +
  341.              w3^4*w4^3*(-1 + w5)^2*(2 + w4^2*(6 - 4*w5) + 2*w4^3*(-1 + w5) -
  342.                w4*(6 - 2*w5 + w5^2)) + w3^2*(-1 + 2*w4 + w4^2*(1 - 2*w5)^2 +
  343.                w4^3*(-4 + 8*w5 - 6*w5^2) - w4^4*(-2 + 4*w5 - 3*w5^2 +
  344.                  w5^4))))) > (-1 + w3)^2 && w3*(1 + w4 - 2*w4*w5) < 1 &&
  345.       w3 + 2*w3*w4*w5 < 1 + w3*w4 && w1*(1 + w2*w3*(-1 + w4 + w4*w5)) <
  346.        1))) || (w2 + w2*w3*w4 < 1 + 2*w2*w3*w4*w5 &&
  347.     w1*(1 + w2*w3*(1 + w4*(-2 + w5))) < 1 && w2*(1 + w3*w4*(-1 + 2*w5)) <
  348.      1 && w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1 &&
  349.     w1 + w1*w2*w3 > 1 + w1*w2*w3*w4*w5 && w2 + w2*w3*w4 > 1 &&
  350.     1 + w1*(-1 + w2*w3*(1 + w4*(-2 + w5))) > 0 &&
  351.     w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) > 1 && 1 + w1*w2*w3*(1 + w4*w5) >
  352.      w1*(1 + w2) &&
  353.     w1*(4*(-1 + w2)^2 + w1*(-7 + 16*w2 + w2^3*(2 + 4*w3 -
  354.            4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  355.          w2^2*(-11 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  356.          w2^4*w3*(-2 + 2*w3^2*w4^2*(-1 + 2*w5) + w3^3*(-2 + w4)*w4^3*
  357.             (-1 + 2*w5) + w3*(2 - 2*w4 + w4^2*(3 - 4*w5 + 2*w5^2))))) >
  358.      (-1 + w2)^2 + 2*w1^3*(-3 + 8*w2 + w2^3*(2 + 4*w3 -
  359.           4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  360.         w2^2*(-7 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  361.         w2^4*w3*(-2 + 2*w3^2*w4^2*(-1 + 2*w5) + w3^3*(-2 + w4)*w4^3*
  362.            (-1 + 2*w5) + w3*(2 - 2*w4 + w4^2*(3 - 4*w5 + 2*w5^2)))) +
  363.       w1^4*(2 - 6*w2 - 2*w2^5*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5)*
  364.          (-1 + 2*w3 + w3^2*(-1 + w4^2*w5^2)) -
  365.         2*w2^2*(-3 - w3 + w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  366.         w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  367.         w2^6*w3^2*((-1 + w4)^2 + 2*w3^4*w4^3*(1 + (-2 + w4)*w5)*
  368.            (-1 + w4*w5)^2 - 2*w3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  369.           2*w3^3*w4^2*(-1 + 2*w5 + w4*(-2 + 4*w5 - 4*w5^2) +
  370.             w4^2*w5*(2 - 3*w5 + 2*w5^2)) + w3^2*(1 - 2*w4 +
  371.             w4^2*(5 - 8*w5 + 2*w5^2) + w4^3*(2 - 4*w5 + 6*w5^2) +
  372.             w4^4*w5*(-2 + 3*w5 - 4*w5^2 + w5^3))) +
  373.         w2^4*w3*(2 - w3*(1 + 3*w4^2*(-1 + w5)^2) +
  374.           2*w3^2*(-1 + 2*w4 + w4^2*(1 - 4*w5 + w5^2)) +
  375.           w3^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 + 2*w4^3*(-1 + 2*w5 + w5^2) +
  376.             w4^4*(1 - 2*w5 - 2*w5^3 + w5^4))))))) ||
  377.  (2*w4 > 1 && 1 + 2*w4*w5 > 2*w4 && 2*w4*w5 < 1 &&
  378.   ((w1*(1 + w2 - w2*w3*w4) > 1 && 1 + w1*(w2 + w2*w3*w4) > w1 + 2*w1*w2*w3 &&
  379.     1 + w2*(-2 + w3 + w3*w4*w5) > 0 && w1 < w1*w2*(2 + w3*(-1 + w4*w5)) &&
  380.     w1*w2 < 1 + w1*w2*w3*w4*(-1 + w5) && w1*(1 + w2 - 2*w2*w3 + w2*w3*w4) <
  381.      1 && 1 + w1*(-2 + w2*(1 + w3*w4*(-1 + w5))) < 0 &&
  382.     w1*(2 + w2*(-1 + w3*w4*(-1 + w5))) < 1 && w2*(w3 + w3*w4*w5) < 1 &&
  383.     w4^2*w5^2 + w1^2*(-1 + 2*w4 + 2*w4^2*w5*(-1 + 3*w5) +
  384.         w2*(2 - 4*w4 + 4*w4^2*w5) + w2^2*(-2*w4^2*w5^2 +
  385.           w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*w5) +
  386.           w3^2*(1 - 2*w4 + w4^2*(2 - 3*w5)*w5 + 2*w4^3*w5^2 +
  387.             2*w4^4*(-1 + w5)*w5^2))) +
  388.       w1^4*(w2*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + w4^2*(-1 + w5)^2 +
  389.         w2^3*(-2 + 4*w4 + w3*(-4 + 8*w4 + 8*w4^2*(-1 + w5)) - 4*w4^2*w5 +
  390.           2*w3^2*w4*(2 + 2*w4^3*(-1 + w5)*w5 + w4^2*(2 + 4*w5 - 4*w5^2) +
  391.             w4*(-3 - 4*w5 + 2*w5^2))) + w2^4*(w4^2*w5^2 +
  392.           2*w3^3*w4^2*(-1 + w5)^2*(-1 - 2*w4 + 2*w4^2*w5) +
  393.           w3*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) + w3^4*w4^3*(-1 + w5)^2*
  394.            (2 + w4*(-2 + w5)*w5 - 2*w4^2*w5^2 + w4^3*w5^2) +
  395.           w3^2*w4*(-2 - 2*w4^3*(-1 + w5)*w5^2 + 2*w4^2*w5*(-4 + 3*w5) +
  396.             w4*(8 - 6*w5 + 3*w5^2))) + w2^2*(5 - 10*w4 +
  397.           4*w3*w4^2*(-1 + w5)^2 + w4^2*(4 + 2*w5 - 2*w5^2) +
  398.           w3^2*(1 - 4*w4 + 2*w4^4*(-1 + w5)^2*w5 + w4^2*(3 + 6*w5 - 5*w5^2) +
  399.             w4^3*(-2 - 4*w5 + 6*w5^2)))) < 4*w1*w4^2*w5^2 +
  400.       2*w1^3*(-1 + 2*w4 + 2*w4^2*(-1 + w5)*w5 + w2*(2 - 4*w4 + 4*w4^2*w5) +
  401.         w2^2*(-2*w4^2*w5^2 + w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*w5) +
  402.           w3^2*(1 - 2*w4 + w4^2*(2 - 3*w5)*w5 + 2*w4^3*w5^2 +
  403.             2*w4^4*(-1 + w5)*w5^2)))) ||
  404.    (w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) > 1 && 1 + w1*w2*w3*(1 + w4*w5) >
  405.      w1*(1 + w2) && w1*(4*w4^2*(-1 + w5)^2 +
  406.        w1*(-1 + 2*w4 + w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) -
  407.          2*w4^2*(3 - 5*w5 + 2*w5^2) +
  408.          w2^2*(w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + 2*w4^2*(-1 + w5)^2 +
  409.            w3^2*(1 - 2*w4 - 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 +
  410.              w4^2*(3 - 4*w5 + w5^2))))) > w4^2*(-1 + w5)^2 +
  411.       2*w1^3*(-1 + 2*w4 - 2*w4^2 + 2*w4^2*w5 +
  412.         w2*(2 - 4*w4 - 4*w4^2*(-1 + w5)*w5) +
  413.         w2^2*(w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + 2*w4^2*(-1 + w5)^2 +
  414.           w3^2*(1 - 2*w4 - 2*w4^3*(-1 + w5)^2 + 2*w4^4*(-1 + w5)^2*w5 +
  415.             w4^2*(3 - 4*w5 + w5^2)))) +
  416.       w1^4*((-1 + w4)^2 + w2*(-2 + 4*w4 - 4*w4^2*w5) +
  417.         2*w2^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 + w3*(-2 + 4*w4 - 4*w4^2*w5) +
  418.           w3^2*(1 - 2*w4 - 2*w4^3*w5^2 - 2*w4^4*(-1 + w5)*w5^2 +
  419.             w4^2*w5*(2 + w5))) + w2^2*(-1 + 4*w3*(-1 + w4)^2 + 2*w4 +
  420.           2*w4^2*(-1 + w5 + 2*w5^2) + w3^2*(-2 + 4*w4 + 2*w4^4*(-1 + w5)*w5 +
  421.             w4^2*(-3 + 2*w5 - 2*w5^2) + w4^3*(2 - 4*w5 + 4*w5^2))) +
  422.         w2^4*(w3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)) + w4^2*(-1 + w5)^2 +
  423.           2*w3^3*(-1 + w4)^2*(-3 + 2*w4 + 2*w4^2*(-1 + w5)*w5) +
  424.           w3^4*(-1 + w4)^2*(2 - 2*w4 - 2*w4^2*(-1 + w5)*w5 +
  425.             w4^4*(-1 + w5)^2*w5^2) + w3^2*(6 - 14*w4 + 2*w4^4*(-1 + w5)^2*
  426.              w5 + w4^2*(11 - 3*w5^2) + w4^3*(-2 - 4*w5 + 6*w5^2)))) &&
  427.     w1*(2 + w2*(-1 + w3*(-1 + w4))) < 1 && w1*w2*(1 + w3 - w3*w4) < 1 &&
  428.     1 + w1*(-2 + w2 - w2*w3 + w2*w3*w4) < 0 &&
  429.     w2*(2 + w3*(-1 + w4*(-1 + w5))) < 1 && w2*w3*(1 + w4 - w4*w5) < 1 &&
  430.     w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1 &&
  431.     1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0))) ||
  432.  (1 + w2*(w3 + w3*w4*w5) > w2 + 2*w2*w3*w4 &&
  433.   w2*(1 + w3 - 2*w3*w4 + w3*w4*w5) < 1 && 1 + w2*w3*w4*w5 < w2*(1 + w3) &&
  434.   ((1 + w1*w2*(-2 + w3) > 0 && w1*(2 + w2*(-2 + w3)) < 1 &&
  435.     1 + w1*w2*w3 < 2*w1 && ((w1 + w1*w2*w3*w4 > 1 &&
  436.       1 + 2*w1*w2*w3*w4*w5 > w1 + w1*w2*w3*w4 && 1 + w3*(-2 + w4 + w4*w5) >
  437.        0 && w1*(4*w3^2*(-1 + w4)^2 + w1*(-1 + 2*w3 +
  438.            w3^2*(-6 + 10*w4 + w4^2*(-5 + w5^2)) -
  439.            2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 + w4*w5^2)) +
  440.            w2^2*(-1 + 2*w3 - 2*w3^3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  441.              w3^2*(1 - 4*w4 + w4^2*(3 - 2*w5 + 2*w5^2)) +
  442.              w3^4*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-3 - 4*w5 +
  443.                  3*w5^2) + w4^3*w5*(-2 + w5 + 2*w5^2 - w5^3)))) +
  444.          2*w1^2*(1 - 2*w3 + w3^2*(2 - 2*w4 - w4^2*(-1 + w5^2)) +
  445.            2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 + w4*w5^2)) +
  446.            w2^2*(1 - 2*w3 + w3^2*(-1 + 4*w4 + w4^2*(-3 + 2*w5 - 2*w5^2)) +
  447.              2*w3^3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  448.              w3^4*w4*(-2 + w4*(3 + 4*w5 - 3*w5^2) + w4^2*(-2 - 4*w5 +
  449.                  4*w5^2) + w4^3*w5*(2 - w5 - 2*w5^2 + w5^3)))) +
  450.          w1^3*(-(-1 + w3)^2 + 2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*
  451.                 (-1 + w5^2))) + w2^4*w3^3*w4^2*(2 - 4*w5 -
  452.              w3*(5 + w4^2*(1 - 2*w5)^2 - 10*w5 + 4*w5^2) +
  453.              w3^2*(2 + w4*(4 - 8*w5) - 4*w5 + 4*w5^2 - 2*w4^2*w5*
  454.                 (2 - 5*w5 + 2*w5^2)) + w3^3*(-w5^2 + w4*(-2 + 4*w5) + w4^2*w5*
  455.                 (2 - 5*w5 + 2*w5^2))) - w2^2*(1 - 2*w3 +
  456.              w3^4*w4*(-2 + w4*(3 + 4*w5 - 5*w5^2) + 4*w4^2*(-1 + w5^2) + w4^3*
  457.                 (-1 + w5^2)^2) + w3^2*(-1 + 4*w4 + 2*w4^2*(-2 + 2*w5 +
  458.                  w5^2)) + w3^3*(2 - 4*w4 + w4^2*(6 - 8*w5 + 6*w5^2))) +
  459.            2*w2^3*w3^2*w4^2*(-1 + 2*w5 + w3*(2 - 4*w5 + 4*w5^2) +
  460.              w3^2*(-2*w5^2 + w4*(-2 + 4*w5) + w4^2*(1 - 2*w5 - w5^2 +
  461.                  2*w5^3))))) > w3^2*(-1 + w4)^2 &&
  462.       1 + w3*w4 < w3*(2 + w4*w5) && w3*w4*(1 + w5) < 1 &&
  463.       w1*(1 + w2*w3*w4*(-1 + 2*w5)) < 1) || (w3 + w3*w4 > 1 &&
  464.       w1 + w1*w2*w3*(1 + w4*(-1 + w5)) > 1 &&
  465.       1 + w1*(-1 + w2*w3*(-1 + w4 + w4*w5)) > 0 &&
  466.       w1*(4*w3^2*w4^2*(-1 + w5)^2 + w1*(-1 + 2*w3 -
  467.            w3^2*(1 + w4^2*(5 - 10*w5 + 4*w5^2)) +
  468.            w2*(2 - 4*w3 - 2*w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2))) +
  469.            w2^2*(-1 + 2*w3 - 2*w3^3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  470.              w3^4*(1 - 2*w4 + w4^3*(-2 + 4*w5) + w4^2*(3 - 4*w5 + w5^2) +
  471.                w4^4*w5*(2 - 5*w5 + 2*w5^2)) + w3^2*w4*(-2 + w4*(3 - 4*w5 +
  472.                  3*w5^2))))) > w3^2*w4^2*(-1 + w5)^2 +
  473.         2*w1^3*(-1 + 2*w3 + w3^2*(-1 + w4^2*(-1 + 2*w5)) +
  474.           w2*(2 - 4*w3 - 2*w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2))) +
  475.           w2^2*(-1 + 2*w3 - 2*w3^3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  476.             w3^4*(1 - 2*w4 + w4^3*(-2 + 4*w5) + w4^2*(3 - 4*w5 + w5^2) +
  477.               w4^4*w5*(2 - 5*w5 + 2*w5^2)) + w3^2*w4*(-2 + w4*(3 - 4*w5 +
  478.                 3*w5^2)))) + w1^4*((-1 + w3)^2 -
  479.           2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  480.           w2^2*(1 - 2*w3 + w3^4*(-2 + 4*w4 + w4^4*(1 - 2*w5)^2 +
  481.               w4^2*(-3 + 2*w5 - 2*w5^2)) + w3^2*(-1 + 4*w4 + 2*w4^2*(-2 +
  482.                 2*w5 + w5^2)) + w3^3*(4 - 8*w4 + w4^2*(6 - 4*w5 + 4*w5^2))) +
  483.           w2^4*w3^3*(-2 + 4*w4 + 2*w4^2*(-1 + w5^2) +
  484.             w3*(6 - 14*w4 + w4^2*(11 - 3*w5^2) + 4*w4^3*(-1 + w5^2) +
  485.               w4^4*(-1 + w5^2)^2) + w3^3*(2 - 6*w4 + w4^2*(6 + 2*w5 -
  486.                 2*w5^2) + w4^3*(-2 - 4*w5 + 4*w5^2) + w4^4*w5*(2 - w5 -
  487.                 2*w5^2 + w5^3)) - 2*w3^2*(3 - 8*w4 + w4^2*(7 + 2*w5 -
  488.                 2*w5^2) + w4^3*(-2 - 4*w5 + 4*w5^2) + w4^4*w5*(2 - w5 -
  489.                 2*w5^2 + w5^3))) - 2*w2^3*w3^2*(-1 + 2*w4 +
  490.             w4^2*(-1 + w5^2) + 2*w3*(1 - 2*w4 + w4^2*(1 + w5^2)) +
  491.             w3^2*(-1 + 2*w4 - w4^2*w5*(2 + w5) + w4^3*(-2 + 4*w5) +
  492.               w4^4*(1 - 2*w5 - w5^2 + 2*w5^3)))) && w3*(1 + w4 - 2*w4*w5) <
  493.        1 && w3 + 2*w3*w4*w5 < 1 + w3*w4 && w1*(1 + w2*w3*(-1 + w4 + w4*w5)) <
  494.        1))) || (w1*(1 + w2 - w2*w3*w4) > 1 && w1 + w1*w2*w3*w4 > 1 &&
  495.     1 + w1*(w2 + w2*w3*w4) > w1 + 2*w1*w2*w3 && 1 + 2*w1*w2*w3*w4*w5 >
  496.      w1 + w1*w2*w3*w4 && 1 + w2*(-2 + w3 + w3*w4*w5) > 0 &&
  497.     w1 < w1*w2*(2 + w3*(-1 + w4*w5)) && w1*(1 + w2 - 2*w2*w3 + w2*w3*w4) <
  498.      1 && w2*(w3 + w3*w4*w5) < 1 && w1*(1 + w2*w3*w4*(-1 + 2*w5)) < 1 &&
  499.     (w1*(4*(-1 + w2)^2 + 2*w1^2*(3 - 8*w2 + w2^2*(7 + 2*w3 -
  500.             2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  501.           w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  502.           w2^4*w3*(2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  503.             w3^3*(-1 + w4*w5)^2*(1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) -
  504.             w3*(1 + w4^2*(2 - 4*w5 + 3*w5^2)))) +
  505.         w1*(-7 + 16*w2 + w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 +
  506.                 w5^2))) + w2^2*(-11 - 2*w3 + 2*w3^2*(1 - w4 +
  507.               w4^2*(1 - w5 + w5^2))) + w2^4*w3*
  508.            (-2 + w3^2*(2 - 4*w4 - 2*w4^2*(-2 + w5)*w5) - w3^3*(-1 + w4*w5)^2*
  509.              (1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) +
  510.             w3*(1 + w4^2*(2 - 4*w5 + 3*w5^2))))) >
  511.       (-1 + w2)^2 + w1^4*(2 - 6*w2 + 2*w2^5*w3^2*w4^2*(-1 + 2*w3 +
  512.            w3^2*(-2 + w4)*w4)*(-1 + 2*w5) - 2*w2^2*(-3 - w3 +
  513.            w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  514.          w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  515.          w2^6*w3^2*w4^2*(w5^2 + 2*w3^4*w4*(1 + (-2 + w4)*w5)*(-1 + w4*w5)^2 +
  516.            w3*(-2 + 4*w5 - 4*w5^2) + w3^3*(-2 + 4*w5 +
  517.              w4*(-4 + 8*w5 - 8*w5^2) + 2*w4^2*w5*(2 - 3*w5 + 2*w5^2)) +
  518.            w3^2*(5 - 10*w5 + 4*w5^2 + 4*w4*w5^2 + w4^2*(1 - 4*w5 + 3*w5^2 - 2*
  519.                 w5^3))) + w2^4*w3*(2 - w3*(1 + 3*w4^2*(-1 + w5)^2) +
  520.            2*w3^2*(-1 + 2*w4 + w4^2*(1 - 4*w5 + w5^2)) +
  521.            w3^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 + 2*w4^3*(-1 + 2*w5 + w5^2) +
  522.              w4^4*(1 - 2*w5 - 2*w5^3 + w5^4)))) ||
  523.      (-1 + w2)^2 + w1^2*(7 - 16*w2 + w2^2*(11 + 2*w3 -
  524.            2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  525.          w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  526.          w2^4*w3*(2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  527.            w3^3*(-1 + w4*w5)^2*(1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) -
  528.            w3*(1 + w4^2*(2 - 4*w5 + 3*w5^2)))) +
  529.        w1^4*(2 - 6*w2 + 2*w2^5*w3^2*w4^2*(-1 + 2*w3 + w3^2*(-2 + w4)*w4)*
  530.           (-1 + 2*w5) - 2*w2^2*(-3 - w3 + w3^2*(1 - w4 +
  531.              w4^2*(1 - w5 + w5^2))) + w2^3*(-2 - 4*w3 +
  532.            4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) + w2^6*w3^2*w4^2*
  533.           (w5^2 + 2*w3^4*w4*(1 + (-2 + w4)*w5)*(-1 + w4*w5)^2 +
  534.            w3*(-2 + 4*w5 - 4*w5^2) + w3^3*(-2 + 4*w5 +
  535.              w4*(-4 + 8*w5 - 8*w5^2) + 2*w4^2*w5*(2 - 3*w5 + 2*w5^2)) +
  536.            w3^2*(5 - 10*w5 + 4*w5^2 + 4*w4*w5^2 + w4^2*(1 - 4*w5 + 3*w5^2 - 2*
  537.                 w5^3))) + w2^4*w3*(2 - w3*(1 + 3*w4^2*(-1 + w5)^2) +
  538.            2*w3^2*(-1 + 2*w4 + w4^2*(1 - 4*w5 + w5^2)) +
  539.            w3^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 + 2*w4^3*(-1 + 2*w5 + w5^2) +
  540.              w4^4*(1 - 2*w5 - 2*w5^3 + w5^4)))) < 4*w1*(-1 + w2)^2 +
  541.        2*w1^3*(3 - 8*w2 + w2^2*(7 + 2*w3 - 2*w3^2*(1 - w4 +
  542.              w4^2*(1 - w5 + w5^2))) + w2^3*(-2 - 4*w3 +
  543.            4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  544.          w2^4*w3*(2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5) +
  545.            w3^3*(-1 + w4*w5)^2*(1 + 2*w4*(-1 + w5) + w4^2*(-2 + w5)*w5) -
  546.            w3*(1 + w4^2*(2 - 4*w5 + 3*w5^2)))))))) ||
  547.  (1 + w3*(-2 + w4 + w4*w5) > 0 && 1 + w3*w4 < w3*(2 + w4*w5) &&
  548.   w3*w4*(1 + w5) < 1 && ((1 + w1*w2*(-2 + w3) > 0 &&
  549.     w1 + w1*w2*w3 > 1 + w1*w2*w3*w4*w5 && w2 + w2*w3*w4 > 1 &&
  550.     1 + w1*(-1 + w2*w3*(1 + w4*(-2 + w5))) > 0 &&
  551.     4*w1*w3^2*w4^2*w5^2 + w1^4*(-(-1 + w3)^2 +
  552.         w2*(2 - 4*w3 + w3^2*(4 - 4*w4 - 2*w4^2*(-1 + w5^2))) +
  553.         w2^4*w3^3*(-2 + 2*(2 + w3)*w4 + 2*w3*w4^3*(w3*(2 - 4*w5) -
  554.             2*(-2 + w5)*w5 + w3^2*(-1 + 2*w5)) - w3*w4^4*(-2 + w5)*w5*
  555.            (w3^2*(1 - 2*w5) + (-2 + w5)*w5 + w3*(-2 + 4*w5)) -
  556.           w4^2*(-2*(-2 + w5)*w5 + w3^3*w5^2 + w3^2*(-2 + 4*w5 - 4*w5^2) +
  557.             w3*(8 - 6*w5 + 3*w5^2))) - w2^2*(1 - 2*w3 +
  558.           w3^2*(5 - 8*w4 + w4^2*(2 + 4*w5 - 4*w5^2)) +
  559.           w3^4*w4*(-2 + w4*(3 + 4*w5 - 5*w5^2) + 4*w4^2*(-1 + w5^2) +
  560.             w4^3*(-1 + w5^2)^2) + w3^3*(2 - 4*w4 +
  561.             w4^2*(6 - 8*w5 + 6*w5^2))) + 2*w2^3*w3^2*
  562.          (1 - 2*w4 - w4^2*(-2 + w5)*w5 + 2*w3*(1 - 2*w4 +
  563.             w4^2*(2 - 2*w5 + w5^2)) + w3^2*w4*(-2 + w4*(3 + 4*w5 - 3*w5^2) +
  564.             w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*w5*(2 - w5 - 2*w5^2 + w5^3)))) +
  565.       2*w1^3*(1 - 2*w3 + w3^2*w4*(2 + w4*(-1 + w5^2)) +
  566.         2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 + w4*w5^2)) +
  567.         w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(1 - 2*w5 + 2*w5^2) +
  568.           w3^2*w4*(2 + w4*(-2 + 2*w5 - 3*w5^2)) + w3^4*w4^2*
  569.            (-2*w5^2 + w4*(-2 + 4*w5) + w4^2*(1 - 2*w5 - w5^2 + 2*w5^3)))) >
  570.      w3^2*w4^2*w5^2 + w1^2*(1 - 2*w3 + w3^2*w4*(2 - w4 + 5*w4*w5^2) +
  571.         2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4 + w4*w5^2)) +
  572.         w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(1 - 2*w5 + 2*w5^2) +
  573.           w3^2*w4*(2 + w4*(-2 + 2*w5 - 3*w5^2)) + w3^4*w4^2*
  574.            (-2*w5^2 + w4*(-2 + 4*w5) + w4^2*(1 - 2*w5 - w5^2 + 2*w5^3)))) &&
  575.     w1*(2 + w2*(-2 + w3)) < 1 && 1 + w1*w2*w3 < 2*w1 &&
  576.     w2 + w2*w3*w4 < 1 + 2*w2*w3*w4*w5 && w1*(1 + w2*w3*(1 + w4*(-2 + w5))) <
  577.      1 && w2*(1 + w3*w4*(-1 + 2*w5)) < 1) || (w1 + w1*w2*w3*w4 > 1 &&
  578.     1 + 2*w1*w2*w3*w4*w5 > w1 + w1*w2*w3*w4 &&
  579.     w1*(4*(-1 + w3)^2 + 2*w1^2*(1 - 2*w3 + 2*w3^2 - 2*w3^2*w4 + w3^2*w4^2 -
  580.          w3^2*w4^2*w5^2 + 2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-1 + w5^2))) +
  581.          w2^2*w3*(-2 + w3^3*w4*(2 + 2*w4^2*(-1 + w5)^2 + w4^3*(-1 + w5)^3*
  582.               (1 + w5) + w4*(-3 + 4*w5 - 3*w5^2)) +
  583.            w3^2*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)) -
  584.            w3*(-5 + w4^2*(1 - 2*w5 + 3*w5^2)))) +
  585.        w1*(-5 + 10*w3 + w3^2*(-6 + 2*w4 + w4^2*(-1 + w5^2)) -
  586.          2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-1 + w5^2))) +
  587.          w2^2*w3*(2 + w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  588.            w3^3*w4*(-2 - 2*w4^2*(-1 + w5)^2 - w4^3*(-1 + w5)^3*(1 + w5) +
  589.              w4*(3 - 4*w5 + 3*w5^2)) + w3*(-5 + w4^2*(1 - 2*w5 + 3*w5^2)))) +
  590.        w1^3*(-(w3^2*(-1 + w4)^2) + 2*w2*(-1 + 2*w3 +
  591.            w3^2*w4*(-2 + w4 + w4*w5^2)) + w2^4*w3^2*w4^2*
  592.           (w3*(2 - 4*w5) - (-1 + w5)^2 + 2*w3^3*(-1 + w4)^2*(-1 + 2*w5) +
  593.            w3^4*(-1 + w4)^2*(2*w4*(-1 + w5)^2 + 2*w4^2*(-1 + w5)^3 - w5^2) +
  594.            w3^2*(1 - 4*w4*(-1 + w5)^2 - 2*w5 + 2*w5^2 +
  595.              w4^2*(2 - 4*w5 + 3*w5^2 - 2*w5^3))) + 2*w2^3*w3^2*w4^2*
  596.           (1 - 2*w5 + 2*w5^2 + w3*(-2 + 4*w5) +
  597.            w3^2*(-2*w5^2 + w4*(2 - 4*w5 + 4*w5^2) + w4^2*(-1 + 2*w5 - 3*
  598.                 w5^2 + 2*w5^3))) - w2^2*w3*(-2 + w3*(5 + 3*w4^2*w5^2) +
  599.            2*w3^2*(-1 - 2*w4 + w4^2*(1 + 2*w5^2)) +
  600.            w3^3*w4*(2 + w4*(-3 + 4*w5 - 5*w5^2) + w4^2*(4 - 8*w5 + 6*w5^2) +
  601.              w4^3*(-2 + 4*w5 - 3*w5^2 + w5^4))))) > (-1 + w3)^2 &&
  602.     w1*(2 + w2*(-1 + w3*(-1 + w4))) < 1 && w1*w2*(1 + w3 - w3*w4) < 1 &&
  603.     1 + w1*(-2 + w2 - w2*w3 + w2*w3*w4) < 0 &&
  604.     w2*(2 + w3*(-1 + w4*(-1 + w5))) < 1 && w2*w3*(1 + w4 - w4*w5) < 1 &&
  605.     w1*(1 + w2*w3*w4*(-1 + 2*w5)) < 1 &&
  606.     1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0))) ||
  607.  (w2*(1 + w3 - w3*w4 + w3*w4*w5) > 1 && w2*(1 - w3*(-1 + w4 + w4*w5)) < 1 &&
  608.   w2*(1 + w3*(-1 + w4 + w4*w5)) < 1 &&
  609.   ((w1 + w1*w2*w3 > 1 + w1*w2*w3*w4*w5 &&
  610.     1 + w1*(-1 + w2*w3*(1 + w4*(-2 + w5))) > 0 &&
  611.     w1*(1 + w2*w3*(1 + w4*(-2 + w5))) < 1 &&
  612.     ((1 + w1*w2*(-2 + w3) > 0 && w3 + w3*w4 > 1 &&
  613.       4*w1*w3^2*w4^2*w5^2 + 2*w1^3*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5)) +
  614.           2*w2*(-1 + 2*w3 + w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2))) +
  615.           w2^2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + 2*w5 - 3*w5^2)) +
  616.             2*w3^3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^4*(-1 + 2*w4 -
  617.               w4^2*w5*(2 + w5) + w4^3*(-2 + 4*w5) + w4^4*(1 - 2*w5 - w5^2 +
  618.                 2*w5^3)))) > w3^2*w4^2*w5^2 +
  619.         w1^4*((-1 + w3)^2 + w2*(-2 + 4*w3 + w3^2*(-2 + w4^2*(-2 + 4*w5))) +
  620.           2*w2^3*w3^2*(1 - 2*w4 - w4^2*(-2 + w5)*w5 -
  621.             2*w3*(1 - 2*w4 + w4^2*(2 - 2*w5 + w5^2)) +
  622.             w3^2*(1 - 2*w4 + w4^3*(-2 + 4*w5) + w4^2*(3 - 4*w5 + w5^2) +
  623.               w4^4*w5*(2 - 5*w5 + 2*w5^2))) +
  624.           w2^2*(1 - 2*w3 + w3^4*(-2 + 4*w4 + w4^4*(1 - 2*w5)^2 +
  625.               w4^2*(-3 + 2*w5 - 2*w5^2)) + w3^2*(-1 + 4*w4 +
  626.               2*w4^2*(1 - 4*w5 + w5^2)) + w3^3*(4 - 8*w4 + w4^2*(6 - 4*w5 +
  627.                 4*w5^2))) + w2^4*w3^3*(-2 + 4*w4 + 2*w4^2*(-2 + w5)*w5 +
  628.             w3*(6 - 14*w4 + 4*w4^3*(-2 + w5)*w5 + w4^4*(-2 + w5)^2*w5^2 +
  629.               w4^2*(8 + 6*w5 - 3*w5^2)) + w3^3*(2 - 6*w4 + w4^2*(6 + 2*w5 -
  630.                 2*w5^2) + w4^3*(-2 - 4*w5 + 4*w5^2) + w4^4*w5*(2 - w5 -
  631.                 2*w5^2 + w5^3)) - 2*w3^2*(3 - 8*w4 + w4^2*(7 + 2*w5 -
  632.                 2*w5^2) + w4^3*(-2 - 4*w5 + 4*w5^2) + w4^4*w5*(2 - w5 -
  633.                 2*w5^2 + w5^3)))) + w1^2*(1 - 2*w3 +
  634.           w3^2*(1 + w4^2*(-1 + 2*w5 + 4*w5^2)) +
  635.           2*w2*(-1 + 2*w3 + w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2))) +
  636.           w2^2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + 2*w5 - 3*w5^2)) +
  637.             2*w3^3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^4*(-1 + 2*w4 -
  638.               w4^2*w5*(2 + w5) + w4^3*(-2 + 4*w5) + w4^4*(1 - 2*w5 - w5^2 +
  639.                 2*w5^3)))) && w1*(2 + w2*(-2 + w3)) < 1 &&
  640.       1 + w1*w2*w3 < 2*w1 && w3*(1 + w4 - 2*w4*w5) < 1 &&
  641.       w3 + 2*w3*w4*w5 < 1 + w3*w4) || (w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) >
  642.        1 && 1 + w1*w2*w3*(1 + w4*w5) > w1*(1 + w2) &&
  643.       w1*(4*(-1 + w2)^2 + w1*(-7 + 16*w2 + w2^4*w3*
  644.             (-2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-1 + w5^2)) +
  645.              w3^3*(1 + w4*(-1 + w5))^2*(1 - 2*w4*w5 + w4^2*(-1 + w5^2)) +
  646.              w3*(3 - 4*w4 + w4^2*(3 - 2*w5 + w5^2))) +
  647.            w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  648.            w2^2*(-11 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))))) >
  649.        (-1 + w2)^2 + 2*w1^3*(-3 + 8*w2 + w2^4*w3*
  650.            (-2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-1 + w5^2)) +
  651.             w3^3*(1 + w4*(-1 + w5))^2*(1 - 2*w4*w5 + w4^2*(-1 + w5^2)) +
  652.             w3*(3 - 4*w4 + w4^2*(3 - 2*w5 + w5^2))) +
  653.           w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  654.           w2^2*(-7 - 2*w3 + 2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2)))) +
  655.         w1^4*(2 - 6*w2 + 2*w2^5*w3^2*(-1 + 2*w4 + w4^2*(-2 + w5)*w5)*
  656.            (-1 + 2*w3 + w3^2*(-1 + w4^2*w5^2)) -
  657.           2*w2^2*(-3 - w3 + w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  658.           w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  659.           w2^6*w3^2*(w4^2*(-1 + w5)^2 + 2*w3^4*(1 - w4 + w4^2*(-1 + w5)*w5)*
  660.              (-1 + w4 + w4^2*(-1 + w5)*w5)^2 - 2*w3*(1 - 2*w4 +
  661.               w4^2*(2 - 2*w5 + w5^2)) + w3^2*(6 - 14*w4 + 11*w4^2 +
  662.               2*w4^3*(-1 - 2*w5 + w5^2) + w4^4*w5*(2 - 3*w5 + 4*w5^2 -
  663.                 2*w5^3)) + 2*w3^3*(-3 + 8*w4 + w4^3*(2 + 4*w5 - 4*w5^2) +
  664.               w4^2*(-7 - 2*w5 + 2*w5^2) + w4^4*w5*(-2 + 3*w5 - 2*w5^2 +
  665.                 w5^3))) + w2^4*w3*(2 + w3*(-4 + 6*w4 - 3*w4^2) +
  666.             w3^2*(4 - 8*w4 + w4^2*(2 + 4*w5 - 4*w5^2)) +
  667.             w3^3*(-2 + 4*w4 + 4*w4^2*(-1 + w5)*w5 + w4^3*(-2 + 4*w5 -
  668.                 4*w5^2) + w4^4*(1 - 2*w5 + 4*w5^3 - 2*w5^4)))) &&
  669.       w2*(2 + w3*(-1 + w4*(-1 + w5))) < 1 && w2*w3*(1 + w4 - w4*w5) < 1 &&
  670.       w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1 &&
  671.       1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0))) ||
  672.    (1 + w3*w4*(-2 + w5) > 0 && w3*(2 + w4*(-2 + w5)) < 1 &&
  673.     1 + w3*w4*w5 < 2*w3 && ((1 + w1*w2*(-2 + w3) > 0 &&
  674.       w1 + w1*w2*w3*w4 > 1 && 1 + 2*w1*w2*w3*w4*w5 > w1 + w1*w2*w3*w4 &&
  675.       w1*(2 + w2*(-2 + w3)) < 1 && 1 + w1*w2*w3 < 2*w1 &&
  676.       w1*(1 + w2*w3*w4*(-1 + 2*w5)) < 1 &&
  677.       (w1*(4*w3^2*(-1 + w4)^2 + w1*(-1 + 2*w3 + w3^2*(-6 + 10*w4 +
  678.               w4^2*(-4 - 2*w5 + w5^2)) + w2*(2 - 4*w3 - 2*w3^2*w4*(-2 +
  679.                 w4*(2 - 2*w5 + w5^2))) + w2^2*(-1 + 2*w3 - 2*w3^3*(1 - 2*w4 +
  680.                 w4^2*(1 + w5^2)) + w3^2*(1 - 4*w4 + w4^2*(3 - 2*w5 +
  681.                   2*w5^2)) + w3^4*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) +
  682.                 w4*(-4 - 2*w5 + 3*w5^2) + w4^3*w5*(-2 + w5 + 2*w5^2 -
  683.                   w5^3)))) + 2*w1^2*(1 - 2*w3 + w3^2*(2 - 2*w4 -
  684.               w4^2*(-2 + w5)*w5) + 2*w2*(-1 + 2*w3 + w3^2*w4*(-2 +
  685.                 w4*(2 - 2*w5 + w5^2))) + w2^2*(1 - 2*w3 + w3^2*(-1 + 4*w4 +
  686.                 w4^2*(-3 + 2*w5 - 2*w5^2)) + 2*w3^3*(1 - 2*w4 +
  687.                 w4^2*(1 + w5^2)) + w3^4*w4*(-2 + w4*(4 + 2*w5 - 3*w5^2) +
  688.                 w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*w5*(2 - w5 - 2*w5^2 +
  689.                   w5^3))))) > w3^2*(-1 + w4)^2 +
  690.          w1^4*((-1 + w3)^2 - 2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*
  691.                 w5)) + 2*w2^3*w3^2*w4^2*(-1 + 2*w5 +
  692.              w3*(-2 + 4*w5 - 4*w5^2) + w3^2*(2*(-1 + w5)^2 + w4*(-2 + 4*w5) +
  693.                w4^2*w5*(2 - 5*w5 + 2*w5^2))) + w2^2*(1 - 2*w3 +
  694.              w3^4*w4*(-2 + 4*w4^2*(-2 + w5)*w5 + w4^3*(-2 + w5)^2*w5^2 + w4*
  695.                 (2 + 6*w5 - 5*w5^2)) + w3^2*(-1 + 4*w4 + 2*w4^2*(1 - 4*w5 +
  696.                  w5^2)) + w3^3*(2 - 4*w4 + w4^2*(4 - 4*w5 + 6*w5^2))) +
  697.            w2^4*w3^3*w4^2*(2 - 4*w5 + w3*(-1 + w4^2*(1 - 2*w5)^2 + 2*w5 + 4*
  698.                 w5^2) + w3^3*((-1 + w5)^2 + w4*(-2 + 4*w5) + w4^2*
  699.                 (1 - 2*w5 - w5^2 + 2*w5^3)) - 2*w3^2*(1 - 2*w5 + 2*w5^2 + w4*
  700.                 (-2 + 4*w5) + w4^2*(1 - 2*w5 - w5^2 + 2*w5^3)))) ||
  701.        w3^2*(-1 + w4)^2 + w1^2*(1 - 2*w3 + w3^2*(6 - 10*w4 +
  702.              w4^2*(4 + 2*w5 - w5^2)) + 2*w2*(-1 + 2*w3 +
  703.              w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  704.            w2^2*(1 - 2*w3 + w3^2*(-1 + 4*w4 + w4^2*(-3 + 2*w5 - 2*w5^2)) +
  705.              2*w3^3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^4*w4*
  706.               (-2 + w4*(4 + 2*w5 - 3*w5^2) + w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*
  707.                 w5*(2 - w5 - 2*w5^2 + w5^3)))) +
  708.          w1^4*((-1 + w3)^2 - 2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*
  709.                 w5)) + 2*w2^3*w3^2*w4^2*(-1 + 2*w5 +
  710.              w3*(-2 + 4*w5 - 4*w5^2) + w3^2*(2*(-1 + w5)^2 + w4*(-2 + 4*w5) +
  711.                w4^2*w5*(2 - 5*w5 + 2*w5^2))) + w2^2*(1 - 2*w3 +
  712.              w3^4*w4*(-2 + 4*w4^2*(-2 + w5)*w5 + w4^3*(-2 + w5)^2*w5^2 + w4*
  713.                 (2 + 6*w5 - 5*w5^2)) + w3^2*(-1 + 4*w4 + 2*w4^2*(1 - 4*w5 +
  714.                  w5^2)) + w3^3*(2 - 4*w4 + w4^2*(4 - 4*w5 + 6*w5^2))) +
  715.            w2^4*w3^3*w4^2*(2 - 4*w5 + w3*(-1 + w4^2*(1 - 2*w5)^2 + 2*w5 + 4*
  716.                 w5^2) + w3^3*((-1 + w5)^2 + w4*(-2 + 4*w5) + w4^2*
  717.                 (1 - 2*w5 - w5^2 + 2*w5^3)) - 2*w3^2*(1 - 2*w5 + 2*w5^2 + w4*
  718.                 (-2 + 4*w5) + w4^2*(1 - 2*w5 - w5^2 + 2*w5^3)))) <
  719.         4*w1*w3^2*(-1 + w4)^2 + 2*w1^3*(1 - 2*w3 +
  720.            w3^2*(2 - 2*w4 - w4^2*(-2 + w5)*w5) +
  721.            2*w2*(-1 + 2*w3 + w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  722.            w2^2*(1 - 2*w3 + w3^2*(-1 + 4*w4 + w4^2*(-3 + 2*w5 - 2*w5^2)) +
  723.              2*w3^3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^4*w4*
  724.               (-2 + w4*(4 + 2*w5 - 3*w5^2) + w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*
  725.                 w5*(2 - w5 - 2*w5^2 + w5^3)))))) ||
  726.      (w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) > 1 && 1 + w1*w2*w3*(1 + w4*w5) >
  727.        w1*(1 + w2) && w1*(4*w3^2*(-1 + w4)^2 +
  728.          w1*(1 - 2*w3 + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*(-2 + w5)*
  729.                 w5)) - w3^2*(4 - 10*w4 + w4^2*(6 - 2*w5 + w5^2)) +
  730.            w2^2*(1 - 2*w3 + w3^2*(3 - 4*w4 + w4^2*(1 + 2*w5 - 2*w5^2)) +
  731.              2*w3^3*(-1 + 2*w4 + w4^2*(-1 + w5^2)) + w3^4*w4*
  732.               (2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-4 - 2*w5 + w5^2) + w4^3*w5*
  733.                 (-2 + 3*w5 - 2*w5^2 + w5^3))))) > w3^2*(-1 + w4)^2 +
  734.         2*w1^3*(1 - 2*w3 + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 +
  735.               w4^2*(-2 + w5)*w5)) + w3^2*w4*(2 - w4*(2 - 2*w5 + w5^2)) +
  736.           w2^2*(1 - 2*w3 + w3^2*(3 - 4*w4 + w4^2*(1 + 2*w5 - 2*w5^2)) +
  737.             2*w3^3*(-1 + 2*w4 + w4^2*(-1 + w5^2)) +
  738.             w3^4*w4*(2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-4 - 2*w5 + w5^2) +
  739.               w4^3*w5*(-2 + 3*w5 - 2*w5^2 + w5^3)))) +
  740.         w1^4*(w3^2*w4^2*(-1 + w5)^2 - 2*w2*(1 - 2*w3 +
  741.             w3^2*w4*(2 + w4*(-2 + w5)*w5)) + 2*w2^3*(-3 + 8*w3 +
  742.             w3^4*w4*(-2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 +
  743.               w4*(2 - 2*w5 + w5^2)) + w3^3*(2 + 4*w4 - 4*w4^2*(1 - w5 +
  744.                 w5^2)) + w3^2*(-7 - 2*w4 + 2*w4^2*(1 - w5 + w5^2))) +
  745.           w2^2*(6 - 14*w3 + w3^2*(8 + 6*w4 - 3*w4^2) + 2*w3^3*w4*
  746.              (-4 + w4*(3 - 2*w5 + w5^2)) + w3^4*w4^2*(2 + 4*w5 - 2*w5^2 +
  747.               2*w4*(-1 - 2*w5 + w5^2) + w4^2*w5*(2 - 3*w5 + 4*w5^2 -
  748.                 2*w5^3))) + w2^4*(2 - 6*w3 + w3^6*w4^2*(-1 + w5)^2*
  749.              (1 - 2*w4 + 2*w4^3*w5^2 + 2*w4^4*(-1 + w5)*w5^3 +
  750.               w4^2*(1 - 2*w5^2)) + 2*w3^5*w4^2*(-1 + w5)^2*(-1 + 2*w4 +
  751.               w4^2*(-1 + w5^2)) - 2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) +
  752.             w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)) +
  753.             w3^4*w4*(2 - w4 + w4^2*(-2 + 4*w5 - 4*w5^2) + w4^3*(1 - 2*w5 +
  754.                 4*w5^3 - 2*w5^4)))) && w1*w2 < 1 + w1*w2*w3*w4*(-1 + w5) &&
  755.       1 + w1*(-2 + w2*(1 + w3*w4*(-1 + w5))) < 0 &&
  756.       w1*(2 + w2*(-1 + w3*w4*(-1 + w5))) < 1 &&
  757.       w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1))) ||
  758.    (w1*(1 + w2 - w2*w3*w4) > 1 && 1 + w1*(w2 + w2*w3*w4) > w1 + 2*w1*w2*w3 &&
  759.     w1*(1 + w2 - 2*w2*w3 + w2*w3*w4) < 1 &&
  760.     ((w3 + w3*w4 > 1 && w1*(4*w3^2*w4^2*w5^2 +
  761.          w1*(1 - 2*w3 - w3^2*(-1 + w4^2*(1 - 2*w5 + 6*w5^2)) -
  762.            2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  763.            w2^2*(1 - 2*w3 + w3^3*(2 - 4*w4 - 2*w4^2*(-1 + w5^2)) +
  764.              w3^2*w4*(2 + w4*(-2 + 2*w5 + w5^2)) + w3^4*(-1 + 2*w4 + w4^2*w5*
  765.                 (-2 + 3*w5) + w4^3*(-2 + 4*w5 - 4*w5^2) + w4^4*(1 - 2*w5 +
  766.                  3*w5^2 - 2*w5^3)))) + 2*w1^2*(-1 + 2*w3 +
  767.            w3^2*(-1 + w4^2*(1 - 2*w5 + 2*w5^2)) +
  768.            2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(-1 + 2*w5))) +
  769.            w2^2*(-1 + 2*w3 + 2*w3^3*(-1 + 2*w4 + w4^2*(-1 + w5^2)) -
  770.              w3^2*w4*(2 + w4*(-2 + 2*w5 + w5^2)) + w3^4*(1 - 2*w4 + w4^2*
  771.                 (2 - 3*w5)*w5 + w4^3*(2 - 4*w5 + 4*w5^2) + w4^4*(-1 + 2*w5 -
  772.                  3*w5^2 + 2*w5^3)))) +
  773.          w1^3*(2*w2*(1 - 2*w3 + w3^2*(1 + w4^2*(1 - 2*w5))) -
  774.            w3^2*w4^2*(-1 + w5)^2 + 2*w2^3*(3 - 8*w3 +
  775.              w3^4*w4*(2 + w4^2*(2 - 4*w5) + w4^3*(-1 + 2*w5) + w4*
  776.                 (-3 + 4*w5 - 2*w5^2)) + w3^2*(7 + 2*w4 - 2*w4^2*(1 - w5 +
  777.                  w5^2)) + w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2))) -
  778.            w2^2*(6 - 14*w3 + w3^2*(11 - 3*w4^2*w5^2) +
  779.              2*w3^3*(-2 + w4^2*(1 - 2*w5 + 3*w5^2)) +
  780.              w3^4*(1 + 4*w4^3*(-1 + w5)^2 + w4^2*(-3 + 6*w5 - 5*w5^2) + w4^4*
  781.                 (-2 + 4*w5 - 3*w5^2 + 2*w5^3))) +
  782.            w2^4*(-2 + 6*w3 + 2*w3^5*w4^2*(-1 + w5)^2*(-1 + 2*w4 + w4^2*
  783.                 (-1 + w5^2)) + w3^6*w4^3*(-1 + w5)^2*(2 + w4^2*(6 - 4*w5) + 2*
  784.                 w4^3*(-1 + w5) - w4*(6 - 2*w5 + w5^2)) +
  785.              w3^3*(2 + 4*w4 - 4*w4^2*(1 - w5 + w5^2)) +
  786.              2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) -
  787.              w3^4*w4*(2 + w4*(-4 + 6*w5 - 3*w5^2) + 2*w4^2*(2 - 4*w5 +
  788.                  w5^2) + w4^3*(-2 + 4*w5 - 2*w5^3 + w5^4))))) >
  789.        w3^2*w4^2*w5^2 && w1*w2 < 1 + w1*w2*w3*w4*(-1 + w5) &&
  790.       1 + w1*(-2 + w2*(1 + w3*w4*(-1 + w5))) < 0 &&
  791.       w1*(2 + w2*(-1 + w3*w4*(-1 + w5))) < 1 && w3*(1 + w4 - 2*w4*w5) < 1 &&
  792.       w3 + 2*w3*w4*w5 < 1 + w3*w4) || (w1 + w1*w2*w3*w4 > 1 &&
  793.       1 + 2*w1*w2*w3*w4*w5 > w1 + w1*w2*w3*w4 &&
  794.       w1*(4*(-1 + w2)^2 + 2*w1^2*(3 - 8*w2 + w2^2*(7 + 2*w3 -
  795.              2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  796.            w2^3*(-2 - 4*w3 + 4*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  797.            w2^4*w3*(2 + 2*w3^2*(-1 + 2*w4 + w4^2*(-1 + w5^2)) +
  798.              w3^3*(1 + w4*(-1 + w5))^2*(1 - 2*w4*w5 + w4^2*(-1 + w5^2)) -
  799.              w3*(1 + w4^2*(1 - 2*w5 + 3*w5^2)))) +
  800.          w1*(-7 + 16*w2 + w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*
  801.                 (1 - w5 + w5^2))) + w2^2*(-11 - 2*w3 +
  802.              2*w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) +
  803.            w2^4*w3*(-2 + w3^2*(2 - 4*w4 - 2*w4^2*(-1 + w5^2)) -
  804.              w3^3*(1 + w4*(-1 + w5))^2*(1 - 2*w4*w5 + w4^2*(-1 + w5^2)) +
  805.              w3*(1 + w4^2*(1 - 2*w5 + 3*w5^2)))) +
  806.          w1^3*(-2 + 6*w2 + 2*w2^5*w3^2*w4^2*(-1 + 2*w3 + w3^2*(-2 + w4)*w4)*
  807.             (-1 + 2*w5) + w2^3*(2 + 4*w3 - 4*w3^2*(1 - w4 + w4^2*
  808.                 (1 - w5 + w5^2))) + 2*w2^2*(-3 - w3 +
  809.              w3^2*(1 - w4 + w4^2*(1 - w5 + w5^2))) + w2^6*w3^2*w4^2*
  810.             (2*w3^4*w4*(1 + w4*(-1 + w5))^2*(1 + w4*(-1 + w5) - 2*w5) -
  811.              (-1 + w5)^2 + w3*(2 - 4*w5 + 4*w5^2) -
  812.              w3^2*(-1 + 4*w4*(-1 + w5)^2 + 2*w5 + 4*w5^2 + w4^2*(-2 + 4*w5 -
  813.                  3*w5^2 + 2*w5^3)) + w3^3*(-2 + 4*w5 + w4*(4 - 8*w5 +
  814.                  8*w5^2) + w4^2*(-2 + 4*w5 - 6*w5^2 + 4*w5^3))) -
  815.            w2^4*w3*(2 - w3*(1 + 3*w4^2*w5^2) + 2*w3^2*(-1 + 2*w4 + w4^2*
  816.                 (-2 + 2*w5 + w5^2)) + w3^3*(1 - 2*w4 - 2*w4^2*(-1 + w5)*w5 +
  817.                2*w4^3*(2 - 4*w5 + w5^2) + w4^4*(-2 + 4*w5 - 2*w5^3 +
  818.                  w5^4))))) > (-1 + w2)^2 && w2*(2 + w3*(-1 + w4*(-1 + w5))) <
  819.        1 && w2*w3*(1 + w4 - w4*w5) < 1 && w1*(1 + w2*w3*w4*(-1 + 2*w5)) <
  820.        1 && 1 + w2*(-2 + w3 - w3*w4 + w3*w4*w5) < 0))))) ||
  821.  (1 + w3*w4*(-2 + w5) > 0 && w3*(2 + w4*(-2 + w5)) < 1 &&
  822.   1 + w3*w4*w5 < 2*w3 && ((w1 + w1*w2*w3*(1 + w4*(-1 + w5)) > 1 &&
  823.     1 + w1*(-1 + w2*w3*(-1 + w4 + w4*w5)) > 0 &&
  824.     w1*(1 + w2*w3*(-1 + w4 + w4*w5)) < 1 &&
  825.     ((1 + w1*w2*(-2 + w3) > 0 && w2 + w2*w3*w4 > 1 &&
  826.       w1*(2 + w2*(-2 + w3)) < 1 && 1 + w1*w2*w3 < 2*w1 &&
  827.       w2 + w2*w3*w4 < 1 + 2*w2*w3*w4*w5 && w2*(1 + w3*w4*(-1 + 2*w5)) < 1 &&
  828.       (w1*(4*w3^2*w4^2*(-1 + w5)^2 + 2*w1^2*(1 - 2*w3 +
  829.             w3^2*w4*(2 + w4*(-2 + w5)*w5) + 2*w2*(-1 + 2*w3 +
  830.               w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  831.             w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(1 - 2*w5 + 2*w5^2) +
  832.               w3^2*w4*(2 + w4*(-3 + 4*w5 - 3*w5^2)) - w3^4*w4^2*(
  833.                 2*(-1 + w5)^2 + w4*(-2 + 4*w5) + w4^2*w5*(2 - 5*w5 +
  834.                   2*w5^2)))) + w1*(-1 + 2*w3 - w3^2*w4*
  835.              (2 + w4*(4 - 10*w5 + 5*w5^2)) + w2*(2 - 4*w3 - 2*w3^2*w4*(-2 +
  836.                 w4*(2 - 2*w5 + w5^2))) + w2^2*(-1 + 2*w3 - 2*w3^3*w4^2*(1 -
  837.                 2*w5 + 2*w5^2) + w3^4*w4^2*(2*(-1 + w5)^2 + w4*(-2 + 4*w5) +
  838.                 w4^2*w5*(2 - 5*w5 + 2*w5^2)) + w3^2*w4*(-2 +
  839.                 w4*(3 - 4*w5 + 3*w5^2))))) > w3^2*w4^2*(-1 + w5)^2 +
  840.          w1^4*((-1 + w3)^2 + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*
  841.                 (-2 + w5)*w5)) + w2^4*w3^3*(2 - 2*(2 + w3)*w4 +
  842.              w3*w4^4*(-1 + w5^2)*(-1 + w3*(2 - 4*w5) + w5^2 + w3^2*
  843.                 (-1 + 2*w5)) + 2*w3*w4^3*(w3*(2 - 4*w5) + w3^2*(-1 + 2*w5) +
  844.                2*(-1 + w5^2)) + w4^2*(2 + w3^3*(-1 + w5)^2 - 2*w5^2 + w3^2*
  845.                 (-2 + 4*w5 - 4*w5^2) + w3*(5 + 3*w5^2))) +
  846.            w2^2*(1 - 2*w3 + w3^4*w4*(-2 + 4*w4^2*(-2 + w5)*w5 + w4^3*
  847.                 (-2 + w5)^2*w5^2 + w4*(2 + 6*w5 - 5*w5^2)) +
  848.              w3^2*(5 - 8*w4 + w4^2*(2 + 4*w5 - 4*w5^2)) +
  849.              w3^3*(2 - 4*w4 + w4^2*(4 - 4*w5 + 6*w5^2))) -
  850.            2*w2^3*w3^2*(1 - 2*w4 - w4^2*(-1 + w5^2) +
  851.              2*w3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^2*w4*(-2 + w4*
  852.                 (4 + 2*w5 - 3*w5^2) + w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*w5*
  853.                 (2 - w5 - 2*w5^2 + w5^3)))) ||
  854.        w3^2*w4^2*(-1 + w5)^2 + w1^2*(1 - 2*w3 + w3^2*w4*
  855.             (2 + w4*(4 - 10*w5 + 5*w5^2)) + 2*w2*(-1 + 2*w3 +
  856.              w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  857.            w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(1 - 2*w5 + 2*w5^2) +
  858.              w3^2*w4*(2 + w4*(-3 + 4*w5 - 3*w5^2)) - w3^4*w4^2*
  859.               (2*(-1 + w5)^2 + w4*(-2 + 4*w5) + w4^2*w5*(2 - 5*w5 +
  860.                  2*w5^2)))) + 2*w1^3*(-1 + 2*w3 -
  861.            w3^2*w4*(2 + w4*(-2 + w5)*w5) + w2*(2 - 4*w3 -
  862.              2*w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  863.            w2^2*(-1 + 2*w3 - 2*w3^3*w4^2*(1 - 2*w5 + 2*w5^2) +
  864.              w3^4*w4^2*(2*(-1 + w5)^2 + w4*(-2 + 4*w5) + w4^2*w5*
  865.                 (2 - 5*w5 + 2*w5^2)) + w3^2*w4*(-2 + w4*(3 - 4*w5 +
  866.                  3*w5^2)))) + w1^4*((-1 + w3)^2 +
  867.            2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*(-2 + w5)*w5)) +
  868.            w2^4*w3^3*(2 - 2*(2 + w3)*w4 + w3*w4^4*(-1 + w5^2)*
  869.               (-1 + w3*(2 - 4*w5) + w5^2 + w3^2*(-1 + 2*w5)) +
  870.              2*w3*w4^3*(w3*(2 - 4*w5) + w3^2*(-1 + 2*w5) + 2*(-1 + w5^2)) +
  871.              w4^2*(2 + w3^3*(-1 + w5)^2 - 2*w5^2 + w3^2*(-2 + 4*w5 -
  872.                  4*w5^2) + w3*(5 + 3*w5^2))) + w2^2*(1 - 2*w3 +
  873.              w3^4*w4*(-2 + 4*w4^2*(-2 + w5)*w5 + w4^3*(-2 + w5)^2*w5^2 + w4*
  874.                 (2 + 6*w5 - 5*w5^2)) + w3^2*(5 - 8*w4 + w4^2*(2 + 4*w5 -
  875.                  4*w5^2)) + w3^3*(2 - 4*w4 + w4^2*(4 - 4*w5 + 6*w5^2))) -
  876.            2*w2^3*w3^2*(1 - 2*w4 - w4^2*(-1 + w5^2) +
  877.              2*w3*(1 - 2*w4 + w4^2*(1 + w5^2)) + w3^2*w4*(-2 + w4*
  878.                 (4 + 2*w5 - 3*w5^2) + w4^2*(-2 - 4*w5 + 4*w5^2) + w4^3*w5*
  879.                 (2 - w5 - 2*w5^2 + w5^3)))) < 4*w1*w3^2*w4^2*(-1 + w5)^2)) ||
  880.      (1 + w2*(-2 + w3 + w3*w4*w5) > 0 &&
  881.       w1*(4*(-1 + w3)^2 + w1*(-5 + 10*w3 - w3^2*(4 + 2*w4 +
  882.              w4^2*(-2 + w5)*w5) + 2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*
  883.                 (-2 + w5)*w5)) + w2^2*w3*(2 + w3*(-3 - 4*w4 + w4^2*
  884.                 (2 + w5^2)) + w3^3*w4*(-2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*
  885.                 w5^3 + w4*(2 - 2*w5 + w5^2)) + w3^2*(2 + 4*w4 - 4*w4^2*
  886.                 (1 - w5 + w5^2))))) > (-1 + w3)^2 +
  887.         2*w1^3*(-1 + 2*w3 - w3^2*w4*(2 + w4*(-2 + w5)*w5) +
  888.           2*w2*(-1 + 2*w3 + w3^2*(-2 + 2*w4 + w4^2*(-2 + w5)*w5)) +
  889.           w2^2*w3*(2 + w3*(-3 - 4*w4 + w4^2*(2 + w5^2)) +
  890.             w3^3*w4*(-2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 +
  891.               w4*(2 - 2*w5 + w5^2)) + w3^2*(2 + 4*w4 - 4*w4^2*(1 - w5 +
  892.                 w5^2)))) + w1^4*(w3^2*w4^2*(-1 + w5)^2 +
  893.           w2*(2 - 4*w3 - 2*w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  894.           w2^2*w3*(-2 + w3*(8 - 6*w4 + 3*w4^2) + 2*w3^2*w4*
  895.              (-4 + w4*(3 - 2*w5 + w5^2)) + w3^3*w4^2*(2 + 4*w5 - 2*w5^2 +
  896.               2*w4*(-1 - 2*w5 + w5^2) + w4^2*w5*(2 - 3*w5 + 4*w5^2 -
  897.                 2*w5^3))) + 2*w2^3*w3^2*(-1 + 2*w4 - w4^2*(1 + w5^2) +
  898.             2*w3*(-1 + 2*w4 + w4^2*(-1 + w5^2)) + w3^2*w4*
  899.              (2 + w4^2*(2 + 4*w5 - 4*w5^2) + w4*(-4 - 2*w5 + w5^2) +
  900.               w4^3*w5*(-2 + 3*w5 - 2*w5^2 + w5^3))) +
  901.           w2^4*w3^2*(w4^2*w5^2 + w3^4*w4^2*(-1 + w5)^2*(1 - 2*w4 +
  902.               2*w4^3*w5^2 + 2*w4^4*(-1 + w5)*w5^3 + w4^2*(1 - 2*w5^2)) +
  903.             w3*(2 - 4*w4 - 2*w4^2*(-1 + w5^2)) + 2*w3^3*w4^2*(-1 + w5)^2*
  904.              (-1 + 2*w4 + w4^2*(-1 + w5^2)) + w3^2*w4*(-2 + 5*w4 +
  905.               2*w4^2*(-2 + w5^2) + w4^3*(1 - 3*w5^2 + 4*w5^3 - 2*w5^4)))) &&
  906.       w1 < w1*w2*(2 + w3*(-1 + w4*w5)) &&
  907.       w1*w2 < 1 + w1*w2*w3*w4*(-1 + w5) &&
  908.       1 + w1*(-2 + w2*(1 + w3*w4*(-1 + w5))) < 0 &&
  909.       w1*(2 + w2*(-1 + w3*w4*(-1 + w5))) < 1 && w2*(w3 + w3*w4*w5) < 1))) ||
  910.    (w1*(2 + w2*(-1 + w3*(-1 + w4))) < 1 && w1*w2*(1 + w3 - w3*w4) < 1 &&
  911.     1 + w1*(-2 + w2 - w2*w3 + w2*w3*w4) < 0 &&
  912.     ((w1 + w1*w2*w3*w4 > 1 && 1 + 2*w1*w2*w3*w4*w5 > w1 + w1*w2*w3*w4 &&
  913.       1 + w2*(-2 + w3 + w3*w4*w5) > 0 && w1 < w1*w2*(2 + w3*(-1 + w4*w5)) &&
  914.       w2*(w3 + w3*w4*w5) < 1 && w1*(1 + w2*w3*w4*(-1 + 2*w5)) < 1 &&
  915.       ((-1 + w3)^2 + w1^2*(5 - 10*w3 + w3^2*(6 - 2*w4 - w4^2*(-2 + w5)*w5) +
  916.            2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*w5)) +
  917.            w2^2*w3*(-2 + w3^3*w4*(2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 + w4*
  918.                 (-2 + 2*w5 - 3*w5^2)) + w3*(5 + w4^2*(-2 + 4*w5 - 3*w5^2)) +
  919.              w3^2*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)))) +
  920.          w1^4*(w3^2*(-1 + w4)^2 + w2*(2 - 4*w3 - 2*w3^2*w4*
  921.               (-2 + w4*(2 - 2*w5 + w5^2))) + 2*w2^3*w3^2*w4^2*
  922.             (-1 + 2*w5 - 2*w5^2 + w3*(-2 + 4*w5) + w3^2*(2*(-1 + w5)^2 + w4*
  923.                 (-2 + 4*w5 - 4*w5^2) + w4^2*w5*(2 - 3*w5 + 2*w5^2))) +
  924.            w2^4*w3^2*w4^2*(w3*(2 - 4*w5) + w5^2 + 2*w3^3*(-1 + w4)^2*
  925.               (-1 + 2*w5) + w3^4*(-1 + w4)^2*(1 - 2*w5 + (1 - 2*w4)*w5^2 + 2*
  926.                 w4^2*w5^3) + w3^2*(-1 + 2*w5 - 2*w5^2 + 4*w4*w5^2 + w4^2*
  927.                 (1 - 4*w5 + 3*w5^2 - 2*w5^3))) + w2^2*w3*
  928.             (-2 + w3*(5 + 3*w4^2*(-1 + w5)^2) + w3^2*(-2 - 4*w4 + w4^2*
  929.                 (6 - 8*w5 + 4*w5^2)) + w3^3*w4*(2 + w4*(-4 + 6*w5 - 5*w5^2) +
  930.                w4^2*(2 - 4*w5 + 6*w5^2) + w4^3*w5*(-2 + 3*w5 - 4*w5^2 +
  931.                  w5^3)))) < 4*w1*(-1 + w3)^2 +
  932.          2*w1^3*(1 - 2*w3 + w3^2*(2 - 2*w4 - w4^2*(-2 + w5)*w5) +
  933.            2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*w5)) +
  934.            w2^2*w3*(-2 + w3^3*w4*(2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 + w4*
  935.                 (-2 + 2*w5 - 3*w5^2)) + w3*(5 + w4^2*(-2 + 4*w5 - 3*w5^2)) +
  936.              w3^2*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)))) ||
  937.        w1*(4*(-1 + w3)^2 + 2*w1^2*(1 - 2*w3 + w3^2*(2 - 2*w4 -
  938.               w4^2*(-2 + w5)*w5) + 2*w2*(1 - 2*w3 + w3^2*w4*(2 +
  939.                 w4*(-2 + w5)*w5)) + w2^2*w3*(-2 + w3^3*w4*(2 + 2*w4^2*w5^2 +
  940.                 w4^3*(-2 + w5)*w5^3 + w4*(-2 + 2*w5 - 3*w5^2)) +
  941.               w3*(5 + w4^2*(-2 + 4*w5 - 3*w5^2)) + w3^2*(-2 - 4*w4 +
  942.                 4*w4^2*(1 - w5 + w5^2)))) + w1*(-5 + 10*w3 +
  943.             w3^2*(-6 + 2*w4 + w4^2*(-2 + w5)*w5) -
  944.             2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*w5)) +
  945.             w2^2*w3*(2 - w3^3*w4*(2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 +
  946.                 w4*(-2 + 2*w5 - 3*w5^2)) + w3^2*(2 + 4*w4 - 4*w4^2*
  947.                  (1 - w5 + w5^2)) + w3*(-5 + w4^2*(2 - 4*w5 + 3*w5^2))))) >
  948.         (-1 + w3)^2 + w1^4*(w3^2*(-1 + w4)^2 +
  949.            w2*(2 - 4*w3 - 2*w3^2*w4*(-2 + w4*(2 - 2*w5 + w5^2))) +
  950.            2*w2^3*w3^2*w4^2*(-1 + 2*w5 - 2*w5^2 + w3*(-2 + 4*w5) +
  951.              w3^2*(2*(-1 + w5)^2 + w4*(-2 + 4*w5 - 4*w5^2) + w4^2*w5*
  952.                 (2 - 3*w5 + 2*w5^2))) + w2^4*w3^2*w4^2*(w3*(2 - 4*w5) +
  953.              w5^2 + 2*w3^3*(-1 + w4)^2*(-1 + 2*w5) + w3^4*(-1 + w4)^2*
  954.               (1 - 2*w5 + (1 - 2*w4)*w5^2 + 2*w4^2*w5^3) +
  955.              w3^2*(-1 + 2*w5 - 2*w5^2 + 4*w4*w5^2 + w4^2*(1 - 4*w5 + 3*w5^2 -
  956.                  2*w5^3))) + w2^2*w3*(-2 + w3*(5 + 3*w4^2*(-1 + w5)^2) +
  957.              w3^2*(-2 - 4*w4 + w4^2*(6 - 8*w5 + 4*w5^2)) +
  958.              w3^3*w4*(2 + w4*(-4 + 6*w5 - 5*w5^2) + w4^2*(2 - 4*w5 +
  959.                  6*w5^2) + w4^3*w5*(-2 + 3*w5 - 4*w5^2 + w5^3)))))) ||
  960.      (w2 + w2*w3*w4 < 1 + 2*w2*w3*w4*w5 && w2*(1 + w3*w4*(-1 + 2*w5)) < 1 &&
  961.       w1*(1 + w2*(-1 + w3 + w3*w4*w5)) < 1 && w2 + w2*w3*w4 > 1 &&
  962.       w1*(1 + w2 - w2*w3 + w2*w3*w4*w5) > 1 && 1 + w1*w2*w3*(1 + w4*w5) >
  963.        w1*(1 + w2) && w1*(4*w3^2*w4^2*(-1 + w5)^2 +
  964.          w1*(1 - 2*w3 - 2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*w5)) +
  965.            w3^2*w4*(2 + w4*(-6 + 10*w5 - 5*w5^2)) +
  966.            w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(-1 + 2*w5) +
  967.              w3^2*w4*(2 + w4*(1 - 4*w5 + w5^2)) + w3^4*w4^2*(2*(-1 + w5)^2 +
  968.                w4*(-2 + 4*w5 - 4*w5^2) + w4^2*w5*(2 - 3*w5 + 2*w5^2))))) >
  969.        w3^2*w4^2*(-1 + w5)^2 + 2*w1^3*(1 - 2*w3 -
  970.           2*w2*(1 - 2*w3 + w3^2*w4*(2 + w4*(-2 + w5)*w5)) +
  971.           w3^2*w4*(2 - w4*(2 - 2*w5 + w5^2)) +
  972.           w2^2*(1 - 2*w3 + 2*w3^3*w4^2*(-1 + 2*w5) +
  973.             w3^2*w4*(2 + w4*(1 - 4*w5 + w5^2)) + w3^4*w4^2*(2*(-1 + w5)^2 +
  974.               w4*(-2 + 4*w5 - 4*w5^2) + w4^2*w5*(2 - 3*w5 + 2*w5^2)))) +
  975.         w1^4*(w3^2*(-1 + w4)^2 + 2*w2*(-1 + 2*w3 +
  976.             w3^2*(-2 + 2*w4 + w4^2*(-2 + w5)*w5)) -
  977.           2*w2^3*(3 - 8*w3 + w3^4*w4*(2 + 2*w4^2*w5^2 + w4^3*(-2 + w5)*w5^3 +
  978.               w4*(-2 + 2*w5 - 3*w5^2)) + w3^2*(7 + 2*w4 - 2*w4^2*(1 - w5 +
  979.                 w5^2)) + w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2))) +
  980.           w2^2*(6 - 14*w3 + w3^2*(11 - 3*w4^2*(-1 + w5)^2) +
  981.             w3^3*(-2 - 4*w4 + w4^2*(6 - 8*w5 + 4*w5^2)) +
  982.             w3^4*w4*(2 + w4*(-4 + 6*w5 - 5*w5^2) + w4^2*(2 - 4*w5 + 6*w5^2) +
  983.               w4^3*w5*(-2 + 3*w5 - 4*w5^2 + w5^3))) +
  984.           w2^4*(2 - 6*w3 + 2*w3^5*(-1 + w4)^2*w4^2*(-1 + 2*w5) +
  985.             w3^6*(-1 + w4)^2*w4^2*(1 - 2*w5 + (1 - 2*w4)*w5^2 +
  986.               2*w4^2*w5^3) - 2*w3^2*(-3 - w4 + w4^2*(1 - w5 + w5^2)) +
  987.             w3^3*(-2 - 4*w4 + 4*w4^2*(1 - w5 + w5^2)) +
  988.             w3^4*w4*(2 + 2*w4^2*(-1 + 2*w5 + w5^2) - w4*(1 + 3*w5^2) +
  989.               w4^3*(1 - 2*w5 - 2*w5^3 + w5^4)))))))))
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top