tan(9 * π/32) - tan(8 * π/32)