int (cosx-1/sqrt2)dx; x=0..(pi/4)
неопределенный интеграл
sinx-x/sqrt2 + C
подстаавляем границы интегрирования
sin0-0-sin(pi/4)=(pi/4)/sqrt2 = - (pi-4)/4sqrt2
это приблизительно равно 0.15
