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()
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()