simplifying some "times" regexes. Output is further normalised to turn "->  " into "-> " (double space following arrow into single space)