30.503 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x y) x) y))>
0.033 * [simplify]: Simplifying:
  (+ (+ (* x y) x) y)
0.033 * * [simplify]: iteration 0: 5 enodes
0.035 * * [simplify]: iteration 1: 10 enodes
0.038 * * [simplify]: iteration 2: 19 enodes
0.044 * * [simplify]: iteration 3: 25 enodes
0.051 * * [simplify]: iteration 4: 33 enodes
0.066 * * [simplify]: iteration 5: 52 enodes
0.081 * * [simplify]: iteration 6: 100 enodes
0.115 * * [simplify]: iteration 7: 210 enodes
0.194 * * [simplify]: iteration 8: 379 enodes
0.333 * * [simplify]: iteration 9: 609 enodes
0.531 * * [simplify]: iteration 10: 839 enodes
0.810 * * [simplify]: iteration 11: 1249 enodes
1.480 * * [simplify]: iteration 12: 1549 enodes
2.237 * * [simplify]: iteration 13: 2194 enodes
3.673 * * [simplify]: iteration 14: 2565 enodes
5.144 * * [simplify]: iteration 15: 3510 enodes
7.567 * * [simplify]: iteration 16: 3947 enodes
8.955 * * [simplify]: iteration complete: 5000 enodes
8.955 * * [simplify]: Extracting #0: cost 1 inf + 0
8.955 * * [simplify]: Extracting #1: cost 7 inf + 0
8.960 * * [simplify]: Extracting #2: cost 899 inf + 2
8.985 * * [simplify]: Extracting #3: cost 36 inf + 36287
9.015 * * [simplify]: Extracting #4: cost 0 inf + 37879
9.049 * [simplify]: Simplified to:
  (+ (+ (* x y) y) x)
