(integral (xy)/2 dy from 0 to x )