Try logcontract(log(a)-log(b)) --> log(a/b) Why is this not done automatically? Probably because it isn't always true, but depends on appropriate choices of branch of the logarithm.