helib: new formula