[nowhere]

$$\frac{\tan(A+B+C)\sin A\sin B\sin C+\cos A\cos B\cos C}{\cos(A+B)\cos(B+C)\cos(C+A)} = ?$$