Evaluate square root of 2sin((3pi)/8)cos((3pi)/8)