[ A1: 1 ] [ A1: (3^(1/2)*(S3x*S4x+S3y*S4y+S3z*S4z))/3 ] [ A1: (3^(1/2)*(S3x*S4y*S4z+S3y*S4z*S4x+S3z*S4x*S4y))/3 ] [ A1: (3^(1/2)*(S3y*S3z*S4x+S3z*S3x*S4y+S3x*S3y*S4z))/3 ] [ A1: (S2a*S4x^2*3^(1/2)+S2a*S4y^2*3^(1/2)-2*S2a*S4z^2*3^(1/2)-3*S2b*S4x^2+3*S2b*S4y^2)/6 ] [ A1: (S2a*S3x^2*3^(1/2)+S2a*S3y^2*3^(1/2)-2*S2a*S3z^2*3^(1/2)-3*S2b*S3x^2+3*S2b*S3y^2)/6 ] [ A1: (S2a*S3x*S4x*3^(1/2)+S2a*S3y*S4y*3^(1/2)-2*S2a*S3z*S4z*3^(1/2)-3*S2b*S3x*S4x+3*S2b*S3y*S4y)/6 ] [ A1: (2^(1/2)*(2*S3x^2*S4x^2-S3x^2*S4y^2-S3x^2*S4z^2-S3y^2*S4x^2+2*S3y^2*S4y^2-S3y^2*S4z^2-S3z^2*S4x^2-S3z^2*S4y^2+2*S3z^2*S4z^2))/6 ] [ A1: (3^(1/2)*(S3x*S4x^3+S3y*S4y^3+S3z*S4z^3))/3 ] [ A1: (3^(1/2)*(S3y*S3z*S4y*S4z+S3z*S3x*S4z*S4x+S3x*S3y*S4x*S4y))/3 ] [ A1: (3^(1/2)*(S3x^3*S4x+S3y^3*S4y+S3z^3*S4z))/3 ] [ A1: (S2a*S3x*S4y*S4z*3^(1/2)+S2a*S3y*S4z*S4x*3^(1/2)-2*S2a*S3z*S4x*S4y*3^(1/2)-3*S2b*S3x*S4y*S4z+3*S2b*S3y*S4z*S4x)/6 ] [ A1: (S2a*S3y*S3z*S4x*3^(1/2)+S2a*S3z*S3x*S4y*3^(1/2)-2*S2a*S3x*S3y*S4z*3^(1/2)-3*S2b*S3y*S3z*S4x+3*S2b*S3z*S3x*S4y)/6 ] [ A1: (-2^(1/2)*(S2a^2*S4x^2*3^(1/2)+S2a^2*S4y^2*3^(1/2)-2*S2a^2*S4z^2*3^(1/2)-S2b^2*S4x^2*3^(1/2)-S2b^2*S4y^2*3^(1/2)+2*S2b^2*S4z^2*3^(1/2)+6*S2a*S2b*S4x^2-6*S2a*S2b*S4y^2))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^2*3^(1/2)+S2a^2*S3y^2*3^(1/2)-2*S2a^2*S3z^2*3^(1/2)-S2b^2*S3x^2*3^(1/2)-S2b^2*S3y^2*3^(1/2)+2*S2b^2*S3z^2*3^(1/2)+6*S2a*S2b*S3x^2-6*S2a*S2b*S3y^2))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x*S4x*3^(1/2)+S2a^2*S3y*S4y*3^(1/2)-2*S2a^2*S3z*S4z*3^(1/2)-S2b^2*S3x*S4x*3^(1/2)-S2b^2*S3y*S4y*3^(1/2)+2*S2b^2*S3z*S4z*3^(1/2)+6*S2a*S2b*S3x*S4x-6*S2a*S2b*S3y*S4y))/12 ] [ A1: (3^(1/2)*(S3y*S3z*S4x^3+S3z*S3x*S4y^3+S3x*S3y*S4z^3))/3 ] [ A1: (3^(1/2)*(S3x^3*S4y*S4z+S3y^3*S4z*S4x+S3z^3*S4x*S4y))/3 ] [ A1: (S2a*S4x^4*3^(1/2)+S2a*S4y^4*3^(1/2)-2*S2a*S4z^4*3^(1/2)-3*S2b*S4x^4+3*S2b*S4y^4)/6 ] [ A1: (S2a*S3x^4*3^(1/2)+S2a*S3y^4*3^(1/2)-2*S2a*S3z^4*3^(1/2)-3*S2b*S3x^4+3*S2b*S3y^4)/6 ] [ A1: (S2a*S3x^2*S4x^2-2*S2a*S3x^2*S4y^2+S2a*S3x^2*S4z^2-2*S2a*S3y^2*S4x^2+S2a*S3y^2*S4y^2+S2a*S3y^2*S4z^2+S2a*S3z^2*S4x^2+S2a*S3z^2*S4y^2-2*S2a*S3z^2*S4z^2-S2b*S3x^2*3^(1/2)*S4x^2+S2b*S3y^2*3^(1/2)*S4y^2+S2b*S3z^2*3^(1/2)*S4x^2-S2b*S3z^2*3^(1/2)*S4y^2+S2b*S3x^2*S4z^2*3^(1/2)-S2b*S3y^2*S4z^2*3^(1/2))/6 ] [ A1: (2^(1/2)*(-3*S2a*S4x*S3x*S3y^2+3*S2a*S4x*S3x*S3z^2+3*S2a*S4y*S3y*S3z^2-3*S2a*S4y*S3x^2*S3y-S2b*S4x*3^(1/2)*S3x*S3y^2+S2b*S4x*3^(1/2)*S3x*S3z^2-S2b*S4y*3^(1/2)*S3y*S3z^2+S2b*S4y*3^(1/2)*S3x^2*S3y+2*S2b*S4z*3^(1/2)*S3z*S3x^2-2*S2b*S4z*3^(1/2)*S3z*S3y^2))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x*S4x*S4y^2-3*S2a*S3x*S4x*S4z^2-3*S2a*S3y*S4y*S4z^2+3*S2a*S3y*S4x^2*S4y+S2b*S3x*3^(1/2)*S4x*S4y^2-S2b*S3x*3^(1/2)*S4x*S4z^2+S2b*S3y*3^(1/2)*S4y*S4z^2-S2b*S3y*3^(1/2)*S4x^2*S4y-2*S2b*S3z*3^(1/2)*S4z*S4x^2+2*S2b*S3z*3^(1/2)*S4z*S4y^2))/12 ] [ A1: (S2a*S3x*S4x^3*3^(1/2)+S2a*S3y*S4y^3*3^(1/2)-2*S2a*S3z*S4z^3*3^(1/2)-3*S2b*S3x*S4x^3+3*S2b*S3y*S4y^3)/6 ] [ A1: (S2a*S3y*S3z*S4y*S4z*3^(1/2)+S2a*S3z*S3x*S4z*S4x*3^(1/2)-2*S2a*S3x*S3y*S4x*S4y*3^(1/2)-3*S2b*S3y*S3z*S4y*S4z+3*S2b*S3z*S3x*S4z*S4x)/6 ] [ A1: (S2a*S3x^3*S4x*3^(1/2)+S2a*S3y^3*S4y*3^(1/2)-2*S2a*S3z^3*S4z*3^(1/2)-3*S2b*S3x^3*S4x+3*S2b*S3y^3*S4y)/6 ] [ A1: (-2^(1/2)*(S2a^2*S3x*S4y*S4z*3^(1/2)+S2a^2*S3y*S4z*S4x*3^(1/2)-2*S2a^2*S3z*S4x*S4y*3^(1/2)-S2b^2*S3x*S4y*S4z*3^(1/2)-S2b^2*S3y*S4z*S4x*3^(1/2)+2*S2b^2*S3z*S4x*S4y*3^(1/2)+6*S2a*S2b*S3x*S4y*S4z-6*S2a*S2b*S3y*S4z*S4x))/12 ] [ A1: (2^(1/2)*(-S2a^2*S3y*S3z*S4x*3^(1/2)-S2a^2*S3z*S3x*S4y*3^(1/2)+2*S2a^2*S3x*S3y*S4z*3^(1/2)+S2b^2*S3y*S3z*S4x*3^(1/2)+S2b^2*S3z*S3x*S4y*3^(1/2)-2*S2b^2*S3x*S3y*S4z*3^(1/2)-6*S2a*S2b*S3y*S3z*S4x+6*S2a*S2b*S3z*S3x*S4y))/12 ] [ A1: (2^(1/2)*(2*S3x^2*S4x^4-S3x^2*S4y^4-S3x^2*S4z^4-S3y^2*S4x^4+2*S3y^2*S4y^4-S3y^2*S4z^4-S3z^2*S4x^4-S3z^2*S4y^4+2*S3z^2*S4z^4))/6 ] [ A1: (2^(1/2)*(2*S3x^4*S4x^2-S3x^4*S4y^2-S3x^4*S4z^2-S3y^4*S4x^2+2*S3y^4*S4y^2-S3y^4*S4z^2-S3z^4*S4x^2-S3z^4*S4y^2+2*S3z^4*S4z^2))/6 ] [ A1: (3^(1/2)*(S3x*S3y^2*S4x*S4y^2-S3x*S3y^2*S4x*S4z^2-S3x*S3z^2*S4x*S4y^2+S3x*S3z^2*S4x*S4z^2+S3y*S3z^2*S4y*S4z^2-S3y*S3z^2*S4x^2*S4y-S3x^2*S3y*S4y*S4z^2+S3x^2*S3y*S4x^2*S4y+S3z*S3x^2*S4z*S4x^2-S3z*S3x^2*S4z*S4y^2-S3z*S3y^2*S4z*S4x^2+S3z*S3y^2*S4z*S4y^2))/6 ] [ A1: (3^(1/2)*(S3x^3*S4x^3+S3y^3*S4y^3+S3z^3*S4z^3))/3 ] [ A1: (2^(1/2)*(-3*S2a*S4y*S4z*S3x*S3y^2+3*S2a*S4y*S4z*S3x*S3z^2+3*S2a*S4z*S4x*S3y*S3z^2-3*S2a*S4z*S4x*S3x^2*S3y-S2b*S4y*S4z*3^(1/2)*S3x*S3y^2+S2b*S4y*S4z*3^(1/2)*S3x*S3z^2-S2b*S4z*S4x*3^(1/2)*S3y*S3z^2+S2b*S4z*S4x*3^(1/2)*S3x^2*S3y+2*S2b*S4x*S4y*3^(1/2)*S3z*S3x^2-2*S2b*S4x*S4y*3^(1/2)*S3z*S3y^2))/12 ] [ A1: (2^(1/2)*(-3*S2a*S4x*S3y^3*S3z+3*S2a*S4x*S3y*S3z^3+3*S2a*S4y*S3z^3*S3x-3*S2a*S4y*S3z*S3x^3-S2b*S4x*3^(1/2)*S3y^3*S3z+S2b*S4x*3^(1/2)*S3y*S3z^3-S2b*S4y*3^(1/2)*S3z^3*S3x+S2b*S4y*3^(1/2)*S3z*S3x^3+2*S2b*S4z*3^(1/2)*S3x^3*S3y-2*S2b*S4z*3^(1/2)*S3x*S3y^3))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x*S4y^3*S4z-3*S2a*S3x*S4y*S4z^3-3*S2a*S3y*S4z^3*S4x+3*S2a*S3y*S4z*S4x^3+S2b*S3x*3^(1/2)*S4y^3*S4z-S2b*S3x*3^(1/2)*S4y*S4z^3+S2b*S3y*3^(1/2)*S4z^3*S4x-S2b*S3y*3^(1/2)*S4z*S4x^3-2*S2b*S3z*3^(1/2)*S4x^3*S4y+2*S2b*S3z*3^(1/2)*S4x*S4y^3))/12 ] [ A1: (-2^(1/2)*(-3*S2a*S3y*S3z*S4x*S4y^2+3*S2a*S3y*S3z*S4x*S4z^2+3*S2a*S3z*S3x*S4y*S4z^2-3*S2a*S3z*S3x*S4x^2*S4y-S2b*S3y*S3z*3^(1/2)*S4x*S4y^2+S2b*S3y*S3z*3^(1/2)*S4x*S4z^2-S2b*S3z*S3x*3^(1/2)*S4y*S4z^2+S2b*S3z*S3x*3^(1/2)*S4x^2*S4y+2*S2b*S3x*S3y*3^(1/2)*S4z*S4x^2-2*S2b*S3x*S3y*3^(1/2)*S4z*S4y^2))/12 ] [ A1: (S2a*S3y*S3z*S4x^3*3^(1/2)+S2a*S3z*S3x*S4y^3*3^(1/2)-2*S2a*S3x*S3y*S4z^3*3^(1/2)-3*S2b*S3y*S3z*S4x^3+3*S2b*S3z*S3x*S4y^3)/6 ] [ A1: (S2a*S3x^3*S4y*S4z*3^(1/2)+S2a*S3y^3*S4z*S4x*3^(1/2)-2*S2a*S3z^3*S4x*S4y*3^(1/2)-3*S2b*S3x^3*S4y*S4z+3*S2b*S3y^3*S4z*S4x)/6 ] [ A1: (-2^(1/2)*(S2a^2*S4x^4*3^(1/2)+S2a^2*S4y^4*3^(1/2)-2*S2a^2*S4z^4*3^(1/2)-S2b^2*S4x^4*3^(1/2)-S2b^2*S4y^4*3^(1/2)+2*S2b^2*S4z^4*3^(1/2)+6*S2a*S2b*S4x^4-6*S2a*S2b*S4y^4))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^4*3^(1/2)+S2a^2*S3y^4*3^(1/2)-2*S2a^2*S3z^4*3^(1/2)-S2b^2*S3x^4*3^(1/2)-S2b^2*S3y^4*3^(1/2)+2*S2b^2*S3z^4*3^(1/2)+6*S2a*S2b*S3x^4-6*S2a*S2b*S3y^4))/12 ] [ A1: (-2^(1/2)*(-2*S2a^2*S3x^2*S4y^2+S2a^2*S3x^2*S4z^2+S2a^2*S3x^2*S4x^2-2*S2a^2*S3y^2*S4x^2+S2a^2*S3y^2*S4y^2-S2b^2*S3x^2*S4x^2+2*S2b^2*S3x^2*S4y^2+2*S2b^2*S3y^2*S4x^2-S2b^2*S3y^2*S4y^2+S2a^2*S3y^2*S4z^2+S2a^2*S3z^2*S4x^2+S2a^2*S3z^2*S4y^2-2*S2a^2*S3z^2*S4z^2-S2b^2*S3x^2*S4z^2-S2b^2*S3y^2*S4z^2-S2b^2*S3z^2*S4x^2-S2b^2*S3z^2*S4y^2+2*S2b^2*S3z^2*S4z^2+2*S2a*S2b*S3x^2*3^(1/2)*S4x^2-2*S2a*S2b*S3y^2*3^(1/2)*S4y^2-2*S2a*S2b*S3z^2*3^(1/2)*S4x^2+2*S2a*S2b*S3z^2*3^(1/2)*S4y^2-2*S2a*S2b*S3x^2*S4z^2*3^(1/2)+2*S2a*S2b*S3y^2*S4z^2*3^(1/2)))/12 ] [ A1: (3*S2a^2*S4x*S3x*S3y^2-3*S2a^2*S4x*S3x*S3z^2-3*S2a^2*S4y*S3y*S3z^2+3*S2a^2*S4y*S3x^2*S3y-3*S2b^2*S4x*S3x*S3y^2+3*S2b^2*S4x*S3x*S3z^2+3*S2b^2*S4y*S3y*S3z^2-3*S2b^2*S4y*S3x^2*S3y-2*S2a*S2b*S4x*3^(1/2)*S3x*S3y^2+2*S2a*S2b*S4x*3^(1/2)*S3x*S3z^2-2*S2a*S2b*S4y*3^(1/2)*S3y*S3z^2+2*S2a*S2b*S4y*3^(1/2)*S3x^2*S3y+4*S2a*S2b*S4z*3^(1/2)*S3z*S3x^2-4*S2a*S2b*S4z*3^(1/2)*S3z*S3y^2)/12 ] [ A1: (-3*S2a^2*S3x*S4x*S4y^2+3*S2a^2*S3x*S4x*S4z^2+3*S2a^2*S3y*S4y*S4z^2-3*S2a^2*S3y*S4x^2*S4y+3*S2b^2*S3x*S4x*S4y^2-3*S2b^2*S3x*S4x*S4z^2-3*S2b^2*S3y*S4y*S4z^2+3*S2b^2*S3y*S4x^2*S4y+2*S2a*S2b*S3x*3^(1/2)*S4x*S4y^2-2*S2a*S2b*S3x*3^(1/2)*S4x*S4z^2+2*S2a*S2b*S3y*3^(1/2)*S4y*S4z^2-2*S2a*S2b*S3y*3^(1/2)*S4x^2*S4y-4*S2a*S2b*S3z*3^(1/2)*S4z*S4x^2+4*S2a*S2b*S3z*3^(1/2)*S4z*S4y^2)/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x*S4x^3*3^(1/2)+S2a^2*S3y*S4y^3*3^(1/2)-2*S2a^2*S3z*S4z^3*3^(1/2)-S2b^2*S3x*S4x^3*3^(1/2)-S2b^2*S3y*S4y^3*3^(1/2)+2*S2b^2*S3z*S4z^3*3^(1/2)+6*S2a*S2b*S3x*S4x^3-6*S2a*S2b*S3y*S4y^3))/12 ] [ A1: (2^(1/2)*(-S2a^2*S3y*S3z*S4y*S4z*3^(1/2)-S2a^2*S3z*S3x*S4z*S4x*3^(1/2)+2*S2a^2*S3x*S3y*S4x*S4y*3^(1/2)+S2b^2*S3y*S3z*S4y*S4z*3^(1/2)+S2b^2*S3z*S3x*S4z*S4x*3^(1/2)-2*S2b^2*S3x*S3y*S4x*S4y*3^(1/2)-6*S2a*S2b*S3y*S3z*S4y*S4z+6*S2a*S2b*S3z*S3x*S4z*S4x))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^3*S4x*3^(1/2)+S2a^2*S3y^3*S4y*3^(1/2)-2*S2a^2*S3z^3*S4z*3^(1/2)-S2b^2*S3x^3*S4x*3^(1/2)-S2b^2*S3y^3*S4y*3^(1/2)+2*S2b^2*S3z^3*S4z*3^(1/2)+6*S2a*S2b*S3x^3*S4x-6*S2a*S2b*S3y^3*S4y))/12 ] [ A1: (3^(1/2)*(S3x*S3y^2*S4y^3*S4z-S3x*S3y^2*S4y*S4z^3-S3x*S3z^2*S4y^3*S4z+S3x*S3z^2*S4y*S4z^3+S3y*S3z^2*S4z^3*S4x-S3y*S3z^2*S4z*S4x^3-S3x^2*S3y*S4z^3*S4x+S3x^2*S3y*S4z*S4x^3+S3z*S3x^2*S4x^3*S4y-S3z*S3x^2*S4x*S4y^3-S3z*S3y^2*S4x^3*S4y+S3z*S3y^2*S4x*S4y^3))/6 ] [ A1: (3^(1/2)*(S3y^3*S3z*S4x*S4y^2-S3y^3*S3z*S4x*S4z^2-S3y*S3z^3*S4x*S4y^2+S3y*S3z^3*S4x*S4z^2+S3z^3*S3x*S4y*S4z^2-S3z^3*S3x*S4x^2*S4y-S3z*S3x^3*S4y*S4z^2+S3z*S3x^3*S4x^2*S4y+S3x^3*S3y*S4z*S4x^2-S3x^3*S3y*S4z*S4y^2-S3x*S3y^3*S4z*S4x^2+S3x*S3y^3*S4z*S4y^2))/6 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*2^(1/2)*3^(1/2)*(S3x^2*S4y^2-S3y^2*S4x^2+S3z^2*S4x^2-S3z^2*S4y^2-S3x^2*S4z^2+S3y^2*S4z^2))/12 ] [ A1: (S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(-S4x*S3x*S3y^2+S4x*S3x*S3z^2-S4y*S3y*S3z^2+S4y*S3x^2*S3y-S4z*S3z*S3x^2+S4z*S3z*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x*S4x*S4y^2-S3x*S4x*S4z^2+S3y*S4y*S4z^2-S3y*S4x^2*S4y+S3z*S4z*S4x^2-S3z*S4z*S4y^2))/12 ] [ A1: (S2a*S3x^2*S4x^4-2*S2a*S3x^2*S4y^4+S2a*S3x^2*S4z^4-2*S2a*S3y^2*S4x^4+S2a*S3y^2*S4y^4+S2a*S3y^2*S4z^4+S2a*S3z^2*S4x^4+S2a*S3z^2*S4y^4-2*S2a*S3z^2*S4z^4-S2b*S3x^2*3^(1/2)*S4x^4+S2b*S3y^2*3^(1/2)*S4y^4+S2b*S3z^2*3^(1/2)*S4x^4-S2b*S3z^2*3^(1/2)*S4y^4+S2b*S3x^2*S4z^4*3^(1/2)-S2b*S3y^2*S4z^4*3^(1/2))/6 ] [ A1: (S2a*S3x^4*S4x^2-2*S2a*S3x^4*S4y^2+S2a*S3x^4*S4z^2-2*S2a*S3y^4*S4x^2+S2a*S3y^4*S4y^2+S2a*S3y^4*S4z^2+S2a*S3z^4*S4x^2+S2a*S3z^4*S4y^2-2*S2a*S3z^4*S4z^2-S2b*S3x^4*3^(1/2)*S4x^2+S2b*S3y^4*3^(1/2)*S4y^2+S2b*S3z^4*3^(1/2)*S4x^2-S2b*S3z^4*3^(1/2)*S4y^2+S2b*S3x^4*S4z^2*3^(1/2)-S2b*S3y^4*S4z^2*3^(1/2))/6 ] [ A1: (S2a*3^(1/2)*S3x*S3y^2*S4x*S4y^2-S2a*3^(1/2)*S3x*S3y^2*S4x*S4z^2-S2a*3^(1/2)*S3x*S3z^2*S4x*S4y^2+S2a*3^(1/2)*S3x*S3z^2*S4x*S4z^2+S2a*3^(1/2)*S3y*S3z^2*S4y*S4z^2-S2a*3^(1/2)*S3y*S3z^2*S4x^2*S4y-S2a*3^(1/2)*S3x^2*S3y*S4y*S4z^2+S2a*3^(1/2)*S3x^2*S3y*S4x^2*S4y-2*S2a*3^(1/2)*S3z*S3x^2*S4z*S4x^2+2*S2a*3^(1/2)*S3z*S3x^2*S4z*S4y^2+2*S2a*3^(1/2)*S3z*S3y^2*S4z*S4x^2-2*S2a*3^(1/2)*S3z*S3y^2*S4z*S4y^2-3*S2b*S3x*S3y^2*S4x*S4y^2+3*S2b*S3x*S3y^2*S4x*S4z^2+3*S2b*S3x*S3z^2*S4x*S4y^2-3*S2b*S3x*S3z^2*S4x*S4z^2+3*S2b*S3y*S3z^2*S4y*S4z^2-3*S2b*S3y*S3z^2*S4x^2*S4y-3*S2b*S3x^2*S3y*S4y*S4z^2+3*S2b*S3x^2*S3y*S4x^2*S4y)/12 ] [ A1: (2^(1/2)*(-3*S2a*S4x^3*S3x*S3y^2+3*S2a*S4x^3*S3x*S3z^2+3*S2a*S4y^3*S3y*S3z^2-3*S2a*S4y^3*S3x^2*S3y-S2b*S4x^3*3^(1/2)*S3x*S3y^2+S2b*S4x^3*3^(1/2)*S3x*S3z^2-S2b*S4y^3*3^(1/2)*S3y*S3z^2+S2b*S4y^3*3^(1/2)*S3x^2*S3y+2*S2b*S4z^3*3^(1/2)*S3z*S3x^2-2*S2b*S4z^3*3^(1/2)*S3z*S3y^2))/12 ] [ A1: (2^(1/2)*(-3*S2a*S4y*S4z*S3y^3*S3z+3*S2a*S4y*S4z*S3y*S3z^3+3*S2a*S4z*S4x*S3z^3*S3x-3*S2a*S4z*S4x*S3z*S3x^3-S2b*S4y*S4z*3^(1/2)*S3y^3*S3z+S2b*S4y*S4z*3^(1/2)*S3y*S3z^3-S2b*S4z*S4x*3^(1/2)*S3z^3*S3x+S2b*S4z*S4x*3^(1/2)*S3z*S3x^3+2*S2b*S4x*S4y*3^(1/2)*S3x^3*S3y-2*S2b*S4x*S4y*3^(1/2)*S3x*S3y^3))/12 ] [ A1: (-2^(1/2)*(3*S2a*S4x*S3x^3*S3y^2-3*S2a*S4x*S3x^3*S3z^2-3*S2a*S4y*S3y^3*S3z^2+3*S2a*S4y*S3y^3*S3x^2+S2b*S4x*3^(1/2)*S3x^3*S3y^2-S2b*S4x*3^(1/2)*S3x^3*S3z^2+S2b*S4y*3^(1/2)*S3y^3*S3z^2-S2b*S4y*3^(1/2)*S3y^3*S3x^2-2*S2b*S4z*3^(1/2)*S3z^3*S3x^2+2*S2b*S4z*3^(1/2)*S3z^3*S3y^2))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x*S4x^3*S4y^2-3*S2a*S3x*S4x^3*S4z^2-3*S2a*S3y*S4y^3*S4z^2+3*S2a*S3y*S4y^3*S4x^2+S2b*S3x*3^(1/2)*S4x^3*S4y^2-S2b*S3x*3^(1/2)*S4x^3*S4z^2+S2b*S3y*3^(1/2)*S4y^3*S4z^2-S2b*S3y*3^(1/2)*S4y^3*S4x^2-2*S2b*S3z*3^(1/2)*S4z^3*S4x^2+2*S2b*S3z*3^(1/2)*S4z^3*S4y^2))/12 ] [ A1: (-2^(1/2)*(-3*S2a*S3y*S3z*S4y^3*S4z+3*S2a*S3y*S3z*S4y*S4z^3+3*S2a*S3z*S3x*S4z^3*S4x-3*S2a*S3z*S3x*S4z*S4x^3-S2b*S3y*S3z*3^(1/2)*S4y^3*S4z+S2b*S3y*S3z*3^(1/2)*S4y*S4z^3-S2b*S3z*S3x*3^(1/2)*S4z^3*S4x+S2b*S3z*S3x*3^(1/2)*S4z*S4x^3+2*S2b*S3x*S3y*3^(1/2)*S4x^3*S4y-2*S2b*S3x*S3y*3^(1/2)*S4x*S4y^3))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x^3*S4x*S4y^2-3*S2a*S3x^3*S4x*S4z^2-3*S2a*S3y^3*S4y*S4z^2+3*S2a*S3y^3*S4x^2*S4y+S2b*S3x^3*3^(1/2)*S4x*S4y^2-S2b*S3x^3*3^(1/2)*S4x*S4z^2+S2b*S3y^3*3^(1/2)*S4y*S4z^2-S2b*S3y^3*3^(1/2)*S4x^2*S4y-2*S2b*S3z^3*3^(1/2)*S4z*S4x^2+2*S2b*S3z^3*3^(1/2)*S4z*S4y^2))/12 ] [ A1: (S2a*S3x^3*S4x^3*3^(1/2)+S2a*S3y^3*S4y^3*3^(1/2)-2*S2a*S3z^3*S4z^3*3^(1/2)-3*S2b*S3x^3*S4x^3+3*S2b*S3y^3*S4y^3)/6 ] [ A1: (3*S2a^2*S4y*S4z*S3x*S3y^2-3*S2a^2*S4y*S4z*S3x*S3z^2-3*S2a^2*S4z*S4x*S3y*S3z^2+3*S2a^2*S4z*S4x*S3x^2*S3y-3*S2b^2*S4y*S4z*S3x*S3y^2+3*S2b^2*S4y*S4z*S3x*S3z^2+3*S2b^2*S4z*S4x*S3y*S3z^2-3*S2b^2*S4z*S4x*S3x^2*S3y-2*S2a*S2b*S4y*S4z*3^(1/2)*S3x*S3y^2+2*S2a*S2b*S4y*S4z*3^(1/2)*S3x*S3z^2-2*S2a*S2b*S4z*S4x*3^(1/2)*S3y*S3z^2+2*S2a*S2b*S4z*S4x*3^(1/2)*S3x^2*S3y+4*S2a*S2b*S4x*S4y*3^(1/2)*S3z*S3x^2-4*S2a*S2b*S4x*S4y*3^(1/2)*S3z*S3y^2)/12 ] [ A1: (3*S2a^2*S4x*S3y^3*S3z-3*S2a^2*S4x*S3y*S3z^3-3*S2a^2*S4y*S3z^3*S3x+3*S2a^2*S4y*S3z*S3x^3-3*S2b^2*S4x*S3y^3*S3z+3*S2b^2*S4x*S3y*S3z^3+3*S2b^2*S4y*S3z^3*S3x-3*S2b^2*S4y*S3z*S3x^3-2*S2a*S2b*S4x*3^(1/2)*S3y^3*S3z+2*S2a*S2b*S4x*3^(1/2)*S3y*S3z^3-2*S2a*S2b*S4y*3^(1/2)*S3z^3*S3x+2*S2a*S2b*S4y*3^(1/2)*S3z*S3x^3+4*S2a*S2b*S4z*3^(1/2)*S3x^3*S3y-4*S2a*S2b*S4z*3^(1/2)*S3x*S3y^3)/12 ] [ A1: (-3*S2a^2*S3x*S4y^3*S4z+3*S2a^2*S3x*S4y*S4z^3+3*S2a^2*S3y*S4z^3*S4x-3*S2a^2*S3y*S4z*S4x^3+3*S2b^2*S3x*S4y^3*S4z-3*S2b^2*S3x*S4y*S4z^3-3*S2b^2*S3y*S4z^3*S4x+3*S2b^2*S3y*S4z*S4x^3+2*S2a*S2b*S3x*3^(1/2)*S4y^3*S4z-2*S2a*S2b*S3x*3^(1/2)*S4y*S4z^3+2*S2a*S2b*S3y*3^(1/2)*S4z^3*S4x-2*S2a*S2b*S3y*3^(1/2)*S4z*S4x^3-4*S2a*S2b*S3z*3^(1/2)*S4x^3*S4y+4*S2a*S2b*S3z*3^(1/2)*S4x*S4y^3)/12 ] [ A1: (-3*S2a^2*S3y*S3z*S4x*S4y^2+3*S2a^2*S3y*S3z*S4x*S4z^2+3*S2a^2*S3z*S3x*S4y*S4z^2-3*S2a^2*S3z*S3x*S4x^2*S4y+3*S2b^2*S3y*S3z*S4x*S4y^2-3*S2b^2*S3y*S3z*S4x*S4z^2-3*S2b^2*S3z*S3x*S4y*S4z^2+3*S2b^2*S3z*S3x*S4x^2*S4y+2*S2a*S2b*S3y*S3z*3^(1/2)*S4x*S4y^2-2*S2a*S2b*S3y*S3z*3^(1/2)*S4x*S4z^2+2*S2a*S2b*S3z*S3x*3^(1/2)*S4y*S4z^2-2*S2a*S2b*S3z*S3x*3^(1/2)*S4x^2*S4y-4*S2a*S2b*S3x*S3y*3^(1/2)*S4z*S4x^2+4*S2a*S2b*S3x*S3y*3^(1/2)*S4z*S4y^2)/12 ] [ A1: (2^(1/2)*(-S2a^2*S3y*S3z*S4x^3*3^(1/2)-S2a^2*S3z*S3x*S4y^3*3^(1/2)+2*S2a^2*S3x*S3y*S4z^3*3^(1/2)+S2b^2*S3y*S3z*S4x^3*3^(1/2)+S2b^2*S3z*S3x*S4y^3*3^(1/2)-2*S2b^2*S3x*S3y*S4z^3*3^(1/2)-6*S2a*S2b*S3y*S3z*S4x^3+6*S2a*S2b*S3z*S3x*S4y^3))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^3*S4y*S4z*3^(1/2)+S2a^2*S3y^3*S4z*S4x*3^(1/2)-2*S2a^2*S3z^3*S4x*S4y*3^(1/2)-S2b^2*S3x^3*S4y*S4z*3^(1/2)-S2b^2*S3y^3*S4z*S4x*3^(1/2)+2*S2b^2*S3z^3*S4x*S4y*3^(1/2)+6*S2a*S2b*S3x^3*S4y*S4z-6*S2a*S2b*S3y^3*S4z*S4x))/12 ] [ A1: (2^(1/2)*(2*S3x^4*S4x^4-S3x^4*S4y^4-S3x^4*S4z^4-S3y^4*S4x^4+2*S3y^4*S4y^4-S3y^4*S4z^4-S3z^4*S4x^4-S3z^4*S4y^4+2*S3z^4*S4z^4))/6 ] [ A1: (3^(1/2)*(S3x*S3y^2*S4x^3*S4y^2-S3x*S3y^2*S4x^3*S4z^2-S3x*S3z^2*S4x^3*S4y^2+S3x*S3z^2*S4x^3*S4z^2+S3y*S3z^2*S4y^3*S4z^2-S3y*S3z^2*S4y^3*S4x^2-S3x^2*S3y*S4y^3*S4z^2+S3x^2*S3y*S4y^3*S4x^2+S3z*S3x^2*S4z^3*S4x^2-S3z*S3x^2*S4z^3*S4y^2-S3z*S3y^2*S4z^3*S4x^2+S3z*S3y^2*S4z^3*S4y^2))/6 ] [ A1: (3^(1/2)*(S3y^3*S3z*S4y^3*S4z-S3y^3*S3z*S4y*S4z^3-S3y*S3z^3*S4y^3*S4z+S3y*S3z^3*S4y*S4z^3+S3z^3*S3x*S4z^3*S4x-S3z^3*S3x*S4z*S4x^3-S3z*S3x^3*S4z^3*S4x+S3z*S3x^3*S4z*S4x^3+S3x^3*S3y*S4x^3*S4y-S3x^3*S3y*S4x*S4y^3-S3x*S3y^3*S4x^3*S4y+S3x*S3y^3*S4x*S4y^3))/6 ] [ A1: (3^(1/2)*(S3x^3*S3y^2*S4x*S4y^2-S3x^3*S3y^2*S4x*S4z^2-S3x^3*S3z^2*S4x*S4y^2+S3x^3*S3z^2*S4x*S4z^2+S3y^3*S3z^2*S4y*S4z^2-S3y^3*S3z^2*S4x^2*S4y-S3y^3*S3x^2*S4y*S4z^2+S3y^3*S3x^2*S4x^2*S4y+S3z^3*S3x^2*S4z*S4x^2-S3z^3*S3x^2*S4z*S4y^2-S3z^3*S3y^2*S4z*S4x^2+S3z^3*S3y^2*S4z*S4y^2))/6 ] [ A1: (S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(-S4y*S4z*S3x*S3y^2+S4y*S4z*S3x*S3z^2-S4z*S4x*S3y*S3z^2+S4z*S4x*S3x^2*S3y-S4x*S4y*S3z*S3x^2+S4x*S4y*S3z*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4x*S3y^3*S3z-S4x*S3y*S3z^3+S4y*S3z^3*S3x-S4y*S3z*S3x^3+S4z*S3x^3*S3y-S4z*S3x*S3y^3))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x*S4y^3*S4z-S3x*S4y*S4z^3+S3y*S4z^3*S4x-S3y*S4z*S4x^3+S3z*S4x^3*S4y-S3z*S4x*S4y^3))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3y*S3z*S4x*S4y^2-S3y*S3z*S4x*S4z^2+S3z*S3x*S4y*S4z^2-S3z*S3x*S4x^2*S4y+S3x*S3y*S4z*S4x^2-S3x*S3y*S4z*S4y^2))/12 ] [ A1: (S2a*3^(1/2)*S3x*S3y^2*S4y^3*S4z-S2a*3^(1/2)*S3x*S3y^2*S4y*S4z^3-S2a*3^(1/2)*S3x*S3z^2*S4y^3*S4z+S2a*3^(1/2)*S3x*S3z^2*S4y*S4z^3+S2a*3^(1/2)*S3y*S3z^2*S4z^3*S4x-S2a*3^(1/2)*S3y*S3z^2*S4z*S4x^3-S2a*3^(1/2)*S3x^2*S3y*S4z^3*S4x+S2a*3^(1/2)*S3x^2*S3y*S4z*S4x^3-2*S2a*3^(1/2)*S3z*S3x^2*S4x^3*S4y+2*S2a*3^(1/2)*S3z*S3x^2*S4x*S4y^3+2*S2a*3^(1/2)*S3z*S3y^2*S4x^3*S4y-2*S2a*3^(1/2)*S3z*S3y^2*S4x*S4y^3-3*S2b*S3x*S3y^2*S4y^3*S4z+3*S2b*S3x*S3y^2*S4y*S4z^3+3*S2b*S3x*S3z^2*S4y^3*S4z-3*S2b*S3x*S3z^2*S4y*S4z^3+3*S2b*S3y*S3z^2*S4z^3*S4x-3*S2b*S3y*S3z^2*S4z*S4x^3-3*S2b*S3x^2*S3y*S4z^3*S4x+3*S2b*S3x^2*S3y*S4z*S4x^3)/12 ] [ A1: (S2a*3^(1/2)*S3y^3*S3z*S4x*S4y^2-S2a*3^(1/2)*S3y^3*S3z*S4x*S4z^2-S2a*3^(1/2)*S3y*S3z^3*S4x*S4y^2+S2a*3^(1/2)*S3y*S3z^3*S4x*S4z^2+S2a*3^(1/2)*S3z^3*S3x*S4y*S4z^2-S2a*3^(1/2)*S3z^3*S3x*S4x^2*S4y-S2a*3^(1/2)*S3z*S3x^3*S4y*S4z^2+S2a*3^(1/2)*S3z*S3x^3*S4x^2*S4y-2*S2a*3^(1/2)*S3x^3*S3y*S4z*S4x^2+2*S2a*3^(1/2)*S3x^3*S3y*S4z*S4y^2+2*S2a*3^(1/2)*S3x*S3y^3*S4z*S4x^2-2*S2a*3^(1/2)*S3x*S3y^3*S4z*S4y^2-3*S2b*S3y^3*S3z*S4x*S4y^2+3*S2b*S3y^3*S3z*S4x*S4z^2+3*S2b*S3y*S3z^3*S4x*S4y^2-3*S2b*S3y*S3z^3*S4x*S4z^2+3*S2b*S3z^3*S3x*S4y*S4z^2-3*S2b*S3z^3*S3x*S4x^2*S4y-3*S2b*S3z*S3x^3*S4y*S4z^2+3*S2b*S3z*S3x^3*S4x^2*S4y)/12 ] [ A1: (2^(1/2)*(-3*S2a*S4x^3*S3y^3*S3z+3*S2a*S4x^3*S3y*S3z^3+3*S2a*S4y^3*S3z^3*S3x-3*S2a*S4y^3*S3z*S3x^3-S2b*S4x^3*3^(1/2)*S3y^3*S3z+S2b*S4x^3*3^(1/2)*S3y*S3z^3-S2b*S4y^3*3^(1/2)*S3z^3*S3x+S2b*S4y^3*3^(1/2)*S3z*S3x^3+2*S2b*S4z^3*3^(1/2)*S3x^3*S3y-2*S2b*S4z^3*3^(1/2)*S3x*S3y^3))/12 ] [ A1: (-2^(1/2)*(3*S2a*S4y*S4z*S3x^3*S3y^2-3*S2a*S4y*S4z*S3x^3*S3z^2-3*S2a*S4z*S4x*S3y^3*S3z^2+3*S2a*S4z*S4x*S3y^3*S3x^2+S2b*S4y*S4z*3^(1/2)*S3x^3*S3y^2-S2b*S4y*S4z*3^(1/2)*S3x^3*S3z^2+S2b*S4z*S4x*3^(1/2)*S3y^3*S3z^2-S2b*S4z*S4x*3^(1/2)*S3y^3*S3x^2-2*S2b*S4x*S4y*3^(1/2)*S3z^3*S3x^2+2*S2b*S4x*S4y*3^(1/2)*S3z^3*S3y^2))/12 ] [ A1: (-2^(1/2)*(-3*S2a*S3y*S3z*S4x^3*S4y^2+3*S2a*S3y*S3z*S4x^3*S4z^2+3*S2a*S3z*S3x*S4y^3*S4z^2-3*S2a*S3z*S3x*S4y^3*S4x^2-S2b*S3y*S3z*3^(1/2)*S4x^3*S4y^2+S2b*S3y*S3z*3^(1/2)*S4x^3*S4z^2-S2b*S3z*S3x*3^(1/2)*S4y^3*S4z^2+S2b*S3z*S3x*3^(1/2)*S4y^3*S4x^2+2*S2b*S3x*S3y*3^(1/2)*S4z^3*S4x^2-2*S2b*S3x*S3y*3^(1/2)*S4z^3*S4y^2))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x^3*S4y^3*S4z-3*S2a*S3x^3*S4y*S4z^3-3*S2a*S3y^3*S4z^3*S4x+3*S2a*S3y^3*S4z*S4x^3+S2b*S3x^3*3^(1/2)*S4y^3*S4z-S2b*S3x^3*3^(1/2)*S4y*S4z^3+S2b*S3y^3*3^(1/2)*S4z^3*S4x-S2b*S3y^3*3^(1/2)*S4z*S4x^3-2*S2b*S3z^3*3^(1/2)*S4x^3*S4y+2*S2b*S3z^3*3^(1/2)*S4x*S4y^3))/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^2*S4z^4-S2b^2*S3y^2*S4z^4-S2b^2*S3z^2*S4x^4-S2b^2*S3z^2*S4y^4+2*S2b^2*S3z^2*S4z^4-2*S2a^2*S3x^2*S4y^4+2*S2b^2*S3x^2*S4y^4-S2b^2*S3x^2*S4z^4+S2a^2*S3y^2*S4z^4+S2a^2*S3z^2*S4x^4+S2a^2*S3x^2*S4x^4-2*S2a^2*S3y^2*S4x^4+S2a^2*S3y^2*S4y^4-S2b^2*S3x^2*S4x^4+2*S2b^2*S3y^2*S4x^4-S2b^2*S3y^2*S4y^4-2*S2a^2*S3z^2*S4z^4+S2a^2*S3z^2*S4y^4+2*S2a*S2b*S3x^2*3^(1/2)*S4x^4-2*S2a*S2b*S3y^2*3^(1/2)*S4y^4-2*S2a*S2b*S3z^2*3^(1/2)*S4x^4+2*S2a*S2b*S3z^2*3^(1/2)*S4y^4-2*S2a*S2b*S3x^2*S4z^4*3^(1/2)+2*S2a*S2b*S3y^2*S4z^4*3^(1/2)))/12 ] [ A1: (-2^(1/2)*(-S2b^2*S3z^4*S4x^2-S2b^2*S3z^4*S4y^2+2*S2b^2*S3z^4*S4z^2+2*S2a*S2b*S3x^4*3^(1/2)*S4x^2-2*S2a*S2b*S3y^4*3^(1/2)*S4y^2-2*S2a*S2b*S3z^4*3^(1/2)*S4x^2+2*S2a*S2b*S3z^4*3^(1/2)*S4y^2-2*S2a*S2b*S3x^4*S4z^2*3^(1/2)+2*S2a*S2b*S3y^4*S4z^2*3^(1/2)+S2a^2*S3x^4*S4x^2-2*S2a^2*S3x^4*S4y^2+S2a^2*S3x^4*S4z^2-2*S2a^2*S3y^4*S4x^2+S2a^2*S3y^4*S4y^2+S2a^2*S3y^4*S4z^2+S2a^2*S3z^4*S4x^2+S2a^2*S3z^4*S4y^2-2*S2a^2*S3z^4*S4z^2-S2b^2*S3x^4*S4x^2+2*S2b^2*S3x^4*S4y^2-S2b^2*S3x^4*S4z^2+2*S2b^2*S3y^4*S4x^2-S2b^2*S3y^4*S4y^2-S2b^2*S3y^4*S4z^2))/12 ] [ A1: (-2^(1/2)*(-2*S2a^2*3^(1/2)*S3z*S3y^2*S4z*S4y^2-S2b^2*3^(1/2)*S3x*S3y^2*S4x*S4y^2+S2b^2*3^(1/2)*S3x*S3y^2*S4x*S4z^2+S2b^2*3^(1/2)*S3x*S3z^2*S4x*S4y^2-S2b^2*3^(1/2)*S3x*S3z^2*S4x*S4z^2-S2a^2*3^(1/2)*S3y*S3z^2*S4x^2*S4y-S2a^2*3^(1/2)*S3x^2*S3y*S4y*S4z^2+S2b^2*3^(1/2)*S3x^2*S3y*S4y*S4z^2-S2b^2*3^(1/2)*S3x^2*S3y*S4x^2*S4y+2*S2b^2*3^(1/2)*S3z*S3y^2*S4z*S4y^2+2*S2b^2*3^(1/2)*S3z*S3x^2*S4z*S4x^2-S2b^2*3^(1/2)*S3y*S3z^2*S4y*S4z^2+S2b^2*3^(1/2)*S3y*S3z^2*S4x^2*S4y-2*S2b^2*3^(1/2)*S3z*S3x^2*S4z*S4y^2-2*S2b^2*3^(1/2)*S3z*S3y^2*S4z*S4x^2+S2a^2*3^(1/2)*S3y*S3z^2*S4y*S4z^2+S2a^2*3^(1/2)*S3x*S3y^2*S4x*S4y^2+2*S2a^2*3^(1/2)*S3z*S3y^2*S4z*S4x^2-6*S2a*S2b*S3y*S3z^2*S4y*S4z^2+6*S2a*S2b*S3y*S3z^2*S4x^2*S4y+6*S2a*S2b*S3x^2*S3y*S4y*S4z^2-6*S2a*S2b*S3x^2*S3y*S4x^2*S4y-6*S2a*S2b*S3x*S3z^2*S4x*S4y^2+6*S2a*S2b*S3x*S3z^2*S4x*S4z^2+6*S2a*S2b*S3x*S3y^2*S4x*S4y^2-6*S2a*S2b*S3x*S3y^2*S4x*S4z^2-S2a^2*3^(1/2)*S3x*S3y^2*S4x*S4z^2-S2a^2*3^(1/2)*S3x*S3z^2*S4x*S4y^2+S2a^2*3^(1/2)*S3x*S3z^2*S4x*S4z^2-2*S2a^2*3^(1/2)*S3z*S3x^2*S4z*S4x^2+2*S2a^2*3^(1/2)*S3z*S3x^2*S4z*S4y^2+S2a^2*3^(1/2)*S3x^2*S3y*S4x^2*S4y))/24 ] [ A1: (3*S2a^2*S4x^3*S3x*S3y^2-3*S2a^2*S4x^3*S3x*S3z^2-3*S2a^2*S4y^3*S3y*S3z^2+3*S2a^2*S4y^3*S3x^2*S3y-3*S2b^2*S4x^3*S3x*S3y^2+3*S2b^2*S4x^3*S3x*S3z^2+3*S2b^2*S4y^3*S3y*S3z^2-3*S2b^2*S4y^3*S3x^2*S3y-2*S2a*S2b*S4x^3*3^(1/2)*S3x*S3y^2+2*S2a*S2b*S4x^3*3^(1/2)*S3x*S3z^2-2*S2a*S2b*S4y^3*3^(1/2)*S3y*S3z^2+2*S2a*S2b*S4y^3*3^(1/2)*S3x^2*S3y+4*S2a*S2b*S4z^3*3^(1/2)*S3z*S3x^2-4*S2a*S2b*S4z^3*3^(1/2)*S3z*S3y^2)/12 ] [ A1: (3*S2a^2*S4y*S4z*S3y^3*S3z-3*S2a^2*S4y*S4z*S3y*S3z^3-3*S2a^2*S4z*S4x*S3z^3*S3x+3*S2a^2*S4z*S4x*S3z*S3x^3-3*S2b^2*S4y*S4z*S3y^3*S3z+3*S2b^2*S4y*S4z*S3y*S3z^3+3*S2b^2*S4z*S4x*S3z^3*S3x-3*S2b^2*S4z*S4x*S3z*S3x^3-2*S2a*S2b*S4y*S4z*3^(1/2)*S3y^3*S3z+2*S2a*S2b*S4y*S4z*3^(1/2)*S3y*S3z^3-2*S2a*S2b*S4z*S4x*3^(1/2)*S3z^3*S3x+2*S2a*S2b*S4z*S4x*3^(1/2)*S3z*S3x^3+4*S2a*S2b*S4x*S4y*3^(1/2)*S3x^3*S3y-4*S2a*S2b*S4x*S4y*3^(1/2)*S3x*S3y^3)/12 ] [ A1: (3*S2a^2*S4x*S3x^3*S3y^2-3*S2a^2*S4x*S3x^3*S3z^2-3*S2a^2*S4y*S3y^3*S3z^2+3*S2a^2*S4y*S3y^3*S3x^2-3*S2b^2*S4x*S3x^3*S3y^2+3*S2b^2*S4x*S3x^3*S3z^2+3*S2b^2*S4y*S3y^3*S3z^2-3*S2b^2*S4y*S3y^3*S3x^2-2*S2a*S2b*S4x*3^(1/2)*S3x^3*S3y^2+2*S2a*S2b*S4x*3^(1/2)*S3x^3*S3z^2-2*S2a*S2b*S4y*3^(1/2)*S3y^3*S3z^2+2*S2a*S2b*S4y*3^(1/2)*S3y^3*S3x^2+4*S2a*S2b*S4z*3^(1/2)*S3z^3*S3x^2-4*S2a*S2b*S4z*3^(1/2)*S3z^3*S3y^2)/12 ] [ A1: (-3*S2a^2*S3x*S4x^3*S4y^2+3*S2a^2*S3x*S4x^3*S4z^2+3*S2a^2*S3y*S4y^3*S4z^2-3*S2a^2*S3y*S4y^3*S4x^2+3*S2b^2*S3x*S4x^3*S4y^2-3*S2b^2*S3x*S4x^3*S4z^2-3*S2b^2*S3y*S4y^3*S4z^2+3*S2b^2*S3y*S4y^3*S4x^2+2*S2a*S2b*S3x*3^(1/2)*S4x^3*S4y^2-2*S2a*S2b*S3x*3^(1/2)*S4x^3*S4z^2+2*S2a*S2b*S3y*3^(1/2)*S4y^3*S4z^2-2*S2a*S2b*S3y*3^(1/2)*S4y^3*S4x^2-4*S2a*S2b*S3z*3^(1/2)*S4z^3*S4x^2+4*S2a*S2b*S3z*3^(1/2)*S4z^3*S4y^2)/12 ] [ A1: (-3*S2a^2*S3y*S3z*S4y^3*S4z+3*S2a^2*S3y*S3z*S4y*S4z^3+3*S2a^2*S3z*S3x*S4z^3*S4x-3*S2a^2*S3z*S3x*S4z*S4x^3+3*S2b^2*S3y*S3z*S4y^3*S4z-3*S2b^2*S3y*S3z*S4y*S4z^3-3*S2b^2*S3z*S3x*S4z^3*S4x+3*S2b^2*S3z*S3x*S4z*S4x^3+2*S2a*S2b*S3y*S3z*3^(1/2)*S4y^3*S4z-2*S2a*S2b*S3y*S3z*3^(1/2)*S4y*S4z^3+2*S2a*S2b*S3z*S3x*3^(1/2)*S4z^3*S4x-2*S2a*S2b*S3z*S3x*3^(1/2)*S4z*S4x^3-4*S2a*S2b*S3x*S3y*3^(1/2)*S4x^3*S4y+4*S2a*S2b*S3x*S3y*3^(1/2)*S4x*S4y^3)/12 ] [ A1: (-3*S2a^2*S3x^3*S4x*S4y^2+3*S2a^2*S3x^3*S4x*S4z^2+3*S2a^2*S3y^3*S4y*S4z^2-3*S2a^2*S3y^3*S4x^2*S4y+3*S2b^2*S3x^3*S4x*S4y^2-3*S2b^2*S3x^3*S4x*S4z^2-3*S2b^2*S3y^3*S4y*S4z^2+3*S2b^2*S3y^3*S4x^2*S4y+2*S2a*S2b*S3x^3*3^(1/2)*S4x*S4y^2-2*S2a*S2b*S3x^3*3^(1/2)*S4x*S4z^2+2*S2a*S2b*S3y^3*3^(1/2)*S4y*S4z^2-2*S2a*S2b*S3y^3*3^(1/2)*S4x^2*S4y-4*S2a*S2b*S3z^3*3^(1/2)*S4z*S4x^2+4*S2a*S2b*S3z^3*3^(1/2)*S4z*S4y^2)/12 ] [ A1: (-2^(1/2)*(S2a^2*S3x^3*S4x^3*3^(1/2)+S2a^2*S3y^3*S4y^3*3^(1/2)-2*S2a^2*S3z^3*S4z^3*3^(1/2)-S2b^2*S3x^3*S4x^3*3^(1/2)-S2b^2*S3y^3*S4y^3*3^(1/2)+2*S2b^2*S3z^3*S4z^3*3^(1/2)+6*S2a*S2b*S3x^3*S4x^3-6*S2a*S2b*S3y^3*S4y^3))/12 ] [ A1: (3^(1/2)*(S3y^3*S3z*S4x^3*S4y^2-S3y^3*S3z*S4x^3*S4z^2-S3y*S3z^3*S4x^3*S4y^2+S3y*S3z^3*S4x^3*S4z^2+S3z^3*S3x*S4y^3*S4z^2-S3z^3*S3x*S4y^3*S4x^2-S3z*S3x^3*S4y^3*S4z^2+S3z*S3x^3*S4y^3*S4x^2+S3x^3*S3y*S4z^3*S4x^2-S3x^3*S3y*S4z^3*S4y^2-S3x*S3y^3*S4z^3*S4x^2+S3x*S3y^3*S4z^3*S4y^2))/6 ] [ A1: (3^(1/2)*(S3x^3*S3y^2*S4y^3*S4z-S3x^3*S3y^2*S4y*S4z^3-S3x^3*S3z^2*S4y^3*S4z+S3x^3*S3z^2*S4y*S4z^3+S3y^3*S3z^2*S4z^3*S4x-S3y^3*S3z^2*S4z*S4x^3-S3y^3*S3x^2*S4z^3*S4x+S3y^3*S3x^2*S4z*S4x^3+S3z^3*S3x^2*S4x^3*S4y-S3z^3*S3x^2*S4x*S4y^3-S3z^3*S3y^2*S4x^3*S4y+S3z^3*S3y^2*S4x*S4y^3))/6 ] [ A1: (S2b*(3*S2a^2-S2b^2)*6^(1/2)*(S4x^4*S4y^2+S4x^2*S4z^4-S4x^4*S4z^2+S4y^4*S4z^2-S4y^4*S4x^2-S4y^2*S4z^4))/12 ] [ A1: (S2b*(3*S2a^2-S2b^2)*6^(1/2)*(S3x^4*S3y^2+S3x^2*S3z^4-S3x^4*S3z^2+S3y^4*S3z^2-S3y^4*S3x^2-S3y^2*S3z^4))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*2^(1/2)*3^(1/2)*(S3x^2*S4y^4-S3y^2*S4x^4+S3z^2*S4x^4-S3z^2*S4y^4-S3x^2*S4z^4+S3y^2*S4z^4))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*2^(1/2)*3^(1/2)*(S3x^4*S4y^2-S3y^4*S4x^2+S3z^4*S4x^2-S3z^4*S4y^2-S3x^4*S4z^2+S3y^4*S4z^2))/12 ] [ A1: (S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(-S4x^3*S3x*S3y^2+S4x^3*S3x*S3z^2-S4y^3*S3y*S3z^2+S4y^3*S3x^2*S3y-S4z^3*S3z*S3x^2+S4z^3*S3z*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4y*S4z*S3y^3*S3z-S4y*S4z*S3y*S3z^3+S4z*S4x*S3z^3*S3x-S4z*S4x*S3z*S3x^3+S4x*S4y*S3x^3*S3y-S4x*S4y*S3x*S3y^3))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4x*S3x^3*S3y^2-S4x*S3x^3*S3z^2+S4y*S3y^3*S3z^2-S4y*S3y^3*S3x^2+S4z*S3z^3*S3x^2-S4z*S3z^3*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x*S4x^3*S4y^2-S3x*S4x^3*S4z^2+S3y*S4y^3*S4z^2-S3y*S4y^3*S4x^2+S3z*S4z^3*S4x^2-S3z*S4z^3*S4y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3y*S3z*S4y^3*S4z-S3y*S3z*S4y*S4z^3+S3z*S3x*S4z^3*S4x-S3z*S3x*S4z*S4x^3+S3x*S3y*S4x^3*S4y-S3x*S3y*S4x*S4y^3))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x^3*S4x*S4y^2-S3x^3*S4x*S4z^2+S3y^3*S4y*S4z^2-S3y^3*S4x^2*S4y+S3z^3*S4z*S4x^2-S3z^3*S4z*S4y^2))/12 ] [ A1: (-2^(1/2)*(S2a*S3x^4*S3y^2*3^(1/2)*S4x^2+2*S2b*S3x^4*S3z^2*S4z^2+S2b*S3y^4*S3z^2*S4x^2+S2b*S3y^4*S3z^2*S4y^2-2*S2b*S3y^4*S3z^2*S4z^2-S2b*S3y^4*S3x^2*S4x^2-S2b*S3y^4*S3x^2*S4y^2+2*S2b*S3y^4*S3x^2*S4z^2-S2b*S3y^2*S3z^4*S4x^2-S2b*S3y^2*S3z^4*S4y^2+2*S2b*S3y^2*S3z^4*S4z^2-S2a*S3x^4*S3y^2*3^(1/2)*S4y^2+S2a*S3x^2*S3z^4*3^(1/2)*S4x^2-S2a*S3x^2*S3z^4*3^(1/2)*S4y^2-S2a*S3x^4*S3z^2*3^(1/2)*S4x^2+S2a*S3x^4*S3z^2*3^(1/2)*S4y^2+S2a*S3y^4*S3z^2*3^(1/2)*S4x^2-S2a*S3y^4*S3z^2*3^(1/2)*S4y^2-S2a*S3y^4*S3x^2*3^(1/2)*S4x^2+S2a*S3y^4*S3x^2*3^(1/2)*S4y^2-S2a*S3y^2*S3z^4*3^(1/2)*S4x^2+S2a*S3y^2*S3z^4*3^(1/2)*S4y^2+S2b*S3x^4*S3y^2*S4x^2+S2b*S3x^4*S3y^2*S4y^2-2*S2b*S3x^4*S3y^2*S4z^2+S2b*S3x^2*S3z^4*S4x^2+S2b*S3x^2*S3z^4*S4y^2-2*S2b*S3x^2*S3z^4*S4z^2-S2b*S3x^4*S3z^2*S4x^2-S2b*S3x^4*S3z^2*S4y^2))/12 ] [ A1: (2^(1/2)*(S2a*S3x^2*S4x^4*S4y^2*3^(1/2)+S2a*S3x^2*S4x^2*S4z^4*3^(1/2)-S2a*S3x^2*S4x^4*S4z^2*3^(1/2)+S2a*S3x^2*S4y^4*S4z^2*3^(1/2)-S2a*S3x^2*S4y^4*S4x^2*3^(1/2)-S2a*S3x^2*S4y^2*S4z^4*3^(1/2)-S2a*S3y^2*S4x^4*S4y^2*3^(1/2)-S2a*S3y^2*S4x^2*S4z^4*3^(1/2)+S2a*S3y^2*S4x^4*S4z^2*3^(1/2)-S2a*S3y^2*S4y^4*S4z^2*3^(1/2)+S2a*S3y^2*S4y^4*S4x^2*3^(1/2)+S2a*S3y^2*S4y^2*S4z^4*3^(1/2)-S2b*S3x^2*S4y^2*S4z^4-S2b*S3y^2*S4x^4*S4z^2+S2b*S3y^2*S4y^4*S4z^2-S2b*S3y^2*S4y^4*S4x^2-S2b*S3y^2*S4y^2*S4z^4-2*S2b*S3z^2*S4x^4*S4y^2-2*S2b*S3z^2*S4x^2*S4z^4+2*S2b*S3z^2*S4x^4*S4z^2-2*S2b*S3z^2*S4y^4*S4z^2+2*S2b*S3z^2*S4y^2*S4z^4+2*S2b*S3z^2*S4y^4*S4x^2+S2b*S3x^2*S4x^4*S4y^2+S2b*S3x^2*S4x^2*S4z^4+S2b*S3y^2*S4x^2*S4z^4-S2b*S3x^2*S4y^4*S4x^2+S2b*S3y^2*S4x^4*S4y^2-S2b*S3x^2*S4x^4*S4z^2+S2b*S3x^2*S4y^4*S4z^2))/12 ] [ A1: (S2a*S3x^4*S4x^4-2*S2a*S3x^4*S4y^4+S2a*S3x^4*S4z^4-2*S2a*S3y^4*S4x^4+S2a*S3y^4*S4y^4+S2a*S3y^4*S4z^4+S2a*S3z^4*S4x^4+S2a*S3z^4*S4y^4-2*S2a*S3z^4*S4z^4-S2b*S3x^4*3^(1/2)*S4x^4+S2b*S3y^4*3^(1/2)*S4y^4+S2b*S3z^4*3^(1/2)*S4x^4-S2b*S3z^4*3^(1/2)*S4y^4+S2b*S3x^4*S4z^4*3^(1/2)-S2b*S3y^4*S4z^4*3^(1/2))/6 ] [ A1: (S2a*3^(1/2)*S3x*S3y^2*S4x^3*S4y^2-S2a*3^(1/2)*S3x*S3y^2*S4x^3*S4z^2-S2a*3^(1/2)*S3x*S3z^2*S4x^3*S4y^2+S2a*3^(1/2)*S3x*S3z^2*S4x^3*S4z^2+S2a*3^(1/2)*S3y*S3z^2*S4y^3*S4z^2-S2a*3^(1/2)*S3y*S3z^2*S4y^3*S4x^2-S2a*3^(1/2)*S3x^2*S3y*S4y^3*S4z^2+S2a*3^(1/2)*S3x^2*S3y*S4y^3*S4x^2-2*S2a*3^(1/2)*S3z*S3x^2*S4z^3*S4x^2+2*S2a*3^(1/2)*S3z*S3x^2*S4z^3*S4y^2+2*S2a*3^(1/2)*S3z*S3y^2*S4z^3*S4x^2-2*S2a*3^(1/2)*S3z*S3y^2*S4z^3*S4y^2-3*S2b*S3x*S3y^2*S4x^3*S4y^2+3*S2b*S3x*S3y^2*S4x^3*S4z^2+3*S2b*S3x*S3z^2*S4x^3*S4y^2-3*S2b*S3x*S3z^2*S4x^3*S4z^2+3*S2b*S3y*S3z^2*S4y^3*S4z^2-3*S2b*S3y*S3z^2*S4y^3*S4x^2-3*S2b*S3x^2*S3y*S4y^3*S4z^2+3*S2b*S3x^2*S3y*S4y^3*S4x^2)/12 ] [ A1: (S2a*3^(1/2)*S3y^3*S3z*S4y^3*S4z-S2a*3^(1/2)*S3y^3*S3z*S4y*S4z^3-S2a*3^(1/2)*S3y*S3z^3*S4y^3*S4z+S2a*3^(1/2)*S3y*S3z^3*S4y*S4z^3+S2a*3^(1/2)*S3z^3*S3x*S4z^3*S4x-S2a*3^(1/2)*S3z^3*S3x*S4z*S4x^3-S2a*3^(1/2)*S3z*S3x^3*S4z^3*S4x+S2a*3^(1/2)*S3z*S3x^3*S4z*S4x^3-2*S2a*3^(1/2)*S3x^3*S3y*S4x^3*S4y+2*S2a*3^(1/2)*S3x^3*S3y*S4x*S4y^3+2*S2a*3^(1/2)*S3x*S3y^3*S4x^3*S4y-2*S2a*3^(1/2)*S3x*S3y^3*S4x*S4y^3-3*S2b*S3y^3*S3z*S4y^3*S4z+3*S2b*S3y^3*S3z*S4y*S4z^3+3*S2b*S3y*S3z^3*S4y^3*S4z-3*S2b*S3y*S3z^3*S4y*S4z^3+3*S2b*S3z^3*S3x*S4z^3*S4x-3*S2b*S3z^3*S3x*S4z*S4x^3-3*S2b*S3z*S3x^3*S4z^3*S4x+3*S2b*S3z*S3x^3*S4z*S4x^3)/12 ] [ A1: (S2a*3^(1/2)*S3x^3*S3y^2*S4x*S4y^2-S2a*3^(1/2)*S3x^3*S3y^2*S4x*S4z^2-S2a*3^(1/2)*S3x^3*S3z^2*S4x*S4y^2+S2a*3^(1/2)*S3x^3*S3z^2*S4x*S4z^2+S2a*3^(1/2)*S3y^3*S3z^2*S4y*S4z^2-S2a*3^(1/2)*S3y^3*S3z^2*S4x^2*S4y-S2a*3^(1/2)*S3y^3*S3x^2*S4y*S4z^2+S2a*3^(1/2)*S3y^3*S3x^2*S4x^2*S4y-2*S2a*3^(1/2)*S3z^3*S3x^2*S4z*S4x^2+2*S2a*3^(1/2)*S3z^3*S3x^2*S4z*S4y^2+2*S2a*3^(1/2)*S3z^3*S3y^2*S4z*S4x^2-2*S2a*3^(1/2)*S3z^3*S3y^2*S4z*S4y^2-3*S2b*S3x^3*S3y^2*S4x*S4y^2+3*S2b*S3x^3*S3y^2*S4x*S4z^2+3*S2b*S3x^3*S3z^2*S4x*S4y^2-3*S2b*S3x^3*S3z^2*S4x*S4z^2+3*S2b*S3y^3*S3z^2*S4y*S4z^2-3*S2b*S3y^3*S3z^2*S4x^2*S4y-3*S2b*S3y^3*S3x^2*S4y*S4z^2+3*S2b*S3y^3*S3x^2*S4x^2*S4y)/12 ] [ A1: (-2^(1/2)*(3*S2a*S4x^3*S3x^3*S3y^2-3*S2a*S4x^3*S3x^3*S3z^2-3*S2a*S4y^3*S3y^3*S3z^2+3*S2a*S4y^3*S3y^3*S3x^2+S2b*S4x^3*3^(1/2)*S3x^3*S3y^2-S2b*S4x^3*3^(1/2)*S3x^3*S3z^2+S2b*S4y^3*3^(1/2)*S3y^3*S3z^2-S2b*S4y^3*3^(1/2)*S3y^3*S3x^2-2*S2b*S4z^3*3^(1/2)*S3z^3*S3x^2+2*S2b*S4z^3*3^(1/2)*S3z^3*S3y^2))/12 ] [ A1: (2^(1/2)*(3*S2a*S3x^3*S4x^3*S4y^2-3*S2a*S3x^3*S4x^3*S4z^2-3*S2a*S3y^3*S4y^3*S4z^2+3*S2a*S3y^3*S4y^3*S4x^2+S2b*S3x^3*3^(1/2)*S4x^3*S4y^2-S2b*S3x^3*3^(1/2)*S4x^3*S4z^2+S2b*S3y^3*3^(1/2)*S4y^3*S4z^2-S2b*S3y^3*3^(1/2)*S4y^3*S4x^2-2*S2b*S3z^3*3^(1/2)*S4z^3*S4x^2+2*S2b*S3z^3*3^(1/2)*S4z^3*S4y^2))/12 ] [ A1: (-2^(1/2)*(S2b^2*3^(1/2)*S3x^2*S3y*S4z^3*S4x+S2b^2*3^(1/2)*S3y*S3z^2*S4z*S4x^3-2*S2b^2*3^(1/2)*S3z*S3x^2*S4x*S4y^3+2*S2b^2*3^(1/2)*S3z*S3x^2*S4x^3*S4y-S2b^2*3^(1/2)*S3x*S3y^2*S4y^3*S4z+S2b^2*3^(1/2)*S3x*S3y^2*S4y*S4z^3+S2a^2*3^(1/2)*S3x^2*S3y*S4z*S4x^3-2*S2a^2*3^(1/2)*S3z*S3x^2*S4x^3*S4y+2*S2a^2*3^(1/2)*S3z*S3x^2*S4x*S4y^3+2*S2a^2*3^(1/2)*S3z*S3y^2*S4x^3*S4y-2*S2a^2*3^(1/2)*S3z*S3y^2*S4x*S4y^3+S2b^2*3^(1/2)*S3x*S3z^2*S4y^3*S4z-S2b^2*3^(1/2)*S3y*S3z^2*S4z^3*S4x-S2a^2*3^(1/2)*S3x*S3y^2*S4y*S4z^3+S2a^2*3^(1/2)*S3x*S3y^2*S4y^3*S4z-S2a^2*3^(1/2)*S3x*S3z^2*S4y^3*S4z+S2a^2*3^(1/2)*S3x*S3z^2*S4y*S4z^3+S2a^2*3^(1/2)*S3y*S3z^2*S4z^3*S4x-S2a^2*3^(1/2)*S3y*S3z^2*S4z*S4x^3-S2a^2*3^(1/2)*S3x^2*S3y*S4z^3*S4x-S2b^2*3^(1/2)*S3x*S3z^2*S4y*S4z^3-2*S2b^2*3^(1/2)*S3z*S3y^2*S4x^3*S4y+2*S2b^2*3^(1/2)*S3z*S3y^2*S4x*S4y^3-S2b^2*3^(1/2)*S3x^2*S3y*S4z*S4x^3+6*S2a*S2b*S3x*S3y^2*S4y^3*S4z-6*S2a*S2b*S3x*S3y^2*S4y*S4z^3-6*S2a*S2b*S3y*S3z^2*S4z^3*S4x+6*S2a*S2b*S3y*S3z^2*S4z*S4x^3+6*S2a*S2b*S3x*S3z^2*S4y*S4z^3+6*S2a*S2b*S3x^2*S3y*S4z^3*S4x-6*S2a*S2b*S3x^2*S3y*S4z*S4x^3-6*S2a*S2b*S3x*S3z^2*S4y^3*S4z))/24 ] [ A1: (2^(1/2)*(-6*S2a*S2b*S3y^3*S3z*S4x*S4y^2+6*S2a*S2b*S3y^3*S3z*S4x*S4z^2+6*S2a*S2b*S3y*S3z^3*S4x*S4y^2-6*S2a*S2b*S3y*S3z^3*S4x*S4z^2+6*S2a*S2b*S3z^3*S3x*S4y*S4z^2-6*S2a*S2b*S3z^3*S3x*S4x^2*S4y-6*S2a*S2b*S3z*S3x^3*S4y*S4z^2+6*S2a*S2b*S3z*S3x^3*S4x^2*S4y-S2b^2*3^(1/2)*S3y^3*S3z*S4x*S4z^2-S2b^2*3^(1/2)*S3y*S3z^3*S4x*S4y^2+S2b^2*3^(1/2)*S3y*S3z^3*S4x*S4z^2+S2b^2*3^(1/2)*S3z^3*S3x*S4y*S4z^2-S2b^2*3^(1/2)*S3z^3*S3x*S4x^2*S4y-S2b^2*3^(1/2)*S3z*S3x^3*S4y*S4z^2+S2b^2*3^(1/2)*S3z*S3x^3*S4x^2*S4y+S2b^2*3^(1/2)*S3y^3*S3z*S4x*S4y^2-2*S2b^2*3^(1/2)*S3x^3*S3y*S4z*S4x^2+2*S2b^2*3^(1/2)*S3x^3*S3y*S4z*S4y^2+2*S2b^2*3^(1/2)*S3x*S3y^3*S4z*S4x^2-2*S2b^2*3^(1/2)*S3x*S3y^3*S4z*S4y^2-S2a^2*3^(1/2)*S3y^3*S3z*S4x*S4y^2+S2a^2*3^(1/2)*S3y^3*S3z*S4x*S4z^2+S2a^2*3^(1/2)*S3y*S3z^3*S4x*S4y^2-S2a^2*3^(1/2)*S3y*S3z^3*S4x*S4z^2-S2a^2*3^(1/2)*S3z^3*S3x*S4y*S4z^2+S2a^2*3^(1/2)*S3z^3*S3x*S4x^2*S4y-S2a^2*3^(1/2)*S3z*S3x^3*S4x^2*S4y+2*S2a^2*3^(1/2)*S3x^3*S3y*S4z*S4x^2-2*S2a^2*3^(1/2)*S3x^3*S3y*S4z*S4y^2-2*S2a^2*3^(1/2)*S3x*S3y^3*S4z*S4x^2+2*S2a^2*3^(1/2)*S3x*S3y^3*S4z*S4y^2+S2a^2*3^(1/2)*S3z*S3x^3*S4y*S4z^2))/24 ] [ A1: (3*S2a^2*S4x^3*S3y^3*S3z-3*S2a^2*S4x^3*S3y*S3z^3-3*S2a^2*S4y^3*S3z^3*S3x+3*S2a^2*S4y^3*S3z*S3x^3-3*S2b^2*S4x^3*S3y^3*S3z+3*S2b^2*S4x^3*S3y*S3z^3+3*S2b^2*S4y^3*S3z^3*S3x-3*S2b^2*S4y^3*S3z*S3x^3-2*S2a*S2b*S4x^3*3^(1/2)*S3y^3*S3z+2*S2a*S2b*S4x^3*3^(1/2)*S3y*S3z^3-2*S2a*S2b*S4y^3*3^(1/2)*S3z^3*S3x+2*S2a*S2b*S4y^3*3^(1/2)*S3z*S3x^3+4*S2a*S2b*S4z^3*3^(1/2)*S3x^3*S3y-4*S2a*S2b*S4z^3*3^(1/2)*S3x*S3y^3)/12 ] [ A1: (3*S2a^2*S4y*S4z*S3x^3*S3y^2-3*S2a^2*S4y*S4z*S3x^3*S3z^2-3*S2a^2*S4z*S4x*S3y^3*S3z^2+3*S2a^2*S4z*S4x*S3y^3*S3x^2-3*S2b^2*S4y*S4z*S3x^3*S3y^2+3*S2b^2*S4y*S4z*S3x^3*S3z^2+3*S2b^2*S4z*S4x*S3y^3*S3z^2-3*S2b^2*S4z*S4x*S3y^3*S3x^2-2*S2a*S2b*S4y*S4z*3^(1/2)*S3x^3*S3y^2+2*S2a*S2b*S4y*S4z*3^(1/2)*S3x^3*S3z^2-2*S2a*S2b*S4z*S4x*3^(1/2)*S3y^3*S3z^2+2*S2a*S2b*S4z*S4x*3^(1/2)*S3y^3*S3x^2+4*S2a*S2b*S4x*S4y*3^(1/2)*S3z^3*S3x^2-4*S2a*S2b*S4x*S4y*3^(1/2)*S3z^3*S3y^2)/12 ] [ A1: (-3*S2a^2*S3y*S3z*S4x^3*S4y^2+3*S2a^2*S3y*S3z*S4x^3*S4z^2+3*S2a^2*S3z*S3x*S4y^3*S4z^2-3*S2a^2*S3z*S3x*S4y^3*S4x^2+3*S2b^2*S3y*S3z*S4x^3*S4y^2-3*S2b^2*S3y*S3z*S4x^3*S4z^2-3*S2b^2*S3z*S3x*S4y^3*S4z^2+3*S2b^2*S3z*S3x*S4y^3*S4x^2+2*S2a*S2b*S3y*S3z*3^(1/2)*S4x^3*S4y^2-2*S2a*S2b*S3y*S3z*3^(1/2)*S4x^3*S4z^2+2*S2a*S2b*S3z*S3x*3^(1/2)*S4y^3*S4z^2-2*S2a*S2b*S3z*S3x*3^(1/2)*S4y^3*S4x^2-4*S2a*S2b*S3x*S3y*3^(1/2)*S4z^3*S4x^2+4*S2a*S2b*S3x*S3y*3^(1/2)*S4z^3*S4y^2)/12 ] [ A1: (-3*S2a^2*S3x^3*S4y^3*S4z+3*S2a^2*S3x^3*S4y*S4z^3+3*S2a^2*S3y^3*S4z^3*S4x-3*S2a^2*S3y^3*S4z*S4x^3+3*S2b^2*S3x^3*S4y^3*S4z-3*S2b^2*S3x^3*S4y*S4z^3-3*S2b^2*S3y^3*S4z^3*S4x+3*S2b^2*S3y^3*S4z*S4x^3+2*S2a*S2b*S3x^3*3^(1/2)*S4y^3*S4z-2*S2a*S2b*S3x^3*3^(1/2)*S4y*S4z^3+2*S2a*S2b*S3y^3*3^(1/2)*S4z^3*S4x-2*S2a*S2b*S3y^3*3^(1/2)*S4z*S4x^3-4*S2a*S2b*S3z^3*3^(1/2)*S4x^3*S4y+4*S2a*S2b*S3z^3*3^(1/2)*S4x*S4y^3)/12 ] [ A1: (3^(1/2)*(S3x^3*S3y^2*S4x^3*S4y^2-S3x^3*S3y^2*S4x^3*S4z^2-S3x^3*S3z^2*S4x^3*S4y^2+S3x^3*S3z^2*S4x^3*S4z^2+S3y^3*S3z^2*S4y^3*S4z^2-S3y^3*S3z^2*S4y^3*S4x^2-S3y^3*S3x^2*S4y^3*S4z^2+S3y^3*S3x^2*S4y^3*S4x^2+S3z^3*S3x^2*S4z^3*S4x^2-S3z^3*S3x^2*S4z^3*S4y^2-S3z^3*S3y^2*S4z^3*S4x^2+S3z^3*S3y^2*S4z^3*S4y^2))/6 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4x^3*S3y^3*S3z-S4x^3*S3y*S3z^3+S4y^3*S3z^3*S3x-S4y^3*S3z*S3x^3+S4z^3*S3x^3*S3y-S4z^3*S3x*S3y^3))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4y*S4z*S3x^3*S3y^2-S4y*S4z*S3x^3*S3z^2+S4z*S4x*S3y^3*S3z^2-S4z*S4x*S3y^3*S3x^2+S4x*S4y*S3z^3*S3x^2-S4x*S4y*S3z^3*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3y*S3z*S4x^3*S4y^2-S3y*S3z*S4x^3*S4z^2+S3z*S3x*S4y^3*S4z^2-S3z*S3x*S4y^3*S4x^2+S3x*S3y*S4z^3*S4x^2-S3x*S3y*S4z^3*S4y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x^3*S4y^3*S4z-S3x^3*S4y*S4z^3+S3y^3*S4z^3*S4x-S3y^3*S4z*S4x^3+S3z^3*S4x^3*S4y-S3z^3*S4x*S4y^3))/12 ] [ A1: (S2a*3^(1/2)*S3y^3*S3z*S4x^3*S4y^2-S2a*3^(1/2)*S3y^3*S3z*S4x^3*S4z^2-S2a*3^(1/2)*S3y*S3z^3*S4x^3*S4y^2+S2a*3^(1/2)*S3y*S3z^3*S4x^3*S4z^2+S2a*3^(1/2)*S3z^3*S3x*S4y^3*S4z^2-S2a*3^(1/2)*S3z^3*S3x*S4y^3*S4x^2-S2a*3^(1/2)*S3z*S3x^3*S4y^3*S4z^2+S2a*3^(1/2)*S3z*S3x^3*S4y^3*S4x^2-2*S2a*3^(1/2)*S3x^3*S3y*S4z^3*S4x^2+2*S2a*3^(1/2)*S3x^3*S3y*S4z^3*S4y^2+2*S2a*3^(1/2)*S3x*S3y^3*S4z^3*S4x^2-2*S2a*3^(1/2)*S3x*S3y^3*S4z^3*S4y^2-3*S2b*S3y^3*S3z*S4x^3*S4y^2+3*S2b*S3y^3*S3z*S4x^3*S4z^2+3*S2b*S3y*S3z^3*S4x^3*S4y^2-3*S2b*S3y*S3z^3*S4x^3*S4z^2+3*S2b*S3z^3*S3x*S4y^3*S4z^2-3*S2b*S3z^3*S3x*S4y^3*S4x^2-3*S2b*S3z*S3x^3*S4y^3*S4z^2+3*S2b*S3z*S3x^3*S4y^3*S4x^2)/12 ] [ A1: (S2a*3^(1/2)*S3x^3*S3y^2*S4y^3*S4z-S2a*3^(1/2)*S3x^3*S3y^2*S4y*S4z^3-S2a*3^(1/2)*S3x^3*S3z^2*S4y^3*S4z+S2a*3^(1/2)*S3x^3*S3z^2*S4y*S4z^3+S2a*3^(1/2)*S3y^3*S3z^2*S4z^3*S4x-S2a*3^(1/2)*S3y^3*S3z^2*S4z*S4x^3-S2a*3^(1/2)*S3y^3*S3x^2*S4z^3*S4x+S2a*3^(1/2)*S3y^3*S3x^2*S4z*S4x^3-2*S2a*3^(1/2)*S3z^3*S3x^2*S4x^3*S4y+2*S2a*3^(1/2)*S3z^3*S3x^2*S4x*S4y^3+2*S2a*3^(1/2)*S3z^3*S3y^2*S4x^3*S4y-2*S2a*3^(1/2)*S3z^3*S3y^2*S4x*S4y^3-3*S2b*S3x^3*S3y^2*S4y^3*S4z+3*S2b*S3x^3*S3y^2*S4y*S4z^3+3*S2b*S3x^3*S3z^2*S4y^3*S4z-3*S2b*S3x^3*S3z^2*S4y*S4z^3+3*S2b*S3y^3*S3z^2*S4z^3*S4x-3*S2b*S3y^3*S3z^2*S4z*S4x^3-3*S2b*S3y^3*S3x^2*S4z^3*S4x+3*S2b*S3y^3*S3x^2*S4z*S4x^3)/12 ] [ A1: (S2a^2*S3x^4*S3y^2*3^(1/2)*S4x^2-S2a^2*S3x^4*S3y^2*3^(1/2)*S4y^2+S2a^2*S3x^2*S3z^4*3^(1/2)*S4x^2-S2a^2*S3x^2*S3z^4*3^(1/2)*S4y^2-S2a^2*S3x^4*S3z^2*3^(1/2)*S4x^2+S2a^2*S3x^4*S3z^2*3^(1/2)*S4y^2+S2a^2*S3y^4*S3z^2*3^(1/2)*S4x^2-S2a^2*S3y^4*S3z^2*3^(1/2)*S4y^2-S2a^2*S3y^4*S3x^2*3^(1/2)*S4x^2+S2a^2*S3y^4*S3x^2*3^(1/2)*S4y^2-S2a^2*S3y^2*S3z^4*3^(1/2)*S4x^2+S2a^2*S3y^2*S3z^4*3^(1/2)*S4y^2-S2b^2*S3x^4*S3y^2*3^(1/2)*S4x^2+S2b^2*S3x^4*S3y^2*3^(1/2)*S4y^2-S2b^2*S3x^2*S3z^4*3^(1/2)*S4x^2+S2b^2*S3x^2*S3z^4*3^(1/2)*S4y^2+S2b^2*S3x^4*S3z^2*3^(1/2)*S4x^2-S2b^2*S3x^4*S3z^2*3^(1/2)*S4y^2-S2b^2*S3y^4*S3z^2*3^(1/2)*S4x^2+S2b^2*S3y^4*S3z^2*3^(1/2)*S4y^2+S2b^2*S3y^4*S3x^2*3^(1/2)*S4x^2-S2b^2*S3y^4*S3x^2*3^(1/2)*S4y^2+S2b^2*S3y^2*S3z^4*3^(1/2)*S4x^2-S2b^2*S3y^2*S3z^4*3^(1/2)*S4y^2-2*S2a*S2b*S3x^4*S3y^2*S4x^2-2*S2a*S2b*S3x^4*S3y^2*S4y^2+4*S2a*S2b*S3x^4*S3y^2*S4z^2-2*S2a*S2b*S3x^2*S3z^4*S4x^2-2*S2a*S2b*S3x^2*S3z^4*S4y^2+4*S2a*S2b*S3x^2*S3z^4*S4z^2+2*S2a*S2b*S3x^4*S3z^2*S4x^2+2*S2a*S2b*S3x^4*S3z^2*S4y^2-4*S2a*S2b*S3x^4*S3z^2*S4z^2-2*S2a*S2b*S3y^4*S3z^2*S4x^2-2*S2a*S2b*S3y^4*S3z^2*S4y^2+4*S2a*S2b*S3y^4*S3z^2*S4z^2+2*S2a*S2b*S3y^4*S3x^2*S4x^2+2*S2a*S2b*S3y^4*S3x^2*S4y^2-4*S2a*S2b*S3y^4*S3x^2*S4z^2+2*S2a*S2b*S3y^2*S3z^4*S4x^2+2*S2a*S2b*S3y^2*S3z^4*S4y^2-4*S2a*S2b*S3y^2*S3z^4*S4z^2)/12 ] [ A1: (-S2a^2*S3y^2*S4y^2*S4z^4*3^(1/2)-S2a^2*S3y^2*S4y^4*S4x^2*3^(1/2)+S2b^2*S3x^2*S4y^4*S4z^2*3^(1/2)-S2b^2*S3x^2*S4x^4*S4z^2*3^(1/2)+S2b^2*S3x^2*S4x^2*S4z^4*3^(1/2)-S2b^2*S3y^2*S4x^4*S4y^2*3^(1/2)-S2b^2*S3x^2*S4y^2*S4z^4*3^(1/2)-S2b^2*S3x^2*S4y^4*S4x^2*3^(1/2)-S2b^2*S3y^2*S4y^4*S4z^2*3^(1/2)+S2b^2*S3y^2*S4x^4*S4z^2*3^(1/2)-S2b^2*S3y^2*S4x^2*S4z^4*3^(1/2)+S2b^2*S3y^2*S4y^2*S4z^4*3^(1/2)+S2b^2*S3y^2*S4y^4*S4x^2*3^(1/2)+2*S2a*S2b*S3x^2*S4x^4*S4y^2+2*S2a*S2b*S3y^2*S4y^4*S4z^2-2*S2a*S2b*S3y^2*S4y^4*S4x^2-2*S2a*S2b*S3y^2*S4y^2*S4z^4-4*S2a*S2b*S3z^2*S4x^4*S4y^2-4*S2a*S2b*S3z^2*S4x^2*S4z^4+4*S2a*S2b*S3z^2*S4x^4*S4z^2-4*S2a*S2b*S3z^2*S4y^4*S4z^2+4*S2a*S2b*S3z^2*S4y^4*S4x^2+4*S2a*S2b*S3z^2*S4y^2*S4z^4+2*S2a*S2b*S3x^2*S4y^4*S4z^2-2*S2a*S2b*S3x^2*S4y^4*S4x^2-2*S2a*S2b*S3x^2*S4y^2*S4z^4+2*S2a*S2b*S3y^2*S4x^4*S4y^2+2*S2a*S2b*S3y^2*S4x^2*S4z^4-2*S2a*S2b*S3y^2*S4x^4*S4z^2-2*S2a*S2b*S3x^2*S4x^4*S4z^2+2*S2a*S2b*S3x^2*S4x^2*S4z^4+S2a^2*S3y^2*S4x^2*S4z^4*3^(1/2)+S2b^2*S3x^2*S4x^4*S4y^2*3^(1/2)-S2a^2*S3x^2*S4x^4*S4y^2*3^(1/2)-S2a^2*S3x^2*S4y^4*S4z^2*3^(1/2)+S2a^2*S3x^2*S4x^4*S4z^2*3^(1/2)-S2a^2*S3x^2*S4x^2*S4z^4*3^(1/2)+S2a^2*S3y^2*S4x^4*S4y^2*3^(1/2)+S2a^2*S3x^2*S4y^2*S4z^4*3^(1/2)+S2a^2*S3x^2*S4y^4*S4x^2*3^(1/2)+S2a^2*S3y^2*S4y^4*S4z^2*3^(1/2)-S2a^2*S3y^2*S4x^4*S4z^2*3^(1/2))/12 ] [ A1: (-2^(1/2)*(2*S2a*S2b*S3x^4*3^(1/2)*S4x^4-2*S2a*S2b*S3y^4*3^(1/2)*S4y^4-2*S2a*S2b*S3z^4*3^(1/2)*S4x^4+2*S2a*S2b*S3z^4*3^(1/2)*S4y^4-2*S2a*S2b*S3x^4*S4z^4*3^(1/2)+2*S2a*S2b*S3y^4*S4z^4*3^(1/2)+S2a^2*S3z^4*S4y^4-2*S2a^2*S3z^4*S4z^4-S2b^2*S3x^4*S4z^4-S2b^2*S3y^4*S4z^4-S2b^2*S3z^4*S4x^4-S2b^2*S3z^4*S4y^4+2*S2b^2*S3z^4*S4z^4-2*S2a^2*S3x^4*S4y^4-2*S2a^2*S3y^4*S4x^4+S2a^2*S3y^4*S4y^4-S2b^2*S3x^4*S4x^4+2*S2b^2*S3x^4*S4y^4+2*S2b^2*S3y^4*S4x^4-S2b^2*S3y^4*S4y^4+S2a^2*S3x^4*S4x^4+S2a^2*S3x^4*S4z^4+S2a^2*S3y^4*S4z^4+S2a^2*S3z^4*S4x^4))/12 ] [ A1: (-2^(1/2)*(S2b^2*3^(1/2)*S3y*S3z^2*S4y^3*S4x^2+S2b^2*3^(1/2)*S3x^2*S3y*S4y^3*S4z^2-S2b^2*3^(1/2)*S3x^2*S3y*S4y^3*S4x^2+2*S2b^2*3^(1/2)*S3z*S3x^2*S4z^3*S4x^2-2*S2b^2*3^(1/2)*S3z*S3x^2*S4z^3*S4y^2-2*S2b^2*3^(1/2)*S3z*S3y^2*S4z^3*S4x^2+2*S2b^2*3^(1/2)*S3z*S3y^2*S4z^3*S4y^2+S2a^2*3^(1/2)*S3x*S3y^2*S4x^3*S4y^2-S2a^2*3^(1/2)*S3x*S3z^2*S4x^3*S4y^2+S2a^2*3^(1/2)*S3x*S3z^2*S4x^3*S4z^2+S2a^2*3^(1/2)*S3y*S3z^2*S4y^3*S4z^2-S2a^2*3^(1/2)*S3y*S3z^2*S4y^3*S4x^2-S2a^2*3^(1/2)*S3x^2*S3y*S4y^3*S4z^2+S2a^2*3^(1/2)*S3x^2*S3y*S4y^3*S4x^2-2*S2a^2*3^(1/2)*S3z*S3x^2*S4z^3*S4x^2+2*S2a^2*3^(1/2)*S3z*S3x^2*S4z^3*S4y^2+2*S2a^2*3^(1/2)*S3z*S3y^2*S4z^3*S4x^2-S2a^2*3^(1/2)*S3x*S3y^2*S4x^3*S4z^2-2*S2a^2*3^(1/2)*S3z*S3y^2*S4z^3*S4y^2-S2b^2*3^(1/2)*S3x*S3y^2*S4x^3*S4y^2+S2b^2*3^(1/2)*S3x*S3y^2*S4x^3*S4z^2+S2b^2*3^(1/2)*S3x*S3z^2*S4x^3*S4y^2-S2b^2*3^(1/2)*S3x*S3z^2*S4x^3*S4z^2-S2b^2*3^(1/2)*S3y*S3z^2*S4y^3*S4z^2+6*S2a*S2b*S3x*S3y^2*S4x^3*S4y^2-6*S2a*S2b*S3x*S3y^2*S4x^3*S4z^2-6*S2a*S2b*S3x*S3z^2*S4x^3*S4y^2+6*S2a*S2b*S3x*S3z^2*S4x^3*S4z^2-6*S2a*S2b*S3y*S3z^2*S4y^3*S4z^2+6*S2a*S2b*S3y*S3z^2*S4y^3*S4x^2+6*S2a*S2b*S3x^2*S3y*S4y^3*S4z^2-6*S2a*S2b*S3x^2*S3y*S4y^3*S4x^2))/24 ] [ A1: (2^(1/2)*(S2a^2*3^(1/2)*S3z*S3x^3*S4z^3*S4x+S2a^2*3^(1/2)*S3y*S3z^3*S4y^3*S4z-S2a^2*3^(1/2)*S3y*S3z^3*S4y*S4z^3-S2b^2*3^(1/2)*S3z*S3x^3*S4z^3*S4x+S2b^2*3^(1/2)*S3z*S3x^3*S4z*S4x^3-2*S2b^2*3^(1/2)*S3x^3*S3y*S4x^3*S4y+2*S2b^2*3^(1/2)*S3x^3*S3y*S4x*S4y^3-S2a^2*3^(1/2)*S3y^3*S3z*S4y^3*S4z+2*S2b^2*3^(1/2)*S3x*S3y^3*S4x^3*S4y-S2a^2*3^(1/2)*S3z^3*S3x*S4z^3*S4x+S2a^2*3^(1/2)*S3z^3*S3x*S4z*S4x^3-2*S2b^2*3^(1/2)*S3x*S3y^3*S4x*S4y^3+S2a^2*3^(1/2)*S3y^3*S3z*S4y*S4z^3-6*S2a*S2b*S3y^3*S3z*S4y^3*S4z+6*S2a*S2b*S3y^3*S3z*S4y*S4z^3+6*S2a*S2b*S3y*S3z^3*S4y^3*S4z-6*S2a*S2b*S3y*S3z^3*S4y*S4z^3+6*S2a*S2b*S3z^3*S3x*S4z^3*S4x-6*S2a*S2b*S3z^3*S3x*S4z*S4x^3-6*S2a*S2b*S3z*S3x^3*S4z^3*S4x+6*S2a*S2b*S3z*S3x^3*S4z*S4x^3-S2b^2*3^(1/2)*S3z^3*S3x*S4z*S4x^3+2*S2a^2*3^(1/2)*S3x^3*S3y*S4x^3*S4y-2*S2a^2*3^(1/2)*S3x^3*S3y*S4x*S4y^3-2*S2a^2*3^(1/2)*S3x*S3y^3*S4x^3*S4y+2*S2a^2*3^(1/2)*S3x*S3y^3*S4x*S4y^3+S2b^2*3^(1/2)*S3y^3*S3z*S4y^3*S4z-S2b^2*3^(1/2)*S3y^3*S3z*S4y*S4z^3-S2b^2*3^(1/2)*S3y*S3z^3*S4y^3*S4z+S2b^2*3^(1/2)*S3y*S3z^3*S4y*S4z^3+S2b^2*3^(1/2)*S3z^3*S3x*S4z^3*S4x-S2a^2*3^(1/2)*S3z*S3x^3*S4z*S4x^3))/24 ] [ A1: (-2^(1/2)*(-2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4z*S4x^2+2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4z*S4y^2+S2a^2*3^(1/2)*S3x^3*S3y^2*S4x*S4y^2-S2a^2*3^(1/2)*S3x^3*S3y^2*S4x*S4z^2-S2a^2*3^(1/2)*S3x^3*S3z^2*S4x*S4y^2+S2a^2*3^(1/2)*S3x^3*S3z^2*S4x*S4z^2+S2a^2*3^(1/2)*S3y^3*S3z^2*S4y*S4z^2-S2a^2*3^(1/2)*S3y^3*S3z^2*S4x^2*S4y-S2a^2*3^(1/2)*S3y^3*S3x^2*S4y*S4z^2+S2a^2*3^(1/2)*S3y^3*S3x^2*S4x^2*S4y-2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4z*S4x^2+2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4z*S4y^2+2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4z*S4x^2-2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4z*S4y^2-S2b^2*3^(1/2)*S3x^3*S3y^2*S4x*S4y^2+S2b^2*3^(1/2)*S3x^3*S3z^2*S4x*S4y^2-S2b^2*3^(1/2)*S3x^3*S3z^2*S4x*S4z^2+S2b^2*3^(1/2)*S3x^3*S3y^2*S4x*S4z^2-S2b^2*3^(1/2)*S3y^3*S3z^2*S4y*S4z^2+S2b^2*3^(1/2)*S3y^3*S3z^2*S4x^2*S4y+S2b^2*3^(1/2)*S3y^3*S3x^2*S4y*S4z^2-S2b^2*3^(1/2)*S3y^3*S3x^2*S4x^2*S4y+2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4z*S4x^2-2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4z*S4y^2+6*S2a*S2b*S3x^3*S3y^2*S4x*S4y^2-6*S2a*S2b*S3x^3*S3y^2*S4x*S4z^2-6*S2a*S2b*S3x^3*S3z^2*S4x*S4y^2+6*S2a*S2b*S3x^3*S3z^2*S4x*S4z^2-6*S2a*S2b*S3y^3*S3z^2*S4y*S4z^2+6*S2a*S2b*S3y^3*S3z^2*S4x^2*S4y+6*S2a*S2b*S3y^3*S3x^2*S4y*S4z^2-6*S2a*S2b*S3y^3*S3x^2*S4x^2*S4y))/24 ] [ A1: (3*S2a^2*S4x^3*S3x^3*S3y^2-3*S2a^2*S4x^3*S3x^3*S3z^2-3*S2a^2*S4y^3*S3y^3*S3z^2+3*S2a^2*S4y^3*S3y^3*S3x^2-3*S2b^2*S4x^3*S3x^3*S3y^2+3*S2b^2*S4x^3*S3x^3*S3z^2+3*S2b^2*S4y^3*S3y^3*S3z^2-3*S2b^2*S4y^3*S3y^3*S3x^2-2*S2a*S2b*S4x^3*3^(1/2)*S3x^3*S3y^2+2*S2a*S2b*S4x^3*3^(1/2)*S3x^3*S3z^2-2*S2a*S2b*S4y^3*3^(1/2)*S3y^3*S3z^2+2*S2a*S2b*S4y^3*3^(1/2)*S3y^3*S3x^2+4*S2a*S2b*S4z^3*3^(1/2)*S3z^3*S3x^2-4*S2a*S2b*S4z^3*3^(1/2)*S3z^3*S3y^2)/12 ] [ A1: (-3*S2a^2*S3x^3*S4x^3*S4y^2+3*S2a^2*S3x^3*S4x^3*S4z^2+3*S2a^2*S3y^3*S4y^3*S4z^2-3*S2a^2*S3y^3*S4y^3*S4x^2+3*S2b^2*S3x^3*S4x^3*S4y^2-3*S2b^2*S3x^3*S4x^3*S4z^2-3*S2b^2*S3y^3*S4y^3*S4z^2+3*S2b^2*S3y^3*S4y^3*S4x^2+2*S2a*S2b*S3x^3*3^(1/2)*S4x^3*S4y^2-2*S2a*S2b*S3x^3*3^(1/2)*S4x^3*S4z^2+2*S2a*S2b*S3y^3*3^(1/2)*S4y^3*S4z^2-2*S2a*S2b*S3y^3*3^(1/2)*S4y^3*S4x^2-4*S2a*S2b*S3z^3*3^(1/2)*S4z^3*S4x^2+4*S2a*S2b*S3z^3*3^(1/2)*S4z^3*S4y^2)/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*2^(1/2)*3^(1/2)*(S3x^4*S4y^4-S3y^4*S4x^4+S3z^4*S4x^4-S3z^4*S4y^4-S3x^4*S4z^4+S3y^4*S4z^4))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S4x^3*S3x^3*S3y^2-S4x^3*S3x^3*S3z^2+S4y^3*S3y^3*S3z^2-S4y^3*S3y^3*S3x^2+S4z^3*S3z^3*S3x^2-S4z^3*S3z^3*S3y^2))/12 ] [ A1: (-S2b*(3*S2a^2-S2b^2)*3^(1/2)*2^(1/2)*(S3x^3*S4x^3*S4y^2-S3x^3*S4x^3*S4z^2+S3y^3*S4y^3*S4z^2-S3y^3*S4y^3*S4x^2+S3z^3*S4z^3*S4x^2-S3z^3*S4z^3*S4y^2))/12 ] [ A1: (-2^(1/2)*(S2b*S3x^4*S3y^2*S4x^4+S2b*S3x^4*S3y^2*S4y^4-2*S2b*S3x^4*S3y^2*S4z^4+S2b*S3x^2*S3z^4*S4x^4+S2b*S3x^2*S3z^4*S4y^4-2*S2b*S3x^2*S3z^4*S4z^4-S2b*S3x^4*S3z^2*S4x^4-S2b*S3y^2*S3z^4*S4x^4-S2b*S3y^2*S3z^4*S4y^4+2*S2b*S3y^2*S3z^4*S4z^4-S2b*S3x^4*S3z^2*S4y^4+2*S2b*S3x^4*S3z^2*S4z^4+S2b*S3y^4*S3z^2*S4x^4+S2b*S3y^4*S3z^2*S4y^4-2*S2b*S3y^4*S3z^2*S4z^4-S2b*S3y^4*S3x^2*S4x^4-S2b*S3y^4*S3x^2*S4y^4+2*S2b*S3y^4*S3x^2*S4z^4+S2a*S3x^4*S3y^2*3^(1/2)*S4x^4-S2a*S3x^4*S3y^2*3^(1/2)*S4y^4+S2a*S3x^2*S3z^4*3^(1/2)*S4x^4-S2a*S3x^2*S3z^4*3^(1/2)*S4y^4-S2a*S3x^4*S3z^2*3^(1/2)*S4x^4+S2a*S3x^4*S3z^2*3^(1/2)*S4y^4+S2a*S3y^4*S3z^2*3^(1/2)*S4x^4-S2a*S3y^4*S3z^2*3^(1/2)*S4y^4-S2a*S3y^4*S3x^2*3^(1/2)*S4x^4+S2a*S3y^4*S3x^2*3^(1/2)*S4y^4-S2a*S3y^2*S3z^4*3^(1/2)*S4x^4+S2a*S3y^2*S3z^4*3^(1/2)*S4y^4))/12 ] [ A1: (2^(1/2)*(2*S2b*S3z^4*S4y^2*S4z^4+S2b*S3x^4*S4x^4*S4y^2+S2a*S3x^4*S4x^4*S4y^2*3^(1/2)+S2a*S3x^4*S4x^2*S4z^4*3^(1/2)-S2a*S3x^4*S4x^4*S4z^2*3^(1/2)+S2a*S3x^4*S4y^4*S4z^2*3^(1/2)-S2a*S3x^4*S4y^4*S4x^2*3^(1/2)-S2a*S3x^4*S4y^2*S4z^4*3^(1/2)-S2a*S3y^4*S4x^4*S4y^2*3^(1/2)-S2a*S3y^4*S4x^2*S4z^4*3^(1/2)+S2a*S3y^4*S4x^4*S4z^2*3^(1/2)-S2a*S3y^4*S4y^4*S4z^2*3^(1/2)+S2a*S3y^4*S4y^4*S4x^2*3^(1/2)+S2a*S3y^4*S4y^2*S4z^4*3^(1/2)+S2b*S3x^4*S4x^2*S4z^4-S2b*S3x^4*S4x^4*S4z^2+S2b*S3x^4*S4y^4*S4z^2-S2b*S3x^4*S4y^4*S4x^2-S2b*S3x^4*S4y^2*S4z^4+S2b*S3y^4*S4x^4*S4y^2+S2b*S3y^4*S4x^2*S4z^4-S2b*S3y^4*S4x^4*S4z^2+S2b*S3y^4*S4y^4*S4z^2-S2b*S3y^4*S4y^4*S4x^2-S2b*S3y^4*S4y^2*S4z^4-2*S2b*S3z^4*S4x^4*S4y^2-2*S2b*S3z^4*S4x^2*S4z^4+2*S2b*S3z^4*S4x^4*S4z^2-2*S2b*S3z^4*S4y^4*S4z^2+2*S2b*S3z^4*S4y^4*S4x^2))/12 ] [ A1: (S2a*3^(1/2)*S3x^3*S3y^2*S4x^3*S4y^2-S2a*3^(1/2)*S3x^3*S3y^2*S4x^3*S4z^2-S2a*3^(1/2)*S3x^3*S3z^2*S4x^3*S4y^2+S2a*3^(1/2)*S3x^3*S3z^2*S4x^3*S4z^2+S2a*3^(1/2)*S3y^3*S3z^2*S4y^3*S4z^2-S2a*3^(1/2)*S3y^3*S3z^2*S4y^3*S4x^2-S2a*3^(1/2)*S3y^3*S3x^2*S4y^3*S4z^2+S2a*3^(1/2)*S3y^3*S3x^2*S4y^3*S4x^2-2*S2a*3^(1/2)*S3z^3*S3x^2*S4z^3*S4x^2+2*S2a*3^(1/2)*S3z^3*S3x^2*S4z^3*S4y^2+2*S2a*3^(1/2)*S3z^3*S3y^2*S4z^3*S4x^2-2*S2a*3^(1/2)*S3z^3*S3y^2*S4z^3*S4y^2-3*S2b*S3x^3*S3y^2*S4x^3*S4y^2+3*S2b*S3x^3*S3y^2*S4x^3*S4z^2+3*S2b*S3x^3*S3z^2*S4x^3*S4y^2-3*S2b*S3x^3*S3z^2*S4x^3*S4z^2+3*S2b*S3y^3*S3z^2*S4y^3*S4z^2-3*S2b*S3y^3*S3z^2*S4y^3*S4x^2-3*S2b*S3y^3*S3x^2*S4y^3*S4z^2+3*S2b*S3y^3*S3x^2*S4y^3*S4x^2)/12 ] [ A1: (2^(1/2)*(-6*S2a*S2b*S3z^3*S3x*S4y^3*S4x^2-6*S2a*S2b*S3z*S3x^3*S4y^3*S4z^2+6*S2a*S2b*S3z*S3x^3*S4y^3*S4x^2-6*S2a*S2b*S3y^3*S3z*S4x^3*S4y^2+6*S2a*S2b*S3y^3*S3z*S4x^3*S4z^2+6*S2a*S2b*S3y*S3z^3*S4x^3*S4y^2-6*S2a*S2b*S3y*S3z^3*S4x^3*S4z^2+6*S2a*S2b*S3z^3*S3x*S4y^3*S4z^2+S2b^2*3^(1/2)*S3y^3*S3z*S4x^3*S4y^2-S2b^2*3^(1/2)*S3y^3*S3z*S4x^3*S4z^2-S2b^2*3^(1/2)*S3y*S3z^3*S4x^3*S4y^2+S2b^2*3^(1/2)*S3y*S3z^3*S4x^3*S4z^2+S2b^2*3^(1/2)*S3z^3*S3x*S4y^3*S4z^2-S2a^2*3^(1/2)*S3y^3*S3z*S4x^3*S4y^2+S2a^2*3^(1/2)*S3y^3*S3z*S4x^3*S4z^2-S2b^2*3^(1/2)*S3z^3*S3x*S4y^3*S4x^2-S2b^2*3^(1/2)*S3z*S3x^3*S4y^3*S4z^2+S2b^2*3^(1/2)*S3z*S3x^3*S4y^3*S4x^2-2*S2b^2*3^(1/2)*S3x^3*S3y*S4z^3*S4x^2+2*S2b^2*3^(1/2)*S3x^3*S3y*S4z^3*S4y^2+2*S2b^2*3^(1/2)*S3x*S3y^3*S4z^3*S4x^2-2*S2b^2*3^(1/2)*S3x*S3y^3*S4z^3*S4y^2+S2a^2*3^(1/2)*S3y*S3z^3*S4x^3*S4y^2-S2a^2*3^(1/2)*S3y*S3z^3*S4x^3*S4z^2-S2a^2*3^(1/2)*S3z^3*S3x*S4y^3*S4z^2+S2a^2*3^(1/2)*S3z^3*S3x*S4y^3*S4x^2+S2a^2*3^(1/2)*S3z*S3x^3*S4y^3*S4z^2-S2a^2*3^(1/2)*S3z*S3x^3*S4y^3*S4x^2+2*S2a^2*3^(1/2)*S3x^3*S3y*S4z^3*S4x^2-2*S2a^2*3^(1/2)*S3x^3*S3y*S4z^3*S4y^2-2*S2a^2*3^(1/2)*S3x*S3y^3*S4z^3*S4x^2+2*S2a^2*3^(1/2)*S3x*S3y^3*S4z^3*S4y^2))/24 ] [ A1: (-2^(1/2)*(6*S2a*S2b*S3x^3*S3y^2*S4y^3*S4z-6*S2a*S2b*S3x^3*S3y^2*S4y*S4z^3-6*S2a*S2b*S3x^3*S3z^2*S4y^3*S4z+6*S2a*S2b*S3x^3*S3z^2*S4y*S4z^3-6*S2a*S2b*S3y^3*S3z^2*S4z^3*S4x+6*S2a*S2b*S3y^3*S3z^2*S4z*S4x^3+6*S2a*S2b*S3y^3*S3x^2*S4z^3*S4x-6*S2a*S2b*S3y^3*S3x^2*S4z*S4x^3+S2b^2*3^(1/2)*S3y^3*S3x^2*S4z^3*S4x-S2b^2*3^(1/2)*S3y^3*S3x^2*S4z*S4x^3+2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4x^3*S4y-2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4x*S4y^3+2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4x*S4y^3+S2a^2*3^(1/2)*S3x^3*S3y^2*S4y^3*S4z-S2a^2*3^(1/2)*S3x^3*S3y^2*S4y*S4z^3-S2a^2*3^(1/2)*S3x^3*S3z^2*S4y^3*S4z+S2a^2*3^(1/2)*S3x^3*S3z^2*S4y*S4z^3+S2a^2*3^(1/2)*S3y^3*S3z^2*S4z^3*S4x-S2a^2*3^(1/2)*S3y^3*S3z^2*S4z*S4x^3-S2a^2*3^(1/2)*S3y^3*S3x^2*S4z^3*S4x+S2a^2*3^(1/2)*S3y^3*S3x^2*S4z*S4x^3-2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4x^3*S4y+2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4x*S4y^3+2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4x^3*S4y-2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4x*S4y^3-S2b^2*3^(1/2)*S3x^3*S3y^2*S4y^3*S4z-2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4x^3*S4y+S2b^2*3^(1/2)*S3x^3*S3y^2*S4y*S4z^3+S2b^2*3^(1/2)*S3x^3*S3z^2*S4y^3*S4z-S2b^2*3^(1/2)*S3x^3*S3z^2*S4y*S4z^3-S2b^2*3^(1/2)*S3y^3*S3z^2*S4z^3*S4x+S2b^2*3^(1/2)*S3y^3*S3z^2*S4z*S4x^3))/24 ] [ A1: ((S3x^4*S3y^2+S3x^2*S3z^4-S3x^4*S3z^2+S3y^4*S3z^2-S3y^4*S3x^2-S3y^2*S3z^4)*(S4x^4*S4y^2+S4x^2*S4z^4-S4x^4*S4z^2+S4y^4*S4z^2-S4y^4*S4x^2-S4y^2*S4z^4))/6 ] [ A1: (-2*S2a*S2b*S3x^4*S3y^2*S4x^4-2*S2a*S2b*S3x^4*S3y^2*S4y^4+4*S2a*S2b*S3x^4*S3y^2*S4z^4-2*S2a*S2b*S3x^2*S3z^4*S4x^4-2*S2a*S2b*S3x^2*S3z^4*S4y^4+4*S2a*S2b*S3x^2*S3z^4*S4z^4+S2a^2*S3x^4*S3y^2*3^(1/2)*S4x^4-S2a^2*S3x^4*S3y^2*3^(1/2)*S4y^4+S2a^2*S3x^2*S3z^4*3^(1/2)*S4x^4-S2a^2*S3x^2*S3z^4*3^(1/2)*S4y^4-S2a^2*S3x^4*S3z^2*3^(1/2)*S4x^4+S2a^2*S3x^4*S3z^2*3^(1/2)*S4y^4+S2a^2*S3y^4*S3z^2*3^(1/2)*S4x^4-S2a^2*S3y^4*S3z^2*3^(1/2)*S4y^4-S2a^2*S3y^4*S3x^2*3^(1/2)*S4x^4+S2a^2*S3y^4*S3x^2*3^(1/2)*S4y^4-S2a^2*S3y^2*S3z^4*3^(1/2)*S4x^4+S2a^2*S3y^2*S3z^4*3^(1/2)*S4y^4-S2b^2*S3x^4*S3y^2*3^(1/2)*S4x^4+S2b^2*S3x^4*S3y^2*3^(1/2)*S4y^4-S2b^2*S3x^2*S3z^4*3^(1/2)*S4x^4+S2b^2*S3x^2*S3z^4*3^(1/2)*S4y^4+S2b^2*S3x^4*S3z^2*3^(1/2)*S4x^4-S2b^2*S3x^4*S3z^2*3^(1/2)*S4y^4-S2b^2*S3y^4*S3z^2*3^(1/2)*S4x^4+S2b^2*S3y^4*S3z^2*3^(1/2)*S4y^4+S2b^2*S3y^4*S3x^2*3^(1/2)*S4x^4-S2b^2*S3y^4*S3x^2*3^(1/2)*S4y^4+S2b^2*S3y^2*S3z^4*3^(1/2)*S4x^4-S2b^2*S3y^2*S3z^4*3^(1/2)*S4y^4+2*S2a*S2b*S3x^4*S3z^2*S4x^4+2*S2a*S2b*S3x^4*S3z^2*S4y^4-4*S2a*S2b*S3x^4*S3z^2*S4z^4-2*S2a*S2b*S3y^4*S3z^2*S4x^4-2*S2a*S2b*S3y^4*S3z^2*S4y^4+4*S2a*S2b*S3y^4*S3z^2*S4z^4+2*S2a*S2b*S3y^4*S3x^2*S4x^4+2*S2a*S2b*S3y^4*S3x^2*S4y^4-4*S2a*S2b*S3y^4*S3x^2*S4z^4+2*S2a*S2b*S3y^2*S3z^4*S4x^4+2*S2a*S2b*S3y^2*S3z^4*S4y^4-4*S2a*S2b*S3y^2*S3z^4*S4z^4)/12 ] [ A1: (-2*S2a*S2b*S3x^4*S4y^2*S4z^4-2*S2a*S2b*S3x^4*S4y^4*S4x^2+2*S2a*S2b*S3x^4*S4y^4*S4z^2-2*S2a*S2b*S3x^4*S4x^4*S4z^2+2*S2a*S2b*S3x^4*S4x^2*S4z^4+2*S2a*S2b*S3y^4*S4y^4*S4z^2-2*S2a*S2b*S3y^4*S4x^4*S4z^2-2*S2a*S2b*S3y^4*S4y^4*S4x^2+4*S2a*S2b*S3z^4*S4x^4*S4z^2-4*S2a*S2b*S3z^4*S4x^2*S4z^4-4*S2a*S2b*S3z^4*S4x^4*S4y^2-2*S2a*S2b*S3y^4*S4y^2*S4z^4-4*S2a*S2b*S3z^4*S4y^4*S4z^2-S2a^2*S3x^4*S4y^4*S4z^2*3^(1/2)+S2a^2*S3x^4*S4y^4*S4x^2*3^(1/2)+S2a^2*S3x^4*S4y^2*S4z^4*3^(1/2)+S2a^2*S3y^4*S4x^4*S4y^2*3^(1/2)+S2a^2*S3y^4*S4x^2*S4z^4*3^(1/2)-S2a^2*S3y^4*S4x^4*S4z^2*3^(1/2)+S2a^2*S3y^4*S4y^4*S4z^2*3^(1/2)-S2a^2*S3y^4*S4y^4*S4x^2*3^(1/2)-S2a^2*S3y^4*S4y^2*S4z^4*3^(1/2)+S2b^2*S3x^4*S4x^4*S4y^2*3^(1/2)+S2b^2*S3x^4*S4x^2*S4z^4*3^(1/2)-S2b^2*S3x^4*S4x^4*S4z^2*3^(1/2)+S2b^2*S3x^4*S4y^4*S4z^2*3^(1/2)+2*S2a*S2b*S3x^4*S4x^4*S4y^2+2*S2a*S2b*S3y^4*S4x^2*S4z^4+2*S2a*S2b*S3y^4*S4x^4*S4y^2+4*S2a*S2b*S3z^4*S4y^4*S4x^2+4*S2a*S2b*S3z^4*S4y^2*S4z^4-S2b^2*S3x^4*S4y^4*S4x^2*3^(1/2)-S2b^2*S3x^4*S4y^2*S4z^4*3^(1/2)-S2b^2*S3y^4*S4x^4*S4y^2*3^(1/2)-S2b^2*S3y^4*S4x^2*S4z^4*3^(1/2)+S2b^2*S3y^4*S4x^4*S4z^2*3^(1/2)-S2b^2*S3y^4*S4y^4*S4z^2*3^(1/2)+S2b^2*S3y^4*S4y^4*S4x^2*3^(1/2)+S2b^2*S3y^4*S4y^2*S4z^4*3^(1/2)-S2a^2*S3x^4*S4x^4*S4y^2*3^(1/2)-S2a^2*S3x^4*S4x^2*S4z^4*3^(1/2)+S2a^2*S3x^4*S4x^4*S4z^2*3^(1/2))/12 ] [ A1: (-2^(1/2)*(-6*S2a*S2b*S3y^3*S3x^2*S4y^3*S4x^2+6*S2a*S2b*S3y^3*S3x^2*S4y^3*S4z^2+6*S2a*S2b*S3x^3*S3y^2*S4x^3*S4y^2-6*S2a*S2b*S3x^3*S3y^2*S4x^3*S4z^2-6*S2a*S2b*S3x^3*S3z^2*S4x^3*S4y^2+6*S2a*S2b*S3x^3*S3z^2*S4x^3*S4z^2-6*S2a*S2b*S3y^3*S3z^2*S4y^3*S4z^2+6*S2a*S2b*S3y^3*S3z^2*S4y^3*S4x^2+S2a^2*3^(1/2)*S3x^3*S3y^2*S4x^3*S4y^2-S2a^2*3^(1/2)*S3x^3*S3y^2*S4x^3*S4z^2+S2a^2*3^(1/2)*S3x^3*S3z^2*S4x^3*S4z^2+S2a^2*3^(1/2)*S3y^3*S3z^2*S4y^3*S4z^2-S2a^2*3^(1/2)*S3y^3*S3z^2*S4y^3*S4x^2-S2a^2*3^(1/2)*S3y^3*S3x^2*S4y^3*S4z^2+S2a^2*3^(1/2)*S3y^3*S3x^2*S4y^3*S4x^2-2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4z^3*S4x^2+2*S2a^2*3^(1/2)*S3z^3*S3x^2*S4z^3*S4y^2+2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4z^3*S4x^2-2*S2a^2*3^(1/2)*S3z^3*S3y^2*S4z^3*S4y^2-S2a^2*3^(1/2)*S3x^3*S3z^2*S4x^3*S4y^2-S2b^2*3^(1/2)*S3x^3*S3y^2*S4x^3*S4y^2+S2b^2*3^(1/2)*S3x^3*S3y^2*S4x^3*S4z^2+S2b^2*3^(1/2)*S3x^3*S3z^2*S4x^3*S4y^2-S2b^2*3^(1/2)*S3x^3*S3z^2*S4x^3*S4z^2-S2b^2*3^(1/2)*S3y^3*S3z^2*S4y^3*S4z^2+S2b^2*3^(1/2)*S3y^3*S3z^2*S4y^3*S4x^2+S2b^2*3^(1/2)*S3y^3*S3x^2*S4y^3*S4z^2-S2b^2*3^(1/2)*S3y^3*S3x^2*S4y^3*S4x^2+2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4z^3*S4x^2-2*S2b^2*3^(1/2)*S3z^3*S3x^2*S4z^3*S4y^2-2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4z^3*S4x^2+2*S2b^2*3^(1/2)*S3z^3*S3y^2*S4z^3*S4y^2))/24 ]