integral from 0 to Pi%2F4 of (sin(x))%5E2