feat(dreal.rb): add formula dreal