$cos\frac\pi4=$

$cos\frac\pi4=\frac{\sqrt2}2$