19.805 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (sqrt (+ (* x x) y)))>
0.032 * [simplify]: Simplifying:
  (sqrt (+ (* x x) y))
0.032 * * [simplify]: iteration 0: 5 enodes
0.034 * * [simplify]: iteration 1: 6 enodes
0.036 * * [simplify]: iteration complete: 6 enodes
0.036 * * [simplify]: Extracting #0: cost 1 inf + 0
0.036 * * [simplify]: Extracting #1: cost 2 inf + 0
0.036 * * [simplify]: Extracting #2: cost 4 inf + 0
0.036 * * [simplify]: Extracting #3: cost 4 inf + 1
0.036 * * [simplify]: Extracting #4: cost 3 inf + 2
0.036 * * [simplify]: Extracting #5: cost 0 inf + 247
0.037 * [simplify]: Simplified to:
  (sqrt (+ (* x x) y))
0.037 * * [progress]: iteration 1 / 4
0.038 * * * [progress]: picking best candidate
0.042 * * * * [pick]: Picked  #<alt (λ (x y) (sqrt (+ (* x x) y)))>
0.042 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.092 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.110 * * * [progress]: generating series expansions
0.110 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.110 * [backup-simplify]: Simplify (sqrt (+ (* x x) y)) into (sqrt (+ (pow x 2) y))
0.110 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) y)) in (x y) around 0
0.110 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) y)) in y
0.110 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in y
0.110 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.110 * [taylor]: Taking taylor expansion of x in y
0.110 * [backup-simplify]: Simplify x into x
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 1 into 1
0.110 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.110 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
0.110 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
0.111 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.111 * [backup-simplify]: Simplify (+ 0 1) into 1
0.112 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (pow x 2)))) into (/ 1/2 x)
0.112 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) y)) in x
0.112 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.112 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify 1 into 1
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [backup-simplify]: Simplify y into y
0.112 * [backup-simplify]: Simplify (+ 0 y) into y
0.112 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
0.112 * [backup-simplify]: Simplify (+ 0 0) into 0
0.112 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
0.112 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) y)) in x
0.112 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.113 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 1 into 1
0.113 * [taylor]: Taking taylor expansion of y in x
0.113 * [backup-simplify]: Simplify y into y
0.113 * [backup-simplify]: Simplify (+ 0 y) into y
0.113 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
0.113 * [backup-simplify]: Simplify (+ 0 0) into 0
0.113 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
0.113 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 1 into 1
0.114 * [backup-simplify]: Simplify (sqrt 0) into 0
0.115 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.116 * [backup-simplify]: Simplify (* 1 1) into 1
0.117 * [backup-simplify]: Simplify (+ 1 0) into 1
0.117 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y)))
0.118 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y
0.118 * [taylor]: Taking taylor expansion of 1/2 in y
0.118 * [backup-simplify]: Simplify 1/2 into 1/2
0.118 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify 1 into 1
0.118 * [backup-simplify]: Simplify (/ 1 1) into 1
0.119 * [backup-simplify]: Simplify (sqrt 0) into 0
0.121 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.122 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
0.123 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.123 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.126 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.127 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (* y 1) 2)) (+ (* (- +nan.0) (pow (* 1 x) 2)) (* +nan.0 (* y 1)))) into (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 y))))))
0.127 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))) into (sqrt (+ (/ 1 (pow x 2)) (/ 1 y)))
0.128 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in (x y) around 0
0.128 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in y
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.128 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.128 * [taylor]: Taking taylor expansion of x in y
0.128 * [backup-simplify]: Simplify x into x
0.128 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.128 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.128 * [backup-simplify]: Simplify (/ 1 1) into 1
0.129 * [backup-simplify]: Simplify (+ 0 1) into 1
0.129 * [backup-simplify]: Simplify (sqrt 0) into 0
0.131 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.131 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in x
0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.131 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify 1 into 1
0.131 * [backup-simplify]: Simplify (* 1 1) into 1
0.132 * [backup-simplify]: Simplify (/ 1 1) into 1
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.132 * [taylor]: Taking taylor expansion of y in x
0.132 * [backup-simplify]: Simplify y into y
0.132 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.132 * [backup-simplify]: Simplify (+ 1 0) into 1
0.132 * [backup-simplify]: Simplify (sqrt 1) into 1
0.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.133 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.134 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in x
0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.134 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify 1 into 1
0.134 * [backup-simplify]: Simplify (* 1 1) into 1
0.135 * [backup-simplify]: Simplify (/ 1 1) into 1
0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.135 * [taylor]: Taking taylor expansion of y in x
0.135 * [backup-simplify]: Simplify y into y
0.135 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.135 * [backup-simplify]: Simplify (+ 1 0) into 1
0.135 * [backup-simplify]: Simplify (sqrt 1) into 1
0.136 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.136 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.137 * [taylor]: Taking taylor expansion of 1 in y
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [taylor]: Taking taylor expansion of 0 in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.138 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.139 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 y)
0.139 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.139 * [taylor]: Taking taylor expansion of 1/2 in y
0.139 * [backup-simplify]: Simplify 1/2 into 1/2
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.139 * [backup-simplify]: Simplify 1/2 into 1/2
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 1)) into 0
0.141 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.144 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 y) 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/8 (pow y 2))
0.144 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y
0.144 * [taylor]: Taking taylor expansion of -1/8 in y
0.144 * [backup-simplify]: Simplify -1/8 into -1/8
0.144 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.145 * [backup-simplify]: Simplify (* 1 1) into 1
0.145 * [backup-simplify]: Simplify (/ -1/8 1) into -1/8
0.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)))) into 0
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify (+ (* 1/2 (* (/ 1 (/ 1 y)) (/ 1 x))) (* 1 (* 1 (/ 1 (/ 1 x))))) into (+ x (* 1/2 (/ y x)))
0.146 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y)))) into (sqrt (- (/ 1 (pow x 2)) (/ 1 y)))
0.146 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in (x y) around 0
0.146 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in y
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.146 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.146 * [backup-simplify]: Simplify x into x
0.146 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.146 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (/ 1 1) into 1
0.147 * [backup-simplify]: Simplify (- 1) into -1
0.147 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.147 * [backup-simplify]: Simplify (sqrt 0) into 0
0.148 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.148 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in x
0.148 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.148 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (* 1 1) into 1
0.149 * [backup-simplify]: Simplify (/ 1 1) into 1
0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.149 * [taylor]: Taking taylor expansion of y in x
0.149 * [backup-simplify]: Simplify y into y
0.149 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.149 * [backup-simplify]: Simplify (+ 1 0) into 1
0.149 * [backup-simplify]: Simplify (sqrt 1) into 1
0.150 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.151 * [backup-simplify]: Simplify (+ 0 0) into 0
0.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.151 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in x
0.151 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.151 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (* 1 1) into 1
0.152 * [backup-simplify]: Simplify (/ 1 1) into 1
0.152 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.152 * [taylor]: Taking taylor expansion of y in x
0.152 * [backup-simplify]: Simplify y into y
0.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.152 * [backup-simplify]: Simplify (+ 1 0) into 1
0.152 * [backup-simplify]: Simplify (sqrt 1) into 1
0.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.153 * [backup-simplify]: Simplify (+ 0 0) into 0
0.154 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.154 * [taylor]: Taking taylor expansion of 1 in y
0.154 * [backup-simplify]: Simplify 1 into 1
0.154 * [taylor]: Taking taylor expansion of 0 in y
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.155 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.155 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.156 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 y)
0.156 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.156 * [taylor]: Taking taylor expansion of -1/2 in y
0.156 * [backup-simplify]: Simplify -1/2 into -1/2
0.156 * [taylor]: Taking taylor expansion of y in y
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 1 into 1
0.156 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
0.156 * [backup-simplify]: Simplify -1/2 into -1/2
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.158 * [backup-simplify]: Simplify (- 0) into 0
0.158 * [backup-simplify]: Simplify (+ 0 0) into 0
0.158 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 y))))) (* 2 1)) into 0
0.159 * [taylor]: Taking taylor expansion of 0 in y
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.161 * [backup-simplify]: Simplify (- 0) into 0
0.161 * [backup-simplify]: Simplify (+ 0 0) into 0
0.162 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 y) 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/8 (pow y 2))
0.162 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y
0.162 * [taylor]: Taking taylor expansion of -1/8 in y
0.162 * [backup-simplify]: Simplify -1/8 into -1/8
0.162 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (* 1 1) into 1
0.163 * [backup-simplify]: Simplify (/ -1/8 1) into -1/8
0.163 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)))) into 0
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify (+ (* -1/2 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ x (* 1/2 (/ y x))))
0.164 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.164 * [backup-simplify]: Simplify (+ (* x x) y) into (+ (pow x 2) y)
0.164 * [approximate]: Taking taylor expansion of (+ (pow x 2) y) in (x y) around 0
0.164 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in y
0.164 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.164 * [taylor]: Taking taylor expansion of x in y
0.164 * [backup-simplify]: Simplify x into x
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.164 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [backup-simplify]: Simplify y into y
0.164 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.164 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [backup-simplify]: Simplify y into y
0.164 * [backup-simplify]: Simplify (+ 0 y) into y
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (+ 0 0) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in y
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (* 1 1) into 1
0.165 * [backup-simplify]: Simplify (+ 1 0) into 1
0.165 * [taylor]: Taking taylor expansion of 1 in y
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.166 * [backup-simplify]: Simplify (+ 0 0) into 0
0.166 * [taylor]: Taking taylor expansion of 0 in y
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 1 (* y 1))) into (+ (pow x 2) y)
0.167 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (+ (/ 1 (pow x 2)) (/ 1 y))
0.167 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0
0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y
0.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.167 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.167 * [taylor]: Taking taylor expansion of x in y
0.167 * [backup-simplify]: Simplify x into x
0.167 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.167 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ 1 1) into 1
0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.167 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (* 1 1) into 1
0.168 * [backup-simplify]: Simplify (/ 1 1) into 1
0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.168 * [backup-simplify]: Simplify y into y
0.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.168 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.168 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (* 1 1) into 1
0.169 * [backup-simplify]: Simplify (/ 1 1) into 1
0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.169 * [taylor]: Taking taylor expansion of y in x
0.169 * [backup-simplify]: Simplify y into y
0.169 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.169 * [backup-simplify]: Simplify (+ 1 0) into 1
0.170 * [taylor]: Taking taylor expansion of 1 in y
0.170 * [backup-simplify]: Simplify 1 into 1
0.170 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.171 * [taylor]: Taking taylor expansion of 0 in y
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 1 into 1
0.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.172 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.172 * [taylor]: Taking taylor expansion of y in y
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 1 into 1
0.172 * [backup-simplify]: Simplify (/ 1 1) into 1
0.172 * [backup-simplify]: Simplify 1 into 1
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.174 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [taylor]: Taking taylor expansion of 0 in y
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.177 * [taylor]: Taking taylor expansion of 0 in y
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) y)
0.177 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (- (/ 1 (pow x 2)) (/ 1 y))
0.177 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0
0.177 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.177 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [backup-simplify]: Simplify x into x
0.177 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.178 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (/ 1 1) into 1
0.178 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.178 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (* 1 1) into 1
0.179 * [backup-simplify]: Simplify (/ 1 1) into 1
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.179 * [backup-simplify]: Simplify y into y
0.179 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.179 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (* 1 1) into 1
0.180 * [backup-simplify]: Simplify (/ 1 1) into 1
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [backup-simplify]: Simplify y into y
0.180 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.181 * [backup-simplify]: Simplify (+ 1 0) into 1
0.181 * [taylor]: Taking taylor expansion of 1 in y
0.181 * [backup-simplify]: Simplify 1 into 1
0.182 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.185 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.185 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.185 * [taylor]: Taking taylor expansion of y in y
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ 1 1) into 1
0.186 * [backup-simplify]: Simplify (- 1) into -1
0.186 * [backup-simplify]: Simplify -1 into -1
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.188 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [taylor]: Taking taylor expansion of 0 in y
0.189 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.190 * [backup-simplify]: Simplify (- 0) into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.193 * [backup-simplify]: Simplify (- 0) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) y)
0.194 * * * [progress]: simplifying candidates
0.194 * * * * [progress]: [ 1 / 34 ] simplifiying candidate #<alt (λ (x y) (pow (+ (* x x) y) 1/2))>
0.194 * * * * [progress]: [ 2 / 34 ] simplifiying candidate #<alt (λ (x y) (pow (sqrt (+ (* x x) y)) 1))>
0.194 * * * * [progress]: [ 3 / 34 ] simplifiying candidate #<alt (λ (x y) (exp (log (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 4 / 34 ] simplifiying candidate #<alt (λ (x y) (log (exp (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 5 / 34 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (sqrt (+ (* x x) y))) (cbrt (sqrt (+ (* x x) y)))) (cbrt (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 6 / 34 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (sqrt (+ (* x x) y)) (sqrt (+ (* x x) y))) (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 7 / 34 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y)))) (sqrt (cbrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 8 / 34 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 9 / 34 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 1) (sqrt (+ (* x x) y))))>
0.194 * * * * [progress]: [ 10 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (sqrt (+ (pow (* x x) 3) (pow y 3))) (sqrt (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y))))))>
0.194 * * * * [progress]: [ 11 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (sqrt (- (* (* x x) (* x x)) (* y y))) (sqrt (- (* x x) y))))>
0.194 * * * * [progress]: [ 12 / 34 ] simplifiying candidate #<alt (λ (x y) (pow (+ (* x x) y) (/ 1 2)))>
0.194 * * * * [progress]: [ 13 / 34 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y)))))>
0.194 * * * * [progress]: [ 14 / 34 ] simplifiying candidate #<alt (λ (x y) (fabs (sqrt (+ (* x x) y))))>
0.194 * * * * [progress]: [ 15 / 34 ] simplifiying candidate #<alt (λ (x y) (* 1 (sqrt (+ (* x x) y))))>
0.195 * * * * [progress]: [ 16 / 34 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (sqrt (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 17 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (log (* (exp (* x x)) (exp y)))))>
0.195 * * * * [progress]: [ 18 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (pow (+ (* x x) y) 1)))>
0.195 * * * * [progress]: [ 19 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (exp (log (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 20 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (log (exp (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 21 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (* (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y))) (cbrt (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 22 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (cbrt (* (* (+ (* x x) y) (+ (* x x) y)) (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 23 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (* (sqrt (+ (* x x) y)) (sqrt (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 24 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (/ (+ (pow (* x x) 3) (pow y 3)) (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y))))))>
0.195 * * * * [progress]: [ 25 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (* 1 (+ (* x x) y))))>
0.195 * * * * [progress]: [ 26 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (/ (- (* (* x x) (* x x)) (* y y)) (- (* x x) y))))>
0.195 * * * * [progress]: [ 27 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (posit16->real (real->posit16 (+ (* x x) y)))))>
0.195 * * * * [progress]: [ 28 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (+ y (* x x))))>
0.195 * * * * [progress]: [ 29 / 34 ] simplifiying candidate #<alt (λ (x y) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 y)))))))>
0.195 * * * * [progress]: [ 30 / 34 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
0.195 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #<alt (λ (x y) (- (+ x (* 1/2 (/ y x)))))>
0.195 * * * * [progress]: [ 32 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (+ (pow x 2) y)))>
0.195 * * * * [progress]: [ 33 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (+ (pow x 2) y)))>
0.195 * * * * [progress]: [ 34 / 34 ] simplifiying candidate #<alt (λ (x y) (sqrt (+ (pow x 2) y)))>
0.196 * [simplify]: Simplifying:
  (log (sqrt (+ (* x x) y)))
  (exp (sqrt (+ (* x x) y)))
  (* (cbrt (sqrt (+ (* x x) y))) (cbrt (sqrt (+ (* x x) y))))
  (cbrt (sqrt (+ (* x x) y)))
  (* (* (sqrt (+ (* x x) y)) (sqrt (+ (* x x) y))) (sqrt (+ (* x x) y)))
  (sqrt (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y))))
  (sqrt (cbrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  (sqrt 1)
  (sqrt (+ (* x x) y))
  (sqrt (+ (pow (* x x) 3) (pow y 3)))
  (sqrt (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y))))
  (sqrt (- (* (* x x) (* x x)) (* y y)))
  (sqrt (- (* x x) y))
  (/ 1 2)
  (sqrt (sqrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  (real->posit16 (sqrt (+ (* x x) y)))
  (* (exp (* x x)) (exp 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))
  (+ (pow (* x x) 3) (pow y 3))
  (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y)))
  (- (* (* x x) (* x x)) (* y y))
  (- (* x x) y)
  (real->posit16 (+ (* x x) y))
  (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 y))))))
  (+ x (* 1/2 (/ y x)))
  (- (+ x (* 1/2 (/ y x))))
  (+ (pow x 2) y)
  (+ (pow x 2) y)
  (+ (pow x 2) y)
