tan(π/16) = sqrt((2-sqrt(2+sqrt(2)))/(2+sqrt(2+sqrt(2))))