"The integral of Sin[x] is -Cos[x]"