>>765
それくらいなら手でも検算できるが（cost=1-2sin(t/2)^2だから）、
mathematicaでaとbがおなじかどうかは、
a-b//Simplify
として運良く0になればわかる。