∫ secx dx via partial fraction decomposition