88.509 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 3.0) x) y))>
0.033 * [simplify]: Simplifying:
  (* (* (* x 3.0) x) y)
0.033 * * [simplify]: iteration 0: 6 enodes
0.036 * * [simplify]: iteration 1: 11 enodes
0.039 * * [simplify]: iteration 2: 23 enodes
0.047 * * [simplify]: iteration 3: 36 enodes
0.058 * * [simplify]: iteration 4: 42 enodes
0.068 * * [simplify]: iteration complete: 42 enodes
0.069 * * [simplify]: Extracting #0: cost 1 inf + 0
0.069 * * [simplify]: Extracting #1: cost 11 inf + 0
0.069 * * [simplify]: Extracting #2: cost 7 inf + 45
0.069 * * [simplify]: Extracting #3: cost 1 inf + 458
0.070 * * [simplify]: Extracting #4: cost 0 inf + 540
0.070 * [simplify]: Simplified to:
  (* (* x (* x 3.0)) y)
0.071 * * [progress]: iteration 1 / 4
0.071 * * * [progress]: picking best candidate
0.075 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x 3.0) x) y))>
0.075 * * * [progress]: localizing error
0.095 * * * [progress]: generating rewritten candidates
0.096 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.171 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.198 * * * [progress]: generating series expansions
0.198 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.198 * [backup-simplify]: Simplify (* (* (* x 3.0) x) y) into (* 3.0 (* (pow x 2) y))
0.198 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0
0.198 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y
0.198 * [taylor]: Taking taylor expansion of 3.0 in y
0.198 * [backup-simplify]: Simplify 3.0 into 3.0
0.198 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.198 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [backup-simplify]: Simplify x into x
0.198 * [taylor]: Taking taylor expansion of y in y
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
0.199 * [taylor]: Taking taylor expansion of 3.0 in x
0.199 * [backup-simplify]: Simplify 3.0 into 3.0
0.199 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.199 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [backup-simplify]: Simplify y into y
0.199 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
0.199 * [taylor]: Taking taylor expansion of 3.0 in x
0.199 * [backup-simplify]: Simplify 3.0 into 3.0
0.199 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.199 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [backup-simplify]: Simplify y into y
0.200 * [backup-simplify]: Simplify (* 1 1) into 1
0.200 * [backup-simplify]: Simplify (* 1 y) into y
0.200 * [backup-simplify]: Simplify (* 3.0 y) into (* 3.0 y)
0.200 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.200 * [taylor]: Taking taylor expansion of 3.0 in y
0.200 * [backup-simplify]: Simplify 3.0 into 3.0
0.200 * [taylor]: Taking taylor expansion of y in y
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.201 * [backup-simplify]: Simplify (* 3.0 0) into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
0.202 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 y)) into 0
0.202 * [taylor]: Taking taylor expansion of 0 in y
0.202 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
0.204 * [backup-simplify]: Simplify 3.0 into 3.0
0.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
0.207 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 y))) into 0
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
0.208 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.211 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.211 * [taylor]: Taking taylor expansion of 0 in y
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify (* 3.0 (* y (pow x 2))) into (* 3.0 (* (pow x 2) y))
0.212 * [backup-simplify]: Simplify (* (* (* (/ 1 x) 3.0) (/ 1 x)) (/ 1 y)) into (/ 3.0 (* (pow x 2) y))
0.212 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0
0.212 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y
0.212 * [taylor]: Taking taylor expansion of 3.0 in y
0.212 * [backup-simplify]: Simplify 3.0 into 3.0
0.212 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.212 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.212 * [taylor]: Taking taylor expansion of x in y
0.212 * [backup-simplify]: Simplify x into x
0.212 * [taylor]: Taking taylor expansion of y in y
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify 1 into 1
0.212 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.212 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
0.212 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.213 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
0.213 * [backup-simplify]: Simplify (/ 3.0 (pow x 2)) into (/ 3.0 (pow x 2))
0.213 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
0.213 * [taylor]: Taking taylor expansion of 3.0 in x
0.213 * [backup-simplify]: Simplify 3.0 into 3.0
0.213 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.213 * [taylor]: Taking taylor expansion of y in x
0.213 * [backup-simplify]: Simplify y into y
0.213 * [backup-simplify]: Simplify (* 1 1) into 1
0.213 * [backup-simplify]: Simplify (* 1 y) into y
0.214 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.214 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
0.214 * [taylor]: Taking taylor expansion of 3.0 in x
0.214 * [backup-simplify]: Simplify 3.0 into 3.0
0.214 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify 1 into 1
0.214 * [taylor]: Taking taylor expansion of y in x
0.214 * [backup-simplify]: Simplify y into y
0.214 * [backup-simplify]: Simplify (* 1 1) into 1
0.214 * [backup-simplify]: Simplify (* 1 y) into y
0.214 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.214 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.214 * [taylor]: Taking taylor expansion of 3.0 in y
0.214 * [backup-simplify]: Simplify 3.0 into 3.0
0.214 * [taylor]: Taking taylor expansion of y in y
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify 1 into 1
0.215 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.215 * [backup-simplify]: Simplify 3.0 into 3.0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
0.216 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
0.219 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.219 * [taylor]: Taking taylor expansion of 0 in y
0.219 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.222 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.222 * [taylor]: Taking taylor expansion of 0 in y
0.222 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2))) into (* 3.0 (* (pow x 2) y))
0.224 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (/ 1 (- y))) into (/ -3.0 (* (pow x 2) y))
0.224 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0
0.224 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y
0.224 * [taylor]: Taking taylor expansion of -3.0 in y
0.224 * [backup-simplify]: Simplify -3.0 into -3.0
0.224 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.224 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.224 * [taylor]: Taking taylor expansion of x in y
0.224 * [backup-simplify]: Simplify x into x
0.224 * [taylor]: Taking taylor expansion of y in y
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.224 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
0.224 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.224 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
0.224 * [backup-simplify]: Simplify (/ -3.0 (pow x 2)) into (/ -3.0 (pow x 2))
0.224 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
0.224 * [taylor]: Taking taylor expansion of -3.0 in x
0.224 * [backup-simplify]: Simplify -3.0 into -3.0
0.224 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.224 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [taylor]: Taking taylor expansion of y in x
0.224 * [backup-simplify]: Simplify y into y
0.225 * [backup-simplify]: Simplify (* 1 1) into 1
0.225 * [backup-simplify]: Simplify (* 1 y) into y
0.225 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
0.225 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
0.225 * [taylor]: Taking taylor expansion of -3.0 in x
0.225 * [backup-simplify]: Simplify -3.0 into -3.0
0.225 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.225 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.225 * [taylor]: Taking taylor expansion of y in x
0.225 * [backup-simplify]: Simplify y into y
0.225 * [backup-simplify]: Simplify (* 1 1) into 1
0.225 * [backup-simplify]: Simplify (* 1 y) into y
0.225 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
0.225 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y
0.225 * [taylor]: Taking taylor expansion of -3.0 in y
0.225 * [backup-simplify]: Simplify -3.0 into -3.0
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
0.226 * [backup-simplify]: Simplify -3.0 into -3.0
0.226 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.226 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
0.227 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)))) into 0
0.227 * [taylor]: Taking taylor expansion of 0 in y
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
0.227 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
0.228 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (* -3.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2))) into (* 3.0 (* (pow x 2) y))
0.232 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.232 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
0.232 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
0.232 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.232 * [taylor]: Taking taylor expansion of 3.0 in x
0.232 * [backup-simplify]: Simplify 3.0 into 3.0
0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 1 into 1
0.232 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.232 * [taylor]: Taking taylor expansion of 3.0 in x
0.232 * [backup-simplify]: Simplify 3.0 into 3.0
0.233 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (* 1 1) into 1
0.233 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.233 * [backup-simplify]: Simplify 3.0 into 3.0
0.234 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.235 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.237 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.239 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.244 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.244 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.247 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.247 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
0.247 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
0.247 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.247 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.247 * [taylor]: Taking taylor expansion of 3.0 in x
0.247 * [backup-simplify]: Simplify 3.0 into 3.0
0.247 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.247 * [taylor]: Taking taylor expansion of x in x
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify 1 into 1
0.248 * [backup-simplify]: Simplify (* 1 1) into 1
0.248 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.248 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.248 * [taylor]: Taking taylor expansion of 3.0 in x
0.249 * [backup-simplify]: Simplify 3.0 into 3.0
0.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.249 * [taylor]: Taking taylor expansion of x in x
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (* 1 1) into 1
0.249 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.250 * [backup-simplify]: Simplify 3.0 into 3.0
0.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.251 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.252 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.255 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
0.259 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
0.259 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.259 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.259 * [taylor]: Taking taylor expansion of 3.0 in x
0.259 * [backup-simplify]: Simplify 3.0 into 3.0
0.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (* 1 1) into 1
0.260 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.260 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.260 * [taylor]: Taking taylor expansion of 3.0 in x
0.260 * [backup-simplify]: Simplify 3.0 into 3.0
0.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.261 * [backup-simplify]: Simplify (* 1 1) into 1
0.261 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.261 * [backup-simplify]: Simplify 3.0 into 3.0
0.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.265 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.267 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
0.274 * * * [progress]: simplifying candidates
0.274 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* (* x 3.0) x) y) 1))>
0.274 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* (* x 3.0) x) y) 1))>
0.274 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* (* x 3.0) x) y) 1))>
0.274 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* (* x 3.0) x) y) 1))>
0.274 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (+ (log x) (log 3.0)) (log x)) (log y))))>
0.274 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log (* x 3.0)) (log x)) (log y))))>
0.274 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* (* x 3.0) x)) (log y))))>
0.274 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* (* x 3.0) x) y))))>
0.274 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* (* x 3.0) x) y))))>
0.274 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* y y) y))))>
0.274 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (* y y) y))))>
0.274 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (* (* y y) y))))>
0.274 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* (* x 3.0) x) y)) (cbrt (* (* (* x 3.0) x) y))) (cbrt (* (* (* x 3.0) x) y))))>
0.275 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y)) (* (* (* x 3.0) x) y))))>
0.275 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* (* x 3.0) x) y)) (sqrt (* (* (* x 3.0) x) y))))>
0.275 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* (* x 3.0) x) y)))>
0.275 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) x) (* (cbrt y) (cbrt y))) (cbrt y)))>
0.275 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) x) (sqrt y)) (sqrt y)))>
0.275 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) x) 1) y))>
0.275 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* x 3.0) (* x y)))>
0.275 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* (* x 3.0) x) y))))>
0.275 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x y) (* y (* (* x 3.0) x)))>
0.275 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* (* x 3.0) x) 1) y))>
0.275 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* (* x 3.0) x) 1) y))>
0.275 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* (* x 3.0) x) 1) y))>
0.275 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (+ (log x) (log 3.0)) (log x))) y))>
0.275 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log (* x 3.0)) (log x))) y))>
0.275 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (log (* (* x 3.0) x))) y))>
0.275 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x y) (* (log (exp (* (* x 3.0) x))) y))>
0.275 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))) y))>
0.275 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))) y))>
0.275 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x))) y))>
0.276 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))) y))>
0.276 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) y))>
0.276 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* (* x 3.0) x)) y))>
0.276 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) (* (cbrt x) (cbrt x))) (cbrt x)) y))>
0.276 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) (sqrt x)) (sqrt x)) y))>
0.276 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (* x 3.0) 1) x) y))>
0.276 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* x (* 3.0 x)) y))>
0.276 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x y) (* (posit16->real (real->posit16 (* (* x 3.0) x))) y))>
0.276 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* x (* x 3.0)) y))>
0.276 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
0.276 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
0.276 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
0.276 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (pow x 2)) y))>
0.276 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (pow x 2)) y))>
0.276 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (pow x 2)) y))>
0.277 * [simplify]: Simplifying:
  (* (* (* x 3.0) x) y)
  (* (* (* x 3.0) x) y)
  (* (* (* x 3.0) x) y)
  (+ (+ (+ (log x) (log 3.0)) (log x)) (log y))
  (+ (+ (log (* x 3.0)) (log x)) (log y))
  (+ (log (* (* x 3.0) x)) (log y))
  (log (* (* (* x 3.0) x) y))
  (exp (* (* (* x 3.0) x) y))
  (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* y y) y))
  (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (* y y) y))
  (* (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (* (* y y) y))
  (* (cbrt (* (* (* x 3.0) x) y)) (cbrt (* (* (* x 3.0) x) y)))
  (cbrt (* (* (* x 3.0) x) y))
  (* (* (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y)) (* (* (* x 3.0) x) y))
  (sqrt (* (* (* x 3.0) x) y))
  (sqrt (* (* (* x 3.0) x) y))
  (* (* (* x 3.0) x) (* (cbrt y) (cbrt y)))
  (* (* (* x 3.0) x) (sqrt y))
  (* (* (* x 3.0) x) 1)
  (* x y)
  (real->posit16 (* (* (* x 3.0) x) y))
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (real->posit16 (* (* x 3.0) x))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
0.278 * * [simplify]: iteration 0: 66 enodes
0.303 * * [simplify]: iteration 1: 173 enodes
0.385 * * [simplify]: iteration 2: 577 enodes
0.868 * * [simplify]: iteration 3: 2692 enodes
2.061 * * [simplify]: iteration complete: 5001 enodes
2.061 * * [simplify]: Extracting #0: cost 22 inf + 0
2.067 * * [simplify]: Extracting #1: cost 432 inf + 0
2.072 * * [simplify]: Extracting #2: cost 1460 inf + 4691
2.089 * * [simplify]: Extracting #3: cost 988 inf + 101224
2.140 * * [simplify]: Extracting #4: cost 121 inf + 248725
2.195 * * [simplify]: Extracting #5: cost 3 inf + 273382
2.252 * * [simplify]: Extracting #6: cost 0 inf + 273051
2.309 * [simplify]: Simplified to:
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (log (* (* y (* x 3.0)) x))
  (log (* (* y (* x 3.0)) x))
  (log (* (* y (* x 3.0)) x))
  (log (* (* y (* x 3.0)) x))
  (exp (* (* y (* x 3.0)) x))
  (* (* x (* x 3.0)) (* (* (* (* x (* x 3.0)) y) (* (* x (* x 3.0)) y)) y))
  (* (* x (* x 3.0)) (* (* (* (* x (* x 3.0)) y) (* (* x (* x 3.0)) y)) y))
  (* (* x (* x 3.0)) (* (* (* (* x (* x 3.0)) y) (* (* x (* x 3.0)) y)) y))
  (* (cbrt (* (* y (* x 3.0)) x)) (cbrt (* (* y (* x 3.0)) x)))
  (cbrt (* (* y (* x 3.0)) x))
  (* (* x (* x 3.0)) (* (* (* (* x (* x 3.0)) y) (* (* x (* x 3.0)) y)) y))
  (sqrt (* (* y (* x 3.0)) x))
  (sqrt (* (* y (* x 3.0)) x))
  (* (* x (* x 3.0)) (* (cbrt y) (cbrt y)))
  (* (sqrt y) (* x (* x 3.0)))
  (* x (* x 3.0))
  (* y x)
  (real->posit16 (* (* y (* x 3.0)) x))
  (* x (* x 3.0))
  (* x (* x 3.0))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (exp (* x (* x 3.0)))
  (* (* (* x (* x 3.0)) (* x (* x 3.0))) (* x (* x 3.0)))
  (* (* (* x (* x 3.0)) (* x (* x 3.0))) (* x (* x 3.0)))
  (* (cbrt (* x (* x 3.0))) (cbrt (* x (* x 3.0))))
  (cbrt (* x (* x 3.0)))
  (* (* (* x (* x 3.0)) (* x (* x 3.0))) (* x (* x 3.0)))
  (sqrt (* x (* x 3.0)))
  (sqrt (* x (* x 3.0)))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* x (* (sqrt x) 3.0))
  (* x 3.0)
  (* x 3.0)
  (real->posit16 (* x (* x 3.0)))
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (* x (* x 3.0))
  (* x (* x 3.0))
  (* x (* x 3.0))
