API tools faq
paste
Advertisement
Guest User

Tetrahedral event for mathSE/351913

a guest
Apr 23rd, 2013
313
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 64.17 KB | None | 0 0
raw download clone embed print report
  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)))))))))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!