(+ 1 2)
automatic_simplify: (+ (+ 1 2))
automatic_simplify: (+ 1 2)
automatic_simplify: 1
automatic_simplify: 2
simplify_addition_rec: operands = ["1", "2"]
sum: 3
3
(DiceRoll 2 6)
automatic_simplify: (+ (DiceRoll 2 6))
automatic_simplify: (DiceRoll 2 6)
(DiceRoll 2 6)
(+ (DiceRoll 2 6) 1)
automatic_simplify: (+ (+ (DiceRoll 2 6) 1))
automatic_simplify: (+ (DiceRoll 2 6) 1)
automatic_simplify: (DiceRoll 2 6)
automatic_simplify: 1
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "1"]
(+ (DiceRoll 2 6) 1)
(+ 1 (DiceRoll 2 6))
automatic_simplify: (+ (+ 1 (DiceRoll 2 6)))
automatic_simplify: (+ 1 (DiceRoll 2 6))
automatic_simplify: 1
automatic_simplify: (DiceRoll 2 6)
simplify_addition_rec: operands = ["1", "(DiceRoll 2 6)"]
(+ 1 (DiceRoll 2 6))
(+ (+ (DiceRoll 2 6) (* 2 3)) 4)
automatic_simplify: (+ (+ (+ (DiceRoll 2 6) (* 2 3)) 4))
automatic_simplify: (+ (+ (DiceRoll 2 6) (* 2 3)) 4)
automatic_simplify: (+ (DiceRoll 2 6) (* 2 3))
automatic_simplify: (DiceRoll 2 6)
automatic_simplify: (* 2 3)
automatic_simplify: 2
automatic_simplify: 3
simplify_multiplication_rec: operands = ["2", "3"]
product: 6
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "6"]
automatic_simplify: 4
simplify_addition_rec: operands = ["(+ (DiceRoll 2 6) 6)", "4"]
merge_additions: ["(DiceRoll 2 6)", "6"], ["4"]
simplify_addition_rec: operands = ["6", "4"]
sum: 10
merge_additions: ["(DiceRoll 2 6)", "10"], []
(+ (DiceRoll 2 6) 10)
(+ (+ (+ (+ 1 (* 2 3)) (DiceRoll 2 6)) 4) (* 5 2))
automatic_simplify: (+ (+ (+ (+ (+ 1 (* 2 3)) (DiceRoll 2 6)) 4) (* 5 2)))
automatic_simplify: (+ (+ (+ (+ 1 (* 2 3)) (DiceRoll 2 6)) 4) (* 5 2))
automatic_simplify: (+ (+ (+ 1 (* 2 3)) (DiceRoll 2 6)) 4)
automatic_simplify: (+ (+ 1 (* 2 3)) (DiceRoll 2 6))
automatic_simplify: (+ 1 (* 2 3))
automatic_simplify: 1
automatic_simplify: (* 2 3)
automatic_simplify: 2
automatic_simplify: 3
simplify_multiplication_rec: operands = ["2", "3"]
product: 6
simplify_addition_rec: operands = ["1", "6"]
sum: 7
automatic_simplify: (DiceRoll 2 6)
simplify_addition_rec: operands = ["7", "(DiceRoll 2 6)"]
automatic_simplify: 4
simplify_addition_rec: operands = ["(+ 7 (DiceRoll 2 6))", "4"]
merge_additions: ["7", "(DiceRoll 2 6)"], ["4"]
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "4"]
merge_additions: ["7", "(DiceRoll 2 6)", "4"], []
automatic_simplify: (* 5 2)
automatic_simplify: 5
automatic_simplify: 2
simplify_multiplication_rec: operands = ["5", "2"]
product: 10
simplify_addition_rec: operands = ["(+ 7 (DiceRoll 2 6) 4)", "10"]
merge_additions: ["7", "(DiceRoll 2 6)", "4"], ["10"]
simplify_addition_rec: operands = ["4", "10"]
sum: 14
merge_additions: ["7", "(DiceRoll 2 6)", "14"], []
(+ 7 (DiceRoll 2 6) 14)
(+ (- (+ (- 1 (* 2 3)) (DiceRoll 2 6)) (* 4 5)) 6)
automatic_simplify: (+ (+ (- (+ (- 1 (* 2 3)) (DiceRoll 2 6)) (* 4 5)) 6))
automatic_simplify: (+ (- (+ (- 1 (* 2 3)) (DiceRoll 2 6)) (* 4 5)) 6)
automatic_simplify: (- (+ (- 1 (* 2 3)) (DiceRoll 2 6)) (* 4 5))
automatic_simplify: (+ (- 1 (* 2 3)) (DiceRoll 2 6))
automatic_simplify: (- 1 (* 2 3))
automatic_simplify: 1
automatic_simplify: (* 2 3)
automatic_simplify: 2
automatic_simplify: 3
simplify_multiplication_rec: operands = ["2", "3"]
product: 6
automatic_simplify: (* -1 6)
automatic_simplify: -1
automatic_simplify: 6
simplify_multiplication_rec: operands = ["-1", "6"]
product: -6
simplify_addition_rec: operands = ["1", "-6"]
sum: -5
automatic_simplify: (DiceRoll 2 6)
simplify_addition_rec: operands = ["-5", "(DiceRoll 2 6)"]
automatic_simplify: (* 4 5)
automatic_simplify: 4
automatic_simplify: 5
simplify_multiplication_rec: operands = ["4", "5"]
product: 20
automatic_simplify: (* -1 20)
automatic_simplify: -1
automatic_simplify: 20
simplify_multiplication_rec: operands = ["-1", "20"]
product: -20
simplify_addition_rec: operands = ["(+ -5 (DiceRoll 2 6))", "-20"]
merge_additions: ["-5", "(DiceRoll 2 6)"], ["-20"]
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "-20"]
merge_additions: ["-5", "(DiceRoll 2 6)", "-20"], []
automatic_simplify: 6
simplify_addition_rec: operands = ["(+ -5 (DiceRoll 2 6) -20)", "6"]
merge_additions: ["-5", "(DiceRoll 2 6)", "-20"], ["6"]
simplify_addition_rec: operands = ["-20", "6"]
sum: -14
merge_additions: ["-5", "(DiceRoll 2 6)", "-14"], []
(+ -5 (DiceRoll 2 6) -14)
(+ (+ (+ (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6)) 5) 6) 7)
automatic_simplify: (+ (+ (+ (+ (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6)) 5) 6) 7))
automatic_simplify: (+ (+ (+ (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6)) 5) 6) 7)
automatic_simplify: (+ (+ (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6)) 5) 6)
automatic_simplify: (+ (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6)) 5)
automatic_simplify: (+ (+ (+ 1 (DiceRoll 2 6)) (* 3 4)) (DiceRoll 1 6))
automatic_simplify: (+ (+ 1 (DiceRoll 2 6)) (* 3 4))
automatic_simplify: (+ 1 (DiceRoll 2 6))
automatic_simplify: 1
automatic_simplify: (DiceRoll 2 6)
simplify_addition_rec: operands = ["1", "(DiceRoll 2 6)"]
automatic_simplify: (* 3 4)
automatic_simplify: 3
automatic_simplify: 4
simplify_multiplication_rec: operands = ["3", "4"]
product: 12
simplify_addition_rec: operands = ["(+ 1 (DiceRoll 2 6))", "12"]
merge_additions: ["1", "(DiceRoll 2 6)"], ["12"]
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "12"]
merge_additions: ["1", "(DiceRoll 2 6)", "12"], []
automatic_simplify: (DiceRoll 1 6)
simplify_addition_rec: operands = ["(+ 1 (DiceRoll 2 6) 12)", "(DiceRoll 1 6)"]
merge_additions: ["1", "(DiceRoll 2 6)", "12"], ["(DiceRoll 1 6)"]
simplify_addition_rec: operands = ["12", "(DiceRoll 1 6)"]
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)"], []
automatic_simplify: 5
simplify_addition_rec: operands = ["(+ 1 (DiceRoll 2 6) 12 (DiceRoll 1 6))", "5"]
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)"], ["5"]
simplify_addition_rec: operands = ["(DiceRoll 1 6)", "5"]
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)", "5"], []
automatic_simplify: 6
simplify_addition_rec: operands = ["(+ 1 (DiceRoll 2 6) 12 (DiceRoll 1 6) 5)", "6"]
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)", "5"], ["6"]
simplify_addition_rec: operands = ["5", "6"]
sum: 11
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)", "11"], []
automatic_simplify: 7
simplify_addition_rec: operands = ["(+ 1 (DiceRoll 2 6) 12 (DiceRoll 1 6) 11)", "7"]
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)", "11"], ["7"]
simplify_addition_rec: operands = ["11", "7"]
sum: 18
merge_additions: ["1", "(DiceRoll 2 6)", "12", "(DiceRoll 1 6)", "18"], []
(+ 1 (DiceRoll 2 6) 12 (DiceRoll 1 6) 18)
(- (DiceRoll 2 6) (* (DiceRoll 1 6) 3))
automatic_simplify: (+ (- (DiceRoll 2 6) (* (DiceRoll 1 6) 3)))
automatic_simplify: (- (DiceRoll 2 6) (* (DiceRoll 1 6) 3))
automatic_simplify: (DiceRoll 2 6)
automatic_simplify: (* (DiceRoll 1 6) 3)
automatic_simplify: (DiceRoll 1 6)
automatic_simplify: 3
simplify_multiplication_rec: operands = ["(DiceRoll 1 6)", "3"]
flip: ["3", "(DiceRoll 1 6)"]
automatic_simplify: (* -1 (* 3 (DiceRoll 1 6)))
automatic_simplify: -1
automatic_simplify: (* 3 (DiceRoll 1 6))
automatic_simplify: 3
automatic_simplify: (DiceRoll 1 6)
simplify_multiplication_rec: operands = ["3", "(DiceRoll 1 6)"]
simplify_multiplication_rec: operands = ["-1", "(* 3 (DiceRoll 1 6))"]
merge_multiplications: ["-1"], ["3", "(DiceRoll 1 6)"]
simplify_multiplication_rec: operands = ["-1", "3"]
product: -3
merge_multiplications: [], ["(DiceRoll 1 6)"]
simplify_addition_rec: operands = ["(DiceRoll 2 6)", "(* -3 (DiceRoll 1 6))"]
(+ (DiceRoll 2 6) (* -3 (DiceRoll 1 6)))