solve 4 = xe^{cos x}