so there's an unconditionally correct answer (it's also equal to abs(x) for x>0)... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		exe34 4 days ago \| parent \| context \| favorite \| on: Why Mathematica does not simplify sinh(arccosh(x)) so there's an unconditionally correct answer (it's also equal to abs(x) for x>0), and then there is an answer that is only correct for half the domain, which requires an additional assumption.

		help

crubier 4 days ago [–]

sqrt(square(i)) != abs(i)

So no, it’s not unconditionally correct either.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact