If A = [[cos x, -sin x], [sin x, cos x]], find AA^T