这个表达式能否化简？

manthanein

(a^2-r^2)*y^2+(ux+vy-by)^2+(b^2-r^2)*x^2+(ux+vy-ax)^2-2*p*(x^2*u+y^2*a+x*y*v-x*y*b)-2*q*(x^2*b+y^2*v+x*y*u-x*y*a)+(p^2+q^2)*(x^2+y^2)+(x*(u-p)+y*(v-q))^2*((x^2+y^2)*r^2-(x*(u-a)+y*(v-b))^2)

\((a^2-r^2)y^2+(ux+vy-by)^2+(b^2-r^2)x^2+(ux+vy-ax)^2-2p(x^2u+y^2a+xyv-xyb)-2q(x^2b+y^2v+xyu-xya)+(p^2+q^2)(x^2+y^2)+[x(u-p)+y(v-q)]^2\{(x^2+y^2)r^2-[x(u-a)+y(v-b)]^2)\}\)

网上的wolframalpha都崩溃了……那位帮忙用数学软件算一下

manthanein

第一行是程序能读的表达式
第二行是人能读的表达式
两个表达式实质是一样的

manthanein

$$ \left({a}^{2}-{r}^{2}\right){\cdot}{y}^{2}+{\left(ux+vy-by\right)}^{2}+\left({b}^{2}-{r}^{2}\right){\cdot}{x}^{2}+{\left(ux+vy-ax\right)}^{2}-2p{\cdot}\left({x}^{2}u+{y}^{2}a+xyv-xyb\right)-2q{\cdot}\left({x}^{2}b+{y}^{2}v+xyu-xya\right)+\left({p}^{2}+{q}^{2}\right){\cdot}\left({x}^{2}+{y}^{2}\right)+{\left(x{\cdot}\left(u-p\right)+y{\cdot}\left(v-q\right)\right)}^{2}{\cdot}\left(\left({x}^{2}+{y}^{2}\right){\cdot}{r}^{2}-{\left(x{\cdot}\left(u-a\right)+y{\cdot}\left(v-b\right)\right)}^{2}\right) = a^2\,x^2+b^2\,x^2+p^2\,x^2-2\,b\,q\,x^2+q^2\,x^2-r^2\,x^2-2\,a\,u\, x^2-2\,p\,u\,x^2+2\,u^2\,x^2-a^2\,p^2\,x^4+p^2\,r^2\,x^4+2\,a^2\,p\, u\,x^4+2\,a\,p^2\,u\,x^4-2\,p\,r^2\,u\,x^4-a^2\,u^2\,x^4-4\,a\,p\,u^ 2\,x^4-p^2\,u^2\,x^4+r^2\,u^2\,x^4+2\,a\,u^3\,x^4+2\,p\,u^3\,x^4-u^4 \,x^4+2\,b\,p\,x\,y+2\,a\,q\,x\,y-2\,b\,u\,x\,y-2\,q\,u\,x\,y-2\,a\, v\,x\,y-2\,p\,v\,x\,y+4\,u\,v\,x\,y-2\,a\,b\,p^2\,x^3\,y-2\,a^2\,p\, q\,x^3\,y+2\,p\,q\,r^2\,x^3\,y+4\,a\,b\,p\,u\,x^3\,y+2\,b\,p^2\,u\,x ^3\,y+2\,a^2\,q\,u\,x^3\,y+4\,a\,p\,q\,u\,x^3\,y-2\,q\,r^2\,u\,x^3\, y-2\,a\,b\,u^2\,x^3\,y-4\,b\,p\,u^2\,x^3\,y-4\,a\,q\,u^2\,x^3\,y-2\, p\,q\,u^2\,x^3\,y+2\,b\,u^3\,x^3\,y+2\,q\,u^3\,x^3\,y+2\,a^2\,p\,v\, x^3\,y+2\,a\,p^2\,v\,x^3\,y-2\,p\,r^2\,v\,x^3\,y-2\,a^2\,u\,v\,x^3\, y-8\,a\,p\,u\,v\,x^3\,y-2\,p^2\,u\,v\,x^3\,y+2\,r^2\,u\,v\,x^3\,y+6 \,a\,u^2\,v\,x^3\,y+6\,p\,u^2\,v\,x^3\,y-4\,u^3\,v\,x^3\,y+a^2\,y^2+ b^2\,y^2-2\,a\,p\,y^2+p^2\,y^2+q^2\,y^2-r^2\,y^2-2\,b\,v\,y^2-2\,q\, v\,y^2+2\,v^2\,y^2-b^2\,p^2\,x^2\,y^2-4\,a\,b\,p\,q\,x^2\,y^2-a^2\,q ^2\,x^2\,y^2+p^2\,r^2\,x^2\,y^2+q^2\,r^2\,x^2\,y^2+2\,b^2\,p\,u\,x^2 \,y^2+4\,a\,b\,q\,u\,x^2\,y^2+4\,b\,p\,q\,u\,x^2\,y^2+2\,a\,q^2\,u\, x^2\,y^2-2\,p\,r^2\,u\,x^2\,y^2-b^2\,u^2\,x^2\,y^2-4\,b\,q\,u^2\,x^2 \,y^2-q^2\,u^2\,x^2\,y^2+r^2\,u^2\,x^2\,y^2+4\,a\,b\,p\,v\,x^2\,y^2+ 2\,b\,p^2\,v\,x^2\,y^2+2\,a^2\,q\,v\,x^2\,y^2+4\,a\,p\,q\,v\,x^2\,y^ 2-2\,q\,r^2\,v\,x^2\,y^2-4\,a\,b\,u\,v\,x^2\,y^2-8\,b\,p\,u\,v\,x^2 \,y^2-8\,a\,q\,u\,v\,x^2\,y^2-4\,p\,q\,u\,v\,x^2\,y^2+6\,b\,u^2\,v\, x^2\,y^2+6\,q\,u^2\,v\,x^2\,y^2-a^2\,v^2\,x^2\,y^2-4\,a\,p\,v^2\,x^2 \,y^2-p^2\,v^2\,x^2\,y^2+r^2\,v^2\,x^2\,y^2+6\,a\,u\,v^2\,x^2\,y^2+6 \,p\,u\,v^2\,x^2\,y^2-6\,u^2\,v^2\,x^2\,y^2-2\,b^2\,p\,q\,x\,y^3-2\, a\,b\,q^2\,x\,y^3+2\,p\,q\,r^2\,x\,y^3+2\,b^2\,q\,u\,x\,y^3+2\,b\,q^ 2\,u\,x\,y^3-2\,q\,r^2\,u\,x\,y^3+2\,b^2\,p\,v\,x\,y^3+4\,a\,b\,q\,v \,x\,y^3+4\,b\,p\,q\,v\,x\,y^3+2\,a\,q^2\,v\,x\,y^3-2\,p\,r^2\,v\,x \,y^3-2\,b^2\,u\,v\,x\,y^3-8\,b\,q\,u\,v\,x\,y^3-2\,q^2\,u\,v\,x\,y^ 3+2\,r^2\,u\,v\,x\,y^3-2\,a\,b\,v^2\,x\,y^3-4\,b\,p\,v^2\,x\,y^3-4\, a\,q\,v^2\,x\,y^3-2\,p\,q\,v^2\,x\,y^3+6\,b\,u\,v^2\,x\,y^3+6\,q\,u \,v^2\,x\,y^3+2\,a\,v^3\,x\,y^3+2\,p\,v^3\,x\,y^3-4\,u\,v^3\,x\,y^3- b^2\,q^2\,y^4+q^2\,r^2\,y^4+2\,b^2\,q\,v\,y^4+2\,b\,q^2\,v\,y^4-2\,q \,r^2\,v\,y^4-b^2\,v^2\,y^4-4\,b\,q\,v^2\,y^4-q^2\,v^2\,y^4+r^2\,v^2 \,y^4+2\,b\,v^3\,y^4+2\,q\,v^3\,y^4-v^4\,y^4 $$