Simplify (2tan(pi/8))/(1-tan(pi/8)^2)