#include <iostream>
#include <cassert>
#include "texpression.cpp"

int main ()
{
  ifmp::texpression a (3);
  ifmp::texpression b (4);
  ifmp::texpression c (5);
  ifmp::texpression d = a-b-c; // left-right
  ifmp::texpression e = a-(b-c); // right-left
  ifmp::texpression f = -e;
  ifmp::texpression g;
  g = f;
  ifmp::texpression h;
  ifmp::texpression j = h;
  ifmp::texpression i = d;
  i += e;
  std::cout << d << "\n";
  std::cout << e << "\n";
  std::cout << f << "\n";  
  std::cout << g << "\n";
  std::cout << d.evaluate() << "\n"; // -6
  std::cout << e.evaluate() << "\n"; // 4
  std::cout << i.evaluate() << "\n"; // -2
  std::cout << f.evaluate() << "\n"; // -4
  std::cout << g.evaluate() << "\n"; // -4

  return 0;
}