simplify Num to the actual wrapped number
support symbolic subtraction
support simplification of sub and pow
proper simplification after differentiation