program for testing Equationator