The Symbolic Benchmark Challenge Suite

  1. SETUP: Let f = (x+y+z+1)^20. COMPUTATION: Compute all coefficients of all monomials of f\cdot (f+1), i.e., expand that expression.

  2. SETUP: Define a function f(z) = sqrt(1/3)*z^2 + I/3. COMPUTATION: Compute the first 5 digits of the numerator of the real part of f(f(f(...(f(I/2))...) iterated 10 times.