y*cosx+sinx=1 equation
The teacher will be very surprised to see your correct solution 😉
The solution
$$x_{1} = \frac{\pi}{2}$$
/ /-1 + y\\ / /-1 + y\\
x2 = - 2*re|atan|------|| - 2*I*im|atan|------||
\ \1 + y // \ \1 + y //
$$x_{2} = - 2 \operatorname{re}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} - 2 i \operatorname{im}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)}$$
x2 = -2*re(atan((y - 1)/(y + 1))) - 2*i*im(atan((y - 1)/(y + 1)))
Sum and product of roots
[src]
pi / /-1 + y\\ / /-1 + y\\
-- + - 2*re|atan|------|| - 2*I*im|atan|------||
2 \ \1 + y // \ \1 + y //
$$\left(- 2 \operatorname{re}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} - 2 i \operatorname{im}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)}\right) + \frac{\pi}{2}$$
pi / /-1 + y\\ / /-1 + y\\
-- - 2*re|atan|------|| - 2*I*im|atan|------||
2 \ \1 + y // \ \1 + y //
$$- 2 \operatorname{re}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} - 2 i \operatorname{im}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} + \frac{\pi}{2}$$
pi / / /-1 + y\\ / /-1 + y\\\
--*|- 2*re|atan|------|| - 2*I*im|atan|------|||
2 \ \ \1 + y // \ \1 + y ///
$$\frac{\pi}{2} \left(- 2 \operatorname{re}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} - 2 i \operatorname{im}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)}\right)$$
/ / /-1 + y\\ / /-1 + y\\\
-pi*|I*im|atan|------|| + re|atan|------|||
\ \ \1 + y // \ \1 + y ///
$$- \pi \left(\operatorname{re}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)} + i \operatorname{im}{\left(\operatorname{atan}{\left(\frac{y - 1}{y + 1} \right)}\right)}\right)$$
-pi*(i*im(atan((-1 + y)/(1 + y))) + re(atan((-1 + y)/(1 + y))))