(sin13)^2 + (cos17)^2 - sin13 cos 17 = (1 - cos 26) / 2 + (1 + cos 34) / 2 - sin 13 cos 17
= 1 +( cos (30 + 4) - cos (30 - 4) ) / 2 - 1/2 ( sin (13+17) - sin(17 - 13) )
= 1 + ( - 2 sin 30 sin 4 ) / 2 - ( sin 30 - sin 4 ) / 2
= 1 - sin 4 / 2 - 1 / 4 + sin 4 / 2
= 3 / 4