min(1) * 1 ** 1
