simplify(floor(x/2)-(x-1)/2), x>0 and x%2=1