The differentiability of Póyla's function