This PR implements a transformation that replaces a linear algebra instruction with its mathematical definition.