1 + 2 \cos A \cos B \cos C - (\cos^2 A +\cos^2 B + \cos^2 C) where A+B+C=0