inv.adl
 1  
 2  x.inv()
 3  x.inv().inv().inv()
 4  -x.inv()
 5  (-x).inv()
 6  -(x.inv())
 7  (-x.inv()).inv()
 8  !x.inv()
 9  (!x).inv()
10  !(x.inv())
11  (!x.inv()).inv()