#include "lambda_lib/lambda_lib.hpp"

using namespace lambda;

int main(void) {
  std::unique_ptr<LambdaBase> node =  //
    APPLICATION(                      //
      FIRST(),                        //
      APPLICATION(                    //
        SECOND(),                     //
        LIST(                         //
          NATURAL_NUMBER(0),          //
          NATURAL_NUMBER(1),          //
          NATURAL_NUMBER(2)           //
          )                           //
        )                             //
    );                                //

  std::cout << "original (" << getSize(node) << " bytes): ";
  print(node);
  std::cout << "\n";

  rename(node);

  std::cout << "renamed: ";
  print(node);
  std::cout << "\n";

  std::size_t maxSize = getSize(node);
  std::size_t minSize = getSize(node);
  std::size_t totalSize = getSize(node);
  std::size_t step = 0;
  bool isReduced = !reduceOnce(node);

  while (!isReduced) {
    std::size_t size = getSize(node);

    maxSize = std::max(maxSize, size);
    minSize = std::min(minSize, size);
    totalSize += size;

    std::cout << "step " << ++step << " (" << getSize(node) << " bytes): ";
    print(node);
    std::cout << "\n";

    isReduced = !reduceOnce(node);
  }

  std::cout << "result (" << getSize(node) << " bytes): ";
  print(node);
  std::cout << "\n";

  if (step)
    std::cout << "info: steps(" << step << ") minSize(" << minSize
              << ") maxSize(" << maxSize << ") avrgSize("
              << (double)totalSize / step << ")\n";

  return 0;
}