38.732 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.035 * * [simplify]: iteration  0 :  24  enodes  (cost  7 )
0.036 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.037 * * [simplify]: iteration  2 :  73  enodes  (cost  7 )
0.039 * * [simplify]: iteration  3 :  92  enodes  (cost  7 )
0.041 * * [simplify]: iteration  4 :  105  enodes  (cost  7 )
0.042 * * [simplify]: iteration  5 :  128  enodes  (cost  7 )
0.044 * * [simplify]: iteration  6 :  161  enodes  (cost  7 )
0.046 * * [simplify]: iteration  7 :  210  enodes  (cost  7 )
0.048 * * [simplify]: iteration  8 :  244  enodes  (cost  7 )
0.050 * * [simplify]: iteration  9 :  244  enodes  (cost  7 )
0.050 * [simplify]: Simplified to:
   (- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.050 * * [progress]: iteration 1 / 4
0.050 * * * [progress]: picking best candidate
0.052 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x)))))>
0.052 * * * [progress]: localizing error
0.065 * * * [progress]: generating rewritten candidates
0.065 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.067 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.069 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.073 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.075 * * * [progress]: generating series expansions
0.075 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.075 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt x)) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x
0.075 * [taylor]: Taking taylor expansion of 3.0 in x
0.075 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x
0.077 * [taylor]: Taking taylor expansion of 3.0 in x
0.077 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.087 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in (x) around 0
0.087 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x
0.087 * [taylor]: Taking taylor expansion of 3.0 in x
0.087 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x
0.088 * [taylor]: Taking taylor expansion of 3.0 in x
0.088 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.100 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in (x) around 0
0.100 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x
0.100 * [taylor]: Taking taylor expansion of 3.0 in x
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.100 * [taylor]: Taking taylor expansion of -1 in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x
0.101 * [taylor]: Taking taylor expansion of 3.0 in x
0.101 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.113 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.113 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0
0.113 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.113 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.113 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.117 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0
0.117 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.117 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.117 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.122 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0
0.122 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.122 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.122 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.128 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in (y x) around 0
0.128 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
0.128 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.129 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
0.129 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.130 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.130 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.130 * [taylor]: Taking taylor expansion of x in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.130 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.130 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.130 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.130 * [taylor]: Taking taylor expansion of x in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.131 * [taylor]: Taking taylor expansion of 0 in x
0.131 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x
0.131 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.131 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of 0 in x
0.138 * [taylor]: Taking taylor expansion of 0 in x
0.327 * [taylor]: Taking taylor expansion of 0 in x
0.332 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in (y x) around 0
0.332 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
0.332 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.332 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
0.332 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.334 * [taylor]: Taking taylor expansion of y in x
0.334 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.334 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.334 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.334 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.334 * [taylor]: Taking taylor expansion of x in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.334 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.334 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.334 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.334 * [taylor]: Taking taylor expansion of x in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.335 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x
0.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.335 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of 0 in x
0.340 * [taylor]: Taking taylor expansion of 0 in x
0.345 * [taylor]: Taking taylor expansion of 0 in x
0.351 * [approximate]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in (y x) around 0
0.351 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.351 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.351 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.351 * [taylor]: Taking taylor expansion of -1 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.353 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.353 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.353 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.353 * [taylor]: Taking taylor expansion of -1 in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.353 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.353 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.353 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.353 * [taylor]: Taking taylor expansion of -1 in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.354 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (sqrt (/ -1 x))) in x
0.354 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.354 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.354 * [taylor]: Taking taylor expansion of -1 in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of 0 in x
0.363 * [taylor]: Taking taylor expansion of 0 in x
0.369 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.369 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in (x) around 0
0.369 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.369 * [taylor]: Taking taylor expansion of 1.0 in x
0.369 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.369 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.370 * [taylor]: Taking taylor expansion of 1.0 in x
0.370 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.370 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.384 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in (x) around 0
0.384 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
0.384 * [taylor]: Taking taylor expansion of 1.0 in x
0.384 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.384 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
0.384 * [taylor]: Taking taylor expansion of 1.0 in x
0.384 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.384 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.395 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in (x) around 0
0.395 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
0.395 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.395 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 1.0 in x
0.395 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
0.395 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.395 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 1.0 in x
0.403 * * * [progress]: simplifying candidates
0.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0)
  (- (* x 9.0))
  (/ 1 (* x 9.0))
  (/ (* x 9.0) 1.0)
  (/ 1.0 x)
  (/ 1.0 9.0)
  (- y)
  (- (* 3.0 (sqrt x)))
  (/ 1 (* 3.0 (sqrt x)))
  (/ (* 3.0 (sqrt x)) y)
  (/ y 3.0)
  (/ y (sqrt x))
  (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))
  (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0)))))
  (- (/ 1.0 (* x 9.0)))
  (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))))
  (+ 1.0 (/ 1.0 (* x 9.0)))
  (- (/ 1.0 (* x 9.0)))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 y) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y (pow x 3))) (- (* +nan.0 (/ y x)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
0.412 * * [simplify]: iteration  0 :  230  enodes  (cost  128 )
0.416 * * [simplify]: iteration  1 :  669  enodes  (cost  109 )
0.432 * * [simplify]: iteration  2 :  3324  enodes  (cost  101 )
0.502 * * [simplify]: iteration  3 :  5002  enodes  (cost  101 )
0.503 * [simplify]: Simplified to:
   (- 1.0)
  (- (* x 9.0))
  (/ 1 (* x 9.0))
  (/ (* x 9.0) 1.0)
  (/ 1.0 x)
  (/ 1.0 9.0)
  (- y)
  (- (* 3.0 (sqrt x)))
  (/ 1 (* 3.0 (sqrt x)))
  (/ (* 3.0 (sqrt x)) y)
  (/ y 3.0)
  (/ y (pow x 1/2))
  (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))
  (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))
  (- (/ 1.0 (* x 9.0)))
  (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))))
  (+ 1.0 (/ 1.0 (* x 9.0)))
  (- (/ 1.0 (* x 9.0)))
  (fma (- (pow x 2)) +nan.0 (* +nan.0 (- (pow x 3) x)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- y (* x y))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y (pow x 3)) (/ y x))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
