muterm: Error (Terms): Symbol GCD has no 3 arguments.