I think so, except that
Or(And(x < 1, cos(x) < 0), And(x >= 1, 1/x > 0)).subs(x, 0.0)
raises a ZeroDivisionError
while Piecewise stop to subs at the first True.