0.503 * * * [progress]: adding candidates to table
0.563 * * [progress]: iteration 2 / 4
0.563 * * * [progress]: picking best candidate
0.573 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x)))))>
0.573 * * * [progress]: localizing error
0.583 * * * [progress]: generating rewritten candidates
0.583 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.585 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.588 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.591 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.593 * * * [progress]: generating series expansions
0.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.593 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt x)) in (x) around 0
0.593 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x
0.593 * [taylor]: Taking taylor expansion of 3.0 in x
0.593 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x
0.595 * [taylor]: Taking taylor expansion of 3.0 in x
0.595 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.606 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in (x) around 0
0.606 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x
0.606 * [taylor]: Taking taylor expansion of 3.0 in x
0.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x
0.607 * [taylor]: Taking taylor expansion of 3.0 in x
0.607 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.619 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in (x) around 0
0.619 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x
0.619 * [taylor]: Taking taylor expansion of 3.0 in x
0.619 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.619 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.619 * [taylor]: Taking taylor expansion of -1 in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x
0.620 * [taylor]: Taking taylor expansion of 3.0 in x
0.620 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.620 * [taylor]: Taking taylor expansion of -1 in x
0.620 * [taylor]: Taking taylor expansion of x in x
0.635 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.635 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0
0.635 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.635 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.635 * [taylor]: Taking taylor expansion of x in x
0.635 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.635 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.635 * [taylor]: Taking taylor expansion of x in x
0.639 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0
0.639 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.639 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.639 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.639 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.645 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.645 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.645 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.651 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.651 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in (y x) around 0
0.651 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
0.651 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.651 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
0.651 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.653 * [taylor]: Taking taylor expansion of y in x
0.653 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.653 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.653 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.653 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.653 * [taylor]: Taking taylor expansion of x in y
0.653 * [taylor]: Taking taylor expansion of y in y
0.653 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.653 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.653 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.653 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.653 * [taylor]: Taking taylor expansion of x in y
0.653 * [taylor]: Taking taylor expansion of y in y
0.654 * [taylor]: Taking taylor expansion of 0 in x
0.654 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x
0.654 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.654 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of 0 in x
0.660 * [taylor]: Taking taylor expansion of 0 in x
0.666 * [taylor]: Taking taylor expansion of 0 in x
0.671 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in (y x) around 0
0.671 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
0.672 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.672 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
0.672 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.673 * [taylor]: Taking taylor expansion of y in x
0.673 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.673 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.673 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.673 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.673 * [taylor]: Taking taylor expansion of x in y
0.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.673 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.673 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.673 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.673 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.673 * [taylor]: Taking taylor expansion of x in y
0.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.674 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x
0.674 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.674 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of 0 in x
0.679 * [taylor]: Taking taylor expansion of 0 in x
0.684 * [taylor]: Taking taylor expansion of 0 in x
0.689 * [approximate]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in (y x) around 0
0.689 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in x
0.689 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.689 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
0.689 * [taylor]: Taking taylor expansion of y in x
0.689 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.689 * [taylor]: Taking taylor expansion of -1 in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.691 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.691 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.691 * [taylor]: Taking taylor expansion of -1 in y
0.691 * [taylor]: Taking taylor expansion of x in y
0.691 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.691 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.691 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.692 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.692 * [taylor]: Taking taylor expansion of -1 in y
0.692 * [taylor]: Taking taylor expansion of x in y
0.692 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (sqrt (/ -1 x))) in x
0.692 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.692 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.692 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.692 * [taylor]: Taking taylor expansion of -1 in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of 0 in x
0.700 * [taylor]: Taking taylor expansion of 0 in x
0.707 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.707 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in (x) around 0
0.707 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.707 * [taylor]: Taking taylor expansion of 1.0 in x
0.707 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.707 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.708 * [taylor]: Taking taylor expansion of 1.0 in x
0.708 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.708 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.723 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in (x) around 0
0.723 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
0.723 * [taylor]: Taking taylor expansion of 1.0 in x
0.723 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.723 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
0.724 * [taylor]: Taking taylor expansion of 1.0 in x
0.724 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.724 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.733 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in (x) around 0
0.734 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
0.734 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.734 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
0.734 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.734 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of 1.0 in x
0.741 * * * [progress]: simplifying candidates
0.742 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 1.0 x))
  (- 9.0)
  (/ 1 9.0)
  (/ 9.0 (/ 1.0 x))
  (/ 9.0 (/ 1 x))
  (* 9.0 x)
  (* 9.0 (- x))
  (* 9.0 (/ x 1.0))
  (- y)
  (- (* 3.0 (sqrt x)))
  (/ 1 (* 3.0 (sqrt x)))
  (/ (* 3.0 (sqrt x)) y)
  (/ y 3.0)
  (/ y (sqrt x))
  (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))
  (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0))))
  (- (/ (/ 1.0 x) 9.0))
  (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)))
  (+ 1.0 (/ (/ 1.0 x) 9.0))
  (- (/ (/ 1.0 x) 9.0))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 y) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y (pow x 3))) (- (* +nan.0 (/ y x)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
0.745 * * [simplify]: iteration  0 :  241  enodes  (cost  132 )
0.749 * * [simplify]: iteration  1 :  665  enodes  (cost  112 )
0.763 * * [simplify]: iteration  2 :  3296  enodes  (cost  104 )
0.834 * * [simplify]: iteration  3 :  5001  enodes  (cost  104 )
0.835 * [simplify]: Simplified to:
   (- (/ 1.0 x))
  (- 9.0)
  (/ 1 9.0)
  (* 9.0 (/ x 1.0))
  (* x 9.0)
  (* x 9.0)
  (* 9.0 (- x))
  (* 9.0 (/ x 1.0))
  (- y)
  (- (* 3.0 (sqrt x)))
  (/ 1 (* 3.0 (sqrt x)))
  (/ (* 3.0 (sqrt x)) y)
  (/ y 3.0)
  (/ y (pow x 1/2))
  (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))
  (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))
  (- (/ (/ 1.0 x) 9.0))
  (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)))
  (+ 1.0 (/ (/ 1.0 x) 9.0))
  (- (/ (/ 1.0 x) 9.0))
  (fma (- (pow x 2)) +nan.0 (* +nan.0 (- (pow x 3) x)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- y (* x y))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y (pow x 3)) (/ y x))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