9.049 * * [progress]: iteration 1 / 4
9.049 * * * [progress]: picking best candidate
9.052 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (* x y) x) y))>
9.052 * * * [progress]: localizing error
9.060 * * * [progress]: generating rewritten candidates
9.060 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
9.067 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
9.093 * * * [progress]: generating series expansions
9.093 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
9.093 * [backup-simplify]: Simplify (+ (* x y) x) into (+ x (* x y))
9.093 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0
9.093 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
9.093 * [taylor]: Taking taylor expansion of x in y
9.093 * [backup-simplify]: Simplify x into x
9.093 * [taylor]: Taking taylor expansion of (* x y) in y
9.093 * [taylor]: Taking taylor expansion of x in y
9.093 * [backup-simplify]: Simplify x into x
9.093 * [taylor]: Taking taylor expansion of y in y
9.093 * [backup-simplify]: Simplify 0 into 0
9.093 * [backup-simplify]: Simplify 1 into 1
9.093 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
9.093 * [taylor]: Taking taylor expansion of x in x
9.093 * [backup-simplify]: Simplify 0 into 0
9.093 * [backup-simplify]: Simplify 1 into 1
9.093 * [taylor]: Taking taylor expansion of (* x y) in x
9.093 * [taylor]: Taking taylor expansion of x in x
9.093 * [backup-simplify]: Simplify 0 into 0
9.093 * [backup-simplify]: Simplify 1 into 1
9.093 * [taylor]: Taking taylor expansion of y in x
9.093 * [backup-simplify]: Simplify y into y
9.093 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
9.093 * [taylor]: Taking taylor expansion of x in x
9.093 * [backup-simplify]: Simplify 0 into 0
9.093 * [backup-simplify]: Simplify 1 into 1
9.094 * [taylor]: Taking taylor expansion of (* x y) in x
9.094 * [taylor]: Taking taylor expansion of x in x
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify 1 into 1
9.094 * [taylor]: Taking taylor expansion of y in x
9.094 * [backup-simplify]: Simplify y into y
9.094 * [backup-simplify]: Simplify (* 0 y) into 0
9.094 * [backup-simplify]: Simplify (+ 0 0) into 0
9.094 * [taylor]: Taking taylor expansion of 0 in y
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify 0 into 0
9.095 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.095 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1)
9.095 * [taylor]: Taking taylor expansion of (+ y 1) in y
9.095 * [taylor]: Taking taylor expansion of y in y
9.095 * [backup-simplify]: Simplify 0 into 0
9.095 * [backup-simplify]: Simplify 1 into 1
9.095 * [taylor]: Taking taylor expansion of 1 in y
9.095 * [backup-simplify]: Simplify 1 into 1
9.095 * [backup-simplify]: Simplify (+ 0 1) into 1
9.096 * [backup-simplify]: Simplify 1 into 1
9.096 * [backup-simplify]: Simplify 0 into 0
9.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.097 * [backup-simplify]: Simplify (+ 0 0) into 0
9.097 * [taylor]: Taking taylor expansion of 0 in y
9.097 * [backup-simplify]: Simplify 0 into 0
9.097 * [backup-simplify]: Simplify 0 into 0
9.097 * [backup-simplify]: Simplify (+ 1 0) into 1
9.097 * [backup-simplify]: Simplify 1 into 1
9.097 * [backup-simplify]: Simplify 0 into 0
9.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.099 * [backup-simplify]: Simplify (+ 0 0) into 0
9.099 * [taylor]: Taking taylor expansion of 0 in y
9.099 * [backup-simplify]: Simplify 0 into 0
9.099 * [backup-simplify]: Simplify 0 into 0
9.099 * [backup-simplify]: Simplify 0 into 0
9.099 * [backup-simplify]: Simplify (+ 0 0) into 0
9.099 * [backup-simplify]: Simplify 0 into 0
9.099 * [backup-simplify]: Simplify 0 into 0
9.101 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.101 * [backup-simplify]: Simplify (+ 0 0) into 0
9.101 * [taylor]: Taking taylor expansion of 0 in y
9.101 * [backup-simplify]: Simplify 0 into 0
9.101 * [backup-simplify]: Simplify 0 into 0
9.101 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (* 1 x))) into (+ x (* x y))
9.102 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 (* x y)) (/ 1 x))
9.102 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
9.102 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
9.102 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.102 * [taylor]: Taking taylor expansion of (* x y) in y
9.102 * [taylor]: Taking taylor expansion of x in y
9.102 * [backup-simplify]: Simplify x into x
9.102 * [taylor]: Taking taylor expansion of y in y
9.102 * [backup-simplify]: Simplify 0 into 0
9.102 * [backup-simplify]: Simplify 1 into 1
9.102 * [backup-simplify]: Simplify (* x 0) into 0
9.102 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.102 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.102 * [taylor]: Taking taylor expansion of x in y
9.102 * [backup-simplify]: Simplify x into x
9.102 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
9.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.103 * [taylor]: Taking taylor expansion of (* x y) in x
9.103 * [taylor]: Taking taylor expansion of x in x
9.103 * [backup-simplify]: Simplify 0 into 0
9.103 * [backup-simplify]: Simplify 1 into 1
9.103 * [taylor]: Taking taylor expansion of y in x
9.103 * [backup-simplify]: Simplify y into y
9.103 * [backup-simplify]: Simplify (* 0 y) into 0
9.103 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.103 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.103 * [taylor]: Taking taylor expansion of x in x
9.103 * [backup-simplify]: Simplify 0 into 0
9.103 * [backup-simplify]: Simplify 1 into 1
9.104 * [backup-simplify]: Simplify (/ 1 1) into 1
9.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
9.104 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.104 * [taylor]: Taking taylor expansion of (* x y) in x
9.104 * [taylor]: Taking taylor expansion of x in x
9.104 * [backup-simplify]: Simplify 0 into 0
9.104 * [backup-simplify]: Simplify 1 into 1
9.104 * [taylor]: Taking taylor expansion of y in x
9.104 * [backup-simplify]: Simplify y into y
9.104 * [backup-simplify]: Simplify (* 0 y) into 0
9.104 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.104 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.104 * [taylor]: Taking taylor expansion of x in x
9.104 * [backup-simplify]: Simplify 0 into 0
9.105 * [backup-simplify]: Simplify 1 into 1
9.105 * [backup-simplify]: Simplify (/ 1 1) into 1
9.105 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
9.105 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
9.105 * [taylor]: Taking taylor expansion of 1 in y
9.105 * [backup-simplify]: Simplify 1 into 1
9.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.105 * [taylor]: Taking taylor expansion of y in y
9.105 * [backup-simplify]: Simplify 0 into 0
9.105 * [backup-simplify]: Simplify 1 into 1
9.106 * [backup-simplify]: Simplify (/ 1 1) into 1
9.106 * [backup-simplify]: Simplify (+ 0 1) into 1
9.106 * [backup-simplify]: Simplify 1 into 1
9.107 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.108 * [backup-simplify]: Simplify (+ 0 0) into 0
9.108 * [taylor]: Taking taylor expansion of 0 in y
9.108 * [backup-simplify]: Simplify 0 into 0
9.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.109 * [backup-simplify]: Simplify (+ 1 0) into 1
9.109 * [backup-simplify]: Simplify 1 into 1
9.110 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.112 * [backup-simplify]: Simplify (+ 0 0) into 0
9.112 * [taylor]: Taking taylor expansion of 0 in y
9.112 * [backup-simplify]: Simplify 0 into 0
9.112 * [backup-simplify]: Simplify 0 into 0
9.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.113 * [backup-simplify]: Simplify (+ 0 0) into 0
9.113 * [backup-simplify]: Simplify 0 into 0
9.115 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.115 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.116 * [backup-simplify]: Simplify (+ 0 0) into 0
9.116 * [taylor]: Taking taylor expansion of 0 in y
9.116 * [backup-simplify]: Simplify 0 into 0
9.116 * [backup-simplify]: Simplify 0 into 0
9.116 * [backup-simplify]: Simplify 0 into 0
9.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.117 * [backup-simplify]: Simplify (+ 0 0) into 0
9.117 * [backup-simplify]: Simplify 0 into 0
9.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
9.119 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.121 * [backup-simplify]: Simplify (+ 0 0) into 0
9.121 * [taylor]: Taking taylor expansion of 0 in y
9.121 * [backup-simplify]: Simplify 0 into 0
9.121 * [backup-simplify]: Simplify 0 into 0
9.121 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ x (* x y))
9.121 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (/ 1 (* x y)) (/ 1 x))
9.121 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
9.121 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
9.121 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.121 * [taylor]: Taking taylor expansion of (* x y) in y
9.121 * [taylor]: Taking taylor expansion of x in y
9.121 * [backup-simplify]: Simplify x into x
9.121 * [taylor]: Taking taylor expansion of y in y
9.121 * [backup-simplify]: Simplify 0 into 0
9.121 * [backup-simplify]: Simplify 1 into 1
9.122 * [backup-simplify]: Simplify (* x 0) into 0
9.122 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.122 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.122 * [taylor]: Taking taylor expansion of x in y
9.122 * [backup-simplify]: Simplify x into x
9.122 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
9.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.122 * [taylor]: Taking taylor expansion of (* x y) in x
9.122 * [taylor]: Taking taylor expansion of x in x
9.122 * [backup-simplify]: Simplify 0 into 0
9.122 * [backup-simplify]: Simplify 1 into 1
9.122 * [taylor]: Taking taylor expansion of y in x
9.122 * [backup-simplify]: Simplify y into y
9.122 * [backup-simplify]: Simplify (* 0 y) into 0
9.123 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.123 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.123 * [taylor]: Taking taylor expansion of x in x
9.123 * [backup-simplify]: Simplify 0 into 0
9.123 * [backup-simplify]: Simplify 1 into 1
9.123 * [backup-simplify]: Simplify (/ 1 1) into 1
9.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
9.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.123 * [taylor]: Taking taylor expansion of (* x y) in x
9.123 * [taylor]: Taking taylor expansion of x in x
9.123 * [backup-simplify]: Simplify 0 into 0
9.123 * [backup-simplify]: Simplify 1 into 1
9.123 * [taylor]: Taking taylor expansion of y in x
9.123 * [backup-simplify]: Simplify y into y
9.123 * [backup-simplify]: Simplify (* 0 y) into 0
9.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.124 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.124 * [taylor]: Taking taylor expansion of x in x
9.124 * [backup-simplify]: Simplify 0 into 0
9.124 * [backup-simplify]: Simplify 1 into 1
9.124 * [backup-simplify]: Simplify (/ 1 1) into 1
9.125 * [backup-simplify]: Simplify (- 1) into -1
9.125 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
9.125 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
9.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.125 * [taylor]: Taking taylor expansion of y in y
9.125 * [backup-simplify]: Simplify 0 into 0
9.125 * [backup-simplify]: Simplify 1 into 1
9.128 * [backup-simplify]: Simplify (/ 1 1) into 1
9.128 * [taylor]: Taking taylor expansion of 1 in y
9.128 * [backup-simplify]: Simplify 1 into 1
9.129 * [backup-simplify]: Simplify (+ 1 0) into 1
9.129 * [backup-simplify]: Simplify 1 into 1
9.130 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.131 * [backup-simplify]: Simplify (- 0) into 0
9.131 * [backup-simplify]: Simplify (+ 0 0) into 0
9.131 * [taylor]: Taking taylor expansion of 0 in y
9.131 * [backup-simplify]: Simplify 0 into 0
9.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.133 * [backup-simplify]: Simplify (- 1) into -1
9.133 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.133 * [backup-simplify]: Simplify -1 into -1
9.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.136 * [backup-simplify]: Simplify (- 0) into 0
9.136 * [backup-simplify]: Simplify (+ 0 0) into 0
9.136 * [taylor]: Taking taylor expansion of 0 in y
9.136 * [backup-simplify]: Simplify 0 into 0
9.137 * [backup-simplify]: Simplify 0 into 0
9.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.138 * [backup-simplify]: Simplify (- 0) into 0
9.138 * [backup-simplify]: Simplify (+ 0 0) into 0
9.138 * [backup-simplify]: Simplify 0 into 0
9.140 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.140 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.141 * [backup-simplify]: Simplify (- 0) into 0
9.142 * [backup-simplify]: Simplify (+ 0 0) into 0
9.142 * [taylor]: Taking taylor expansion of 0 in y
9.142 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.143 * [backup-simplify]: Simplify (- 0) into 0
9.144 * [backup-simplify]: Simplify (+ 0 0) into 0
9.144 * [backup-simplify]: Simplify 0 into 0
9.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
9.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.146 * [backup-simplify]: Simplify (- 0) into 0
9.146 * [backup-simplify]: Simplify (+ 0 0) into 0
9.146 * [taylor]: Taking taylor expansion of 0 in y
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ x (* x y))
9.147 * * * * [progress]: [ 2 / 2 ] generating series at (2)
9.147 * [backup-simplify]: Simplify (+ (+ (* x y) x) y) into (+ x (+ y (* x y)))
9.147 * [approximate]: Taking taylor expansion of (+ x (+ y (* x y))) in (x y) around 0
9.147 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in y
9.147 * [taylor]: Taking taylor expansion of x in y
9.147 * [backup-simplify]: Simplify x into x
9.147 * [taylor]: Taking taylor expansion of (+ y (* x y)) in y
9.147 * [taylor]: Taking taylor expansion of y in y
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of (* x y) in y
9.147 * [taylor]: Taking taylor expansion of x in y
9.147 * [backup-simplify]: Simplify x into x
9.147 * [taylor]: Taking taylor expansion of y in y
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x
9.147 * [taylor]: Taking taylor expansion of x in x
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x
9.147 * [taylor]: Taking taylor expansion of y in x
9.147 * [backup-simplify]: Simplify y into y
9.147 * [taylor]: Taking taylor expansion of (* x y) in x
9.147 * [taylor]: Taking taylor expansion of x in x
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of y in x
9.147 * [backup-simplify]: Simplify y into y
9.147 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x
9.147 * [taylor]: Taking taylor expansion of x in x
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x
9.147 * [taylor]: Taking taylor expansion of y in x
9.147 * [backup-simplify]: Simplify y into y
9.147 * [taylor]: Taking taylor expansion of (* x y) in x
9.147 * [taylor]: Taking taylor expansion of x in x
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [taylor]: Taking taylor expansion of y in x
9.147 * [backup-simplify]: Simplify y into y
9.147 * [backup-simplify]: Simplify (* 0 y) into 0
9.147 * [backup-simplify]: Simplify (+ y 0) into y
9.147 * [backup-simplify]: Simplify (+ 0 y) into y
9.147 * [taylor]: Taking taylor expansion of y in y
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 1 into 1
9.147 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.148 * [backup-simplify]: Simplify (+ 0 y) into y
9.148 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1)
9.148 * [taylor]: Taking taylor expansion of (+ y 1) in y
9.148 * [taylor]: Taking taylor expansion of y in y
9.148 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify 1 into 1
9.148 * [taylor]: Taking taylor expansion of 1 in y
9.148 * [backup-simplify]: Simplify 1 into 1
9.148 * [backup-simplify]: Simplify (+ 0 1) into 1
9.148 * [backup-simplify]: Simplify 1 into 1
9.148 * [backup-simplify]: Simplify 1 into 1
9.149 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.149 * [backup-simplify]: Simplify (+ 0 0) into 0
9.149 * [backup-simplify]: Simplify (+ 0 0) into 0
9.149 * [taylor]: Taking taylor expansion of 0 in y
9.149 * [backup-simplify]: Simplify 0 into 0
9.149 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify (+ 1 0) into 1
9.150 * [backup-simplify]: Simplify 1 into 1
9.150 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y)))
9.150 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) (/ 1 y)) into (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))
9.150 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in (x y) around 0
9.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y
9.150 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.150 * [taylor]: Taking taylor expansion of (* x y) in y
9.150 * [taylor]: Taking taylor expansion of x in y
9.150 * [backup-simplify]: Simplify x into x
9.150 * [taylor]: Taking taylor expansion of y in y
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 1 into 1
9.150 * [backup-simplify]: Simplify (* x 0) into 0
9.150 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.150 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.150 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
9.150 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.150 * [taylor]: Taking taylor expansion of x in y
9.150 * [backup-simplify]: Simplify x into x
9.150 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.150 * [taylor]: Taking taylor expansion of y in y
9.151 * [backup-simplify]: Simplify 0 into 0
9.151 * [backup-simplify]: Simplify 1 into 1
9.151 * [backup-simplify]: Simplify (/ 1 1) into 1
9.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
9.151 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.151 * [taylor]: Taking taylor expansion of (* x y) in x
9.151 * [taylor]: Taking taylor expansion of x in x
9.151 * [backup-simplify]: Simplify 0 into 0
9.151 * [backup-simplify]: Simplify 1 into 1
9.151 * [taylor]: Taking taylor expansion of y in x
9.151 * [backup-simplify]: Simplify y into y
9.151 * [backup-simplify]: Simplify (* 0 y) into 0
9.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.151 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.151 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
9.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.151 * [taylor]: Taking taylor expansion of x in x
9.151 * [backup-simplify]: Simplify 0 into 0
9.151 * [backup-simplify]: Simplify 1 into 1
9.152 * [backup-simplify]: Simplify (/ 1 1) into 1
9.152 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.152 * [taylor]: Taking taylor expansion of y in x
9.152 * [backup-simplify]: Simplify y into y
9.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
9.152 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.152 * [taylor]: Taking taylor expansion of (* x y) in x
9.152 * [taylor]: Taking taylor expansion of x in x
9.152 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify 1 into 1
9.152 * [taylor]: Taking taylor expansion of y in x
9.152 * [backup-simplify]: Simplify y into y
9.152 * [backup-simplify]: Simplify (* 0 y) into 0
9.152 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.152 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
9.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.152 * [taylor]: Taking taylor expansion of x in x
9.152 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify 1 into 1
9.152 * [backup-simplify]: Simplify (/ 1 1) into 1
9.152 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.152 * [taylor]: Taking taylor expansion of y in x
9.152 * [backup-simplify]: Simplify y into y
9.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.153 * [backup-simplify]: Simplify (+ 1 0) into 1
9.153 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
9.153 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
9.153 * [taylor]: Taking taylor expansion of 1 in y
9.153 * [backup-simplify]: Simplify 1 into 1
9.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.153 * [taylor]: Taking taylor expansion of y in y
9.153 * [backup-simplify]: Simplify 0 into 0
9.153 * [backup-simplify]: Simplify 1 into 1
9.153 * [backup-simplify]: Simplify (/ 1 1) into 1
9.153 * [backup-simplify]: Simplify (+ 0 1) into 1
9.153 * [backup-simplify]: Simplify 1 into 1
9.154 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.155 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
9.155 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
9.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.155 * [taylor]: Taking taylor expansion of y in y
9.155 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (/ 1 1) into 1
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.156 * [backup-simplify]: Simplify (+ 1 0) into 1
9.156 * [backup-simplify]: Simplify 1 into 1
9.156 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y)))
9.156 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) (/ 1 (- y))) into (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))
9.156 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in (x y) around 0
9.156 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y
9.156 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.156 * [taylor]: Taking taylor expansion of (* x y) in y
9.156 * [taylor]: Taking taylor expansion of x in y
9.156 * [backup-simplify]: Simplify x into x
9.156 * [taylor]: Taking taylor expansion of y in y
9.156 * [backup-simplify]: Simplify 0 into 0
9.156 * [backup-simplify]: Simplify 1 into 1
9.156 * [backup-simplify]: Simplify (* x 0) into 0
9.157 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.157 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
9.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.157 * [taylor]: Taking taylor expansion of x in y
9.157 * [backup-simplify]: Simplify x into x
9.157 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.157 * [taylor]: Taking taylor expansion of y in y
9.157 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify 1 into 1
9.157 * [backup-simplify]: Simplify (/ 1 1) into 1
9.157 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
9.157 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.157 * [taylor]: Taking taylor expansion of (* x y) in x
9.157 * [taylor]: Taking taylor expansion of x in x
9.157 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify 1 into 1
9.157 * [taylor]: Taking taylor expansion of y in x
9.157 * [backup-simplify]: Simplify y into y
9.157 * [backup-simplify]: Simplify (* 0 y) into 0
9.157 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.157 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
9.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.157 * [taylor]: Taking taylor expansion of x in x
9.157 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 1 into 1
9.158 * [backup-simplify]: Simplify (/ 1 1) into 1
9.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.158 * [taylor]: Taking taylor expansion of y in x
9.158 * [backup-simplify]: Simplify y into y
9.158 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.158 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
9.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.158 * [taylor]: Taking taylor expansion of (* x y) in x
9.158 * [taylor]: Taking taylor expansion of x in x
9.158 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 1 into 1
9.158 * [taylor]: Taking taylor expansion of y in x
9.158 * [backup-simplify]: Simplify y into y
9.158 * [backup-simplify]: Simplify (* 0 y) into 0
9.158 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.158 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.158 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
9.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.158 * [taylor]: Taking taylor expansion of x in x
9.158 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 1 into 1
9.159 * [backup-simplify]: Simplify (/ 1 1) into 1
9.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.159 * [taylor]: Taking taylor expansion of y in x
9.159 * [backup-simplify]: Simplify y into y
9.159 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.159 * [backup-simplify]: Simplify (+ 1 0) into 1
9.159 * [backup-simplify]: Simplify (- 1) into -1
9.159 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
9.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
9.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.159 * [taylor]: Taking taylor expansion of y in y
9.159 * [backup-simplify]: Simplify 0 into 0
9.159 * [backup-simplify]: Simplify 1 into 1
9.160 * [backup-simplify]: Simplify (/ 1 1) into 1
9.160 * [taylor]: Taking taylor expansion of 1 in y
9.160 * [backup-simplify]: Simplify 1 into 1
9.160 * [backup-simplify]: Simplify (+ 1 0) into 1
9.160 * [backup-simplify]: Simplify 1 into 1
9.161 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.161 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
9.161 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.161 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
9.161 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.161 * [taylor]: Taking taylor expansion of y in y
9.161 * [backup-simplify]: Simplify 0 into 0
9.161 * [backup-simplify]: Simplify 1 into 1
9.162 * [backup-simplify]: Simplify (/ 1 1) into 1
9.162 * [backup-simplify]: Simplify (- 1) into -1
9.162 * [backup-simplify]: Simplify -1 into -1
9.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.162 * [backup-simplify]: Simplify (- 1) into -1
9.163 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.163 * [backup-simplify]: Simplify -1 into -1
9.163 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y)))
9.163 * * * [progress]: simplifying candidates
9.163 * * * * [progress]: [ 1 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (log (* (exp (* x y)) (exp x))) y))>
9.163 * * * * [progress]: [ 2 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (pow (+ (* x y) x) 1) y))>
9.163 * * * * [progress]: [ 3 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (exp (log (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 4 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (log (exp (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 5 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (* (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 6 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (cbrt (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 7 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 8 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (/ (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) y))>
9.163 * * * * [progress]: [ 9 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (* 1 (+ (* x y) x)) y))>
9.163 * * * * [progress]: [ 10 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (/ (- (* (* x y) (* x y)) (* x x)) (- (* x y) x)) y))>
9.163 * * * * [progress]: [ 11 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (posit16->real (real->posit16 (+ (* x y) x))) y))>
9.163 * * * * [progress]: [ 12 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (* x y)) y))>
9.164 * * * * [progress]: [ 13 / 33 ] simplifiying candidate #<alt (λ (x y) (log (* (* (exp (* x y)) (exp x)) (exp y))))>
9.164 * * * * [progress]: [ 14 / 33 ] simplifiying candidate #<alt (λ (x y) (log (* (exp (+ (* x y) x)) (exp y))))>
9.164 * * * * [progress]: [ 15 / 33 ] simplifiying candidate #<alt (λ (x y) (pow (+ (+ (* x y) x) y) 1))>
9.164 * * * * [progress]: [ 16 / 33 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 17 / 33 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 18 / 33 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 19 / 33 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 20 / 33 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 21 / 33 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y)))))>
9.164 * * * * [progress]: [ 22 / 33 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (+ (* x y) x) y)))>
9.164 * * * * [progress]: [ 23 / 33 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y)))>
9.164 * * * * [progress]: [ 24 / 33 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (+ (* x y) x) y)))>
9.164 * * * * [progress]: [ 25 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (* x y) (+ x y)))>
9.164 * * * * [progress]: [ 26 / 33 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ (+ (* x y) x) y))))>
9.164 * * * * [progress]: [ 27 / 33 ] simplifiying candidate #<alt (λ (x y) (+ y (+ (* x y) x)))>
9.164 * * * * [progress]: [ 28 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (* x y)) y))>
9.164 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (* x y)) y))>
9.164 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (* x y)) y))>
9.164 * * * * [progress]: [ 31 / 33 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
9.164 * * * * [progress]: [ 32 / 33 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
9.164 * * * * [progress]: [ 33 / 33 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
9.165 * [simplify]: Simplifying:
  (* (exp (* x y)) (exp x))
  (log (+ (* x y) x))
  (exp (+ (* x y) x))
  (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))
  (cbrt (+ (* x y) x))
  (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (+ (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
  (- (* (* x y) (* x y)) (* x x))
  (- (* x y) x)
  (real->posit16 (+ (* x y) x))
  (* (* (exp (* x y)) (exp x)) (exp y))
  (* (exp (+ (* x y) x)) (exp y))
  (log (+ (+ (* x y) x) y))
  (exp (+ (+ (* x y) x) y))
  (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y)))
  (cbrt (+ (+ (* x y) x) y))
  (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y))
  (sqrt (+ (+ (* x y) x) y))
  (sqrt (+ (+ (* x y) x) y))
  (+ (pow (+ (* x y) x) 3) (pow y 3))
  (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y)))
  (- (* (+ (* x y) x) (+ (* x y) x)) (* y y))
  (- (+ (* x y) x) y)
  (+ (+ (* x y) x) y)
  (+ x y)
  (real->posit16 (+ (+ (* x y) x) y))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
