Grushin differential operator