compreal is_an_inverseOp_wrt addreal