Further refinement of pairing computation based on Miller's algorithm