From Recursion to Closed Forms

Program analysis by optimizing for clarity.