Rename `is_reducible` function to `reducible_exp`
Rename `reduce` function to `reduce_exp`
Tweak layout