Yes, (-1)^(1/4) is in some sense better than the numeric value, but then Maxima is perfectly happy to simplify (-1)^(1/4)-(-1)^(1/4) => 0, which it shouldn't if you take the multivaluedness seriously. There's no way of knowing whether they're the *same* fourth root or not.... -s