0.835 * * * [progress]: adding candidates to table
0.891 * * [progress]: iteration 3 / 4
0.891 * * * [progress]: picking best candidate
0.899 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x))))>
0.900 * * * [progress]: localizing error
0.909 * * * [progress]: generating rewritten candidates
0.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.912 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.915 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.917 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.924 * * * [progress]: generating series expansions
0.924 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.924 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in (y x) around 0
0.924 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
0.924 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.924 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
0.924 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.924 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of y in x
0.926 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.926 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.926 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.926 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.926 * [taylor]: Taking taylor expansion of x in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
0.926 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.926 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
0.926 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.926 * [taylor]: Taking taylor expansion of x in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of 0 in x
0.927 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x
0.927 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.927 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.927 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of 0 in x
0.936 * [taylor]: Taking taylor expansion of 0 in x
0.942 * [taylor]: Taking taylor expansion of 0 in x
0.947 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in (y x) around 0
0.947 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
0.947 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.947 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
0.947 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.947 * [taylor]: Taking taylor expansion of x in x
0.948 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.948 * [taylor]: Taking taylor expansion of y in x
0.948 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.948 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.948 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.948 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.948 * [taylor]: Taking taylor expansion of x in y
0.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.949 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
0.949 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.949 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
0.949 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.949 * [taylor]: Taking taylor expansion of x in y
0.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.949 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x
0.949 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.949 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.949 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of 0 in x
0.955 * [taylor]: Taking taylor expansion of 0 in x
0.960 * [taylor]: Taking taylor expansion of 0 in x
0.965 * [approximate]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in (y x) around 0
0.965 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in x
0.965 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.965 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
0.965 * [taylor]: Taking taylor expansion of y in x
0.965 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.967 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.967 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.967 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.967 * [taylor]: Taking taylor expansion of y in y
0.967 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.967 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.967 * [taylor]: Taking taylor expansion of -1 in y
0.967 * [taylor]: Taking taylor expansion of x in y
0.967 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
0.967 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.967 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
0.967 * [taylor]: Taking taylor expansion of y in y
0.967 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.967 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.967 * [taylor]: Taking taylor expansion of -1 in y
0.967 * [taylor]: Taking taylor expansion of x in y
0.968 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (sqrt (/ -1 x))) in x
0.968 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
0.968 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.971 * [taylor]: Taking taylor expansion of 0 in x
0.976 * [taylor]: Taking taylor expansion of 0 in x
0.983 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.983 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0
0.983 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.983 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
0.983 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.987 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0
0.987 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.987 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
0.987 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.993 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0
0.993 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.993 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
0.993 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.999 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.999 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in (x) around 0
0.999 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.999 * [taylor]: Taking taylor expansion of 1.0 in x
0.999 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.999 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
0.999 * [taylor]: Taking taylor expansion of 1.0 in x
0.999 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
0.999 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.999 * [taylor]: Taking taylor expansion of x in x
1.015 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in (x) around 0
1.015 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
1.015 * [taylor]: Taking taylor expansion of 1.0 in x
1.015 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.015 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
1.015 * [taylor]: Taking taylor expansion of 1.0 in x
1.015 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.015 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.025 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in (x) around 0
1.025 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.025 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.025 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of 1.0 in x
1.025 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.025 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.025 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of 1.0 in x
1.033 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.033 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in (x y) around 0
1.033 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in y
1.033 * [taylor]: Taking taylor expansion of 1.0 in y
1.033 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in y
1.033 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
1.033 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.033 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
1.033 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.033 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.033 * [taylor]: Taking taylor expansion of x in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y
1.033 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.033 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.033 * [taylor]: Taking taylor expansion of x in y
1.033 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in x
1.033 * [taylor]: Taking taylor expansion of 1.0 in x
1.033 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in x
1.033 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
1.033 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.033 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
1.033 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.035 * [taylor]: Taking taylor expansion of y in x
1.035 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.035 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.035 * [taylor]: Taking taylor expansion of x in x
1.035 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in x
1.035 * [taylor]: Taking taylor expansion of 1.0 in x
1.035 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in x
1.036 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
1.036 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.036 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
1.036 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.036 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of y in x
1.037 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.037 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.039 * [taylor]: Taking taylor expansion of (- 0.1111111111111111) in y
1.039 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.041 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 y)) in y
1.041 * [taylor]: Taking taylor expansion of 1.0 in y
1.041 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
1.041 * [taylor]: Taking taylor expansion of +nan.0 in y
1.041 * [taylor]: Taking taylor expansion of y in y
1.046 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y
1.046 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
1.046 * [taylor]: Taking taylor expansion of +nan.0 in y
1.046 * [taylor]: Taking taylor expansion of y in y
1.049 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in (x y) around 0
1.049 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in y
1.049 * [taylor]: Taking taylor expansion of 1.0 in y
1.049 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in y
1.049 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
1.049 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.049 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
1.050 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.050 * [taylor]: Taking taylor expansion of x in y
1.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y
1.050 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.050 * [taylor]: Taking taylor expansion of x in y
1.050 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in x
1.050 * [taylor]: Taking taylor expansion of 1.0 in x
1.050 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in x
1.050 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
1.050 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.050 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
1.050 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.051 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in x
1.051 * [taylor]: Taking taylor expansion of 1.0 in x
1.051 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in x
1.051 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
1.051 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.051 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
1.051 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.052 * [taylor]: Taking taylor expansion of y in x
1.052 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.052 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of 1.0 in y
1.056 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) 0.1111111111111111)) in y
1.056 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) 0.1111111111111111) in y
1.056 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.056 * [taylor]: Taking taylor expansion of +nan.0 in y
1.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.056 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.061 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
1.061 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.061 * [taylor]: Taking taylor expansion of +nan.0 in y
1.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.063 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in (x y) around 0
1.063 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in y
1.063 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in y
1.063 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.063 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in y
1.063 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
1.063 * [taylor]: Taking taylor expansion of y in y
1.063 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.063 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.063 * [taylor]: Taking taylor expansion of -1 in y
1.063 * [taylor]: Taking taylor expansion of x in y
1.063 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in y
1.063 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y
1.063 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.063 * [taylor]: Taking taylor expansion of x in y
1.063 * [taylor]: Taking taylor expansion of 1.0 in y
1.063 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in x
1.063 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in x
1.063 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.063 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in x
1.063 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
1.063 * [taylor]: Taking taylor expansion of y in x
1.063 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.063 * [taylor]: Taking taylor expansion of -1 in x
1.064 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.065 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.065 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of 1.0 in x
1.065 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in x
1.065 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in x
1.065 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in x
1.065 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
1.065 * [taylor]: Taking taylor expansion of y in x
1.065 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.065 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.065 * [taylor]: Taking taylor expansion of -1 in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.067 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.067 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.067 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.067 * [taylor]: Taking taylor expansion of 1.0 in x
1.068 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
1.068 * [taylor]: Taking taylor expansion of 1.0 in y
1.068 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.068 * [taylor]: Taking taylor expansion of +nan.0 in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of (- 0.1111111111111111 (* +nan.0 (/ 1 y))) in y
1.073 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.073 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.073 * [taylor]: Taking taylor expansion of +nan.0 in y
1.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.077 * * * [progress]: simplifying candidates
1.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ y 3.0))
  (- (sqrt x))
  (/ 1 (sqrt x))
  (/ (sqrt x) (/ y 3.0))
  (/ (sqrt x) (/ 1 3.0))
  (* (sqrt x) 3.0)
  (* (sqrt x) (- 3.0))
  (* (sqrt x) (/ 3.0 y))
  (- 1.0)
  (- (* x 9.0))
  (/ 1 (* x 9.0))
  (/ (* x 9.0) 1.0)
  (/ 1.0 x)
  (/ 1.0 9.0)
  (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))
  (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0)))))
  (- (/ 1.0 (* x 9.0)))
  (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))))
  (+ 1.0 (/ 1.0 (* x 9.0)))
  (- (/ 1.0 (* x 9.0)))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (sqrt x)) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (/ y 3.0)))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (sqrt x))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (- (sqrt x))) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (- (/ y 3.0))))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (- (sqrt x)))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (/ (sqrt x) (/ y 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) 1))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (/ (sqrt x) (/ y 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (/ (sqrt x) (/ 1 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) y))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (/ (sqrt x) (/ 1 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (* (sqrt x) 3.0)) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) y))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (* (sqrt x) 3.0))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (* (sqrt x) (- 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (- y)))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (* (sqrt x) (- 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (* (sqrt x) (/ 3.0 y))) (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) 1))
  (* (+ (* 1.0 1.0) (+ (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* 1.0 (/ 1.0 (* x 9.0))))) (* (sqrt x) (/ 3.0 y)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (sqrt x)) (* (+ 1.0 (/ 1.0 (* x 9.0))) (/ y 3.0)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (sqrt x))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- (sqrt x))) (* (+ 1.0 (/ 1.0 (* x 9.0))) (- (/ y 3.0))))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (- (sqrt x)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (/ (sqrt x) (/ y 3.0))) (* (+ 1.0 (/ 1.0 (* x 9.0))) 1))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (/ (sqrt x) (/ y 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (/ (sqrt x) (/ 1 3.0))) (* (+ 1.0 (/ 1.0 (* x 9.0))) y))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (/ (sqrt x) (/ 1 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ 1.0 (* x 9.0))) y))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) 3.0))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 3.0))) (* (+ 1.0 (/ 1.0 (* x 9.0))) (- y)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) (- 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) (/ 3.0 y))) (* (+ 1.0 (/ 1.0 (* x 9.0))) 1))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) (/ 3.0 y)))
  (- (pow (- 1.0 (/ 1.0 (* x 9.0))) 3) (pow (/ (/ y 3.0) (sqrt x)) 3))
  (+ (* (- 1.0 (/ 1.0 (* x 9.0))) (- 1.0 (/ 1.0 (* x 9.0)))) (+ (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))) (* (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (* (- 1.0 (/ 1.0 (* x 9.0))) (- 1.0 (/ 1.0 (* x 9.0)))) (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))))
  (+ (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (+ (/ 1.0 (* x 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 y) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y (pow x 3))) (- (* +nan.0 (/ y x)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (+ (* +nan.0 y) (* 0.1111111111111111 (/ 1 x))))
  (- 1.0 (+ (* +nan.0 (/ y (pow x 2))) (- (* +nan.0 (/ y x)))))
  (- 1.0 (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))
1.084 * * [simplify]: iteration  0 :  415  enodes  (cost  593 )
1.091 * * [simplify]: iteration  1 :  1710  enodes  (cost  536 )
1.122 * * [simplify]: iteration  2 :  5001  enodes  (cost  525 )
1.125 * [simplify]: Simplified to:
   (- (/ y 3.0))
  (- (sqrt x))
  (/ 1 (sqrt x))
  (* (sqrt x) (/ 3.0 y))
  (* 3.0 (sqrt x))
  (* 3.0 (sqrt x))
  (* (sqrt x) (- 3.0))
  (* (sqrt x) (/ 3.0 y))
  (- 1.0)
  (- (* x 9.0))
  (/ 1 (* x 9.0))
  (/ (* x 9.0) 1.0)
  (/ 1.0 x)
  (/ 1.0 9.0)
  (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))
  (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))
  (- (/ 1.0 (* x 9.0)))
  (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))))
  (+ 1.0 (/ 1.0 (* x 9.0)))
  (- (/ 1.0 (* x 9.0)))
  (fma (sqrt x) (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (* (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))) (/ y 3.0)))
  (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (sqrt x))
  (fma (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (- (sqrt x)) (/ y (/ 3.0 (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)))))
  (* (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))) (sqrt x))
  (fma (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (sqrt x)) (/ 3.0 y) (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))))
  (* (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (/ 3.0 y)) (sqrt x))
  (fma (sqrt x) (* 3.0 (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))) (* (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))) y))
  (* (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (sqrt x)) 3.0)
  (fma (sqrt x) (* 3.0 (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3))) (* (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))) y))
  (* (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (sqrt x)) 3.0)
  (fma y (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (* (sqrt x) (- 3.0))))
  (* (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (- 3.0)) (sqrt x))
  (fma (* (- (pow 1.0 3) (pow (/ 1.0 (* x 9.0)) 3)) (sqrt x)) (/ 3.0 y) (- (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0))))
  (* (* (fma (/ 1.0 (* x 9.0)) (+ 1.0 (/ 1.0 (* x 9.0))) (* 1.0 1.0)) (/ 3.0 y)) (sqrt x))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (sqrt x)) (* (+ 1.0 (/ 1.0 (* x 9.0))) (/ y 3.0)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (sqrt x))
  (fma (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- (sqrt x)) (* (+ 1.0 (/ 1.0 (* x 9.0))) (/ y 3.0)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (- (sqrt x)))
  (- (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) (/ 3.0 y))) 1.0) (/ 1.0 (* x 9.0)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) (/ 3.0 y)))
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ 1.0 (* x 9.0))) y))
  (* (* (+ 1.0 (/ 1.0 (* x 9.0))) (sqrt x)) 3.0)
  (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ 1.0 (* x 9.0))) y))
  (* (* (+ 1.0 (/ 1.0 (* x 9.0))) (sqrt x)) 3.0)
  (fma (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (sqrt x)) (- 3.0) (* (+ 1.0 (/ 1.0 (* x 9.0))) y))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) (- 3.0)))
  (- (- (* (- (* 1.0 1.0) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (* (sqrt x) (/ 3.0 y))) 1.0) (/ 1.0 (* x 9.0)))
  (* (+ 1.0 (/ 1.0 (* x 9.0))) (* (sqrt x) (/ 3.0 y)))
  (- (pow (- 1.0 (/ 1.0 (* x 9.0))) 3) (pow (/ (/ y 3.0) (sqrt x)) 3))
  (fma (/ (/ y 3.0) (sqrt x)) (+ (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x))) (* (- 1.0 (/ 1.0 (* x 9.0))) (- 1.0 (/ 1.0 (* x 9.0)))))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (* (- 1.0 (/ 1.0 (* x 9.0))) (- 1.0 (/ 1.0 (* x 9.0)))) (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))))
  (+ (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
  (+ (/ 1.0 (* x 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (/ (/ y 3.0) (sqrt x)))
  (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- y (* x y))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y (pow x 3)) (/ y x))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y)))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (+ (* +nan.0 y) (* 0.1111111111111111 (/ 1 x))))
  (+ (- 1.0 (* +nan.0 (/ y (pow x 2)))) (* +nan.0 (/ y x)))
  (+ (- 1.0 (* +nan.0 (/ y x))) (* +nan.0 y))
