recognize transpose, ctranspose and multiplication by a scalar in mtimes. End up with an mtimes node with 6 children
swap alpha and beta in mtimes, remove intermediate mtimes with 4-5 arguments + add a bit of doc