Herbie can't find atanh #1474
Description
As in PR #1473, Herbie doesn't seem to be able to rewrite log((1 + x) / (1 - x)) → 2 atanh(x) even though as far as I can tell all the rules are there.
Bug courtesy of @JonasRegehr
{{ message }}
Herbie can't find