Using Different Interval Extensions to Increase the Accuracy of the Exact Solution on Recursive Functions