crlibm: new formula