arctg(x)+(y)^(0.5) equation
The teacher will be very surprised to see your correct solution 😉
The solution
2 2
y1 = re (atan(x)) - im (atan(x)) + 2*I*im(atan(x))*re(atan(x))
$$y_{1} = \left(\operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2} + 2 i \operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)} \operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)} - \left(\operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2}$$
y1 = re(atan(x))^2 + 2*i*re(atan(x))*im(atan(x)) - im(atan(x))^2
Sum and product of roots
[src]
2 2
re (atan(x)) - im (atan(x)) + 2*I*im(atan(x))*re(atan(x))
$$\left(\operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2} + 2 i \operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)} \operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)} - \left(\operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2}$$
2 2
re (atan(x)) - im (atan(x)) + 2*I*im(atan(x))*re(atan(x))
$$\left(\operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2} + 2 i \operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)} \operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)} - \left(\operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2}$$
2 2
re (atan(x)) - im (atan(x)) + 2*I*im(atan(x))*re(atan(x))
$$\left(\operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2} + 2 i \operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)} \operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)} - \left(\operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2}$$
2 2
re (atan(x)) - im (atan(x)) + 2*I*im(atan(x))*re(atan(x))
$$\left(\operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2} + 2 i \operatorname{re}{\left(\operatorname{atan}{\left(x \right)}\right)} \operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)} - \left(\operatorname{im}{\left(\operatorname{atan}{\left(x \right)}\right)}\right)^{2}$$
re(atan(x))^2 - im(atan(x))^2 + 2*i*im(atan(x))*re(atan(x))