(RTL::EXPO-/-POWER2P-1
 (5 1 (:REWRITE DEFAULT-UNARY-/))
 (3 3 (:REWRITE RTL::EXPO-SHIFT-GENERAL))
 (2 2 (:REWRITE RTL::POWER2-INTEGER))
 (2 2 (:REWRITE RTL::INTEGERP-MINUS))
 (2 2 (:REWRITE DEFAULT-*-2))
 (2 2 (:REWRITE DEFAULT-*-1))
 )
