* Not really Herbie-related, but it would be nice to warn about
    * non-use of sin_cos and such
    * ln(foo)/ln(base) → log(foo, base)
    * non-use of to_degrees and to_radians

* https://github.com/uwplse/herbie/issues/84

FAQ:
* Why does it need a database?