1つずつ結合則を当てはめているつもりならたいぶ省いてあるな
がそこまで書く必要はない
乱暴に言えば、結合則は結果は演算の順番によらない、
括弧を外してしまっていいってことだから
(a*x*a^(-1))*(a*y*a^(-1))=a*x*a^(-1)*a*y*a^(-1)
=a*x*y*a^(-1)
としてしまった方が見やすいし