Add the getExprForFDESymbol method that responsible for computing the