crlibm: new formula

(we won't include a beta version into core)