Mathvengers: Integral War [ 24 ways to integrate cos(x) from 0 to pi/2]