pretty printing for Expr as external function