2.310 * * * [progress]: adding candidates to table
2.417 * * [progress]: iteration 2 / 4
2.417 * * * [progress]: picking best candidate
2.434 * * * * [pick]: Picked  #<alt (λ (x y) (* (* y (* x 3.0)) x))>
2.434 * * * [progress]: localizing error
2.448 * * * [progress]: generating rewritten candidates
2.448 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.470 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.548 * * * [progress]: generating series expansions
2.548 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.548 * [backup-simplify]: Simplify (* y (* x 3.0)) into (* 3.0 (* x y))
2.548 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (y x) around 0
2.548 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
2.548 * [taylor]: Taking taylor expansion of 3.0 in x
2.548 * [backup-simplify]: Simplify 3.0 into 3.0
2.548 * [taylor]: Taking taylor expansion of (* x y) in x
2.548 * [taylor]: Taking taylor expansion of x in x
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.548 * [taylor]: Taking taylor expansion of y in x
2.548 * [backup-simplify]: Simplify y into y
2.548 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
2.548 * [taylor]: Taking taylor expansion of 3.0 in y
2.548 * [backup-simplify]: Simplify 3.0 into 3.0
2.548 * [taylor]: Taking taylor expansion of (* x y) in y
2.548 * [taylor]: Taking taylor expansion of x in y
2.548 * [backup-simplify]: Simplify x into x
2.548 * [taylor]: Taking taylor expansion of y in y
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.549 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
2.549 * [taylor]: Taking taylor expansion of 3.0 in y
2.549 * [backup-simplify]: Simplify 3.0 into 3.0
2.549 * [taylor]: Taking taylor expansion of (* x y) in y
2.549 * [taylor]: Taking taylor expansion of x in y
2.549 * [backup-simplify]: Simplify x into x
2.549 * [taylor]: Taking taylor expansion of y in y
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (* x 0) into 0
2.550 * [backup-simplify]: Simplify (* 3.0 0) into 0
2.550 * [taylor]: Taking taylor expansion of 0 in x
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.550 * [backup-simplify]: Simplify (+ (* 3.0 x) (* 0 0)) into (* 3.0 x)
2.550 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.551 * [taylor]: Taking taylor expansion of 3.0 in x
2.551 * [backup-simplify]: Simplify 3.0 into 3.0
2.551 * [taylor]: Taking taylor expansion of x in x
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify 1 into 1
2.551 * [backup-simplify]: Simplify (* 3.0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.552 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.552 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 x) (* 0 0))) into 0
2.552 * [taylor]: Taking taylor expansion of 0 in x
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
2.554 * [backup-simplify]: Simplify 3.0 into 3.0
2.554 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.556 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0
2.556 * [taylor]: Taking taylor expansion of 0 in x
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify 0 into 0
2.558 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.559 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x) (* 0 0))))) into 0
2.559 * [taylor]: Taking taylor expansion of 0 in x
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify (* 3.0 (* x y)) into (* 3.0 (* x y))
2.559 * [backup-simplify]: Simplify (* (/ 1 y) (* (/ 1 x) 3.0)) into (/ 3.0 (* x y))
2.559 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0
2.559 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
2.559 * [taylor]: Taking taylor expansion of 3.0 in x
2.559 * [backup-simplify]: Simplify 3.0 into 3.0
2.560 * [taylor]: Taking taylor expansion of (* x y) in x
2.560 * [taylor]: Taking taylor expansion of x in x
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify 1 into 1
2.560 * [taylor]: Taking taylor expansion of y in x
2.560 * [backup-simplify]: Simplify y into y
2.560 * [backup-simplify]: Simplify (* 0 y) into 0
2.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.560 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
2.560 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
2.560 * [taylor]: Taking taylor expansion of 3.0 in y
2.560 * [backup-simplify]: Simplify 3.0 into 3.0
2.560 * [taylor]: Taking taylor expansion of (* x y) in y
2.560 * [taylor]: Taking taylor expansion of x in y
2.560 * [backup-simplify]: Simplify x into x
2.560 * [taylor]: Taking taylor expansion of y in y
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify 1 into 1
2.560 * [backup-simplify]: Simplify (* x 0) into 0
2.561 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.561 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
2.561 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
2.561 * [taylor]: Taking taylor expansion of 3.0 in y
2.561 * [backup-simplify]: Simplify 3.0 into 3.0
2.561 * [taylor]: Taking taylor expansion of (* x y) in y
2.561 * [taylor]: Taking taylor expansion of x in y
2.561 * [backup-simplify]: Simplify x into x
2.561 * [taylor]: Taking taylor expansion of y in y
2.561 * [backup-simplify]: Simplify 0 into 0
2.561 * [backup-simplify]: Simplify 1 into 1
2.561 * [backup-simplify]: Simplify (* x 0) into 0
2.561 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.561 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
2.562 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
2.562 * [taylor]: Taking taylor expansion of 3.0 in x
2.562 * [backup-simplify]: Simplify 3.0 into 3.0
2.562 * [taylor]: Taking taylor expansion of x in x
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 1 into 1
2.562 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
2.562 * [backup-simplify]: Simplify 3.0 into 3.0
2.563 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.563 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)))) into 0
2.563 * [taylor]: Taking taylor expansion of 0 in x
2.563 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.565 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.565 * [taylor]: Taking taylor expansion of 0 in x
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.566 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.567 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.567 * [taylor]: Taking taylor expansion of 0 in x
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) into (* 3.0 (* x y))
2.568 * [backup-simplify]: Simplify (* (/ 1 (- y)) (* (/ 1 (- x)) 3.0)) into (/ 3.0 (* x y))
2.568 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0
2.568 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
2.568 * [taylor]: Taking taylor expansion of 3.0 in x
2.568 * [backup-simplify]: Simplify 3.0 into 3.0
2.568 * [taylor]: Taking taylor expansion of (* x y) in x
2.568 * [taylor]: Taking taylor expansion of x in x
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify 1 into 1
2.568 * [taylor]: Taking taylor expansion of y in x
2.569 * [backup-simplify]: Simplify y into y
2.569 * [backup-simplify]: Simplify (* 0 y) into 0
2.569 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.569 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
2.569 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
2.569 * [taylor]: Taking taylor expansion of 3.0 in y
2.569 * [backup-simplify]: Simplify 3.0 into 3.0
2.569 * [taylor]: Taking taylor expansion of (* x y) in y
2.569 * [taylor]: Taking taylor expansion of x in y
2.569 * [backup-simplify]: Simplify x into x
2.569 * [taylor]: Taking taylor expansion of y in y
2.569 * [backup-simplify]: Simplify 0 into 0
2.569 * [backup-simplify]: Simplify 1 into 1
2.569 * [backup-simplify]: Simplify (* x 0) into 0
2.570 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.570 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
2.570 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
2.570 * [taylor]: Taking taylor expansion of 3.0 in y
2.570 * [backup-simplify]: Simplify 3.0 into 3.0
2.570 * [taylor]: Taking taylor expansion of (* x y) in y
2.570 * [taylor]: Taking taylor expansion of x in y
2.570 * [backup-simplify]: Simplify x into x
2.570 * [taylor]: Taking taylor expansion of y in y
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (* x 0) into 0
2.570 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.570 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
2.571 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
2.571 * [taylor]: Taking taylor expansion of 3.0 in x
2.571 * [backup-simplify]: Simplify 3.0 into 3.0
2.571 * [taylor]: Taking taylor expansion of x in x
2.571 * [backup-simplify]: Simplify 0 into 0
2.571 * [backup-simplify]: Simplify 1 into 1
2.571 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
2.571 * [backup-simplify]: Simplify 3.0 into 3.0
2.572 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.572 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)))) into 0
2.572 * [taylor]: Taking taylor expansion of 0 in x
2.572 * [backup-simplify]: Simplify 0 into 0
2.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
2.573 * [backup-simplify]: Simplify 0 into 0
2.574 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.574 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.574 * [taylor]: Taking taylor expansion of 0 in x
2.574 * [backup-simplify]: Simplify 0 into 0
2.574 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.575 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.576 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 3.0 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.576 * [taylor]: Taking taylor expansion of 0 in x
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.577 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) into (* 3.0 (* x y))
2.577 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.578 * [backup-simplify]: Simplify (* (* y (* x 3.0)) x) into (* 3.0 (* (pow x 2) y))
2.578 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (y x) around 0
2.578 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
2.578 * [taylor]: Taking taylor expansion of 3.0 in x
2.578 * [backup-simplify]: Simplify 3.0 into 3.0
2.578 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
2.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.578 * [taylor]: Taking taylor expansion of x in x
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify 1 into 1
2.578 * [taylor]: Taking taylor expansion of y in x
2.578 * [backup-simplify]: Simplify y into y
2.578 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y
2.578 * [taylor]: Taking taylor expansion of 3.0 in y
2.578 * [backup-simplify]: Simplify 3.0 into 3.0
2.578 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.578 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.578 * [taylor]: Taking taylor expansion of x in y
2.578 * [backup-simplify]: Simplify x into x
2.578 * [taylor]: Taking taylor expansion of y in y
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify 1 into 1
2.578 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y
2.578 * [taylor]: Taking taylor expansion of 3.0 in y
2.578 * [backup-simplify]: Simplify 3.0 into 3.0
2.578 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.578 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.578 * [taylor]: Taking taylor expansion of x in y
2.578 * [backup-simplify]: Simplify x into x
2.578 * [taylor]: Taking taylor expansion of y in y
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify 1 into 1
2.578 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.579 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
2.579 * [backup-simplify]: Simplify (* 3.0 0) into 0
2.579 * [taylor]: Taking taylor expansion of 0 in x
2.579 * [backup-simplify]: Simplify 0 into 0
2.579 * [backup-simplify]: Simplify 0 into 0
2.579 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.580 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
2.580 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* 0 0)) into (* 3.0 (pow x 2))
2.580 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
2.580 * [taylor]: Taking taylor expansion of 3.0 in x
2.580 * [backup-simplify]: Simplify 3.0 into 3.0
2.580 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.580 * [taylor]: Taking taylor expansion of x in x
2.580 * [backup-simplify]: Simplify 0 into 0
2.580 * [backup-simplify]: Simplify 1 into 1
2.581 * [backup-simplify]: Simplify (* 1 1) into 1
2.581 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
2.581 * [backup-simplify]: Simplify 3.0 into 3.0
2.581 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.582 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 1) (* 0 0))) into 0
2.583 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (pow x 2)) (* 0 0))) into 0
2.583 * [taylor]: Taking taylor expansion of 0 in x
2.583 * [backup-simplify]: Simplify 0 into 0
2.583 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.584 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
2.584 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify 0 into 0
2.585 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.586 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.587 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (pow x 2)) (* 0 0)))) into 0
2.587 * [taylor]: Taking taylor expansion of 0 in x
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify (* 3.0 (* (pow x 2) y)) into (* 3.0 (* (pow x 2) y))
2.587 * [backup-simplify]: Simplify (* (* (/ 1 y) (* (/ 1 x) 3.0)) (/ 1 x)) into (/ 3.0 (* (pow x 2) y))
2.587 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (y x) around 0
2.587 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
2.587 * [taylor]: Taking taylor expansion of 3.0 in x
2.588 * [backup-simplify]: Simplify 3.0 into 3.0
2.588 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
2.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.588 * [taylor]: Taking taylor expansion of x in x
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of y in x
2.588 * [backup-simplify]: Simplify y into y
2.588 * [backup-simplify]: Simplify (* 1 1) into 1
2.588 * [backup-simplify]: Simplify (* 1 y) into y
2.588 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
2.588 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y
2.588 * [taylor]: Taking taylor expansion of 3.0 in y
2.588 * [backup-simplify]: Simplify 3.0 into 3.0
2.588 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.588 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.588 * [taylor]: Taking taylor expansion of x in y
2.588 * [backup-simplify]: Simplify x into x
2.588 * [taylor]: Taking taylor expansion of y in y
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.589 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
2.589 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.589 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
2.589 * [backup-simplify]: Simplify (/ 3.0 (pow x 2)) into (/ 3.0 (pow x 2))
2.589 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y
2.589 * [taylor]: Taking taylor expansion of 3.0 in y
2.589 * [backup-simplify]: Simplify 3.0 into 3.0
2.589 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.589 * [taylor]: Taking taylor expansion of x in y
2.590 * [backup-simplify]: Simplify x into x
2.590 * [taylor]: Taking taylor expansion of y in y
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 1 into 1
2.590 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.590 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
2.590 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.590 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
2.590 * [backup-simplify]: Simplify (/ 3.0 (pow x 2)) into (/ 3.0 (pow x 2))
2.591 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
2.591 * [taylor]: Taking taylor expansion of 3.0 in x
2.591 * [backup-simplify]: Simplify 3.0 into 3.0
2.591 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.591 * [taylor]: Taking taylor expansion of x in x
2.591 * [backup-simplify]: Simplify 0 into 0
2.591 * [backup-simplify]: Simplify 1 into 1
2.591 * [backup-simplify]: Simplify (* 1 1) into 1
2.591 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
2.591 * [backup-simplify]: Simplify 3.0 into 3.0
2.592 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.593 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 1) (* 0 0))) into 0
2.593 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 3.0 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.593 * [taylor]: Taking taylor expansion of 0 in x
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
2.594 * [backup-simplify]: Simplify 0 into 0
2.595 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.596 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.596 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.596 * [taylor]: Taking taylor expansion of 0 in x
2.596 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.598 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
2.600 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.600 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.600 * [taylor]: Taking taylor expansion of 0 in x
2.600 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.602 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
2.605 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.606 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.606 * [taylor]: Taking taylor expansion of 0 in x
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify (* 3.0 (* (pow (/ 1 x) -2) (/ 1 (/ 1 y)))) into (* 3.0 (* (pow x 2) y))
2.606 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (* (/ 1 (- x)) 3.0)) (/ 1 (- x))) into (/ -3.0 (* (pow x 2) y))
2.606 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (y x) around 0
2.606 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
2.606 * [taylor]: Taking taylor expansion of -3.0 in x
2.606 * [backup-simplify]: Simplify -3.0 into -3.0
2.606 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
2.606 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.606 * [taylor]: Taking taylor expansion of x in x
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 1 into 1
2.606 * [taylor]: Taking taylor expansion of y in x
2.606 * [backup-simplify]: Simplify y into y
2.607 * [backup-simplify]: Simplify (* 1 1) into 1
2.607 * [backup-simplify]: Simplify (* 1 y) into y
2.607 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
2.607 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y
2.607 * [taylor]: Taking taylor expansion of -3.0 in y
2.607 * [backup-simplify]: Simplify -3.0 into -3.0
2.607 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.607 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.607 * [taylor]: Taking taylor expansion of x in y
2.607 * [backup-simplify]: Simplify x into x
2.607 * [taylor]: Taking taylor expansion of y in y
2.607 * [backup-simplify]: Simplify 0 into 0
2.607 * [backup-simplify]: Simplify 1 into 1
2.607 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.607 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
2.607 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.608 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
2.608 * [backup-simplify]: Simplify (/ -3.0 (pow x 2)) into (/ -3.0 (pow x 2))
2.608 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y
2.608 * [taylor]: Taking taylor expansion of -3.0 in y
2.608 * [backup-simplify]: Simplify -3.0 into -3.0
2.608 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
2.608 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.608 * [taylor]: Taking taylor expansion of x in y
2.608 * [backup-simplify]: Simplify x into x
2.608 * [taylor]: Taking taylor expansion of y in y
2.608 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify 1 into 1
2.608 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.608 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
2.608 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.609 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
2.609 * [backup-simplify]: Simplify (/ -3.0 (pow x 2)) into (/ -3.0 (pow x 2))
2.609 * [taylor]: Taking taylor expansion of (/ -3.0 (pow x 2)) in x
2.609 * [taylor]: Taking taylor expansion of -3.0 in x
2.609 * [backup-simplify]: Simplify -3.0 into -3.0
2.609 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.609 * [taylor]: Taking taylor expansion of x in x
2.609 * [backup-simplify]: Simplify 0 into 0
2.609 * [backup-simplify]: Simplify 1 into 1
2.610 * [backup-simplify]: Simplify (* 1 1) into 1
2.610 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
2.610 * [backup-simplify]: Simplify -3.0 into -3.0
2.610 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.611 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 1) (* 0 0))) into 0
2.611 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ -3.0 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.611 * [taylor]: Taking taylor expansion of 0 in x
2.611 * [backup-simplify]: Simplify 0 into 0
2.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
2.613 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.614 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.615 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ -3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.615 * [taylor]: Taking taylor expansion of 0 in x
2.615 * [backup-simplify]: Simplify 0 into 0
2.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.616 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
2.618 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.619 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ -3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.619 * [taylor]: Taking taylor expansion of 0 in x
2.619 * [backup-simplify]: Simplify 0 into 0
2.619 * [backup-simplify]: Simplify 0 into 0
2.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.621 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
2.622 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.623 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ -3.0 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
2.623 * [taylor]: Taking taylor expansion of 0 in x
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify (* -3.0 (* (pow (/ 1 (- x)) -2) (/ 1 (/ 1 (- y))))) into (* 3.0 (* (pow x 2) y))
2.623 * * * [progress]: simplifying candidates
2.623 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* y (* x 3.0)) 1) x))>
2.623 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* y (* x 3.0)) 1) x))>
2.623 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* y (* x 3.0)) 1) x))>
2.623 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log y) (+ (log x) (log 3.0)))) x))>
2.623 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log y) (log (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (log (* y (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x y) (* (log (exp (* y (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* y y) y) (* (* (* x x) x) (* (* 3.0 3.0) 3.0)))) x))>
2.623 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* y y) y) (* (* (* x 3.0) (* x 3.0)) (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt (* y (* x 3.0))) (cbrt (* y (* x 3.0)))) (cbrt (* y (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* y (* x 3.0)) (* y (* x 3.0))) (* y (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (* y (* x 3.0))) (sqrt (* y (* x 3.0)))) x))>
2.623 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* y (* x 3.0))) x))>
2.623 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* y x) 3.0) x))>
2.623 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x 3.0))) x))>
2.624 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt y) (* (sqrt y) (* x 3.0))) x))>
2.624 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* y (* x 3.0))) x))>
2.624 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x y) (* (posit16->real (real->posit16 (* y (* x 3.0)))) x))>
2.624 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 3.0) y) x))>
2.624 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* y (* x 3.0)) x) 1))>
2.624 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* y (* x 3.0)) x) 1))>
2.624 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* y (* x 3.0)) x) 1))>
2.624 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* y (* x 3.0)) x) 1))>
2.624 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log y) (+ (log x) (log 3.0))) (log x))))>
2.624 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log y) (log (* x 3.0))) (log x))))>
2.624 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* y (* x 3.0))) (log x))))>
2.624 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* y y) y) (* (* (* x x) x) (* (* 3.0 3.0) 3.0))) (* (* x x) x))))>
2.624 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* y y) y) (* (* (* x 3.0) (* x 3.0)) (* x 3.0))) (* (* x x) x))))>
2.624 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* y (* x 3.0)) (* y (* x 3.0))) (* y (* x 3.0))) (* (* x x) x))))>
2.624 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* y (* x 3.0)) x)) (cbrt (* (* y (* x 3.0)) x))) (cbrt (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* y (* x 3.0)) x) (* (* y (* x 3.0)) x)) (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* y (* x 3.0)) x)) (sqrt (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* y (* x 3.0)) x)))>
2.624 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* y (* x 3.0)) (* (cbrt x) (cbrt x))) (cbrt x)))>
2.624 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* y (* x 3.0)) (sqrt x)) (sqrt x)))>
2.624 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* y (* x 3.0)) 1) x))>
2.624 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x y) (* y (* (* x 3.0) x)))>
2.624 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* y (* x 3.0)) x))))>
2.624 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x y) (* x (* y (* x 3.0))))>
2.624 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
2.624 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
2.624 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
2.625 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
2.625 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
2.625 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
2.625 * [simplify]: Simplifying:
  (* y (* x 3.0))
  (* y (* x 3.0))
  (+ (log y) (+ (log x) (log 3.0)))
  (+ (log y) (log (* x 3.0)))
  (log (* y (* x 3.0)))
  (exp (* y (* x 3.0)))
  (* (* (* y y) y) (* (* (* x x) x) (* (* 3.0 3.0) 3.0)))
  (* (* (* y y) y) (* (* (* x 3.0) (* x 3.0)) (* x 3.0)))
  (* (cbrt (* y (* x 3.0))) (cbrt (* y (* x 3.0))))
  (cbrt (* y (* x 3.0)))
  (* (* (* y (* x 3.0)) (* y (* x 3.0))) (* y (* x 3.0)))
  (sqrt (* y (* x 3.0)))
  (sqrt (* y (* x 3.0)))
  (* y x)
  (* (cbrt y) (* x 3.0))
  (* (sqrt y) (* x 3.0))
  (* y (* x 3.0))
  (real->posit16 (* y (* x 3.0)))
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (* (* y (* x 3.0)) x)
  (+ (+ (log y) (+ (log x) (log 3.0))) (log x))
  (+ (+ (log y) (log (* x 3.0))) (log x))
  (+ (log (* y (* x 3.0))) (log x))
  (log (* (* y (* x 3.0)) x))
  (exp (* (* y (* x 3.0)) x))
  (* (* (* (* y y) y) (* (* (* x x) x) (* (* 3.0 3.0) 3.0))) (* (* x x) x))
  (* (* (* (* y y) y) (* (* (* x 3.0) (* x 3.0)) (* x 3.0))) (* (* x x) x))
  (* (* (* (* y (* x 3.0)) (* y (* x 3.0))) (* y (* x 3.0))) (* (* x x) x))
  (* (cbrt (* (* y (* x 3.0)) x)) (cbrt (* (* y (* x 3.0)) x)))
  (cbrt (* (* y (* x 3.0)) x))
  (* (* (* (* y (* x 3.0)) x) (* (* y (* x 3.0)) x)) (* (* y (* x 3.0)) x))
  (sqrt (* (* y (* x 3.0)) x))
  (sqrt (* (* y (* x 3.0)) x))
  (* (* y (* x 3.0)) (* (cbrt x) (cbrt x)))
  (* (* y (* x 3.0)) (sqrt x))
  (* (* y (* x 3.0)) 1)
  (* (* x 3.0) x)
  (real->posit16 (* (* y (* x 3.0)) x))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
