((1-cos 2(pi/3))(1+tan 2(pi/3))) == tan 2(pi/3)