Abstract
We apply automorphy lifting techniques to establish new cases of symmetric power functoriality for Hilbert modular forms of regular algebraic weight. The proof is based on a novel application of an automorphy lifting theorem for residually reducible Galois representations.