Simplify (4-2 square root of 3)