How do you verify tan(πx)=tanx?