Evaluate sin^2(pi/8)+sin^2(3pi/8)?