Find the Exact Value 2cos(pi/8)^2-1