Simplify (x+2 square root of 3)(x-2 square root of 3)