simplify (e^((sqrt(-1/4)*pi)) < 2^(lb(3)+lb(u)))