0.197 * * [simplify]: iteration 0: 61 enodes
0.228 * * [simplify]: iteration 1: 148 enodes
0.306 * * [simplify]: iteration 2: 397 enodes
0.528 * * [simplify]: iteration 3: 1330 enodes
1.248 * * [simplify]: iteration complete: 5001 enodes
1.248 * * [simplify]: Extracting #0: cost 30 inf + 0
1.249 * * [simplify]: Extracting #1: cost 340 inf + 2
1.254 * * [simplify]: Extracting #2: cost 1745 inf + 1528
1.269 * * [simplify]: Extracting #3: cost 1588 inf + 71972
1.310 * * [simplify]: Extracting #4: cost 392 inf + 247031
1.369 * * [simplify]: Extracting #5: cost 66 inf + 319963
1.430 * * [simplify]: Extracting #6: cost 29 inf + 330648
1.500 * * [simplify]: Extracting #7: cost 8 inf + 333799
1.564 * * [simplify]: Extracting #8: cost 0 inf + 336143
1.636 * [simplify]: Simplified to:
  (log (sqrt (+ (* x x) y)))
  (exp (sqrt (+ (* x x) y)))
  (* (cbrt (sqrt (+ (* x x) y))) (cbrt (sqrt (+ (* x x) y))))
  (cbrt (sqrt (+ (* x x) y)))
  (* (sqrt (+ (* x x) y)) (+ (* x x) y))
  (fabs (cbrt (+ (* x x) y)))
  (sqrt (cbrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  1
  (sqrt (+ (* x x) y))
  (sqrt (+ (* (* y y) y) (* (* (* x x) (* x x)) (* x x))))
  (sqrt (- (* y y) (* (* x x) (- y (* x x)))))
  (sqrt (- (* (* x x) (* x x)) (* y y)))
  (sqrt (- (* x x) y))
  1/2
  (sqrt (sqrt (+ (* x x) y)))
  (sqrt (sqrt (+ (* x x) y)))
  (real->posit16 (sqrt (+ (* x x) y)))
  (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))
  (+ (* (* y y) y) (* (* (* x x) (* x x)) (* x x)))
  (- (* y y) (* (* x x) (- y (* x x))))
  (- (* (* x x) (* x x)) (* y y))
  (- (* x x) y)
  (real->posit16 (+ (* x x) y))
  (* +nan.0 (+ (- (* x x) y) (* (- y) y)))
  (+ (/ 1/2 (/ x y)) x)
  (- (* -1/2 (/ y x)) x)
  (+ (* x x) y)
  (+ (* x x) y)
  (+ (* x x) y)
1.638 * * * [progress]: adding candidates to table
1.736 * * [progress]: iteration 2 / 4
1.736 * * * [progress]: picking best candidate
1.741 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.741 * * * [progress]: localizing error
1.755 * * * [progress]: generating rewritten candidates
1.755 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.780 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.792 * * * [progress]: generating series expansions
1.792 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.792 * [backup-simplify]: Simplify (* 1/2 (/ y x)) into (* 1/2 (/ y x))
1.792 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (y x) around 0
1.792 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
1.792 * [taylor]: Taking taylor expansion of 1/2 in x
1.792 * [backup-simplify]: Simplify 1/2 into 1/2
1.792 * [taylor]: Taking taylor expansion of (/ y x) in x
1.792 * [taylor]: Taking taylor expansion of y in x
1.792 * [backup-simplify]: Simplify y into y
1.792 * [taylor]: Taking taylor expansion of x in x
1.792 * [backup-simplify]: Simplify 0 into 0
1.792 * [backup-simplify]: Simplify 1 into 1
1.792 * [backup-simplify]: Simplify (/ y 1) into y
1.792 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
1.792 * [taylor]: Taking taylor expansion of 1/2 in y
1.792 * [backup-simplify]: Simplify 1/2 into 1/2
1.792 * [taylor]: Taking taylor expansion of (/ y x) in y
1.792 * [taylor]: Taking taylor expansion of y in y
1.792 * [backup-simplify]: Simplify 0 into 0
1.792 * [backup-simplify]: Simplify 1 into 1
1.792 * [taylor]: Taking taylor expansion of x in y
1.793 * [backup-simplify]: Simplify x into x
1.793 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.793 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
1.793 * [taylor]: Taking taylor expansion of 1/2 in y
1.793 * [backup-simplify]: Simplify 1/2 into 1/2
1.793 * [taylor]: Taking taylor expansion of (/ y x) in y
1.793 * [taylor]: Taking taylor expansion of y in y
1.793 * [backup-simplify]: Simplify 0 into 0
1.793 * [backup-simplify]: Simplify 1 into 1
1.793 * [taylor]: Taking taylor expansion of x in y
1.793 * [backup-simplify]: Simplify x into x
1.793 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.793 * [backup-simplify]: Simplify (* 1/2 (/ 1 x)) into (/ 1/2 x)
1.793 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x
1.793 * [taylor]: Taking taylor expansion of 1/2 in x
1.793 * [backup-simplify]: Simplify 1/2 into 1/2
1.793 * [taylor]: Taking taylor expansion of x in x
1.793 * [backup-simplify]: Simplify 0 into 0
1.793 * [backup-simplify]: Simplify 1 into 1
1.794 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
1.794 * [backup-simplify]: Simplify 1/2 into 1/2
1.794 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1.795 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 x))) into 0
1.795 * [taylor]: Taking taylor expansion of 0 in x
1.795 * [backup-simplify]: Simplify 0 into 0
1.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1.796 * [backup-simplify]: Simplify 0 into 0
1.796 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.797 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1.797 * [taylor]: Taking taylor expansion of 0 in x
1.797 * [backup-simplify]: Simplify 0 into 0
1.797 * [backup-simplify]: Simplify 0 into 0
1.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.798 * [backup-simplify]: Simplify 0 into 0
1.798 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.799 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1.799 * [taylor]: Taking taylor expansion of 0 in x
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify (* 1/2 (* (/ 1 x) y)) into (* 1/2 (/ y x))
1.800 * [backup-simplify]: Simplify (* 1/2 (/ (/ 1 y) (/ 1 x))) into (* 1/2 (/ x y))
1.800 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (y x) around 0
1.800 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.800 * [taylor]: Taking taylor expansion of 1/2 in x
1.800 * [backup-simplify]: Simplify 1/2 into 1/2
1.801 * [taylor]: Taking taylor expansion of (/ x y) in x
1.801 * [taylor]: Taking taylor expansion of x in x
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify 1 into 1
1.801 * [taylor]: Taking taylor expansion of y in x
1.801 * [backup-simplify]: Simplify y into y
1.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.801 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.801 * [taylor]: Taking taylor expansion of 1/2 in y
1.801 * [backup-simplify]: Simplify 1/2 into 1/2
1.801 * [taylor]: Taking taylor expansion of (/ x y) in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.801 * [backup-simplify]: Simplify x into x
1.801 * [taylor]: Taking taylor expansion of y in y
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify 1 into 1
1.801 * [backup-simplify]: Simplify (/ x 1) into x
1.801 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.801 * [taylor]: Taking taylor expansion of 1/2 in y
1.801 * [backup-simplify]: Simplify 1/2 into 1/2
1.801 * [taylor]: Taking taylor expansion of (/ x y) in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.801 * [backup-simplify]: Simplify x into x
1.801 * [taylor]: Taking taylor expansion of y in y
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify 1 into 1
1.801 * [backup-simplify]: Simplify (/ x 1) into x
1.801 * [backup-simplify]: Simplify (* 1/2 x) into (* 1/2 x)
1.801 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
1.801 * [taylor]: Taking taylor expansion of 1/2 in x
1.801 * [backup-simplify]: Simplify 1/2 into 1/2
1.801 * [taylor]: Taking taylor expansion of x in x
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify 1 into 1
1.802 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1.802 * [backup-simplify]: Simplify 1/2 into 1/2
1.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1.803 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 x)) into 0
1.803 * [taylor]: Taking taylor expansion of 0 in x
1.804 * [backup-simplify]: Simplify 0 into 0
1.804 * [backup-simplify]: Simplify 0 into 0
1.804 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1.804 * [backup-simplify]: Simplify 0 into 0
1.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.807 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 x))) into 0
1.807 * [taylor]: Taking taylor expansion of 0 in x
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.808 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.811 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
1.811 * [taylor]: Taking taylor expansion of 0 in x
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify (* 1/2 (* (/ 1 x) (/ 1 (/ 1 y)))) into (* 1/2 (/ y x))
1.811 * [backup-simplify]: Simplify (* 1/2 (/ (/ 1 (- y)) (/ 1 (- x)))) into (* 1/2 (/ x y))
1.811 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (y x) around 0
1.811 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.811 * [taylor]: Taking taylor expansion of 1/2 in x
1.811 * [backup-simplify]: Simplify 1/2 into 1/2
1.811 * [taylor]: Taking taylor expansion of (/ x y) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [taylor]: Taking taylor expansion of y in x
1.811 * [backup-simplify]: Simplify y into y
1.811 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.811 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.811 * [taylor]: Taking taylor expansion of 1/2 in y
1.811 * [backup-simplify]: Simplify 1/2 into 1/2
1.811 * [taylor]: Taking taylor expansion of (/ x y) in y
1.811 * [taylor]: Taking taylor expansion of x in y
1.811 * [backup-simplify]: Simplify x into x
1.811 * [taylor]: Taking taylor expansion of y in y
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 1 into 1
1.812 * [backup-simplify]: Simplify (/ x 1) into x
1.812 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.812 * [taylor]: Taking taylor expansion of 1/2 in y
1.812 * [backup-simplify]: Simplify 1/2 into 1/2
1.812 * [taylor]: Taking taylor expansion of (/ x y) in y
1.812 * [taylor]: Taking taylor expansion of x in y
1.812 * [backup-simplify]: Simplify x into x
1.812 * [taylor]: Taking taylor expansion of y in y
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 1 into 1
1.812 * [backup-simplify]: Simplify (/ x 1) into x
1.812 * [backup-simplify]: Simplify (* 1/2 x) into (* 1/2 x)
1.812 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
1.812 * [taylor]: Taking taylor expansion of 1/2 in x
1.812 * [backup-simplify]: Simplify 1/2 into 1/2
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 1 into 1
1.813 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1.813 * [backup-simplify]: Simplify 1/2 into 1/2
1.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1.814 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 x)) into 0
1.814 * [taylor]: Taking taylor expansion of 0 in x
1.814 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify 0 into 0
1.815 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1.815 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.817 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 x))) into 0
1.817 * [taylor]: Taking taylor expansion of 0 in x
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify 0 into 0
1.818 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.818 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.821 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
1.821 * [taylor]: Taking taylor expansion of 0 in x
1.821 * [backup-simplify]: Simplify 0 into 0
1.821 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify (* 1/2 (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) into (* 1/2 (/ y x))
1.822 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.822 * [backup-simplify]: Simplify (+ x (* 1/2 (/ y x))) into (+ x (* 1/2 (/ y x)))
1.822 * [approximate]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in (x y) around 0
1.822 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in y
1.822 * [taylor]: Taking taylor expansion of x in y
1.822 * [backup-simplify]: Simplify x into x
1.822 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
1.822 * [taylor]: Taking taylor expansion of 1/2 in y
1.822 * [backup-simplify]: Simplify 1/2 into 1/2
1.822 * [taylor]: Taking taylor expansion of (/ y x) in y
1.822 * [taylor]: Taking taylor expansion of y in y
1.822 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify 1 into 1
1.822 * [taylor]: Taking taylor expansion of x in y
1.822 * [backup-simplify]: Simplify x into x
1.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.822 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify 1 into 1
1.822 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
1.822 * [taylor]: Taking taylor expansion of 1/2 in x
1.822 * [backup-simplify]: Simplify 1/2 into 1/2
1.822 * [taylor]: Taking taylor expansion of (/ y x) in x
1.822 * [taylor]: Taking taylor expansion of y in x
1.822 * [backup-simplify]: Simplify y into y
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify 1 into 1
1.823 * [backup-simplify]: Simplify (/ y 1) into y
1.823 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 1 into 1
1.823 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
1.823 * [taylor]: Taking taylor expansion of 1/2 in x
1.823 * [backup-simplify]: Simplify 1/2 into 1/2
1.823 * [taylor]: Taking taylor expansion of (/ y x) in x
1.823 * [taylor]: Taking taylor expansion of y in x
1.823 * [backup-simplify]: Simplify y into y
1.823 * [taylor]: Taking taylor expansion of x in x
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 1 into 1
1.823 * [backup-simplify]: Simplify (/ y 1) into y
1.823 * [backup-simplify]: Simplify (* 1/2 y) into (* 1/2 y)
1.823 * [backup-simplify]: Simplify (+ 0 (* 1/2 y)) into (* 1/2 y)
1.823 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
1.823 * [taylor]: Taking taylor expansion of 1/2 in y
1.823 * [backup-simplify]: Simplify 1/2 into 1/2
1.823 * [taylor]: Taking taylor expansion of y in y
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 1 into 1
1.824 * [backup-simplify]: Simplify (* 1/2 0) into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.825 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 y)) into 0
1.825 * [backup-simplify]: Simplify (+ 0 0) into 0
1.825 * [taylor]: Taking taylor expansion of 0 in y
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1.826 * [backup-simplify]: Simplify 1/2 into 1/2
1.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 y))) into 0
1.829 * [backup-simplify]: Simplify (+ 1 0) into 1
1.829 * [taylor]: Taking taylor expansion of 1 in y
1.829 * [backup-simplify]: Simplify 1 into 1
1.829 * [backup-simplify]: Simplify 1 into 1
1.829 * [backup-simplify]: Simplify 0 into 0
1.830 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1.830 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.833 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.833 * [backup-simplify]: Simplify (+ 0 0) into 0
1.833 * [taylor]: Taking taylor expansion of 0 in y
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.834 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (+ (* 1 (* 1 x)) (* 1/2 (* y (/ 1 x)))) into (+ x (* 1/2 (/ y x)))
1.835 * [backup-simplify]: Simplify (+ (/ 1 x) (* 1/2 (/ (/ 1 y) (/ 1 x)))) into (+ (* 1/2 (/ x y)) (/ 1 x))
1.835 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in (x y) around 0
1.835 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in y
1.835 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.835 * [taylor]: Taking taylor expansion of 1/2 in y
1.835 * [backup-simplify]: Simplify 1/2 into 1/2
1.835 * [taylor]: Taking taylor expansion of (/ x y) in y
1.835 * [taylor]: Taking taylor expansion of x in y
1.835 * [backup-simplify]: Simplify x into x
1.835 * [taylor]: Taking taylor expansion of y in y
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 1 into 1
1.835 * [backup-simplify]: Simplify (/ x 1) into x
1.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.835 * [taylor]: Taking taylor expansion of x in y
1.835 * [backup-simplify]: Simplify x into x
1.835 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.835 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in x
1.835 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.835 * [taylor]: Taking taylor expansion of 1/2 in x
1.835 * [backup-simplify]: Simplify 1/2 into 1/2
1.835 * [taylor]: Taking taylor expansion of (/ x y) in x
1.835 * [taylor]: Taking taylor expansion of x in x
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 1 into 1
1.836 * [taylor]: Taking taylor expansion of y in x
1.836 * [backup-simplify]: Simplify y into y
1.836 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.836 * [taylor]: Taking taylor expansion of x in x
1.836 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify 1 into 1
1.836 * [backup-simplify]: Simplify (/ 1 1) into 1
1.836 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in x
1.836 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.836 * [taylor]: Taking taylor expansion of 1/2 in x
1.836 * [backup-simplify]: Simplify 1/2 into 1/2
1.836 * [taylor]: Taking taylor expansion of (/ x y) in x
1.836 * [taylor]: Taking taylor expansion of x in x
1.836 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify 1 into 1
1.836 * [taylor]: Taking taylor expansion of y in x
1.836 * [backup-simplify]: Simplify y into y
1.836 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify 1 into 1
1.837 * [backup-simplify]: Simplify (/ 1 1) into 1
1.837 * [backup-simplify]: Simplify (+ 0 1) into 1
1.837 * [taylor]: Taking taylor expansion of 1 in y
1.837 * [backup-simplify]: Simplify 1 into 1
1.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.839 * [backup-simplify]: Simplify (+ 0 0) into 0
1.839 * [taylor]: Taking taylor expansion of 0 in y
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (* 1/2 (/ 1 y)) into (/ 1/2 y)
1.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.840 * [backup-simplify]: Simplify (+ (/ 1/2 y) 0) into (* 1/2 (/ 1 y))
1.840 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
1.840 * [taylor]: Taking taylor expansion of 1/2 in y
1.840 * [backup-simplify]: Simplify 1/2 into 1/2
1.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.840 * [taylor]: Taking taylor expansion of y in y
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (/ 1 1) into 1
1.841 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.841 * [backup-simplify]: Simplify 1/2 into 1/2
1.841 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
1.842 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 y))) into 0
1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (+ 0 0) into 0
1.843 * [taylor]: Taking taylor expansion of 0 in y
1.843 * [backup-simplify]: Simplify 0 into 0
1.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.845 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.845 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.846 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.847 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [taylor]: Taking taylor expansion of 0 in y
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify (+ (* 1/2 (* (/ 1 (/ 1 y)) (/ 1 x))) (* 1 (* 1 (/ 1 (/ 1 x))))) into (+ x (* 1/2 (/ y x)))
1.848 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* 1/2 (/ (/ 1 (- y)) (/ 1 (- x))))) into (- (* 1/2 (/ x y)) (/ 1 x))
1.848 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in (x y) around 0
1.848 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in y
1.848 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
1.848 * [taylor]: Taking taylor expansion of 1/2 in y
1.848 * [backup-simplify]: Simplify 1/2 into 1/2
1.848 * [taylor]: Taking taylor expansion of (/ x y) in y
1.848 * [taylor]: Taking taylor expansion of x in y
1.848 * [backup-simplify]: Simplify x into x
1.848 * [taylor]: Taking taylor expansion of y in y
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.848 * [backup-simplify]: Simplify (/ x 1) into x
1.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.848 * [taylor]: Taking taylor expansion of x in y
1.848 * [backup-simplify]: Simplify x into x
1.848 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.848 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in x
1.848 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.848 * [taylor]: Taking taylor expansion of 1/2 in x
1.848 * [backup-simplify]: Simplify 1/2 into 1/2
1.848 * [taylor]: Taking taylor expansion of (/ x y) in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.848 * [taylor]: Taking taylor expansion of y in x
1.848 * [backup-simplify]: Simplify y into y
1.848 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.849 * [backup-simplify]: Simplify (/ 1 1) into 1
1.849 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in x
1.849 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
1.849 * [taylor]: Taking taylor expansion of 1/2 in x
1.849 * [backup-simplify]: Simplify 1/2 into 1/2
1.849 * [taylor]: Taking taylor expansion of (/ x y) in x
1.849 * [taylor]: Taking taylor expansion of x in x
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 1 into 1
1.849 * [taylor]: Taking taylor expansion of y in x
1.849 * [backup-simplify]: Simplify y into y
1.849 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.849 * [taylor]: Taking taylor expansion of x in x
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 1 into 1
1.850 * [backup-simplify]: Simplify (/ 1 1) into 1
1.850 * [backup-simplify]: Simplify (- 1) into -1
1.850 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.850 * [taylor]: Taking taylor expansion of -1 in y
1.850 * [backup-simplify]: Simplify -1 into -1
1.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.852 * [backup-simplify]: Simplify (- 0) into 0
1.852 * [backup-simplify]: Simplify (+ 0 0) into 0
1.852 * [taylor]: Taking taylor expansion of 0 in y
1.852 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify -1 into -1
1.852 * [backup-simplify]: Simplify (* 1/2 (/ 1 y)) into (/ 1/2 y)
1.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.854 * [backup-simplify]: Simplify (- 0) into 0
1.854 * [backup-simplify]: Simplify (+ (/ 1/2 y) 0) into (* 1/2 (/ 1 y))
1.854 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
1.854 * [taylor]: Taking taylor expansion of 1/2 in y
1.854 * [backup-simplify]: Simplify 1/2 into 1/2
1.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.854 * [taylor]: Taking taylor expansion of y in y
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 1 into 1
1.854 * [backup-simplify]: Simplify (/ 1 1) into 1
1.855 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.855 * [backup-simplify]: Simplify 1/2 into 1/2
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
1.856 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 y))) into 0
1.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify (- 0) into 0
1.858 * [backup-simplify]: Simplify (+ 0 0) into 0
1.858 * [taylor]: Taking taylor expansion of 0 in y
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.859 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.860 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.862 * [backup-simplify]: Simplify (- 0) into 0
1.862 * [backup-simplify]: Simplify (+ 0 0) into 0
1.862 * [taylor]: Taking taylor expansion of 0 in y
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify (+ (* 1/2 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* -1 (* 1 (/ 1 (/ 1 (- x)))))) into (+ x (* 1/2 (/ y x)))
1.863 * * * [progress]: simplifying candidates
1.863 * * * * [progress]: [ 1 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (pow (* 1/2 (/ y x)) 1)))>
1.863 * * * * [progress]: [ 2 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (pow (* 1/2 (/ y x)) 1)))>
1.863 * * * * [progress]: [ 3 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (exp (+ (log 1/2) (- (log y) (log x))))))>
1.863 * * * * [progress]: [ 4 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (exp (+ (log 1/2) (log (/ y x))))))>
1.863 * * * * [progress]: [ 5 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (exp (log (* 1/2 (/ y x))))))>
1.863 * * * * [progress]: [ 6 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (log (exp (* 1/2 (/ y x))))))>
1.863 * * * * [progress]: [ 7 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (cbrt (* (* (* 1/2 1/2) 1/2) (/ (* (* y y) y) (* (* x x) x))))))>
1.863 * * * * [progress]: [ 8 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (cbrt (* (* (* 1/2 1/2) 1/2) (* (* (/ y x) (/ y x)) (/ y x))))))>
1.863 * * * * [progress]: [ 9 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* (cbrt (* 1/2 (/ y x))) (cbrt (* 1/2 (/ y x)))) (cbrt (* 1/2 (/ y x))))))>
1.863 * * * * [progress]: [ 10 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (cbrt (* (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* 1/2 (/ y x))))))>
1.863 * * * * [progress]: [ 11 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (sqrt (* 1/2 (/ y x))) (sqrt (* 1/2 (/ y x))))))>
1.863 * * * * [progress]: [ 12 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1 (* 1/2 (/ y x)))))>
1.864 * * * * [progress]: [ 13 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* (sqrt 1/2) (sqrt (/ y x))) (* (sqrt 1/2) (sqrt (/ y x))))))>
1.864 * * * * [progress]: [ 14 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* (sqrt 1/2) (/ (sqrt y) (sqrt x))) (* (sqrt 1/2) (/ (sqrt y) (sqrt x))))))>
1.864 * * * * [progress]: [ 15 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (* (cbrt (/ y x)) (cbrt (/ y x)))) (cbrt (/ y x)))))>
1.864 * * * * [progress]: [ 16 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (sqrt (/ y x))) (sqrt (/ y x)))))>
1.864 * * * * [progress]: [ 17 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (cbrt x)))))>
1.864 * * * * [progress]: [ 18 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (/ (cbrt y) (sqrt x)))))>
1.864 * * * * [progress]: [ 19 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt y) x))))>
1.864 * * * * [progress]: [ 20 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (cbrt x)))))>
1.864 * * * * [progress]: [ 21 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (sqrt y) (sqrt x))) (/ (sqrt y) (sqrt x)))))>
1.864 * * * * [progress]: [ 22 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ (sqrt y) 1)) (/ (sqrt y) x))))>
1.864 * * * * [progress]: [ 23 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ 1 (* (cbrt x) (cbrt x)))) (/ y (cbrt x)))))>
1.864 * * * * [progress]: [ 24 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ 1 (sqrt x))) (/ y (sqrt x)))))>
1.864 * * * * [progress]: [ 25 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 (/ 1 1)) (/ y x))))>
1.864 * * * * [progress]: [ 26 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 1) (/ y x))))>
1.864 * * * * [progress]: [ 27 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* 1/2 y) (/ 1 x))))>
1.864 * * * * [progress]: [ 28 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt 1/2) (/ y x)))))>
1.865 * * * * [progress]: [ 29 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (sqrt 1/2) (* (sqrt 1/2) (/ y x)))))>
1.865 * * * * [progress]: [ 30 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1 (* 1/2 (/ y x)))))>
1.865 * * * * [progress]: [ 31 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (/ (* 1/2 y) x)))>
1.865 * * * * [progress]: [ 32 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (posit16->real (real->posit16 (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 33 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* (/ y x) 1/2)))>
1.865 * * * * [progress]: [ 34 / 51 ] simplifiying candidate #<alt (λ (x y) (log (* (exp x) (exp (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 35 / 51 ] simplifiying candidate #<alt (λ (x y) (pow (+ x (* 1/2 (/ y x))) 1))>
1.865 * * * * [progress]: [ 36 / 51 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ x (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 37 / 51 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ x (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 38 / 51 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ x (* 1/2 (/ y x)))) (cbrt (+ x (* 1/2 (/ y x))))) (cbrt (+ x (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 39 / 51 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ x (* 1/2 (/ y x))) (+ x (* 1/2 (/ y x)))) (+ x (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 40 / 51 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x (* 1/2 (/ y x)))) (sqrt (+ x (* 1/2 (/ y x))))))>
1.865 * * * * [progress]: [ 41 / 51 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow x 3) (pow (* 1/2 (/ y x)) 3)) (+ (* x x) (- (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* x (* 1/2 (/ y x)))))))>
1.865 * * * * [progress]: [ 42 / 51 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ x (* 1/2 (/ y x)))))>
1.865 * * * * [progress]: [ 43 / 51 ] simplifiying candidate #<alt (λ (x y) (/ (- (* x x) (* (* 1/2 (/ y x)) (* 1/2 (/ y x)))) (- x (* 1/2 (/ y x)))))>
1.865 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ x (* 1/2 (/ y x))))))>
1.866 * * * * [progress]: [ 45 / 51 ] simplifiying candidate #<alt (λ (x y) (+ (* 1/2 (/ y x)) x))>
1.866 * * * * [progress]: [ 46 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.866 * * * * [progress]: [ 47 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.866 * * * * [progress]: [ 48 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.866 * * * * [progress]: [ 49 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.866 * * * * [progress]: [ 50 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.866 * * * * [progress]: [ 51 / 51 ] simplifiying candidate #<alt (λ (x y) (+ x (* 1/2 (/ y x))))>
1.867 * [simplify]: Simplifying:
  (* 1/2 (/ y x))
  (+ (log 1/2) (- (log y) (log x)))
  (+ (log 1/2) (log (/ y x)))
  (log (* 1/2 (/ y x)))
  (exp (* 1/2 (/ y x)))
  (* (* (* 1/2 1/2) 1/2) (/ (* (* y y) y) (* (* x x) x)))
  (* (* (* 1/2 1/2) 1/2) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (* 1/2 (/ y x))) (cbrt (* 1/2 (/ y x))))
  (cbrt (* 1/2 (/ y x)))
  (* (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* 1/2 (/ y x)))
  (sqrt (* 1/2 (/ y x)))
  (sqrt (* 1/2 (/ y x)))
  (* (sqrt 1/2) (sqrt (/ y x)))
  (* (sqrt 1/2) (sqrt (/ y x)))
  (* (sqrt 1/2) (/ (sqrt y) (sqrt x)))
  (* (sqrt 1/2) (/ (sqrt y) (sqrt x)))
  (* 1/2 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* 1/2 (sqrt (/ y x)))
  (* 1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* 1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* 1/2 (/ (* (cbrt y) (cbrt y)) 1))
  (* 1/2 (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* 1/2 (/ (sqrt y) (sqrt x)))
  (* 1/2 (/ (sqrt y) 1))
  (* 1/2 (/ 1 (* (cbrt x) (cbrt x))))
  (* 1/2 (/ 1 (sqrt x)))
  (* 1/2 (/ 1 1))
  (* 1/2 1)
  (* 1/2 y)
  (* (cbrt 1/2) (/ y x))
  (* (sqrt 1/2) (/ y x))
  (* 1/2 (/ y x))
  (* 1/2 y)
  (real->posit16 (* 1/2 (/ y x)))
  (* (exp x) (exp (* 1/2 (/ y x))))
  (log (+ x (* 1/2 (/ y x))))
  (exp (+ x (* 1/2 (/ y x))))
  (* (cbrt (+ x (* 1/2 (/ y x)))) (cbrt (+ x (* 1/2 (/ y x)))))
  (cbrt (+ x (* 1/2 (/ y x))))
  (* (* (+ x (* 1/2 (/ y x))) (+ x (* 1/2 (/ y x)))) (+ x (* 1/2 (/ y x))))
  (sqrt (+ x (* 1/2 (/ y x))))
  (sqrt (+ x (* 1/2 (/ y x))))
  (+ (pow x 3) (pow (* 1/2 (/ y x)) 3))
  (+ (* x x) (- (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* x (* 1/2 (/ y x)))))
  (- (* x x) (* (* 1/2 (/ y x)) (* 1/2 (/ y x))))
  (- x (* 1/2 (/ y x)))
  (real->posit16 (+ x (* 1/2 (/ y x))))
  (* 1/2 (/ y x))
  (* 1/2 (/ y x))
  (* 1/2 (/ y x))
  (+ x (* 1/2 (/ y x)))
  (+ x (* 1/2 (/ y x)))
  (+ x (* 1/2 (/ y x)))
1.868 * * [simplify]: iteration 0: 89 enodes
1.920 * * [simplify]: iteration 1: 234 enodes
2.022 * * [simplify]: iteration 2: 712 enodes
2.372 * * [simplify]: iteration 3: 2154 enodes
3.167 * * [simplify]: iteration complete: 5003 enodes
3.167 * * [simplify]: Extracting #0: cost 36 inf + 0
3.168 * * [simplify]: Extracting #1: cost 460 inf + 1
3.174 * * [simplify]: Extracting #2: cost 1099 inf + 1995
3.196 * * [simplify]: Extracting #3: cost 1024 inf + 72454
3.259 * * [simplify]: Extracting #4: cost 433 inf + 207351
3.316 * * [simplify]: Extracting #5: cost 53 inf + 288460
3.403 * * [simplify]: Extracting #6: cost 1 inf + 302718
3.485 * * [simplify]: Extracting #7: cost 0 inf + 302971
3.576 * [simplify]: Simplified to:
  (/ (* 1/2 y) x)
  (log (/ (* 1/2 y) x))
  (log (/ (* 1/2 y) x))
  (log (/ (* 1/2 y) x))
  (sqrt (exp (/ y x)))
  (* (* (/ y x) (* (/ y x) (/ y x))) 1/8)
  (* (* (/ y x) (* (/ y x) (/ y x))) 1/8)
  (* (cbrt (/ (* 1/2 y) x)) (cbrt (/ (* 1/2 y) x)))
  (cbrt (/ (* 1/2 y) x))
  (* (* (/ y x) (* (/ y x) (/ y x))) 1/8)
  (sqrt (/ (* 1/2 y) x))
  (sqrt (/ (* 1/2 y) x))
  (* (sqrt 1/2) (sqrt (/ y x)))
  (* (sqrt 1/2) (sqrt (/ y x)))
  (* (/ (sqrt 1/2) (sqrt x)) (sqrt y))
  (* (/ (sqrt 1/2) (sqrt x)) (sqrt y))
  (* (* 1/2 (cbrt (/ y x))) (cbrt (/ y x)))
  (* (sqrt (/ y x)) 1/2)
  (* (* (/ (cbrt y) (cbrt x)) (/ (cbrt y) (cbrt x))) 1/2)
  (* (/ (cbrt y) (sqrt x)) (* (cbrt y) 1/2))
  (* (* (cbrt y) (cbrt y)) 1/2)
  (/ (/ (sqrt y) 2) (* (cbrt x) (cbrt x)))
  (* (/ 1/2 (sqrt x)) (sqrt y))
  (/ (sqrt y) 2)
  (/ (/ 1/2 (cbrt x)) (cbrt x))
  (/ 1/2 (sqrt x))
  1/2
  1/2
  (* 1/2 y)
  (/ (* y (cbrt 1/2)) x)
  (/ (* (sqrt 1/2) y) x)
  (/ (* 1/2 y) x)
  (* 1/2 y)
  (real->posit16 (/ (* 1/2 y) x))
  (exp (+ x (/ (* 1/2 y) x)))
  (log (+ x (/ (* 1/2 y) x)))
  (exp (+ x (/ (* 1/2 y) x)))
  (* (cbrt (+ x (/ (* 1/2 y) x))) (cbrt (+ x (/ (* 1/2 y) x))))
  (cbrt (+ x (/ (* 1/2 y) x)))
  (* (+ x (/ (* 1/2 y) x)) (* (+ x (/ (* 1/2 y) x)) (+ x (/ (* 1/2 y) x))))
  (sqrt (+ x (/ (* 1/2 y) x)))
  (sqrt (+ x (/ (* 1/2 y) x)))
  (+ (* (* x x) x) (* (* (/ y x) (* (/ y x) (/ y x))) 1/8))
  (+ (* (/ (* 1/2 y) x) (- (/ (* 1/2 y) x) x)) (* x x))
  (* (+ x (/ (* 1/2 y) x)) (- x (/ (* 1/2 y) x)))
  (- x (/ (* 1/2 y) x))
  (real->posit16 (+ x (/ (* 1/2 y) x)))
  (/ (* 1/2 y) x)
  (/ (* 1/2 y) x)
  (/ (* 1/2 y) x)
  (+ x (/ (* 1/2 y) x))
  (+ x (/ (* 1/2 y) x))
  (+ x (/ (* 1/2 y) x))
3.579 * * * [progress]: adding candidates to table
3.729 * * [progress]: iteration 3 / 4
3.729 * * * [progress]: picking best candidate
3.731 * * * * [pick]: Picked  #<alt (λ (x y) (- (* -1/2 (/ y x)) x))>
3.731 * * * [progress]: localizing error
3.739 * * * [progress]: generating rewritten candidates
3.739 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.750 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.767 * * * [progress]: generating series expansions
3.767 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.767 * [backup-simplify]: Simplify (- (* -1/2 (/ y x)) x) into (- (+ x (* 1/2 (/ y x))))
3.767 * [approximate]: Taking taylor expansion of (- (+ x (* 1/2 (/ y x)))) in (y x) around 0
3.767 * [taylor]: Taking taylor expansion of (- (+ x (* 1/2 (/ y x)))) in x
3.767 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in x
3.767 * [taylor]: Taking taylor expansion of x in x
3.767 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify 1 into 1
3.767 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
3.767 * [taylor]: Taking taylor expansion of 1/2 in x
3.767 * [backup-simplify]: Simplify 1/2 into 1/2
3.767 * [taylor]: Taking taylor expansion of (/ y x) in x
3.767 * [taylor]: Taking taylor expansion of y in x
3.767 * [backup-simplify]: Simplify y into y
3.767 * [taylor]: Taking taylor expansion of x in x
3.767 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify 1 into 1
3.767 * [backup-simplify]: Simplify (/ y 1) into y
3.767 * [taylor]: Taking taylor expansion of (- (+ x (* 1/2 (/ y x)))) in y
3.767 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in y
3.767 * [taylor]: Taking taylor expansion of x in y
3.767 * [backup-simplify]: Simplify x into x
3.767 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
3.767 * [taylor]: Taking taylor expansion of 1/2 in y
3.767 * [backup-simplify]: Simplify 1/2 into 1/2
3.767 * [taylor]: Taking taylor expansion of (/ y x) in y
3.767 * [taylor]: Taking taylor expansion of y in y
3.767 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify 1 into 1
3.767 * [taylor]: Taking taylor expansion of x in y
3.767 * [backup-simplify]: Simplify x into x
3.767 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.767 * [taylor]: Taking taylor expansion of (- (+ x (* 1/2 (/ y x)))) in y
3.767 * [taylor]: Taking taylor expansion of (+ x (* 1/2 (/ y x))) in y
3.767 * [taylor]: Taking taylor expansion of x in y
3.767 * [backup-simplify]: Simplify x into x
3.767 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
3.767 * [taylor]: Taking taylor expansion of 1/2 in y
3.767 * [backup-simplify]: Simplify 1/2 into 1/2
3.767 * [taylor]: Taking taylor expansion of (/ y x) in y
3.768 * [taylor]: Taking taylor expansion of y in y
3.768 * [backup-simplify]: Simplify 0 into 0
3.768 * [backup-simplify]: Simplify 1 into 1
3.768 * [taylor]: Taking taylor expansion of x in y
3.768 * [backup-simplify]: Simplify x into x
3.768 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.768 * [backup-simplify]: Simplify (+ x 0) into x
3.768 * [backup-simplify]: Simplify (- x) into (- x)
3.768 * [taylor]: Taking taylor expansion of (- x) in x
3.768 * [taylor]: Taking taylor expansion of x in x
3.768 * [backup-simplify]: Simplify 0 into 0
3.768 * [backup-simplify]: Simplify 1 into 1
3.768 * [backup-simplify]: Simplify (* 1/2 (/ 1 x)) into (/ 1/2 x)
3.768 * [backup-simplify]: Simplify (+ 0 (/ 1/2 x)) into (* 1/2 (/ 1 x))
3.768 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 x))) into (- (* 1/2 (/ 1 x)))
3.768 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 x))) in x
3.768 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
3.768 * [taylor]: Taking taylor expansion of 1/2 in x
3.768 * [backup-simplify]: Simplify 1/2 into 1/2
3.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.768 * [taylor]: Taking taylor expansion of x in x
3.768 * [backup-simplify]: Simplify 0 into 0
3.768 * [backup-simplify]: Simplify 1 into 1
3.769 * [backup-simplify]: Simplify (/ 1 1) into 1
3.769 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
3.769 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.769 * [backup-simplify]: Simplify -1/2 into -1/2
3.770 * [backup-simplify]: Simplify (- 0) into 0
3.770 * [backup-simplify]: Simplify 0 into 0
3.770 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.770 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 x))) into 0
3.770 * [backup-simplify]: Simplify (+ 0 0) into 0
3.771 * [backup-simplify]: Simplify (- 0) into 0
3.771 * [taylor]: Taking taylor expansion of 0 in x
3.771 * [backup-simplify]: Simplify 0 into 0
3.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.772 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
3.772 * [backup-simplify]: Simplify (- 0) into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify (- 1) into -1
3.772 * [backup-simplify]: Simplify -1 into -1
3.772 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.773 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
3.773 * [backup-simplify]: Simplify (+ 0 0) into 0
3.773 * [backup-simplify]: Simplify (- 0) into 0
3.773 * [taylor]: Taking taylor expansion of 0 in x
3.773 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify 0 into 0
3.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.775 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
3.775 * [backup-simplify]: Simplify (- 0) into 0
3.775 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify (- 0) into 0
3.775 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.776 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
3.776 * [backup-simplify]: Simplify (+ 0 0) into 0
3.776 * [backup-simplify]: Simplify (- 0) into 0
3.776 * [taylor]: Taking taylor expansion of 0 in x
3.776 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (- 0) into 0
3.778 * [backup-simplify]: Simplify 0 into 0
3.778 * [backup-simplify]: Simplify (+ (* -1 (* x 1)) (* -1/2 (* (/ 1 x) y))) into (- (+ x (* 1/2 (/ y x))))
3.778 * [backup-simplify]: Simplify (- (* -1/2 (/ (/ 1 y) (/ 1 x))) (/ 1 x)) into (- (+ (* 1/2 (/ x y)) (/ 1 x)))
3.778 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ x y)) (/ 1 x))) in (y x) around 0
3.778 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x y)) (/ 1 x))) in x
3.778 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in x
3.778 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
3.778 * [taylor]: Taking taylor expansion of 1/2 in x
3.778 * [backup-simplify]: Simplify 1/2 into 1/2
3.778 * [taylor]: Taking taylor expansion of (/ x y) in x
3.778 * [taylor]: Taking taylor expansion of x in x
3.778 * [backup-simplify]: Simplify 0 into 0
3.778 * [backup-simplify]: Simplify 1 into 1
3.778 * [taylor]: Taking taylor expansion of y in x
3.779 * [backup-simplify]: Simplify y into y
3.779 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.779 * [taylor]: Taking taylor expansion of x in x
3.779 * [backup-simplify]: Simplify 0 into 0
3.779 * [backup-simplify]: Simplify 1 into 1
3.779 * [backup-simplify]: Simplify (/ 1 1) into 1
3.779 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x y)) (/ 1 x))) in y
3.779 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in y
3.779 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
3.779 * [taylor]: Taking taylor expansion of 1/2 in y
3.779 * [backup-simplify]: Simplify 1/2 into 1/2
3.779 * [taylor]: Taking taylor expansion of (/ x y) in y
3.779 * [taylor]: Taking taylor expansion of x in y
3.779 * [backup-simplify]: Simplify x into x
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [backup-simplify]: Simplify 0 into 0
3.779 * [backup-simplify]: Simplify 1 into 1
3.779 * [backup-simplify]: Simplify (/ x 1) into x
3.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.779 * [taylor]: Taking taylor expansion of x in y
3.779 * [backup-simplify]: Simplify x into x
3.779 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.779 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x y)) (/ 1 x))) in y
3.779 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x y)) (/ 1 x)) in y
3.779 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
3.779 * [taylor]: Taking taylor expansion of 1/2 in y
3.779 * [backup-simplify]: Simplify 1/2 into 1/2
3.779 * [taylor]: Taking taylor expansion of (/ x y) in y
3.779 * [taylor]: Taking taylor expansion of x in y
3.779 * [backup-simplify]: Simplify x into x
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [backup-simplify]: Simplify 0 into 0
3.779 * [backup-simplify]: Simplify 1 into 1
3.779 * [backup-simplify]: Simplify (/ x 1) into x
3.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.779 * [taylor]: Taking taylor expansion of x in y
3.779 * [backup-simplify]: Simplify x into x
3.779 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.779 * [backup-simplify]: Simplify (* 1/2 x) into (* 1/2 x)
3.780 * [backup-simplify]: Simplify (+ (* 1/2 x) 0) into (* 1/2 x)
3.780 * [backup-simplify]: Simplify (- (* 1/2 x)) into (- (* 1/2 x))
3.780 * [taylor]: Taking taylor expansion of (- (* 1/2 x)) in x
3.780 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
3.780 * [taylor]: Taking taylor expansion of 1/2 in x
3.780 * [backup-simplify]: Simplify 1/2 into 1/2
3.780 * [taylor]: Taking taylor expansion of x in x
3.780 * [backup-simplify]: Simplify 0 into 0
3.780 * [backup-simplify]: Simplify 1 into 1
3.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.781 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 x)) into 0
3.781 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
3.781 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.781 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.781 * [taylor]: Taking taylor expansion of x in x
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [backup-simplify]: Simplify (/ 1 1) into 1
3.782 * [backup-simplify]: Simplify (- 1) into -1
3.782 * [backup-simplify]: Simplify -1 into -1
3.782 * [backup-simplify]: Simplify (* 1/2 0) into 0
3.782 * [backup-simplify]: Simplify (- 0) into 0
3.782 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.784 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 x))) into 0
3.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.784 * [backup-simplify]: Simplify (+ 0 0) into 0
3.784 * [backup-simplify]: Simplify (- 0) into 0
3.784 * [taylor]: Taking taylor expansion of 0 in x
3.784 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.785 * [backup-simplify]: Simplify (- 0) into 0
3.785 * [backup-simplify]: Simplify 0 into 0
3.786 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
3.786 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.786 * [backup-simplify]: Simplify -1/2 into -1/2
3.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.788 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.788 * [backup-simplify]: Simplify (+ 0 0) into 0
3.789 * [backup-simplify]: Simplify (- 0) into 0
3.789 * [taylor]: Taking taylor expansion of 0 in x
3.789 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.790 * [backup-simplify]: Simplify (- 0) into 0
3.790 * [backup-simplify]: Simplify 0 into 0
3.790 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
3.790 * [backup-simplify]: Simplify (- 0) into 0
3.790 * [backup-simplify]: Simplify 0 into 0
3.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.793 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
3.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.793 * [backup-simplify]: Simplify (+ 0 0) into 0
3.794 * [backup-simplify]: Simplify (- 0) into 0
3.794 * [taylor]: Taking taylor expansion of 0 in x
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.795 * [backup-simplify]: Simplify (- 0) into 0
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify (+ (* -1/2 (* (/ 1 x) (/ 1 (/ 1 y)))) (* -1 (* (/ 1 (/ 1 x)) 1))) into (- (+ x (* 1/2 (/ y x))))
3.795 * [backup-simplify]: Simplify (- (* -1/2 (/ (/ 1 (- y)) (/ 1 (- x)))) (/ 1 (- x))) into (- (/ 1 x) (* 1/2 (/ x y)))
3.795 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in (y x) around 0
3.795 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in x
3.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.795 * [taylor]: Taking taylor expansion of x in x
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify 1 into 1
3.795 * [backup-simplify]: Simplify (/ 1 1) into 1
3.795 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
3.795 * [taylor]: Taking taylor expansion of 1/2 in x
3.795 * [backup-simplify]: Simplify 1/2 into 1/2
3.795 * [taylor]: Taking taylor expansion of (/ x y) in x
3.795 * [taylor]: Taking taylor expansion of x in x
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify 1 into 1
3.795 * [taylor]: Taking taylor expansion of y in x
3.795 * [backup-simplify]: Simplify y into y
3.795 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.796 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in y
3.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.796 * [taylor]: Taking taylor expansion of x in y
3.796 * [backup-simplify]: Simplify x into x
3.796 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.796 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
3.796 * [taylor]: Taking taylor expansion of 1/2 in y
3.796 * [backup-simplify]: Simplify 1/2 into 1/2
3.796 * [taylor]: Taking taylor expansion of (/ x y) in y
3.796 * [taylor]: Taking taylor expansion of x in y
3.796 * [backup-simplify]: Simplify x into x
3.796 * [taylor]: Taking taylor expansion of y in y
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.796 * [backup-simplify]: Simplify (/ x 1) into x
3.796 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in y
3.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.796 * [taylor]: Taking taylor expansion of x in y
3.796 * [backup-simplify]: Simplify x into x
3.796 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.796 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
3.796 * [taylor]: Taking taylor expansion of 1/2 in y
3.796 * [backup-simplify]: Simplify 1/2 into 1/2
3.796 * [taylor]: Taking taylor expansion of (/ x y) in y
3.796 * [taylor]: Taking taylor expansion of x in y
3.796 * [backup-simplify]: Simplify x into x
3.796 * [taylor]: Taking taylor expansion of y in y
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.796 * [backup-simplify]: Simplify (/ x 1) into x
3.796 * [backup-simplify]: Simplify (* 1/2 x) into (* 1/2 x)
3.796 * [backup-simplify]: Simplify (- (* 1/2 x)) into (- (* 1/2 x))
3.796 * [backup-simplify]: Simplify (+ 0 (- (* 1/2 x))) into (- (* 1/2 x))
3.796 * [taylor]: Taking taylor expansion of (- (* 1/2 x)) in x
3.796 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
3.796 * [taylor]: Taking taylor expansion of 1/2 in x
3.796 * [backup-simplify]: Simplify 1/2 into 1/2
3.796 * [taylor]: Taking taylor expansion of x in x
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.797 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 x)) into 0
3.798 * [backup-simplify]: Simplify (- 0) into 0
3.798 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
3.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.798 * [taylor]: Taking taylor expansion of x in x
3.798 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [backup-simplify]: Simplify (/ 1 1) into 1
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [backup-simplify]: Simplify (* 1/2 0) into 0
3.798 * [backup-simplify]: Simplify (- 0) into 0
3.798 * [backup-simplify]: Simplify 0 into 0
3.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.800 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 x))) into 0
3.801 * [backup-simplify]: Simplify (- 0) into 0
3.802 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [taylor]: Taking taylor expansion of 0 in x
3.802 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
3.804 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.804 * [backup-simplify]: Simplify -1/2 into -1/2
3.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.807 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.807 * [backup-simplify]: Simplify (- 0) into 0
3.808 * [backup-simplify]: Simplify (+ 0 0) into 0
3.808 * [taylor]: Taking taylor expansion of 0 in x
3.808 * [backup-simplify]: Simplify 0 into 0
3.808 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.809 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
3.810 * [backup-simplify]: Simplify (- 0) into 0
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.814 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
3.814 * [backup-simplify]: Simplify (- 0) into 0
3.815 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [taylor]: Taking taylor expansion of 0 in x
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify (+ (* -1/2 (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) 1))) into (- (+ x (* 1/2 (/ y x))))
3.816 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.816 * [backup-simplify]: Simplify (* -1/2 (/ y x)) into (* -1/2 (/ y x))
3.816 * [approximate]: Taking taylor expansion of (* -1/2 (/ y x)) in (y x) around 0
3.816 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in x
3.816 * [taylor]: Taking taylor expansion of -1/2 in x
3.816 * [backup-simplify]: Simplify -1/2 into -1/2
3.816 * [taylor]: Taking taylor expansion of (/ y x) in x
3.816 * [taylor]: Taking taylor expansion of y in x
3.816 * [backup-simplify]: Simplify y into y
3.816 * [taylor]: Taking taylor expansion of x in x
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify 1 into 1
3.816 * [backup-simplify]: Simplify (/ y 1) into y
3.816 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in y
3.816 * [taylor]: Taking taylor expansion of -1/2 in y
3.816 * [backup-simplify]: Simplify -1/2 into -1/2
3.817 * [taylor]: Taking taylor expansion of (/ y x) in y
3.817 * [taylor]: Taking taylor expansion of y in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.817 * [taylor]: Taking taylor expansion of x in y
3.817 * [backup-simplify]: Simplify x into x
3.817 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.817 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in y
3.817 * [taylor]: Taking taylor expansion of -1/2 in y
3.817 * [backup-simplify]: Simplify -1/2 into -1/2
3.817 * [taylor]: Taking taylor expansion of (/ y x) in y
3.817 * [taylor]: Taking taylor expansion of y in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.817 * [taylor]: Taking taylor expansion of x in y
3.817 * [backup-simplify]: Simplify x into x
3.817 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.817 * [backup-simplify]: Simplify (* -1/2 (/ 1 x)) into (/ -1/2 x)
3.817 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x
3.817 * [taylor]: Taking taylor expansion of -1/2 in x
3.817 * [backup-simplify]: Simplify -1/2 into -1/2
3.817 * [taylor]: Taking taylor expansion of x in x
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
3.818 * [backup-simplify]: Simplify -1/2 into -1/2
3.818 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.818 * [backup-simplify]: Simplify (+ (* -1/2 0) (* 0 (/ 1 x))) into 0
3.818 * [taylor]: Taking taylor expansion of 0 in x
3.818 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
3.819 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.820 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
3.820 * [taylor]: Taking taylor expansion of 0 in x
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.821 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.822 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
3.822 * [taylor]: Taking taylor expansion of 0 in x
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.823 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify (* -1/2 (* (/ 1 x) y)) into (* -1/2 (/ y x))
3.824 * [backup-simplify]: Simplify (* -1/2 (/ (/ 1 y) (/ 1 x))) into (* -1/2 (/ x y))
3.824 * [approximate]: Taking taylor expansion of (* -1/2 (/ x y)) in (y x) around 0
3.824 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in x
3.824 * [taylor]: Taking taylor expansion of -1/2 in x
3.824 * [backup-simplify]: Simplify -1/2 into -1/2
3.824 * [taylor]: Taking taylor expansion of (/ x y) in x
3.824 * [taylor]: Taking taylor expansion of x in x
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 1 into 1
3.824 * [taylor]: Taking taylor expansion of y in x
3.824 * [backup-simplify]: Simplify y into y
3.824 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.824 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y
3.824 * [taylor]: Taking taylor expansion of -1/2 in y
3.824 * [backup-simplify]: Simplify -1/2 into -1/2
3.824 * [taylor]: Taking taylor expansion of (/ x y) in y
3.824 * [taylor]: Taking taylor expansion of x in y
3.824 * [backup-simplify]: Simplify x into x
3.824 * [taylor]: Taking taylor expansion of y in y
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 1 into 1
3.824 * [backup-simplify]: Simplify (/ x 1) into x
3.824 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y
3.824 * [taylor]: Taking taylor expansion of -1/2 in y
3.824 * [backup-simplify]: Simplify -1/2 into -1/2
3.824 * [taylor]: Taking taylor expansion of (/ x y) in y
3.824 * [taylor]: Taking taylor expansion of x in y
3.824 * [backup-simplify]: Simplify x into x
3.824 * [taylor]: Taking taylor expansion of y in y
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 1 into 1
3.824 * [backup-simplify]: Simplify (/ x 1) into x
3.825 * [backup-simplify]: Simplify (* -1/2 x) into (* -1/2 x)
3.825 * [taylor]: Taking taylor expansion of (* -1/2 x) in x
3.825 * [taylor]: Taking taylor expansion of -1/2 in x
3.825 * [backup-simplify]: Simplify -1/2 into -1/2
3.825 * [taylor]: Taking taylor expansion of x in x
3.825 * [backup-simplify]: Simplify 0 into 0
3.825 * [backup-simplify]: Simplify 1 into 1
3.825 * [backup-simplify]: Simplify (+ (* -1/2 1) (* 0 0)) into -1/2
3.825 * [backup-simplify]: Simplify -1/2 into -1/2
3.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.827 * [backup-simplify]: Simplify (+ (* -1/2 0) (* 0 x)) into 0
3.827 * [taylor]: Taking taylor expansion of 0 in x
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.828 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 1) (* 0 0))) into 0
3.828 * [backup-simplify]: Simplify 0 into 0
3.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.830 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 x))) into 0
3.830 * [taylor]: Taking taylor expansion of 0 in x
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.831 * [backup-simplify]: Simplify 0 into 0
3.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.834 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.834 * [taylor]: Taking taylor expansion of 0 in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify (* -1/2 (* (/ 1 x) (/ 1 (/ 1 y)))) into (* -1/2 (/ y x))
3.834 * [backup-simplify]: Simplify (* -1/2 (/ (/ 1 (- y)) (/ 1 (- x)))) into (* -1/2 (/ x y))
3.834 * [approximate]: Taking taylor expansion of (* -1/2 (/ x y)) in (y x) around 0
3.834 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in x
3.834 * [taylor]: Taking taylor expansion of -1/2 in x
3.834 * [backup-simplify]: Simplify -1/2 into -1/2
3.834 * [taylor]: Taking taylor expansion of (/ x y) in x
3.834 * [taylor]: Taking taylor expansion of x in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [taylor]: Taking taylor expansion of y in x
3.834 * [backup-simplify]: Simplify y into y
3.834 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.834 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y
3.834 * [taylor]: Taking taylor expansion of -1/2 in y
3.834 * [backup-simplify]: Simplify -1/2 into -1/2
3.834 * [taylor]: Taking taylor expansion of (/ x y) in y
3.834 * [taylor]: Taking taylor expansion of x in y
3.834 * [backup-simplify]: Simplify x into x
3.834 * [taylor]: Taking taylor expansion of y in y
3.834 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.835 * [backup-simplify]: Simplify (/ x 1) into x
3.835 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y
3.835 * [taylor]: Taking taylor expansion of -1/2 in y
3.835 * [backup-simplify]: Simplify -1/2 into -1/2
3.835 * [taylor]: Taking taylor expansion of (/ x y) in y
3.835 * [taylor]: Taking taylor expansion of x in y
3.835 * [backup-simplify]: Simplify x into x
3.835 * [taylor]: Taking taylor expansion of y in y
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.835 * [backup-simplify]: Simplify (/ x 1) into x
3.835 * [backup-simplify]: Simplify (* -1/2 x) into (* -1/2 x)
3.835 * [taylor]: Taking taylor expansion of (* -1/2 x) in x
3.835 * [taylor]: Taking taylor expansion of -1/2 in x
3.835 * [backup-simplify]: Simplify -1/2 into -1/2
3.835 * [taylor]: Taking taylor expansion of x in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.836 * [backup-simplify]: Simplify (+ (* -1/2 1) (* 0 0)) into -1/2
3.836 * [backup-simplify]: Simplify -1/2 into -1/2
3.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.837 * [backup-simplify]: Simplify (+ (* -1/2 0) (* 0 x)) into 0
3.837 * [taylor]: Taking taylor expansion of 0 in x
3.837 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 1) (* 0 0))) into 0
3.837 * [backup-simplify]: Simplify 0 into 0
3.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.839 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 x))) into 0
3.839 * [taylor]: Taking taylor expansion of 0 in x
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.842 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.842 * [taylor]: Taking taylor expansion of 0 in x
3.842 * [backup-simplify]: Simplify 0 into 0
3.842 * [backup-simplify]: Simplify 0 into 0
3.842 * [backup-simplify]: Simplify (* -1/2 (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) into (* -1/2 (/ y x))
3.842 * * * [progress]: simplifying candidates
3.842 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (* -1/2 (/ y x))) (exp x))))>
3.842 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (x y) (pow (- (* -1/2 (/ y x)) x) 1))>
3.842 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (* -1/2 (/ y x)) x)) (cbrt (- (* -1/2 (/ y x)) x))) (cbrt (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (* -1/2 (/ y x)) x) (- (* -1/2 (/ y x)) x)) (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (* -1/2 (/ y x)) x)) (sqrt (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (* -1/2 (/ y x)) 3) (pow x 3)) (+ (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (+ (* x x) (* (* -1/2 (/ y x)) x)))))>
3.842 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (* -1/2 (/ y x)) (- x)))>
3.842 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* -1/2 (/ y x)) x)))>
3.842 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (* x x)) (+ (* -1/2 (/ y x)) x)))>
3.842 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (* -1/2 (/ y x)) (- x)))>
3.842 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (* -1/2 (/ y x)) x))))>
3.842 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (x y) (- (pow (* -1/2 (/ y x)) 1) x))>
3.842 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (x y) (- (pow (* -1/2 (/ y x)) 1) x))>
3.842 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (x y) (- (exp (+ (log -1/2) (- (log y) (log x)))) x))>
3.842 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (x y) (- (exp (+ (log -1/2) (log (/ y x)))) x))>
3.842 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (x y) (- (exp (log (* -1/2 (/ y x)))) x))>
3.842 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (x y) (- (log (exp (* -1/2 (/ y x)))) x))>
3.842 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (x y) (- (cbrt (* (* (* -1/2 -1/2) -1/2) (/ (* (* y y) y) (* (* x x) x)))) x))>
3.843 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (x y) (- (cbrt (* (* (* -1/2 -1/2) -1/2) (* (* (/ y x) (/ y x)) (/ y x)))) x))>
3.843 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* (cbrt (* -1/2 (/ y x))) (cbrt (* -1/2 (/ y x)))) (cbrt (* -1/2 (/ y x)))) x))>
3.843 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (x y) (- (cbrt (* (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (* -1/2 (/ y x)))) x))>
3.843 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (sqrt (* -1/2 (/ y x))) (sqrt (* -1/2 (/ y x)))) x))>
3.843 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* 1 (* -1/2 (/ y x))) x))>
3.843 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* (sqrt -1/2) (sqrt (/ y x))) (* (sqrt -1/2) (sqrt (/ y x)))) x))>
3.843 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* (sqrt -1/2) (/ (sqrt y) (sqrt x))) (* (sqrt -1/2) (/ (sqrt y) (sqrt x)))) x))>
3.843 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (* (cbrt (/ y x)) (cbrt (/ y x)))) (cbrt (/ y x))) x))>
3.843 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (sqrt (/ y x))) (sqrt (/ y x))) x))>
3.843 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (cbrt x))) x))>
3.843 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (/ (cbrt y) (sqrt x))) x))>
3.843 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt y) x)) x))>
3.843 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (cbrt x))) x))>
3.843 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (sqrt y) (sqrt x))) (/ (sqrt y) (sqrt x))) x))>
3.843 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ (sqrt y) 1)) (/ (sqrt y) x)) x))>
3.843 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ 1 (* (cbrt x) (cbrt x)))) (/ y (cbrt x))) x))>
3.843 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ 1 (sqrt x))) (/ y (sqrt x))) x))>
3.843 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 (/ 1 1)) (/ y x)) x))>
3.843 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 1) (/ y x)) x))>
3.843 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* -1/2 y) (/ 1 x)) x))>
3.843 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (* (cbrt -1/2) (cbrt -1/2)) (* (cbrt -1/2) (/ y x))) x))>
3.843 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (sqrt -1/2) (* (sqrt -1/2) (/ y x))) x))>
3.843 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* 1 (* -1/2 (/ y x))) x))>
3.843 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (x y) (- (/ (* -1/2 y) x) x))>
3.843 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (x y) (- (posit16->real (real->posit16 (* -1/2 (/ y x)))) x))>
3.843 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* (/ y x) -1/2) x))>
3.843 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x (* 1/2 (/ y x)))))>
3.843 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x (* 1/2 (/ y x)))))>
3.844 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x (* 1/2 (/ y x)))))>
3.844 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* -1/2 (/ y x)) x))>
3.844 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* -1/2 (/ y x)) x))>
3.844 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (x y) (- (* -1/2 (/ y x)) x))>
3.844 * [simplify]: Simplifying:
  (/ (exp (* -1/2 (/ y x))) (exp x))
  (log (- (* -1/2 (/ y x)) x))
  (exp (- (* -1/2 (/ y x)) x))
  (* (cbrt (- (* -1/2 (/ y x)) x)) (cbrt (- (* -1/2 (/ y x)) x)))
  (cbrt (- (* -1/2 (/ y x)) x))
  (* (* (- (* -1/2 (/ y x)) x) (- (* -1/2 (/ y x)) x)) (- (* -1/2 (/ y x)) x))
  (sqrt (- (* -1/2 (/ y x)) x))
  (sqrt (- (* -1/2 (/ y x)) x))
  (- (pow (* -1/2 (/ y x)) 3) (pow x 3))
  (+ (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (+ (* x x) (* (* -1/2 (/ y x)) x)))
  (- x)
  (- (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (* x x))
  (+ (* -1/2 (/ y x)) x)
  (- x)
  (real->posit16 (- (* -1/2 (/ y x)) x))
  (* -1/2 (/ y x))
  (+ (log -1/2) (- (log y) (log x)))
  (+ (log -1/2) (log (/ y x)))
  (log (* -1/2 (/ y x)))
  (exp (* -1/2 (/ y x)))
  (* (* (* -1/2 -1/2) -1/2) (/ (* (* y y) y) (* (* x x) x)))
  (* (* (* -1/2 -1/2) -1/2) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (* -1/2 (/ y x))) (cbrt (* -1/2 (/ y x))))
  (cbrt (* -1/2 (/ y x)))
  (* (* (* -1/2 (/ y x)) (* -1/2 (/ y x))) (* -1/2 (/ y x)))
  (sqrt (* -1/2 (/ y x)))
  (sqrt (* -1/2 (/ y x)))
  (* (sqrt -1/2) (sqrt (/ y x)))
  (* (sqrt -1/2) (sqrt (/ y x)))
  (* (sqrt -1/2) (/ (sqrt y) (sqrt x)))
  (* (sqrt -1/2) (/ (sqrt y) (sqrt x)))
  (* -1/2 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* -1/2 (sqrt (/ y x)))
  (* -1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* -1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* -1/2 (/ (* (cbrt y) (cbrt y)) 1))
  (* -1/2 (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* -1/2 (/ (sqrt y) (sqrt x)))
  (* -1/2 (/ (sqrt y) 1))
  (* -1/2 (/ 1 (* (cbrt x) (cbrt x))))
  (* -1/2 (/ 1 (sqrt x)))
  (* -1/2 (/ 1 1))
  (* -1/2 1)
  (* -1/2 y)
  (* (cbrt -1/2) (/ y x))
  (* (sqrt -1/2) (/ y x))
  (* -1/2 (/ y x))
  (* -1/2 y)
  (real->posit16 (* -1/2 (/ y x)))
  (- (+ x (* 1/2 (/ y x))))
  (- (+ x (* 1/2 (/ y x))))
  (- (+ x (* 1/2 (/ y x))))
  (* -1/2 (/ y x))
  (* -1/2 (/ y x))
  (* -1/2 (/ y x))
3.845 * * [simplify]: iteration 0: 94 enodes
3.873 * * [simplify]: iteration 1: 233 enodes
3.945 * * [simplify]: iteration 2: 679 enodes
4.653 * * [simplify]: iteration 3: 2017 enodes
5.174 * * [simplify]: iteration complete: 5002 enodes
5.174 * * [simplify]: Extracting #0: cost 37 inf + 0
5.175 * * [simplify]: Extracting #1: cost 712 inf + 1
5.181 * * [simplify]: Extracting #2: cost 1539 inf + 8961
5.202 * * [simplify]: Extracting #3: cost 1146 inf + 90947
5.257 * * [simplify]: Extracting #4: cost 284 inf + 272343
5.322 * * [simplify]: Extracting #5: cost 19 inf + 341720
5.376 * * [simplify]: Extracting #6: cost 0 inf + 348604
5.431 * [simplify]: Simplified to:
  (exp (- (* (/ -1/2 x) y) x))
  (log (- (* (/ -1/2 x) y) x))
  (exp (- (* (/ -1/2 x) y) x))
  (* (cbrt (- (* (/ -1/2 x) y) x)) (cbrt (- (* (/ -1/2 x) y) x)))
  (cbrt (- (* (/ -1/2 x) y) x))
  (* (- (* (/ -1/2 x) y) x) (* (- (* (/ -1/2 x) y) x) (- (* (/ -1/2 x) y) x)))
  (sqrt (- (* (/ -1/2 x) y) x))
  (sqrt (- (* (/ -1/2 x) y) x))
  (- (* (* (/ y x) (* (/ y x) (/ y x))) -1/8) (* x (* x x)))
  (+ (* x x) (* (+ x (* (/ -1/2 x) y)) (* (/ -1/2 x) y)))
  (- x)
  (- (* 1/4 (/ y (/ (* x x) y))) (* x x))
  (+ x (* (/ -1/2 x) y))
  (- x)
  (real->posit16 (- (* (/ -1/2 x) y) x))
  (* (/ -1/2 x) y)
  (log (* (/ -1/2 x) y))
  (log (* (/ -1/2 x) y))
  (log (* (/ -1/2 x) y))
  (exp (* (/ -1/2 x) y))
  (* (* (/ y x) (* (/ y x) (/ y x))) -1/8)
  (* (* (/ y x) (* (/ y x) (/ y x))) -1/8)
  (* (cbrt (* (/ -1/2 x) y)) (cbrt (* (/ -1/2 x) y)))
  (cbrt (* (/ -1/2 x) y))
  (* (* (/ y x) (* (/ y x) (/ y x))) -1/8)
  (sqrt (* (/ -1/2 x) y))
  (sqrt (* (/ -1/2 x) y))
  (* (sqrt -1/2) (sqrt (/ y x)))
  (* (sqrt -1/2) (sqrt (/ y x)))
  (* (/ (sqrt -1/2) (sqrt x)) (sqrt y))
  (* (/ (sqrt -1/2) (sqrt x)) (sqrt y))
  (* (cbrt (/ y x)) (* -1/2 (cbrt (/ y x))))
  (* (sqrt (/ y x)) -1/2)
  (* -1/2 (* (/ (cbrt y) (cbrt x)) (/ (cbrt y) (cbrt x))))
  (* (* -1/2 (cbrt y)) (/ (cbrt y) (sqrt x)))
  (* (* -1/2 (cbrt y)) (cbrt y))
  (* (/ -1/2 (cbrt x)) (/ (sqrt y) (cbrt x)))
  (* (sqrt y) (/ -1/2 (sqrt x)))
  (* (sqrt y) -1/2)
  (/ (/ -1/2 (cbrt x)) (cbrt x))
  (/ -1/2 (sqrt x))
  -1/2
  -1/2
  (* -1/2 y)
  (/ (cbrt -1/2) (/ x y))
  (* (/ y x) (sqrt -1/2))
  (* (/ -1/2 x) y)
  (* -1/2 y)
  (real->posit16 (* (/ -1/2 x) y))
  (- (* (/ -1/2 x) y) x)
  (- (* (/ -1/2 x) y) x)
  (- (* (/ -1/2 x) y) x)
  (* (/ -1/2 x) y)
  (* (/ -1/2 x) y)
  (* (/ -1/2 x) y)
5.433 * * * [progress]: adding candidates to table
5.575 * [progress]: [Phase 3 of 3] Extracting.
5.575 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.575 * * * [regime-changes]: Trying 5 branch expressions: ((* x x) (+ (* x x) y) (sqrt (+ (* x x) y)) y x)
5.575 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.611 * * * * [regimes]: Trying to branch on (+ (* x x) y) from (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.639 * * * * [regimes]: Trying to branch on (sqrt (+ (* x x) y)) from (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.680 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.724 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.757 * * * [regime]: Found split indices: #<option (#s(si 1 40) #s(si 2 178) #s(si 0 255))>
5.758 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.824 * [regimes]: Found splitpoints: (#s(sp 1 x -1.3298271535226257e+154) #s(sp 2 x 3.890409410163301e+59) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x y) (+ x (* 1/2 (/ y x))))> #<alt (λ (x y) (- (* -1/2 (/ y x)) x))> #<alt (λ (x y) (sqrt (+ (* x x) y)))>)
5.824 * [simplify]: Simplifying:
  (if (<= x -1.3298271535226257e+154) (- (* -1/2 (/ y x)) x) (if (<= x 3.890409410163301e+59) (sqrt (+ (* x x) y)) (+ x (* 1/2 (/ y x)))))
5.824 * * [simplify]: iteration 0: 18 enodes
5.825 * * [simplify]: iteration 1: 22 enodes
5.826 * * [simplify]: iteration complete: 22 enodes
5.826 * * [simplify]: Extracting #0: cost 1 inf + 0
5.826 * * [simplify]: Extracting #1: cost 4 inf + 0
5.826 * * [simplify]: Extracting #2: cost 10 inf + 0
5.826 * * [simplify]: Extracting #3: cost 13 inf + 2
5.826 * * [simplify]: Extracting #4: cost 12 inf + 138
5.826 * * [simplify]: Extracting #5: cost 7 inf + 305
5.826 * * [simplify]: Extracting #6: cost 2 inf + 839
5.826 * * [simplify]: Extracting #7: cost 1 inf + 1213
5.826 * * [simplify]: Extracting #8: cost 0 inf + 1799
5.827 * [simplify]: Simplified to:
  (if (<= x -1.3298271535226257e+154) (- (* -1/2 (/ y x)) x) (if (<= x 3.890409410163301e+59) (sqrt (+ (* x x) y)) (+ (* (/ y x) 1/2) x)))
6.949 * [regime-testing]: Baseline error score: 19.84229402529393
6.953 * [regime-testing]: Oracle error score: 0.00667899837027529
6.962 * [regime-testing]: End program error score: 0.47548508568056247
7.063 * [regime-testing]: Target error score: 0.48982157628763223