Calculate and output definitional equalities with -d