there is no need for the "timesWithVariable" function, transforming to a form that just uses "times"