superdifferentiable quasi-differentiable differentiable quasidifferentiable multiderivative subsequential ultradifferentiable sublinear complex-differentiable subrecursive