Expression involving the sum of angles