I want to compute something like :
Conjugate[ Sin[\[Theta]] (I (2 Sqrt[2] f + h[x]) + Sin[\[Theta]] \[Eta][x]) Derivative[1][h][ x] + ((1 + I) Sqrt[2] f (1 + I Cos[2 \[Theta]]) + h[x] Sin[\[Theta]]^2 - (Cos[\[Theta]]^3 + I Sin[\[Theta]]^3) \[Eta][x]) Derivative[1][\[Eta]][x]] // Refine
Conjugate[
Sin[θ] (I (2 Sqrt[2] f + h[x]) + Sin[θ] η[x]) Derivative[1][h][x] +
((1 + I) Sqrt[2] f (1 + I Cos[2 θ]) + h[x] Sin[θ]^2 - (Cos[θ]^3 +
I Sin[θ]^3) η[x]) Derivative[1][η][x]] // Refine
I have a list of assumptions requiring that all the quantities (also the derivatives) are realsReals so, in principle, MathematicaMathematica should be able to replace the II by -I-I, problem is it does not...
Why is it so difficult for MathematicaMathematica to replace the II by -I-I, I really don't understand because it seems so simple...
Does anyone have a clue why it doesn't work ?
(I also tried SimplifySimplify / FullSimplifyFullSimplify instead of RefineRefine and it doesn't work as well)
Thank you in advance ;)
