Add examples from Matthieu Martel's papers
Add examples from Matthieu Martel's papers

These are gathered from several of his papers. They're a little unusual,
since most of them have very narrow bounds on the valid inputs and
require very good algebraic manipulation.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie