0.315 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.076 * * * [progress]: [2/2] Setting up program.
0.117 * [progress]: [Phase 2 of 3] Improving.
0.119 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
0.119 * [simplify]: Sending expressions to egg_math:
 (- (+ (+ h2 h1) h0) (+ h2 (+ h1 h0)))
0.788 * * [progress]: iteration 1 / 4
0.788 * * * [progress]: picking best candidate
0.790 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (+ x y) z) (+ x (+ y z))))>
0.790 * * * [progress]: localizing error
0.800 * * * [progress]: generating rewritten candidates
0.800 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.817 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.854 * * * [progress]: generating series expansions
0.854 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.857 * [backup-simplify]: Simplify (+ x (+ y z)) into (+ x (+ z y))
0.857 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
0.858 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
0.858 * [taylor]: Taking taylor expansion of x in z
0.858 * [backup-simplify]: Simplify x into x
0.858 * [taylor]: Taking taylor expansion of (+ z y) in z
0.858 * [taylor]: Taking taylor expansion of z in z
0.858 * [backup-simplify]: Simplify 0 into 0
0.858 * [backup-simplify]: Simplify 1 into 1
0.858 * [taylor]: Taking taylor expansion of y in z
0.858 * [backup-simplify]: Simplify y into y
0.858 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
0.858 * [taylor]: Taking taylor expansion of x in y
0.858 * [backup-simplify]: Simplify x into x
0.858 * [taylor]: Taking taylor expansion of (+ z y) in y
0.858 * [taylor]: Taking taylor expansion of z in y
0.858 * [backup-simplify]: Simplify z into z
0.858 * [taylor]: Taking taylor expansion of y in y
0.858 * [backup-simplify]: Simplify 0 into 0
0.858 * [backup-simplify]: Simplify 1 into 1
0.858 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.858 * [backup-simplify]: Simplify 0 into 0
0.858 * [backup-simplify]: Simplify 1 into 1
0.859 * [taylor]: Taking taylor expansion of (+ z y) in x
0.859 * [taylor]: Taking taylor expansion of z in x
0.859 * [backup-simplify]: Simplify z into z
0.859 * [taylor]: Taking taylor expansion of y in x
0.859 * [backup-simplify]: Simplify y into y
0.859 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [taylor]: Taking taylor expansion of (+ z y) in x
0.859 * [taylor]: Taking taylor expansion of z in x
0.859 * [backup-simplify]: Simplify z into z
0.859 * [taylor]: Taking taylor expansion of y in x
0.859 * [backup-simplify]: Simplify y into y
0.859 * [backup-simplify]: Simplify (+ z y) into (+ z y)
0.859 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
0.859 * [taylor]: Taking taylor expansion of (+ z y) in y
0.859 * [taylor]: Taking taylor expansion of z in y
0.859 * [backup-simplify]: Simplify z into z
0.859 * [taylor]: Taking taylor expansion of y in y
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [backup-simplify]: Simplify (+ z 0) into z
0.859 * [taylor]: Taking taylor expansion of z in z
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [backup-simplify]: Simplify 0 into 0
0.861 * [backup-simplify]: Simplify (+ 0 0) into 0
0.861 * [backup-simplify]: Simplify (+ 1 0) into 1
0.861 * [taylor]: Taking taylor expansion of 1 in y
0.861 * [backup-simplify]: Simplify 1 into 1
0.861 * [taylor]: Taking taylor expansion of 1 in z
0.861 * [backup-simplify]: Simplify 1 into 1
0.861 * [backup-simplify]: Simplify 1 into 1
0.861 * [backup-simplify]: Simplify (+ 0 1) into 1
0.861 * [taylor]: Taking taylor expansion of 1 in z
0.861 * [backup-simplify]: Simplify 1 into 1
0.861 * [backup-simplify]: Simplify 1 into 1
0.862 * [backup-simplify]: Simplify 1 into 1
0.863 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
0.863 * [backup-simplify]: Simplify (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))
0.863 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in (x y z) around 0
0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.864 * [taylor]: Taking taylor expansion of y in z
0.864 * [backup-simplify]: Simplify y into y
0.864 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.864 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.864 * [taylor]: Taking taylor expansion of z in z
0.864 * [backup-simplify]: Simplify 0 into 0
0.864 * [backup-simplify]: Simplify 1 into 1
0.864 * [backup-simplify]: Simplify (/ 1 1) into 1
0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.864 * [taylor]: Taking taylor expansion of x in z
0.864 * [backup-simplify]: Simplify x into x
0.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.864 * [taylor]: Taking taylor expansion of y in y
0.864 * [backup-simplify]: Simplify 0 into 0
0.864 * [backup-simplify]: Simplify 1 into 1
0.864 * [backup-simplify]: Simplify (/ 1 1) into 1
0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.864 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.864 * [taylor]: Taking taylor expansion of z in y
0.864 * [backup-simplify]: Simplify z into z
0.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.865 * [taylor]: Taking taylor expansion of x in y
0.865 * [backup-simplify]: Simplify x into x
0.865 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.865 * [taylor]: Taking taylor expansion of y in x
0.865 * [backup-simplify]: Simplify y into y
0.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.865 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.865 * [taylor]: Taking taylor expansion of z in x
0.865 * [backup-simplify]: Simplify z into z
0.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.865 * [taylor]: Taking taylor expansion of x in x
0.865 * [backup-simplify]: Simplify 0 into 0
0.865 * [backup-simplify]: Simplify 1 into 1
0.865 * [backup-simplify]: Simplify (/ 1 1) into 1
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.865 * [taylor]: Taking taylor expansion of y in x
0.865 * [backup-simplify]: Simplify y into y
0.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.865 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.865 * [taylor]: Taking taylor expansion of z in x
0.865 * [backup-simplify]: Simplify z into z
0.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.865 * [taylor]: Taking taylor expansion of x in x
0.865 * [backup-simplify]: Simplify 0 into 0
0.865 * [backup-simplify]: Simplify 1 into 1
0.866 * [backup-simplify]: Simplify (/ 1 1) into 1
0.866 * [backup-simplify]: Simplify (+ 0 1) into 1
0.866 * [backup-simplify]: Simplify (+ 0 1) into 1
0.866 * [taylor]: Taking taylor expansion of 1 in y
0.866 * [backup-simplify]: Simplify 1 into 1
0.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.867 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.867 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.867 * [taylor]: Taking taylor expansion of z in y
0.867 * [backup-simplify]: Simplify z into z
0.867 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.867 * [taylor]: Taking taylor expansion of y in y
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify 1 into 1
0.867 * [backup-simplify]: Simplify (/ 1 1) into 1
0.868 * [backup-simplify]: Simplify (+ 0 1) into 1
0.868 * [taylor]: Taking taylor expansion of 1 in z
0.868 * [backup-simplify]: Simplify 1 into 1
0.868 * [taylor]: Taking taylor expansion of 1 in z
0.868 * [backup-simplify]: Simplify 1 into 1
0.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.868 * [backup-simplify]: Simplify (+ 0 0) into 0
0.869 * [backup-simplify]: Simplify (+ 0 0) into 0
0.869 * [taylor]: Taking taylor expansion of 0 in y
0.869 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.869 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.869 * [taylor]: Taking taylor expansion of z in z
0.869 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify (/ 1 1) into 1
0.870 * [backup-simplify]: Simplify 1 into 1
0.870 * [taylor]: Taking taylor expansion of 0 in z
0.870 * [backup-simplify]: Simplify 0 into 0
0.870 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
0.870 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))
0.870 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z) around 0
0.870 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.870 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.870 * [taylor]: Taking taylor expansion of y in z
0.870 * [backup-simplify]: Simplify y into y
0.870 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.870 * [taylor]: Taking taylor expansion of z in z
0.870 * [backup-simplify]: Simplify 0 into 0
0.870 * [backup-simplify]: Simplify 1 into 1
0.871 * [backup-simplify]: Simplify (/ 1 1) into 1
0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.871 * [taylor]: Taking taylor expansion of x in z
0.871 * [backup-simplify]: Simplify x into x
0.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.871 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
0.871 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.871 * [taylor]: Taking taylor expansion of y in y
0.871 * [backup-simplify]: Simplify 0 into 0
0.871 * [backup-simplify]: Simplify 1 into 1
0.871 * [backup-simplify]: Simplify (/ 1 1) into 1
0.871 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.871 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.871 * [taylor]: Taking taylor expansion of z in y
0.871 * [backup-simplify]: Simplify z into z
0.871 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.871 * [taylor]: Taking taylor expansion of x in y
0.871 * [backup-simplify]: Simplify x into x
0.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.871 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
0.871 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.871 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.871 * [taylor]: Taking taylor expansion of y in x
0.871 * [backup-simplify]: Simplify y into y
0.871 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.871 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.871 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.871 * [taylor]: Taking taylor expansion of z in x
0.871 * [backup-simplify]: Simplify z into z
0.871 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [backup-simplify]: Simplify 0 into 0
0.872 * [backup-simplify]: Simplify 1 into 1
0.872 * [backup-simplify]: Simplify (/ 1 1) into 1
0.872 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.872 * [taylor]: Taking taylor expansion of y in x
0.872 * [backup-simplify]: Simplify y into y
0.872 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.872 * [taylor]: Taking taylor expansion of z in x
0.872 * [backup-simplify]: Simplify z into z
0.872 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [backup-simplify]: Simplify 0 into 0
0.872 * [backup-simplify]: Simplify 1 into 1
0.872 * [backup-simplify]: Simplify (/ 1 1) into 1
0.873 * [backup-simplify]: Simplify (+ 0 1) into 1
0.873 * [backup-simplify]: Simplify (+ 0 1) into 1
0.873 * [backup-simplify]: Simplify (- 1) into -1
0.873 * [taylor]: Taking taylor expansion of -1 in y
0.873 * [backup-simplify]: Simplify -1 into -1
0.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.874 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.874 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
0.874 * [backup-simplify]: Simplify (- (+ (/ 1 z) (/ 1 y))) into (- (+ (/ 1 z) (/ 1 y)))
0.874 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y
0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.874 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.874 * [taylor]: Taking taylor expansion of z in y
0.874 * [backup-simplify]: Simplify z into z
0.874 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.874 * [taylor]: Taking taylor expansion of y in y
0.874 * [backup-simplify]: Simplify 0 into 0
0.874 * [backup-simplify]: Simplify 1 into 1
0.874 * [backup-simplify]: Simplify (/ 1 1) into 1
0.874 * [backup-simplify]: Simplify (+ 0 1) into 1
0.875 * [backup-simplify]: Simplify (- 1) into -1
0.875 * [taylor]: Taking taylor expansion of -1 in z
0.875 * [backup-simplify]: Simplify -1 into -1
0.875 * [taylor]: Taking taylor expansion of -1 in z
0.875 * [backup-simplify]: Simplify -1 into -1
0.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.876 * [backup-simplify]: Simplify (+ 0 0) into 0
0.876 * [backup-simplify]: Simplify (+ 0 0) into 0
0.876 * [backup-simplify]: Simplify (- 0) into 0
0.876 * [taylor]: Taking taylor expansion of 0 in y
0.876 * [backup-simplify]: Simplify 0 into 0
0.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.876 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.877 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.877 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.877 * [taylor]: Taking taylor expansion of z in z
0.877 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify 1 into 1
0.877 * [backup-simplify]: Simplify (/ 1 1) into 1
0.877 * [backup-simplify]: Simplify (- 1) into -1
0.877 * [backup-simplify]: Simplify -1 into -1
0.877 * [taylor]: Taking taylor expansion of 0 in z
0.877 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify -1 into -1
0.877 * [backup-simplify]: Simplify -1 into -1
0.878 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
0.878 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.878 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
0.878 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
0.878 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
0.878 * [taylor]: Taking taylor expansion of x in z
0.878 * [backup-simplify]: Simplify x into x
0.878 * [taylor]: Taking taylor expansion of (+ z y) in z
0.878 * [taylor]: Taking taylor expansion of z in z
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [taylor]: Taking taylor expansion of y in z
0.878 * [backup-simplify]: Simplify y into y
0.878 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
0.878 * [taylor]: Taking taylor expansion of x in y
0.878 * [backup-simplify]: Simplify x into x
0.878 * [taylor]: Taking taylor expansion of (+ z y) in y
0.878 * [taylor]: Taking taylor expansion of z in y
0.878 * [backup-simplify]: Simplify z into z
0.878 * [taylor]: Taking taylor expansion of y in y
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [taylor]: Taking taylor expansion of (+ z y) in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [backup-simplify]: Simplify z into z
0.878 * [taylor]: Taking taylor expansion of y in x
0.878 * [backup-simplify]: Simplify y into y
0.878 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [taylor]: Taking taylor expansion of (+ z y) in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [backup-simplify]: Simplify z into z
0.878 * [taylor]: Taking taylor expansion of y in x
0.878 * [backup-simplify]: Simplify y into y
0.878 * [backup-simplify]: Simplify (+ z y) into (+ z y)
0.878 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
0.878 * [taylor]: Taking taylor expansion of (+ z y) in y
0.878 * [taylor]: Taking taylor expansion of z in y
0.878 * [backup-simplify]: Simplify z into z
0.878 * [taylor]: Taking taylor expansion of y in y
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [backup-simplify]: Simplify (+ z 0) into z
0.878 * [taylor]: Taking taylor expansion of z in z
0.878 * [backup-simplify]: Simplify 0 into 0
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify 0 into 0
0.879 * [backup-simplify]: Simplify (+ 0 0) into 0
0.879 * [backup-simplify]: Simplify (+ 1 0) into 1
0.879 * [taylor]: Taking taylor expansion of 1 in y
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [taylor]: Taking taylor expansion of 1 in z
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify (+ 0 1) into 1
0.879 * [taylor]: Taking taylor expansion of 1 in z
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify 1 into 1
0.880 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
0.880 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))
0.880 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.880 * [taylor]: Taking taylor expansion of z in z
0.880 * [backup-simplify]: Simplify 0 into 0
0.880 * [backup-simplify]: Simplify 1 into 1
0.880 * [backup-simplify]: Simplify (/ 1 1) into 1
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.880 * [taylor]: Taking taylor expansion of y in z
0.880 * [backup-simplify]: Simplify y into y
0.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.880 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.880 * [taylor]: Taking taylor expansion of x in z
0.880 * [backup-simplify]: Simplify x into x
0.880 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.880 * [taylor]: Taking taylor expansion of z in y
0.880 * [backup-simplify]: Simplify z into z
0.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.881 * [taylor]: Taking taylor expansion of y in y
0.881 * [backup-simplify]: Simplify 0 into 0
0.881 * [backup-simplify]: Simplify 1 into 1
0.881 * [backup-simplify]: Simplify (/ 1 1) into 1
0.881 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.881 * [taylor]: Taking taylor expansion of x in y
0.881 * [backup-simplify]: Simplify x into x
0.881 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.881 * [taylor]: Taking taylor expansion of z in x
0.881 * [backup-simplify]: Simplify z into z
0.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.881 * [taylor]: Taking taylor expansion of y in x
0.881 * [backup-simplify]: Simplify y into y
0.881 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.881 * [taylor]: Taking taylor expansion of x in x
0.881 * [backup-simplify]: Simplify 0 into 0
0.881 * [backup-simplify]: Simplify 1 into 1
0.881 * [backup-simplify]: Simplify (/ 1 1) into 1
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.881 * [taylor]: Taking taylor expansion of z in x
0.881 * [backup-simplify]: Simplify z into z
0.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.882 * [taylor]: Taking taylor expansion of y in x
0.882 * [backup-simplify]: Simplify y into y
0.882 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.882 * [taylor]: Taking taylor expansion of x in x
0.882 * [backup-simplify]: Simplify 0 into 0
0.882 * [backup-simplify]: Simplify 1 into 1
0.882 * [backup-simplify]: Simplify (/ 1 1) into 1
0.882 * [backup-simplify]: Simplify (+ 0 1) into 1
0.882 * [backup-simplify]: Simplify (+ 0 1) into 1
0.882 * [taylor]: Taking taylor expansion of 1 in y
0.882 * [backup-simplify]: Simplify 1 into 1
0.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.883 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.883 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.883 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify 1 into 1
0.883 * [backup-simplify]: Simplify (/ 1 1) into 1
0.883 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.883 * [taylor]: Taking taylor expansion of z in y
0.883 * [backup-simplify]: Simplify z into z
0.883 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.884 * [backup-simplify]: Simplify (+ 1 0) into 1
0.884 * [taylor]: Taking taylor expansion of 1 in z
0.884 * [backup-simplify]: Simplify 1 into 1
0.884 * [taylor]: Taking taylor expansion of 1 in z
0.884 * [backup-simplify]: Simplify 1 into 1
0.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.885 * [backup-simplify]: Simplify (+ 0 0) into 0
0.885 * [backup-simplify]: Simplify (+ 0 0) into 0
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.885 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.885 * [taylor]: Taking taylor expansion of z in z
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify 1 into 1
0.886 * [backup-simplify]: Simplify (/ 1 1) into 1
0.886 * [backup-simplify]: Simplify 1 into 1
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [backup-simplify]: Simplify 0 into 0
0.886 * [backup-simplify]: Simplify 1 into 1
0.886 * [backup-simplify]: Simplify 1 into 1
0.886 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
0.886 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))))
0.886 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
0.886 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.886 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.886 * [taylor]: Taking taylor expansion of z in z
0.886 * [backup-simplify]: Simplify 0 into 0
0.886 * [backup-simplify]: Simplify 1 into 1
0.887 * [backup-simplify]: Simplify (/ 1 1) into 1
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.887 * [taylor]: Taking taylor expansion of y in z
0.887 * [backup-simplify]: Simplify y into y
0.887 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.887 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.887 * [taylor]: Taking taylor expansion of x in z
0.887 * [backup-simplify]: Simplify x into x
0.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.887 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.887 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.887 * [taylor]: Taking taylor expansion of z in y
0.887 * [backup-simplify]: Simplify z into z
0.887 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.887 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify 1 into 1
0.887 * [backup-simplify]: Simplify (/ 1 1) into 1
0.887 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.887 * [taylor]: Taking taylor expansion of x in y
0.887 * [backup-simplify]: Simplify x into x
0.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.887 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.887 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.887 * [taylor]: Taking taylor expansion of z in x
0.887 * [backup-simplify]: Simplify z into z
0.887 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.887 * [taylor]: Taking taylor expansion of y in x
0.888 * [backup-simplify]: Simplify y into y
0.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (/ 1 1) into 1
0.888 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.888 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.888 * [taylor]: Taking taylor expansion of z in x
0.888 * [backup-simplify]: Simplify z into z
0.888 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.888 * [taylor]: Taking taylor expansion of y in x
0.888 * [backup-simplify]: Simplify y into y
0.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (/ 1 1) into 1
0.889 * [backup-simplify]: Simplify (+ 0 1) into 1
0.889 * [backup-simplify]: Simplify (+ 0 1) into 1
0.889 * [backup-simplify]: Simplify (- 1) into -1
0.889 * [taylor]: Taking taylor expansion of -1 in y
0.889 * [backup-simplify]: Simplify -1 into -1
0.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.890 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.890 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.890 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
0.890 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.890 * [taylor]: Taking taylor expansion of y in y
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [backup-simplify]: Simplify (/ 1 1) into 1
0.890 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.890 * [taylor]: Taking taylor expansion of z in y
0.890 * [backup-simplify]: Simplify z into z
0.890 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.891 * [backup-simplify]: Simplify (+ 1 0) into 1
0.891 * [backup-simplify]: Simplify (- 1) into -1
0.891 * [taylor]: Taking taylor expansion of -1 in z
0.891 * [backup-simplify]: Simplify -1 into -1
0.891 * [taylor]: Taking taylor expansion of -1 in z
0.891 * [backup-simplify]: Simplify -1 into -1
0.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.892 * [backup-simplify]: Simplify (+ 0 0) into 0
0.892 * [backup-simplify]: Simplify (+ 0 0) into 0
0.892 * [backup-simplify]: Simplify (- 0) into 0
0.892 * [taylor]: Taking taylor expansion of 0 in y
0.892 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.893 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.893 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.893 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify 1 into 1
0.893 * [backup-simplify]: Simplify (/ 1 1) into 1
0.893 * [backup-simplify]: Simplify (- 1) into -1
0.893 * [backup-simplify]: Simplify -1 into -1
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify -1 into -1
0.893 * [backup-simplify]: Simplify -1 into -1
0.894 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
0.894 * * * [progress]: simplifying candidates
0.895 * [simplify]: Simplifying:
  (* (exp x) (* (exp y) (exp z)))
  (* (exp x) (exp (+ y z)))
  (log (+ x (+ y z)))
  (exp (+ x (+ y z)))
  (* (cbrt (+ x (+ y z))) (cbrt (+ x (+ y z))))
  (cbrt (+ x (+ y z)))
  (* (* (+ x (+ y z)) (+ x (+ y z))) (+ x (+ y z)))
  (sqrt (+ x (+ y z)))
  (sqrt (+ x (+ y z)))
  (+ (pow x 3) (pow (+ y z) 3))
  (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z))))
  (- (* x x) (* (+ y z) (+ y z)))
  (- x (+ y z))
  (+ x (+ y z))
  (+ x (+ y z))
  (+ x y)
  (* (* (exp x) (exp y)) (exp z))
  (* (exp (+ x y)) (exp z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (* (* (+ (+ x y) z) (+ (+ x y) z)) (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow (+ x y) 3) (pow z 3))
  (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))
  (- (* (+ x y) (+ x y)) (* z z))
  (- (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y z)
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
0.895 * [simplify]: Sending expressions to egg_math:
 (* (exp h2) (* (exp h1) (exp h0)))
 (* (exp h2) (exp (+ h1 h0)))
 (log (+ h2 (+ h1 h0)))
 (exp (+ h2 (+ h1 h0)))
 (* (cbrt (+ h2 (+ h1 h0))) (cbrt (+ h2 (+ h1 h0))))
 (cbrt (+ h2 (+ h1 h0)))
 (* (* (+ h2 (+ h1 h0)) (+ h2 (+ h1 h0))) (+ h2 (+ h1 h0)))
 (sqrt (+ h2 (+ h1 h0)))
 (sqrt (+ h2 (+ h1 h0)))
 (+ (pow h2 3) (pow (+ h1 h0) 3))
 (+ (* h2 h2) (- (* (+ h1 h0) (+ h1 h0)) (* h2 (+ h1 h0))))
 (- (* h2 h2) (* (+ h1 h0) (+ h1 h0)))
 (- h2 (+ h1 h0))
 (+ h2 (+ h1 h0))
 (+ h2 (+ h1 h0))
 (+ h2 h1)
 (* (* (exp h2) (exp h1)) (exp h0))
 (* (exp (+ h2 h1)) (exp h0))
 (log (+ (+ h2 h1) h0))
 (exp (+ (+ h2 h1) h0))
 (* (cbrt (+ (+ h2 h1) h0)) (cbrt (+ (+ h2 h1) h0)))
 (cbrt (+ (+ h2 h1) h0))
 (* (* (+ (+ h2 h1) h0) (+ (+ h2 h1) h0)) (+ (+ h2 h1) h0))
 (sqrt (+ (+ h2 h1) h0))
 (sqrt (+ (+ h2 h1) h0))
 (+ (pow (+ h2 h1) 3) (pow h0 3))
 (+ (* (+ h2 h1) (+ h2 h1)) (- (* h0 h0) (* (+ h2 h1) h0)))
 (- (* (+ h2 h1) (+ h2 h1)) (* h0 h0))
 (- (+ h2 h1) h0)
 (+ (+ h2 h1) h0)
 (+ (+ h2 h1) h0)
 (+ h1 h0)
 (+ h2 (+ h0 h1))
 (+ h2 (+ h0 h1))
 (+ h2 (+ h0 h1))
 (+ h2 (+ h0 h1))
 (+ h2 (+ h0 h1))
 (+ h2 (+ h0 h1))
1.588 * * * [progress]: adding candidates to table
1.645 * [progress]: [Phase 3 of 3] Extracting.
1.647 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
1.647 * [simplify]: Sending expressions to egg_math:
 (- (+ (+ h2 h1) h0) (+ h2 (+ h1 h0)))
4.551 * [regime-testing]: Baseline error score: 0.023069816037547066
4.552 * [regime-testing]: Oracle error score: 0.023069816037547066
4.553 * [regime-testing]: End program error score: 0