Sure, it would be MUCH easier using the BCH formula (almost trivial). I was assuming that the problem is an excercise to demonstrate a nontrivial exponentiation of operators, and if the point was to use the BCH formula, then they would have at least made the commutator more complicated (like...