Let f:[0,1]→[0,1] be a continuous function such that x2+(f(x))2≤1 for all x∈[0,1] and 1∫0f(x) dx=π4, then 1√2∫12f(x)1−x2 dx equals