crlibm: new formula

The latest version `1.0beta4` has been there from 2010.