2.625 * * [simplify]: iteration 0: 65 enodes
2.641 * * [simplify]: iteration 1: 175 enodes
2.703 * * [simplify]: iteration 2: 697 enodes
3.391 * * [simplify]: iteration 3: 3509 enodes
4.844 * * [simplify]: iteration complete: 5000 enodes
4.844 * * [simplify]: Extracting #0: cost 22 inf + 0
4.845 * * [simplify]: Extracting #1: cost 543 inf + 0
4.850 * * [simplify]: Extracting #2: cost 1590 inf + 1399
4.865 * * [simplify]: Extracting #3: cost 999 inf + 91413
4.924 * * [simplify]: Extracting #4: cost 84 inf + 238533
5.000 * * [simplify]: Extracting #5: cost 4 inf + 254157
5.065 * * [simplify]: Extracting #6: cost 0 inf + 255392
5.119 * [simplify]: Simplified to:
  (* (* 3.0 x) y)
  (* (* 3.0 x) y)
  (log (* (* 3.0 x) y))
  (log (* (* 3.0 x) y))
  (log (* (* 3.0 x) y))
  (exp (* (* 3.0 x) y))
  (* (* (* (* 3.0 x) y) (* (* 3.0 x) y)) (* (* 3.0 x) y))
  (* (* (* (* 3.0 x) y) (* (* 3.0 x) y)) (* (* 3.0 x) y))
  (* (cbrt (* (* 3.0 x) y)) (cbrt (* (* 3.0 x) y)))
  (cbrt (* (* 3.0 x) y))
  (* (* (* (* 3.0 x) y) (* (* 3.0 x) y)) (* (* 3.0 x) y))
  (sqrt (* (* 3.0 x) y))
  (sqrt (* (* 3.0 x) y))
  (* x y)
  (* x (* (cbrt y) 3.0))
  (* (* x 3.0) (sqrt y))
  (* (* 3.0 x) y)
  (real->posit16 (* (* 3.0 x) y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (exp (* (* x x) (* 3.0 y)))
  (* (* (* (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y))) x) (* (* 3.0 x) y))
  (* (* (* (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y))) x) (* (* 3.0 x) y))
  (* (* (* (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y))) x) (* (* 3.0 x) y))
  (* (cbrt (* (* x x) (* 3.0 y))) (cbrt (* (* x x) (* 3.0 y))))
  (cbrt (* (* x x) (* 3.0 y)))
  (* (* (* (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y))) x) (* (* 3.0 x) y))
  (sqrt (* (* x x) (* 3.0 y)))
  (sqrt (* (* x x) (* 3.0 y)))
  (* (* x y) (* 3.0 (* (cbrt x) (cbrt x))))
  (* (* 3.0 (sqrt x)) (* x y))
  (* (* 3.0 x) y)
  (* 3.0 (* x x))
  (real->posit16 (* (* x x) (* 3.0 y)))
  (* (* 3.0 x) y)
  (* (* 3.0 x) y)
  (* (* 3.0 x) y)
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
5.120 * * * [progress]: adding candidates to table
5.222 * * [progress]: iteration 3 / 4
5.222 * * * [progress]: picking best candidate
5.238 * * * * [pick]: Picked  #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
5.238 * * * [progress]: localizing error
5.246 * * * [progress]: generating rewritten candidates
5.246 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.265 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.315 * * * [progress]: generating series expansions
5.315 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.315 * [backup-simplify]: Simplify (* 3.0 (* x y)) into (* 3.0 (* x y))
5.315 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
5.315 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
5.315 * [taylor]: Taking taylor expansion of 3.0 in y
5.315 * [backup-simplify]: Simplify 3.0 into 3.0
5.315 * [taylor]: Taking taylor expansion of (* x y) in y
5.316 * [taylor]: Taking taylor expansion of x in y
5.316 * [backup-simplify]: Simplify x into x
5.316 * [taylor]: Taking taylor expansion of y in y
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
5.316 * [taylor]: Taking taylor expansion of 3.0 in x
5.316 * [backup-simplify]: Simplify 3.0 into 3.0
5.316 * [taylor]: Taking taylor expansion of (* x y) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [taylor]: Taking taylor expansion of y in x
5.316 * [backup-simplify]: Simplify y into y
5.316 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
5.316 * [taylor]: Taking taylor expansion of 3.0 in x
5.316 * [backup-simplify]: Simplify 3.0 into 3.0
5.316 * [taylor]: Taking taylor expansion of (* x y) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [taylor]: Taking taylor expansion of y in x
5.316 * [backup-simplify]: Simplify y into y
5.316 * [backup-simplify]: Simplify (* 0 y) into 0
5.316 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.316 * [taylor]: Taking taylor expansion of 0 in y
5.316 * [backup-simplify]: Simplify 0 into 0
5.317 * [backup-simplify]: Simplify 0 into 0
5.317 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.317 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y)
5.317 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
5.317 * [taylor]: Taking taylor expansion of 3.0 in y
5.317 * [backup-simplify]: Simplify 3.0 into 3.0
5.317 * [taylor]: Taking taylor expansion of y in y
5.317 * [backup-simplify]: Simplify 0 into 0
5.317 * [backup-simplify]: Simplify 1 into 1
5.318 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.320 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0
5.320 * [taylor]: Taking taylor expansion of 0 in y
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
5.322 * [backup-simplify]: Simplify 3.0 into 3.0
5.322 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.323 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
5.323 * [taylor]: Taking taylor expansion of 0 in y
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.326 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
5.326 * [taylor]: Taking taylor expansion of 0 in y
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y))
5.326 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 y))) into (/ 3.0 (* x y))
5.326 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
5.326 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
5.326 * [taylor]: Taking taylor expansion of 3.0 in y
5.326 * [backup-simplify]: Simplify 3.0 into 3.0
5.326 * [taylor]: Taking taylor expansion of (* x y) in y
5.326 * [taylor]: Taking taylor expansion of x in y
5.326 * [backup-simplify]: Simplify x into x
5.326 * [taylor]: Taking taylor expansion of y in y
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (* x 0) into 0
5.326 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.326 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
5.326 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.326 * [taylor]: Taking taylor expansion of 3.0 in x
5.326 * [backup-simplify]: Simplify 3.0 into 3.0
5.326 * [taylor]: Taking taylor expansion of (* x y) in x
5.326 * [taylor]: Taking taylor expansion of x in x
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [taylor]: Taking taylor expansion of y in x
5.326 * [backup-simplify]: Simplify y into y
5.327 * [backup-simplify]: Simplify (* 0 y) into 0
5.327 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.327 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.327 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.327 * [taylor]: Taking taylor expansion of 3.0 in x
5.327 * [backup-simplify]: Simplify 3.0 into 3.0
5.327 * [taylor]: Taking taylor expansion of (* x y) in x
5.327 * [taylor]: Taking taylor expansion of x in x
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [taylor]: Taking taylor expansion of y in x
5.327 * [backup-simplify]: Simplify y into y
5.327 * [backup-simplify]: Simplify (* 0 y) into 0
5.327 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.327 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.327 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.327 * [taylor]: Taking taylor expansion of 3.0 in y
5.327 * [backup-simplify]: Simplify 3.0 into 3.0
5.327 * [taylor]: Taking taylor expansion of y in y
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.328 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.328 * [backup-simplify]: Simplify 3.0 into 3.0
5.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.328 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
5.328 * [taylor]: Taking taylor expansion of 0 in y
5.328 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.330 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.330 * [taylor]: Taking taylor expansion of 0 in y
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.332 * [taylor]: Taking taylor expansion of 0 in y
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y))
5.333 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 3.0 (* x y))
5.333 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
5.333 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
5.333 * [taylor]: Taking taylor expansion of 3.0 in y
5.333 * [backup-simplify]: Simplify 3.0 into 3.0
5.333 * [taylor]: Taking taylor expansion of (* x y) in y
5.333 * [taylor]: Taking taylor expansion of x in y
5.333 * [backup-simplify]: Simplify x into x
5.333 * [taylor]: Taking taylor expansion of y in y
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (* x 0) into 0
5.333 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.333 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
5.333 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.333 * [taylor]: Taking taylor expansion of 3.0 in x
5.333 * [backup-simplify]: Simplify 3.0 into 3.0
5.333 * [taylor]: Taking taylor expansion of (* x y) in x
5.333 * [taylor]: Taking taylor expansion of x in x
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [taylor]: Taking taylor expansion of y in x
5.333 * [backup-simplify]: Simplify y into y
5.333 * [backup-simplify]: Simplify (* 0 y) into 0
5.334 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.334 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.334 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.334 * [taylor]: Taking taylor expansion of 3.0 in x
5.334 * [backup-simplify]: Simplify 3.0 into 3.0
5.334 * [taylor]: Taking taylor expansion of (* x y) in x
5.334 * [taylor]: Taking taylor expansion of x in x
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 1 into 1
5.334 * [taylor]: Taking taylor expansion of y in x
5.334 * [backup-simplify]: Simplify y into y
5.334 * [backup-simplify]: Simplify (* 0 y) into 0
5.334 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.334 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.334 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.334 * [taylor]: Taking taylor expansion of 3.0 in y
5.334 * [backup-simplify]: Simplify 3.0 into 3.0
5.334 * [taylor]: Taking taylor expansion of y in y
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 1 into 1
5.335 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.335 * [backup-simplify]: Simplify 3.0 into 3.0
5.335 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.335 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
5.335 * [taylor]: Taking taylor expansion of 0 in y
5.335 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.337 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.337 * [taylor]: Taking taylor expansion of 0 in y
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.338 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.338 * [taylor]: Taking taylor expansion of 0 in y
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y))
5.339 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.340 * [backup-simplify]: Simplify (* (* 3.0 (* x y)) x) into (* 3.0 (* (pow x 2) y))
5.340 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0
5.340 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y
5.340 * [taylor]: Taking taylor expansion of 3.0 in y
5.340 * [backup-simplify]: Simplify 3.0 into 3.0
5.340 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
5.340 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.340 * [taylor]: Taking taylor expansion of x in y
5.340 * [backup-simplify]: Simplify x into x
5.340 * [taylor]: Taking taylor expansion of y in y
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 1 into 1
5.340 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
5.340 * [taylor]: Taking taylor expansion of 3.0 in x
5.340 * [backup-simplify]: Simplify 3.0 into 3.0
5.340 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.340 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.340 * [taylor]: Taking taylor expansion of x in x
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 1 into 1
5.340 * [taylor]: Taking taylor expansion of y in x
5.340 * [backup-simplify]: Simplify y into y
5.340 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
5.340 * [taylor]: Taking taylor expansion of 3.0 in x
5.340 * [backup-simplify]: Simplify 3.0 into 3.0
5.340 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.340 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.340 * [taylor]: Taking taylor expansion of x in x
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 1 into 1
5.340 * [taylor]: Taking taylor expansion of y in x
5.340 * [backup-simplify]: Simplify y into y
5.340 * [backup-simplify]: Simplify (* 1 1) into 1
5.340 * [backup-simplify]: Simplify (* 1 y) into y
5.340 * [backup-simplify]: Simplify (* 3.0 y) into (* 3.0 y)
5.340 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
5.340 * [taylor]: Taking taylor expansion of 3.0 in y
5.341 * [backup-simplify]: Simplify 3.0 into 3.0
5.341 * [taylor]: Taking taylor expansion of y in y
5.341 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify 1 into 1
5.341 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.341 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
5.342 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 y)) into 0
5.342 * [taylor]: Taking taylor expansion of 0 in y
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
5.343 * [backup-simplify]: Simplify 3.0 into 3.0
5.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
5.344 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 y))) into 0
5.344 * [taylor]: Taking taylor expansion of 0 in y
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.347 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.347 * [taylor]: Taking taylor expansion of 0 in y
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify (* 3.0 (* y (pow x 2))) into (* 3.0 (* (pow x 2) y))
5.347 * [backup-simplify]: Simplify (* (* 3.0 (* (/ 1 x) (/ 1 y))) (/ 1 x)) into (/ 3.0 (* (pow x 2) y))
5.347 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0
5.347 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y
5.347 * [taylor]: Taking taylor expansion of 3.0 in y
5.347 * [backup-simplify]: Simplify 3.0 into 3.0
5.348 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
5.348 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.348 * [taylor]: Taking taylor expansion of x in y
5.348 * [backup-simplify]: Simplify x into x
5.348 * [taylor]: Taking taylor expansion of y in y
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.348 * [backup-simplify]: Simplify (* x x) into (pow x 2)
5.348 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
5.348 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
5.348 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
5.348 * [backup-simplify]: Simplify (/ 3.0 (pow x 2)) into (/ 3.0 (pow x 2))
5.348 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
5.348 * [taylor]: Taking taylor expansion of 3.0 in x
5.348 * [backup-simplify]: Simplify 3.0 into 3.0
5.348 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.348 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.348 * [taylor]: Taking taylor expansion of x in x
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.348 * [taylor]: Taking taylor expansion of y in x
5.348 * [backup-simplify]: Simplify y into y
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (* 1 y) into y
5.349 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.349 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
5.349 * [taylor]: Taking taylor expansion of 3.0 in x
5.349 * [backup-simplify]: Simplify 3.0 into 3.0
5.349 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [taylor]: Taking taylor expansion of y in x
5.349 * [backup-simplify]: Simplify y into y
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (* 1 y) into y
5.349 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.349 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.349 * [taylor]: Taking taylor expansion of 3.0 in y
5.349 * [backup-simplify]: Simplify 3.0 into 3.0
5.349 * [taylor]: Taking taylor expansion of y in y
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.350 * [backup-simplify]: Simplify 3.0 into 3.0
5.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
5.350 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
5.350 * [taylor]: Taking taylor expansion of 0 in y
5.350 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
5.352 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.352 * [taylor]: Taking taylor expansion of 0 in y
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.354 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.354 * [taylor]: Taking taylor expansion of 0 in y
5.354 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2))) into (* 3.0 (* (pow x 2) y))
5.355 * [backup-simplify]: Simplify (* (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (- x))) into (/ -3.0 (* (pow x 2) y))
5.355 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0
5.355 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y
5.355 * [taylor]: Taking taylor expansion of -3.0 in y
5.355 * [backup-simplify]: Simplify -3.0 into -3.0
5.355 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
5.355 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.355 * [taylor]: Taking taylor expansion of x in y
5.355 * [backup-simplify]: Simplify x into x
5.355 * [taylor]: Taking taylor expansion of y in y
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify 1 into 1
5.355 * [backup-simplify]: Simplify (* x x) into (pow x 2)
5.355 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
5.355 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
5.356 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
5.356 * [backup-simplify]: Simplify (/ -3.0 (pow x 2)) into (/ -3.0 (pow x 2))
5.356 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
5.356 * [taylor]: Taking taylor expansion of -3.0 in x
5.356 * [backup-simplify]: Simplify -3.0 into -3.0
5.356 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.356 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [taylor]: Taking taylor expansion of y in x
5.356 * [backup-simplify]: Simplify y into y
5.356 * [backup-simplify]: Simplify (* 1 1) into 1
5.356 * [backup-simplify]: Simplify (* 1 y) into y
5.356 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
5.356 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
5.356 * [taylor]: Taking taylor expansion of -3.0 in x
5.356 * [backup-simplify]: Simplify -3.0 into -3.0
5.356 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
5.356 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [taylor]: Taking taylor expansion of y in x
5.356 * [backup-simplify]: Simplify y into y
5.357 * [backup-simplify]: Simplify (* 1 1) into 1
5.357 * [backup-simplify]: Simplify (* 1 y) into y
5.357 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
5.357 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y
5.357 * [taylor]: Taking taylor expansion of -3.0 in y
5.357 * [backup-simplify]: Simplify -3.0 into -3.0
5.357 * [taylor]: Taking taylor expansion of y in y
5.357 * [backup-simplify]: Simplify 0 into 0
5.357 * [backup-simplify]: Simplify 1 into 1
5.357 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
5.357 * [backup-simplify]: Simplify -3.0 into -3.0
5.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
5.358 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)))) into 0
5.358 * [taylor]: Taking taylor expansion of 0 in y
5.358 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
5.360 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.360 * [taylor]: Taking taylor expansion of 0 in y
5.360 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.360 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.362 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.362 * [taylor]: Taking taylor expansion of 0 in y
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.363 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify (* -3.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2))) into (* 3.0 (* (pow x 2) y))
5.363 * * * [progress]: simplifying candidates
5.363 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* 3.0 (* x y)) 1) x))>
5.363 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* 3.0 (* x y)) 1) x))>
5.363 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* 3.0 (* x y)) 1) x))>
5.363 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log 3.0) (+ (log x) (log y)))) x))>
5.363 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log 3.0) (log (* x y)))) x))>
5.363 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (log (* 3.0 (* x y)))) x))>
5.363 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x y) (* (log (exp (* 3.0 (* x y)))) x))>
5.363 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y)))) x))>
5.363 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y)))) x))>
5.363 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y)))) x))>
5.363 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y)))) x))>
5.363 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y)))) x))>
5.363 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* 3.0 (* x y))) x))>
5.363 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* 3.0 x) y) x))>
5.363 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) x))>
5.363 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 3.0) (* (sqrt 3.0) (* x y))) x))>
5.363 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* 3.0 (* x y))) x))>
5.364 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x y) (* (posit16->real (real->posit16 (* 3.0 (* x y)))) x))>
5.364 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x y) 3.0) x))>
5.364 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* 3.0 (* x y)) x) 1))>
5.364 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* 3.0 (* x y)) x) 1))>
5.364 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* 3.0 (* x y)) x) 1))>
5.364 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* 3.0 (* x y)) x) 1))>
5.364 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log 3.0) (+ (log x) (log y))) (log x))))>
5.364 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log 3.0) (log (* x y))) (log x))))>
5.364 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* 3.0 (* x y))) (log x))))>
5.364 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* x x) x))))>
5.364 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (* x x) x))))>
5.364 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (* (* x x) x))))>
5.364 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* 3.0 (* x y)) x)) (cbrt (* (* 3.0 (* x y)) x))) (cbrt (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* 3.0 (* x y)) x) (* (* 3.0 (* x y)) x)) (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* 3.0 (* x y)) x)) (sqrt (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* 3.0 (* x y)) x)))>
5.364 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* 3.0 (* x y)) (* (cbrt x) (cbrt x))) (cbrt x)))>
5.364 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* 3.0 (* x y)) (sqrt x)) (sqrt x)))>
5.364 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* 3.0 (* x y)) 1) x))>
5.364 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (* x y) x)))>
5.364 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* 3.0 (* x y)) x))))>
5.364 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x y) (* x (* 3.0 (* x y))))>
5.364 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
5.364 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
5.364 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
5.364 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
5.364 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
5.365 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
5.365 * [simplify]: Simplifying:
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (+ (log 3.0) (+ (log x) (log y)))
  (+ (log 3.0) (log (* x y)))
  (log (* 3.0 (* x y)))
  (exp (* 3.0 (* x y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y))))
  (cbrt (* 3.0 (* x y)))
  (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y)))
  (sqrt (* 3.0 (* x y)))
  (sqrt (* 3.0 (* x y)))
  (* 3.0 x)
  (* (cbrt 3.0) (* x y))
  (* (sqrt 3.0) (* x y))
  (* 3.0 (* x y))
  (real->posit16 (* 3.0 (* x y)))
  (* (* 3.0 (* x y)) x)
  (* (* 3.0 (* x y)) x)
  (* (* 3.0 (* x y)) x)
  (+ (+ (log 3.0) (+ (log x) (log y))) (log x))
  (+ (+ (log 3.0) (log (* x y))) (log x))
  (+ (log (* 3.0 (* x y))) (log x))
  (log (* (* 3.0 (* x y)) x))
  (exp (* (* 3.0 (* x y)) x))
  (* (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* x x) x))
  (* (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (* x x) x))
  (* (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (* (* x x) x))
  (* (cbrt (* (* 3.0 (* x y)) x)) (cbrt (* (* 3.0 (* x y)) x)))
  (cbrt (* (* 3.0 (* x y)) x))
  (* (* (* (* 3.0 (* x y)) x) (* (* 3.0 (* x y)) x)) (* (* 3.0 (* x y)) x))
  (sqrt (* (* 3.0 (* x y)) x))
  (sqrt (* (* 3.0 (* x y)) x))
  (* (* 3.0 (* x y)) (* (cbrt x) (cbrt x)))
  (* (* 3.0 (* x y)) (sqrt x))
  (* (* 3.0 (* x y)) 1)
  (* (* x y) x)
  (real->posit16 (* (* 3.0 (* x y)) x))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
5.365 * * [simplify]: iteration 0: 63 enodes
5.379 * * [simplify]: iteration 1: 173 enodes
5.440 * * [simplify]: iteration 2: 645 enodes
6.182 * * [simplify]: iteration 3: 3257 enodes
7.705 * * [simplify]: iteration complete: 5000 enodes
7.706 * * [simplify]: Extracting #0: cost 22 inf + 0
7.707 * * [simplify]: Extracting #1: cost 577 inf + 0
7.716 * * [simplify]: Extracting #2: cost 1562 inf + 7228
7.734 * * [simplify]: Extracting #3: cost 1064 inf + 78188
7.779 * * [simplify]: Extracting #4: cost 191 inf + 216479
7.832 * * [simplify]: Extracting #5: cost 7 inf + 251081
7.895 * * [simplify]: Extracting #6: cost 0 inf + 252997
7.947 * [simplify]: Simplified to:
  (* x (* 3.0 y))
  (* x (* 3.0 y))
  (log (* x (* 3.0 y)))
  (log (* x (* 3.0 y)))
  (log (* x (* 3.0 y)))
  (exp (* x (* 3.0 y)))
  (* (* x (* 3.0 y)) (* (* x (* 3.0 y)) (* x (* 3.0 y))))
  (* (* x (* 3.0 y)) (* (* x (* 3.0 y)) (* x (* 3.0 y))))
  (* (cbrt (* x (* 3.0 y))) (cbrt (* x (* 3.0 y))))
  (cbrt (* x (* 3.0 y)))
  (* (* x (* 3.0 y)) (* (* x (* 3.0 y)) (* x (* 3.0 y))))
  (sqrt (* x (* 3.0 y)))
  (sqrt (* x (* 3.0 y)))
  (* 3.0 x)
  (* y (* (cbrt 3.0) x))
  (* (* x (sqrt 3.0)) y)
  (* x (* 3.0 y))
  (real->posit16 (* x (* 3.0 y)))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (log (* (* x x) (* 3.0 y)))
  (exp (* (* x x) (* 3.0 y)))
  (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* x (* x (* 3.0 y))))
  (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* x (* x (* 3.0 y))))
  (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* x (* x (* 3.0 y))))
  (* (cbrt (* (* x x) (* 3.0 y))) (cbrt (* (* x x) (* 3.0 y))))
  (cbrt (* (* x x) (* 3.0 y)))
  (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* x (* x (* 3.0 y))))
  (sqrt (* (* x x) (* 3.0 y)))
  (sqrt (* (* x x) (* 3.0 y)))
  (* (* (* (cbrt x) (* (cbrt x) 3.0)) x) y)
  (* (sqrt x) (* x (* 3.0 y)))
  (* x (* 3.0 y))
  (* y (* x x))
  (real->posit16 (* (* x x) (* 3.0 y)))
  (* x (* 3.0 y))
  (* x (* 3.0 y))
  (* x (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
  (* (* x x) (* 3.0 y))
7.948 * * * [progress]: adding candidates to table
8.042 * * [progress]: iteration 4 / 4
8.042 * * * [progress]: picking best candidate
8.056 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (* 3.0 y)) x))>
8.056 * * * [progress]: localizing error
8.065 * * * [progress]: generating rewritten candidates
8.065 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
8.081 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.138 * * * [progress]: generating series expansions
8.138 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
8.139 * [backup-simplify]: Simplify (* x (* 3.0 y)) into (* 3.0 (* x y))
8.139 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
8.139 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
8.139 * [taylor]: Taking taylor expansion of 3.0 in y
8.139 * [backup-simplify]: Simplify 3.0 into 3.0
8.139 * [taylor]: Taking taylor expansion of (* x y) in y
8.139 * [taylor]: Taking taylor expansion of x in y
8.139 * [backup-simplify]: Simplify x into x
8.139 * [taylor]: Taking taylor expansion of y in y
8.139 * [backup-simplify]: Simplify 0 into 0
8.139 * [backup-simplify]: Simplify 1 into 1
8.139 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
8.139 * [taylor]: Taking taylor expansion of 3.0 in x
8.139 * [backup-simplify]: Simplify 3.0 into 3.0
8.139 * [taylor]: Taking taylor expansion of (* x y) in x
8.139 * [taylor]: Taking taylor expansion of x in x
8.139 * [backup-simplify]: Simplify 0 into 0
8.139 * [backup-simplify]: Simplify 1 into 1
8.139 * [taylor]: Taking taylor expansion of y in x
8.139 * [backup-simplify]: Simplify y into y
8.139 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
8.139 * [taylor]: Taking taylor expansion of 3.0 in x
8.139 * [backup-simplify]: Simplify 3.0 into 3.0
8.139 * [taylor]: Taking taylor expansion of (* x y) in x
8.139 * [taylor]: Taking taylor expansion of x in x
8.139 * [backup-simplify]: Simplify 0 into 0
8.139 * [backup-simplify]: Simplify 1 into 1
8.139 * [taylor]: Taking taylor expansion of y in x
8.139 * [backup-simplify]: Simplify y into y
8.139 * [backup-simplify]: Simplify (* 0 y) into 0
8.140 * [backup-simplify]: Simplify (* 3.0 0) into 0
8.140 * [taylor]: Taking taylor expansion of 0 in y
8.140 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.140 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y)
8.140 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
8.140 * [taylor]: Taking taylor expansion of 3.0 in y
8.140 * [backup-simplify]: Simplify 3.0 into 3.0
8.140 * [taylor]: Taking taylor expansion of y in y
8.140 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify 1 into 1
8.141 * [backup-simplify]: Simplify (* 3.0 0) into 0
8.141 * [backup-simplify]: Simplify 0 into 0
8.141 * [backup-simplify]: Simplify 0 into 0
8.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.142 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0
8.142 * [taylor]: Taking taylor expansion of 0 in y
8.142 * [backup-simplify]: Simplify 0 into 0
8.142 * [backup-simplify]: Simplify 0 into 0
8.143 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
8.143 * [backup-simplify]: Simplify 3.0 into 3.0
8.143 * [backup-simplify]: Simplify 0 into 0
8.144 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.145 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
8.145 * [taylor]: Taking taylor expansion of 0 in y
8.145 * [backup-simplify]: Simplify 0 into 0
8.145 * [backup-simplify]: Simplify 0 into 0
8.145 * [backup-simplify]: Simplify 0 into 0
8.146 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
8.146 * [backup-simplify]: Simplify 0 into 0
8.146 * [backup-simplify]: Simplify 0 into 0
8.147 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
8.149 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
8.149 * [taylor]: Taking taylor expansion of 0 in y
8.149 * [backup-simplify]: Simplify 0 into 0
8.149 * [backup-simplify]: Simplify 0 into 0
8.149 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y))
8.149 * [backup-simplify]: Simplify (* (/ 1 x) (* 3.0 (/ 1 y))) into (/ 3.0 (* x y))
8.149 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
8.149 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
8.149 * [taylor]: Taking taylor expansion of 3.0 in y
8.149 * [backup-simplify]: Simplify 3.0 into 3.0
8.149 * [taylor]: Taking taylor expansion of (* x y) in y
8.149 * [taylor]: Taking taylor expansion of x in y
8.149 * [backup-simplify]: Simplify x into x
8.149 * [taylor]: Taking taylor expansion of y in y
8.149 * [backup-simplify]: Simplify 0 into 0
8.149 * [backup-simplify]: Simplify 1 into 1
8.149 * [backup-simplify]: Simplify (* x 0) into 0
8.150 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
8.150 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
8.150 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
8.150 * [taylor]: Taking taylor expansion of 3.0 in x
8.150 * [backup-simplify]: Simplify 3.0 into 3.0
8.150 * [taylor]: Taking taylor expansion of (* x y) in x
8.150 * [taylor]: Taking taylor expansion of x in x
8.150 * [backup-simplify]: Simplify 0 into 0
8.150 * [backup-simplify]: Simplify 1 into 1
8.150 * [taylor]: Taking taylor expansion of y in x
8.150 * [backup-simplify]: Simplify y into y
8.150 * [backup-simplify]: Simplify (* 0 y) into 0
8.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.151 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.151 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
8.151 * [taylor]: Taking taylor expansion of 3.0 in x
8.151 * [backup-simplify]: Simplify 3.0 into 3.0
8.151 * [taylor]: Taking taylor expansion of (* x y) in x
8.151 * [taylor]: Taking taylor expansion of x in x
8.151 * [backup-simplify]: Simplify 0 into 0
8.151 * [backup-simplify]: Simplify 1 into 1
8.151 * [taylor]: Taking taylor expansion of y in x
8.151 * [backup-simplify]: Simplify y into y
8.151 * [backup-simplify]: Simplify (* 0 y) into 0
8.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.151 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.152 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
8.152 * [taylor]: Taking taylor expansion of 3.0 in y
8.152 * [backup-simplify]: Simplify 3.0 into 3.0
8.152 * [taylor]: Taking taylor expansion of y in y
8.152 * [backup-simplify]: Simplify 0 into 0
8.152 * [backup-simplify]: Simplify 1 into 1
8.152 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.152 * [backup-simplify]: Simplify 3.0 into 3.0
8.153 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.153 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
8.153 * [taylor]: Taking taylor expansion of 0 in y
8.153 * [backup-simplify]: Simplify 0 into 0
8.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.154 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.156 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.156 * [taylor]: Taking taylor expansion of 0 in y
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
8.159 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.159 * [taylor]: Taking taylor expansion of 0 in y
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y))
8.160 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 3.0 (/ 1 (- y)))) into (/ 3.0 (* x y))
8.160 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
8.160 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
8.160 * [taylor]: Taking taylor expansion of 3.0 in y
8.161 * [backup-simplify]: Simplify 3.0 into 3.0
8.161 * [taylor]: Taking taylor expansion of (* x y) in y
8.161 * [taylor]: Taking taylor expansion of x in y
8.161 * [backup-simplify]: Simplify x into x
8.161 * [taylor]: Taking taylor expansion of y in y
8.161 * [backup-simplify]: Simplify 0 into 0
8.161 * [backup-simplify]: Simplify 1 into 1
8.161 * [backup-simplify]: Simplify (* x 0) into 0
8.161 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
8.161 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
8.161 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
8.161 * [taylor]: Taking taylor expansion of 3.0 in x
8.161 * [backup-simplify]: Simplify 3.0 into 3.0
8.161 * [taylor]: Taking taylor expansion of (* x y) in x
8.161 * [taylor]: Taking taylor expansion of x in x
8.161 * [backup-simplify]: Simplify 0 into 0
8.161 * [backup-simplify]: Simplify 1 into 1
8.161 * [taylor]: Taking taylor expansion of y in x
8.161 * [backup-simplify]: Simplify y into y
8.162 * [backup-simplify]: Simplify (* 0 y) into 0
8.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.162 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.162 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
8.162 * [taylor]: Taking taylor expansion of 3.0 in x
8.162 * [backup-simplify]: Simplify 3.0 into 3.0
8.162 * [taylor]: Taking taylor expansion of (* x y) in x
8.162 * [taylor]: Taking taylor expansion of x in x
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 1 into 1
8.162 * [taylor]: Taking taylor expansion of y in x
8.162 * [backup-simplify]: Simplify y into y
8.162 * [backup-simplify]: Simplify (* 0 y) into 0
8.163 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.163 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.163 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
8.163 * [taylor]: Taking taylor expansion of 3.0 in y
8.163 * [backup-simplify]: Simplify 3.0 into 3.0
8.163 * [taylor]: Taking taylor expansion of y in y
8.163 * [backup-simplify]: Simplify 0 into 0
8.163 * [backup-simplify]: Simplify 1 into 1
8.164 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.164 * [backup-simplify]: Simplify 3.0 into 3.0
8.164 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.165 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
8.165 * [taylor]: Taking taylor expansion of 0 in y
8.165 * [backup-simplify]: Simplify 0 into 0
8.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.166 * [backup-simplify]: Simplify 0 into 0
8.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.167 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.167 * [taylor]: Taking taylor expansion of 0 in y
8.167 * [backup-simplify]: Simplify 0 into 0
8.167 * [backup-simplify]: Simplify 0 into 0
8.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.168 * [backup-simplify]: Simplify 0 into 0
8.170 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
8.170 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.170 * [taylor]: Taking taylor expansion of 0 in y
8.170 * [backup-simplify]: Simplify 0 into 0
8.170 * [backup-simplify]: Simplify 0 into 0
8.170 * [backup-simplify]: Simplify 0 into 0
8.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.171 * [backup-simplify]: Simplify 0 into 0
8.172 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y))
8.172 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.172 * [backup-simplify]: Simplify (* (* x (* 3.0 y)) x) into (* 3.0 (* (pow x 2) y))
8.172 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0
8.172 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y
8.172 * [taylor]: Taking taylor expansion of 3.0 in y
8.172 * [backup-simplify]: Simplify 3.0 into 3.0
8.172 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
8.172 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.172 * [taylor]: Taking taylor expansion of x in y
8.172 * [backup-simplify]: Simplify x into x
8.172 * [taylor]: Taking taylor expansion of y in y
8.172 * [backup-simplify]: Simplify 0 into 0
8.172 * [backup-simplify]: Simplify 1 into 1
8.172 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
8.172 * [taylor]: Taking taylor expansion of 3.0 in x
8.172 * [backup-simplify]: Simplify 3.0 into 3.0
8.172 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.172 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.172 * [taylor]: Taking taylor expansion of x in x
8.172 * [backup-simplify]: Simplify 0 into 0
8.172 * [backup-simplify]: Simplify 1 into 1
8.172 * [taylor]: Taking taylor expansion of y in x
8.172 * [backup-simplify]: Simplify y into y
8.173 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x
8.173 * [taylor]: Taking taylor expansion of 3.0 in x
8.173 * [backup-simplify]: Simplify 3.0 into 3.0
8.173 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.173 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.173 * [taylor]: Taking taylor expansion of x in x
8.173 * [backup-simplify]: Simplify 0 into 0
8.173 * [backup-simplify]: Simplify 1 into 1
8.173 * [taylor]: Taking taylor expansion of y in x
8.173 * [backup-simplify]: Simplify y into y
8.173 * [backup-simplify]: Simplify (* 1 1) into 1
8.173 * [backup-simplify]: Simplify (* 1 y) into y
8.173 * [backup-simplify]: Simplify (* 3.0 y) into (* 3.0 y)
8.173 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
8.173 * [taylor]: Taking taylor expansion of 3.0 in y
8.173 * [backup-simplify]: Simplify 3.0 into 3.0
8.174 * [taylor]: Taking taylor expansion of y in y
8.174 * [backup-simplify]: Simplify 0 into 0
8.174 * [backup-simplify]: Simplify 1 into 1
8.174 * [backup-simplify]: Simplify (* 3.0 0) into 0
8.174 * [backup-simplify]: Simplify 0 into 0
8.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
8.176 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 y)) into 0
8.176 * [taylor]: Taking taylor expansion of 0 in y
8.176 * [backup-simplify]: Simplify 0 into 0
8.176 * [backup-simplify]: Simplify 0 into 0
8.177 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
8.177 * [backup-simplify]: Simplify 3.0 into 3.0
8.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
8.180 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 y))) into 0
8.180 * [taylor]: Taking taylor expansion of 0 in y
8.180 * [backup-simplify]: Simplify 0 into 0
8.180 * [backup-simplify]: Simplify 0 into 0
8.180 * [backup-simplify]: Simplify 0 into 0
8.181 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
8.181 * [backup-simplify]: Simplify 0 into 0
8.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.185 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.185 * [taylor]: Taking taylor expansion of 0 in y
8.185 * [backup-simplify]: Simplify 0 into 0
8.185 * [backup-simplify]: Simplify 0 into 0
8.185 * [backup-simplify]: Simplify 0 into 0
8.185 * [backup-simplify]: Simplify 0 into 0
8.185 * [backup-simplify]: Simplify (* 3.0 (* y (pow x 2))) into (* 3.0 (* (pow x 2) y))
8.185 * [backup-simplify]: Simplify (* (* (/ 1 x) (* 3.0 (/ 1 y))) (/ 1 x)) into (/ 3.0 (* (pow x 2) y))
8.186 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0
8.186 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y
8.186 * [taylor]: Taking taylor expansion of 3.0 in y
8.186 * [backup-simplify]: Simplify 3.0 into 3.0
8.186 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
8.186 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.186 * [taylor]: Taking taylor expansion of x in y
8.186 * [backup-simplify]: Simplify x into x
8.186 * [taylor]: Taking taylor expansion of y in y
8.186 * [backup-simplify]: Simplify 0 into 0
8.186 * [backup-simplify]: Simplify 1 into 1
8.186 * [backup-simplify]: Simplify (* x x) into (pow x 2)
8.186 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
8.186 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
8.187 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
8.187 * [backup-simplify]: Simplify (/ 3.0 (pow x 2)) into (/ 3.0 (pow x 2))
8.187 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
8.187 * [taylor]: Taking taylor expansion of 3.0 in x
8.187 * [backup-simplify]: Simplify 3.0 into 3.0
8.187 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.187 * [taylor]: Taking taylor expansion of x in x
8.187 * [backup-simplify]: Simplify 0 into 0
8.187 * [backup-simplify]: Simplify 1 into 1
8.187 * [taylor]: Taking taylor expansion of y in x
8.187 * [backup-simplify]: Simplify y into y
8.187 * [backup-simplify]: Simplify (* 1 1) into 1
8.187 * [backup-simplify]: Simplify (* 1 y) into y
8.188 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.188 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x
8.188 * [taylor]: Taking taylor expansion of 3.0 in x
8.188 * [backup-simplify]: Simplify 3.0 into 3.0
8.188 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.188 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.188 * [taylor]: Taking taylor expansion of x in x
8.188 * [backup-simplify]: Simplify 0 into 0
8.188 * [backup-simplify]: Simplify 1 into 1
8.188 * [taylor]: Taking taylor expansion of y in x
8.188 * [backup-simplify]: Simplify y into y
8.188 * [backup-simplify]: Simplify (* 1 1) into 1
8.188 * [backup-simplify]: Simplify (* 1 y) into y
8.188 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
8.188 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
8.188 * [taylor]: Taking taylor expansion of 3.0 in y
8.188 * [backup-simplify]: Simplify 3.0 into 3.0
8.189 * [taylor]: Taking taylor expansion of y in y
8.189 * [backup-simplify]: Simplify 0 into 0
8.189 * [backup-simplify]: Simplify 1 into 1
8.189 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.189 * [backup-simplify]: Simplify 3.0 into 3.0
8.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
8.190 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
8.190 * [taylor]: Taking taylor expansion of 0 in y
8.190 * [backup-simplify]: Simplify 0 into 0
8.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.191 * [backup-simplify]: Simplify 0 into 0
8.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
8.193 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.193 * [taylor]: Taking taylor expansion of 0 in y
8.193 * [backup-simplify]: Simplify 0 into 0
8.193 * [backup-simplify]: Simplify 0 into 0
8.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.195 * [backup-simplify]: Simplify 0 into 0
8.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.200 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.200 * [taylor]: Taking taylor expansion of 0 in y
8.200 * [backup-simplify]: Simplify 0 into 0
8.200 * [backup-simplify]: Simplify 0 into 0
8.200 * [backup-simplify]: Simplify 0 into 0
8.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.201 * [backup-simplify]: Simplify 0 into 0
8.202 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2))) into (* 3.0 (* (pow x 2) y))
8.202 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (* 3.0 (/ 1 (- y)))) (/ 1 (- x))) into (/ -3.0 (* (pow x 2) y))
8.202 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0
8.202 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y
8.202 * [taylor]: Taking taylor expansion of -3.0 in y
8.202 * [backup-simplify]: Simplify -3.0 into -3.0
8.202 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
8.202 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.202 * [taylor]: Taking taylor expansion of x in y
8.202 * [backup-simplify]: Simplify x into x
8.202 * [taylor]: Taking taylor expansion of y in y
8.202 * [backup-simplify]: Simplify 0 into 0
8.202 * [backup-simplify]: Simplify 1 into 1
8.202 * [backup-simplify]: Simplify (* x x) into (pow x 2)
8.203 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
8.203 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
8.203 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
8.203 * [backup-simplify]: Simplify (/ -3.0 (pow x 2)) into (/ -3.0 (pow x 2))
8.203 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
8.203 * [taylor]: Taking taylor expansion of -3.0 in x
8.203 * [backup-simplify]: Simplify -3.0 into -3.0
8.203 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.203 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.203 * [taylor]: Taking taylor expansion of x in x
8.203 * [backup-simplify]: Simplify 0 into 0
8.203 * [backup-simplify]: Simplify 1 into 1
8.203 * [taylor]: Taking taylor expansion of y in x
8.203 * [backup-simplify]: Simplify y into y
8.204 * [backup-simplify]: Simplify (* 1 1) into 1
8.204 * [backup-simplify]: Simplify (* 1 y) into y
8.204 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
8.204 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x
8.204 * [taylor]: Taking taylor expansion of -3.0 in x
8.204 * [backup-simplify]: Simplify -3.0 into -3.0
8.204 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
8.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.204 * [taylor]: Taking taylor expansion of x in x
8.204 * [backup-simplify]: Simplify 0 into 0
8.204 * [backup-simplify]: Simplify 1 into 1
8.204 * [taylor]: Taking taylor expansion of y in x
8.204 * [backup-simplify]: Simplify y into y
8.204 * [backup-simplify]: Simplify (* 1 1) into 1
8.204 * [backup-simplify]: Simplify (* 1 y) into y
8.204 * [backup-simplify]: Simplify (/ -3.0 y) into (/ -3.0 y)
8.204 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y
8.204 * [taylor]: Taking taylor expansion of -3.0 in y
8.204 * [backup-simplify]: Simplify -3.0 into -3.0
8.204 * [taylor]: Taking taylor expansion of y in y
8.204 * [backup-simplify]: Simplify 0 into 0
8.204 * [backup-simplify]: Simplify 1 into 1
8.204 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
8.205 * [backup-simplify]: Simplify -3.0 into -3.0
8.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0
8.205 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)))) into 0
8.205 * [taylor]: Taking taylor expansion of 0 in y
8.205 * [backup-simplify]: Simplify 0 into 0
8.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
8.206 * [backup-simplify]: Simplify 0 into 0
8.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0
8.207 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.208 * [backup-simplify]: Simplify 0 into 0
8.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.209 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.209 * [taylor]: Taking taylor expansion of 0 in y
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.210 * [backup-simplify]: Simplify 0 into 0
8.210 * [backup-simplify]: Simplify (* -3.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2))) into (* 3.0 (* (pow x 2) y))
8.210 * * * [progress]: simplifying candidates
8.210 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* x (* 3.0 y)) 1) x))>
8.210 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* x (* 3.0 y)) 1) x))>
8.210 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x y) (* (pow (* x (* 3.0 y)) 1) x))>
8.210 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log x) (+ (log 3.0) (log y)))) x))>
8.210 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (+ (log x) (log (* 3.0 y)))) x))>
8.210 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x y) (* (exp (log (* x (* 3.0 y)))) x))>
8.210 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x y) (* (log (exp (* x (* 3.0 y)))) x))>
8.210 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* y y) y)))) x))>
8.211 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* x x) x) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)))) x))>
8.211 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt (* x (* 3.0 y))) (cbrt (* x (* 3.0 y)))) (cbrt (* x (* 3.0 y)))) x))>
8.211 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x y) (* (cbrt (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y)))) x))>
8.211 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (* x (* 3.0 y))) (sqrt (* x (* 3.0 y)))) x))>
8.211 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* x (* 3.0 y))) x))>
8.211 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 3.0) y) x))>
8.211 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 3.0 y))) x))>
8.211 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt x) (* (sqrt x) (* 3.0 y))) x))>
8.211 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 1 (* x (* 3.0 y))) x))>
8.211 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x y) (* (posit16->real (real->posit16 (* x (* 3.0 y)))) x))>
8.211 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* 3.0 y) x) x))>
8.211 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x (* 3.0 y)) x) 1))>
8.211 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x (* 3.0 y)) x) 1))>
8.211 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x (* 3.0 y)) x) 1))>
8.211 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x (* 3.0 y)) x) 1))>
8.211 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log x) (+ (log 3.0) (log y))) (log x))))>
8.211 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log x) (log (* 3.0 y))) (log x))))>
8.211 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* x (* 3.0 y))) (log x))))>
8.211 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* x (* 3.0 y)) x))))>
8.211 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* x (* 3.0 y)) x))))>
8.211 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* y y) y))) (* (* x x) x))))>
8.211 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x x) x) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y))) (* (* x x) x))))>
8.211 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y))) (* (* x x) x))))>
8.211 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* x (* 3.0 y)) x)) (cbrt (* (* x (* 3.0 y)) x))) (cbrt (* (* x (* 3.0 y)) x))))>
8.211 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* (* x (* 3.0 y)) x))))>
8.211 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* x (* 3.0 y)) x)) (sqrt (* (* x (* 3.0 y)) x))))>
8.212 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* x (* 3.0 y)) x)))>
8.212 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x (* 3.0 y)) (* (cbrt x) (cbrt x))) (cbrt x)))>
8.212 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x (* 3.0 y)) (sqrt x)) (sqrt x)))>
8.212 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* (* x (* 3.0 y)) 1) x))>
8.212 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x y) (* x (* (* 3.0 y) x)))>
8.212 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* x (* 3.0 y)) x))))>
8.212 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x y) (* x (* x (* 3.0 y))))>
8.212 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
8.212 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
8.212 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x y) (* (* 3.0 (* x y)) x))>
8.212 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
8.212 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
8.212 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x y) (* 3.0 (* (pow x 2) y)))>
8.212 * [simplify]: Simplifying:
  (* x (* 3.0 y))
  (* x (* 3.0 y))
  (+ (log x) (+ (log 3.0) (log y)))
  (+ (log x) (log (* 3.0 y)))
  (log (* x (* 3.0 y)))
  (exp (* x (* 3.0 y)))
  (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* y y) y)))
  (* (* (* x x) x) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)))
  (* (cbrt (* x (* 3.0 y))) (cbrt (* x (* 3.0 y))))
  (cbrt (* x (* 3.0 y)))
  (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y)))
  (sqrt (* x (* 3.0 y)))
  (sqrt (* x (* 3.0 y)))
  (* x 3.0)
  (* (cbrt x) (* 3.0 y))
  (* (sqrt x) (* 3.0 y))
  (* x (* 3.0 y))
  (real->posit16 (* x (* 3.0 y)))
  (* (* x (* 3.0 y)) x)
  (* (* x (* 3.0 y)) x)
  (* (* x (* 3.0 y)) x)
  (+ (+ (log x) (+ (log 3.0) (log y))) (log x))
  (+ (+ (log x) (log (* 3.0 y))) (log x))
  (+ (log (* x (* 3.0 y))) (log x))
  (log (* (* x (* 3.0 y)) x))
  (exp (* (* x (* 3.0 y)) x))
  (* (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* y y) y))) (* (* x x) x))
  (* (* (* (* x x) x) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y))) (* (* x x) x))
  (* (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y))) (* (* x x) x))
  (* (cbrt (* (* x (* 3.0 y)) x)) (cbrt (* (* x (* 3.0 y)) x)))
  (cbrt (* (* x (* 3.0 y)) x))
  (* (* (* (* x (* 3.0 y)) x) (* (* x (* 3.0 y)) x)) (* (* x (* 3.0 y)) x))
  (sqrt (* (* x (* 3.0 y)) x))
  (sqrt (* (* x (* 3.0 y)) x))
  (* (* x (* 3.0 y)) (* (cbrt x) (cbrt x)))
  (* (* x (* 3.0 y)) (sqrt x))
  (* (* x (* 3.0 y)) 1)
  (* (* 3.0 y) x)
  (real->posit16 (* (* x (* 3.0 y)) x))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
  (* 3.0 (* (pow x 2) y))
