求助！关于符号运算

[ily]

恳请各位帮帮忙，在此先表示感谢！！！！
我的问题如下：
已知：R=1.5*(z*z)-0.5;
S=2*z*x;
T=2*y*z;
U=x*x-y*y;
V=2*x*y;
K=z*(5*z*z-3)/2;
L=8*x*(5*z*z-1)/11;
M=8*y*(5*z*z-1)/11;
N=z*(x*x-y*y)/2;
O=x*y*z;
P=x*(x*x-3*y*y);
Q=y*(3*x*x-y*y);

现有：x1=x*cos(B)+z*sin(B);
y1=y;
z1=z*cos(B)-x*sin(B);
R1=1.5*(z1*z1)-0.5;
S1=2*z1*x1;
T1=2*y1*z1;
U1=x1*x1-y1*y1;
V1=2*x1*y1;
K1=z1*(5*z1*z1-3)/2;
L1=8*x1*(5*z1*z1-1)/11;
M1=8*y1*(5*z1*z1-1)/11;
N1=z1*(x1*x1-y1*y1)/2;
O1=x1*y1*z1;
P1=x1*(x1*x1-3*y1*y1);
Q1=y1*(3*x1*x1-y1*y1);

其中，B已知。
求: Result=X1+Y1+Z1+R1+S1+T1+U1+V1+K1+L1+M1+N1+O1+P1+Q1的表达式，但要用X,Y,Z,R,S,T,U,V,K,L,M,N,O,P,Q这些中间变量来表示。

大家都知道，用simple命令，可容易得到最终变量的表达式，但这些表达式是没有中间变量的。我现在想要用中间变量来表达，可老搞不出来啊！请各位高手帮帮忙吧！！再次感谢！！

[anbcjys]

最后是xyz的函数