1.126 * * * [progress]: adding candidates to table
1.238 * * [progress]: iteration 4 / 4
1.238 * * * [progress]: picking best candidate
1.250 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x))))>
1.250 * * * [progress]: localizing error
1.260 * * * [progress]: generating rewritten candidates
1.260 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.264 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.267 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.269 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.275 * * * [progress]: generating series expansions
1.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.276 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in (y x) around 0
1.276 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
1.276 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.276 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
1.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.277 * [taylor]: Taking taylor expansion of y in x
1.277 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
1.277 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.278 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
1.278 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.278 * [taylor]: Taking taylor expansion of x in y
1.278 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
1.278 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.278 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
1.278 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.278 * [taylor]: Taking taylor expansion of x in y
1.278 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of 0 in x
1.279 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x
1.279 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.279 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of 0 in x
1.285 * [taylor]: Taking taylor expansion of 0 in x
1.291 * [taylor]: Taking taylor expansion of 0 in x
1.296 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in (y x) around 0
1.296 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
1.296 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.296 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
1.296 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.296 * [taylor]: Taking taylor expansion of x in x
1.297 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.297 * [taylor]: Taking taylor expansion of y in x
1.297 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
1.297 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.297 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
1.297 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.298 * [taylor]: Taking taylor expansion of x in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.298 * [taylor]: Taking taylor expansion of y in y
1.298 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
1.298 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.298 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
1.298 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.298 * [taylor]: Taking taylor expansion of x in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.298 * [taylor]: Taking taylor expansion of y in y
1.298 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x
1.298 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.298 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.298 * [taylor]: Taking taylor expansion of x in x
1.301 * [taylor]: Taking taylor expansion of 0 in x
1.304 * [taylor]: Taking taylor expansion of 0 in x
1.309 * [taylor]: Taking taylor expansion of 0 in x
1.314 * [approximate]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in (y x) around 0
1.314 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in x
1.314 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
1.314 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
1.314 * [taylor]: Taking taylor expansion of y in x
1.314 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.314 * [taylor]: Taking taylor expansion of -1 in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.316 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
1.316 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.316 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
1.316 * [taylor]: Taking taylor expansion of y in y
1.316 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.316 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.316 * [taylor]: Taking taylor expansion of -1 in y
1.316 * [taylor]: Taking taylor expansion of x in y
1.317 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (* y (sqrt (/ -1 x)))) in y
1.317 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.317 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.317 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.317 * [taylor]: Taking taylor expansion of -1 in y
1.317 * [taylor]: Taking taylor expansion of x in y
1.317 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (sqrt (/ -1 x))) in x
1.317 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
1.317 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.317 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.318 * [taylor]: Taking taylor expansion of -1 in x
1.318 * [taylor]: Taking taylor expansion of x in x
1.323 * [taylor]: Taking taylor expansion of 0 in x
1.329 * [taylor]: Taking taylor expansion of 0 in x
1.335 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.335 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0
1.335 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
1.335 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.336 * [taylor]: Taking taylor expansion of x in x
1.336 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
1.336 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.336 * [taylor]: Taking taylor expansion of x in x
1.339 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0
1.339 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.339 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.340 * [taylor]: Taking taylor expansion of x in x
1.340 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.340 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.340 * [taylor]: Taking taylor expansion of x in x
1.345 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0
1.345 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
1.345 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.345 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
1.345 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.351 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.351 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in (x) around 0
1.351 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
1.351 * [taylor]: Taking taylor expansion of 1.0 in x
1.351 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.351 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.352 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 (/ 1 x))) in x
1.352 * [taylor]: Taking taylor expansion of 1.0 in x
1.352 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.352 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.352 * [taylor]: Taking taylor expansion of x in x
1.365 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in (x) around 0
1.365 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
1.365 * [taylor]: Taking taylor expansion of 1.0 in x
1.365 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.365 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.1111111111111111 x)) in x
1.365 * [taylor]: Taking taylor expansion of 1.0 in x
1.365 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.365 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.375 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in (x) around 0
1.375 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.375 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.375 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of 1.0 in x
1.375 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.375 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.375 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of 1.0 in x
1.383 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.383 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in (x y) around 0
1.383 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in y
1.383 * [taylor]: Taking taylor expansion of 1.0 in y
1.383 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in y
1.383 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in y
1.383 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.383 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in y
1.383 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.383 * [taylor]: Taking taylor expansion of x in y
1.383 * [taylor]: Taking taylor expansion of y in y
1.383 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y
1.383 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.383 * [taylor]: Taking taylor expansion of x in y
1.383 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in x
1.383 * [taylor]: Taking taylor expansion of 1.0 in x
1.383 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in x
1.383 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
1.383 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.383 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
1.383 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.384 * [taylor]: Taking taylor expansion of x in x
1.385 * [taylor]: Taking taylor expansion of y in x
1.385 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.385 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.385 * [taylor]: Taking taylor expansion of x in x
1.385 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x)))) in x
1.385 * [taylor]: Taking taylor expansion of 1.0 in x
1.385 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) (* 0.1111111111111111 (/ 1 x))) in x
1.385 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt (/ 1 x)) y)) in x
1.385 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.385 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) y) in x
1.385 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.385 * [taylor]: Taking taylor expansion of x in x
1.387 * [taylor]: Taking taylor expansion of y in x
1.387 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
1.387 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.387 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of (- 0.1111111111111111) in y
1.389 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.391 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 y)) in y
1.391 * [taylor]: Taking taylor expansion of 1.0 in y
1.391 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
1.391 * [taylor]: Taking taylor expansion of +nan.0 in y
1.391 * [taylor]: Taking taylor expansion of y in y
1.396 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y
1.396 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
1.396 * [taylor]: Taking taylor expansion of +nan.0 in y
1.396 * [taylor]: Taking taylor expansion of y in y
1.402 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in (x y) around 0
1.402 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in y
1.402 * [taylor]: Taking taylor expansion of 1.0 in y
1.402 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in y
1.402 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in y
1.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.402 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in y
1.402 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.402 * [taylor]: Taking taylor expansion of x in y
1.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.402 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y
1.403 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in x
1.403 * [taylor]: Taking taylor expansion of 1.0 in x
1.403 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in x
1.403 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
1.403 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.403 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
1.403 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.404 * [taylor]: Taking taylor expansion of y in x
1.404 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.404 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x))) in x
1.404 * [taylor]: Taking taylor expansion of 1.0 in x
1.404 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) (* 0.1111111111111111 x)) in x
1.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (sqrt x) (/ 1 y))) in x
1.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.404 * [taylor]: Taking taylor expansion of (* (sqrt x) (/ 1 y)) in x
1.404 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.405 * [taylor]: Taking taylor expansion of y in x
1.405 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.405 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.407 * [taylor]: Taking taylor expansion of 1.0 in y
1.408 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) 0.1111111111111111)) in y
1.409 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) 0.1111111111111111) in y
1.409 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.409 * [taylor]: Taking taylor expansion of +nan.0 in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.414 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
1.414 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.414 * [taylor]: Taking taylor expansion of +nan.0 in y
1.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.414 * [taylor]: Taking taylor expansion of y in y
1.416 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in (x y) around 0
1.416 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in y
1.416 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in y
1.416 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in y
1.416 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.416 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.416 * [taylor]: Taking taylor expansion of -1 in y
1.416 * [taylor]: Taking taylor expansion of x in y
1.416 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in y
1.416 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y
1.416 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.416 * [taylor]: Taking taylor expansion of x in y
1.416 * [taylor]: Taking taylor expansion of 1.0 in y
1.417 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in x
1.417 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in x
1.417 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.417 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in x
1.417 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
1.417 * [taylor]: Taking taylor expansion of y in x
1.417 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.417 * [taylor]: Taking taylor expansion of -1 in x
1.417 * [taylor]: Taking taylor expansion of x in x
1.418 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.418 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.418 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.418 * [taylor]: Taking taylor expansion of x in x
1.418 * [taylor]: Taking taylor expansion of 1.0 in x
1.418 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) (+ (* 0.1111111111111111 x) 1.0)) in x
1.418 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* y (sqrt (/ -1 x))))) in x
1.418 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.418 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt (/ -1 x)))) in x
1.418 * [taylor]: Taking taylor expansion of (* y (sqrt (/ -1 x))) in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.418 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.419 * [taylor]: Taking taylor expansion of -1 in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) 1.0) in x
1.420 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
1.420 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
1.420 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of 1.0 in x
1.421 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
1.421 * [taylor]: Taking taylor expansion of 1.0 in y
1.421 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.421 * [taylor]: Taking taylor expansion of +nan.0 in y
1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.421 * [taylor]: Taking taylor expansion of y in y
1.426 * [taylor]: Taking taylor expansion of (- 0.1111111111111111 (* +nan.0 (/ 1 y))) in y
1.426 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
1.426 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
1.427 * [taylor]: Taking taylor expansion of +nan.0 in y
1.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.427 * [taylor]: Taking taylor expansion of y in y
1.430 * * * [progress]: simplifying candidates
1.431 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ y 3.0))
  (- (sqrt x))
  (/ 1 (sqrt x))
  (/ (sqrt x) (/ y 3.0))
  (/ (sqrt x) (/ 1 3.0))
  (* (sqrt x) 3.0)
  (* (sqrt x) (- 3.0))
  (* (sqrt x) (/ 3.0 y))
  (- (/ 1.0 x))
  (- 9.0)
  (/ 1 9.0)
  (/ 9.0 (/ 1.0 x))
  (/ 9.0 (/ 1 x))
  (* 9.0 x)
  (* 9.0 (- x))
  (* 9.0 (/ x 1.0))
  (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))
  (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0))))
  (- (/ (/ 1.0 x) 9.0))
  (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)))
  (+ 1.0 (/ (/ 1.0 x) 9.0))
  (- (/ (/ 1.0 x) 9.0))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (sqrt x)) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (/ y 3.0)))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (sqrt x))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (- (sqrt x))) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (- (/ y 3.0))))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (- (sqrt x)))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (/ (sqrt x) (/ y 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) 1))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (/ (sqrt x) (/ y 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (/ (sqrt x) (/ 1 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) y))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (/ (sqrt x) (/ 1 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (* (sqrt x) 3.0)) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) y))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (* (sqrt x) 3.0))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (* (sqrt x) (- 3.0))) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (- y)))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (* (sqrt x) (- 3.0)))
  (- (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (* (sqrt x) (/ 3.0 y))) (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) 1))
  (* (+ (* 1.0 1.0) (+ (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)) (* 1.0 (/ (/ 1.0 x) 9.0)))) (* (sqrt x) (/ 3.0 y)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (sqrt x)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (/ y 3.0)))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (- (sqrt x))) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (- (/ y 3.0))))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (- (sqrt x)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (/ (sqrt x) (/ y 3.0))) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) 1))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (/ (sqrt x) (/ y 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (/ (sqrt x) (/ 1 3.0))) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (/ (sqrt x) (/ 1 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) 3.0))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) (- 3.0))) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (- y)))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) (- 3.0)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) (/ 3.0 y))) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) 1))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) (/ 3.0 y)))
  (- (pow (- 1.0 (/ (/ 1.0 x) 9.0)) 3) (pow (/ (/ y 3.0) (sqrt x)) 3))
  (+ (* (- 1.0 (/ (/ 1.0 x) 9.0)) (- 1.0 (/ (/ 1.0 x) 9.0))) (+ (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))) (* (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (* (- 1.0 (/ (/ 1.0 x) 9.0)) (- 1.0 (/ (/ 1.0 x) 9.0))) (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))))
  (+ (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (+ (/ (/ 1.0 x) 9.0) (/ (/ y 3.0) (sqrt x)))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 y) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y (pow x 3))) (- (* +nan.0 (/ y x)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (+ (* +nan.0 y) (* 0.1111111111111111 (/ 1 x))))
  (- 1.0 (+ (* +nan.0 (/ y (pow x 2))) (- (* +nan.0 (/ y x)))))
  (- 1.0 (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))
1.437 * * [simplify]: iteration  0 :  426  enodes  (cost  597 )
1.445 * * [simplify]: iteration  1 :  1707  enodes  (cost  539 )
1.475 * * [simplify]: iteration  2 :  5003  enodes  (cost  528 )
1.478 * [simplify]: Simplified to:
   (- (/ y 3.0))
  (- (sqrt x))
  (/ 1 (sqrt x))
  (* (sqrt x) (/ 3.0 y))
  (* 3.0 (sqrt x))
  (* 3.0 (sqrt x))
  (* (sqrt x) (- 3.0))
  (* (sqrt x) (/ 3.0 y))
  (- (/ 1.0 x))
  (- 9.0)
  (/ 1 9.0)
  (* 9.0 (/ x 1.0))
  (* x 9.0)
  (* x 9.0)
  (* 9.0 (- x))
  (* 9.0 (/ x 1.0))
  (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))
  (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))
  (- (/ (/ 1.0 x) 9.0))
  (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0)))
  (+ 1.0 (/ (/ 1.0 x) 9.0))
  (- (/ (/ 1.0 x) 9.0))
  (fma (sqrt x) (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (* (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))) (/ y 3.0)))
  (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (sqrt x))
  (fma (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (- (sqrt x)) (/ y (/ 3.0 (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)))))
  (* (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))) (sqrt x))
  (fma (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (sqrt x)) (/ 3.0 y) (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))))
  (* (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (/ 3.0 y)) (sqrt x))
  (fma (sqrt x) (* 3.0 (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))) (* (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))) y))
  (* (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (sqrt x)) 3.0)
  (fma (sqrt x) (* 3.0 (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3))) (* (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))) y))
  (* (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (sqrt x)) 3.0)
  (fma y (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (* (sqrt x) (- 3.0))))
  (* (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (- 3.0)) (sqrt x))
  (fma (* (- (pow 1.0 3) (pow (/ (/ 1.0 x) 9.0) 3)) (sqrt x)) (/ 3.0 y) (- (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0))))
  (* (* (fma (/ (/ 1.0 x) 9.0) (+ 1.0 (/ (/ 1.0 x) 9.0)) (* 1.0 1.0)) (/ 3.0 y)) (sqrt x))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (sqrt x)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (/ y 3.0)))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x))
  (fma (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (- (sqrt x)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (/ y 3.0)))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (- (sqrt x)))
  (- (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) (/ 3.0 y))) 1.0) (/ (/ 1.0 x) 9.0))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) (/ 3.0 y)))
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y))
  (* (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x)) 3.0)
  (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y))
  (* (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x)) 3.0)
  (fma (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (sqrt x)) (- 3.0) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) (- 3.0)))
  (- (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) (/ 3.0 y))) 1.0) (/ (/ 1.0 x) 9.0))
  (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (* (sqrt x) (/ 3.0 y)))
  (- (pow (- 1.0 (/ (/ 1.0 x) 9.0)) 3) (pow (/ (/ y 3.0) (sqrt x)) 3))
  (fma (/ (/ y 3.0) (sqrt x)) (+ (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x))) (* (- 1.0 (/ (/ 1.0 x) 9.0)) (- 1.0 (/ (/ 1.0 x) 9.0))))
  (- (/ (/ y 3.0) (sqrt x)))
  (- (* (- 1.0 (/ (/ 1.0 x) 9.0)) (- 1.0 (/ (/ 1.0 x) 9.0))) (* (/ (/ y 3.0) (sqrt x)) (/ (/ y 3.0) (sqrt x))))
  (+ (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
  (+ (/ (/ 1.0 x) 9.0) (/ (/ y 3.0) (sqrt x)))
  (- (/ (/ y 3.0) (sqrt x)))
  (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- y (* x y))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y (pow x 3)) (/ y x))))
  (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y)))
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (/ 0.1111111111111111 x)
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (* 0.1111111111111111 (/ 1 x)))
  (- 1.0 (+ (* +nan.0 y) (* 0.1111111111111111 (/ 1 x))))
  (+ (- 1.0 (* +nan.0 (/ y (pow x 2)))) (* +nan.0 (/ y x)))
  (+ (- 1.0 (* +nan.0 (/ y x))) (* +nan.0 y))
