New formula: HEALpix 3.11