9.066 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.010 * * * [progress]: [2/2] Setting up program.
0.011 * [progress]: [Phase 2 of 3] Improving.
0.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ x (+ y x))
0.013 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.013 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
0.014 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
0.014 * [simplify]: Simplified to:
   (/ x (+ y x))
0.014 * * [progress]: iteration 1 / 4
0.014 * * * [progress]: picking best candidate
0.015 * * * * [pick]: Picked  #<alt (λ (x y) (/ x (+ y x)))>
0.015 * * * [progress]: localizing error
0.019 * * * [progress]: generating rewritten candidates
0.019 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.025 * * * [progress]: generating series expansions
0.025 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.025 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0
0.026 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y
0.026 * [taylor]: Taking taylor expansion of x in y
0.026 * [taylor]: Taking taylor expansion of (+ x y) in y
0.026 * [taylor]: Taking taylor expansion of x in y
0.026 * [taylor]: Taking taylor expansion of y in y
0.026 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x
0.026 * [taylor]: Taking taylor expansion of x in x
0.026 * [taylor]: Taking taylor expansion of (+ x y) in x
0.026 * [taylor]: Taking taylor expansion of x in x
0.026 * [taylor]: Taking taylor expansion of y in x
0.026 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x
0.026 * [taylor]: Taking taylor expansion of x in x
0.026 * [taylor]: Taking taylor expansion of (+ x y) in x
0.026 * [taylor]: Taking taylor expansion of x in x
0.026 * [taylor]: Taking taylor expansion of y in x
0.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.026 * [taylor]: Taking taylor expansion of y in y
0.027 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
0.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.027 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.027 * [taylor]: Taking taylor expansion of y in y
0.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.031 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.031 * [taylor]: Taking taylor expansion of y in y
0.037 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y
0.038 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y
0.038 * [taylor]: Taking taylor expansion of x in y
0.038 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.038 * [taylor]: Taking taylor expansion of x in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
0.038 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
0.040 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.042 * [taylor]: Taking taylor expansion of 1 in y
0.043 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.047 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.047 * [taylor]: Taking taylor expansion of y in y
0.051 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.051 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y
0.051 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.052 * [taylor]: Taking taylor expansion of x in y
0.052 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
0.052 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
0.054 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of 1 in y
0.057 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.057 * [taylor]: Taking taylor expansion of y in y
0.061 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.061 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.061 * [taylor]: Taking taylor expansion of y in y
0.065 * * * [progress]: simplifying candidates
0.065 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log x) (log (+ y x)))
  (log (/ x (+ y x)))
  (exp (/ x (+ y x)))
  (/ (* (* x x) x) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (/ x (+ y x))) (cbrt (/ x (+ y x))))
  (cbrt (/ x (+ y x)))
  (* (* (/ x (+ y x)) (/ x (+ y x))) (/ x (+ y x)))
  (sqrt (/ x (+ y x)))
  (sqrt (/ x (+ y x)))
  (- x)
  (- (+ y x))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (cbrt x) (cbrt (+ y x)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (+ y x)))
  (/ (cbrt x) (sqrt (+ y x)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (+ y x))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (+ y x))
  (/ (sqrt x) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (sqrt x) (cbrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (+ y x))
  (/ (sqrt x) 1)
  (/ (sqrt x) (+ y x))
  (/ 1 (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ x (sqrt (+ y x)))
  (/ 1 1)
  (/ x (+ y x))
  (/ 1 1)
  (/ x (+ y x))
  (/ 1 (+ y x))
  (/ (+ y x) x)
  (/ x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (sqrt (+ y x)))
  (/ x 1)
  (/ x 1)
  (/ (+ y x) (cbrt x))
  (/ (+ y x) (sqrt x))
  (/ (+ y x) x)
  (/ x (+ (pow y 3) (pow x 3)))
  (/ x (- (* y y) (* x x)))
  0
  0
  0
0.067 * * [simplify]: iteration  0 :  59  enodes  (cost  324 )
0.082 * * [simplify]: iteration  1 :  119  enodes  (cost  305 )
0.101 * * [simplify]: iteration  2 :  246  enodes  (cost  287 )
0.150 * * [simplify]: iteration  3 :  510  enodes  (cost  287 )
0.311 * * [simplify]: iteration  4 :  1175  enodes  (cost  287 )
1.024 * * [simplify]: iteration  5 :  4361  enodes  (cost  287 )
2.485 * * [simplify]: iteration  done :  5000  enodes  (cost  287 )
2.485 * [simplify]: Simplified to:
   (log (/ x (+ y x)))
  (log (/ x (+ y x)))
  (exp (/ x (+ y x)))
  (pow (/ x (+ y x)) 3)
  (* (cbrt (/ x (+ y x))) (cbrt (/ x (+ y x))))
  (cbrt (/ x (+ y x)))
  (pow (/ x (+ y x)) 3)
  (sqrt (/ x (+ y x)))
  (sqrt (/ x (+ y x)))
  (- x)
  (- (+ y x))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (cbrt x) (cbrt (+ y x)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (+ y x)))
  (/ (cbrt x) (sqrt (+ y x)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (+ y x))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (+ y x))
  (/ (sqrt x) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (sqrt x) (cbrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (sqrt x)
  (/ (sqrt x) (+ y x))
  (sqrt x)
  (/ (sqrt x) (+ y x))
  (/ 1 (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ x (sqrt (+ y x)))
  1
  (/ x (+ y x))
  1
  (/ x (+ y x))
  (/ 1 (+ y x))
  (/ (+ y x) x)
  (/ x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (sqrt (+ y x)))
  x
  x
  (/ (+ y x) (cbrt x))
  (/ (+ y x) (sqrt x))
  (/ (+ y x) x)
  (/ x (+ (pow y 3) (pow x 3)))
  (/ x (- (* y y) (* x x)))
  0
  0
  0
2.485 * * * [progress]: adding candidates to table
2.543 * * [progress]: iteration 2 / 4
2.543 * * * [progress]: picking best candidate
2.545 * * * * [pick]: Picked  #<alt (λ (x y) (* x (/ 1 (+ y x))))>
2.545 * * * [progress]: localizing error
2.550 * * * [progress]: generating rewritten candidates
2.550 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.568 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.577 * * * [progress]: generating series expansions
2.577 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.577 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0
2.577 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y
2.577 * [taylor]: Taking taylor expansion of x in y
2.577 * [taylor]: Taking taylor expansion of (+ x y) in y
2.577 * [taylor]: Taking taylor expansion of x in y
2.577 * [taylor]: Taking taylor expansion of y in y
2.577 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x
2.577 * [taylor]: Taking taylor expansion of x in x
2.577 * [taylor]: Taking taylor expansion of (+ x y) in x
2.578 * [taylor]: Taking taylor expansion of x in x
2.578 * [taylor]: Taking taylor expansion of y in x
2.578 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x
2.578 * [taylor]: Taking taylor expansion of x in x
2.578 * [taylor]: Taking taylor expansion of (+ x y) in x
2.578 * [taylor]: Taking taylor expansion of x in x
2.578 * [taylor]: Taking taylor expansion of y in x
2.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.578 * [taylor]: Taking taylor expansion of y in y
2.579 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
2.579 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.579 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.579 * [taylor]: Taking taylor expansion of y in y
2.582 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.582 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.582 * [taylor]: Taking taylor expansion of y in y
2.589 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
2.589 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y
2.589 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y
2.589 * [taylor]: Taking taylor expansion of x in y
2.589 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.589 * [taylor]: Taking taylor expansion of y in y
2.589 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.589 * [taylor]: Taking taylor expansion of x in y
2.590 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
2.590 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
2.590 * [taylor]: Taking taylor expansion of x in x
2.590 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.590 * [taylor]: Taking taylor expansion of y in x
2.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.590 * [taylor]: Taking taylor expansion of x in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
2.592 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
2.592 * [taylor]: Taking taylor expansion of x in x
2.592 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.592 * [taylor]: Taking taylor expansion of y in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.592 * [taylor]: Taking taylor expansion of x in x
2.594 * [taylor]: Taking taylor expansion of 1 in y
2.595 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.595 * [taylor]: Taking taylor expansion of y in y
2.599 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.599 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.599 * [taylor]: Taking taylor expansion of y in y
2.603 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y
2.603 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y
2.603 * [taylor]: Taking taylor expansion of x in y
2.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.603 * [taylor]: Taking taylor expansion of y in y
2.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.603 * [taylor]: Taking taylor expansion of x in y
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
2.603 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
2.603 * [taylor]: Taking taylor expansion of x in x
2.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.604 * [taylor]: Taking taylor expansion of y in x
2.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.604 * [taylor]: Taking taylor expansion of x in x
2.605 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x
2.605 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x
2.605 * [taylor]: Taking taylor expansion of x in x
2.605 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.605 * [taylor]: Taking taylor expansion of y in x
2.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.605 * [taylor]: Taking taylor expansion of x in x
2.607 * [taylor]: Taking taylor expansion of 1 in y
2.609 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.609 * [taylor]: Taking taylor expansion of y in y
2.612 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.612 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.612 * [taylor]: Taking taylor expansion of y in y
2.616 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.616 * [approximate]: Taking taylor expansion of (/ 1 (+ x y)) in (y x) around 0
2.616 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x
2.616 * [taylor]: Taking taylor expansion of (+ x y) in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.616 * [taylor]: Taking taylor expansion of y in x
2.616 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in y
2.616 * [taylor]: Taking taylor expansion of (+ x y) in y
2.616 * [taylor]: Taking taylor expansion of x in y
2.616 * [taylor]: Taking taylor expansion of y in y
2.616 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in y
2.616 * [taylor]: Taking taylor expansion of (+ x y) in y
2.616 * [taylor]: Taking taylor expansion of x in y
2.616 * [taylor]: Taking taylor expansion of y in y
2.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.617 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
2.617 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.617 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.617 * [taylor]: Taking taylor expansion of x in x
2.621 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.621 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.621 * [taylor]: Taking taylor expansion of x in x
2.627 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in (y x) around 0
2.627 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x
2.627 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.627 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.627 * [taylor]: Taking taylor expansion of y in x
2.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in y
2.628 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.628 * [taylor]: Taking taylor expansion of y in y
2.629 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.629 * [taylor]: Taking taylor expansion of x in y
2.629 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in y
2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.629 * [taylor]: Taking taylor expansion of y in y
2.629 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.629 * [taylor]: Taking taylor expansion of x in y
2.630 * [taylor]: Taking taylor expansion of 1 in x
2.630 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.631 * [taylor]: Taking taylor expansion of x in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.633 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.633 * [taylor]: Taking taylor expansion of x in x
2.637 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 y) (/ 1 x))) in (y x) around 0
2.637 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 y) (/ 1 x))) in x
2.637 * [taylor]: Taking taylor expansion of -1 in x
2.637 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.637 * [taylor]: Taking taylor expansion of y in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.638 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 y) (/ 1 x))) in y
2.638 * [taylor]: Taking taylor expansion of -1 in y
2.638 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.638 * [taylor]: Taking taylor expansion of y in y
2.638 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.638 * [taylor]: Taking taylor expansion of x in y
2.639 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 y) (/ 1 x))) in y
2.639 * [taylor]: Taking taylor expansion of -1 in y
2.639 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.639 * [taylor]: Taking taylor expansion of y in y
2.639 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.639 * [taylor]: Taking taylor expansion of x in y
2.640 * [taylor]: Taking taylor expansion of -1 in x
2.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.646 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
2.646 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.646 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.646 * [taylor]: Taking taylor expansion of x in x
2.650 * * * [progress]: simplifying candidates
2.651 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ 1 (+ y x)))
  (+ (log x) (- (log (+ y x))))
  (+ (log x) (- 0 (log (+ y x))))
  (+ (log x) (- (log 1) (log (+ y x))))
  (+ (log x) (log (/ 1 (+ y x))))
  (log (* x (/ 1 (+ y x))))
  (exp (* x (/ 1 (+ y x))))
  (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (+ y x) (+ y x)) (+ y x))))
  (* (* (* x x) x) (* (* (/ 1 (+ y x)) (/ 1 (+ y x))) (/ 1 (+ y x))))
  (* (cbrt (* x (/ 1 (+ y x)))) (cbrt (* x (/ 1 (+ y x)))))
  (cbrt (* x (/ 1 (+ y x))))
  (* (* (* x (/ 1 (+ y x))) (* x (/ 1 (+ y x)))) (* x (/ 1 (+ y x))))
  (sqrt (* x (/ 1 (+ y x))))
  (sqrt (* x (/ 1 (+ y x))))
  (* (sqrt x) (sqrt (/ 1 (+ y x))))
  (* (sqrt x) (sqrt (/ 1 (+ y x))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (+ y x))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (+ y x))))
  (* (sqrt x) (/ 1 (sqrt (+ y x))))
  (* (sqrt x) (/ 1 (sqrt (+ y x))))
  (* x (* (cbrt (/ 1 (+ y x))) (cbrt (/ 1 (+ y x)))))
  (* x (sqrt (/ 1 (+ y x))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ y x)) (cbrt (+ y x)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ y x))))
  (* x (/ (* (cbrt 1) (cbrt 1)) 1))
  (* x (/ (* (cbrt 1) (cbrt 1)) 1))
  (* x (/ (sqrt 1) (* (cbrt (+ y x)) (cbrt (+ y x)))))
  (* x (/ (sqrt 1) (sqrt (+ y x))))
  (* x (/ (sqrt 1) 1))
  (* x (/ (sqrt 1) 1))
  (* x (/ 1 (* (cbrt (+ y x)) (cbrt (+ y x)))))
  (* x (/ 1 (sqrt (+ y x))))
  (* x (/ 1 1))
  (* x (/ 1 1))
  (* x 1)
  (* x 1)
  (* x (/ 1 (+ (pow y 3) (pow x 3))))
  (* x (/ 1 (- (* y y) (* x x))))
  (* (cbrt x) (/ 1 (+ y x)))
  (* (sqrt x) (/ 1 (+ y x)))
  (* x (/ 1 (+ y x)))
  (* x 1)
  (- 1)
  (- (log (+ y x)))
  (- 0 (log (+ y x)))
  (- (log 1) (log (+ y x)))
  (log (/ 1 (+ y x)))
  (exp (/ 1 (+ y x)))
  (/ (* (* 1 1) 1) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (/ 1 (+ y x))) (cbrt (/ 1 (+ y x))))
  (cbrt (/ 1 (+ y x)))
  (* (* (/ 1 (+ y x)) (/ 1 (+ y x))) (/ 1 (+ y x)))
  (sqrt (/ 1 (+ y x)))
  (sqrt (/ 1 (+ y x)))
  (- 1)
  (- (+ y x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (cbrt 1) (cbrt (+ y x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ y x)))
  (/ (cbrt 1) (sqrt (+ y x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ y x))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ y x))
  (/ (sqrt 1) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (sqrt 1) (cbrt (+ y x)))
  (/ (sqrt 1) (sqrt (+ y x)))
  (/ (sqrt 1) (sqrt (+ y x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ y x))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ y x))
  (/ 1 (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ 1 (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ 1 1)
  (/ 1 (+ y x))
  (/ 1 1)
  (/ 1 (+ y x))
  (/ 1 (+ y x))
  (/ (+ y x) 1)
  (/ 1 (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ 1 (sqrt (+ y x)))
  (/ 1 1)
  (/ 1 1)
  (/ (+ y x) (cbrt 1))
  (/ (+ y x) (sqrt 1))
  (/ (+ y x) 1)
  (/ 1 (+ (pow y 3) (pow x 3)))
  (/ 1 (- (* y y) (* x x)))
  0
  0
  0
  0
  0
  0
2.654 * * [simplify]: iteration  0 :  95  enodes  (cost  755 )
2.680 * * [simplify]: iteration  1 :  227  enodes  (cost  579 )
2.714 * * [simplify]: iteration  2 :  416  enodes  (cost  517 )
2.828 * * [simplify]: iteration  3 :  795  enodes  (cost  517 )
3.056 * * [simplify]: iteration  4 :  1746  enodes  (cost  517 )
4.440 * * [simplify]: iteration  5 :  4987  enodes  (cost  517 )
6.129 * * [simplify]: iteration  done :  5000  enodes  (cost  517 )
6.130 * [simplify]: Simplified to:
   (/ x (+ y x))
  (log (/ x (+ y x)))
  (log (/ x (+ y x)))
  (log (/ x (+ y x)))
  (log (/ x (+ y x)))
  (log (/ x (+ y x)))
  (exp (/ x (+ y x)))
  (pow (/ x (+ y x)) 3)
  (pow (/ x (+ y x)) 3)
  (* (cbrt (/ x (+ y x))) (cbrt (/ x (+ y x))))
  (cbrt (/ x (+ y x)))
  (pow (/ x (+ y x)) 3)
  (sqrt (/ x (+ y x)))
  (sqrt (/ x (+ y x)))
  (* (sqrt x) (sqrt (/ 1 (+ y x))))
  (* (sqrt x) (sqrt (/ 1 (+ y x))))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (/ (sqrt x) (sqrt (+ y x)))
  (* x (* (cbrt (/ 1 (+ y x))) (cbrt (/ 1 (+ y x)))))
  (* x (sqrt (/ 1 (+ y x))))
  (/ x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (sqrt (+ y x)))
  x
  x
  (/ x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (sqrt (+ y x)))
  x
  x
  (/ x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ x (sqrt (+ y x)))
  x
  x
  x
  x
  (/ x (+ (pow y 3) (pow x 3)))
  (/ x (- (* y y) (* x x)))
  (/ (cbrt x) (+ y x))
  (/ (sqrt x) (+ y x))
  (/ x (+ y x))
  x
  -1
  (- (log (+ y x)))
  (- (log (+ y x)))
  (- (log (+ y x)))
  (- (log (+ y x)))
  (exp (/ 1 (+ y x)))
  (pow (/ 1 (+ y x)) 3)
  (* (cbrt (/ 1 (+ y x))) (cbrt (/ 1 (+ y x))))
  (cbrt (/ 1 (+ y x)))
  (pow (/ 1 (+ y x)) 3)
  (sqrt (/ 1 (+ y x)))
  (sqrt (/ 1 (+ y x)))
  -1
  (- (+ y x))
  (/ (/ 1 (cbrt (+ y x))) (cbrt (+ y x)))
  (/ 1 (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  1
  (/ 1 (+ y x))
  1
  (/ 1 (+ y x))
  (/ (/ 1 (cbrt (+ y x))) (cbrt (+ y x)))
  (/ 1 (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  1
  (/ 1 (+ y x))
  1
  (/ 1 (+ y x))
  (/ (/ 1 (cbrt (+ y x))) (cbrt (+ y x)))
  (/ 1 (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  1
  (/ 1 (+ y x))
  1
  (/ 1 (+ y x))
  (/ 1 (+ y x))
  (+ x y)
  (/ (/ 1 (cbrt (+ y x))) (cbrt (+ y x)))
  (/ 1 (sqrt (+ y x)))
  1
  1
  (+ x y)
  (+ x y)
  (+ x y)
  (/ 1 (+ (pow y 3) (pow x 3)))
  (/ 1 (- (* y y) (* x x)))
  0
  0
  0
  0
  0
  0
6.130 * * * [progress]: adding candidates to table
6.236 * * [progress]: iteration 3 / 4
6.236 * * * [progress]: picking best candidate
6.238 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ x (- (* y y) (* x x))) (- y x)))>
6.238 * * * [progress]: localizing error
6.246 * * * [progress]: generating rewritten candidates
6.246 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
6.252 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
6.276 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
6.282 * * * [progress]: generating series expansions
6.282 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
6.283 * [approximate]: Taking taylor expansion of (/ x (- (pow y 2) (pow x 2))) in (x y) around 0
6.283 * [taylor]: Taking taylor expansion of (/ x (- (pow y 2) (pow x 2))) in y
6.283 * [taylor]: Taking taylor expansion of x in y
6.283 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
6.283 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.283 * [taylor]: Taking taylor expansion of y in y
6.283 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.283 * [taylor]: Taking taylor expansion of x in y
6.283 * [taylor]: Taking taylor expansion of (/ x (- (pow y 2) (pow x 2))) in x
6.283 * [taylor]: Taking taylor expansion of x in x
6.283 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
6.283 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.283 * [taylor]: Taking taylor expansion of y in x
6.283 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.283 * [taylor]: Taking taylor expansion of x in x
6.283 * [taylor]: Taking taylor expansion of (/ x (- (pow y 2) (pow x 2))) in x
6.283 * [taylor]: Taking taylor expansion of x in x
6.283 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
6.283 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.283 * [taylor]: Taking taylor expansion of y in x
6.283 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.283 * [taylor]: Taking taylor expansion of x in x
6.284 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.284 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.284 * [taylor]: Taking taylor expansion of y in y
6.287 * [taylor]: Taking taylor expansion of 0 in y
6.289 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
6.289 * [taylor]: Taking taylor expansion of (pow y 4) in y
6.289 * [taylor]: Taking taylor expansion of y in y
6.300 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in (x y) around 0
6.300 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in y
6.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in y
6.300 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.300 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.300 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.300 * [taylor]: Taking taylor expansion of y in y
6.300 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.300 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.300 * [taylor]: Taking taylor expansion of x in y
6.301 * [taylor]: Taking taylor expansion of x in y
6.301 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.301 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.301 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.301 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.301 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.301 * [taylor]: Taking taylor expansion of y in x
6.301 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.301 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.301 * [taylor]: Taking taylor expansion of x in x
6.302 * [taylor]: Taking taylor expansion of x in x
6.304 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.304 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.304 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.304 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.304 * [taylor]: Taking taylor expansion of y in x
6.304 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.304 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.304 * [taylor]: Taking taylor expansion of x in x
6.305 * [taylor]: Taking taylor expansion of x in x
6.307 * [taylor]: Taking taylor expansion of -1 in y
6.310 * [taylor]: Taking taylor expansion of 0 in y
6.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
6.313 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.313 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.313 * [taylor]: Taking taylor expansion of y in y
6.318 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in (x y) around 0
6.318 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in y
6.318 * [taylor]: Taking taylor expansion of -1 in y
6.318 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in y
6.318 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.318 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.318 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.318 * [taylor]: Taking taylor expansion of y in y
6.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.319 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.319 * [taylor]: Taking taylor expansion of x in y
6.319 * [taylor]: Taking taylor expansion of x in y
6.319 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.319 * [taylor]: Taking taylor expansion of -1 in x
6.319 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.319 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.319 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.319 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.319 * [taylor]: Taking taylor expansion of y in x
6.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.319 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.319 * [taylor]: Taking taylor expansion of x in x
6.320 * [taylor]: Taking taylor expansion of x in x
6.322 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.322 * [taylor]: Taking taylor expansion of -1 in x
6.322 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.322 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.322 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.322 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.322 * [taylor]: Taking taylor expansion of y in x
6.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.323 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.323 * [taylor]: Taking taylor expansion of x in x
6.323 * [taylor]: Taking taylor expansion of x in x
6.326 * [taylor]: Taking taylor expansion of 1 in y
6.328 * [taylor]: Taking taylor expansion of 0 in y
6.332 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.332 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.332 * [taylor]: Taking taylor expansion of y in y
6.336 * * * * [progress]: [ 2 / 3 ] generating series at (2)
6.336 * [approximate]: Taking taylor expansion of (/ (* x (- y x)) (- (pow y 2) (pow x 2))) in (x y) around 0
6.336 * [taylor]: Taking taylor expansion of (/ (* x (- y x)) (- (pow y 2) (pow x 2))) in y
6.336 * [taylor]: Taking taylor expansion of (* x (- y x)) in y
6.336 * [taylor]: Taking taylor expansion of x in y
6.336 * [taylor]: Taking taylor expansion of (- y x) in y
6.336 * [taylor]: Taking taylor expansion of y in y
6.336 * [taylor]: Taking taylor expansion of x in y
6.336 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
6.336 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.336 * [taylor]: Taking taylor expansion of y in y
6.336 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.336 * [taylor]: Taking taylor expansion of x in y
6.337 * [taylor]: Taking taylor expansion of (/ (* x (- y x)) (- (pow y 2) (pow x 2))) in x
6.337 * [taylor]: Taking taylor expansion of (* x (- y x)) in x
6.337 * [taylor]: Taking taylor expansion of x in x
6.337 * [taylor]: Taking taylor expansion of (- y x) in x
6.337 * [taylor]: Taking taylor expansion of y in x
6.337 * [taylor]: Taking taylor expansion of x in x
6.337 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
6.337 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.337 * [taylor]: Taking taylor expansion of y in x
6.337 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.337 * [taylor]: Taking taylor expansion of x in x
6.338 * [taylor]: Taking taylor expansion of (/ (* x (- y x)) (- (pow y 2) (pow x 2))) in x
6.338 * [taylor]: Taking taylor expansion of (* x (- y x)) in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.338 * [taylor]: Taking taylor expansion of (- y x) in x
6.338 * [taylor]: Taking taylor expansion of y in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.338 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
6.338 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.338 * [taylor]: Taking taylor expansion of y in x
6.338 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.340 * [taylor]: Taking taylor expansion of y in y
6.342 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
6.342 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.342 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.342 * [taylor]: Taking taylor expansion of y in y
6.347 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
6.347 * [taylor]: Taking taylor expansion of (pow y 3) in y
6.347 * [taylor]: Taking taylor expansion of y in y
6.354 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in (x y) around 0
6.354 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in y
6.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.354 * [taylor]: Taking taylor expansion of y in y
6.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.355 * [taylor]: Taking taylor expansion of x in y
6.355 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in y
6.355 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.355 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.355 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.355 * [taylor]: Taking taylor expansion of y in y
6.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.355 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.355 * [taylor]: Taking taylor expansion of x in y
6.355 * [taylor]: Taking taylor expansion of x in y
6.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.356 * [taylor]: Taking taylor expansion of y in x
6.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.356 * [taylor]: Taking taylor expansion of x in x
6.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.356 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.356 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.356 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.356 * [taylor]: Taking taylor expansion of y in x
6.357 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.357 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.357 * [taylor]: Taking taylor expansion of x in x
6.357 * [taylor]: Taking taylor expansion of x in x
6.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.360 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.360 * [taylor]: Taking taylor expansion of y in x
6.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.360 * [taylor]: Taking taylor expansion of x in x
6.361 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.361 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.361 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.361 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.361 * [taylor]: Taking taylor expansion of y in x
6.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.361 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.361 * [taylor]: Taking taylor expansion of x in x
6.361 * [taylor]: Taking taylor expansion of x in x
6.364 * [taylor]: Taking taylor expansion of 1 in y
6.368 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.368 * [taylor]: Taking taylor expansion of y in y
6.374 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.374 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.374 * [taylor]: Taking taylor expansion of y in y
6.378 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x))) in (x y) around 0
6.378 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x))) in y
6.378 * [taylor]: Taking taylor expansion of -1 in y
6.378 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in y
6.378 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.378 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.378 * [taylor]: Taking taylor expansion of x in y
6.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.378 * [taylor]: Taking taylor expansion of y in y
6.378 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in y
6.378 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.378 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.378 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.378 * [taylor]: Taking taylor expansion of y in y
6.379 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.379 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.379 * [taylor]: Taking taylor expansion of x in y
6.379 * [taylor]: Taking taylor expansion of x in y
6.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x))) in x
6.382 * [taylor]: Taking taylor expansion of -1 in x
6.382 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.382 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.383 * [taylor]: Taking taylor expansion of x in x
6.383 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.383 * [taylor]: Taking taylor expansion of y in x
6.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.383 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.383 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.383 * [taylor]: Taking taylor expansion of y in x
6.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.383 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.383 * [taylor]: Taking taylor expansion of x in x
6.384 * [taylor]: Taking taylor expansion of x in x
6.386 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x))) in x
6.386 * [taylor]: Taking taylor expansion of -1 in x
6.386 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x)) in x
6.386 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.387 * [taylor]: Taking taylor expansion of x in x
6.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.387 * [taylor]: Taking taylor expansion of y in x
6.387 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) x) in x
6.387 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.387 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.387 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.387 * [taylor]: Taking taylor expansion of y in x
6.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.387 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.387 * [taylor]: Taking taylor expansion of x in x
6.388 * [taylor]: Taking taylor expansion of x in x
6.391 * [taylor]: Taking taylor expansion of 1 in y
6.394 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.394 * [taylor]: Taking taylor expansion of y in y
6.400 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.400 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.400 * [taylor]: Taking taylor expansion of y in y
6.404 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
6.405 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in (y x) around 0
6.405 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
6.405 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.405 * [taylor]: Taking taylor expansion of y in x
6.405 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.405 * [taylor]: Taking taylor expansion of x in x
6.405 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
6.405 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.405 * [taylor]: Taking taylor expansion of y in y
6.405 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.405 * [taylor]: Taking taylor expansion of x in y
6.405 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
6.405 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.405 * [taylor]: Taking taylor expansion of y in y
6.405 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.405 * [taylor]: Taking taylor expansion of x in y
6.405 * [taylor]: Taking taylor expansion of (- (pow x 2)) in x
6.405 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.405 * [taylor]: Taking taylor expansion of x in x
6.406 * [taylor]: Taking taylor expansion of 0 in x
6.407 * [taylor]: Taking taylor expansion of 1 in x
6.409 * [taylor]: Taking taylor expansion of 0 in x
6.411 * [taylor]: Taking taylor expansion of 0 in x
6.412 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0
6.412 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.412 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.412 * [taylor]: Taking taylor expansion of y in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.412 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.412 * [taylor]: Taking taylor expansion of x in x
6.412 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.412 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.412 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.412 * [taylor]: Taking taylor expansion of y in y
6.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.413 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.413 * [taylor]: Taking taylor expansion of x in y
6.413 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.413 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.413 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.413 * [taylor]: Taking taylor expansion of y in y
6.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.414 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.414 * [taylor]: Taking taylor expansion of x in y
6.414 * [taylor]: Taking taylor expansion of 1 in x
6.415 * [taylor]: Taking taylor expansion of 0 in x
6.416 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
6.416 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.416 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.416 * [taylor]: Taking taylor expansion of x in x
6.419 * [taylor]: Taking taylor expansion of 0 in x
6.422 * [taylor]: Taking taylor expansion of 0 in x
6.423 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0
6.423 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
6.423 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.423 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.423 * [taylor]: Taking taylor expansion of y in x
6.423 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.423 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.423 * [taylor]: Taking taylor expansion of x in x
6.424 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.424 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.424 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.424 * [taylor]: Taking taylor expansion of y in y
6.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.425 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.425 * [taylor]: Taking taylor expansion of x in y
6.425 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
6.425 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.425 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.425 * [taylor]: Taking taylor expansion of y in y
6.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.425 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.425 * [taylor]: Taking taylor expansion of x in y
6.426 * [taylor]: Taking taylor expansion of 1 in x
6.427 * [taylor]: Taking taylor expansion of 0 in x
6.428 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
6.428 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.428 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.428 * [taylor]: Taking taylor expansion of x in x
6.430 * [taylor]: Taking taylor expansion of 0 in x
6.433 * [taylor]: Taking taylor expansion of 0 in x
6.435 * * * [progress]: simplifying candidates
6.436 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log x) (log (- (* y y) (* x x))))
  (log (/ x (- (* y y) (* x x))))
  (exp (/ x (- (* y y) (* x x))))
  (/ (* (* x x) x) (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))))
  (* (cbrt (/ x (- (* y y) (* x x)))) (cbrt (/ x (- (* y y) (* x x)))))
  (cbrt (/ x (- (* y y) (* x x))))
  (* (* (/ x (- (* y y) (* x x))) (/ x (- (* y y) (* x x)))) (/ x (- (* y y) (* x x))))
  (sqrt (/ x (- (* y y) (* x x))))
  (sqrt (/ x (- (* y y) (* x x))))
  (- x)
  (- (- (* y y) (* x x)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ (cbrt x) (cbrt (- (* y y) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- (* y y) (* x x))))
  (/ (cbrt x) (sqrt (- (* y y) (* x x))))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- (* y y) (* x x)))
  (/ (* (cbrt x) (cbrt x)) (+ y x))
  (/ (cbrt x) (- y x))
  (/ (sqrt x) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ (sqrt x) (cbrt (- (* y y) (* x x))))
  (/ (sqrt x) (sqrt (- (* y y) (* x x))))
  (/ (sqrt x) (sqrt (- (* y y) (* x x))))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- (* y y) (* x x)))
  (/ (sqrt x) (+ y x))
  (/ (sqrt x) (- y x))
  (/ 1 (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ x (cbrt (- (* y y) (* x x))))
  (/ 1 (sqrt (- (* y y) (* x x))))
  (/ x (sqrt (- (* y y) (* x x))))
  (/ 1 1)
  (/ x (- (* y y) (* x x)))
  (/ 1 (+ y x))
  (/ x (- y x))
  (/ 1 (- (* y y) (* x x)))
  (/ (- (* y y) (* x x)) x)
  (/ x (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ x (sqrt (- (* y y) (* x x))))
  (/ x 1)
  (/ x (+ y x))
  (/ (- (* y y) (* x x)) (cbrt x))
  (/ (- (* y y) (* x x)) (sqrt x))
  (/ (- (* y y) (* x x)) x)
  (/ x (- (pow (* y y) 3) (pow (* x x) 3)))
  (/ x (- (* (* y y) (* y y)) (* (* x x) (* x x))))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (+ (- (log x) (log (- (* y y) (* x x)))) (log (- y x)))
  (+ (log (/ x (- (* y y) (* x x)))) (log (- y x)))
  (log (* (/ x (- (* y y) (* x x))) (- y x)))
  (exp (* (/ x (- (* y y) (* x x))) (- y x)))
  (* (/ (* (* x x) x) (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x)))) (* (* (- y x) (- y x)) (- y x)))
  (* (* (* (/ x (- (* y y) (* x x))) (/ x (- (* y y) (* x x)))) (/ x (- (* y y) (* x x)))) (* (* (- y x) (- y x)) (- y x)))
  (* (cbrt (* (/ x (- (* y y) (* x x))) (- y x))) (cbrt (* (/ x (- (* y y) (* x x))) (- y x))))
  (cbrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (* (* (* (/ x (- (* y y) (* x x))) (- y x)) (* (/ x (- (* y y) (* x x))) (- y x))) (* (/ x (- (* y y) (* x x))) (- y x)))
  (sqrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (sqrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (* x (- (pow y 3) (pow x 3)))
  (* (- (* y y) (* x x)) (+ (* y y) (+ (* x x) (* y x))))
  (* x (- (* y y) (* x x)))
  (* (- (* y y) (* x x)) (+ y x))
  (* (sqrt (/ x (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (sqrt (/ x (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (/ x (- (* y y) (* x x))) y)
  (* (/ x (- (* y y) (* x x))) (- x))
  (* (/ x (- (* y y) (* x x))) y)
  (* (/ x (- (* y y) (* x x))) (- x))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* (/ x (- (* y y) (* x x))) (* (cbrt (- y x)) (cbrt (- y x))))
  (* (/ x (- (* y y) (* x x))) (sqrt (- y x)))
  (* (/ x (- (* y y) (* x x))) 1)
  (* (/ x (- (* y y) (* x x))) (+ (sqrt y) (sqrt x)))
  (* (/ x (- (* y y) (* x x))) 1)
  (* (cbrt (/ x (- (* y y) (* x x)))) (- y x))
  (* (sqrt (/ x (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (- (* y y) (* x x))) (- y x))
  (* (/ (cbrt x) (- y x)) (- y x))
  (* (/ (sqrt x) (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ (sqrt x) (- (* y y) (* x x))) (- y x))
  (* (/ (sqrt x) (- y x)) (- y x))
  (* (/ x (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ x (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (* (/ x (- y x)) (- y x))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (* (/ 1 (- (* y y) (* x x))) (- y x))
  (* (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x)))) (- y x))
  (* (+ (* y y) (* x x)) (- y x))
  (* (/ x (- (* y y) (* x x))) (- (pow y 3) (pow x 3)))
  (* (/ x (- (* y y) (* x x))) (- (* y y) (* x x)))
  (* x (- y x))
  (/ (exp (* y y)) (exp (* x x)))
  (log (- (* y y) (* x x)))
  (exp (- (* y y) (* x x)))
  (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x))))
  (cbrt (- (* y y) (* x x)))
  (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (- (pow (* y y) 3) (pow (* x x) 3))
  (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x))))
  (- (* x x))
  (- (* (* y y) (* y y)) (* (* x x) (* x x)))
  (+ (* y y) (* x x))
  (+ y x)
  (- y x)
  (- (* x x))
  0
  0
  0
  0
  0
  0
  (- (pow y 2) (pow x 2))
  (- (pow y 2) (pow x 2))
  (- (pow y 2) (pow x 2))
6.441 * * [simplify]: iteration  0 :  142  enodes  (cost  1518 )
6.479 * * [simplify]: iteration  1 :  353  enodes  (cost  1475 )
6.660 * * [simplify]: iteration  2 :  1433  enodes  (cost  1329 )
7.092 * * [simplify]: iteration  done :  5001  enodes  (cost  1329 )
7.093 * [simplify]: Simplified to:
   (log (/ x (- (* y y) (* x x))))
  (log (/ x (- (* y y) (* x x))))
  (exp (/ x (- (* y y) (* x x))))
  (pow (/ x (- (* y y) (* x x))) 3)
  (* (cbrt (/ x (- (* y y) (* x x)))) (cbrt (/ x (- (* y y) (* x x)))))
  (cbrt (/ x (- (* y y) (* x x))))
  (pow (/ x (- (* y y) (* x x))) 3)
  (sqrt (/ x (- (* y y) (* x x))))
  (sqrt (/ x (- (* y y) (* x x))))
  (- x)
  (- (- (* y y) (* x x)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ (cbrt x) (cbrt (- (* y y) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- (* y y) (* x x))))
  (/ (cbrt x) (sqrt (- (* y y) (* x x))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- (* y y) (* x x)))
  (/ (* (cbrt x) (cbrt x)) (+ y x))
  (/ (cbrt x) (- y x))
  (/ (sqrt x) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ (sqrt x) (cbrt (- (* y y) (* x x))))
  (/ (sqrt x) (sqrt (- (* y y) (* x x))))
  (/ (sqrt x) (sqrt (- (* y y) (* x x))))
  (sqrt x)
  (/ (sqrt x) (- (* y y) (* x x)))
  (/ (sqrt x) (+ y x))
  (/ (sqrt x) (- y x))
  (/ 1 (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ x (cbrt (- (* y y) (* x x))))
  (/ 1 (sqrt (- (* y y) (* x x))))
  (/ x (sqrt (- (* y y) (* x x))))
  1
  (/ x (- (* y y) (* x x)))
  (/ 1 (+ y x))
  (/ x (- y x))
  (/ 1 (- (* y y) (* x x)))
  (/ (- (* y y) (* x x)) x)
  (/ x (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))))
  (/ x (sqrt (- (* y y) (* x x))))
  x
  (/ x (+ y x))
  (/ (- (* y y) (* x x)) (cbrt x))
  (/ (- (* y y) (* x x)) (sqrt x))
  (/ (- (* y y) (* x x)) x)
  (/ x (- (pow y 6) (pow x 6)))
  (/ x (- (pow y 4) (pow x 4)))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (log (* (/ x (- (* y y) (* x x))) (- y x)))
  (log (* (/ x (- (* y y) (* x x))) (- y x)))
  (log (* (/ x (- (* y y) (* x x))) (- y x)))
  (exp (* (/ x (- (* y y) (* x x))) (- y x)))
  (pow (* (/ x (- (* y y) (* x x))) (- y x)) 3)
  (pow (* (/ x (- (* y y) (* x x))) (- y x)) 3)
  (* (cbrt (* (/ x (- (* y y) (* x x))) (- y x))) (cbrt (* (/ x (- (* y y) (* x x))) (- y x))))
  (cbrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (pow (* (/ x (- (* y y) (* x x))) (- y x)) 3)
  (sqrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (sqrt (* (/ x (- (* y y) (* x x))) (- y x)))
  (* x (- (pow y 3) (pow x 3)))
  (* (+ (pow y 2) (* x (+ y x))) (- (* y y) (* x x)))
  (* (- y x) (* x (+ y x)))
  (* (- (* y y) (* x x)) (+ y x))
  (* (sqrt (/ x (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (sqrt (/ x (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (sqrt (- y x)))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (sqrt (- y x)))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* y (/ x (- (* y y) (* x x))))
  (* (- x) (/ x (- (* y y) (* x x))))
  (* (/ x (- (* y y) (* x x))) (* (cbrt (- y x)) (cbrt (- y x))))
  (* (/ x (- (* y y) (* x x))) (sqrt (- y x)))
  (/ x (- (* y y) (* x x)))
  (* (/ x (- (* y y) (* x x))) (+ (sqrt y) (sqrt x)))
  (/ x (- (* y y) (* x x)))
  (* (cbrt (/ x (- (* y y) (* x x)))) (- y x))
  (* (sqrt (/ x (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ (cbrt x) (- (* y y) (* x x))) (- y x))
  (* (/ (cbrt x) (- y x)) (- y x))
  (* (/ (sqrt x) (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ (sqrt x) (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ (sqrt x) (- (* y y) (* x x))) (- y x))
  (* (/ (sqrt x) (- y x)) (- y x))
  (* (/ x (cbrt (- (* y y) (* x x)))) (- y x))
  (* (/ x (sqrt (- (* y y) (* x x)))) (- y x))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (* (/ x (- y x)) (- y x))
  (* (/ x (- (* y y) (* x x))) (- y x))
  (/ (- y x) (- (* y y) (* x x)))
  (* (+ (pow x 4) (+ (* (* y y) (* x x)) (pow y 4))) (- y x))
  (* (+ (* y y) (* x x)) (- y x))
  (* (/ x (- (* y y) (* x x))) (- (pow y 3) (pow x 3)))
  (* (/ x (- (* y y) (* x x))) (- (* y y) (* x x)))
  (* x (- y x))
  (exp (- (pow y 2) (pow x 2)))
  (log (- (* y y) (* x x)))
  (exp (- (pow y 2) (pow x 2)))
  (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x))))
  (cbrt (- (* y y) (* x x)))
  (pow (- (* y y) (* x x)) 3)
  (sqrt (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (- (pow y 6) (pow x 6))
  (+ (pow x 4) (+ (* (* y y) (* x x)) (pow y 4)))
  (- (* x x))
  (- (pow y 4) (pow x 4))
  (+ (* y y) (* x x))
  (+ y x)
  (- y x)
  (- (* x x))
  0
  0
  0
  0
  0
  0
  (* (+ y x) (- y x))
  (* (+ y x) (- y x))
  (* (+ y x) (- y x))
7.094 * * * [progress]: adding candidates to table
7.287 * [progress]: [Phase 3 of 3] Extracting.
7.287 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ x (- (* y y) (* x x))) (- y x)))> #<alt (λ (x y) (* x (/ 1 (+ y x))))> #<alt (λ (x y) (/ x (+ y x)))>)
7.287 * * * [regime-changes]: Trying 3 branch expressions: ((/ x (+ y x)) y x)
7.287 * * * * [regimes]: Trying to branch on (/ x (+ y x)) from (#<alt (λ (x y) (* (/ x (- (* y y) (* x x))) (- y x)))> #<alt (λ (x y) (* x (/ 1 (+ y x))))> #<alt (λ (x y) (/ x (+ y x)))>)
7.298 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ x (- (* y y) (* x x))) (- y x)))> #<alt (λ (x y) (* x (/ 1 (+ y x))))> #<alt (λ (x y) (/ x (+ y x)))>)
7.310 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ x (- (* y y) (* x x))) (- y x)))> #<alt (λ (x y) (* x (/ 1 (+ y x))))> #<alt (λ (x y) (/ x (+ y x)))>)
7.324 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
7.324 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ x (+ y x))
7.324 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
7.325 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
7.325 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
7.325 * [simplify]: Simplified to:
   (/ x (+ y x))
7.648 * [regime-testing]: Baseline error score: 0.014376797099637455
7.648 * [regime-testing]: Oracle error score: 0.007375921990248781
7.651 * [regime-testing]: End program error score: 0.014376797099637455