В математике ... есть значения «по умолчанию».
А есть значения, которые вычисляются. И область определения (

) легко находится из формулы.
Из того, что для выражения

теперь

, и теперь

имеет другое значение, чем в приведенном примере, не следует, что краткое выражение с использованием условий по умолчанию, не ошибочно. А с Вашим уточнением согласен. Если не очевидна область определения, и без процедуры ее вычисления не обойтись, то всё выражение
до этой процедуры имеет статус не более чем школьная задача «упростить выражение». То есть, выражение ни к чему практически не пригодно.
Короткая запись

расширяется при полной записи до

и становится очевидно ошибочной. Впрочем, глубина интереса к этому вопросу у спрашивающего мне не известна. Если ему не потребуется проверять чужие выкладки, или никакой ответственности за матмодель в проектировании чего-либо человек не несет, это всё можно опустить.