input > 0
syntax tree:     (+ (* 0))
simplified tree: 0
rendered tree:   0

input > 1
syntax tree:     (+ (* 1))
simplified tree: 1
rendered tree:   1

input > -0
syntax tree:     (+ (* (- 0)))
simplified tree: 1
rendered tree:   1

input > -1
syntax tree:     (+ (* (- 1)))
simplified tree: 0
rendered tree:   0

input > 0+0
syntax tree:     (+ (* 0) (* 0))
simplified tree: 0
rendered tree:   0

input > 0+1
syntax tree:     (+ (* 0) (* 1))
simplified tree: 1
rendered tree:   1

input > 1+0
syntax tree:     (+ (* 1) (* 0))
simplified tree: 1
rendered tree:   1

input > 1+1
syntax tree:     (+ (* 1) (* 1))
simplified tree: 1
rendered tree:   1

input > 0*0
syntax tree:     (+ (* 0 0))
simplified tree: 0
rendered tree:   0

input > 0*1
syntax tree:     (+ (* 0 1))
simplified tree: 0
rendered tree:   0

input > 1*0
syntax tree:     (+ (* 1 0))
simplified tree: 0
rendered tree:   0

input > 1*1
syntax tree:     (+ (* 1 1))
simplified tree: 1
rendered tree:   1

input > 0>0
syntax tree:     (> (+ (* 0)) (+ (* 0)))
simplified tree: 1
rendered tree:   1

