enginerdmath elimination of arbitrary constants