simplify(√(e^(i·π)) < cos(ln(3u)/i)+i·sin(ln(3u)/i))