WolframAlpha computational knowledge AI
pi*2^2/4-2*(integrate (sqrt(4-x^2)-sqrt(2)-sqrt(2-(x-sqrt(2))^2)) dx from x=0..(3-sqrt(7))/sqrt(8))-(integrate (sqrt(2)-sqrt(2-(x-sqrt(2))^2)) dx from x=0..sqrt(2))