Integrate a Highly Oscillating Function

Use hybrid symbolic-numeric methods to immediately solve problem 1 of the SIAM challenge problems, a difficult, highly oscillatory numerical integration.