Dear all, I introduced domain::positive to indicate that a symbol or constant is positive. If it is we have abs(p) -> p real_part(log(p)) -> log(p) imag_part(log(p)) -> 0 Furthermore, for general x, I introduced abs(abs(x)) -> abs(x). Best wishes, Chris