### simplify sinh expression

I guess I just ran up against one of those maxima things again, but I thought I would signal the problem anyway.

I would have expected Sage to simplify

```
sinh(log(1+sqrt(2)))
```

(it is 1), but Sage doesn't. It doesn't return True to the following either

~~argsinh(1)==1+sqrt(2)
~~arcsinh(1)==1+sqrt(2)

or am I missing something?