Added method derive in class RFormalExpressionTree