def ders(s: List[Char], r: Rexp) : Rexp = s match {+− case Nil => r+− case c::s => ders(s, simp(der(c, r))) +− }+−