feat(dreal.rb): add dreal formula