This looks like debugging output, it shouldn't be checked in. The -v option is designed to show minimal statistics about execution, not print entire complex terms.