Analytic Computational Complexity