The problem is allowing arbitrary numbers of unary operators. If you allowed ++ increment it would be trivialized even easier. Could even do all complex numbers with only 2 twos.

If you don't allow arbitrary numbers of unary operators and only a finite set of binary operators then you will only be able to represent a finite number of numbers. You need at least one "useful" unary operator for the problem to remain interesting.