this works: plus(b,b) -> times(2, b)
fixes: 1 : times(a,a) 1=> power(a, 2)