Was ist die Lösung zu f(x) = sin x cos x