8.213 * * [simplify]: iteration 0: 63 enodes
8.227 * * [simplify]: iteration 1: 165 enodes
8.319 * * [simplify]: iteration 2: 613 enodes
9.222 * * [simplify]: iteration 3: 3489 enodes
11.004 * * [simplify]: iteration complete: 5001 enodes
11.004 * * [simplify]: Extracting #0: cost 21 inf + 0
11.005 * * [simplify]: Extracting #1: cost 601 inf + 0
11.010 * * [simplify]: Extracting #2: cost 1544 inf + 6236
11.027 * * [simplify]: Extracting #3: cost 1100 inf + 89609
11.094 * * [simplify]: Extracting #4: cost 119 inf + 238900
11.153 * * [simplify]: Extracting #5: cost 6 inf + 255672
11.223 * * [simplify]: Extracting #6: cost 0 inf + 257092
11.293 * * [simplify]: Extracting #7: cost 0 inf + 257052
11.344 * [simplify]: Simplified to:
  (* x (* y 3.0))
  (* x (* y 3.0))
  (log (* x (* y 3.0)))
  (log (* x (* y 3.0)))
  (log (* x (* y 3.0)))
  (exp (* x (* y 3.0)))
  (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0)))
  (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0)))
  (* (cbrt (* x (* y 3.0))) (cbrt (* x (* y 3.0))))
  (cbrt (* x (* y 3.0)))
  (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0)))
  (sqrt (* x (* y 3.0)))
  (sqrt (* x (* y 3.0)))
  (* x 3.0)
  (* (* y (cbrt x)) 3.0)
  (* (* 3.0 y) (sqrt x))
  (* x (* y 3.0))
  (real->posit16 (* x (* y 3.0)))
  (* (* x 3.0) (* y x))
  (* (* x 3.0) (* y x))
  (* (* x 3.0) (* y x))
  (log (* (* x 3.0) (* y x)))
  (log (* (* x 3.0) (* y x)))
  (log (* (* x 3.0) (* y x)))
  (log (* (* x 3.0) (* y x)))
  (exp (* (* x 3.0) (* y x)))
  (* (* (* (* x 3.0) (* y x)) (* (* x 3.0) (* y x))) (* (* x 3.0) (* y x)))
  (* (* (* (* x 3.0) (* y x)) (* (* x 3.0) (* y x))) (* (* x 3.0) (* y x)))
  (* (* (* (* x 3.0) (* y x)) (* (* x 3.0) (* y x))) (* (* x 3.0) (* y x)))
  (* (cbrt (* (* x 3.0) (* y x))) (cbrt (* (* x 3.0) (* y x))))
  (cbrt (* (* x 3.0) (* y x)))
  (* (* (* (* x 3.0) (* y x)) (* (* x 3.0) (* y x))) (* (* x 3.0) (* y x)))
  (sqrt (* (* x 3.0) (* y x)))
  (sqrt (* (* x 3.0) (* y x)))
  (* (cbrt x) (* (cbrt x) (* x (* y 3.0))))
  (* (* x (sqrt x)) (* y 3.0))
  (* x (* y 3.0))
  (* x (* y 3.0))
  (real->posit16 (* (* x 3.0) (* y x)))
  (* x (* y 3.0))
  (* x (* y 3.0))
  (* x (* y 3.0))
  (* (* x 3.0) (* y x))
  (* (* x 3.0) (* y x))
  (* (* x 3.0) (* y x))
