cot(π/4 – 2cot^-1(3)) =