fixes times(a,a,1) => times(power(a, 2), 1)
adds a comment
comments with transition from mpf to mpfr