sin²asin²b+cos²acos²b-1/2cos2acos2b
=(1-cos²a)(1-cos²b)+cos²acos²b-1/2(2cos²a-1)(2cos²b-1)
=1-cos²b-cos²a+cos²acos²b+cos²acos²b-1/2(4cos²acos²b-2cos²a-2cos²b+1)
=1-cos²b-cos²a+2cos²acos²b-2cos²acos²b+cos²a+cos²b-1/2
=1-1/2
=1/2