sin(sqrt(2)/2)/(sec(pi/4)*arctan((3*pi)/4)*cos(pi!))