integrate 2x from 0 to sqrt2/2