input > 0>1
syntax tree:     (> (+ (* 0)) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > 1>0
syntax tree:     (> (+ (* 1)) (+ (* 0)))
simplified tree: 0
rendered tree:   0

input > 1>1
syntax tree:     (> (+ (* 1)) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > 0=0
syntax tree:     (= (+ (* 0)) (+ (* 0)))
simplified tree: 1
rendered tree:   1

input > 0=1
syntax tree:     (= (+ (* 0)) (+ (* 1)))
simplified tree: 0
rendered tree:   0

input > 1=0
syntax tree:     (= (+ (* 1)) (+ (* 0)))
simplified tree: 0
rendered tree:   0

input > 1=1
syntax tree:     (= (+ (* 1)) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > 0+a
syntax tree:     (+ (* 0) (* a))
simplified tree: a
rendered tree:   a

input > 1+a
syntax tree:     (+ (* 1) (* a))
simplified tree: 1
rendered tree:   1

input > a+1
syntax tree:     (+ (* a) (* 1))
simplified tree: 1
rendered tree:   1

input > a+0
syntax tree:     (+ (* a) (* 0))
simplified tree: a
rendered tree:   a

input > 0*a
syntax tree:     (+ (* 0 a))
simplified tree: 0
rendered tree:   0

input > 1*a
syntax tree:     (+ (* 1 a))
simplified tree: a
rendered tree:   a

input > a*0
syntax tree:     (+ (* a 0))
simplified tree: 0
rendered tree:   0

input > a*1
syntax tree:     (+ (* a 1))
simplified tree: a
rendered tree:   a

input > 0>a
syntax tree:     (> (+ (* 0)) (+ (* a)))
simplified tree: 1
rendered tree:   1

input > a>0
syntax tree:     (> (+ (* a)) (+ (* 0)))
simplified tree: (- a)
rendered tree:   -a

input > 1>a
syntax tree:     (> (+ (* 1)) (+ (* a)))
simplified tree: a
rendered tree:   a

input > a>1
syntax tree:     (> (+ (* a)) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > a+b+c
syntax tree:     (+ (* a) (* b) (* c))
simplified tree: (+ a b c)
rendered tree:   a+b+c

input > a+b*c
syntax tree:     (+ (* a) (* b c))
simplified tree: (+ a (* b c))
rendered tree:   a+(b*c)

input > a*b+c
syntax tree:     (+ (* a b) (* c))
simplified tree: (+ (* a b) (* c))
rendered tree:   (a*b)+c

input > (a+b)*c
syntax tree:     (+ (* (+ (* a) (* b)) c))
simplified tree: (+ (* (+ (* a) (* b)) c))
rendered tree:   (a+b)*c

input > a*(b+c)
syntax tree:     (+ (* a (+ (* b) (* c))))
simplified tree: (* a (+ b c))
rendered tree:   a*(b+c)

input > a*-a
syntax tree:     (+ (* a (- a)))
simplified tree: 0
rendered tree:   0

input > a+-a
syntax tree:     (+ (* a) (* (- a)))
simplified tree: 1
rendered tree:   1

input > -(a+b)
syntax tree:     (+ (* (- (+ (* a) (* b)))))
simplified tree: (* (- a) (- b))
rendered tree:   -a*-b

input > -(a*b)
syntax tree:     (+ (* (- (+ (* a b)))))
simplified tree: (+ (- b) (- a))
rendered tree:   -b+-a

input > a+b>a*b
syntax tree:     (> (+ (* a) (* b)) (+ (* a b)))
simplified tree: (+ (* a b) (* (- a) (- b)))
rendered tree:   (a*b)+(-a*-b)

input > a*b>a+b
syntax tree:     (> (+ (* a b)) (+ (* a) (* b)))
simplified tree: 1
rendered tree:   1

input > a+b>a
syntax tree:     (> (+ (* a) (* b)) (+ (* a)))
simplified tree: (+ a (- b))
rendered tree:   a+-b

input > a+b>b
syntax tree:     (> (+ (* a) (* b)) (+ (* b)))
simplified tree: (+ b (- a))
rendered tree:   b+-a

input > -0 = 1
syntax tree:     (= (+ (* (- 0))) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > -1 = 0
syntax tree:     (= (+ (* (- 1))) (+ (* 0)))
simplified tree: 1
rendered tree:   1

input > --a = a
syntax tree:     (= (+ (* (- (- a)))) (+ (* a)))
simplified tree: 1
rendered tree:   1

input > ---a = -a
syntax tree:     (= (+ (* (- (- (- a))))) (+ (* (- a))))
simplified tree: 1
rendered tree:   1

input > a+1 = 1
syntax tree:     (= (+ (* a) (* 1)) (+ (* 1)))
simplified tree: 1
rendered tree:   1

input > a+0 = a
syntax tree:     (= (+ (* a) (* 0)) (+ (* a)))
simplified tree: 1
rendered tree:   1

input > a*1 = a
syntax tree:     (= (+ (* a 1)) (+ (* a)))
simplified tree: 1
rendered tree:   1

input > a*0 = 0
syntax tree:     (= (+ (* a 0)) (+ (* 0)))
simplified tree: 1
rendered tree:   1

input > a>a+b
syntax tree:     (> (+ (* a)) (+ (* a) (* b)))
simplified tree: 1
rendered tree:   1

input > a*b > a
syntax tree:     (> (+ (* a b)) (+ (* a)))
simplified tree: 1
rendered tree:   1

input > a*b > b
syntax tree:     (> (+ (* a b)) (+ (* b)))
simplified tree: 1
rendered tree:   1

input > a > a+b
syntax tree:     (> (+ (* a)) (+ (* a) (* b)))
simplified tree: 1
rendered tree:   1

input > b > a+b
syntax tree:     (> (+ (* b)) (+ (* a) (* b)))
simplified tree: 1
rendered tree:   1

input > a+b=b+a
syntax tree:     (= (+ (* a) (* b)) (+ (* b) (* a)))
simplified tree: 1
rendered tree:   1

input > a+(b+c)=(a+b)+c
syntax tree:     (= (+ (* a) (* (+ (* b) (* c)))) (+ (* (+ (* a) (* b))) (* c)))
simplified tree: 1
rendered tree:   1

input > a*b=b*a
syntax tree:     (= (+ (* a b)) (+ (* b a)))
simplified tree: 1
rendered tree:   1

input > a*(b*c)=(a*b)*c
syntax tree:     (= (+ (* a (+ (* b c)))) (+ (* (+ (* a b)) c)))
simplified tree: 1
rendered tree:   1

input > a+b*c = (a+b)*(a+c)
syntax tree:     (= (+ (* a) (* b c)) (+ (* (+ (* a) (* b)) (+ (* a) (* c)))))
simplified tree: 1
rendered tree:   1

input > a*(b+c) = (a*b)+(a*c)
syntax tree:     (= (+ (* a (+ (* b) (* c)))) (+ (* (+ (* a b))) (* (+ (* a c)))))
simplified tree: 1
rendered tree:   1

input > a+b = a*-b +a*b + -a*b
syntax tree:     (= (+ (* a) (* b)) (+ (* a (- b)) (* a b) (* (- a) b)))
simplified tree: 1
rendered tree:   1

input > a+b = a+-a*b
syntax tree:     (= (+ (* a) (* b)) (+ (* a) (* (- a) b)))
simplified tree: 1
rendered tree:   1

input > a*b = a*(-a+b)
syntax tree:     (= (+ (* a b)) (+ (* a (+ (* (- a)) (* b)))))
simplified tree: 1
rendered tree:   1

input > -(a*b)=-a+-b
syntax tree:     (= (+ (* (- (+ (* a b))))) (+ (* (- a)) (* (- b))))
simplified tree: 1
rendered tree:   1

input > -(a+b)=-a*-b
syntax tree:     (= (+ (* (- (+ (* a) (* b))))) (+ (* (- a) (- b))))
simplified tree: 1
rendered tree:   1

input > (a=b)=(-a=-b)
syntax tree:     (= (+ (* (= (+ (* a)) (+ (* b))))) (+ (* (= (+ (* (- a))) (+ (* (- b)))))))
simplified tree: 1
rendered tree:   1

input > (a>b)*(b>a) = (a = b)
syntax tree:     (= (+ (* (> (+ (* a)) (+ (* b))) (> (+ (* b)) (+ (* a))))) (+ (* (= (+ (* a)) (+ (* b))))))
simplified tree: 1
rendered tree:   1

input > -a = a>0
syntax tree:     (= (+ (* (- a))) (> (+ (* a)) (+ (* 0))))
simplified tree: 1
rendered tree:   1

input > a*b*c + a*b*-c + a*-b*c + -a*b*c = a*b + a*c + b*c
syntax tree:     (= (+ (* a b c) (* a b (- c)) (* a (- b) c) (* (- a) b c)) (+ (* a b) (* a c) (* b c)))
simplified tree: 1
rendered tree:   1

input > (a>b) + (b>a)
syntax tree:     (+ (* (> (+ (* a)) (+ (* b)))) (* (> (+ (* b)) (+ (* a)))))
simplified tree: 1
rendered tree:   1

input > (a>b)*(b>c) > (a>c)
syntax tree:     (> (+ (* (> (+ (* a)) (+ (* b))) (> (+ (* b)) (+ (* c))))) (+ (* (> (+ (* a)) (+ (* c))))))
simplified tree: 1
rendered tree:   1

input > (a>b)=(-b>-a)
syntax tree:     (= (+ (* (> (+ (* a)) (+ (* b))))) (+ (* (> (+ (* (- b))) (+ (* (- a)))))))
simplified tree: 1
rendered tree:   1

input > x*-y+y*-x=(x+y)*-(x*y)
syntax tree:     (= (+ (* x (- y)) (* y (- x))) (+ (* (+ (* x) (* y)) (- (+ (* x y))))))
simplified tree: 1
rendered tree:   1

input > a>b> c= a>(b>c)
syntax tree:     (= (> (+ (* a)) (> (+ (* b)) (+ (* c)))) (> (+ (* a)) (+ (* (> (+ (* b)) (+ (* c)))))))
simplified tree: 1
rendered tree:   1

input > a>b>c = a*b > c
syntax tree:     (= (> (+ (* a)) (> (+ (* b)) (+ (* c)))) (> (+ (* a b)) (+ (* c))))
simplified tree: 1
rendered tree:   1

input > (a+b)>c = (a>c)*(b>c)
syntax tree:     (= (> (+ (* (+ (* a) (* b)))) (+ (* c))) (+ (* (> (+ (* a)) (+ (* c))) (> (+ (* b)) (+ (* c))))))
simplified tree: 1
rendered tree:   1

input > (a+b)>c > (a>c)+(b>c)
syntax tree:     (> (+ (* (+ (* a) (* b)))) (> (+ (* c)) (+ (* (> (+ (* a)) (+ (* c)))) (* (> (+ (* b)) (+ (* c)))))))
simplified tree: 1
rendered tree:   1

input > (a>c)*(b>c) = (a+b)>c
syntax tree:     (= (+ (* (> (+ (* a)) (+ (* c))) (> (+ (* b)) (+ (* c))))) (> (+ (* (+ (* a) (* b)))) (+ (* c))))
simplified tree: 1
rendered tree:   1

input > (a+b)>c = (a>c)+(b>c)
syntax tree:     (= (> (+ (* (+ (* a) (* b)))) (+ (* c))) (+ (* (> (+ (* a)) (+ (* c)))) (* (> (+ (* b)) (+ (* c))))))
simplified tree: (+ (* a (+ b c)) (* (- a) (+ c (- b))))
rendered tree:   (a*(b+c))+(-a*(c+-b))

input > (a>c)+(b>c) > (a+b)>c
syntax tree:     (> (+ (* (> (+ (* a)) (+ (* c)))) (* (> (+ (* b)) (+ (* c))))) (> (+ (* (+ (* a) (* b)))) (+ (* c))))
simplified tree: (+ (* a (+ c b)) (* (- a) (+ c (- b))))
rendered tree:   (a*(c+b))+(-a*(c+-b))

input > a>b> c= (a>b)>c
syntax tree:     (= (> (+ (* a)) (> (+ (* b)) (+ (* c)))) (> (+ (* (> (+ (* a)) (+ (* b))))) (+ (* c))))
simplified tree: (+ a c)
rendered tree:   a+c