\cos(3\arccos x)\cos\left[\arccos(3x-4x^3)\right]-\sqrt{1-\cos^2(3\arccos x)}\sqrt{1-\cos^2\left[\arccos(3x-4x^3)\right]}=-1