invert base
simplify
simplify