unirewrite to eval