Include vectorisation into the simplifier pipeline