已知sinx-cosx=根号2/2,则cos4x=什么?