Visualize the output of Trace in a tree structure

Question

The output of Trace[expr] can be nicely represented as a tree, I guess. Here is an example trace.

x = 5;
Trace[Mod[(3 + x)^2, x - 1]]

(* {{{{x,5},3+5,8},8^2,64},{{x,5},5-1,4},Mod[64,4],0} *)

How can I make a tree graph from this list?

Answer 1

This shows a graphical tree of the expression.

HoldForm[{{{{x, 5}, 3 + 5, 8}, 8^2, 64}, {{x, 5}, 5 - 1, 4}, 
   Mod[64, 4], 0}] // TreeForm

Answer 2

Taking and running with image_doctor's example, you can get a representation without "HoldForm" visible like this:

Unevaluated @ Unevaluated[
 {{{{x, 5}, 3 + 5, 8}, 8^2, 64}, {{x, 5}, 5 - 1, 4}, Mod[64, 4], 0}
] // TreeForm

See these comments for some valuable thoughts about this method.