Double Zernike expansion of the optical aberration function from its power series expansion