Rename files according to their function.
Separate constructing formula from solving formula.