0.068 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying:
  (/ (- x y) (* (* x 2.0) y))
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: Extracting # 3 : cost  0
0.041 * * [simplify]: Extracting # 4 : cost  0
0.041 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  1 :  18  enodes  (cost  9 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: iteration  2 :  47  enodes  (cost  9 )
0.070 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.071 * * [simplify]: Extracting # 2 : cost  0
0.071 * * [simplify]: Extracting # 3 : cost  0
0.071 * * [simplify]: iteration  3 :  102  enodes  (cost  9 )
0.095 * * [simplify]: Extracting # 0 : cost  0
0.095 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.096 * * [simplify]: iteration  4 :  150  enodes  (cost  9 )
0.126 * * [simplify]: Extracting # 0 : cost  0
0.134 * * [simplify]: Extracting # 1 : cost  0
0.135 * * [simplify]: Extracting # 2 : cost  0
0.135 * * [simplify]: iteration  5 :  168  enodes  (cost  9 )
0.182 * * [simplify]: Extracting # 0 : cost  0
0.182 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: Extracting # 2 : cost  0
0.183 * * [simplify]: iteration  6 :  181  enodes  (cost  9 )
0.236 * * [simplify]: Extracting # 0 : cost  0
0.236 * * [simplify]: Extracting # 1 : cost  0
0.237 * * [simplify]: Extracting # 2 : cost  0
0.237 * * [simplify]: iteration  7 :  185  enodes  (cost  9 )
0.290 * * [simplify]: Extracting # 0 : cost  0
0.290 * * [simplify]: Extracting # 1 : cost  0
0.290 * * [simplify]: iteration done:  185  enodes  (cost  9 )
0.290 * [simplify]: Simplified to:
  (/ (- x y) (* (* x 2.0) y))
0.290 * * [progress]: iteration 1 / 4
0.290 * * * [progress]: picking best candidate
0.292 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- x y) (* (* x 2.0) y)))>
0.292 * * * [progress]: localizing error
0.299 * * * [progress]: generating rewritten candidates
0.299 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.347 * * * [progress]: generating series expansions
0.347 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.347 * [backup-simplify]: Simplify (/ (- x y) (* (* x 2.0) y)) into (* 0.5 (/ (- x y) (* x y)))
0.347 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
0.347 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
0.347 * [taylor]: Taking taylor expansion of 0.5 in y
0.347 * [backup-simplify]: Simplify 0.5 into 0.5
0.347 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
0.347 * [taylor]: Taking taylor expansion of (- x y) in y
0.347 * [taylor]: Taking taylor expansion of x in y
0.347 * [backup-simplify]: Simplify x into x
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 1 into 1
0.347 * [taylor]: Taking taylor expansion of (* x y) in y
0.347 * [taylor]: Taking taylor expansion of x in y
0.347 * [backup-simplify]: Simplify x into x
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 1 into 1
0.348 * [backup-simplify]: Simplify (- 0) into 0
0.348 * [backup-simplify]: Simplify (+ x 0) into x
0.348 * [backup-simplify]: Simplify (* x 0) into 0
0.348 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.348 * [backup-simplify]: Simplify (/ x x) into 1
0.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
0.348 * [taylor]: Taking taylor expansion of 0.5 in x
0.348 * [backup-simplify]: Simplify 0.5 into 0.5
0.348 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
0.348 * [taylor]: Taking taylor expansion of (- x y) in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 1 into 1
0.348 * [taylor]: Taking taylor expansion of y in x
0.348 * [backup-simplify]: Simplify y into y
0.348 * [taylor]: Taking taylor expansion of (* x y) in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 1 into 1
0.348 * [taylor]: Taking taylor expansion of y in x
0.348 * [backup-simplify]: Simplify y into y
0.348 * [backup-simplify]: Simplify (- y) into (- y)
0.348 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
0.348 * [backup-simplify]: Simplify (* 0 y) into 0
0.349 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.349 * [backup-simplify]: Simplify (/ (- y) y) into -1
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in x
0.349 * [backup-simplify]: Simplify 0.5 into 0.5
0.349 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
0.349 * [taylor]: Taking taylor expansion of (- x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [backup-simplify]: Simplify y into y
0.349 * [taylor]: Taking taylor expansion of (* x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [backup-simplify]: Simplify y into y
0.349 * [backup-simplify]: Simplify (- y) into (- y)
0.349 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
0.349 * [backup-simplify]: Simplify (* 0 y) into 0
0.349 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.349 * [backup-simplify]: Simplify (/ (- y) y) into -1
0.350 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
0.350 * [taylor]: Taking taylor expansion of -0.5 in y
0.350 * [backup-simplify]: Simplify -0.5 into -0.5
0.350 * [backup-simplify]: Simplify (- 0) into 0
0.350 * [backup-simplify]: Simplify (+ 1 0) into 1
0.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.351 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
0.351 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.352 * [backup-simplify]: Simplify 0.5 into 0.5
0.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 1 into 1
0.352 * [backup-simplify]: Simplify (/ 1 1) into 1
0.352 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.352 * [backup-simplify]: Simplify 0.5 into 0.5
0.352 * [backup-simplify]: Simplify -0.5 into -0.5
0.352 * [backup-simplify]: Simplify (- 0) into 0
0.353 * [backup-simplify]: Simplify (+ 0 0) into 0
0.353 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.353 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
0.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [backup-simplify]: Simplify 0 into 0
0.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.355 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
0.355 * [backup-simplify]: Simplify 0 into 0
0.355 * [backup-simplify]: Simplify 0 into 0
0.355 * [backup-simplify]: Simplify (- 0) into 0
0.356 * [backup-simplify]: Simplify (+ 0 0) into 0
0.356 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.357 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.357 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
0.357 * [taylor]: Taking taylor expansion of 0 in y
0.357 * [backup-simplify]: Simplify 0 into 0
0.357 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.362 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
0.362 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify (- 0) into 0
0.363 * [backup-simplify]: Simplify (+ 0 0) into 0
0.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.365 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.366 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
0.366 * [taylor]: Taking taylor expansion of 0 in y
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.366 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y)))
0.366 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in (x y) around 0
0.366 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in y
0.366 * [taylor]: Taking taylor expansion of 0.5 in y
0.366 * [backup-simplify]: Simplify 0.5 into 0.5
0.366 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in y
0.366 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.366 * [taylor]: Taking taylor expansion of x in y
0.366 * [backup-simplify]: Simplify x into x
0.366 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify (/ 1 1) into 1
0.367 * [taylor]: Taking taylor expansion of (* x y) in y
0.367 * [taylor]: Taking taylor expansion of x in y
0.367 * [backup-simplify]: Simplify x into x
0.367 * [taylor]: Taking taylor expansion of y in y
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
0.367 * [taylor]: Taking taylor expansion of 0.5 in x
0.367 * [backup-simplify]: Simplify 0.5 into 0.5
0.367 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
0.367 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify (/ 1 1) into 1
0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.367 * [taylor]: Taking taylor expansion of y in x
0.367 * [backup-simplify]: Simplify y into y
0.367 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.367 * [taylor]: Taking taylor expansion of (* x y) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [taylor]: Taking taylor expansion of y in x
0.367 * [backup-simplify]: Simplify y into y
0.367 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
0.367 * [taylor]: Taking taylor expansion of 0.5 in x
0.367 * [backup-simplify]: Simplify 0.5 into 0.5
0.367 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
0.367 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [backup-simplify]: Simplify 0 into 0
0.368 * [backup-simplify]: Simplify 1 into 1
0.368 * [backup-simplify]: Simplify (/ 1 1) into 1
0.368 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.368 * [taylor]: Taking taylor expansion of y in x
0.368 * [backup-simplify]: Simplify y into y
0.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.368 * [taylor]: Taking taylor expansion of (* x y) in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [backup-simplify]: Simplify 0 into 0
0.368 * [backup-simplify]: Simplify 1 into 1
0.368 * [taylor]: Taking taylor expansion of y in x
0.368 * [backup-simplify]: Simplify y into y
0.368 * [backup-simplify]: Simplify (+ 1 0) into 1
0.368 * [backup-simplify]: Simplify (* 0 y) into 0
0.369 * [backup-simplify]: Simplify (* 1 0) into 0
0.369 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [backup-simplify]: Simplify 0 into 0
0.369 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.370 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.370 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.370 * [backup-simplify]: Simplify (+ (* 1 y) (* (- (/ 1 y)) 0)) into y
0.370 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
0.370 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.370 * [taylor]: Taking taylor expansion of 0.5 in y
0.370 * [backup-simplify]: Simplify 0.5 into 0.5
0.370 * [taylor]: Taking taylor expansion of y in y
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 1 into 1
0.370 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.372 * [backup-simplify]: Simplify (- 0) into 0
0.372 * [backup-simplify]: Simplify (+ 0 0) into 0
0.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) y) (* 0 0))) into (- 1)
0.373 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
0.373 * [taylor]: Taking taylor expansion of (- 0.5) in y
0.373 * [taylor]: Taking taylor expansion of 0.5 in y
0.373 * [backup-simplify]: Simplify 0.5 into 0.5
0.374 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.374 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify 0 into 0
0.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.376 * [backup-simplify]: Simplify (- 0) into 0
0.377 * [backup-simplify]: Simplify (+ 0 0) into 0
0.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 y) (* 0 0)))) into 0
0.379 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [backup-simplify]: Simplify 0 into 0
0.379 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.380 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.381 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.381 * [backup-simplify]: Simplify 0.5 into 0.5
0.381 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.384 * [backup-simplify]: Simplify (- 0) into 0
0.384 * [backup-simplify]: Simplify (+ 0 0) into 0
0.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.387 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
0.387 * [taylor]: Taking taylor expansion of 0 in y
0.387 * [backup-simplify]: Simplify 0 into 0
0.387 * [backup-simplify]: Simplify 0 into 0
0.388 * [backup-simplify]: Simplify (- 0) into 0
0.388 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.389 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.392 * [backup-simplify]: Simplify (- 0) into 0
0.392 * [backup-simplify]: Simplify (+ 0 0) into 0
0.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.396 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
0.396 * [taylor]: Taking taylor expansion of 0 in y
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.397 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x)))))
0.397 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in (x y) around 0
0.397 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in y
0.397 * [taylor]: Taking taylor expansion of 0.5 in y
0.397 * [backup-simplify]: Simplify 0.5 into 0.5
0.397 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in y
0.397 * [taylor]: Taking taylor expansion of x in y
0.397 * [backup-simplify]: Simplify x into x
0.397 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 1 into 1
0.397 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 1 into 1
0.397 * [backup-simplify]: Simplify (/ 1 1) into 1
0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.398 * [taylor]: Taking taylor expansion of x in y
0.398 * [backup-simplify]: Simplify x into x
0.398 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.398 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
0.398 * [taylor]: Taking taylor expansion of 0.5 in x
0.398 * [backup-simplify]: Simplify 0.5 into 0.5
0.398 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [backup-simplify]: Simplify y into y
0.398 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [backup-simplify]: Simplify y into y
0.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (/ 1 1) into 1
0.398 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
0.399 * [taylor]: Taking taylor expansion of 0.5 in x
0.399 * [backup-simplify]: Simplify 0.5 into 0.5
0.399 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
0.399 * [taylor]: Taking taylor expansion of x in x
0.399 * [backup-simplify]: Simplify 0 into 0
0.399 * [backup-simplify]: Simplify 1 into 1
0.399 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
0.399 * [taylor]: Taking taylor expansion of y in x
0.399 * [backup-simplify]: Simplify y into y
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.399 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.399 * [taylor]: Taking taylor expansion of y in x
0.399 * [backup-simplify]: Simplify y into y
0.399 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.399 * [taylor]: Taking taylor expansion of x in x
0.399 * [backup-simplify]: Simplify 0 into 0
0.399 * [backup-simplify]: Simplify 1 into 1
0.399 * [backup-simplify]: Simplify (/ 1 1) into 1
0.400 * [backup-simplify]: Simplify (- 1) into -1
0.400 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.400 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
0.400 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
0.401 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [backup-simplify]: Simplify 0 into 0
0.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.402 * [backup-simplify]: Simplify (- 0) into 0
0.402 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.403 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1
0.403 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
0.404 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
0.404 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.404 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.404 * [taylor]: Taking taylor expansion of 0.5 in y
0.404 * [backup-simplify]: Simplify 0.5 into 0.5
0.404 * [taylor]: Taking taylor expansion of y in y
0.404 * [backup-simplify]: Simplify 0 into 0
0.404 * [backup-simplify]: Simplify 1 into 1
0.404 * [backup-simplify]: Simplify 0 into 0
0.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.405 * [backup-simplify]: Simplify (- 0) into 0
0.406 * [backup-simplify]: Simplify (+ 0 0) into 0
0.406 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
0.407 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
0.408 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
0.408 * [taylor]: Taking taylor expansion of 0.5 in y
0.408 * [backup-simplify]: Simplify 0.5 into 0.5
0.408 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.409 * [backup-simplify]: Simplify (- 0) into 0
0.409 * [backup-simplify]: Simplify 0 into 0
0.409 * [backup-simplify]: Simplify 0 into 0
0.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.410 * [backup-simplify]: Simplify (- 0) into 0
0.410 * [backup-simplify]: Simplify (+ 0 0) into 0
0.411 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
0.412 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
0.413 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
0.414 * [taylor]: Taking taylor expansion of 0 in y
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 0.5 into 0.5
0.415 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.415 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.416 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.416 * [backup-simplify]: Simplify 0 into 0
0.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.417 * [backup-simplify]: Simplify (- 0) into 0
0.418 * [backup-simplify]: Simplify (+ 0 0) into 0
0.419 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
0.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
0.422 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
0.422 * [taylor]: Taking taylor expansion of 0 in y
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [backup-simplify]: Simplify 0 into 0
0.423 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.423 * [backup-simplify]: Simplify (- 0) into 0
0.423 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.425 * [backup-simplify]: Simplify (- 0) into 0
0.425 * [backup-simplify]: Simplify (+ 0 0) into 0
0.427 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))))) into 0
0.428 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0
0.430 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
0.430 * [taylor]: Taking taylor expansion of 0 in y
0.430 * [backup-simplify]: Simplify 0 into 0
0.430 * [backup-simplify]: Simplify 0 into 0
0.431 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.431 * * * [progress]: simplifying candidates
0.432 * [simplify]: Simplifying:
  (expm1 (/ (- x y) (* (* x 2.0) y)))
  (log1p (/ (- x y) (* (* x 2.0) y)))
  (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y)))
  (- (log (- x y)) (+ (log (* x 2.0)) (log y)))
  (- (log (- x y)) (log (* (* x 2.0) y)))
  (log (/ (- x y) (* (* x 2.0) y)))
  (exp (/ (- x y) (* (* x 2.0) y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y)))
  (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y))))
  (cbrt (/ (- x y) (* (* x 2.0) y)))
  (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y)))
  (sqrt (/ (- x y) (* (* x 2.0) y)))
  (sqrt (/ (- x y) (* (* x 2.0) y)))
  (- (- x y))
  (- (* (* x 2.0) y))
  (/ x (* (* x 2.0) y))
  (/ y (* (* x 2.0) y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0))
  (/ (cbrt (- x y)) y)
  (/ (sqrt (- x y)) (* x 2.0))
  (/ (sqrt (- x y)) y)
  (/ 1 (* x 2.0))
  (/ (- x y) y)
  (/ (+ (sqrt x) (sqrt y)) (* x 2.0))
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* x 2.0))
  (/ (- x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (- x y))
  (/ (- x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (- x y)))
  (/ (* (* x 2.0) y) (sqrt (- x y)))
  (/ (* (* x 2.0) y) (- x y))
  (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y)))
  (/ (* (* x 2.0) y) (- x y))
  (* (* (* x 2.0) y) (+ (* x x) (+ (* y y) (* x y))))
  (* (* (* x 2.0) y) (+ x y))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.434 * * [simplify]: Extracting # 0 : cost  0
