Added another layer of factorization

a^2+2ab+b^2 => (a+b)^2