Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time (Logical Methods in Computer Science, 2014)