polygon(-√(3/2-√5/2),1),(√(3/2-√5/2),1),(√(3/2--√5/2),3),(-√(3/2--√5/2),3)