Let's solve in <math><mi>ℝ</mi></math>: <math><mi>cos</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo> = </mo><mn>0</mn></math>
<m>cos(θ) = <math><mn>0</mn></math></m> is equivalent to: <m>θ = ±<math><mfrac><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></mfrac></math> + <math><mn>2</mn><mi>k</mi><mo>·</mo><mi>π</mi></math><m>, </m>k ∈ ℤ</m>
<u>Solution found</u>: <math><mi>x</mi><mo> = </mo><mo>-</mo><mfrac><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo> + </mo><mn>2</mn><mi>k</mi><mo>·</mo><mi>π</mi></math>

▷<b>Result: &nbsp; <math><mo>{ </mo><mi>x</mi><mo> = </mo><mo>{ </mo><mo>-</mo><mfrac><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo> + </mo><mn>2</mn><mi>k</mi><mo>·</mo><mi>π</mi><mo>, </mo><mfrac><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo> + </mo><mn>2</mn><mi>k</mi><mo>·</mo><mi>π</mi><mo> }</mo><mo>, </mo><mi>k</mi><mo> ∈ </mo><mi>ℤ</mi><mo> }</mo></math></b><span style='font-size:smaller'> &nbsp; &nbsp; (computation took 3 steps and 16 ms)</span>