12.097 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
2.501 * * [progress]: iteration 1 / 4
2.501 * * * [progress]: picking best candidate
2.504 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>
2.504 * * * [progress]: localizing error
2.516 * * * [progress]: generating rewritten candidates
2.516 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.552 * * * [progress]: generating series expansions
2.552 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.553 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
2.553 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
2.553 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
2.553 * [taylor]: Taking taylor expansion of (pow x 4) in y
2.553 * [taylor]: Taking taylor expansion of x in y
2.553 * [backup-simplify]: Simplify x into x
2.553 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.553 * [taylor]: Taking taylor expansion of y in y
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify 1 into 1
2.553 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
2.553 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.553 * [taylor]: Taking taylor expansion of x in x
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify 1 into 1
2.553 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.553 * [taylor]: Taking taylor expansion of y in x
2.553 * [backup-simplify]: Simplify y into y
2.553 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
2.553 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.553 * [taylor]: Taking taylor expansion of x in x
2.554 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify 1 into 1
2.554 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.554 * [taylor]: Taking taylor expansion of y in x
2.554 * [backup-simplify]: Simplify y into y
2.554 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.554 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
2.554 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
2.554 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
2.554 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
2.554 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.554 * [taylor]: Taking taylor expansion of y in y
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 1 into 1
2.555 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
2.555 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
2.556 * [backup-simplify]: Simplify (- 0) into 0
2.556 * [backup-simplify]: Simplify (+ 0 0) into 0
2.556 * [taylor]: Taking taylor expansion of 0 in y
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
2.557 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
2.558 * [backup-simplify]: Simplify (- 0) into 0
2.558 * [backup-simplify]: Simplify (+ 0 0) into 0
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
2.561 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
2.561 * [backup-simplify]: Simplify (- 0) into 0
2.561 * [backup-simplify]: Simplify (+ 0 0) into 0
2.561 * [taylor]: Taking taylor expansion of 0 in y
2.561 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
2.562 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
2.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
2.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
2.562 * [taylor]: Taking taylor expansion of (pow x 4) in y
2.562 * [taylor]: Taking taylor expansion of x in y
2.562 * [backup-simplify]: Simplify x into x
2.562 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.563 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
2.563 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
2.563 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.563 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.563 * [taylor]: Taking taylor expansion of y in y
2.563 * [backup-simplify]: Simplify 0 into 0
2.563 * [backup-simplify]: Simplify 1 into 1
2.563 * [backup-simplify]: Simplify (* 1 1) into 1
2.564 * [backup-simplify]: Simplify (* 1 1) into 1
2.564 * [backup-simplify]: Simplify (/ 1 1) into 1
2.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
2.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.564 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.564 * [taylor]: Taking taylor expansion of x in x
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.565 * [backup-simplify]: Simplify (* 1 1) into 1
2.565 * [backup-simplify]: Simplify (* 1 1) into 1
2.566 * [backup-simplify]: Simplify (/ 1 1) into 1
2.566 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
2.566 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.566 * [taylor]: Taking taylor expansion of y in x
2.566 * [backup-simplify]: Simplify y into y
2.566 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.566 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
2.566 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
2.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
2.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.566 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.566 * [taylor]: Taking taylor expansion of x in x
2.566 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify 1 into 1
2.567 * [backup-simplify]: Simplify (* 1 1) into 1
2.567 * [backup-simplify]: Simplify (* 1 1) into 1
2.567 * [backup-simplify]: Simplify (/ 1 1) into 1
2.568 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
2.568 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.568 * [taylor]: Taking taylor expansion of y in x
2.568 * [backup-simplify]: Simplify y into y
2.568 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.568 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
2.568 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
2.569 * [backup-simplify]: Simplify (+ 1 0) into 1
2.569 * [taylor]: Taking taylor expansion of 1 in y
2.569 * [backup-simplify]: Simplify 1 into 1
2.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.571 * [backup-simplify]: Simplify (+ 0 0) into 0
2.571 * [taylor]: Taking taylor expansion of 0 in y
2.571 * [backup-simplify]: Simplify 0 into 0
2.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.574 * [backup-simplify]: Simplify (+ 0 0) into 0
2.574 * [taylor]: Taking taylor expansion of 0 in y
2.574 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.586 * [backup-simplify]: Simplify (+ 0 0) into 0
2.586 * [taylor]: Taking taylor expansion of 0 in y
2.586 * [backup-simplify]: Simplify 0 into 0
2.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.588 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
2.589 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
2.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
2.589 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.589 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.589 * [taylor]: Taking taylor expansion of y in y
2.589 * [backup-simplify]: Simplify 0 into 0
2.589 * [backup-simplify]: Simplify 1 into 1
2.589 * [backup-simplify]: Simplify (* 1 1) into 1
2.589 * [backup-simplify]: Simplify (* 1 1) into 1
2.589 * [backup-simplify]: Simplify (/ 1 1) into 1
2.590 * [backup-simplify]: Simplify (- 1) into -1
2.590 * [backup-simplify]: Simplify -1 into -1
2.590 * [backup-simplify]: Simplify 1 into 1
2.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.592 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
2.592 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
2.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
2.593 * [backup-simplify]: Simplify (- 0) into 0
2.593 * [backup-simplify]: Simplify (+ 0 0) into 0
2.593 * [taylor]: Taking taylor expansion of 0 in y
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.594 * [backup-simplify]: Simplify (- 0) into 0
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 0 into 0
2.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.597 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
2.597 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
2.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
2.598 * [backup-simplify]: Simplify (- 0) into 0
2.598 * [backup-simplify]: Simplify (+ 0 0) into 0
2.598 * [taylor]: Taking taylor expansion of 0 in y
2.598 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.600 * [backup-simplify]: Simplify (- 0) into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
2.601 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
2.601 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
2.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
2.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
2.601 * [taylor]: Taking taylor expansion of (pow x 4) in y
2.601 * [taylor]: Taking taylor expansion of x in y
2.601 * [backup-simplify]: Simplify x into x
2.601 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.601 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
2.601 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
2.601 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.601 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.601 * [taylor]: Taking taylor expansion of y in y
2.601 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify 1 into 1
2.601 * [backup-simplify]: Simplify (* 1 1) into 1
2.602 * [backup-simplify]: Simplify (* 1 1) into 1
2.602 * [backup-simplify]: Simplify (/ 1 1) into 1
2.602 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
2.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.602 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.602 * [taylor]: Taking taylor expansion of x in x
2.602 * [backup-simplify]: Simplify 0 into 0
2.602 * [backup-simplify]: Simplify 1 into 1
2.602 * [backup-simplify]: Simplify (* 1 1) into 1
2.602 * [backup-simplify]: Simplify (* 1 1) into 1
2.603 * [backup-simplify]: Simplify (/ 1 1) into 1
2.603 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
2.603 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.603 * [taylor]: Taking taylor expansion of y in x
2.603 * [backup-simplify]: Simplify y into y
2.603 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.603 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
2.603 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
2.603 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
2.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.603 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.603 * [taylor]: Taking taylor expansion of x in x
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 1 into 1
2.603 * [backup-simplify]: Simplify (* 1 1) into 1
2.604 * [backup-simplify]: Simplify (* 1 1) into 1
2.604 * [backup-simplify]: Simplify (/ 1 1) into 1
2.604 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
2.604 * [taylor]: Taking taylor expansion of (pow y 4) in x
2.604 * [taylor]: Taking taylor expansion of y in x
2.604 * [backup-simplify]: Simplify y into y
2.604 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.604 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
2.604 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
2.605 * [backup-simplify]: Simplify (+ 1 0) into 1
2.605 * [taylor]: Taking taylor expansion of 1 in y
2.605 * [backup-simplify]: Simplify 1 into 1
2.605 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.605 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.606 * [backup-simplify]: Simplify (+ 0 0) into 0
2.606 * [taylor]: Taking taylor expansion of 0 in y
2.606 * [backup-simplify]: Simplify 0 into 0
2.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.608 * [backup-simplify]: Simplify (+ 0 0) into 0
2.608 * [taylor]: Taking taylor expansion of 0 in y
2.608 * [backup-simplify]: Simplify 0 into 0
2.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.610 * [backup-simplify]: Simplify (+ 0 0) into 0
2.610 * [taylor]: Taking taylor expansion of 0 in y
2.610 * [backup-simplify]: Simplify 0 into 0
2.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.613 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
2.613 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
2.614 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
2.614 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.614 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.614 * [taylor]: Taking taylor expansion of y in y
2.614 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify 1 into 1
2.614 * [backup-simplify]: Simplify (* 1 1) into 1
2.614 * [backup-simplify]: Simplify (* 1 1) into 1
2.615 * [backup-simplify]: Simplify (/ 1 1) into 1
2.615 * [backup-simplify]: Simplify (- 1) into -1
2.615 * [backup-simplify]: Simplify -1 into -1
2.615 * [backup-simplify]: Simplify 1 into 1
2.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.619 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
2.619 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
2.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
2.620 * [backup-simplify]: Simplify (- 0) into 0
2.621 * [backup-simplify]: Simplify (+ 0 0) into 0
2.621 * [taylor]: Taking taylor expansion of 0 in y
2.621 * [backup-simplify]: Simplify 0 into 0
2.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.623 * [backup-simplify]: Simplify (- 0) into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.628 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
2.628 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
2.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
2.629 * [backup-simplify]: Simplify (- 0) into 0
2.629 * [backup-simplify]: Simplify (+ 0 0) into 0
2.630 * [taylor]: Taking taylor expansion of 0 in y
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.633 * [backup-simplify]: Simplify (- 0) into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
2.633 * * * [progress]: simplifying candidates
2.634 * [simplify]: Simplifying:
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
3.392 * * * [progress]: adding candidates to table
3.488 * * [progress]: iteration 2 / 4
3.488 * * * [progress]: picking best candidate
3.490 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))>
3.490 * * * [progress]: localizing error
3.500 * * * [progress]: generating rewritten candidates
3.500 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.529 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.554 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.744 * * * [progress]: generating series expansions
3.744 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.745 * [backup-simplify]: Simplify (sqrt (- (pow x 4.0) (pow y 4.0))) into (sqrt (- (pow x 4) (pow y 4)))
3.745 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in (x y) around 0
3.745 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in y
3.745 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
3.745 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.745 * [taylor]: Taking taylor expansion of x in y
3.745 * [backup-simplify]: Simplify x into x
3.745 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.745 * [taylor]: Taking taylor expansion of y in y
3.745 * [backup-simplify]: Simplify 0 into 0
3.745 * [backup-simplify]: Simplify 1 into 1
3.745 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.745 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.745 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4)
3.745 * [backup-simplify]: Simplify (sqrt (pow x 4)) into (pow x 2)
3.745 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
3.746 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 (pow x 2))) into 0
3.746 * [backup-simplify]: Simplify (+ 0 0) into 0
3.746 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 4)))) into 0
3.746 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in x
3.746 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.746 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.746 * [taylor]: Taking taylor expansion of x in x
3.746 * [backup-simplify]: Simplify 0 into 0
3.746 * [backup-simplify]: Simplify 1 into 1
3.746 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.746 * [taylor]: Taking taylor expansion of y in x
3.746 * [backup-simplify]: Simplify y into y
3.746 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.747 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.747 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.747 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.747 * [backup-simplify]: Simplify (sqrt (- (pow y 4))) into (sqrt (- (pow y 4)))
3.747 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.747 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.747 * [backup-simplify]: Simplify (- 0) into 0
3.748 * [backup-simplify]: Simplify (+ 0 0) into 0
3.748 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 4))))) into 0
3.748 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in x
3.748 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.748 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.748 * [taylor]: Taking taylor expansion of x in x
3.748 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify 1 into 1
3.748 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.748 * [taylor]: Taking taylor expansion of y in x
3.748 * [backup-simplify]: Simplify y into y
3.748 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.748 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.748 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.748 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.748 * [backup-simplify]: Simplify (sqrt (- (pow y 4))) into (sqrt (- (pow y 4)))
3.749 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.749 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.749 * [backup-simplify]: Simplify (- 0) into 0
3.749 * [backup-simplify]: Simplify (+ 0 0) into 0
3.749 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 4))))) into 0
3.749 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 4))) in y
3.749 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.749 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.749 * [taylor]: Taking taylor expansion of y in y
3.749 * [backup-simplify]: Simplify 0 into 0
3.749 * [backup-simplify]: Simplify 1 into 1
3.750 * [backup-simplify]: Simplify (* 1 1) into 1
3.750 * [backup-simplify]: Simplify (* 1 1) into 1
3.750 * [backup-simplify]: Simplify (- 1) into -1
3.750 * [backup-simplify]: Simplify (- 1) into -1
3.751 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.752 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.752 * [backup-simplify]: Simplify (- 0) into 0
3.752 * [backup-simplify]: Simplify (- 1) into -1
3.752 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.752 * [taylor]: Taking taylor expansion of 0 in y
3.752 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.753 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.754 * [backup-simplify]: Simplify (- 0) into 0
3.754 * [backup-simplify]: Simplify (+ 0 0) into 0
3.754 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (pow y 4))))) into 0
3.755 * [taylor]: Taking taylor expansion of 0 in y
3.755 * [backup-simplify]: Simplify 0 into 0
3.755 * [backup-simplify]: Simplify 0 into 0
3.755 * [backup-simplify]: Simplify 0 into 0
3.755 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.755 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.756 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
3.756 * [backup-simplify]: Simplify (- 0) into 0
3.756 * [backup-simplify]: Simplify (+ 0 0) into 0
3.757 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (pow y 4))))) into 0
3.757 * [taylor]: Taking taylor expansion of 0 in y
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify (* 1 1) into 1
3.758 * [backup-simplify]: Simplify (* 1 1) into 1
3.758 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.759 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
3.759 * [backup-simplify]: Simplify (- 0) into 0
3.764 * [backup-simplify]: Simplify (+ 1 0) into 1
3.765 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (pow y 4))))) into (/ 1/2 (sqrt (- (pow y 4))))
3.765 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow y 4)))) in y
3.765 * [taylor]: Taking taylor expansion of 1/2 in y
3.765 * [backup-simplify]: Simplify 1/2 into 1/2
3.765 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 4))) in y
3.765 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.765 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [backup-simplify]: Simplify 0 into 0
3.765 * [backup-simplify]: Simplify 1 into 1
3.765 * [backup-simplify]: Simplify (* 1 1) into 1
3.766 * [backup-simplify]: Simplify (* 1 1) into 1
3.766 * [backup-simplify]: Simplify (- 1) into -1
3.766 * [backup-simplify]: Simplify (- 1) into -1
3.766 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.767 * [backup-simplify]: Simplify (- 0) into 0
3.768 * [backup-simplify]: Simplify (- 1) into -1
3.768 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.769 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
3.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.770 * [backup-simplify]: Simplify (- 0) into 0
3.770 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0
3.771 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0
3.772 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify (* (sqrt -1) (pow (* y 1) 2)) into (* (pow y 2) (sqrt -1))
3.773 * [backup-simplify]: Simplify (sqrt (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0))) into (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))
3.773 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in (x y) around 0
3.773 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y
3.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.773 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.773 * [taylor]: Taking taylor expansion of x in y
3.773 * [backup-simplify]: Simplify x into x
3.773 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.773 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.773 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.773 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.773 * [taylor]: Taking taylor expansion of y in y
3.773 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify 1 into 1
3.773 * [backup-simplify]: Simplify (* 1 1) into 1
3.774 * [backup-simplify]: Simplify (* 1 1) into 1
3.774 * [backup-simplify]: Simplify (/ 1 1) into 1
3.774 * [backup-simplify]: Simplify (- 1) into -1
3.774 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.775 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.775 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.775 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.776 * [backup-simplify]: Simplify (- 0) into 0
3.776 * [backup-simplify]: Simplify (+ 0 0) into 0
3.777 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.777 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.777 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.777 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.777 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.777 * [taylor]: Taking taylor expansion of x in x
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 1 into 1
3.777 * [backup-simplify]: Simplify (* 1 1) into 1
3.777 * [backup-simplify]: Simplify (* 1 1) into 1
3.778 * [backup-simplify]: Simplify (/ 1 1) into 1
3.778 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.778 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.778 * [taylor]: Taking taylor expansion of y in x
3.778 * [backup-simplify]: Simplify y into y
3.778 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.778 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.778 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.778 * [backup-simplify]: Simplify (+ 1 0) into 1
3.779 * [backup-simplify]: Simplify (sqrt 1) into 1
3.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.780 * [backup-simplify]: Simplify (+ 0 0) into 0
3.780 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.780 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.781 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.781 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.781 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.781 * [taylor]: Taking taylor expansion of x in x
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [backup-simplify]: Simplify (* 1 1) into 1
3.781 * [backup-simplify]: Simplify (* 1 1) into 1
3.781 * [backup-simplify]: Simplify (/ 1 1) into 1
3.781 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.781 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.781 * [taylor]: Taking taylor expansion of y in x
3.781 * [backup-simplify]: Simplify y into y
3.781 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.782 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.782 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.782 * [backup-simplify]: Simplify (+ 1 0) into 1
3.782 * [backup-simplify]: Simplify (sqrt 1) into 1
3.783 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.783 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.784 * [backup-simplify]: Simplify (+ 0 0) into 0
3.784 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.784 * [taylor]: Taking taylor expansion of 1 in y
3.784 * [backup-simplify]: Simplify 1 into 1
3.784 * [taylor]: Taking taylor expansion of 0 in y
3.784 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.786 * [backup-simplify]: Simplify (+ 0 0) into 0
3.787 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 1)) into 0
3.787 * [taylor]: Taking taylor expansion of 0 in y
3.787 * [backup-simplify]: Simplify 0 into 0
3.787 * [backup-simplify]: Simplify 1 into 1
3.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.790 * [backup-simplify]: Simplify (+ 0 0) into 0
3.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 1)) into 0
3.791 * [taylor]: Taking taylor expansion of 0 in y
3.791 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify 0 into 0
3.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.795 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.795 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.796 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow y 4))) (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/2 (pow y 4))
3.796 * [taylor]: Taking taylor expansion of (/ -1/2 (pow y 4)) in y
3.796 * [taylor]: Taking taylor expansion of -1/2 in y
3.797 * [backup-simplify]: Simplify -1/2 into -1/2
3.797 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.797 * [taylor]: Taking taylor expansion of y in y
3.797 * [backup-simplify]: Simplify 0 into 0
3.797 * [backup-simplify]: Simplify 1 into 1
3.797 * [backup-simplify]: Simplify (* 1 1) into 1
3.797 * [backup-simplify]: Simplify (* 1 1) into 1
3.798 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
3.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
3.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.802 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) into (pow x 2)
3.803 * [backup-simplify]: Simplify (sqrt (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0))) into (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))
3.803 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in (x y) around 0
3.803 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y
3.803 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.803 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.803 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.803 * [taylor]: Taking taylor expansion of x in y
3.803 * [backup-simplify]: Simplify x into x
3.803 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.803 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.804 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.804 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.804 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.804 * [taylor]: Taking taylor expansion of y in y
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify 1 into 1
3.804 * [backup-simplify]: Simplify (* 1 1) into 1
3.804 * [backup-simplify]: Simplify (* 1 1) into 1
3.804 * [backup-simplify]: Simplify (/ 1 1) into 1
3.805 * [backup-simplify]: Simplify (- 1) into -1
3.805 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.805 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.807 * [backup-simplify]: Simplify (- 0) into 0
3.807 * [backup-simplify]: Simplify (+ 0 0) into 0
3.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.807 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.807 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.807 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.807 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.807 * [taylor]: Taking taylor expansion of x in x
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 1 into 1
3.808 * [backup-simplify]: Simplify (* 1 1) into 1
3.808 * [backup-simplify]: Simplify (* 1 1) into 1
3.808 * [backup-simplify]: Simplify (/ 1 1) into 1
3.808 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.808 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.808 * [taylor]: Taking taylor expansion of y in x
3.808 * [backup-simplify]: Simplify y into y
3.808 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.808 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.809 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.809 * [backup-simplify]: Simplify (+ 1 0) into 1
3.809 * [backup-simplify]: Simplify (sqrt 1) into 1
3.809 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.810 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.810 * [backup-simplify]: Simplify (+ 0 0) into 0
3.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.811 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.811 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.811 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.811 * [taylor]: Taking taylor expansion of x in x
3.811 * [backup-simplify]: Simplify 0 into 0
3.811 * [backup-simplify]: Simplify 1 into 1
3.811 * [backup-simplify]: Simplify (* 1 1) into 1
3.812 * [backup-simplify]: Simplify (* 1 1) into 1
3.812 * [backup-simplify]: Simplify (/ 1 1) into 1
3.812 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.812 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.812 * [taylor]: Taking taylor expansion of y in x
3.812 * [backup-simplify]: Simplify y into y
3.812 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.812 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.812 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.812 * [backup-simplify]: Simplify (+ 1 0) into 1
3.813 * [backup-simplify]: Simplify (sqrt 1) into 1
3.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.814 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.815 * [taylor]: Taking taylor expansion of 1 in y
3.815 * [backup-simplify]: Simplify 1 into 1
3.815 * [taylor]: Taking taylor expansion of 0 in y
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.816 * [backup-simplify]: Simplify (+ 0 0) into 0
3.817 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 1)) into 0
3.817 * [taylor]: Taking taylor expansion of 0 in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.819 * [backup-simplify]: Simplify (+ 0 0) into 0
3.820 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 1)) into 0
3.820 * [taylor]: Taking taylor expansion of 0 in y
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.822 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.822 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.823 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow y 4))) (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/2 (pow y 4))
3.823 * [taylor]: Taking taylor expansion of (/ -1/2 (pow y 4)) in y
3.823 * [taylor]: Taking taylor expansion of -1/2 in y
3.823 * [backup-simplify]: Simplify -1/2 into -1/2
3.823 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.823 * [taylor]: Taking taylor expansion of y in y
3.823 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify 1 into 1
3.823 * [backup-simplify]: Simplify (* 1 1) into 1
3.824 * [backup-simplify]: Simplify (* 1 1) into 1
3.824 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
3.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
3.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) into (pow x 2)
3.827 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.827 * [backup-simplify]: Simplify (sqrt (- (pow x 4.0) (pow y 4.0))) into (sqrt (- (pow x 4) (pow y 4)))
3.827 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in (x y) around 0
3.827 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in y
3.827 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
3.827 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.827 * [taylor]: Taking taylor expansion of x in y
3.827 * [backup-simplify]: Simplify x into x
3.827 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.827 * [taylor]: Taking taylor expansion of y in y
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify 1 into 1
3.827 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.828 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.828 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4)
3.828 * [backup-simplify]: Simplify (sqrt (pow x 4)) into (pow x 2)
3.828 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
3.828 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 (pow x 2))) into 0
3.828 * [backup-simplify]: Simplify (+ 0 0) into 0
3.828 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 4)))) into 0
3.828 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in x
3.828 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.828 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.828 * [taylor]: Taking taylor expansion of x in x
3.828 * [backup-simplify]: Simplify 0 into 0
3.828 * [backup-simplify]: Simplify 1 into 1
3.828 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.829 * [taylor]: Taking taylor expansion of y in x
3.829 * [backup-simplify]: Simplify y into y
3.829 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.829 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.829 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.829 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.829 * [backup-simplify]: Simplify (sqrt (- (pow y 4))) into (sqrt (- (pow y 4)))
3.829 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.829 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.829 * [backup-simplify]: Simplify (- 0) into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 4))))) into 0
3.830 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 4) (pow y 4))) in x
3.830 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.830 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.830 * [taylor]: Taking taylor expansion of x in x
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 1 into 1
3.830 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.830 * [taylor]: Taking taylor expansion of y in x
3.830 * [backup-simplify]: Simplify y into y
3.830 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.830 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.830 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.830 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.831 * [backup-simplify]: Simplify (sqrt (- (pow y 4))) into (sqrt (- (pow y 4)))
3.831 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.831 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.831 * [backup-simplify]: Simplify (- 0) into 0
3.831 * [backup-simplify]: Simplify (+ 0 0) into 0
3.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 4))))) into 0
3.831 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 4))) in y
3.831 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.832 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.832 * [taylor]: Taking taylor expansion of y in y
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify 1 into 1
3.832 * [backup-simplify]: Simplify (* 1 1) into 1
3.832 * [backup-simplify]: Simplify (* 1 1) into 1
3.832 * [backup-simplify]: Simplify (- 1) into -1
3.833 * [backup-simplify]: Simplify (- 1) into -1
3.833 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.833 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.834 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.834 * [backup-simplify]: Simplify (- 0) into 0
3.834 * [backup-simplify]: Simplify (- 1) into -1
3.834 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.834 * [taylor]: Taking taylor expansion of 0 in y
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.835 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.835 * [backup-simplify]: Simplify (- 0) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (pow y 4))))) into 0
3.836 * [taylor]: Taking taylor expansion of 0 in y
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.837 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.838 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
3.838 * [backup-simplify]: Simplify (- 0) into 0
3.838 * [backup-simplify]: Simplify (+ 0 0) into 0
3.839 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (pow y 4))))) into 0
3.839 * [taylor]: Taking taylor expansion of 0 in y
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (* 1 1) into 1
3.840 * [backup-simplify]: Simplify (* 1 1) into 1
3.840 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.841 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
3.841 * [backup-simplify]: Simplify (- 0) into 0
3.842 * [backup-simplify]: Simplify (+ 1 0) into 1
3.842 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (pow y 4))))) into (/ 1/2 (sqrt (- (pow y 4))))
3.842 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow y 4)))) in y
3.842 * [taylor]: Taking taylor expansion of 1/2 in y
3.842 * [backup-simplify]: Simplify 1/2 into 1/2
3.842 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 4))) in y
3.842 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.842 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.842 * [taylor]: Taking taylor expansion of y in y
3.843 * [backup-simplify]: Simplify 0 into 0
3.843 * [backup-simplify]: Simplify 1 into 1
3.843 * [backup-simplify]: Simplify (* 1 1) into 1
3.843 * [backup-simplify]: Simplify (* 1 1) into 1
3.843 * [backup-simplify]: Simplify (- 1) into -1
3.843 * [backup-simplify]: Simplify (- 1) into -1
3.844 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.845 * [backup-simplify]: Simplify (- 0) into 0
3.845 * [backup-simplify]: Simplify (- 1) into -1
3.845 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.846 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
3.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.847 * [backup-simplify]: Simplify (- 0) into 0
3.848 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0
3.849 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0
3.849 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0
3.849 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify 0 into 0
3.850 * [backup-simplify]: Simplify (* (sqrt -1) (pow (* y 1) 2)) into (* (pow y 2) (sqrt -1))
3.850 * [backup-simplify]: Simplify (sqrt (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0))) into (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))
3.850 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in (x y) around 0
3.850 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y
3.850 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.850 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.850 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.850 * [taylor]: Taking taylor expansion of x in y
3.850 * [backup-simplify]: Simplify x into x
3.850 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.850 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.850 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.851 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.851 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.851 * [taylor]: Taking taylor expansion of y in y
3.851 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify 1 into 1
3.851 * [backup-simplify]: Simplify (* 1 1) into 1
3.851 * [backup-simplify]: Simplify (* 1 1) into 1
3.851 * [backup-simplify]: Simplify (/ 1 1) into 1
3.852 * [backup-simplify]: Simplify (- 1) into -1
3.852 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.852 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.853 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.853 * [backup-simplify]: Simplify (- 0) into 0
3.854 * [backup-simplify]: Simplify (+ 0 0) into 0
3.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.854 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.854 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.854 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [backup-simplify]: Simplify 0 into 0
3.854 * [backup-simplify]: Simplify 1 into 1
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (/ 1 1) into 1
3.855 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.855 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.855 * [taylor]: Taking taylor expansion of y in x
3.855 * [backup-simplify]: Simplify y into y
3.855 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.855 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.855 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.856 * [backup-simplify]: Simplify (+ 1 0) into 1
3.856 * [backup-simplify]: Simplify (sqrt 1) into 1
3.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.857 * [backup-simplify]: Simplify (+ 0 0) into 0
3.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.858 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.858 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.858 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.858 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.858 * [taylor]: Taking taylor expansion of x in x
3.858 * [backup-simplify]: Simplify 0 into 0
3.858 * [backup-simplify]: Simplify 1 into 1
3.858 * [backup-simplify]: Simplify (* 1 1) into 1
3.858 * [backup-simplify]: Simplify (* 1 1) into 1
3.859 * [backup-simplify]: Simplify (/ 1 1) into 1
3.859 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.859 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.859 * [taylor]: Taking taylor expansion of y in x
3.859 * [backup-simplify]: Simplify y into y
3.859 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.859 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.859 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.859 * [backup-simplify]: Simplify (+ 1 0) into 1
3.860 * [backup-simplify]: Simplify (sqrt 1) into 1
3.860 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.865 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.866 * [backup-simplify]: Simplify (+ 0 0) into 0
3.866 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.866 * [taylor]: Taking taylor expansion of 1 in y
3.866 * [backup-simplify]: Simplify 1 into 1
3.867 * [taylor]: Taking taylor expansion of 0 in y
3.867 * [backup-simplify]: Simplify 0 into 0
3.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.869 * [backup-simplify]: Simplify (+ 0 0) into 0
3.870 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 1)) into 0
3.870 * [taylor]: Taking taylor expansion of 0 in y
3.870 * [backup-simplify]: Simplify 0 into 0
3.870 * [backup-simplify]: Simplify 1 into 1
3.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.874 * [backup-simplify]: Simplify (+ 0 0) into 0
3.874 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 1)) into 0
3.875 * [taylor]: Taking taylor expansion of 0 in y
3.875 * [backup-simplify]: Simplify 0 into 0
3.875 * [backup-simplify]: Simplify 0 into 0
3.875 * [backup-simplify]: Simplify 0 into 0
3.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.878 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.878 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.880 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow y 4))) (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/2 (pow y 4))
3.880 * [taylor]: Taking taylor expansion of (/ -1/2 (pow y 4)) in y
3.880 * [taylor]: Taking taylor expansion of -1/2 in y
3.880 * [backup-simplify]: Simplify -1/2 into -1/2
3.880 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.880 * [taylor]: Taking taylor expansion of y in y
3.880 * [backup-simplify]: Simplify 0 into 0
3.880 * [backup-simplify]: Simplify 1 into 1
3.880 * [backup-simplify]: Simplify (* 1 1) into 1
3.881 * [backup-simplify]: Simplify (* 1 1) into 1
3.881 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
3.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.884 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
3.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) into (pow x 2)
3.887 * [backup-simplify]: Simplify (sqrt (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0))) into (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))
3.887 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in (x y) around 0
3.887 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y
3.887 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.887 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.887 * [taylor]: Taking taylor expansion of x in y
3.887 * [backup-simplify]: Simplify x into x
3.887 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.887 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.887 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.887 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.887 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.887 * [taylor]: Taking taylor expansion of y in y
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (* 1 1) into 1
3.888 * [backup-simplify]: Simplify (* 1 1) into 1
3.888 * [backup-simplify]: Simplify (/ 1 1) into 1
3.889 * [backup-simplify]: Simplify (- 1) into -1
3.889 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.890 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.891 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.892 * [backup-simplify]: Simplify (- 0) into 0
3.892 * [backup-simplify]: Simplify (+ 0 0) into 0
3.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.893 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.893 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.893 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.893 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.893 * [taylor]: Taking taylor expansion of x in x
3.893 * [backup-simplify]: Simplify 0 into 0
3.893 * [backup-simplify]: Simplify 1 into 1
3.894 * [backup-simplify]: Simplify (* 1 1) into 1
3.894 * [backup-simplify]: Simplify (* 1 1) into 1
3.894 * [backup-simplify]: Simplify (/ 1 1) into 1
3.894 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.894 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.894 * [taylor]: Taking taylor expansion of y in x
3.894 * [backup-simplify]: Simplify y into y
3.894 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.895 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.895 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.895 * [backup-simplify]: Simplify (+ 1 0) into 1
3.896 * [backup-simplify]: Simplify (sqrt 1) into 1
3.896 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.897 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.898 * [backup-simplify]: Simplify (+ 0 0) into 0
3.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.898 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x
3.899 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.899 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.899 * [taylor]: Taking taylor expansion of x in x
3.899 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify 1 into 1
3.899 * [backup-simplify]: Simplify (* 1 1) into 1
3.899 * [backup-simplify]: Simplify (* 1 1) into 1
3.900 * [backup-simplify]: Simplify (/ 1 1) into 1
3.900 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.900 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.900 * [taylor]: Taking taylor expansion of y in x
3.900 * [backup-simplify]: Simplify y into y
3.900 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.900 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.900 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.901 * [backup-simplify]: Simplify (+ 1 0) into 1
3.901 * [backup-simplify]: Simplify (sqrt 1) into 1
3.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.903 * [backup-simplify]: Simplify (+ 0 0) into 0
3.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.904 * [taylor]: Taking taylor expansion of 1 in y
3.904 * [backup-simplify]: Simplify 1 into 1
3.904 * [taylor]: Taking taylor expansion of 0 in y
3.904 * [backup-simplify]: Simplify 0 into 0
3.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.907 * [backup-simplify]: Simplify (+ 0 0) into 0
3.908 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 1)) into 0
3.908 * [taylor]: Taking taylor expansion of 0 in y
3.908 * [backup-simplify]: Simplify 0 into 0
3.908 * [backup-simplify]: Simplify 1 into 1
3.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.911 * [backup-simplify]: Simplify (+ 0 0) into 0
3.912 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 1)) into 0
3.912 * [taylor]: Taking taylor expansion of 0 in y
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.916 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.916 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.917 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow y 4))) (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 1)) into (/ -1/2 (pow y 4))
3.917 * [taylor]: Taking taylor expansion of (/ -1/2 (pow y 4)) in y
3.917 * [taylor]: Taking taylor expansion of -1/2 in y
3.918 * [backup-simplify]: Simplify -1/2 into -1/2
3.918 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.918 * [taylor]: Taking taylor expansion of y in y
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify 1 into 1
3.918 * [backup-simplify]: Simplify (* 1 1) into 1
3.918 * [backup-simplify]: Simplify (* 1 1) into 1
3.919 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2
3.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.920 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.922 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
3.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) into (pow x 2)
3.924 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.924 * [backup-simplify]: Simplify (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) into (- (pow x 4) (pow y 4))
3.924 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
3.925 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
3.925 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.925 * [taylor]: Taking taylor expansion of x in y
3.925 * [backup-simplify]: Simplify x into x
3.925 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.925 * [taylor]: Taking taylor expansion of y in y
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.925 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.925 * [taylor]: Taking taylor expansion of y in x
3.925 * [backup-simplify]: Simplify y into y
3.925 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.925 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.925 * [taylor]: Taking taylor expansion of y in x
3.925 * [backup-simplify]: Simplify y into y
3.925 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.926 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.926 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.926 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.926 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.926 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.926 * [taylor]: Taking taylor expansion of y in y
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 1 into 1
3.926 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.926 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.927 * [backup-simplify]: Simplify (- 0) into 0
3.927 * [backup-simplify]: Simplify (+ 0 0) into 0
3.927 * [taylor]: Taking taylor expansion of 0 in y
3.927 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.928 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.929 * [backup-simplify]: Simplify (- 0) into 0
3.929 * [backup-simplify]: Simplify (+ 0 0) into 0
3.929 * [taylor]: Taking taylor expansion of 0 in y
3.929 * [backup-simplify]: Simplify 0 into 0
3.929 * [backup-simplify]: Simplify 0 into 0
3.929 * [backup-simplify]: Simplify 0 into 0
3.930 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.931 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
3.931 * [backup-simplify]: Simplify (- 0) into 0
3.932 * [backup-simplify]: Simplify (+ 0 0) into 0
3.932 * [taylor]: Taking taylor expansion of 0 in y
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 0 into 0
3.933 * [backup-simplify]: Simplify (* (sqrt (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0))) (sqrt (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)))) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.933 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.933 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.933 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.933 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.933 * [taylor]: Taking taylor expansion of x in y
3.933 * [backup-simplify]: Simplify x into x
3.933 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.933 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.933 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.934 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.934 * [taylor]: Taking taylor expansion of y in y
3.934 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify 1 into 1
3.934 * [backup-simplify]: Simplify (* 1 1) into 1
3.934 * [backup-simplify]: Simplify (* 1 1) into 1
3.935 * [backup-simplify]: Simplify (/ 1 1) into 1
3.935 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.935 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.935 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.935 * [taylor]: Taking taylor expansion of x in x
3.935 * [backup-simplify]: Simplify 0 into 0
3.935 * [backup-simplify]: Simplify 1 into 1
3.935 * [backup-simplify]: Simplify (* 1 1) into 1
3.936 * [backup-simplify]: Simplify (* 1 1) into 1
3.936 * [backup-simplify]: Simplify (/ 1 1) into 1
3.936 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.936 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.936 * [taylor]: Taking taylor expansion of y in x
3.936 * [backup-simplify]: Simplify y into y
3.936 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.936 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.937 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.937 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.937 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.937 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.937 * [taylor]: Taking taylor expansion of x in x
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify 1 into 1
3.937 * [backup-simplify]: Simplify (* 1 1) into 1
3.937 * [backup-simplify]: Simplify (* 1 1) into 1
3.938 * [backup-simplify]: Simplify (/ 1 1) into 1
3.938 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.938 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.938 * [taylor]: Taking taylor expansion of y in x
3.938 * [backup-simplify]: Simplify y into y
3.938 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.938 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.938 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.939 * [backup-simplify]: Simplify (+ 1 0) into 1
3.939 * [taylor]: Taking taylor expansion of 1 in y
3.939 * [backup-simplify]: Simplify 1 into 1
3.939 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.940 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.941 * [backup-simplify]: Simplify (+ 0 0) into 0
3.941 * [taylor]: Taking taylor expansion of 0 in y
3.941 * [backup-simplify]: Simplify 0 into 0
3.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.944 * [backup-simplify]: Simplify (+ 0 0) into 0
3.944 * [taylor]: Taking taylor expansion of 0 in y
3.944 * [backup-simplify]: Simplify 0 into 0
3.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.947 * [backup-simplify]: Simplify (+ 0 0) into 0
3.947 * [taylor]: Taking taylor expansion of 0 in y
3.947 * [backup-simplify]: Simplify 0 into 0
3.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.951 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.951 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.951 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.951 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.951 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.951 * [taylor]: Taking taylor expansion of y in y
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 1 into 1
3.951 * [backup-simplify]: Simplify (* 1 1) into 1
3.952 * [backup-simplify]: Simplify (* 1 1) into 1
3.952 * [backup-simplify]: Simplify (/ 1 1) into 1
3.952 * [backup-simplify]: Simplify (- 1) into -1
3.952 * [backup-simplify]: Simplify -1 into -1
3.952 * [backup-simplify]: Simplify 1 into 1
3.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.956 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.956 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
3.957 * [backup-simplify]: Simplify (- 0) into 0
3.957 * [backup-simplify]: Simplify (+ 0 0) into 0
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [backup-simplify]: Simplify 0 into 0
3.958 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.958 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.959 * [backup-simplify]: Simplify (- 0) into 0
3.959 * [backup-simplify]: Simplify 0 into 0
3.959 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.963 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.964 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
3.964 * [backup-simplify]: Simplify (- 0) into 0
3.965 * [backup-simplify]: Simplify (+ 0 0) into 0
3.965 * [taylor]: Taking taylor expansion of 0 in y
3.965 * [backup-simplify]: Simplify 0 into 0
3.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.966 * [backup-simplify]: Simplify (- 0) into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
3.967 * [backup-simplify]: Simplify (* (sqrt (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0))) (sqrt (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)))) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.967 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.967 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.967 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.967 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.967 * [taylor]: Taking taylor expansion of x in y
3.968 * [backup-simplify]: Simplify x into x
3.968 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.968 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.968 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.968 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.968 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.968 * [taylor]: Taking taylor expansion of y in y
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify 1 into 1
3.968 * [backup-simplify]: Simplify (* 1 1) into 1
3.968 * [backup-simplify]: Simplify (* 1 1) into 1
3.969 * [backup-simplify]: Simplify (/ 1 1) into 1
3.969 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.969 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.969 * [taylor]: Taking taylor expansion of x in x
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 1 into 1
3.969 * [backup-simplify]: Simplify (* 1 1) into 1
3.969 * [backup-simplify]: Simplify (* 1 1) into 1
3.969 * [backup-simplify]: Simplify (/ 1 1) into 1
3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.969 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.969 * [taylor]: Taking taylor expansion of y in x
3.970 * [backup-simplify]: Simplify y into y
3.970 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.970 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.970 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.970 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.970 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.970 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.970 * [taylor]: Taking taylor expansion of x in x
3.970 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify 1 into 1
3.970 * [backup-simplify]: Simplify (* 1 1) into 1
3.970 * [backup-simplify]: Simplify (* 1 1) into 1
3.971 * [backup-simplify]: Simplify (/ 1 1) into 1
3.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.971 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.971 * [taylor]: Taking taylor expansion of y in x
3.971 * [backup-simplify]: Simplify y into y
3.971 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.971 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.971 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.971 * [backup-simplify]: Simplify (+ 1 0) into 1
3.971 * [taylor]: Taking taylor expansion of 1 in y
3.971 * [backup-simplify]: Simplify 1 into 1
3.972 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.972 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.973 * [backup-simplify]: Simplify (+ 0 0) into 0
3.973 * [taylor]: Taking taylor expansion of 0 in y
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.975 * [backup-simplify]: Simplify (+ 0 0) into 0
3.975 * [taylor]: Taking taylor expansion of 0 in y
3.975 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.978 * [backup-simplify]: Simplify (+ 0 0) into 0
3.978 * [taylor]: Taking taylor expansion of 0 in y
3.978 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.980 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.980 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.980 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.981 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.981 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.981 * [taylor]: Taking taylor expansion of y in y
3.981 * [backup-simplify]: Simplify 0 into 0
3.981 * [backup-simplify]: Simplify 1 into 1
3.981 * [backup-simplify]: Simplify (* 1 1) into 1
3.981 * [backup-simplify]: Simplify (* 1 1) into 1
3.981 * [backup-simplify]: Simplify (/ 1 1) into 1
3.982 * [backup-simplify]: Simplify (- 1) into -1
3.982 * [backup-simplify]: Simplify -1 into -1
3.982 * [backup-simplify]: Simplify 1 into 1
3.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.985 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.986 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
3.986 * [backup-simplify]: Simplify (- 0) into 0
3.987 * [backup-simplify]: Simplify (+ 0 0) into 0
3.987 * [taylor]: Taking taylor expansion of 0 in y
3.987 * [backup-simplify]: Simplify 0 into 0
3.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.989 * [backup-simplify]: Simplify (- 0) into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.994 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.994 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.995 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.001 * [backup-simplify]: Simplify (- 0) into 0
4.002 * [backup-simplify]: Simplify (+ 0 0) into 0
4.002 * [taylor]: Taking taylor expansion of 0 in y
4.002 * [backup-simplify]: Simplify 0 into 0
4.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.005 * [backup-simplify]: Simplify (- 0) into 0
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
4.006 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.006 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
4.006 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
4.006 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
4.006 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.006 * [taylor]: Taking taylor expansion of x in y
4.006 * [backup-simplify]: Simplify x into x
4.006 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.006 * [taylor]: Taking taylor expansion of y in y
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.006 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.006 * [taylor]: Taking taylor expansion of y in x
4.006 * [backup-simplify]: Simplify y into y
4.007 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.007 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.007 * [taylor]: Taking taylor expansion of x in x
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 1 into 1
4.007 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.007 * [taylor]: Taking taylor expansion of y in x
4.007 * [backup-simplify]: Simplify y into y
4.007 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.007 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.007 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
4.007 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
4.007 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
4.007 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.008 * [taylor]: Taking taylor expansion of y in y
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 1 into 1
4.008 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.008 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.008 * [backup-simplify]: Simplify (- 0) into 0
4.009 * [backup-simplify]: Simplify (+ 0 0) into 0
4.009 * [taylor]: Taking taylor expansion of 0 in y
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.010 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.010 * [backup-simplify]: Simplify (- 0) into 0
4.011 * [backup-simplify]: Simplify (+ 0 0) into 0
4.011 * [taylor]: Taking taylor expansion of 0 in y
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.013 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.013 * [backup-simplify]: Simplify (- 0) into 0
4.013 * [backup-simplify]: Simplify (+ 0 0) into 0
4.013 * [taylor]: Taking taylor expansion of 0 in y
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.014 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.014 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.014 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.014 * [taylor]: Taking taylor expansion of x in y
4.014 * [backup-simplify]: Simplify x into x
4.014 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.014 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.015 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.015 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.015 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.015 * [taylor]: Taking taylor expansion of y in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 1 into 1
4.015 * [backup-simplify]: Simplify (* 1 1) into 1
4.016 * [backup-simplify]: Simplify (* 1 1) into 1
4.016 * [backup-simplify]: Simplify (/ 1 1) into 1
4.016 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.016 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.016 * [taylor]: Taking taylor expansion of x in x
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.016 * [backup-simplify]: Simplify (* 1 1) into 1
4.017 * [backup-simplify]: Simplify (* 1 1) into 1
4.017 * [backup-simplify]: Simplify (/ 1 1) into 1
4.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.017 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.017 * [taylor]: Taking taylor expansion of y in x
4.017 * [backup-simplify]: Simplify y into y
4.017 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.018 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.018 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.018 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.018 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.018 * [taylor]: Taking taylor expansion of x in x
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.018 * [backup-simplify]: Simplify (* 1 1) into 1
4.019 * [backup-simplify]: Simplify (* 1 1) into 1
4.019 * [backup-simplify]: Simplify (/ 1 1) into 1
4.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.019 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.019 * [taylor]: Taking taylor expansion of y in x
4.019 * [backup-simplify]: Simplify y into y
4.019 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.019 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.019 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.020 * [backup-simplify]: Simplify (+ 1 0) into 1
4.020 * [taylor]: Taking taylor expansion of 1 in y
4.020 * [backup-simplify]: Simplify 1 into 1
4.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.021 * [backup-simplify]: Simplify (+ 0 0) into 0
4.021 * [taylor]: Taking taylor expansion of 0 in y
4.021 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.023 * [backup-simplify]: Simplify (+ 0 0) into 0
4.023 * [taylor]: Taking taylor expansion of 0 in y
4.023 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.025 * [backup-simplify]: Simplify (+ 0 0) into 0
4.025 * [taylor]: Taking taylor expansion of 0 in y
4.025 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.027 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.027 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.027 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.027 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.027 * [taylor]: Taking taylor expansion of y in y
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 1 into 1
4.028 * [backup-simplify]: Simplify (* 1 1) into 1
4.028 * [backup-simplify]: Simplify (* 1 1) into 1
4.028 * [backup-simplify]: Simplify (/ 1 1) into 1
4.028 * [backup-simplify]: Simplify (- 1) into -1
4.028 * [backup-simplify]: Simplify -1 into -1
4.028 * [backup-simplify]: Simplify 1 into 1
4.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.031 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.031 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.032 * [backup-simplify]: Simplify (- 0) into 0
4.032 * [backup-simplify]: Simplify (+ 0 0) into 0
4.032 * [taylor]: Taking taylor expansion of 0 in y
4.032 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.034 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.035 * [backup-simplify]: Simplify (- 0) into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.039 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.040 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.041 * [backup-simplify]: Simplify (- 0) into 0
4.042 * [backup-simplify]: Simplify (+ 0 0) into 0
4.042 * [taylor]: Taking taylor expansion of 0 in y
4.042 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.044 * [backup-simplify]: Simplify (- 0) into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
4.045 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.045 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.045 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.045 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.045 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.045 * [taylor]: Taking taylor expansion of x in y
4.045 * [backup-simplify]: Simplify x into x
4.045 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.045 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.045 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.045 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.045 * [taylor]: Taking taylor expansion of y in y
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 1 into 1
4.046 * [backup-simplify]: Simplify (* 1 1) into 1
4.046 * [backup-simplify]: Simplify (* 1 1) into 1
4.046 * [backup-simplify]: Simplify (/ 1 1) into 1
4.046 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.046 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [backup-simplify]: Simplify (* 1 1) into 1
4.047 * [backup-simplify]: Simplify (* 1 1) into 1
4.047 * [backup-simplify]: Simplify (/ 1 1) into 1
4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.047 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.047 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.047 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.047 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.047 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.048 * [backup-simplify]: Simplify (* 1 1) into 1
4.048 * [backup-simplify]: Simplify (* 1 1) into 1
4.048 * [backup-simplify]: Simplify (/ 1 1) into 1
4.048 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.048 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.048 * [taylor]: Taking taylor expansion of y in x
4.048 * [backup-simplify]: Simplify y into y
4.048 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.048 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.049 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.049 * [backup-simplify]: Simplify (+ 1 0) into 1
4.049 * [taylor]: Taking taylor expansion of 1 in y
4.049 * [backup-simplify]: Simplify 1 into 1
4.049 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.050 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.050 * [backup-simplify]: Simplify (+ 0 0) into 0
4.050 * [taylor]: Taking taylor expansion of 0 in y
4.050 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.053 * [backup-simplify]: Simplify (+ 0 0) into 0
4.053 * [taylor]: Taking taylor expansion of 0 in y
4.053 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.056 * [backup-simplify]: Simplify (+ 0 0) into 0
4.056 * [taylor]: Taking taylor expansion of 0 in y
4.056 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.060 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.060 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.060 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.060 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.060 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.060 * [taylor]: Taking taylor expansion of y in y
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (* 1 1) into 1
4.061 * [backup-simplify]: Simplify (* 1 1) into 1
4.061 * [backup-simplify]: Simplify (/ 1 1) into 1
4.061 * [backup-simplify]: Simplify (- 1) into -1
4.061 * [backup-simplify]: Simplify -1 into -1
4.062 * [backup-simplify]: Simplify 1 into 1
4.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.065 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.065 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.066 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.066 * [backup-simplify]: Simplify (- 0) into 0
4.066 * [backup-simplify]: Simplify (+ 0 0) into 0
4.066 * [taylor]: Taking taylor expansion of 0 in y
4.066 * [backup-simplify]: Simplify 0 into 0
4.067 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.068 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.069 * [backup-simplify]: Simplify (- 0) into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.073 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.073 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.074 * [backup-simplify]: Simplify (- 0) into 0
4.075 * [backup-simplify]: Simplify (+ 0 0) into 0
4.075 * [taylor]: Taking taylor expansion of 0 in y
4.075 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.077 * [backup-simplify]: Simplify (- 0) into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
4.078 * * * [progress]: simplifying candidates
4.083 * [simplify]: Simplifying:
  (log (sqrt (- (pow x 4.0) (pow y 4.0))))
  (exp (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (cbrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))))
  (sqrt (cbrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt 1)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)))
  (sqrt (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)))
  (sqrt (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))))
  (sqrt (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))))
  (sqrt (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))))
  (sqrt (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))))
  (sqrt (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)))
  (sqrt (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)))
  (sqrt (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))))
  (sqrt (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))))
  (sqrt (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
  (sqrt (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
  (sqrt (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)))
  (sqrt (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)))
  (sqrt (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))))
  (sqrt (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))))
  (sqrt (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))))
  (sqrt (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))))
  (sqrt (pow 1 4.0))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt 1)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)))
  (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0)))))
  (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0))))
  (sqrt (+ (pow x 4.0) (pow y 4.0)))
  (/ 1 2)
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (log (sqrt (- (pow x 4.0) (pow y 4.0))))
  (exp (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (cbrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))))
  (sqrt (cbrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt 1)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)))
  (sqrt (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)))
  (sqrt (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))))
  (sqrt (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))))
  (sqrt (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))))
  (sqrt (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))))
  (sqrt (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)))
  (sqrt (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)))
  (sqrt (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))))
  (sqrt (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))))
  (sqrt (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
  (sqrt (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
  (sqrt (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)))
  (sqrt (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)))
  (sqrt (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))))
  (sqrt (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))))
  (sqrt (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))))
  (sqrt (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))))
  (sqrt (pow 1 4.0))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt 1)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)))
  (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0)))))
  (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0))))
  (sqrt (+ (pow x 4.0) (pow y 4.0)))
  (/ 1 2)
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (sqrt (sqrt (- (pow x 4.0) (pow y 4.0))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (+ 1 1)
  (+ (log (sqrt (- (pow x 4.0) (pow y 4.0)))) (log (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (log (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (exp (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (* (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (* (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (cbrt (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))) (cbrt (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))))
  (cbrt (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (* (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (sqrt (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))) (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))))
  (* (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))) (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))))
  (* (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))) (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))))
  (* (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))) (sqrt (+ (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))) (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))))
  (* (sqrt (+ (pow x 4.0) (pow y 4.0))) (sqrt (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))))
  (* (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))) (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))))
  (* (sqrt (+ (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow x 4.0) (pow y 4.0))))
  (* (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0))))) (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0))))))
  (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))) (sqrt (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))))
  (* (sqrt (cbrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (cbrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))) (sqrt (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))))
  (* (sqrt (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))) (sqrt (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))))
  (* (sqrt (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))) (sqrt (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))))
  (* (sqrt (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))) (sqrt (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))))
  (* (sqrt (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))) (sqrt (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))))
  (* (sqrt (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))) (sqrt (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))))
  (* (sqrt (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))) (sqrt (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))))
  (* (sqrt (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))) (sqrt (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))))
  (* (sqrt (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))) (sqrt (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))))
  (* (sqrt (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))) (sqrt (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))))
  (* (sqrt (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))) (sqrt (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))))
  (* (sqrt (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))) (sqrt (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))))
  (* (sqrt (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))) (sqrt (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))))
  (* (sqrt (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))) (sqrt (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))))
  (* (sqrt (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))) (sqrt (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))))
  (* (sqrt (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))) (sqrt (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))))
  (* (sqrt (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))) (sqrt (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (* (sqrt (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))) (sqrt (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (* (sqrt (pow 1 4.0)) (sqrt (pow 1 4.0)))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* 1 1)
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (sqrt (- (pow x 4.0) (pow y 4.0))))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (pow 1 4.0)))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt 1))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) 1)
  (* (cbrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (cbrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (sqrt (- (pow x 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))))
  (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))))
  (* (sqrt (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (* (sqrt (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))) (sqrt (- (pow x 4.0) (pow y 4.0))))
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  (* (pow y 2) (sqrt -1))
  (pow x 2)
  (pow x 2)
  (* (pow y 2) (sqrt -1))
  (pow x 2)
  (pow x 2)
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
4.972 * * * [progress]: adding candidates to table
5.752 * [progress]: [Phase 3 of 3] Extracting.
5.753 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.753 * * * [regime-changes]: Trying 5 branch expressions: ((pow y 4.0) (pow x 4.0) (- (pow x 4.0) (pow y 4.0)) y x)
5.754 * * * * [regimes]: Trying to branch on (pow y 4.0) from (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.787 * * * * [regimes]: Trying to branch on (pow x 4.0) from (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.804 * * * * [regimes]: Trying to branch on (- (pow x 4.0) (pow y 4.0)) from (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.825 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.848 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0)))))> #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>)
5.876 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.877 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
11.102 * [regime-testing]: Baseline error score: 0.0026253281660207524
11.104 * [regime-testing]: Oracle error score: 0.002125265658207276
11.109 * [regime-testing]: End program error score: 0.0026253281660207524