Если я возвожу выражение в любую четную степень, но не знаю положительное ли оно, то я должен ставить модуль?

В четной степени любое выражение превращается в неотрицательное.

Поэтому модуль уже не нужен - оно и так неотрицательное.

x^2 >= 0

А вот если ты вычисляешь квадратный корень из квадрата выражения, то нужно ставить модуль.

√(x^2) = |x|