Simplifying side-inv