using reduce;
// Initialization (this requires the REDUCE image file in the current dir).
reduce_init "reduce.img" {"-v"};
// Verbosity level. 0 means no noise at all.
reduce_verb 0;
// Examples:
simplify (df ((x+1)^2) x);
simplify (df ((x+5)^3) x);
simplify (rhs (first (solve (log(sin(x+3))^5 == 8))));