L.H.S. = cot( pi/4 -2cot-13)
= tan[ pi/2 -(pi/4- 2cot-13)]
= tan[ pi/4 +2cot-13]
=[ tanpi/4 +tan(2cot-13)]/ [1- tanpi/4 .tan(2cot-13)]
knowing that tan2x = 2tanx/1-tan2x
tan(2cot-13) = 2tan(cot-13)/[ 1- tan2(cot-13)]
= 3/4
hence
LHS=1+3/4 /1-1.3/4
= 7 = R.H.S.