Closed Form for Recursive Division by Four