Formula for fplll