Examples in TFA and at least one in the thread. Or say 4-quadrant atan might be ...

		oh_my_goodness 10 hours ago \| parent \| context \| favorite \| on: Why Mathematica does not simplify sinh(arccosh(x)) 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?

		help