Document symbolic integral and add another speedup