0.434 * * [simplify]: Extracting # 1 : cost  0
0.434 * * [simplify]: Extracting # 2 : cost  0
0.434 * * [simplify]: Extracting # 3 : cost  0
0.434 * * [simplify]: Extracting # 4 : cost  0
0.435 * * [simplify]: Extracting # 5 : cost  0
0.435 * * [simplify]: Extracting # 6 : cost  0
0.435 * * [simplify]: Extracting # 7 : cost  0
0.435 * * [simplify]: iteration  0 :  84  enodes  (cost  467 )
0.470 * * [simplify]: Extracting # 0 : cost  0
0.471 * * [simplify]: Extracting # 1 : cost  0
0.471 * * [simplify]: Extracting # 2 : cost  0
0.472 * * [simplify]: Extracting # 3 : cost  0
0.472 * * [simplify]: iteration  1 :  235  enodes  (cost  452 )
0.600 * * [simplify]: Extracting # 0 : cost  0
0.601 * * [simplify]: Extracting # 1 : cost  0
0.609 * * [simplify]: Extracting # 2 : cost  0
0.611 * * [simplify]: Extracting # 3 : cost  0
0.613 * * [simplify]: Extracting # 4 : cost  0
0.615 * * [simplify]: iteration  2 :  903  enodes  (cost  372 )
2.729 * * [simplify]: Extracting # 0 : cost  0
2.735 * * [simplify]: Extracting # 1 : cost  0
2.745 * * [simplify]: Extracting # 2 : cost  0
2.754 * * [simplify]: Extracting # 3 : cost  0
2.765 * * [simplify]: Extracting # 4 : cost  0
2.771 * * [simplify]: iteration  3 :  4863  enodes  (cost  370 )
4.233 * * [simplify]: Extracting # 0 : cost  0
4.244 * * [simplify]: Extracting # 1 : cost  0
4.264 * * [simplify]: iteration done:  5000  enodes  (cost  370 )
4.264 * [simplify]: Simplified to:
  (expm1 (/ (- x y) (* (* x 2.0) y)))
  (log1p (/ (- x y) (* (* x 2.0) y)))
  (log (/ (- x y) (* (* x 2.0) y)))
  (log (/ (- x y) (* (* x 2.0) y)))
  (log (/ (- x y) (* (* x 2.0) y)))
  (log (/ (- x y) (* (* x 2.0) y)))
  (exp (/ (- x y) (* (* x 2.0) y)))
  (pow (/ (- x y) (* (* x 2.0) y)) 3)
  (pow (/ (- x y) (* (* x 2.0) y)) 3)
  (pow (/ (- x y) (* (* x 2.0) y)) 3)
  (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y))))
  (cbrt (/ (- x y) (* (* x 2.0) y)))
  (pow (/ (- x y) (* (* x 2.0) y)) 3)
  (sqrt (/ (- x y) (* (* x 2.0) y)))
  (sqrt (/ (- x y) (* (* x 2.0) y)))
  (- (- x y))
  (- (* (* x 2.0) y))
  (/ 1 (* 2.0 y))
  (/ 1 (* x 2.0))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0))
  (/ (cbrt (- x y)) y)
  (/ (sqrt (- x y)) (* x 2.0))
  (/ (sqrt (- x y)) y)
  (/ 1 (* x 2.0))
  (/ (- x y) y)
  (/ (+ (sqrt x) (sqrt y)) (* x 2.0))
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* x 2.0))
  (/ (- x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (- x y))
  (/ (- x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (- x y)))
  (/ (* (* x 2.0) y) (sqrt (- x y)))
  (/ (* (* x 2.0) y) (- x y))
  (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y)))
  (/ (* (* x 2.0) y) (- x y))
  (* (* (* x 2.0) y) (fma x x (* y (+ x y))))
  (* (* (* x 2.0) y) (+ x y))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
