Implement expansion of expressions
Implement full splitting of expressions
Implement precomputation of invariant terms
Implement transformation into matrix multiplies