time x y 1 time y epsilon 1 x 2 y x 1