Crlibm: new formula

Closes #1362.