[PDF] Precisely computing phonons via irreducible derivatives