新的主题 投票帖 交易帖 小字报

共有1067人关注过本帖树形打印复制链接

# 主题：x^2+y^2+z^2=3的不等式

xzlbq
1楼 | 信息 | 搜索 | 邮箱 | 主页 | UC

x^2+y^2+z^2=3的不等式   Post By：2017-5-31 7:44:55 [只看该作者]

 x^2+y^2+z^2=3的不等式{-2*x*y*z+(1/4*(x+y))*(y+z)*(z+x), -x*y*z+(1/8*(x+y))*(y+z)*(z+x), -(8/9)*x*y*z+(1/9*(x+y))*(y+z)*(z+x), -(7/3)*x*y*z+(7/24*(x+y))*(y+z)*(z+x), -(4/3)*x*y*z+(1/6*(x+y))*(y+z)*(z+x), -(2/3)*x*y*z+(1/12*(x+y))*(y+z)*(z+x), -(1/3)*x*y*z+(1/24*(x+y))*(y+z)*(z+x), (1/3)*x+(1/3)*y+(1/3)*z-3/(x^3+y^3+z^3), (1/10)*x+(1/10)*y+(1/10)*z-9/(10*(x^3+y^3+z^3)), (8/3)*x+(8/3)*y+(8/3)*z-24/(x^3+y^3+z^3), -25/(x^3+y^3+z^3)+(25/9)*x+(25/9)*y+(25/9)*z, -23/(x^3+y^3+z^3)+(23/9)*x+(23/9)*y+(23/9)*z, -4/(x^3+y^3+z^3)+(4/9)*x+(4/9)*y+(4/9)*z, -2/(x^3+y^3+z^3)+(2/9)*x+(2/9)*y+(2/9)*z, -1/(x^3+y^3+z^3)+(1/9)*x+(1/9)*y+(1/9)*z, -9/(5*(x^3+y^3+z^3))+(1/5)*x+(1/5)*y+(1/5)*z, -2*x*y*z+(2/3)*x*y+(2/3)*z*x+(2/3)*y*z, -x*y*z+(1/3)*x*y+(1/3)*z*x+(1/3)*y*z, -(4/3)*x*y*z+(4/9)*x*y+(4/9)*z*x+(4/9)*y*z, -(2/3)*x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z, -(x+y)*(y+z)*(z+x)+(8/3)*x*y+(8/3)*z*x+(8/3)*y*z, -(2*(x+y))*(y+z)*(z+x)+(16/3)*x*y+(16/3)*z*x+(16/3)*y*z, -(1/6*(x+y))*(y+z)*(z+x)+(4/9)*x*y+(4/9)*z*x+(4/9)*y*z, -(1/8*(x+y))*(y+z)*(z+x)+(1/3)*x*y+(1/3)*z*x+(1/3)*y*z, -(1/12*(x+y))*(y+z)*(z+x)+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z, -(7/8*(x+y))*(y+z)*(z+x)+(7/3)*x*y+(7/3)*z*x+(7/3)*y*z, -(23/24*(x+y))*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z, -(4/9)*x*y-(4/9)*z*x-(4/9)*y*z-x*y*z+(7/24*(x+y))*(y+z)*(z+x), -(1/3)*x*y-(1/3)*z*x-(1/3)*y*z-x*y*z+(1/4*(x+y))*(y+z)*(z+x), -x*y*z-(x+y)*(y+z)*(z+x)+3*x*y+3*z*x+3*y*z, -x*y*z-(1/24*(x+y))*(y+z)*(z+x)+(4/9)*x*y+(4/9)*z*x+(4/9)*y*z, -x*y*z+(1/24*(x+y))*(y+z)*(z+x)+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z, 7*x*y*z-(2*(x+y))*(y+z)*(z+x)+3*x+3*y+3*z, -(10/7)*x*y*z-(2/3)*x*y-(2/3)*z*x-(2/3)*y*z+(3/7*(x+y))*(y+z)*(z+x), -(4/3)*x*y*z-(x+y)*(y+z)*(z+x)+(28/9)*x*y+(28/9)*z*x+(28/9)*y*z, (7/9)*x*y*z+(1/3)*x+(1/3)*y+(1/3)*z-(2/9*(x+y))*(y+z)*(z+x), -(x+y)*(y+z)*(z+x)+(3/2)*x+(3/2)*y+(3/2)*z+(7/2)*x*y*z, -(x+y)*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z+(1/3)*x*y*z, -(3/4*(x+y))*(y+z)*(z+x)+(7/3)*x*y+(7/3)*z*x+(7/3)*y*z-x*y*z, -(4/7*(x+y))*(y+z)*(z+x)+(5/3)*x*y+(5/3)*z*x+(5/3)*y*z-(3/7)*x*y*z, -(16/9*(x+y))*(y+z)*(z+x)+(8/3)*x+(8/3)*y+(8/3)*z+(56/9)*x*y*z, 1-(4/9)*x-(4/9)*y-(4/9)*z+(1/27)*x*y*z+(1/27*(x+y))*(y+z)*(z+x), 1-3/(2*(x^3+y^3+z^3))-(3/2)*x*y-(3/2)*z*x-(3/2)*y*z+(1/2*(x+y))*(y+z)*(z+x), 1-(4/3)*x*y-(4/3)*z*x-(4/3)*y*z+(1/3)*x*y*z+(1/3*(x+y))*(y+z)*(z+x), 3+x*y*z+(x+y)*(y+z)*(z+x)-4*x*y-4*z*x-4*y*z, 2/3-1/(x^3+y^3+z^3)-x*y-z*x-y*z+(1/3*(x+y))*(y+z)*(z+x), 27/13+(1/13)*x*y*z+(1/13*(x+y))*(y+z)*(z+x)-(12/13)*x-(12/13)*y-(12/13)*z, -4/(x^3+y^3+z^3)-x*y*z+(4/9)*x+(4/9)*y+(4/9)*z+(1/8*(x+y))*(y+z)*(z+x), -2/(x^3+y^3+z^3)-x*y*z+(2/9)*x+(2/9)*y+(2/9)*z+(1/8*(x+y))*(y+z)*(z+x), -1/(x^3+y^3+z^3)-x*y*z+(1/9)*x+(1/9)*y+(1/9)*z+(1/8*(x+y))*(y+z)*(z+x), -1/(x^3+y^3+z^3)-(8/9)*x*y*z+(1/9)*x+(1/9)*y+(1/9)*z+(1/9*(x+y))*(y+z)*(z+x), -1/(x^3+y^3+z^3)+(7/9)*x*y*z+(4/9)*x+(4/9)*y+(4/9)*z-(2/9*(x+y))*(y+z)*(z+x), -1/(x^3+y^3+z^3)-(x+y)*(y+z)*(z+x)+(29/18)*x+(29/18)*y+(29/18)*z+(7/2)*x*y*z, -1/(x^3+y^3+z^3)-(16/9*(x+y))*(y+z)*(z+x)+(25/9)*x+(25/9)*y+(25/9)*z+(56/9)*x*y*z, 1/(x^3+y^3+z^3)-x*y*z+(1/8*(x+y))*(y+z)*(z+x)-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(26/27)*x*y*z+(13/108*(x+y))*(y+z)*(z+x)-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(8/9)*x*y*z-(1/9)*x-(1/9)*y-(1/9)*z+(1/9*(x+y))*(y+z)*(z+x), 1/(x^3+y^3+z^3)-(2/3)*x*y*z+(1/12*(x+y))*(y+z)*(z+x)-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)+(7/9)*x*y*z+(2/9)*x+(2/9)*y+(2/9)*z-(2/9*(x+y))*(y+z)*(z+x), 1/(x^3+y^3+z^3)-(x+y)*(y+z)*(z+x)+(25/18)*x+(25/18)*y+(25/18)*z+(7/2)*x*y*z, 1/(x^3+y^3+z^3)-(16/9*(x+y))*(y+z)*(z+x)+(23/9)*x+(23/9)*y+(23/9)*z+(56/9)*x*y*z, -23/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(25/9)*x+(25/9)*y+(25/9)*z+(7/2)*x*y*z, -19/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(23/9)*x+(23/9)*y+(23/9)*z+(7/2)*x*y*z, -9/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+2*x+2*y+2*z+(7/2)*x*y*z, -5/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(16/9)*x+(16/9)*y+(16/9)*z+(7/2)*x*y*z, 5/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(11/9)*x+(11/9)*y+(11/9)*z+(7/2)*x*y*z, 9/(2*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+x+y+z+(7/2)*x*y*z, 2/(3*(x^3+y^3+z^3))-(2/3)*x*y*z+(1/12*(x+y))*(y+z)*(z+x)-(2/27)*x-(2/27)*y-(2/27)*z, 4/(3*(x^3+y^3+z^3))-(2/3)*x*y*z+(1/12*(x+y))*(y+z)*(z+x)-(4/27)*x-(4/27)*y-(4/27)*z, -9/(8*(x^3+y^3+z^3))-x*y*z+(1/8)*x+(1/8)*y+(1/8)*z+(1/8*(x+y))*(y+z)*(z+x), -7/(8*(x^3+y^3+z^3))-x*y*z+(7/72)*x+(7/72)*y+(7/72)*z+(1/8*(x+y))*(y+z)*(z+x), 7/(8*(x^3+y^3+z^3))-x*y*z-(7/72)*x-(7/72)*y-(7/72)*z+(1/8*(x+y))*(y+z)*(z+x), 9/(8*(x^3+y^3+z^3))-x*y*z-(1/8)*x-(1/8)*y-(1/8)*z+(1/8*(x+y))*(y+z)*(z+x), -101/(17*(x^3+y^3+z^3))-(24/17*(x+y))*(y+z)*(z+x)+(25/9)*x+(25/9)*y+(25/9)*z+(84/17)*x*y*z, -67/(17*(x^3+y^3+z^3))-(24/17*(x+y))*(y+z)*(z+x)+(23/9)*x+(23/9)*y+(23/9)*z+(84/17)*x*y*z, -41/(17*(x^3+y^3+z^3))+(7/17)*x*y*z+(4/9)*x+(4/9)*y+(4/9)*z-(2/17*(x+y))*(y+z)*(z+x), -7/(17*(x^3+y^3+z^3))+(7/17)*x*y*z+(2/9)*x+(2/9)*y+(2/9)*z-(2/17*(x+y))*(y+z)*(z+x), 23/(24*(x^3+y^3+z^3))-x*y*z+(1/8*(x+y))*(y+z)*(z+x)-(23/216)*x-(23/216)*y-(23/216)*z, 25/(24*(x^3+y^3+z^3))-x*y*z+(1/8*(x+y))*(y+z)*(z+x)-(25/216)*x-(25/216)*y-(25/216)*z, -x*y*z-(1/72)*x-(1/72)*y-(1/72)*z+1/(8*(x^3+y^3+z^3))+(1/8*(x+y))*(y+z)*(z+x), -x*y*z+(1/3)*x+(1/3)*y+(1/3)*z-3/(x^3+y^3+z^3)+(1/8*(x+y))*(y+z)*(z+x), -x*y*z+(1/72)*x+(1/72)*y+(1/72)*z-1/(8*(x^3+y^3+z^3))+(1/8*(x+y))*(y+z)*(z+x), -x*y*z+(1/8*(x+y))*(y+z)*(z+x)+3*x+3*y+3*z-27/(x^3+y^3+z^3), (7/2)*x*y*z-(x+y)*(y+z)*(z+x)+3*x+3*y+3*z-27/(2*(x^3+y^3+z^3)), (7/17)*x*y*z+(1/3)*x+(1/3)*y+(1/3)*z-24/(17*(x^3+y^3+z^3))-(2/17*(x+y))*(y+z)*(z+x), (91/17)*x*y*z-(26/17*(x+y))*(y+z)*(z+x)+3*x+3*y+3*z-108/(17*(x^3+y^3+z^3)), -(x+y)*(y+z)*(z+x)+(8/3)*x+(8/3)*y+(8/3)*z-21/(2*(x^3+y^3+z^3))+(7/2)*x*y*z, -(x+y)*(y+z)*(z+x)+(10/9)*x+(10/9)*y+(10/9)*z+7/(2*(x^3+y^3+z^3))+(7/2)*x*y*z, -(x+y)*(y+z)*(z+x)+(17/9)*x+(17/9)*y+(17/9)*z-7/(2*(x^3+y^3+z^3))+(7/2)*x*y*z, -(24/17*(x+y))*(y+z)*(z+x)+(8/3)*x+(8/3)*y+(8/3)*z-84/(17*(x^3+y^3+z^3))+(84/17)*x*y*z, 1-(1/2)*x-(1/2)*y-(1/2)*z+(1/6)*x*y+(1/6)*z*x+(1/6)*y*z, 4-2*x-2*y-2*z+(2/3)*x*y+(2/3)*z*x+(2/3)*y*z, 2/3-(1/3)*x-(1/3)*y-(1/3)*z+(1/9)*x*y+(1/9)*z*x+(1/9)*y*z, -x-y-z+(1/3)*x*y+(1/3)*z*x+(1/3)*y*z+2, -1/(x^3+y^3+z^3)+(1/9)*x+(1/9)*y+(1/9)*z+(8/27)*x*y+(8/27)*z*x+(8/27)*y*z-(8/9)*x*y*z, 1/(x^3+y^3+z^3)-(1/9)*x-(1/9)*y-(1/9)*z+(10/27)*x*y+(10/27)*z*x+(10/27)*y*z-(10/9)*x*y*z, 1/(x^3+y^3+z^3)-(2/3)*x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(23/24*(x+y))*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z-(1/9)*x-(1/9)*y-(1/9)*z, 2/(3*(x^3+y^3+z^3))-(2/3)*x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z-(2/27)*x-(2/27)*y-(2/27)*z, 4/(3*(x^3+y^3+z^3))-(2/3)*x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z-(4/27)*x-(4/27)*y-(4/27)*z, 23/(24*(x^3+y^3+z^3))-(23/24*(x+y))*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z-(23/216)*x-(23/216)*y-(23/216)*z, 25/(24*(x^3+y^3+z^3))-(23/24*(x+y))*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z-(25/216)*x-(25/216)*y-(25/216)*z, -x*y*z-(1/8)*x-(1/8)*y-(1/8)*z+(1/3)*x*y+(1/3)*z*x+(1/3)*y*z+9/(8*(x^3+y^3+z^3)), -x*y*z+(1/10)*x+(1/10)*y+(1/10)*z+(1/3)*x*y+(1/3)*z*x+(1/3)*y*z-9/(10*(x^3+y^3+z^3)), 2*x*y*z+(2*(x+y))*(y+z)*(z+x)+3*x+3*y+3*z-9*x*y-9*z*x-9*y*z, -(x+y)*(y+z)*(z+x)-(1/8)*x-(1/8)*y-(1/8)*z+(8/3)*x*y+(8/3)*z*x+(8/3)*y*z+9/(8*(x^3+y^3+z^3)), -(x+y)*(y+z)*(z+x)+(1/10)*x+(1/10)*y+(1/10)*z+(8/3)*x*y+(8/3)*z*x+(8/3)*y*z-9/(10*(x^3+y^3+z^3)), -(x+y)*(y+z)*(z+x)+(8/3)*x*y+(8/3)*z*x+(8/3)*y*z-1/(x^3+y^3+z^3)+(1/9)*x+(1/9)*y+(1/9)*z, -(x+y)*(y+z)*(z+x)+(8/3)*x*y+(8/3)*z*x+(8/3)*y*z+1/(x^3+y^3+z^3)-(1/9)*x-(1/9)*y-(1/9)*z, -1+1/(x^3+y^3+z^3)+(2/3)*x+(2/3)*y+(2/3)*z-(5/9)*x*y-(5/9)*z*x-(5/9)*y*z+(1/3)*x*y*z, 1-(1/3)*x-(1/3)*y-(1/3)*z+(1/9)*x*y*z+(1/9*(x+y))*(y+z)*(z+x)-(1/3)*x*y-(1/3)*z*x-(1/3)*y*z, -31/28+(5/7)*x+(5/7)*y+(5/7)*z-(2/3)*x*y-(2/3)*z*x-(2/3)*y*z+(3/28)*x*y*z+(3/28*(x+y))*(y+z)*(z+x), -23/26+(8/13)*x+(8/13)*y+(8/13)*z-(2/3)*x*y-(2/3)*z*x-(2/3)*y*z+(3/26)*x*y*z+(3/26*(x+y))*(y+z)*(z+x), -19/6+(7/6)*x*y*z+(7/6*(x+y))*(y+z)*(z+x)+(10/3)*x+(10/3)*y+(10/3)*z-(52/9)*x*y-(52/9)*z*x-(52/9)*y*z, -5/4+x+y+z-(4/3)*x*y-(4/3)*z*x-(4/3)*y*z+(1/4)*x*y*z+(1/4*(x+y))*(y+z)*(z+x), -4/3+(4/3)*x*y*z+(4/3*(x+y))*(y+z)*(z+x)+(8/3)*x+(8/3)*y+(8/3)*z-(56/9)*x*y-(56/9)*z*x-(56/9)*y*z, -2/3-1/(x^3+y^3+z^3)+(2/3)*x+(2/3)*y+(2/3)*z-(11/9)*x*y-(11/9)*z*x-(11/9)*y*z+(1/3*(x+y))*(y+z)*(z+x), 1/2+(1/2)*x*y*z+(1/6)*x+(1/6)*y+(1/6)*z-(1/3)*x*y-(1/3)*z*x-(1/3)*y*z-3/(2*(x^3+y^3+z^3)), 1/4+x+y+z-(10/3)*x*y-(10/3)*z*x-(10/3)*y*z+(3/4)*x*y*z+(3/4*(x+y))*(y+z)*(z+x), 19/28+(1/7)*x+(1/7)*y+(1/7)*z-(4/3)*x*y-(4/3)*z*x-(4/3)*y*z+(9/28)*x*y*z+(9/28*(x+y))*(y+z)*(z+x), 35/26-(2/13)*x-(2/13)*y-(2/13)*z-(4/3)*x*y-(4/3)*z*x-(4/3)*y*z+(9/26)*x*y*z+(9/26*(x+y))*(y+z)*(z+x), x+y+z-(7/3)*x*y-(7/3)*z*x-(7/3)*y*z-1/2+(1/2)*x*y*z+(1/2*(x+y))*(y+z)*(z+x), (3/7)*x+(3/7)*y+(3/7)*z-x*y-z*x-y*z-3/14+(3/14)*x*y*z+(3/14*(x+y))*(y+z)*(z+x), (3/13)*x+(3/13)*y+(3/13)*z-x*y-z*x-y*z+3/13+(3/13)*x*y*z+(3/13*(x+y))*(y+z)*(z+x), 1/(x^3+y^3+z^3)-x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z+(1/24*(x+y))*(y+z)*(z+x)-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(26/27)*x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z+(1/27*(x+y))*(y+z)*(z+x)-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(x+y)*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z+(1/3)*x*y*z-(1/9)*x-(1/9)*y-(1/9)*z, 1/(x^3+y^3+z^3)-(26/27*(x+y))*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z+(1/27)*x*y*z-(1/9)*x-(1/9)*y-(1/9)*z, -7/(3*(x^3+y^3+z^3))+(7/27)*x+(7/27)*y+(7/27)*z-(8/9)*x*y-(8/9)*z*x-(8/9)*y*z+4/3+(4/3)*x*y*z, 2/(3*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z+(1/3)*x*y*z-(2/27)*x-(2/27)*y-(2/27)*z, 4/(3*(x^3+y^3+z^3))-(x+y)*(y+z)*(z+x)+(23/9)*x*y+(23/9)*z*x+(23/9)*y*z+(1/3)*x*y*z-(4/27)*x-(4/27)*y-(4/27)*z, 23/(24*(x^3+y^3+z^3))-x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z+(1/24*(x+y))*(y+z)*(z+x)-(23/216)*x-(23/216)*y-(23/216)*z, 25/(24*(x^3+y^3+z^3))-x*y*z+(2/9)*x*y+(2/9)*z*x+(2/9)*y*z+(1/24*(x+y))*(y+z)*(z+x)-(25/216)*x-(25/216)*y-(25/216)*z, x*y*z+(3/5)*x+(3/5)*y+(3/5)*z+(4/15)*x*y+(4/15)*z*x+(4/15)*y*z-2/5-(2/5*(x+y))*(y+z)*(z+x), (1/2)*x*y*z+x+y+z-(5/6)*x*y-(5/6)*z*x-(5/6)*y*z-3/2+3/(2*(x^3+y^3+z^3)), 7+x*y*z-(x+y)*(y+z)*(z+x)-4*x-4*y-4*z+6/(x^3+y^3+z^3)+(10/3)*x*y+(10/3)*z*x+(10/3)*y*z}

xzlbq
2楼 | 信息 | 搜索 | 邮箱 | 主页 | UC

Post By：2017-5-31 8:25:44 [只看该作者]

 {-x^2*(y+z)+(1+x)*(x^2-x+1), 1-x*(y+z)+x, -x*(1+x)-x*(x^2+y*z)+(2*(1+x))*(x^2-x+1), -x*(1+x)-x^2*(y+z)+(2*(1+x))*(x^2-x+1), x*(1+x)+(y+z)*(y^2-y*z+z^2)-4*x*y*z, x*(1+x)+y*z*(y+z)-4*x*y*z, -x*(1+y*z)-x^2*(1+x)+(2*(1+x))*(x^2-x+1), x*(1+y*z)+(y+z)*(y^2-y*z+z^2)-2*y*z*(1+x), x*(1+y*z)+y*z*(1+x)-4*x*y*z, -x*(x+y*z)-x*(x^2+1)+(2*(1+x))*(x^2-x+1), x*(x+y*z)+2*y*z-4*x*y*z, -2*x*y*z+x+y*z, -y*z*(1+x)+y+z, 2-x*(1+y*z)-x*(y+z)+2*x, 2-x*(1+y*z)-x*(x^2+y*z)+2*x^2, 2-x*(1+y*z)-x^2*(y+z)+2*x^2, 2-x*(1+y*z)-(1+x)*(x^2-x+1)+2*x^2, 2-x*(1+y*z)-y*z*(1+x)+2*x*y*z, 2-x*(1+y*z)-y*z*(y+z)+2*y*z, 2-x*(x+y*z)-2*x+2*x^2, 2-x*(x+y*z)-x*(y^2+z^2)+2*x, 2-x*(x+y*z)-2*x*y*z+2*x, -x*(1+x)-x*(1+y*z)+2*x^2+2, -x*(1+x)-x*(1+y*z)-x^2*(1+x)+(3*(1+x))*(x^2-x+1), -x*(1+x)-x*(x+y*z)-x*(x^2+1)+(3*(1+x))*(x^2-x+1), -x*(1+x)-x*(x+y*z)+(1+x)*(x^2-x+1)+2*x, -x*(1+x)-x*(y+z)+2*x^2+2, x*(1+x)-x*(1+y*z)+2*y*z-2*x*y*z, x*(1+x)-x*(1+y*z)+(y+z)*(y^2-y*z+z^2)-y*z*(1+x), x*(1+x)-x*(1+y*z)-y*z*(1+x)+y*z*(y+z), x*(1+x)-x*(x+y*z)+y*z-x*y*z, x*(1+x)-x*(x+y*z)+(1+x)*(x^2-x+1)-2*x^2, x*(1+x)-x*(x+y*z)+(y+z)*(y^2-y*z+z^2)-2*y*z, x*(1+x)-x*(x+y*z)-y*z*(1+x)+2*y*z, x*(1+x)-x*(x+y*z)+y*z*(1+x)-2*x*y*z, x*(1+x)+(y+z)*(y^2-y*z+z^2)-2-2*x*y*z, x*(1+x)+(y+z)*(y^2-y*z+z^2)-2*x-2*y*z, -x*(1+y*z)-y*z*(1+x)+2*x+2*y*z, -x*(x+y*z)-2*x*y*z+2*x^2+2*y*z, -x*(1+x)-x*(1+y*z)-2*x+3*x^2+3, -x*(1+x)-x*(1+y*z)+2*x^3+y^2+z^2, -x*(1+x)-x*(1+y*z)-x*(x+y*z)+3*x^2+3, -x*(1+x)-x*(1+y*z)+x^2*(1+x)+y+z, -x*(1+x)-x*(1+y*z)+(1+x)*(x^2-x+1)+1+x, -x*(1+x)-x*(1+y*z)-y*z*(1+x)+3+3*x, -x*(1+x)-x*(x+y*z)+2-x+3*x^2, -x*(1+x)-x*(x+y*z)+2*x^3+y+z, -x*(1+x)-x*(x+y*z)-x*(y+z)+3*x^2+3, -x*(1+x)-x*(x+y*z)+x*(x^2+1)+1+x, -x*(1+x)-x*(x+y*z)-2*y*z+3+3*x, -x*(1+x)-x*(x+y*z)+(1+x)*(x^2-x+1)+x^2+1, x*(1+x)-x*(1+y*z)-x*(x+y*z)+x+y*z, x*(1+x)-x*(1+y*z)-x*(y+z)+1+y*z, x*(1+x)-x*(1+y*z)-x*(y+z)+y+z, x*(1+x)-x*(1+y*z)-x*(x^2+1)+x^2+1, x*(1+x)-x*(1+y*z)-x*(x^2+y*z)+1+x, x*(1+x)-x*(1+y*z)-x*(x^2+y*z)+x^2+y*z, x*(1+x)-x*(1+y*z)-x*(y^2+z^2)+y^2+z^2, x*(1+x)-x*(1+y*z)-x^2*(y+z)+1+x, x*(1+x)-x*(1+y*z)-x^2*(y+z)+x^2+y*z, x*(1+x)-x*(1+y*z)+(y+z)*(y^2-y*z+z^2)-1-y*z, x*(1+x)-x*(1+y*z)+(y+z)*(y^2-y*z+z^2)-y-z, x*(1+x)-x*(x+y*z)-x*(y+z)+1+x*y*z, x*(1+x)-x*(x+y*z)-x*(y+z)+x+y*z, x*(1+x)-x*(x+y*z)-x*(x^2+y*z)+x^2+1, x*(1+x)-x*(x+y*z)-x*(x^2+y*z)+x^3+y*z, x*(1+x)-x*(x+y*z)-x*(y^2+z^2)+y+z, x*(1+x)-x*(x+y*z)-x^2*(y+z)+x^2+1, x*(1+x)-x*(x+y*z)-x^2*(y+z)+x^3+y*z, x*(1+x)-x*(x+y*z)+(y+z)*(y^2-y*z+z^2)-y^2-z^2, x*(1+x)-x*(x+y*z)-2*x*y*z+1+y*z, x*(1+x)-x*(x+y*z)-y*z*(1+x)+y^2+z^2, x*(1+x)-x*(1+y*z)-1-x+y+z, x*(1+x)-x*(1+y*z)-x-y*z+y^2+z^2, x*(1+x)-x*(1+y*z)+y+z-x^2-y*z, x*(1+x)-x*(x+y*z)-1-y*z+y^2+z^2, x*(1+x)-x*(x+y*z)-x-y*z+y+z} [此贴子已经被作者于2017-6-1 20:08:19编辑过]

xzlbq
3楼 | 信息 | 搜索 | 邮箱 | 主页 | UC

Post By：2017-6-1 20:14:19 [只看该作者]

 {2-x*(y^2+z^2), 2-y*z*(x^2+1), 4-(1+x)*(1+y*z), 4-(1+x)*(y+z), 4-(1+y*z)*(x^2+y*z), 4-(x+y^2)*(x+z^2), 4-(y+z)*(x^2+y*z), 4-(y+z)^2*x, 4-(y+z*x)*(z+x*y), 4-(x^2+1)*(y^2+z^2), 4-y*(1+x)^2*z, 4-(1+y*z)*x*(y+z), -8+4*x^2+(y^2+z^2)^2, -8+(x^2+1)^2+(y^2+z^2)^2, -8+(y^2+z^2)^2+2*x*(x^2+1), -8+(y^2+z^2)^2+(1+x)^2*x, 2-z*x^2*y-y*z, 3-x-y*z*(1+x), 3-x-y*z*(x^2+y*z), 3-x-x*y*z*(y+z), 3-x^2-y*z*(x+y*z), 3-x*(1+y*z)-y*z, 3-2*y*z-x^2, 3-y*z-x*y*z*(1+x), 4-x*(1+y*z)-y*z*(1+x), 4-x*(1+y*z)-y*z*(x^2+y*z), 4-x*(1+y*z)-x*y*z*(y+z), 4-x*(y+z)-y*z*(x^2+y*z), 4-x*(y+z)-x*y*z*(y+z), 4-x*(y^2+z^2)-2*x*y*z, 4-x*(y^2+z^2)-y*z*(x^2+1), 4-x^2*(1+y*z)-y*z*(1+y*z), 4-x^2*(1+y*z)-y*z*(y+z), 4-x^2*(y+z)-y*z*(1+y*z), 4-x^2*(y+z)-y*z*(y+z), 4-x^2*(y^2+z^2)-2*y*z, 4-2*x*y*z-y*z*(x^2+1), 4-y*z*(1+x)-x*y*z*(1+x), 4-y*z*(x+y*z)-2*z*x^2*y, 4-x*y*z*(1+x)-y*z*(x^2+y*z), 6-2*x-(1+x)*(y^2+z^2), 6-2*x-(1+y)*(1+z), 6-2*x-(x+y*z)*(y+z), 6-2*x-(x^2+y*z)*(y^2+z^2), 6-2*x-(y^2+z*x)*(z^2+x*y), 6-2*x-x*(y+z)*(y^2+z^2), 6-2*x-y*z*(z+x)*(x+y), 6-2*x^2-(y+z)^2, 6-2*x^2-(x+y*z)*(y^2+z^2), 6-2*x^2-y*(1+x)*z*(y+z), 6-2*y*z-(1+x*y)*(1+z*x), 6-2*y*z-(1+y*z)*(x^2+1), 6-2*y*z-(x+y*z)*(x^2+y*z), 6-2*y*z-(y+z)*(x^2+1), 6-2*y*z-(z+x)*(x+y), 6-2*y*z-x*(1+x)*(y^2+z^2), 6-2*y*z-(1+y)*x*(1+z), 6-2*y*z-(x+y*z)*x*(y+z), 8-4*x-(1+y*z)^2, 8-4*x-(y+z)^2, 8-4*x-(x+y*z)*(y^2+z^2), 8-4*x-(y+z)*(1+y*z), 8-4*x-(y^2+1)*(z^2+1), 8-4*x-y*(1+x)*z*(y+z), 8-(1+x)^2-(y+z)^2, 8-(1+x)^2-4*y*z, 8-(1+x)^2-(x+y*z)*(y^2+z^2), 8-(1+x)^2-(y+z)*(1+y*z), 8-(1+x)^2-2*y*z*(x+y*z), 8-(1+x)^2-y*(1+x)*z*(y+z), 8-(1+y*z)^2-2*x*(x+y*z), 8-(1+y*z)^2-x^2*(y+z)^2, 8-(1+y*z)^2-2*x^2*(y^2+z^2), 8-(1+y*z)^2-(x+y*z)*(x^2+1), 8-(1+y*z)^2-x*(y+z)*(x^2+y*z), 8-(1+y*z)^2-4*z*x^2*y, 8-(1+y*z)^2-(1+x)*x*(y+z), 8-(1+y*z)^2-(1+y*z)*x*(1+x), 8-(x+y*z)^2-2*x*(y^2+z^2), 8-(x+y*z)^2-(1+x)*(1+y*z), 8-(x+y*z)^2-(1+x)*(y+z), 8-(x+y*z)^2-(1+y*z)*(x^2+y*z), 8-(x+y*z)^2-(x+y^2)*(x+z^2), 8-(x+y*z)^2-(y+z)*(x^2+y*z), 8-(x+y*z)^2-(y+z)^2*x, 8-(x+y*z)^2-(y+z*x)*(z+x*y), 8-(x+y*z)^2-4*x*y*z, 8-(x+y*z)^2-2*y*z*(x^2+1), 8-(x+y*z)^2-y*(1+x)^2*z, 8-(x+y*z)^2-(1+y*z)*x*(y+z), 8-(y+z)^2-2*x*(x+y*z), 8-(y+z)^2-x^2*(y+z)^2, 8-(y+z)^2-2*x^2*(y^2+z^2), 8-(y+z)^2-(x+y*z)*(x^2+1), 8-(y+z)^2-x*(y+z)*(x^2+y*z), 8-(y+z)^2-4*z*x^2*y, 8-(y+z)^2-(1+x)*x*(y+z), 8-(y+z)^2-(1+y*z)*x*(1+x), 8-2*x*(1+y*z)-(1+x)*(y^2+z^2), 8-2*x*(1+y*z)-(1+y)*(1+z), 8-2*x*(1+y*z)-(1+y*z)*(x+y*z), 8-2*x*(1+y*z)-(x+y*z)*(y+z), 8-2*x*(1+y*z)-(x^2+y*z)*(y^2+z^2), 8-2*x*(1+y*z)-(y^2+z*x)*(z^2+x*y), 8-2*x*(1+y*z)-x*(y+z)*(y^2+z^2), 8-2*x*(1+y*z)-y*z*(z+x)*(x+y), 8-2*x*(x+y*z)-(x+y*z)*(y^2+z^2), 8-2*x*(x+y*z)-(y+z)*(1+y*z), 8-2*x*(x+y*z)-(y^2+1)*(z^2+1), 8-2*x*(x+y*z)-y*(1+x)*z*(y+z), 8-2*x*(y+z)-(1+x)*(y^2+z^2), 8-2*x*(y+z)-(1+y)*(1+z), 8-2*x*(y+z)-(1+y*z)*(x+y*z), 8-2*x*(y+z)-(x+y*z)*(y+z), 8-2*x*(y+z)-(x^2+y*z)*(y^2+z^2), 8-2*x*(y+z)-(y^2+z*x)*(z^2+x*y), 8-2*x*(y+z)-x*(y+z)*(y^2+z^2), 8-2*x*(y+z)-y*z*(z+x)*(x+y), 8-2*x*(y^2+z^2)-(1+x)*(1+y*z), 8-2*x*(y^2+z^2)-(1+x)*(y+z), 8-2*x*(y^2+z^2)-(1+y*z)*(x^2+y*z), 8-2*x*(y^2+z^2)-(x+y^2)*(x+z^2), 8-2*x*(y^2+z^2)-(y+z)*(x^2+y*z), 8-2*x*(y^2+z^2)-(y+z)^2*x, 8-2*x*(y^2+z^2)-(y+z*x)*(z+x*y), 8-2*x*(y^2+z^2)-(x^2+1)*(y^2+z^2), 8-2*x*(y^2+z^2)-y*(1+x)^2*z, 8-2*x*(y^2+z^2)-(1+y*z)*x*(y+z), 8-2*x^2*(1+y*z)-(1+y*z)*(y^2+z^2), 8-2*x^2*(1+y*z)-(y+z)*(y^2+z^2), 8-2*x^2*(1+y*z)-(y+z^2)*(z+y^2), 8-2*x^2*(1+y*z)-y*(1+z)*z*(1+y), 8-2*x^2*(y+z)-(1+y*z)*(y^2+z^2), 8-2*x^2*(y+z)-(y+z)*(y^2+z^2), 8-2*x^2*(y+z)-(y+z^2)*(z+y^2), 8-2*x^2*(y+z)-y*(1+z)*z*(1+y), 8-x^2*(y+z)^2-4*y*z, 8-x^2*(y+z)^2-(x+y*z)*(y^2+z^2), 8-x^2*(y+z)^2-(y+z)*(1+y*z), 8-x^2*(y+z)^2-(y^2+1)*(z^2+1), 8-x^2*(y+z)^2-2*y*z*(x+y*z), 8-x^2*(y+z)^2-y*(1+x)*z*(y+z), 8-2*x^2*(y^2+z^2)-(x+y*z)*(y^2+z^2), 8-2*x^2*(y^2+z^2)-(y+z)*(1+y*z), 8-2*x^2*(y^2+z^2)-(y^2+1)*(z^2+1), 8-2*x^2*(y^2+z^2)-y*(1+x)*z*(y+z), 8-4*y*z-(x+y*z)*(x^2+1), 8-4*y*z-x*(y+z)*(x^2+y*z), 8-4*y*z-(1+x)*x*(y+z), 8-4*y*z-(1+y*z)*x*(1+x), 8-(1+x)*(1+y*z)-(1+y*z)*(x^2+y*z), 8-(1+x)*(1+y*z)-(x+y^2)*(x+z^2), 8-(1+x)*(1+y*z)-(y+z)*(x^2+y*z), 8-(1+x)*(1+y*z)-(y+z)^2*x, 8-(1+x)*(1+y*z)-(y+z*x)*(z+x*y), 8-(1+x)*(1+y*z)-(x^2+1)*(y^2+z^2), 8-(1+x)*(1+y*z)-4*x*y*z, 8-(1+x)*(1+y*z)-2*y*z*(x^2+1), 8-(1+x)*(1+y*z)-y*(1+x)^2*z, 8-(1+x)*(1+y*z)-(1+y*z)*x*(y+z), 8-(1+x)*(x+y*z)-(1+x)*(y^2+z^2), 8-(1+x)*(x+y*z)-(1+y)*(1+z), 8-(1+x)*(x+y*z)-(x+y*z)*(y+z), 8-(1+x)*(x+y*z)-(x^2+y*z)*(y^2+z^2), 8-(1+x)*(x+y*z)-(y^2+z*x)*(z^2+x*y), 8-(1+x)*(x+y*z)-x*(y+z)*(y^2+z^2), 8-(1+x)*(x+y*z)-2*y*z*(x^2+y*z), 8-(1+x)*(x+y*z)-2*x*y*z*(y+z), 8-(1+x)*(x+y*z)-y*z*(z+x)*(x+y), 8-(1+x)*(y+z)-(1+y*z)*(x^2+y*z), 8-(1+x)*(y+z)-(x+y^2)*(x+z^2), 8-(1+x)*(y+z)-(y+z)*(x^2+y*z), 8-(1+x)*(y+z)-(y+z)^2*x, 8-(1+x)*(y+z)-(y+z*x)*(z+x*y), 8-(1+x)*(y+z)-(x^2+1)*(y^2+z^2), 8-(1+x)*(y+z)-4*x*y*z, 8-(1+x)*(y+z)-2*y*z*(x^2+1), 8-(1+x)*(y+z)-y*(1+x)^2*z, 8-(1+x)*(y+z)-(1+y*z)*x*(y+z), 8-(1+x)*(y^2+z^2)-(1+x*y)*(1+z*x), 8-(1+x)*(y^2+z^2)-(1+y*z)*(x^2+1), 8-(1+x)*(y^2+z^2)-(x+y*z)*(x^2+y*z), 8-(1+x)*(y^2+z^2)-(y+z)*(x^2+1), 8-(1+x)*(y^2+z^2)-(z+x)*(x+y), 8-(1+x)*(y^2+z^2)-x*(1+x)*(y^2+z^2), 8-(1+x)*(y^2+z^2)-(1+y)*x*(1+z), 8-(1+x)*(y^2+z^2)-(x+y*z)*x*(y+z), 8-(1+x)*(y^2+z^2)-2*x*y*z*(1+x), 8-(1+y)*(1+z)-(1+x*y)*(1+z*x), 8-(1+y)*(1+z)-(1+y*z)*(x^2+1), 8-(1+y)*(1+z)-(x+y*z)*(x^2+y*z), 8-(1+y)*(1+z)-(y+z)*(x^2+1), 8-(1+y)*(1+z)-(z+x)*(x+y), 8-(1+y)*(1+z)-x*(1+x)*(y^2+z^2), 8-(1+y)*(1+z)-(x+y*z)*x*(y+z), 8-(1+y)*(1+z)-2*x*y*z*(1+x), 8-(1+x*y)*(1+z*x)-(1+y*z)*(x+y*z), 8-(1+x*y)*(1+z*x)-(x+y*z)*(y+z), 8-(1+x*y)*(1+z*x)-(x^2+y*z)*(y^2+z^2), 8-(1+x*y)*(1+z*x)-(y^2+z*x)*(z^2+x*y), 8-(1+x*y)*(1+z*x)-x*(y+z)*(y^2+z^2), 8-(1+x*y)*(1+z*x)-2*y*z*(x^2+y*z), 8-(1+x*y)*(1+z*x)-2*x*y*z*(y+z), 8-(1+x*y)*(1+z*x)-y*z*(z+x)*(x+y), 8-(1+y*z)*(x+y*z)-(1+y*z)*(x^2+1), 8-(1+y*z)*(x+y*z)-(x+y*z)*(x^2+y*z), 8-(1+y*z)*(x+y*z)-(y+z)*(x^2+1), 8-(1+y*z)*(x+y*z)-(z+x)*(x+y), 8-(1+y*z)*(x+y*z)-x*(1+x)*(y^2+z^2), 8-(1+y*z)*(x+y*z)-(x+y*z)*x*(y+z), 8-(1+y*z)*(x+y*z)-2*x*y*z*(1+x), 8-(1+y*z)*(x^2+1)-(x+y*z)*(y+z), 8-(1+y*z)*(x^2+1)-(x^2+y*z)*(y^2+z^2), 8-(1+y*z)*(x^2+1)-(y^2+z*x)*(z^2+x*y), 8-(1+y*z)*(x^2+1)-x*(y+z)*(y^2+z^2), 8-(1+y*z)*(x^2+1)-2*y*z*(x^2+y*z), 8-(1+y*z)*(x^2+1)-2*x*y*z*(y+z), 8-(1+y*z)*(x^2+1)-y*z*(z+x)*(x+y), 8-(1+y*z)*(x^2+y*z)-(x+y^2)*(x+z^2), 8-(1+y*z)*(x^2+y*z)-(y+z)*(x^2+y*z), 8-(1+y*z)*(x^2+y*z)-(y+z)^2*x, 8-(1+y*z)*(x^2+y*z)-(y+z*x)*(z+x*y), 8-(1+y*z)*(x^2+y*z)-(x^2+1)*(y^2+z^2), 8-(1+y*z)*(x^2+y*z)-4*x*y*z, 8-(1+y*z)*(x^2+y*z)-2*y*z*(x^2+1), 8-(1+y*z)*(x^2+y*z)-y*(1+x)^2*z, 8-(1+y*z)*(x^2+y*z)-(1+y*z)*x*(y+z), 8-(1+y*z)*(y^2+z^2)-(1+y)*x^2*(1+z), 8-(1+y*z)*(y^2+z^2)-(x+y)*x*(z+x), 8-(1+y*z)*(y^2+z^2)-(x^2+1)*x*(y+z), 8-(x+y^2)*(x+z^2)-(y+z)*(x^2+y*z), 8-(x+y^2)*(x+z^2)-(y+z)^2*x, 8-(x+y^2)*(x+z^2)-(y+z*x)*(z+x*y), 8-(x+y^2)*(x+z^2)-(x^2+1)*(y^2+z^2), 8-(x+y^2)*(x+z^2)-4*x*y*z, 8-(x+y^2)*(x+z^2)-2*y*z*(x^2+1), 8-(x+y^2)*(x+z^2)-y*(1+x)^2*z, 8-(x+y*z)*(y+z)-(x+y*z)*(x^2+y*z), 8-(x+y*z)*(y+z)-(y+z)*(x^2+1), 8-(x+y*z)*(y+z)-(z+x)*(x+y), 8-(x+y*z)*(y+z)-(x+y*z)*x*(y+z), 8-(x+y*z)*(y+z)-2*x*y*z*(1+x), 8-(x+y*z)*(x^2+1)-(x+y*z)*(y^2+z^2), 8-(x+y*z)*(x^2+1)-(y+z)*(1+y*z), 8-(x+y*z)*(x^2+1)-(y^2+1)*(z^2+1), 8-(x+y*z)*(x^2+1)-2*y*z*(x+y*z), 8-(x+y*z)*(x^2+1)-y*(1+x)*z*(y+z), 8-(x+y*z)*(x^2+y*z)-(x^2+y*z)*(y^2+z^2), 8-(x+y*z)*(x^2+y*z)-(y^2+z*x)*(z^2+x*y), 8-(x+y*z)*(x^2+y*z)-x*(y+z)*(y^2+z^2), 8-(x+y*z)*(x^2+y*z)-2*y*z*(x^2+y*z), 8-(x+y*z)*(x^2+y*z)-2*x*y*z*(y+z), 8-(x+y*z)*(x^2+y*z)-y*z*(z+x)*(x+y), 8-(x+y*z)*(y^2+z^2)-x*(y+z)*(x^2+y*z), 8-(x+y*z)*(y^2+z^2)-4*z*x^2*y, 8-(y+z)*(1+y*z)-x*(y+z)*(x^2+y*z), 8-(y+z)*(1+y*z)-4*z*x^2*y, 8-(y+z)*(x^2+1)-(x^2+y*z)*(y^2+z^2), 8-(y+z)*(x^2+1)-(y^2+z*x)*(z^2+x*y), 8-(y+z)*(x^2+1)-x*(y+z)*(y^2+z^2), 8-(y+z)*(x^2+1)-2*y*z*(x^2+y*z), 8-(y+z)*(x^2+1)-2*x*y*z*(y+z), 8-(y+z)*(x^2+1)-y*z*(z+x)*(x+y), 8-(y+z)*(x^2+y*z)-(y+z*x)*(z+x*y), 8-(y+z)*(x^2+y*z)-(x^2+1)*(y^2+z^2), 8-(y+z)*(x^2+y*z)-4*x*y*z, 8-(y+z)*(x^2+y*z)-2*y*z*(x^2+1), 8-(y+z)*(x^2+y*z)-y*(1+x)^2*z, 8-(y+z)*(y^2+z^2)-(x^2+1)*x*(y+z), 8-(y+z)^2*x-(y+z*x)*(z+x*y), 8-(y+z)^2*x-(x^2+1)*(y^2+z^2), 8-(y+z)^2*x-4*x*y*z, 8-(y+z)^2*x-2*y*z*(x^2+1), 8-(y+z)^2*x-y*(1+x)^2*z, 8-(y+z^2)*(z+y^2)-(x^2+1)*x*(y+z), 8-(y+z*x)*(z+x*y)-(x^2+1)*(y^2+z^2), 8-(y+z*x)*(z+x*y)-4*x*y*z, 8-(y+z*x)*(z+x*y)-2*y*z*(x^2+1), 8-(z+x)*(x+y)-(x^2+y*z)*(y^2+z^2), 8-(z+x)*(x+y)-(y^2+z*x)*(z^2+x*y), 8-(z+x)*(x+y)-x*(y+z)*(y^2+z^2), 8-(z+x)*(x+y)-2*y*z*(x^2+y*z), 8-(z+x)*(x+y)-2*x*y*z*(y+z), 8-(z+x)*(x+y)-y*z*(z+x)*(x+y), 8-(x^2+1)*(y^2+z^2)-4*x*y*z, 8-(x^2+1)*(y^2+z^2)-2*y*z*(x^2+1), 8-(x^2+y*z)*(y^2+z^2)-2*x*y*z*(1+x), 8-(y^2+1)*(z^2+1)-4*z*x^2*y, 8-(y^2+z*x)*(z^2+x*y)-2*x*y*z*(1+x), 8-x*(1+x)*(y^2+z^2)-(x+y*z)*(y+z), 8-x*(1+x)*(y^2+z^2)-(x^2+y*z)*(y^2+z^2), 8-x*(1+x)*(y^2+z^2)-(y^2+z*x)*(z^2+x*y), 8-x*(1+x)*(y^2+z^2)-x*(y+z)*(y^2+z^2), 8-x*(1+x)*(y^2+z^2)-2*y*z*(x^2+y*z), 8-x*(1+x)*(y^2+z^2)-2*x*y*z*(y+z), 8-x*(1+x)*(y^2+z^2)-y*z*(z+x)*(x+y), 8-x*(y+z)*(x^2+y*z)-(y^2+1)*(z^2+1), 8-x*(y+z)*(x^2+y*z)-2*y*z*(x+y*z), 8-x*(y+z)*(y^2+z^2)-2*x*y*z*(1+x), 8-2*y*z*(1+x)-(1+x)*(x+y*z), 8-2*y*z*(1+x)-(1+x*y)*(1+z*x), 8-2*y*z*(1+x)-(1+y*z)*(x^2+1), 8-2*y*z*(1+x)-(y+z)*(x^2+1), 8-2*y*z*(1+x)-(z+x)*(x+y), 8-2*y*z*(1+x)-x*(1+x)*(y^2+z^2), 8-2*y*z*(1+x)-(1+y)*x*(1+z), 8-2*y*z*(1+x)-(x+y*z)*x*(y+z), 8-2*y*z*(y+z)-(1+y)*x^2*(1+z), 8-2*y*z*(y+z)-(x+y)*x*(z+x), 8-2*y*z*(y+z)-(x^2+1)*x*(y+z), 8-y*(1+x)^2*z-(y+z*x)*(z+x*y), 8-y*(1+x)^2*z-(x^2+1)*(y^2+z^2), 8-y*(1+x)^2*z-4*x*y*z, 8-y*(1+x)^2*z-2*y*z*(x^2+1), 8-(1+x)*x*(y+z)-(x+y*z)*(y^2+z^2), 8-(1+x)*x*(y+z)-(y+z)*(1+y*z), 8-(1+x)*x*(y+z)-(y^2+1)*(z^2+1), 8-(1+x)*x*(y+z)-2*y*z*(x+y*z), 8-(1+x)*x*(y+z)-y*(1+x)*z*(y+z), 8-(1+y)*x*(1+z)-(1+y*z)*(x+y*z), 8-(1+y)*x*(1+z)-(x+y*z)*(y+z), 8-(1+y)*x*(1+z)-(x^2+y*z)*(y^2+z^2), 8-(1+y)*x*(1+z)-(y^2+z*x)*(z^2+x*y), 8-(1+y)*x*(1+z)-x*(y+z)*(y^2+z^2), 8-(1+y)*x*(1+z)-2*y*z*(x^2+y*z), 8-(1+y)*x*(1+z)-2*x*y*z*(y+z), 8-(1+y)*x*(1+z)-y*z*(z+x)*(x+y), 8-(1+y)*x^2*(1+z)-(y+z)*(y^2+z^2), 8-(1+y)*x^2*(1+z)-(y+z^2)*(z+y^2), 8-(1+y)*x^2*(1+z)-2*y*z*(1+y*z), 8-(1+y)*x^2*(1+z)-y*(1+z)*z*(1+y), 8-(1+y*z)*x*(1+x)-(x+y*z)*(y^2+z^2), 8-(1+y*z)*x*(1+x)-(y+z)*(1+y*z), 8-(1+y*z)*x*(1+x)-(y^2+1)*(z^2+1), 8-(1+y*z)*x*(1+x)-2*y*z*(x+y*z), 8-(1+y*z)*x*(1+x)-y*(1+x)*z*(y+z), 8-(1+y*z)*x*(y+z)-(x+y^2)*(x+z^2), 8-(1+y*z)*x*(y+z)-(y+z)*(x^2+y*z), 8-(1+y*z)*x*(y+z)-(y+z)^2*x, 8-(1+y*z)*x*(y+z)-(y+z*x)*(z+x*y), 8-(1+y*z)*x*(y+z)-(x^2+1)*(y^2+z^2), 8-(1+y*z)*x*(y+z)-4*x*y*z, 8-(1+y*z)*x*(y+z)-2*y*z*(x^2+1), 8-(x+y)*x*(z+x)-(y+z)*(y^2+z^2), 8-(x+y)*x*(z+x)-(y+z^2)*(z+y^2), 8-(x+y)*x*(z+x)-2*y*z*(1+y*z), 8-(x+y)*x*(z+x)-y*(1+z)*z*(1+y), 8-(x+y*z)*x*(y+z)-(x^2+y*z)*(y^2+z^2), 8-(x+y*z)*x*(y+z)-(y^2+z*x)*(z^2+x*y), 8-(x+y*z)*x*(y+z)-x*(y+z)*(y^2+z^2), 8-(x+y*z)*x*(y+z)-2*y*z*(x^2+y*z), 8-(x+y*z)*x*(y+z)-2*x*y*z*(y+z), 8-(x+y*z)*x*(y+z)-y*z*(z+x)*(x+y), 8-(x^2+1)*x*(y+z)-2*y*z*(1+y*z), 8-y*z*(z+x)*(x+y)-2*x*y*z*(1+x), 8-y*(1+x)*z*(y+z)-x*(y+z)*(x^2+y*z), 8-y*(1+x)*z*(y+z)-4*z*x^2*y, 8-y*(1+z)*z*(1+y)-(x^2+1)*x*(y+z), -x-y*z+2, 4-x-x*(y^2+z^2)-y*z, 4-x-y*z-y*z*(x^2+1), 4-y-z-x*(y+z), 4-y-z-x*y*z*(1+x), 4-x^2-y*z-y*z*(x^2+y*z), 4-x^2-y*z-x*y*z*(y+z), 4-y^2-z^2-2*x, 4-y^2-z^2-x^2*(y^2+z^2), 4-y^2-z^2-2*z*x^2*y, 4-x*y-z*x-y*z*(x^2+y*z), 4-x*y-z*x-x*y*z*(y+z), 4-2*x*y*z-x-y*z, 8-2*x-2*y*z-(1+x)*(1+y*z), 8-2*x-2*y*z-(1+x)*(y+z), 8-2*x-2*y*z-(1+y*z)*(x^2+y*z), 8-2*x-2*y*z-(x+y^2)*(x+z^2), 8-2*x-2*y*z-(y+z)*(x^2+y*z), 8-2*x-2*y*z-(y+z)^2*x, 8-2*x-2*y*z-(y+z*x)*(z+x*y), 8-2*x-2*y*z-(x^2+1)*(y^2+z^2), 8-2*x-2*y*z-y*(1+x)^2*z, 8-2*x-2*y*z-(1+y*z)*x*(y+z), 8-2*y-2*z-(1+x)*(x+y*z), 8-2*y-2*z-(1+x*y)*(1+z*x), 8-2*y-2*z-(1+y*z)*(x^2+1), 8-2*y-2*z-(x+y*z)*(x^2+y*z), 8-2*y-2*z-(y+z)*(x^2+1), 8-2*y-2*z-(z+x)*(x+y), 8-2*y-2*z-x*(1+x)*(y^2+z^2), 8-2*y-2*z-(1+y)*x*(1+z), 8-2*y-2*z-(x+y*z)*x*(y+z), 8-2*x^2-2*y*z-(1+x)*(y^2+z^2), 8-2*x^2-2*y*z-(1+y)*(1+z), 8-2*x^2-2*y*z-(1+y*z)*(x+y*z), 8-2*x^2-2*y*z-(x+y*z)*(y+z), 8-2*x^2-2*y*z-(x^2+y*z)*(y^2+z^2), 8-2*x^2-2*y*z-(y^2+z*x)*(z^2+x*y), 8-2*x^2-2*y*z-x*(y+z)*(y^2+z^2), 8-2*x^2-2*y*z-y*z*(z+x)*(x+y), 8-2*y^2-2*z^2-(1+x)^2, 8-2*y^2-2*z^2-x^2*(y+z)^2, 8-2*y^2-2*z^2-(x+y*z)*(x^2+1), 8-2*y^2-2*z^2-x*(y+z)*(x^2+y*z), 8-2*y^2-2*z^2-(1+x)*x*(y+z), 8-2*y^2-2*z^2-(1+y*z)*x*(1+x), 8-2*x*y-2*z*x-(1+x)*(y^2+z^2), 8-2*x*y-2*z*x-(1+y)*(1+z), 8-2*x*y-2*z*x-(1+y*z)*(x+y*z), 8-2*x*y-2*z*x-(x+y*z)*(y+z), 8-2*x*y-2*z*x-(x^2+y*z)*(y^2+z^2), 8-2*x*y-2*z*x-(y^2+z*x)*(z^2+x*y), 8-2*x*y-2*z*x-x*(y+z)*(y^2+z^2), 8-2*x*y-2*z*x-y*z*(z+x)*(x+y), 4-y-z-x^2-y*z, 4-x*y-z*x-y-z}