Live data from Hacker News

Why Mathematica does not simplify sinh(arccosh(x))

johndcook.com

61–64 of 64 posts

Re: Why Mathematica does not simplify sinh(arccosh(x))

#61

Earlier quoted context omitted.

In this case, a heuristic like "less parameters, less operators and less function calls" covers all the cases.

It doesn't, because we might consider different outputs "simple" depending on what we're going to do next.

Sure, an example would be nice.

Re: Why Mathematica does not simplify sinh(arccosh(x))

#62

Earlier quoted context omitted.

It doesn't, because we might consider different outputs "simple" depending on what we're going to do next.

Sure, an example would be nice.

Examples in TFA and at least one in the thread. Or say 4-quadrant atan might be simpler or less simple than 2-quadrant atan, depending on what you're doing next. Lots of stuff like that. Is a factored polynomial simpler than unfactored?

Re: Why Mathematica does not simplify sinh(arccosh(x))

#63

Earlier quoted context omitted.

It also equals x with appropriate assumptions (x > 0).

Well, then sin(x) = x if x is infinitely small

> Assuming[x == 0, Simplify[Sin[x] == x]]

Mathematica returns True. And any middle schooler will also tell you it's true.

The only reasonable interpretation of "infinitely small" is that it's zero.

Re: Why Mathematica does not simplify sinh(arccosh(x))

#64
post #57
post #53

Earlier quoted context omitted.

PLEASE explain "So you can extend x/x holomorphically to full C" to someone with only a BSc in math/cs; something about this thread is giving me an existential crisis right now.

- function extension is defining a function where it is not defined - function extension is an extension that keeps (or gives) Adj property - extended function is usually treated as originals if extension is good enough. Real analysis starts with defining real numbers and extending familiar functions onto them - in this particular case we do not need C - even continuous extension on R works and agrees with x/x = 1 at…

Thank you, but, now I have 10 further “explain it to me” questions. (I never did analysis so this stuff is entirely over my head. I had one semester of algebraic structures. It was the hardest class I ever had in my life.)
Post reply on HN