syms x y a theta
fimplicit(x.^2+y.^2==2*cos(2*atan2(y,x)))
eqn = 4*(a^2*cos(2*theta))
eqn =
int(eqn,theta,0,pi/4)
ans =
1