Tan[Pi/8] == Sqrt[2] - 1