auv: remove whitespace
auv: wrap macro with parens; use abs for sqrt
auv: add constraints on tau