use bit blasting to simplify results