sqrt(x^2-2x*cos(2t)+1)+x+1=(sqrt(2-x^2)+x)(sint+1)-(sqrt(2-x^2)-x)*cost