9.165 * * [simplify]: iteration 0: 51 enodes
9.176 * * [simplify]: iteration 1: 146 enodes
9.234 * * [simplify]: iteration 2: 524 enodes
9.697 * * [simplify]: iteration 3: 1839 enodes
10.257 * * [simplify]: iteration complete: 5001 enodes
10.257 * * [simplify]: Extracting #0: cost 25 inf + 0
10.258 * * [simplify]: Extracting #1: cost 221 inf + 0
10.262 * * [simplify]: Extracting #2: cost 1097 inf + 604
10.272 * * [simplify]: Extracting #3: cost 1459 inf + 34284
10.322 * * [simplify]: Extracting #4: cost 481 inf + 211410
10.408 * * [simplify]: Extracting #5: cost 89 inf + 301851
10.511 * * [simplify]: Extracting #6: cost 13 inf + 323142
10.635 * * [simplify]: Extracting #7: cost 0 inf + 326636
10.741 * [simplify]: Simplified to:
  (exp (+ x (* x y)))
  (log (+ x (* x y)))
  (exp (+ x (* x y)))
  (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))
  (cbrt (+ x (* x y)))
  (* (+ x (* x y)) (* (+ x (* x y)) (+ x (* x y))))
  (sqrt (+ x (* x y)))
  (sqrt (+ x (* x y)))
  (+ (* (* x y) (* (* x y) (* x y))) (* x (* x x)))
  (+ (* (* x y) (- (* x y) x)) (* x x))
  (* (+ x (* x y)) (- (* x y) x))
  (- (* x y) x)
  (real->posit16 (+ x (* x y)))
  (exp (+ (* x y) (+ y x)))
  (exp (+ (* x y) (+ y x)))
  (log (+ (* x y) (+ y x)))
  (exp (+ (* x y) (+ y x)))
  (* (cbrt (+ (* x y) (+ y x))) (cbrt (+ (* x y) (+ y x))))
  (cbrt (+ (* x y) (+ y x)))
  (* (* (+ (* x y) (+ y x)) (+ (* x y) (+ y x))) (+ (* x y) (+ y x)))
  (sqrt (+ (* x y) (+ y x)))
  (sqrt (+ (* x y) (+ y x)))
  (+ (* y (* y y)) (* (+ x (* x y)) (* (+ x (* x y)) (+ x (* x y)))))
  (+ (* (+ x (* x y)) (+ x (- (* x y) y))) (* y y))
  (* (+ (+ x (* x y)) y) (- (+ x (* x y)) y))
  (+ x (- (* x y) y))
  (+ (* x y) (+ y x))
  (+ y x)
  (real->posit16 (+ (* x y) (+ y x)))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (+ (* x y) (+ y x))
  (+ (* x y) (+ y x))
  (+ (* x y) (+ y x))
10.742 * * * [progress]: adding candidates to table
10.881 * [progress]: [Phase 3 of 3] Extracting.
10.884 * [simplify]: Simplifying:
  (+ (+ (* x y) x) y)
10.884 * * [simplify]: iteration 0: 5 enodes
10.885 * * [simplify]: iteration 1: 8 enodes
10.885 * * [simplify]: iteration complete: 8 enodes
10.885 * * [simplify]: Extracting #0: cost 1 inf + 0
10.885 * * [simplify]: Extracting #1: cost 3 inf + 0
10.885 * * [simplify]: Extracting #2: cost 4 inf + 1
10.885 * * [simplify]: Extracting #3: cost 3 inf + 2
10.885 * * [simplify]: Extracting #4: cost 0 inf + 248
10.885 * [simplify]: Simplified to:
  (+ y (+ x (* x y)))
11.795 * [regime-testing]: Baseline error score: 0.009772462182953159
11.797 * [regime-testing]: Oracle error score: 0.009772462182953159
11.797 * [regime-testing]: End program error score: 0.009772462182953159