1 1 a ~ 1 2 = EXP(a) 1 1 a ~ 1 a = COS(a) 2 2 a ~ 1 b ~ 0 a = COS(a) b = TIMES(2, a) 2 2 a ~ 0 b ~ 1 a = TIMES(2, b) b = COS(b)