In[1]:= ExpandTn 2 ⩵ (nx σx + ny τxy + nz τzx )2 + (ny σy + nx τxy + nz τyz )2 + (nz σz + ny τyz + nx τzx )2 

Out[1]= T2n ⩵ n2x σ2x + n2y σ2y + n2z σ2z + 2 nx ny σx τxy + 2 nx ny σy τxy +
n2x τ2xy + n2y τ2xy + 2 ny nz σy τyz + 2 ny nz σz τyz + 2 nx nz τxy τyz + n2y τ2yz + n2z τ2yz +
2 nx nz σx τzx + 2 nx nz σz τzx + 2 ny nz τxy τzx + 2 nx ny τyz τzx + n2x τ2zx + n2z τ2zx

2
In[2]:= Expandσn 2 ⩵ n2x σx + n2y σy + n2z σz + 2 nx ny τxy + 2 ny nz τyz + 2 nx nz τzx  
Out[2]= σ2n ⩵ n4x σ2x + 2 n2x n2y σx σy + n4y σ2y + 2 n2x n2z σx σz + 2 n2y n2z σy σz + n4z σ2z +
4 n3x ny σx τxy + 4 nx n3y σy τxy + 4 nx ny n2z σz τxy + 4 n2x n2y τ2xy + 4 n2x ny nz σx τyz +
4 n3y nz σy τyz + 4 ny n3z σz τyz + 8 nx n2y nz τxy τyz + 4 n2y n2z τ2yz + 4 n3x nz σx τzx +
4 nx n2y nz σy τzx + 4 nx n3z σz τzx + 8 n2x ny nz τxy τzx + 8 nx ny n2z τyz τzx + 4 n2x n2z τ2zx

In[3]:= Simplify
n2x σ2x + n2y σ2y + n2z σ2z + 2 nx ny σx τxy + 2 nx ny σy τxy + n2x τ2xy + n2y τ2xy + 2 ny nz σy τyz + 2 ny nz σz τyz +
2 nx nz τxy τyz + n2y τ2yz + n2z τ2yz + 2 nx nz σx τzx + 2 nx nz σz τzx + 2 ny nz τxy τzx +
2 nx ny τyz τzx + n2x τ2zx + n2z τ2zx  - n4x σ2x + 2 n2x n2y σx σy + n4y σ2y + 2 n2x n2z σx σz + 2 n2y n2z σy σz +
n4z σ2z + 4 n3x ny σx τxy + 4 nx n3y σy τxy + 4 nx ny n2z σz τxy + 4 n2x n2y τ2xy + 4 n2x ny nz σx τyz +
4 n3y nz σy τyz + 4 ny n3z σz τyz + 8 nx n2y nz τxy τyz + 4 n2y n2z τ2yz + 4 n3x nz σx τzx +
0.5
4 nx n2y nz σy τzx + 4 nx n3z σz τzx + 8 n2x ny nz τxy τzx + 8 nx ny n2z τyz τzx + 4 n2x n2z τ2zx  
4
Out[3]= - nx σ2x- n4y σ2y n3y
- 4 nz σy τyz + n2y σ2y n2z
- 2 σy σz + τ2xy
+ 1 - 4 n2z  τ2yz  - 4 n3x σx (ny τxy + nz τzx ) +
2 ny nz σy τyz + 1 - 2 n2z  σz τyz + τxy τzx  + n2z - - 1 + n2z  σ2z + τ2yz + τ2zx  +
n2x σ2x + 1 - 4 n2y  τ2xy - 2 σx n2y σy + n2z σz + 2 ny nz τyz  - 8 ny nz τxy τzx + 1 - 4 n2z  τ2zx  +
2 nx - 2 n3y σy τxy - 2 n2y nz 2 τxy τyz + σy τzx  + nz τxy τyz + σx + σz - 2 n2z σz  τzx  +
0.5
ny σx τxy + σy τxy - 2 n2z σz τxy + τyz τzx - 4 n2z τyz τzx 