?? u756tled.m
字號:
x=fminunc(7/8*abs(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(10)+1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)+1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*x(16)*x(13)+1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*x(17)*x(13)+1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(22)+(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(11)+1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)*x(19)+1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))+1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))+1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(23))/z+(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(12)+1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)*x(20)+1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))+1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))+1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(24))/z^2+(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(12)-1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)*x(20)-1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))-1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))-1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(24))/z^3+(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(11)-1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)*x(19)-1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))-1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))-1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(23))/z^4+(1/2*(1/2*x(25)+1/2*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(25)*x(35)+1/2*x(25)*x(35)/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(25)*x(36)+1/2*x(25)*x(36)/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(25)*x(37)+1/2*x(25)*x(37)/z^6)*2^(1/2)*x(10)-1/2*(1/2*x(25)-1/2*x(25)/z^6)*2^(1/2)*x(13)-1/2*(1/2*x(25)*x(35)-1/2*x(25)*x(35)/z^6)*2^(1/2)*x(16)*x(13)-1/2*(1/2*x(25)*x(36)-1/2*x(25)*x(36)/z^6)*2^(1/2)*x(17)*x(13)-1/2*(1/2*x(25)*x(37)-1/2*x(25)*x(37)/z^6)*2^(1/2)*x(22))/z^5)^2*pi+7/8*abs(1/z^5*(1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(41)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(44)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))+1/z^4*(1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(42)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(45)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))+1/z^3*(1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(43)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(46)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))+1/z^2*(1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(43)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(46)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))+1/z*(1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(42)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(45)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(41)*(z^6+1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(x(33)*x(26)*x(29)*x(25)*x(36)*x(27)*x(40)+x(11)*x(26)*x(29)*x(25)*x(37)*x(34)*x(27)+x(26)*x(30)*x(25)*x(36)*x(28)+x(26)*x(27)*x(32)*x(25)*x(37)+x(26)*x(30)*x(25)*x(36)*x(34)*x(27)*x(40)+x(26)*x(27)*x(28)-x(26)*x(30)*x(25)*x(37)*x(34)*x(27)-x(26)*x(27)*x(40)*x(32)*x(25)*x(36)+x(29)*x(25)*x(35)*x(27)*x(33)*x(26)*x(39)+x(29)*x(25)*x(35)*x(27)*x(28)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(25)*x(35)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(25)*x(35)*x(11)*x(26)*x(38)*x(28)-x(30)*x(25)*x(35)*x(26)*x(38)*x(28)+x(30)*x(25)*x(35)*x(26)*x(39)*x(34)*x(27)-x(32)*x(25)*x(35)*x(26)*x(39)*x(27)-x(33)*x(26)*x(29)*x(25)*x(37)*x(27)-x(11)*x(26)*x(29)*x(25)*x(36)*x(34)*x(27)*x(40)-x(11)*x(26)*x(29)*x(25)*x(36)*x(28)-x(29)*x(25)*x(35)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(25)*x(35)*x(26)*x(38)*x(27)*x(40)-x(29)*x(25)*x(35)*x(11)*x(26)*x(39)*x(34)*x(27))/x(25)/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(x(29)*x(27)*x(33)*x(26)*x(39)+x(29)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(30)*x(26)*x(38)*x(34)*x(27)*x(40)+x(29)*x(11)*x(26)*x(38)*x(28)-x(30)*x(26)*x(38)*x(28)+x(30)*x(26)*x(39)*x(34)*x(27)-x(32)*x(26)*x(39)*x(27)+x(29)*x(27)*x(28)-x(29)*x(27)*x(40)*x(33)*x(26)*x(38)+x(32)*x(26)*x(38)*x(27)*x(40)-x(29)*x(11)*x(26)*x(39)*x(34)*x(27))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(-x(29)*x(33)*x(27)*x(40)+x(29)*x(11)*x(34)*x(27)*x(40)+x(29)*x(11)*x(28)-x(30)*x(34)*x(27)*x(40)-x(30)*x(28)+x(32)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(44)*(z^6-1)*(x(32)-x(29)*x(33)+x(29)*x(11)*x(34)-x(30)*x(34))/x(28))^2*pi+7/8*abs(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(10)+1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*x(16)*x(13)+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*x(17)*x(13)+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(22)+(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(11)+1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)*x(19)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(23))/z+(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(12)+1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)*x(20)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(24))/z^2+(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(12)-1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)*x(20)-1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))-1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))-1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(24))/z^3+(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(11)-1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)*x(19)-1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))-1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))-1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(23))/z^4+(1/2*(1/2*x(29)*x(25)+1/2*x(29)*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)+(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)+(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)+(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(10)-1/2*(1/2*x(29)*x(25)-1/2*x(29)*x(25)/z^6)*2^(1/2)*x(13)-1/2*(1/2*x(29)*x(25)*x(35)+1/2*x(26)-(1/2*x(29)*x(25)*x(35)+1/2*x(26))/z^6)*2^(1/2)*x(16)*x(13)-1/2*(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38)-(1/2*x(29)*x(25)*x(36)+1/2*x(26)*x(38))/z^6)*2^(1/2)*x(17)*x(13)-1/2*(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39)-(1/2*x(29)*x(25)*x(37)+1/2*x(26)*x(39))/z^6)*2^(1/2)*x(22))/z^5)^2*pi+7/8*abs(1/z^5*(-1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(41)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(44)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))+1/z^4*(-1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(42)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(45)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))+1/z^3*(-1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(43)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(46)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))+1/z^2*(-1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(43)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(46)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))+1/z*(-1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(42)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(45)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))-1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(41)*(z^6+1)*(-x(33)+x(11)*x(34))/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(35)*x(11)*x(26)*x(39)*x(34)*x(27)-x(11)*x(26)*x(36)*x(34)*x(27)*x(40)+x(35)*x(11)*x(26)*x(38)*x(34)*x(27)*x(40)-x(33)*x(26)*x(27)*x(37)+x(11)*x(26)*x(37)*x(34)*x(27)+x(33)*x(26)*x(36)*x(27)*x(40)+x(35)*x(27)*x(33)*x(26)*x(39)+x(35)*x(11)*x(26)*x(38)*x(28)-x(11)*x(26)*x(36)*x(28)+x(35)*x(27)*x(28)-x(35)*x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)+1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(-x(11)*x(26)*x(39)*x(34)*x(27)+x(11)*x(26)*x(38)*x(34)*x(27)*x(40)+x(27)*x(33)*x(26)*x(39)+x(11)*x(26)*x(38)*x(28)+x(27)*x(28)-x(27)*x(40)*x(33)*x(26)*x(38))/x(26)/x(27)/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(-x(27)*x(40)*x(33)+x(11)*x(34)*x(27)*x(40)+x(11)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(44)*(z^6-1)*(-x(33)+x(11)*x(34))/x(28))^2*pi+7/8*abs(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(10)+1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*x(16)*x(13)+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*x(17)*x(13)+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(22)+(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(11)+1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)*x(19)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(23))/z+(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(12)+1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)*x(20)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(24))/z^2+(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)*x(8)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(8)+x(2)*x(9))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(5)*x(1)*x(8)+x(6)*x(2)*x(9)+x(3))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(12)-1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)*x(20)-1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(20)+x(14)*x(21))-1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(17)*x(13)*x(20)+x(18)*x(14)*x(21)+x(15))-1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(24))/z^3+(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(5)*x(1)*x(7)+x(6)*x(2))+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(11)-1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)*x(19)-1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*(x(16)*x(13)*x(19)+x(14))-1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*(x(17)*x(13)*x(19)+x(18)*x(14))-1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(23))/z^4+(1/2*(1/2*x(30)*x(25)+1/2*x(30)*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)+(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)+(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)+(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(10)-1/2*(1/2*x(30)*x(25)-1/2*x(30)*x(25)/z^6)*2^(1/2)*x(13)-1/2*(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26)-(1/2*x(30)*x(25)*x(35)+1/2*x(11)*x(26))/z^6)*2^(1/2)*x(16)*x(13)-1/2*(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27)-(1/2*x(30)*x(25)*x(36)+1/2*x(11)*x(26)*x(38)+1/2*x(27))/z^6)*2^(1/2)*x(17)*x(13)-1/2*(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40)-(1/2*x(30)*x(25)*x(37)+1/2*x(11)*x(26)*x(39)+1/2*x(27)*x(40))/z^6)*2^(1/2)*x(22))/z^5)^2*pi+7/8*abs(1/z^5*(1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(41)*(z^6+1)*x(34)/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(44)*(z^6-1)*x(34)/x(28))+1/z^4*(1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(42)*(z^6+1)*x(34)/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(45)*(z^6-1)*x(34)/x(28))+1/z^3*(1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(43)*(z^6+1)*x(34)/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)-1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)+1/4/z^6*2^(1/2)*x(46)*(z^6-1)*x(34)/x(28))+1/z^2*(1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(43)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)+(1-x(43)*x(12))*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(43)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(43)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)-(1-x(43)*x(12))*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(43)*x(10)*(x(7)*x(9)-x(8))/x(3)+x(43)*x(11)*x(9)/x(3)+(1-x(43)*x(12))/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(43)*(z^6+1)*x(34)/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(46)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)+(1-x(46)*x(24))*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(46)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(46)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)-(1-x(46)*x(24))*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(46)*x(22)*(x(19)*x(21)-x(20))/x(15)+x(46)*x(23)*x(21)/x(15)+(1-x(46)*x(24))/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(46)*(z^6-1)*x(34)/x(28))+1/z*(1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)-(1-x(42)*x(11))*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(42)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(42)*x(10)*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)+(1-x(42)*x(11))*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(42)*x(12)*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(42)*x(10)*(x(7)*x(9)-x(8))/x(3)-(1-x(42)*x(11))*x(9)/x(3)-x(42)*x(12)/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(42)*(z^6+1)*x(34)/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)-(1-x(45)*x(23))*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(45)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(x(45)*x(22)*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)+(1-x(45)*x(23))*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(45)*x(24)*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*(-x(45)*x(22)*(x(19)*x(21)-x(20))/x(15)-(1-x(45)*x(23))*x(21)/x(15)-x(45)*x(24)/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(45)*(z^6-1)*x(34)/x(28))+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(4)*x(1)*x(7)*x(6)*x(2)*x(9)+x(4)*x(1)*x(7)*x(3)+x(2)*x(5)*x(1)*x(8)+x(2)*x(3)-x(4)*x(1)*x(8)*x(6)*x(2)-x(2)*x(9)*x(5)*x(1)*x(7))/x(1)/x(2)/x(3)+x(41)*x(11)*(x(4)*x(6)*x(2)*x(9)+x(4)*x(3)-x(5)*x(2)*x(9))/x(2)/x(3)-x(41)*x(12)*(x(4)*x(6)-x(5))/x(3))*(z^6+1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(41)*x(10))*(x(7)*x(6)*x(2)*x(9)+x(7)*x(3)-x(8)*x(6)*x(2))/x(2)/x(3)-x(41)*x(11)*(x(6)*x(2)*x(9)+x(3))/x(2)/x(3)+x(41)*x(12)*x(6)/x(3))*(z^6+1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(41)*x(10))*(x(7)*x(9)-x(8))/x(3)+x(41)*x(11)*x(9)/x(3)-x(41)*x(12)/x(3))*(z^6+1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(41)*(z^6+1)*x(34)/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(16)*x(13)*x(19)*x(18)*x(14)*x(21)+x(16)*x(13)*x(19)*x(15)+x(14)*x(17)*x(13)*x(20)+x(14)*x(15)-x(16)*x(13)*x(20)*x(18)*x(14)-x(14)*x(21)*x(17)*x(13)*x(19))/x(13)/x(14)/x(15)+x(44)*x(23)*(x(16)*x(18)*x(14)*x(21)+x(16)*x(15)-x(17)*x(14)*x(21))/x(14)/x(15)-x(44)*x(24)*(x(16)*x(18)-x(17))/x(15))*(z^6-1)*(-x(36)*x(34)*x(27)*x(40)+x(37)*x(34)*x(27)-x(35)*x(39)*x(34)*x(27)+x(35)*x(38)*x(28)+x(35)*x(38)*x(34)*x(27)*x(40)-x(36)*x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*(-(1-x(44)*x(22))*(x(19)*x(18)*x(14)*x(21)+x(19)*x(15)-x(20)*x(18)*x(14))/x(14)/x(15)-x(44)*x(23)*(x(18)*x(14)*x(21)+x(15))/x(14)/x(15)+x(44)*x(24)*x(18)/x(15))*(z^6-1)*(-x(39)*x(34)*x(27)+x(38)*x(28)+x(38)*x(34)*x(27)*x(40))/x(27)/x(28)+1/4/z^6*2^(1/2)*((1-x(44)*x(22))*(x(19)*x(21)-x(20))/x(15)+x(44)*x(23)*x(21)/x(15)-x(44)*x(24)/x(15))*(z^6-1)*(x(34)*x(27)*x(40)+x(28))/x(27)/x(28)-1/4/z^6*2^(1/2)*x(44)*(z^6-1)*x(34)/x(28))^2*pi+7/8*abs(1/2*(1/2*x(32)*x(25)+1/2*x(32)*x(25)/z^6)*2^(1/2)*x(1)+1/2*(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26)+(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26))/z^6)*2^(1/2)*x(4)*x(1)+1/2*(1/2*x(32)*x(25)*x(36)+1/2*x(33)*x(26)*x(38)+1/2*x(34)*x(27)+(1/2*x(32)*x(25)*x(36)+1/2*x(33)*x(26)*x(38)+1/2*x(34)*x(27))/z^6)*2^(1/2)*x(5)*x(1)+1/2*(1/2*x(32)*x(25)*x(37)+1/2*x(33)*x(26)*x(39)+1/2*x(34)*x(27)*x(40)+1/2*x(28)+(1/2*x(32)*x(25)*x(37)+1/2*x(33)*x(26)*x(39)+1/2*x(34)*x(27)*x(40)+1/2*x(28))/z^6)*2^(1/2)*x(10)+1/2*(1/2*x(32)*x(25)-1/2*x(32)*x(25)/z^6)*2^(1/2)*x(13)+1/2*(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26)-(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26))/z^6)*2^(1/2)*x(16)*x(13)+1/2*(1/2*x(32)*x(25)*x(36)+1/2*x(33)*x(26)*x(38)+1/2*x(34)*x(27)-(1/2*x(32)*x(25)*x(36)+1/2*x(33)*x(26)*x(38)+1/2*x(34)*x(27))/z^6)*2^(1/2)*x(17)*x(13)+1/2*(1/2*x(32)*x(25)*x(37)+1/2*x(33)*x(26)*x(39)+1/2*x(34)*x(27)*x(40)+1/2*x(28)-(1/2*x(32)*x(25)*x(37)+1/2*x(33)*x(26)*x(39)+1/2*x(34)*x(27)*x(40)+1/2*x(28))/z^6)*2^(1/2)*x(22)+(1/2*(1/2*x(32)*x(25)+1/2*x(32)*x(25)/z^6)*2^(1/2)*x(1)*x(7)+1/2*(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26)+(1/2*x(32)*x(25)*x(35)+1/2*x(33)*x(26))/z^6)*2^(1/2)*(x(4)*x(1)*x(7)+x(2))+1/2*(1/2*x(32)*x(25)*x(36)+1/2*x(33)*x(26)*x(38)+1/2*x(34)*x(27)+(1/2*x(32)*x(25)*x(?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -