prove: tan⁡(π+4x)=(4 tan⁡x-4 tan^3⁡x)/(tan^4⁡x-6 tan^2⁡x+1)