1.479 * * * [progress]: adding candidates to table
1.589 * [progress]: [Phase 3 of 3] Extracting.
1.589 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (* (/ y 3.0) (/ 1 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (* 0.1111111111111111 (/ 1 x))) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (pow x 1/2)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 9.0) x)) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (/ (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y)) (* (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ 1 (* (sqrt x) (/ 3.0 y)))))>)
1.590 * * * [regime-changes]: Trying 2 branch expressions: (y x)
1.590 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (* (/ y 3.0) (/ 1 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (* 0.1111111111111111 (/ 1 x))) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (pow x 1/2)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 9.0) x)) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (/ (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y)) (* (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ 1 (* (sqrt x) (/ 3.0 y)))))>)
1.614 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (* (/ y 3.0) (/ 1 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (* 0.1111111111111111 (/ 1 x))) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (pow x 1/2)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 9.0) x)) (/ y (* 3.0 (sqrt x)))))> #<alt (λ (x y) (/ (- (* (- (* 1.0 1.0) (* (/ (/ 1.0 x) 9.0) (/ (/ 1.0 x) 9.0))) (* (sqrt x) 3.0)) (* (+ 1.0 (/ (/ 1.0 x) 9.0)) y)) (* (* (+ 1.0 (/ (/ 1.0 x) 9.0)) (sqrt x)) 3.0)))> #<alt (λ (x y) (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ 1 (* (sqrt x) (/ 3.0 y)))))>)
1.635 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1.635 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ 1 (* (sqrt x) (/ 3.0 y))))
1.636 * * [simplify]: iteration  0 :  17  enodes  (cost  8 )
1.636 * * [simplify]: iteration  1 :  17  enodes  (cost  8 )
1.636 * [simplify]: Simplified to:
   (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ 1 (* (sqrt x) (/ 3.0 y))))
2.695 * [regime-testing]: Baseline error score: 0.24855268627824245
2.695 * [regime-testing]: Oracle error score: 0.03582759876243545
2.696 * [regime-testing]: End program error score: 0.24855268627824245
2.723 * [regime-testing]: Target error score: 0.22941796318461077