Suppose $a$ is a real number such that $\sin(\pi \cdot  \cos a) = \cos(\pi \cdot \sin a)$. Evaluate $35 \sin^2(2a) + 84 \cos^2(4a)$.

Let's think step by step and output the final answer within \boxed{}.
user