feat(opensmt): add support for sinh/cosh/tanh
test(nra): more tests
fix(filib): add missing READMD
test(nra): add sinh/cosh test