Utilization Of Symmetry In Optimization Of Tensor Contraction Expressions