(arith_expr.ArithBinary op_id: Plus left: (arith_expr.ArithBinary op_id:Plus left:(arith_expr.Const i:1) right:(arith_expr.Const i:2)) right: (arith_expr.Const i:3) ) (arith_expr.ArithBinary op_id: Plus left: (arith_expr.Const i:1) right: (arith_expr.ArithBinary op_id:Star left:(arith_expr.Const i:2) right:(arith_expr.Const i:3)) ) (arith_expr.ArithBinary op_id: Star left: (arith_expr.Const i:4) right: (arith_expr.ArithBinary op_id:Plus left:(arith_expr.Const i:2) right:(arith_expr.Const i:3)) ) (arith_expr.ArithBinary op_id: Star left: (arith_expr.ArithBinary op_id:Plus left:(arith_expr.Const i:2) right:(arith_expr.Const i:3)) right: (arith_expr.Const i:4) )