The problem of providing a closed-form expression for a definite integral has been studied by a variety of methods. The corresponding problem for indefinite integrals has been solved, for a large class of integrands, by the methods developed by Risch [58, 59, 60]. The reader will find in [21] a modern description of these ideas and in [70] an interesting overwiew of techniques for integration.