Reduce Op.toString() verbosity