4.264 * * * [progress]: adding candidates to table
4.385 * * [progress]: iteration 2 / 4
4.385 * * * [progress]: picking best candidate
4.390 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))>
4.390 * * * [progress]: localizing error
4.400 * * * [progress]: generating rewritten candidates
4.400 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.475 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
4.520 * * * [progress]: generating series expansions
4.521 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.521 * [backup-simplify]: Simplify (* (/ 1 (* x 2.0)) (/ (- x y) y)) into (* 0.5 (/ (- x y) (* x y)))
4.521 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
4.521 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
4.521 * [taylor]: Taking taylor expansion of 0.5 in y
4.521 * [backup-simplify]: Simplify 0.5 into 0.5
4.521 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
4.521 * [taylor]: Taking taylor expansion of (- x y) in y
4.521 * [taylor]: Taking taylor expansion of x in y
4.521 * [backup-simplify]: Simplify x into x
4.521 * [taylor]: Taking taylor expansion of y in y
4.521 * [backup-simplify]: Simplify 0 into 0
4.521 * [backup-simplify]: Simplify 1 into 1
4.521 * [taylor]: Taking taylor expansion of (* x y) in y
4.521 * [taylor]: Taking taylor expansion of x in y
4.521 * [backup-simplify]: Simplify x into x
4.521 * [taylor]: Taking taylor expansion of y in y
4.521 * [backup-simplify]: Simplify 0 into 0
4.521 * [backup-simplify]: Simplify 1 into 1
4.522 * [backup-simplify]: Simplify (- 0) into 0
4.522 * [backup-simplify]: Simplify (+ x 0) into x
4.522 * [backup-simplify]: Simplify (* x 0) into 0
4.523 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.523 * [backup-simplify]: Simplify (/ x x) into 1
4.523 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
4.523 * [taylor]: Taking taylor expansion of 0.5 in x
4.523 * [backup-simplify]: Simplify 0.5 into 0.5
4.523 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
4.523 * [taylor]: Taking taylor expansion of (- x y) in x
4.523 * [taylor]: Taking taylor expansion of x in x
4.523 * [backup-simplify]: Simplify 0 into 0
4.523 * [backup-simplify]: Simplify 1 into 1
4.523 * [taylor]: Taking taylor expansion of y in x
4.523 * [backup-simplify]: Simplify y into y
4.523 * [taylor]: Taking taylor expansion of (* x y) in x
4.523 * [taylor]: Taking taylor expansion of x in x
4.523 * [backup-simplify]: Simplify 0 into 0
4.523 * [backup-simplify]: Simplify 1 into 1
4.523 * [taylor]: Taking taylor expansion of y in x
4.523 * [backup-simplify]: Simplify y into y
4.523 * [backup-simplify]: Simplify (- y) into (- y)
4.524 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.524 * [backup-simplify]: Simplify (* 0 y) into 0
4.524 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.524 * [backup-simplify]: Simplify (/ (- y) y) into -1
4.524 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
4.524 * [taylor]: Taking taylor expansion of 0.5 in x
4.524 * [backup-simplify]: Simplify 0.5 into 0.5
4.524 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
4.524 * [taylor]: Taking taylor expansion of (- x y) in x
4.524 * [taylor]: Taking taylor expansion of x in x
4.524 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify 1 into 1
4.524 * [taylor]: Taking taylor expansion of y in x
4.524 * [backup-simplify]: Simplify y into y
4.524 * [taylor]: Taking taylor expansion of (* x y) in x
4.524 * [taylor]: Taking taylor expansion of x in x
4.524 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify 1 into 1
4.524 * [taylor]: Taking taylor expansion of y in x
4.525 * [backup-simplify]: Simplify y into y
4.525 * [backup-simplify]: Simplify (- y) into (- y)
4.525 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.525 * [backup-simplify]: Simplify (* 0 y) into 0
4.525 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.525 * [backup-simplify]: Simplify (/ (- y) y) into -1
4.526 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
4.526 * [taylor]: Taking taylor expansion of -0.5 in y
4.526 * [backup-simplify]: Simplify -0.5 into -0.5
4.526 * [backup-simplify]: Simplify (- 0) into 0
4.527 * [backup-simplify]: Simplify (+ 1 0) into 1
4.527 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.528 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
4.528 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
4.528 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
4.528 * [taylor]: Taking taylor expansion of 0.5 in y
4.528 * [backup-simplify]: Simplify 0.5 into 0.5
4.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.528 * [taylor]: Taking taylor expansion of y in y
4.528 * [backup-simplify]: Simplify 0 into 0
4.528 * [backup-simplify]: Simplify 1 into 1
4.529 * [backup-simplify]: Simplify (/ 1 1) into 1
4.529 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.529 * [backup-simplify]: Simplify 0.5 into 0.5
4.529 * [backup-simplify]: Simplify -0.5 into -0.5
4.530 * [backup-simplify]: Simplify (- 0) into 0
4.530 * [backup-simplify]: Simplify (+ 0 0) into 0
4.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.531 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
4.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
4.532 * [taylor]: Taking taylor expansion of 0 in y
4.532 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.534 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.534 * [backup-simplify]: Simplify 0 into 0
4.534 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (- 0) into 0
4.536 * [backup-simplify]: Simplify (+ 0 0) into 0
4.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.538 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.539 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
4.539 * [taylor]: Taking taylor expansion of 0 in y
4.539 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.541 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
4.541 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify 0 into 0
4.542 * [backup-simplify]: Simplify (- 0) into 0
4.542 * [backup-simplify]: Simplify (+ 0 0) into 0
4.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.544 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
4.546 * [taylor]: Taking taylor expansion of 0 in y
4.546 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.546 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 x) 2.0)) (/ (- (/ 1 x) (/ 1 y)) (/ 1 y))) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y)))
4.546 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in (x y) around 0
4.546 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in y
4.546 * [taylor]: Taking taylor expansion of 0.5 in y
4.546 * [backup-simplify]: Simplify 0.5 into 0.5
4.546 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in y
4.546 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.546 * [taylor]: Taking taylor expansion of x in y
4.546 * [backup-simplify]: Simplify x into x
4.547 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.547 * [taylor]: Taking taylor expansion of y in y
4.547 * [backup-simplify]: Simplify 0 into 0
4.547 * [backup-simplify]: Simplify 1 into 1
4.547 * [backup-simplify]: Simplify (/ 1 1) into 1
4.547 * [taylor]: Taking taylor expansion of (* x y) in y
4.547 * [taylor]: Taking taylor expansion of x in y
4.547 * [backup-simplify]: Simplify x into x
4.547 * [taylor]: Taking taylor expansion of y in y
4.547 * [backup-simplify]: Simplify 0 into 0
4.547 * [backup-simplify]: Simplify 1 into 1
4.547 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
4.547 * [taylor]: Taking taylor expansion of 0.5 in x
4.547 * [backup-simplify]: Simplify 0.5 into 0.5
4.547 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
4.547 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.547 * [taylor]: Taking taylor expansion of x in x
4.547 * [backup-simplify]: Simplify 0 into 0
4.547 * [backup-simplify]: Simplify 1 into 1
4.548 * [backup-simplify]: Simplify (/ 1 1) into 1
4.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.548 * [taylor]: Taking taylor expansion of y in x
4.548 * [backup-simplify]: Simplify y into y
4.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.548 * [taylor]: Taking taylor expansion of (* x y) in x
4.548 * [taylor]: Taking taylor expansion of x in x
4.548 * [backup-simplify]: Simplify 0 into 0
4.548 * [backup-simplify]: Simplify 1 into 1
4.548 * [taylor]: Taking taylor expansion of y in x
4.548 * [backup-simplify]: Simplify y into y
4.548 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
4.548 * [taylor]: Taking taylor expansion of 0.5 in x
4.548 * [backup-simplify]: Simplify 0.5 into 0.5
4.548 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
4.548 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.548 * [taylor]: Taking taylor expansion of x in x
4.548 * [backup-simplify]: Simplify 0 into 0
4.548 * [backup-simplify]: Simplify 1 into 1
4.548 * [backup-simplify]: Simplify (/ 1 1) into 1
4.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.548 * [taylor]: Taking taylor expansion of y in x
4.548 * [backup-simplify]: Simplify y into y
4.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.548 * [taylor]: Taking taylor expansion of (* x y) in x
4.548 * [taylor]: Taking taylor expansion of x in x
4.548 * [backup-simplify]: Simplify 0 into 0
4.548 * [backup-simplify]: Simplify 1 into 1
4.548 * [taylor]: Taking taylor expansion of y in x
4.548 * [backup-simplify]: Simplify y into y
4.549 * [backup-simplify]: Simplify (+ 1 0) into 1
4.549 * [backup-simplify]: Simplify (* 0 y) into 0
4.549 * [backup-simplify]: Simplify (* 1 0) into 0
4.549 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.549 * [taylor]: Taking taylor expansion of 0 in y
4.549 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.550 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.550 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
4.550 * [backup-simplify]: Simplify (+ (* 1 y) (* (- (/ 1 y)) 0)) into y
4.550 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
4.550 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.550 * [taylor]: Taking taylor expansion of 0.5 in y
4.550 * [backup-simplify]: Simplify 0.5 into 0.5
4.550 * [taylor]: Taking taylor expansion of y in y
4.550 * [backup-simplify]: Simplify 0 into 0
4.551 * [backup-simplify]: Simplify 1 into 1
4.551 * [backup-simplify]: Simplify 0 into 0
4.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.552 * [backup-simplify]: Simplify (- 0) into 0
4.552 * [backup-simplify]: Simplify (+ 0 0) into 0
4.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) y) (* 0 0))) into (- 1)
4.553 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
4.553 * [taylor]: Taking taylor expansion of (- 0.5) in y
4.553 * [taylor]: Taking taylor expansion of 0.5 in y
4.553 * [backup-simplify]: Simplify 0.5 into 0.5
4.554 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.555 * [backup-simplify]: Simplify (+ 0 0) into 0
4.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 y) (* 0 0)))) into 0
4.557 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
4.557 * [taylor]: Taking taylor expansion of 0 in y
4.557 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.557 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.558 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.558 * [backup-simplify]: Simplify 0.5 into 0.5
4.558 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.560 * [backup-simplify]: Simplify (- 0) into 0
4.560 * [backup-simplify]: Simplify (+ 0 0) into 0
4.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
4.562 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
4.562 * [taylor]: Taking taylor expansion of 0 in y
4.562 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify (- 0) into 0
4.562 * [backup-simplify]: Simplify 0 into 0
4.563 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.563 * [backup-simplify]: Simplify 0 into 0
4.563 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.565 * [backup-simplify]: Simplify (- 0) into 0
4.565 * [backup-simplify]: Simplify (+ 0 0) into 0
4.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
4.567 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
4.567 * [taylor]: Taking taylor expansion of 0 in y
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.568 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 (- x)) 2.0)) (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x)))))
4.568 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in (x y) around 0
4.568 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in y
4.568 * [taylor]: Taking taylor expansion of 0.5 in y
4.568 * [backup-simplify]: Simplify 0.5 into 0.5
4.568 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in y
4.568 * [taylor]: Taking taylor expansion of x in y
4.568 * [backup-simplify]: Simplify x into x
4.568 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
4.568 * [taylor]: Taking taylor expansion of y in y
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 1 into 1
4.568 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.568 * [taylor]: Taking taylor expansion of y in y
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 1 into 1
4.569 * [backup-simplify]: Simplify (/ 1 1) into 1
4.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.569 * [taylor]: Taking taylor expansion of x in y
4.569 * [backup-simplify]: Simplify x into x
4.569 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.569 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
4.569 * [taylor]: Taking taylor expansion of 0.5 in x
4.569 * [backup-simplify]: Simplify 0.5 into 0.5
4.569 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
4.569 * [taylor]: Taking taylor expansion of x in x
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 1 into 1
4.569 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
4.569 * [taylor]: Taking taylor expansion of y in x
4.569 * [backup-simplify]: Simplify y into y
4.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.569 * [taylor]: Taking taylor expansion of y in x
4.569 * [backup-simplify]: Simplify y into y
4.569 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.569 * [taylor]: Taking taylor expansion of x in x
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 1 into 1
4.569 * [backup-simplify]: Simplify (/ 1 1) into 1
4.569 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
4.569 * [taylor]: Taking taylor expansion of 0.5 in x
4.569 * [backup-simplify]: Simplify 0.5 into 0.5
4.569 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
4.569 * [taylor]: Taking taylor expansion of x in x
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 1 into 1
4.569 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
4.569 * [taylor]: Taking taylor expansion of y in x
4.569 * [backup-simplify]: Simplify y into y
4.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.569 * [taylor]: Taking taylor expansion of y in x
4.569 * [backup-simplify]: Simplify y into y
4.569 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.570 * [taylor]: Taking taylor expansion of x in x
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 1 into 1
4.573 * [backup-simplify]: Simplify (/ 1 1) into 1
4.573 * [backup-simplify]: Simplify (- 1) into -1
4.573 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.573 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
4.574 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
4.574 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.574 * [taylor]: Taking taylor expansion of 0 in y
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.575 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.575 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1
4.575 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
4.575 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
4.575 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
4.575 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.576 * [taylor]: Taking taylor expansion of 0.5 in y
4.576 * [backup-simplify]: Simplify 0.5 into 0.5
4.576 * [taylor]: Taking taylor expansion of y in y
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify 1 into 1
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.576 * [backup-simplify]: Simplify (- 0) into 0
4.577 * [backup-simplify]: Simplify (+ 0 0) into 0
4.577 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
4.577 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
4.578 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
4.578 * [taylor]: Taking taylor expansion of 0.5 in y
4.578 * [backup-simplify]: Simplify 0.5 into 0.5
4.578 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.578 * [backup-simplify]: Simplify (- 0) into 0
4.578 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.579 * [backup-simplify]: Simplify (- 0) into 0
4.580 * [backup-simplify]: Simplify (+ 0 0) into 0
4.580 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
4.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
4.582 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
4.582 * [taylor]: Taking taylor expansion of 0 in y
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify 0.5 into 0.5
4.583 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.584 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.584 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.586 * [backup-simplify]: Simplify (- 0) into 0
4.586 * [backup-simplify]: Simplify (+ 0 0) into 0
4.587 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
4.589 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
4.590 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
4.591 * [taylor]: Taking taylor expansion of 0 in y
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.592 * [backup-simplify]: Simplify (- 0) into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.594 * [backup-simplify]: Simplify (- 0) into 0
4.594 * [backup-simplify]: Simplify (+ 0 0) into 0
4.595 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))))) into 0
4.596 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0
4.597 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
4.597 * [taylor]: Taking taylor expansion of 0 in y
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.598 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
4.598 * [backup-simplify]: Simplify (/ (- x y) y) into (/ (- x y) y)
4.598 * [approximate]: Taking taylor expansion of (/ (- x y) y) in (x y) around 0
4.598 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y
4.598 * [taylor]: Taking taylor expansion of (- x y) in y
4.598 * [taylor]: Taking taylor expansion of x in y
4.598 * [backup-simplify]: Simplify x into x
4.598 * [taylor]: Taking taylor expansion of y in y
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify 1 into 1
4.598 * [taylor]: Taking taylor expansion of y in y
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify 1 into 1
4.598 * [backup-simplify]: Simplify (- 0) into 0
4.598 * [backup-simplify]: Simplify (+ x 0) into x
4.598 * [backup-simplify]: Simplify (/ x 1) into x
4.598 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x
4.598 * [taylor]: Taking taylor expansion of (- x y) in x
4.598 * [taylor]: Taking taylor expansion of x in x
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify 1 into 1
4.598 * [taylor]: Taking taylor expansion of y in x
4.598 * [backup-simplify]: Simplify y into y
4.599 * [taylor]: Taking taylor expansion of y in x
4.599 * [backup-simplify]: Simplify y into y
4.599 * [backup-simplify]: Simplify (- y) into (- y)
4.599 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.599 * [backup-simplify]: Simplify (/ (- y) y) into -1
4.599 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x
4.599 * [taylor]: Taking taylor expansion of (- x y) in x
4.599 * [taylor]: Taking taylor expansion of x in x
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [taylor]: Taking taylor expansion of y in x
4.599 * [backup-simplify]: Simplify y into y
4.599 * [taylor]: Taking taylor expansion of y in x
4.599 * [backup-simplify]: Simplify y into y
4.599 * [backup-simplify]: Simplify (- y) into (- y)
4.599 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.599 * [backup-simplify]: Simplify (/ (- y) y) into -1
4.599 * [taylor]: Taking taylor expansion of -1 in y
4.599 * [backup-simplify]: Simplify -1 into -1
4.599 * [backup-simplify]: Simplify (- 0) into 0
4.599 * [backup-simplify]: Simplify (+ 1 0) into 1
4.600 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
4.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.600 * [taylor]: Taking taylor expansion of y in y
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (/ 1 1) into 1
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify -1 into -1
4.600 * [backup-simplify]: Simplify (- 0) into 0
4.600 * [backup-simplify]: Simplify (+ 0 0) into 0
4.600 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
4.601 * [taylor]: Taking taylor expansion of 0 in y
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify (- 0) into 0
4.601 * [backup-simplify]: Simplify (+ 0 0) into 0
4.602 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.602 * [taylor]: Taking taylor expansion of 0 in y
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify (- 0) into 0
4.603 * [backup-simplify]: Simplify (+ 0 0) into 0
4.603 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.603 * [taylor]: Taking taylor expansion of 0 in y
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 y) x))) into (- (/ x y) 1)
4.603 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 y)) into (* (- (/ 1 x) (/ 1 y)) y)
4.603 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in (x y) around 0
4.603 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y
4.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.603 * [taylor]: Taking taylor expansion of x in y
4.603 * [backup-simplify]: Simplify x into x
4.603 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.603 * [taylor]: Taking taylor expansion of y in y
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 1 into 1
4.604 * [backup-simplify]: Simplify (/ 1 1) into 1
4.604 * [taylor]: Taking taylor expansion of y in y
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.604 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x
4.604 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.604 * [backup-simplify]: Simplify (/ 1 1) into 1
4.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.604 * [taylor]: Taking taylor expansion of y in x
4.604 * [backup-simplify]: Simplify y into y
4.604 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.604 * [taylor]: Taking taylor expansion of y in x
4.604 * [backup-simplify]: Simplify y into y
4.604 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x
4.604 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.604 * [backup-simplify]: Simplify (/ 1 1) into 1
4.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.605 * [taylor]: Taking taylor expansion of y in x
4.605 * [backup-simplify]: Simplify y into y
4.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.605 * [taylor]: Taking taylor expansion of y in x
4.605 * [backup-simplify]: Simplify y into y
4.605 * [backup-simplify]: Simplify (+ 1 0) into 1
4.605 * [backup-simplify]: Simplify (* 1 y) into y
4.605 * [taylor]: Taking taylor expansion of y in y
4.605 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify 1 into 1
4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.606 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.606 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
4.606 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) y)) into (- 1)
4.606 * [taylor]: Taking taylor expansion of (- 1) in y
4.606 * [taylor]: Taking taylor expansion of 1 in y
4.606 * [backup-simplify]: Simplify 1 into 1
4.606 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.607 * [backup-simplify]: Simplify (- 0) into 0
4.607 * [backup-simplify]: Simplify (+ 0 0) into 0
4.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 y))) into 0
4.607 * [taylor]: Taking taylor expansion of 0 in y
4.607 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify (- 1) into -1
4.608 * [backup-simplify]: Simplify -1 into -1
4.608 * [backup-simplify]: Simplify 1 into 1
4.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.609 * [backup-simplify]: Simplify (- 0) into 0
4.609 * [backup-simplify]: Simplify (+ 0 0) into 0
4.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 y)))) into 0
4.609 * [taylor]: Taking taylor expansion of 0 in y
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify (- 0) into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.611 * [backup-simplify]: Simplify (- 0) into 0
4.611 * [backup-simplify]: Simplify (+ 0 0) into 0
4.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.612 * [taylor]: Taking taylor expansion of 0 in y
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (- 0) into 0
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))) -1) into (- (/ x y) 1)
4.612 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 y) (/ 1 x))))
4.612 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in (x y) around 0
4.612 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in y
4.612 * [taylor]: Taking taylor expansion of -1 in y
4.612 * [backup-simplify]: Simplify -1 into -1
4.612 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
4.612 * [taylor]: Taking taylor expansion of y in y
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 1 into 1
4.612 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.612 * [taylor]: Taking taylor expansion of y in y
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 1 into 1
4.613 * [backup-simplify]: Simplify (/ 1 1) into 1
4.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.613 * [taylor]: Taking taylor expansion of x in y
4.613 * [backup-simplify]: Simplify x into x
4.613 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.613 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in x
4.613 * [taylor]: Taking taylor expansion of -1 in x
4.613 * [backup-simplify]: Simplify -1 into -1
4.613 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
4.613 * [taylor]: Taking taylor expansion of y in x
4.613 * [backup-simplify]: Simplify y into y
4.613 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.613 * [taylor]: Taking taylor expansion of y in x
4.613 * [backup-simplify]: Simplify y into y
4.613 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.613 * [taylor]: Taking taylor expansion of x in x
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 1 into 1
4.613 * [backup-simplify]: Simplify (/ 1 1) into 1
4.613 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in x
4.613 * [taylor]: Taking taylor expansion of -1 in x
4.613 * [backup-simplify]: Simplify -1 into -1
4.613 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
4.613 * [taylor]: Taking taylor expansion of y in x
4.613 * [backup-simplify]: Simplify y into y
4.613 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.613 * [taylor]: Taking taylor expansion of y in x
4.614 * [backup-simplify]: Simplify y into y
4.614 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.614 * [taylor]: Taking taylor expansion of x in x
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 1 into 1
4.614 * [backup-simplify]: Simplify (/ 1 1) into 1
4.614 * [backup-simplify]: Simplify (- 1) into -1
4.614 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.614 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
4.614 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
4.614 * [taylor]: Taking taylor expansion of y in y
4.615 * [backup-simplify]: Simplify 0 into 0
4.615 * [backup-simplify]: Simplify 1 into 1
4.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.615 * [backup-simplify]: Simplify (- 0) into 0
4.615 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.616 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1
4.616 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 (* -1 y))) into (- 1)
4.616 * [taylor]: Taking taylor expansion of (- 1) in y
4.616 * [taylor]: Taking taylor expansion of 1 in y
4.616 * [backup-simplify]: Simplify 1 into 1
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.617 * [backup-simplify]: Simplify (- 0) into 0
4.617 * [backup-simplify]: Simplify (+ 0 0) into 0
4.617 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
4.618 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 (* -1 y)))) into 0
4.618 * [taylor]: Taking taylor expansion of 0 in y
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify (- 1) into -1
4.618 * [backup-simplify]: Simplify -1 into -1
4.618 * [backup-simplify]: Simplify 1 into 1
4.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify (- 0) into 0
4.619 * [backup-simplify]: Simplify (+ 0 0) into 0
4.620 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
4.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
4.621 * [taylor]: Taking taylor expansion of 0 in y
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify (- 0) into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.622 * [backup-simplify]: Simplify (- 0) into 0
4.622 * [backup-simplify]: Simplify (+ 0 0) into 0
4.623 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
4.624 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
4.624 * [taylor]: Taking taylor expansion of 0 in y
4.624 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify (- 0) into 0
4.624 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) -1) into (- (/ x y) 1)
4.624 * * * [progress]: simplifying candidates
4.626 * [simplify]: Simplifying:
  (expm1 (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (log1p (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (+ (- (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (- 0 (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- 0 (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- 0 (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- 0 (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (- (log 1) (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log 1) (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- (log 1) (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log 1) (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (log (/ 1 (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (log (/ 1 (* x 2.0))) (log (/ (- x y) y)))
  (log (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (exp (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))))
  (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* 1 (- x y))
  (* (* x 2.0) y)
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))))
  (* (/ 1 (* x 2.0)) (sqrt (/ (- x y) y)))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) 1))
  (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ 1 (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ 1 1))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) 1))
  (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ 1 (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ 1 1))
  (* (/ 1 (* x 2.0)) 1)
  (* (/ 1 (* x 2.0)) (- x y))
  (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (* (/ (cbrt 1) 2.0) (/ (- x y) y))
  (* (/ (sqrt 1) 2.0) (/ (- x y) y))
  (* (/ 1 2.0) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (- x y))
  (* 1 (/ (- x y) y))
  (expm1 (/ (- x y) y))
  (log1p (/ (- x y) y))
  (- (log (- x y)) (log y))
  (log (/ (- x y) y))
  (exp (/ (- x y) y))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y))
  (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y)))
  (cbrt (/ (- x y) y))
  (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y))
  (sqrt (/ (- x y) y))
  (sqrt (/ (- x y) y))
  (- (- x y))
  (- y)
  (/ x y)
  (/ y y)
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x y)) (cbrt y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y))
  (/ (cbrt (- x y)) (sqrt y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) y)
  (/ (sqrt (- x y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x y)) (cbrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  (/ 1 1)
  (/ (- x y) y)
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt y)) (cbrt y))
  (/ (+ (sqrt x) (sqrt y)) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (sqrt y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  (/ 1 1)
  (/ (- x y) y)
  (/ 1 y)
  (/ y (- x y))
  (/ (- x y) (* (cbrt y) (cbrt y)))
  (/ (- x y) (sqrt y))
  (/ (- x y) 1)
  (/ y (cbrt (- x y)))
  (/ y (sqrt (- x y)))
  (/ y (- x y))
  (/ y (- (sqrt x) (sqrt y)))
  (/ y (- x y))
  (* y (+ (* x x) (+ (* y y) (* x y))))
  (* y (+ x y))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (/ x y) 1)
  (- (/ x y) 1)
  (- (/ x y) 1)
4.628 * * [simplify]: Extracting # 0 : cost  0
4.628 * * [simplify]: Extracting # 1 : cost  0
4.629 * * [simplify]: Extracting # 2 : cost  0
4.629 * * [simplify]: Extracting # 3 : cost  0
4.629 * * [simplify]: Extracting # 4 : cost  0
4.629 * * [simplify]: Extracting # 5 : cost  0
4.630 * * [simplify]: Extracting # 6 : cost  0
4.630 * * [simplify]: Extracting # 7 : cost  0
4.630 * * [simplify]: Extracting # 8 : cost  0
4.631 * * [simplify]: Extracting # 9 : cost  0
4.631 * * [simplify]: iteration  0 :  168  enodes  (cost  1410 )
4.700 * * [simplify]: Extracting # 0 : cost  0
4.700 * * [simplify]: Extracting # 1 : cost  0
4.701 * * [simplify]: Extracting # 2 : cost  0
4.701 * * [simplify]: Extracting # 3 : cost  0
4.702 * * [simplify]: iteration  1 :  433  enodes  (cost  1241 )
5.100 * * [simplify]: Extracting # 0 : cost  0
5.102 * * [simplify]: Extracting # 1 : cost  0
5.104 * * [simplify]: Extracting # 2 : cost  0
5.106 * * [simplify]: Extracting # 3 : cost  0
5.107 * * [simplify]: Extracting # 4 : cost  0
5.113 * * [simplify]: iteration  2 :  1721  enodes  (cost  1050 )
6.268 * * [simplify]: Extracting # 0 : cost  0
6.280 * * [simplify]: Extracting # 1 : cost  0
6.295 * * [simplify]: Extracting # 2 : cost  0
6.308 * * [simplify]: Extracting # 3 : cost  0
6.320 * * [simplify]: Extracting # 4 : cost  0
6.327 * * [simplify]: iteration done:  5000  enodes  (cost  1050 )
6.327 * [simplify]: Simplified to:
  (expm1 (/ (- (/ x y) 1) (* x 2.0)))
  (log1p (/ (- (/ x y) 1) (* x 2.0)))
  (/ (- (/ x y) 1) (* x 2.0))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (log (/ (- (/ x y) 1) (* x 2.0)))
  (exp (/ (- (/ x y) 1) (* x 2.0)))
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (* (cbrt (/ (- (/ x y) 1) (* x 2.0))) (cbrt (/ (- (/ x y) 1) (* x 2.0))))
  (cbrt (/ (- (/ x y) 1) (* x 2.0)))
  (pow (/ (- (/ x y) 1) (* x 2.0)) 3)
  (sqrt (/ (- (/ x y) 1) (* x 2.0)))
  (sqrt (/ (- (/ x y) 1) (* x 2.0)))
  (- x y)
  (* (* x 2.0) y)
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (/ (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))) (* x 2.0))
  (/ (sqrt (/ (- x y) y)) (* x 2.0))
  (/ (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (cbrt y)) (cbrt y)) (* x 2.0))
  (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)) (* x 2.0))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0))
  (/ (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))) (* x 2.0))
  (/ (/ (sqrt (- x y)) (sqrt y)) (* x 2.0))
  (/ (sqrt (- x y)) (* x 2.0))
  (/ (/ 1 (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (/ 1 (* x 2.0))
  (/ (/ (/ (+ (sqrt x) (sqrt y)) (cbrt y)) (cbrt y)) (* x 2.0))
  (/ (/ (+ (sqrt y) (sqrt x)) (* x 2.0)) (sqrt y))
  (/ (+ (sqrt y) (sqrt x)) (* x 2.0))
  (/ (/ 1 (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (/ 1 (* x 2.0))
  (/ 1 (* x 2.0))
  (/ (- x y) (* x 2.0))
  (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (/ (- (/ x y) 1) 2.0)
  (/ (- (/ x y) 1) 2.0)
  (/ (- (/ x y) 1) 2.0)
  (/ (- (/ x y) 1) (* x 2.0))
  (/ (- (/ x y) 1) (* x 2.0))
  (/ (- x y) (* x 2.0))
  (- (/ x y) 1)
  (expm1 (/ (- x y) y))
  (log1p (/ (- x y) y))
  (log (- (/ x y) 1))
  (log (- (/ x y) 1))
  (exp (/ (- x y) y))
  (pow (- (/ x y) 1) 3)
  (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y)))
  (cbrt (/ (- x y) y))
  (pow (- (/ x y) 1) 3)
  (sqrt (/ (- x y) y))
  (sqrt (/ (- x y) y))
  (- (- x y))
  (- y)
  (/ x y)
  1
  (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (cbrt y)) (cbrt y))
  (/ (cbrt (- x y)) (cbrt y))
  (/ (cbrt (- x y)) (/ (sqrt y) (cbrt (- x y))))
  (/ (cbrt (- x y)) (sqrt y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) y)
  (/ (sqrt (- x y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x y)) (cbrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  1
  (- (/ x y) 1)
  (/ (/ (+ (sqrt x) (sqrt y)) (cbrt y)) (cbrt y))
  (/ (- (sqrt x) (sqrt y)) (cbrt y))
  (/ (+ (sqrt x) (sqrt y)) (sqrt y))
  (+ (/ (sqrt x) (sqrt y)) -1)
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  1
  (- (/ x y) 1)
  (/ 1 y)
  (/ y (- x y))
  (/ (- x y) (* (cbrt y) (cbrt y)))
  (/ (- x y) (sqrt y))
  (- x y)
  (/ y (cbrt (- x y)))
  (/ y (sqrt (- x y)))
  (/ y (- x y))
  (/ y (- (sqrt x) (sqrt y)))
  (/ y (- x y))
  (* (fma x x (* y (+ x y))) y)
  (* y (+ x y))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ x y) 1)
  (- (/ x y) 1)
  (- (/ x y) 1)
6.328 * * * [progress]: adding candidates to table
6.564 * * [progress]: iteration 3 / 4
6.564 * * * [progress]: picking best candidate
6.572 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ 0.5 y) (/ 0.5 x)))>
6.572 * * * [progress]: localizing error
6.583 * * * [progress]: generating rewritten candidates
6.583 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.649 * * * [progress]: generating series expansions
6.649 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.649 * [backup-simplify]: Simplify (- (/ 0.5 y) (/ 0.5 x)) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
6.649 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0
6.649 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
6.649 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
6.649 * [taylor]: Taking taylor expansion of 0.5 in x
6.649 * [backup-simplify]: Simplify 0.5 into 0.5
6.649 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.649 * [taylor]: Taking taylor expansion of y in x
6.649 * [backup-simplify]: Simplify y into y
6.649 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.649 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
6.649 * [taylor]: Taking taylor expansion of 0.5 in x
6.649 * [backup-simplify]: Simplify 0.5 into 0.5
6.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.649 * [taylor]: Taking taylor expansion of x in x
6.649 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify 1 into 1
6.650 * [backup-simplify]: Simplify (/ 1 1) into 1
6.650 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
6.650 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
6.650 * [taylor]: Taking taylor expansion of 0.5 in y
6.650 * [backup-simplify]: Simplify 0.5 into 0.5
6.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.650 * [taylor]: Taking taylor expansion of y in y
6.650 * [backup-simplify]: Simplify 0 into 0
6.650 * [backup-simplify]: Simplify 1 into 1
6.651 * [backup-simplify]: Simplify (/ 1 1) into 1
6.651 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
6.651 * [taylor]: Taking taylor expansion of 0.5 in y
6.651 * [backup-simplify]: Simplify 0.5 into 0.5
6.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.651 * [taylor]: Taking taylor expansion of x in y
6.651 * [backup-simplify]: Simplify x into x
6.651 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.651 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
6.651 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
6.651 * [taylor]: Taking taylor expansion of 0.5 in y
6.651 * [backup-simplify]: Simplify 0.5 into 0.5
6.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.651 * [taylor]: Taking taylor expansion of y in y
6.651 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify 1 into 1
6.651 * [backup-simplify]: Simplify (/ 1 1) into 1
6.652 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
6.652 * [taylor]: Taking taylor expansion of 0.5 in y
6.652 * [backup-simplify]: Simplify 0.5 into 0.5
6.652 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.652 * [taylor]: Taking taylor expansion of x in y
6.652 * [backup-simplify]: Simplify x into x
6.652 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.652 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
6.653 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
6.653 * [taylor]: Taking taylor expansion of 0.5 in x
6.653 * [backup-simplify]: Simplify 0.5 into 0.5
6.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.654 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
6.654 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
6.654 * [backup-simplify]: Simplify (- (/ 0.5 x)) into (- (* 0.5 (/ 1 x)))
6.654 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 x)))) into (- (* 0.5 (/ 1 x)))
6.654 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x
6.654 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
6.654 * [taylor]: Taking taylor expansion of 0.5 in x
6.655 * [backup-simplify]: Simplify 0.5 into 0.5
6.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.655 * [taylor]: Taking taylor expansion of x in x
6.655 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify 1 into 1
6.655 * [backup-simplify]: Simplify (/ 1 1) into 1
6.655 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
6.656 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.656 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.656 * [backup-simplify]: Simplify 0.5 into 0.5
6.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
6.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
6.659 * [backup-simplify]: Simplify (- 0) into 0
6.659 * [backup-simplify]: Simplify (+ 0 0) into 0
6.659 * [taylor]: Taking taylor expansion of 0 in x
6.659 * [backup-simplify]: Simplify 0 into 0
6.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
6.669 * [backup-simplify]: Simplify (- 0) into 0
6.669 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.671 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.672 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
6.673 * [backup-simplify]: Simplify (- 0) into 0
6.673 * [backup-simplify]: Simplify (+ 0 0) into 0
6.673 * [taylor]: Taking taylor expansion of 0 in x
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
6.675 * [backup-simplify]: Simplify (- 0) into 0
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify 0 into 0
6.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.677 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.678 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
6.679 * [backup-simplify]: Simplify (- 0) into 0
6.679 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [taylor]: Taking taylor expansion of 0 in x
6.679 * [backup-simplify]: Simplify 0 into 0
6.679 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 y))) (* (- 0.5) (* (/ 1 x) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
6.680 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 y)) (/ 0.5 (/ 1 x))) into (- (* 0.5 y) (* 0.5 x))
6.680 * [approximate]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in (y x) around 0
6.680 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in x
6.680 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
6.680 * [taylor]: Taking taylor expansion of 0.5 in x
6.680 * [backup-simplify]: Simplify 0.5 into 0.5
6.680 * [taylor]: Taking taylor expansion of y in x
6.680 * [backup-simplify]: Simplify y into y
6.680 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.680 * [taylor]: Taking taylor expansion of 0.5 in x
6.680 * [backup-simplify]: Simplify 0.5 into 0.5
6.680 * [taylor]: Taking taylor expansion of x in x
6.680 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify 1 into 1
6.680 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y
6.680 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.680 * [taylor]: Taking taylor expansion of 0.5 in y
6.680 * [backup-simplify]: Simplify 0.5 into 0.5
6.680 * [taylor]: Taking taylor expansion of y in y
6.680 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify 1 into 1
6.680 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.680 * [taylor]: Taking taylor expansion of 0.5 in y
6.680 * [backup-simplify]: Simplify 0.5 into 0.5
6.680 * [taylor]: Taking taylor expansion of x in y
6.681 * [backup-simplify]: Simplify x into x
6.681 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y
6.681 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.681 * [taylor]: Taking taylor expansion of 0.5 in y
6.681 * [backup-simplify]: Simplify 0.5 into 0.5
6.681 * [taylor]: Taking taylor expansion of y in y
6.681 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify 1 into 1
6.681 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.681 * [taylor]: Taking taylor expansion of 0.5 in y
6.681 * [backup-simplify]: Simplify 0.5 into 0.5
6.681 * [taylor]: Taking taylor expansion of x in y
6.681 * [backup-simplify]: Simplify x into x
6.681 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.681 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
6.681 * [backup-simplify]: Simplify (- (* 0.5 x)) into (- (* 0.5 x))
6.682 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 x))) into (- (* 0.5 x))
6.682 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x
6.682 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.682 * [taylor]: Taking taylor expansion of 0.5 in x
6.682 * [backup-simplify]: Simplify 0.5 into 0.5
6.682 * [taylor]: Taking taylor expansion of x in x
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify 1 into 1
6.682 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.682 * [backup-simplify]: Simplify (- 0) into 0
6.683 * [backup-simplify]: Simplify 0 into 0
6.684 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.684 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
6.685 * [backup-simplify]: Simplify (- 0) into 0
6.685 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
6.685 * [taylor]: Taking taylor expansion of 0.5 in x
6.685 * [backup-simplify]: Simplify 0.5 into 0.5
6.685 * [backup-simplify]: Simplify 0.5 into 0.5
6.686 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.687 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.687 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.688 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.689 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
6.689 * [backup-simplify]: Simplify (- 0) into 0
6.690 * [backup-simplify]: Simplify (+ 0 0) into 0
6.690 * [taylor]: Taking taylor expansion of 0 in x
6.690 * [backup-simplify]: Simplify 0 into 0
6.690 * [backup-simplify]: Simplify 0 into 0
6.690 * [backup-simplify]: Simplify 0 into 0
6.691 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.691 * [backup-simplify]: Simplify (- 0) into 0
6.691 * [backup-simplify]: Simplify 0 into 0
6.692 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.693 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.693 * [backup-simplify]: Simplify (- 0) into 0
6.694 * [backup-simplify]: Simplify (+ 0 0) into 0
6.694 * [taylor]: Taking taylor expansion of 0 in x
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 x) 1)) (* 0.5 (* 1 (/ 1 y)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
6.695 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 (- y))) (/ 0.5 (/ 1 (- x)))) into (- (* 0.5 x) (* 0.5 y))
6.695 * [approximate]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in (y x) around 0
6.695 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in x
6.695 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.695 * [taylor]: Taking taylor expansion of 0.5 in x
6.695 * [backup-simplify]: Simplify 0.5 into 0.5
6.695 * [taylor]: Taking taylor expansion of x in x
6.695 * [backup-simplify]: Simplify 0 into 0
6.695 * [backup-simplify]: Simplify 1 into 1
6.695 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
6.695 * [taylor]: Taking taylor expansion of 0.5 in x
6.695 * [backup-simplify]: Simplify 0.5 into 0.5
6.695 * [taylor]: Taking taylor expansion of y in x
6.695 * [backup-simplify]: Simplify y into y
6.695 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y
6.695 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.695 * [taylor]: Taking taylor expansion of 0.5 in y
6.695 * [backup-simplify]: Simplify 0.5 into 0.5
6.695 * [taylor]: Taking taylor expansion of x in y
6.695 * [backup-simplify]: Simplify x into x
6.695 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.695 * [taylor]: Taking taylor expansion of 0.5 in y
6.695 * [backup-simplify]: Simplify 0.5 into 0.5
6.695 * [taylor]: Taking taylor expansion of y in y
6.695 * [backup-simplify]: Simplify 0 into 0
6.695 * [backup-simplify]: Simplify 1 into 1
6.695 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y
6.695 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.695 * [taylor]: Taking taylor expansion of 0.5 in y
6.695 * [backup-simplify]: Simplify 0.5 into 0.5
6.695 * [taylor]: Taking taylor expansion of x in y
6.696 * [backup-simplify]: Simplify x into x
6.696 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.696 * [taylor]: Taking taylor expansion of 0.5 in y
6.696 * [backup-simplify]: Simplify 0.5 into 0.5
6.696 * [taylor]: Taking taylor expansion of y in y
6.696 * [backup-simplify]: Simplify 0 into 0
6.696 * [backup-simplify]: Simplify 1 into 1
6.696 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
6.696 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.697 * [backup-simplify]: Simplify (- 0) into 0
6.697 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x)
6.697 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.697 * [taylor]: Taking taylor expansion of 0.5 in x
6.697 * [backup-simplify]: Simplify 0.5 into 0.5
6.697 * [taylor]: Taking taylor expansion of x in x
6.697 * [backup-simplify]: Simplify 0 into 0
6.697 * [backup-simplify]: Simplify 1 into 1
6.697 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.697 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
6.699 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.699 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.700 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
6.700 * [taylor]: Taking taylor expansion of (- 0.5) in x
6.700 * [taylor]: Taking taylor expansion of 0.5 in x
6.700 * [backup-simplify]: Simplify 0.5 into 0.5
6.700 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.701 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.702 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.702 * [backup-simplify]: Simplify 0.5 into 0.5
6.703 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
6.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.704 * [backup-simplify]: Simplify (- 0) into 0
6.704 * [backup-simplify]: Simplify (+ 0 0) into 0
6.704 * [taylor]: Taking taylor expansion of 0 in x
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify (- 0) into 0
6.705 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.706 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.708 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.708 * [backup-simplify]: Simplify (- 0) into 0
6.708 * [backup-simplify]: Simplify (+ 0 0) into 0
6.708 * [taylor]: Taking taylor expansion of 0 in x
6.708 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (- 0) into 0
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- x)) 1)) (* (- 0.5) (* 1 (/ 1 (- y))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
6.709 * * * [progress]: simplifying candidates
6.718 * [simplify]: Simplifying:
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (* (cbrt (/ 0.5 y)) (cbrt (/ 0.5 y))) (cbrt (/ 0.5 y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (sqrt (/ 0.5 y)) (sqrt (/ 0.5 y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (cbrt 0.5) (cbrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt y)) (/ (cbrt 0.5) (sqrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) y) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ 1 (* (cbrt y) (cbrt y))) (/ 0.5 (cbrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ 1 (sqrt y)) (/ 0.5 (sqrt y)) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma (/ 1 1) (/ 0.5 y) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma (/ 1 1) (/ 0.5 y) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma 1 (/ 0.5 y) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma 1 (/ 0.5 y) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma 1 (/ 0.5 y) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma 1 (/ 0.5 y) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma 1 (/ 0.5 y) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma 1 (/ 0.5 y) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma 1 (/ 0.5 y) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma 1 (/ 0.5 y) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma 1 (/ 0.5 y) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma 1 (/ 0.5 y) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma 1 (/ 0.5 y) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma 1 (/ 0.5 y) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma 1 (/ 0.5 y) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (fma 0.5 (/ 1 y) (- (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))))))
  (fma (- (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x))) (* (cbrt (/ 0.5 x)) (* (cbrt (/ 0.5 x)) (cbrt (/ 0.5 x)))))
  (fma 0.5 (/ 1 y) (- (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x)))))
  (fma (- (sqrt (/ 0.5 x))) (sqrt (/ 0.5 x)) (* (sqrt (/ 0.5 x)) (sqrt (/ 0.5 x))))
  (fma 0.5 (/ 1 y) (- (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (cbrt 0.5) (cbrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 0.5) (cbrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt x) (cbrt x)))))
  (fma 0.5 (/ 1 y) (- (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)))))
  (fma (- (/ (cbrt 0.5) (sqrt x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x)) (* (/ (cbrt 0.5) (sqrt x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt x))))
  (fma 0.5 (/ 1 y) (- (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1))))
  (fma (- (/ (cbrt 0.5) x)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (* (/ (cbrt 0.5) x) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)))
  (fma 0.5 (/ 1 y) (- (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))))))
  (fma (- (/ (sqrt 0.5) (cbrt x))) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (* (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x)))))
  (fma 0.5 (/ 1 y) (- (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x)))))
  (fma (- (/ (sqrt 0.5) (sqrt x))) (/ (sqrt 0.5) (sqrt x)) (* (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt x))))
  (fma 0.5 (/ 1 y) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))))
  (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))
  (fma 0.5 (/ 1 y) (- (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
  (fma (- (/ 0.5 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 0.5 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
  (fma 0.5 (/ 1 y) (- (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x)))))
  (fma (- (/ 0.5 (sqrt x))) (/ 1 (sqrt x)) (* (/ 0.5 (sqrt x)) (/ 1 (sqrt x))))
  (fma 0.5 (/ 1 y) (- (* (/ 0.5 x) (/ 1 1))))
  (fma (- (/ 0.5 x)) (/ 1 1) (* (/ 0.5 x) (/ 1 1)))
  (fma 0.5 (/ 1 y) (- (* (/ 0.5 x) 1)))
  (fma (- (/ 0.5 x)) 1 (* (/ 0.5 x) 1))
  (fma 0.5 (/ 1 y) (- (* (/ 1 x) 0.5)))
  (fma (- (/ 1 x)) 0.5 (* (/ 1 x) 0.5))
  (expm1 (- (/ 0.5 y) (/ 0.5 x)))
  (log1p (- (/ 0.5 y) (/ 0.5 x)))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (- (/ 0.5 x))
  (/ (exp (/ 0.5 y)) (exp (/ 0.5 x)))
  (log (- (/ 0.5 y) (/ 0.5 x)))
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x))))
  (cbrt (- (/ 0.5 y) (/ 0.5 x)))
  (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (- (* 0.5 x) (* y 0.5))
  (* y x)
  (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3))
  (+ (* (/ 0.5 y) (/ 0.5 y)) (+ (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x))))
  (- (/ 0.5 x))
  (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x)))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 1 y) (/ 1 x))
  (- (/ 0.5 x))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