11.345 * * * [progress]: adding candidates to table
11.485 * [progress]: [Phase 3 of 3] Extracting.
11.485 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sqrt (* (* x (* 3.0 y)) x)) (sqrt (* (* x (* 3.0 y)) x))))> #<alt (λ (x y) (* (cbrt (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y)))) x))> #<alt (λ (x y) (* 3.0 (* (* x y) x)))> #<alt (λ (x y) (* (* x (* 3.0 y)) x))> #<alt (λ (x y) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) x))> #<alt (λ (x y) (cbrt (* (* (* (* y (* x 3.0)) x) (* (* y (* x 3.0)) x)) (* (* y (* x 3.0)) x))))> #<alt (λ (x y) (* (* x 3.0) (* x y)))>)
11.486 * * * [regime-changes]: Trying 2 branch expressions: (y x)
11.486 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sqrt (* (* x (* 3.0 y)) x)) (sqrt (* (* x (* 3.0 y)) x))))> #<alt (λ (x y) (* (cbrt (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y)))) x))> #<alt (λ (x y) (* 3.0 (* (* x y) x)))> #<alt (λ (x y) (* (* x (* 3.0 y)) x))> #<alt (λ (x y) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) x))> #<alt (λ (x y) (cbrt (* (* (* (* y (* x 3.0)) x) (* (* y (* x 3.0)) x)) (* (* y (* x 3.0)) x))))> #<alt (λ (x y) (* (* x 3.0) (* x y)))>)
11.517 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sqrt (* (* x (* 3.0 y)) x)) (sqrt (* (* x (* 3.0 y)) x))))> #<alt (λ (x y) (* (cbrt (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y)))) x))> #<alt (λ (x y) (* 3.0 (* (* x y) x)))> #<alt (λ (x y) (* (* x (* 3.0 y)) x))> #<alt (λ (x y) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) x))> #<alt (λ (x y) (cbrt (* (* (* (* y (* x 3.0)) x) (* (* y (* x 3.0)) x)) (* (* y (* x 3.0)) x))))> #<alt (λ (x y) (* (* x 3.0) (* x y)))>)
11.549 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
11.549 * [simplify]: Simplifying:
  (* (* x (* 3.0 y)) x)
11.549 * * [simplify]: iteration 0: 6 enodes
11.549 * * [simplify]: iteration 1: 9 enodes
11.550 * * [simplify]: iteration complete: 9 enodes
11.550 * * [simplify]: Extracting #0: cost 1 inf + 0
11.550 * * [simplify]: Extracting #1: cost 3 inf + 0
11.550 * * [simplify]: Extracting #2: cost 3 inf + 1
11.550 * * [simplify]: Extracting #3: cost 5 inf + 1
11.550 * * [simplify]: Extracting #4: cost 0 inf + 251
11.550 * [simplify]: Simplified to:
  (* (* (* y 3.0) x) x)
13.016 * [regime-testing]: Baseline error score: 0.2898411182919865
13.018 * [regime-testing]: Oracle error score: 0.02712839104888111
13.023 * [regime-testing]: End program error score: 0.2898411182919865
13.063 * [regime-testing]: Target error score: 0.24008677803682787