Integrals of polar functions

[noobyxviii]

Both of these integrals should be multiplied by 1/2

So the answer should be 3pi/2 - 2sqrt(2)

See integralsOfPolarFunctions/digInIntegralsOfPolarFunctions.tex