6.736 * * [simplify]: Extracting # 0 : cost  0
6.737 * * [simplify]: Extracting # 1 : cost  0
6.738 * * [simplify]: Extracting # 2 : cost  0
6.739 * * [simplify]: Extracting # 3 : cost  0
6.740 * * [simplify]: Extracting # 4 : cost  0
6.741 * * [simplify]: Extracting # 5 : cost  0
6.742 * * [simplify]: Extracting # 6 : cost  0
6.743 * * [simplify]: Extracting # 7 : cost  0
6.744 * * [simplify]: Extracting # 8 : cost  0
6.745 * * [simplify]: iteration  0 :  314  enodes  (cost  7897 )
6.860 * * [simplify]: Extracting # 0 : cost  0
6.862 * * [simplify]: Extracting # 1 : cost  0
6.864 * * [simplify]: Extracting # 2 : cost  0
6.865 * * [simplify]: Extracting # 3 : cost  0
6.867 * * [simplify]: Extracting # 4 : cost  0
6.869 * * [simplify]: iteration  1 :  689  enodes  (cost  6858 )
7.190 * * [simplify]: Extracting # 0 : cost  0
7.192 * * [simplify]: Extracting # 1 : cost  0
7.194 * * [simplify]: Extracting # 2 : cost  0
7.196 * * [simplify]: Extracting # 3 : cost  0
7.197 * * [simplify]: Extracting # 4 : cost  0
7.198 * * [simplify]: iteration  2 :  1493  enodes  (cost  4834 )
8.947 * * [simplify]: Extracting # 0 : cost  0
8.955 * * [simplify]: Extracting # 1 : cost  0
8.960 * * [simplify]: Extracting # 2 : cost  0
8.970 * * [simplify]: Extracting # 3 : cost  0
8.975 * * [simplify]: Extracting # 4 : cost  0
8.984 * * [simplify]: Extracting # 5 : cost  0
8.993 * * [simplify]: iteration done:  5000  enodes  (cost  3300 )
8.995 * [simplify]: Simplified to:
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (pow (cbrt (/ 0.5 y)) 3) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (pow (/ (cbrt 0.5) (cbrt y)) 3) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ (/ 0.5 (sqrt y)) (sqrt y)) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 (pow (cbrt x) 3)) (/ 0.5 (pow (cbrt x) 3)))
  (- (/ 0.5 y) (/ (/ 0.5 (sqrt x)) (sqrt x)))
  (* (+ (/ -1 (sqrt x)) (/ 1 (sqrt x))) (/ 0.5 (sqrt x)))
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (- (/ 0.5 y) (/ 0.5 x))
  0
  (expm1 (- (/ 0.5 y) (/ 0.5 x)))
  (log1p (- (/ 0.5 y) (/ 0.5 x)))
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (/ (- 0.5) x)
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (log (- (/ 0.5 y) (/ 0.5 x)))
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x))))
  (cbrt (- (/ 0.5 y) (/ 0.5 x)))
  (pow (- (/ 0.5 y) (/ 0.5 x)) 3)
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (* 0.5 (- x y))
  (* y x)
  (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3))
  (fma (/ 0.5 y) (/ 0.5 y) (* (/ 0.5 x) (+ (/ 0.5 y) (/ 0.5 x))))
  (/ (- 0.5) x)
  (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x)))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 1 y) (/ 1 x))
  (/ (- 0.5) x)
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
8.997 * * * [progress]: adding candidates to table
9.209 * * [progress]: iteration 4 / 4
9.209 * * * [progress]: picking best candidate
9.211 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ 1 (/ y (- x y)))))>
9.211 * * * [progress]: localizing error
9.221 * * * [progress]: generating rewritten candidates
9.221 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
9.348 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
9.374 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
9.413 * * * [progress]: generating series expansions
9.413 * * * * [progress]: [ 1 / 3 ] generating series at (2)
9.414 * [backup-simplify]: Simplify (* (/ 1 (* x 2.0)) (/ 1 (/ y (- x y)))) into (* 0.5 (/ (- x y) (* x y)))
9.414 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
9.414 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
9.414 * [taylor]: Taking taylor expansion of 0.5 in y
9.414 * [backup-simplify]: Simplify 0.5 into 0.5
9.414 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
9.414 * [taylor]: Taking taylor expansion of (- x y) in y
9.414 * [taylor]: Taking taylor expansion of x in y
9.414 * [backup-simplify]: Simplify x into x
9.414 * [taylor]: Taking taylor expansion of y in y
9.414 * [backup-simplify]: Simplify 0 into 0
9.414 * [backup-simplify]: Simplify 1 into 1
9.414 * [taylor]: Taking taylor expansion of (* x y) in y
9.414 * [taylor]: Taking taylor expansion of x in y
9.414 * [backup-simplify]: Simplify x into x
9.414 * [taylor]: Taking taylor expansion of y in y
9.414 * [backup-simplify]: Simplify 0 into 0
9.414 * [backup-simplify]: Simplify 1 into 1
9.415 * [backup-simplify]: Simplify (- 0) into 0
9.415 * [backup-simplify]: Simplify (+ x 0) into x
9.415 * [backup-simplify]: Simplify (* x 0) into 0
9.416 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.416 * [backup-simplify]: Simplify (/ x x) into 1
9.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
9.416 * [taylor]: Taking taylor expansion of 0.5 in x
9.416 * [backup-simplify]: Simplify 0.5 into 0.5
9.416 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
9.416 * [taylor]: Taking taylor expansion of (- x y) in x
9.416 * [taylor]: Taking taylor expansion of x in x
9.416 * [backup-simplify]: Simplify 0 into 0
9.416 * [backup-simplify]: Simplify 1 into 1
9.416 * [taylor]: Taking taylor expansion of y in x
9.416 * [backup-simplify]: Simplify y into y
9.416 * [taylor]: Taking taylor expansion of (* x y) in x
9.416 * [taylor]: Taking taylor expansion of x in x
9.416 * [backup-simplify]: Simplify 0 into 0
9.416 * [backup-simplify]: Simplify 1 into 1
9.416 * [taylor]: Taking taylor expansion of y in x
9.416 * [backup-simplify]: Simplify y into y
9.416 * [backup-simplify]: Simplify (- y) into (- y)
9.417 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
9.417 * [backup-simplify]: Simplify (* 0 y) into 0
9.417 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.417 * [backup-simplify]: Simplify (/ (- y) y) into -1
9.417 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
9.417 * [taylor]: Taking taylor expansion of 0.5 in x
9.417 * [backup-simplify]: Simplify 0.5 into 0.5
9.417 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
9.417 * [taylor]: Taking taylor expansion of (- x y) in x
9.417 * [taylor]: Taking taylor expansion of x in x
9.417 * [backup-simplify]: Simplify 0 into 0
9.418 * [backup-simplify]: Simplify 1 into 1
9.418 * [taylor]: Taking taylor expansion of y in x
9.418 * [backup-simplify]: Simplify y into y
9.418 * [taylor]: Taking taylor expansion of (* x y) in x
9.418 * [taylor]: Taking taylor expansion of x in x
9.418 * [backup-simplify]: Simplify 0 into 0
9.418 * [backup-simplify]: Simplify 1 into 1
9.418 * [taylor]: Taking taylor expansion of y in x
9.418 * [backup-simplify]: Simplify y into y
9.418 * [backup-simplify]: Simplify (- y) into (- y)
9.418 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
9.418 * [backup-simplify]: Simplify (* 0 y) into 0
9.418 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.419 * [backup-simplify]: Simplify (/ (- y) y) into -1
9.419 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
9.419 * [taylor]: Taking taylor expansion of -0.5 in y
9.419 * [backup-simplify]: Simplify -0.5 into -0.5
9.420 * [backup-simplify]: Simplify (- 0) into 0
9.421 * [backup-simplify]: Simplify (+ 1 0) into 1
9.422 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.422 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
9.422 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
9.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
9.423 * [taylor]: Taking taylor expansion of 0.5 in y
9.423 * [backup-simplify]: Simplify 0.5 into 0.5
9.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.423 * [taylor]: Taking taylor expansion of y in y
9.423 * [backup-simplify]: Simplify 0 into 0
9.423 * [backup-simplify]: Simplify 1 into 1
9.423 * [backup-simplify]: Simplify (/ 1 1) into 1
9.424 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
9.424 * [backup-simplify]: Simplify 0.5 into 0.5
9.424 * [backup-simplify]: Simplify -0.5 into -0.5
9.424 * [backup-simplify]: Simplify (- 0) into 0
9.425 * [backup-simplify]: Simplify (+ 0 0) into 0
9.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.426 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
9.427 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
9.427 * [taylor]: Taking taylor expansion of 0 in y
9.427 * [backup-simplify]: Simplify 0 into 0
9.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.429 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
9.429 * [backup-simplify]: Simplify 0 into 0
9.429 * [backup-simplify]: Simplify 0 into 0
9.429 * [backup-simplify]: Simplify (- 0) into 0
9.430 * [backup-simplify]: Simplify (+ 0 0) into 0
9.431 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.432 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.433 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
9.433 * [taylor]: Taking taylor expansion of 0 in y
9.433 * [backup-simplify]: Simplify 0 into 0
9.433 * [backup-simplify]: Simplify 0 into 0
9.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.435 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
9.435 * [backup-simplify]: Simplify 0 into 0
9.435 * [backup-simplify]: Simplify 0 into 0
9.435 * [backup-simplify]: Simplify (- 0) into 0
9.436 * [backup-simplify]: Simplify (+ 0 0) into 0
9.438 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
9.438 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.440 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
9.440 * [taylor]: Taking taylor expansion of 0 in y
9.440 * [backup-simplify]: Simplify 0 into 0
9.440 * [backup-simplify]: Simplify 0 into 0
9.440 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.440 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 x) 2.0)) (/ 1 (/ (/ 1 y) (- (/ 1 x) (/ 1 y))))) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y)))
9.440 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in (x y) around 0
9.440 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in y
9.441 * [taylor]: Taking taylor expansion of 0.5 in y
9.441 * [backup-simplify]: Simplify 0.5 into 0.5
9.441 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in y
9.441 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.441 * [taylor]: Taking taylor expansion of x in y
9.441 * [backup-simplify]: Simplify x into x
9.441 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.441 * [taylor]: Taking taylor expansion of y in y
9.441 * [backup-simplify]: Simplify 0 into 0
9.441 * [backup-simplify]: Simplify 1 into 1
9.441 * [backup-simplify]: Simplify (/ 1 1) into 1
9.441 * [taylor]: Taking taylor expansion of (* x y) in y
9.441 * [taylor]: Taking taylor expansion of x in y
9.441 * [backup-simplify]: Simplify x into x
9.441 * [taylor]: Taking taylor expansion of y in y
9.441 * [backup-simplify]: Simplify 0 into 0
9.442 * [backup-simplify]: Simplify 1 into 1
9.442 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
9.442 * [taylor]: Taking taylor expansion of 0.5 in x
9.442 * [backup-simplify]: Simplify 0.5 into 0.5
9.442 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
9.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.442 * [taylor]: Taking taylor expansion of x in x
9.442 * [backup-simplify]: Simplify 0 into 0
9.442 * [backup-simplify]: Simplify 1 into 1
9.442 * [backup-simplify]: Simplify (/ 1 1) into 1
9.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.442 * [taylor]: Taking taylor expansion of y in x
9.442 * [backup-simplify]: Simplify y into y
9.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.442 * [taylor]: Taking taylor expansion of (* x y) in x
9.442 * [taylor]: Taking taylor expansion of x in x
9.442 * [backup-simplify]: Simplify 0 into 0
9.442 * [backup-simplify]: Simplify 1 into 1
9.442 * [taylor]: Taking taylor expansion of y in x
9.443 * [backup-simplify]: Simplify y into y
9.443 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x
9.443 * [taylor]: Taking taylor expansion of 0.5 in x
9.443 * [backup-simplify]: Simplify 0.5 into 0.5
9.443 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x
9.443 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.443 * [taylor]: Taking taylor expansion of x in x
9.443 * [backup-simplify]: Simplify 0 into 0
9.443 * [backup-simplify]: Simplify 1 into 1
9.443 * [backup-simplify]: Simplify (/ 1 1) into 1
9.443 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.443 * [taylor]: Taking taylor expansion of y in x
9.443 * [backup-simplify]: Simplify y into y
9.443 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.443 * [taylor]: Taking taylor expansion of (* x y) in x
9.443 * [taylor]: Taking taylor expansion of x in x
9.443 * [backup-simplify]: Simplify 0 into 0
9.443 * [backup-simplify]: Simplify 1 into 1
9.444 * [taylor]: Taking taylor expansion of y in x
9.444 * [backup-simplify]: Simplify y into y
9.444 * [backup-simplify]: Simplify (+ 1 0) into 1
9.444 * [backup-simplify]: Simplify (* 0 y) into 0
9.445 * [backup-simplify]: Simplify (* 1 0) into 0
9.445 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.445 * [taylor]: Taking taylor expansion of 0 in y
9.445 * [backup-simplify]: Simplify 0 into 0
9.446 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.447 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.447 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
9.447 * [backup-simplify]: Simplify (+ (* 1 y) (* (- (/ 1 y)) 0)) into y
9.447 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
9.447 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
9.447 * [taylor]: Taking taylor expansion of 0.5 in y
9.448 * [backup-simplify]: Simplify 0.5 into 0.5
9.448 * [taylor]: Taking taylor expansion of y in y
9.448 * [backup-simplify]: Simplify 0 into 0
9.448 * [backup-simplify]: Simplify 1 into 1
9.448 * [backup-simplify]: Simplify 0 into 0
9.448 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.450 * [backup-simplify]: Simplify (- 0) into 0
9.450 * [backup-simplify]: Simplify (+ 0 0) into 0
9.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) y) (* 0 0))) into (- 1)
9.452 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
9.452 * [taylor]: Taking taylor expansion of (- 0.5) in y
9.453 * [taylor]: Taking taylor expansion of 0.5 in y
9.453 * [backup-simplify]: Simplify 0.5 into 0.5
9.453 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.453 * [backup-simplify]: Simplify 0 into 0
9.453 * [backup-simplify]: Simplify 0 into 0
9.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.456 * [backup-simplify]: Simplify (- 0) into 0
9.456 * [backup-simplify]: Simplify (+ 0 0) into 0
9.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 y) (* 0 0)))) into 0
9.458 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
9.459 * [taylor]: Taking taylor expansion of 0 in y
9.459 * [backup-simplify]: Simplify 0 into 0
9.459 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.459 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.461 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.461 * [backup-simplify]: Simplify 0.5 into 0.5
9.461 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.464 * [backup-simplify]: Simplify (- 0) into 0
9.464 * [backup-simplify]: Simplify (+ 0 0) into 0
9.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
9.467 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
9.467 * [taylor]: Taking taylor expansion of 0 in y
9.467 * [backup-simplify]: Simplify 0 into 0
9.467 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify (- 0) into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
9.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.473 * [backup-simplify]: Simplify (- 0) into 0
9.473 * [backup-simplify]: Simplify (+ 0 0) into 0
9.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
9.477 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
9.477 * [taylor]: Taking taylor expansion of 0 in y
9.477 * [backup-simplify]: Simplify 0 into 0
9.477 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.478 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 (- x)) 2.0)) (/ 1 (/ (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- y)))))) into (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x)))))
9.479 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in (x y) around 0
9.479 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in y
9.479 * [taylor]: Taking taylor expansion of 0.5 in y
9.479 * [backup-simplify]: Simplify 0.5 into 0.5
9.479 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in y
9.479 * [taylor]: Taking taylor expansion of x in y
9.479 * [backup-simplify]: Simplify x into x
9.479 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
9.479 * [taylor]: Taking taylor expansion of y in y
9.479 * [backup-simplify]: Simplify 0 into 0
9.479 * [backup-simplify]: Simplify 1 into 1
9.479 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.479 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.479 * [taylor]: Taking taylor expansion of y in y
9.479 * [backup-simplify]: Simplify 0 into 0
9.479 * [backup-simplify]: Simplify 1 into 1
9.479 * [backup-simplify]: Simplify (/ 1 1) into 1
9.479 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.480 * [taylor]: Taking taylor expansion of x in y
9.480 * [backup-simplify]: Simplify x into x
9.480 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.480 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
9.480 * [taylor]: Taking taylor expansion of 0.5 in x
9.480 * [backup-simplify]: Simplify 0.5 into 0.5
9.480 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
9.480 * [taylor]: Taking taylor expansion of x in x
9.480 * [backup-simplify]: Simplify 0 into 0
9.480 * [backup-simplify]: Simplify 1 into 1
9.480 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
9.480 * [taylor]: Taking taylor expansion of y in x
9.480 * [backup-simplify]: Simplify y into y
9.480 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.480 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.480 * [taylor]: Taking taylor expansion of y in x
9.480 * [backup-simplify]: Simplify y into y
9.480 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.480 * [taylor]: Taking taylor expansion of x in x
9.480 * [backup-simplify]: Simplify 0 into 0
9.480 * [backup-simplify]: Simplify 1 into 1
9.481 * [backup-simplify]: Simplify (/ 1 1) into 1
9.481 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x
9.481 * [taylor]: Taking taylor expansion of 0.5 in x
9.481 * [backup-simplify]: Simplify 0.5 into 0.5
9.481 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x
9.481 * [taylor]: Taking taylor expansion of x in x
9.481 * [backup-simplify]: Simplify 0 into 0
9.481 * [backup-simplify]: Simplify 1 into 1
9.481 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
9.481 * [taylor]: Taking taylor expansion of y in x
9.481 * [backup-simplify]: Simplify y into y
9.481 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.481 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.481 * [taylor]: Taking taylor expansion of y in x
9.481 * [backup-simplify]: Simplify y into y
9.481 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.481 * [taylor]: Taking taylor expansion of x in x
9.481 * [backup-simplify]: Simplify 0 into 0
9.481 * [backup-simplify]: Simplify 1 into 1
9.482 * [backup-simplify]: Simplify (/ 1 1) into 1
9.482 * [backup-simplify]: Simplify (- 1) into -1
9.482 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.482 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
9.483 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
9.483 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.483 * [taylor]: Taking taylor expansion of 0 in y
9.483 * [backup-simplify]: Simplify 0 into 0
9.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.484 * [backup-simplify]: Simplify (- 0) into 0
9.484 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.485 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1
9.485 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
9.486 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
9.486 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
9.486 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
9.486 * [taylor]: Taking taylor expansion of 0.5 in y
9.486 * [backup-simplify]: Simplify 0.5 into 0.5
9.486 * [taylor]: Taking taylor expansion of y in y
9.486 * [backup-simplify]: Simplify 0 into 0
9.486 * [backup-simplify]: Simplify 1 into 1
9.486 * [backup-simplify]: Simplify 0 into 0
9.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.487 * [backup-simplify]: Simplify (- 0) into 0
9.488 * [backup-simplify]: Simplify (+ 0 0) into 0
9.488 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
9.489 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
9.490 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
9.490 * [taylor]: Taking taylor expansion of 0.5 in y
9.490 * [backup-simplify]: Simplify 0.5 into 0.5
9.491 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.491 * [backup-simplify]: Simplify (- 0) into 0
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.493 * [backup-simplify]: Simplify (- 0) into 0
9.493 * [backup-simplify]: Simplify (+ 0 0) into 0
9.494 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
9.495 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
9.498 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
9.498 * [taylor]: Taking taylor expansion of 0 in y
9.498 * [backup-simplify]: Simplify 0 into 0
9.498 * [backup-simplify]: Simplify 0.5 into 0.5
9.500 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.500 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.500 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.501 * [backup-simplify]: Simplify 0 into 0
9.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.502 * [backup-simplify]: Simplify (- 0) into 0
9.503 * [backup-simplify]: Simplify (+ 0 0) into 0
9.504 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
9.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
9.507 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
9.507 * [taylor]: Taking taylor expansion of 0 in y
9.507 * [backup-simplify]: Simplify 0 into 0
9.507 * [backup-simplify]: Simplify 0 into 0
9.507 * [backup-simplify]: Simplify 0 into 0
9.508 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
9.509 * [backup-simplify]: Simplify (- 0) into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.511 * [backup-simplify]: Simplify (- 0) into 0
9.511 * [backup-simplify]: Simplify (+ 0 0) into 0
9.512 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))))) into 0
9.514 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0
9.516 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
9.516 * [taylor]: Taking taylor expansion of 0 in y
9.517 * [backup-simplify]: Simplify 0 into 0
9.517 * [backup-simplify]: Simplify 0 into 0
9.517 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.517 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
9.517 * [backup-simplify]: Simplify (/ 1 (/ y (- x y))) into (/ (- x y) y)
9.517 * [approximate]: Taking taylor expansion of (/ (- x y) y) in (y x) around 0
9.518 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x
9.518 * [taylor]: Taking taylor expansion of (- x y) in x
9.518 * [taylor]: Taking taylor expansion of x in x
9.518 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify 1 into 1
9.518 * [taylor]: Taking taylor expansion of y in x
9.518 * [backup-simplify]: Simplify y into y
9.518 * [taylor]: Taking taylor expansion of y in x
9.518 * [backup-simplify]: Simplify y into y
9.518 * [backup-simplify]: Simplify (- y) into (- y)
9.518 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
9.518 * [backup-simplify]: Simplify (/ (- y) y) into -1
9.518 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y
9.518 * [taylor]: Taking taylor expansion of (- x y) in y
9.518 * [taylor]: Taking taylor expansion of x in y
9.518 * [backup-simplify]: Simplify x into x
9.518 * [taylor]: Taking taylor expansion of y in y
9.518 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify 1 into 1
9.518 * [taylor]: Taking taylor expansion of y in y
9.518 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify 1 into 1
9.519 * [backup-simplify]: Simplify (- 0) into 0
9.519 * [backup-simplify]: Simplify (+ x 0) into x
9.519 * [backup-simplify]: Simplify (/ x 1) into x
9.519 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y
9.519 * [taylor]: Taking taylor expansion of (- x y) in y
9.519 * [taylor]: Taking taylor expansion of x in y
9.519 * [backup-simplify]: Simplify x into x
9.519 * [taylor]: Taking taylor expansion of y in y
9.519 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify 1 into 1
9.519 * [taylor]: Taking taylor expansion of y in y
9.519 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify 1 into 1
9.519 * [backup-simplify]: Simplify (- 0) into 0
9.520 * [backup-simplify]: Simplify (+ x 0) into x
9.520 * [backup-simplify]: Simplify (/ x 1) into x
9.520 * [taylor]: Taking taylor expansion of x in x
9.520 * [backup-simplify]: Simplify 0 into 0
9.520 * [backup-simplify]: Simplify 1 into 1
9.520 * [backup-simplify]: Simplify 0 into 0
9.520 * [backup-simplify]: Simplify (- 1) into -1
9.521 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.522 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* x (/ 0 1)))) into (- 1)
9.522 * [taylor]: Taking taylor expansion of (- 1) in x
9.522 * [taylor]: Taking taylor expansion of 1 in x
9.522 * [backup-simplify]: Simplify 1 into 1
9.522 * [backup-simplify]: Simplify (- 1) into -1
9.522 * [backup-simplify]: Simplify -1 into -1
9.522 * [backup-simplify]: Simplify 1 into 1
9.523 * [backup-simplify]: Simplify (- 0) into 0
9.523 * [backup-simplify]: Simplify (+ 0 0) into 0
9.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* (- 1) (/ 0 1)))) into 0
9.524 * [taylor]: Taking taylor expansion of 0 in x
9.524 * [backup-simplify]: Simplify 0 into 0
9.524 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify (- 0) into 0
9.525 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify (- 0) into 0
9.526 * [backup-simplify]: Simplify (+ 0 0) into 0
9.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* (- 1) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.528 * [taylor]: Taking taylor expansion of 0 in x
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify (- 0) into 0
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify (+ (* 1 (* x (/ 1 y))) -1) into (- (/ x y) 1)
9.529 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) y)
9.529 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in (y x) around 0
9.529 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x
9.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.529 * [taylor]: Taking taylor expansion of x in x
9.529 * [backup-simplify]: Simplify 0 into 0
9.529 * [backup-simplify]: Simplify 1 into 1
9.529 * [backup-simplify]: Simplify (/ 1 1) into 1
9.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.529 * [taylor]: Taking taylor expansion of y in x
9.529 * [backup-simplify]: Simplify y into y
9.530 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.530 * [taylor]: Taking taylor expansion of y in x
9.530 * [backup-simplify]: Simplify y into y
9.530 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y
9.530 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.530 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.530 * [taylor]: Taking taylor expansion of x in y
9.530 * [backup-simplify]: Simplify x into x
9.530 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.530 * [taylor]: Taking taylor expansion of y in y
9.530 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify 1 into 1
9.530 * [backup-simplify]: Simplify (/ 1 1) into 1
9.530 * [taylor]: Taking taylor expansion of y in y
9.530 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify 1 into 1
9.530 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y
9.530 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.531 * [taylor]: Taking taylor expansion of x in y
9.531 * [backup-simplify]: Simplify x into x
9.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.531 * [taylor]: Taking taylor expansion of y in y
9.531 * [backup-simplify]: Simplify 0 into 0
9.531 * [backup-simplify]: Simplify 1 into 1
9.531 * [backup-simplify]: Simplify (/ 1 1) into 1
9.531 * [taylor]: Taking taylor expansion of y in y
9.531 * [backup-simplify]: Simplify 0 into 0
9.531 * [backup-simplify]: Simplify 1 into 1
9.532 * [backup-simplify]: Simplify (- 1) into -1
9.532 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.533 * [backup-simplify]: Simplify (* -1 0) into 0
9.533 * [taylor]: Taking taylor expansion of 0 in x
9.533 * [backup-simplify]: Simplify 0 into 0
9.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.534 * [backup-simplify]: Simplify (- 0) into 0
9.534 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
9.534 * [backup-simplify]: Simplify (+ (* -1 1) (* (/ 1 x) 0)) into (- 1)
9.534 * [taylor]: Taking taylor expansion of (- 1) in x
9.534 * [taylor]: Taking taylor expansion of 1 in x
9.534 * [backup-simplify]: Simplify 1 into 1
9.534 * [backup-simplify]: Simplify 0 into 0
9.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.536 * [backup-simplify]: Simplify (- 0) into 0
9.536 * [backup-simplify]: Simplify (+ 0 0) into 0
9.537 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 1) (* 0 0))) into (/ 1 x)
9.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.537 * [taylor]: Taking taylor expansion of x in x
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify 1 into 1
9.538 * [backup-simplify]: Simplify (/ 1 1) into 1
9.538 * [backup-simplify]: Simplify 1 into 1
9.538 * [backup-simplify]: Simplify (- 1) into -1
9.538 * [backup-simplify]: Simplify -1 into -1
9.538 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.540 * [backup-simplify]: Simplify (- 0) into 0
9.540 * [backup-simplify]: Simplify (+ 0 0) into 0
9.541 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 1) (* 0 0)))) into 0
9.541 * [taylor]: Taking taylor expansion of 0 in x
9.541 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.542 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (- 0) into 0
9.542 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.543 * [backup-simplify]: Simplify (- 0) into 0
9.543 * [backup-simplify]: Simplify (+ 0 0) into 0
9.544 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.544 * [taylor]: Taking taylor expansion of 0 in x
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.545 * [backup-simplify]: Simplify 0 into 0
9.545 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 y)))) into (- (/ x y) 1)
9.545 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (* y (- (/ 1 y) (/ 1 x))))
9.545 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in (y x) around 0
9.545 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in x
9.545 * [taylor]: Taking taylor expansion of -1 in x
9.545 * [backup-simplify]: Simplify -1 into -1
9.545 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x
9.545 * [taylor]: Taking taylor expansion of y in x
9.545 * [backup-simplify]: Simplify y into y
9.545 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.545 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.545 * [taylor]: Taking taylor expansion of y in x
9.545 * [backup-simplify]: Simplify y into y
9.545 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.545 * [taylor]: Taking taylor expansion of x in x
9.545 * [backup-simplify]: Simplify 0 into 0
9.545 * [backup-simplify]: Simplify 1 into 1
9.545 * [backup-simplify]: Simplify (/ 1 1) into 1
9.545 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in y
9.545 * [taylor]: Taking taylor expansion of -1 in y
9.545 * [backup-simplify]: Simplify -1 into -1
9.545 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
9.545 * [taylor]: Taking taylor expansion of y in y
9.545 * [backup-simplify]: Simplify 0 into 0
9.545 * [backup-simplify]: Simplify 1 into 1
9.546 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.546 * [taylor]: Taking taylor expansion of y in y
9.546 * [backup-simplify]: Simplify 0 into 0
9.546 * [backup-simplify]: Simplify 1 into 1
9.546 * [backup-simplify]: Simplify (/ 1 1) into 1
9.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.546 * [taylor]: Taking taylor expansion of x in y
9.546 * [backup-simplify]: Simplify x into x
9.546 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.546 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 y) (/ 1 x)))) in y
9.546 * [taylor]: Taking taylor expansion of -1 in y
9.546 * [backup-simplify]: Simplify -1 into -1
9.546 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y
9.546 * [taylor]: Taking taylor expansion of y in y
9.546 * [backup-simplify]: Simplify 0 into 0
9.546 * [backup-simplify]: Simplify 1 into 1
9.546 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.546 * [taylor]: Taking taylor expansion of y in y
9.546 * [backup-simplify]: Simplify 0 into 0
9.546 * [backup-simplify]: Simplify 1 into 1
9.546 * [backup-simplify]: Simplify (/ 1 1) into 1
9.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.546 * [taylor]: Taking taylor expansion of x in y
9.546 * [backup-simplify]: Simplify x into x
9.546 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.547 * [backup-simplify]: Simplify (+ 1 0) into 1
9.547 * [backup-simplify]: Simplify (* 0 1) into 0
9.547 * [backup-simplify]: Simplify (* -1 0) into 0
9.547 * [taylor]: Taking taylor expansion of 0 in x
9.547 * [backup-simplify]: Simplify 0 into 0
9.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.548 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
9.548 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
9.548 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 x))) (* 1 1)) into 1
9.549 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
9.549 * [taylor]: Taking taylor expansion of -1 in x
9.549 * [backup-simplify]: Simplify -1 into -1
9.549 * [backup-simplify]: Simplify 0 into 0
9.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.553 * [backup-simplify]: Simplify (- 0) into 0
9.553 * [backup-simplify]: Simplify (+ 0 0) into 0
9.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 x))) (* 0 1))) into (- (/ 1 x))
9.554 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x))) (+ (* 0 1) (* 0 0))) into (/ 1 x)
9.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.554 * [taylor]: Taking taylor expansion of x in x
9.554 * [backup-simplify]: Simplify 0 into 0
9.554 * [backup-simplify]: Simplify 1 into 1
9.555 * [backup-simplify]: Simplify (/ 1 1) into 1
9.555 * [backup-simplify]: Simplify 1 into 1
9.555 * [backup-simplify]: Simplify -1 into -1
9.555 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.556 * [backup-simplify]: Simplify (- 0) into 0
9.556 * [backup-simplify]: Simplify (+ 0 0) into 0
9.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
9.558 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 x))) (+ (* 0 1) (* 0 0)))) into 0
9.558 * [taylor]: Taking taylor expansion of 0 in x
9.558 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.558 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify 0 into 0
9.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.559 * [backup-simplify]: Simplify (- 0) into 0
9.559 * [backup-simplify]: Simplify (+ 0 0) into 0
9.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1))))) into 0
9.561 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (+ (* 0 1) (* 0 0))))) into 0
9.562 * [taylor]: Taking taylor expansion of 0 in x
9.562 * [backup-simplify]: Simplify 0 into 0
9.562 * [backup-simplify]: Simplify 0 into 0
9.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.562 * [backup-simplify]: Simplify 0 into 0
9.562 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))) into (- (/ x y) 1)
9.562 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
9.562 * [backup-simplify]: Simplify (/ y (- x y)) into (/ y (- x y))
9.562 * [approximate]: Taking taylor expansion of (/ y (- x y)) in (y x) around 0
9.563 * [taylor]: Taking taylor expansion of (/ y (- x y)) in x
9.563 * [taylor]: Taking taylor expansion of y in x
9.563 * [backup-simplify]: Simplify y into y
9.563 * [taylor]: Taking taylor expansion of (- x y) in x
9.563 * [taylor]: Taking taylor expansion of x in x
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.563 * [taylor]: Taking taylor expansion of y in x
9.563 * [backup-simplify]: Simplify y into y
9.563 * [backup-simplify]: Simplify (- y) into (- y)
9.563 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
9.563 * [backup-simplify]: Simplify (/ y (- y)) into -1
9.563 * [taylor]: Taking taylor expansion of (/ y (- x y)) in y
9.563 * [taylor]: Taking taylor expansion of y in y
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.563 * [taylor]: Taking taylor expansion of (- x y) in y
9.563 * [taylor]: Taking taylor expansion of x in y
9.563 * [backup-simplify]: Simplify x into x
9.563 * [taylor]: Taking taylor expansion of y in y
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.563 * [backup-simplify]: Simplify (- 0) into 0
9.563 * [backup-simplify]: Simplify (+ x 0) into x
9.563 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.563 * [taylor]: Taking taylor expansion of (/ y (- x y)) in y
9.563 * [taylor]: Taking taylor expansion of y in y
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.563 * [taylor]: Taking taylor expansion of (- x y) in y
9.563 * [taylor]: Taking taylor expansion of x in y
9.563 * [backup-simplify]: Simplify x into x
9.563 * [taylor]: Taking taylor expansion of y in y
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.564 * [backup-simplify]: Simplify (- 0) into 0
9.564 * [backup-simplify]: Simplify (+ x 0) into x
9.564 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.564 * [taylor]: Taking taylor expansion of x in x
9.564 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify 1 into 1
9.564 * [backup-simplify]: Simplify (/ 1 1) into 1
9.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.565 * [backup-simplify]: Simplify 0 into 0
9.565 * [backup-simplify]: Simplify (- 1) into -1
9.565 * [backup-simplify]: Simplify (+ 0 -1) into -1