Denesting a Radical Using a Formula