27.855 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (+ 1.0 (* y y)))
0.026 * * [simplify]: iteration  0 :  14  enodes  (cost  3 )
0.028 * * [simplify]: iteration  1 :  23  enodes  (cost  3 )
0.029 * * [simplify]: iteration  2 :  30  enodes  (cost  3 )
0.030 * * [simplify]: iteration  3 :  31  enodes  (cost  3 )
0.031 * * [simplify]: iteration  4 :  31  enodes  (cost  3 )
0.032 * [simplify]: Simplified to:
   (* x (+ 1.0 (* y y)))
0.032 * * [progress]: iteration 1 / 4
0.032 * * * [progress]: picking best candidate
0.033 * * * * [pick]: Picked  #<alt (λ (x y) (* x (+ 1.0 (* y y))))>
0.033 * * * [progress]: localizing error
0.038 * * * [progress]: generating rewritten candidates
0.038 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.045 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.048 * * * [progress]: generating series expansions
0.048 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.048 * [approximate]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in (x y) around 0
0.048 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in y
0.048 * [taylor]: Taking taylor expansion of x in y
0.048 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.048 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.048 * [taylor]: Taking taylor expansion of y in y
0.048 * [taylor]: Taking taylor expansion of 1.0 in y
0.048 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.048 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of 1.0 in x
0.048 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.048 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of 1.0 in x
0.049 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.049 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.049 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of 1.0 in y
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.053 * [taylor]: Taking taylor expansion of 0 in y
0.053 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in (x y) around 0
0.053 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in y
0.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.053 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of 1.0 in y
0.053 * [taylor]: Taking taylor expansion of x in y
0.054 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.054 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of 1.0 in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.054 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of 1.0 in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.055 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.055 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.055 * [taylor]: Taking taylor expansion of y in y
0.055 * [taylor]: Taking taylor expansion of 1.0 in y
0.057 * [taylor]: Taking taylor expansion of 0 in y
0.059 * [taylor]: Taking taylor expansion of 0 in y
0.066 * [taylor]: Taking taylor expansion of 0 in y
0.070 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in (x y) around 0
0.076 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in y
0.076 * [taylor]: Taking taylor expansion of -1 in y
0.076 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in y
0.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.076 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.076 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of 1.0 in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.077 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.077 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of 1.0 in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.077 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.077 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of 1.0 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow y 2)) 1.0)) in y
0.078 * [taylor]: Taking taylor expansion of -1 in y
0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.078 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of 1.0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.103 * [approximate]: Taking taylor expansion of (+ (pow y 2) 1.0) in (y) around 0
0.103 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of 1.0 in y
0.103 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of 1.0 in y
0.109 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in (y) around 0
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.109 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of 1.0 in y
0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.110 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of 1.0 in y
0.130 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in (y) around 0
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.130 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.131 * [taylor]: Taking taylor expansion of 1.0 in y
0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.131 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.131 * [taylor]: Taking taylor expansion of y in y
0.131 * [taylor]: Taking taylor expansion of 1.0 in y
0.151 * * * [progress]: simplifying candidates
0.152 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (+ 1.0 (* y y))))
  (log1p (* x (+ 1.0 (* y y))))
  (* x (+ 1.0 (* y y)))
  (+ (log x) (log (+ 1.0 (* y y))))
  (log (* x (+ 1.0 (* y y))))
  (exp (* x (+ 1.0 (* y y))))
  (* (* (* x x) x) (* (* (+ 1.0 (* y y)) (+ 1.0 (* y y))) (+ 1.0 (* y y))))
  (* (cbrt (* x (+ 1.0 (* y y)))) (cbrt (* x (+ 1.0 (* y y)))))
  (cbrt (* x (+ 1.0 (* y y))))
  (* (* (* x (+ 1.0 (* y y))) (* x (+ 1.0 (* y y)))) (* x (+ 1.0 (* y y))))
  (sqrt (* x (+ 1.0 (* y y))))
  (sqrt (* x (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* x 1.0)
  (* x (* y y))
  (* 1.0 x)
  (* (* y y) x)
  (* x (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y)))))
  (* x (sqrt (+ 1.0 (* y y))))
  (* x 1)
  (* (cbrt x) (+ 1.0 (* y y)))
  (* (sqrt x) (+ 1.0 (* y y)))
  (* x (+ 1.0 (* y y)))
  (* x (+ (pow 1.0 3) (pow (* y y) 3)))
  (* x (- (* 1.0 1.0) (* (* y y) (* y y))))
  (expm1 (+ 1.0 (* y y)))
  (log1p (+ 1.0 (* y y)))
  (* (exp 1.0) (exp (* y y)))
  (log (+ 1.0 (* y y)))
  (exp (+ 1.0 (* y y)))
  (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))
  (cbrt (+ 1.0 (* y y)))
  (* (* (+ 1.0 (* y y)) (+ 1.0 (* y y))) (+ 1.0 (* y y)))
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ 1.0 (* y y)))
  (+ (pow 1.0 3) (pow (* y y) 3))
  (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))
  (- (* 1.0 1.0) (* (* y y) (* y y)))
  (- 1.0 (* y y))
  (* 1.0 x)
  (+ (* x (pow y 2)) (* 1.0 x))
  (+ (* x (pow y 2)) (* 1.0 x))
  (+ (pow y 2) 1.0)
  (+ (pow y 2) 1.0)
  (+ (pow y 2) 1.0)
0.157 * * [simplify]: iteration  0 :  176  enodes  (cost  185 )
0.162 * * [simplify]: iteration  1 :  831  enodes  (cost  149 )
0.177 * * [simplify]: iteration  2 :  3617  enodes  (cost  145 )
0.239 * * [simplify]: iteration  3 :  5001  enodes  (cost  144 )
0.240 * [simplify]: Simplified to:
   (expm1 (* x (+ 1.0 (* y y))))
  (log1p (* x (+ 1.0 (* y y))))
  (* x (fma y y 1.0))
  (log (* x (+ 1.0 (* y y))))
  (log (* x (+ 1.0 (* y y))))
  (pow (exp x) (fma y y 1.0))
  (pow (* x (fma y y 1.0)) 3)
  (* (cbrt (* x (+ 1.0 (* y y)))) (cbrt (* x (+ 1.0 (* y y)))))
  (cbrt (* x (+ 1.0 (* y y))))
  (pow (* x (fma y y 1.0)) 3)
  (sqrt (* x (+ 1.0 (* y y))))
  (sqrt (* x (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* x 1.0)
  (* x (* y y))
  (* x 1.0)
  (* x (* y y))
  (* x (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y)))))
  (* x (sqrt (+ 1.0 (* y y))))
  x
  (* (cbrt x) (fma y y 1.0))
  (* (sqrt x) (fma y y 1.0))
  (* x (fma y y 1.0))
  (fma x (pow 1.0 3) (* x (pow y 6)))
  (* (* x (fma y y 1.0)) (- 1.0 (* y y)))
  (expm1 (+ 1.0 (* y y)))
  (log1p (+ 1.0 (* y y)))
  (exp (fma y y 1.0))
  (log (fma y y 1.0))
  (exp (fma y y 1.0))
  (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))
  (cbrt (+ 1.0 (* y y)))
  (pow (fma y y 1.0) 3)
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ 1.0 (* y y)))
  (+ (pow 1.0 3) (pow y 6))
  (fma 1.0 (- 1.0 (* y y)) (pow y 4))
  (* (fma y y 1.0) (- 1.0 (pow y 2)))
  (- 1.0 (* y y))
  (* x 1.0)
  (* x (fma y y 1.0))
  (* x (fma y y 1.0))
  (fma y y 1.0)
  (fma y y 1.0)
  (fma y y 1.0)
0.240 * * * [progress]: adding candidates to table
0.325 * * [progress]: iteration 2 / 4
0.325 * * * [progress]: picking best candidate
0.331 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))>
0.331 * * * [progress]: localizing error
0.341 * * * [progress]: generating rewritten candidates
0.341 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.347 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.366 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.377 * * * [progress]: generating series expansions
0.377 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.377 * [approximate]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in (y) around 0
0.377 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.377 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.377 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.377 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of 1.0 in y
0.379 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.379 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.379 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.379 * [taylor]: Taking taylor expansion of y in y
0.379 * [taylor]: Taking taylor expansion of 1.0 in y
0.392 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
0.392 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.392 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.392 * [taylor]: Taking taylor expansion of y in y
0.393 * [taylor]: Taking taylor expansion of 1.0 in y
0.394 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.395 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.395 * [taylor]: Taking taylor expansion of y in y
0.395 * [taylor]: Taking taylor expansion of 1.0 in y
0.406 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
0.406 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.406 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.406 * [taylor]: Taking taylor expansion of y in y
0.406 * [taylor]: Taking taylor expansion of 1.0 in y
0.408 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.408 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.408 * [taylor]: Taking taylor expansion of y in y
0.409 * [taylor]: Taking taylor expansion of 1.0 in y
0.423 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.423 * [approximate]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in (y) around 0
0.423 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.423 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.423 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.423 * [taylor]: Taking taylor expansion of y in y
0.423 * [taylor]: Taking taylor expansion of 1.0 in y
0.424 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.424 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.424 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.424 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of 1.0 in y
0.437 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
0.437 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.437 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.438 * [taylor]: Taking taylor expansion of 1.0 in y
0.439 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.440 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.440 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.440 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.440 * [taylor]: Taking taylor expansion of y in y
0.440 * [taylor]: Taking taylor expansion of 1.0 in y
0.451 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
0.451 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.451 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.451 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.451 * [taylor]: Taking taylor expansion of y in y
0.451 * [taylor]: Taking taylor expansion of 1.0 in y
0.453 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.453 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.454 * [taylor]: Taking taylor expansion of 1.0 in y
0.464 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.464 * [approximate]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in (x y) around 0
0.464 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of 1.0 in y
0.464 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.464 * [taylor]: Taking taylor expansion of y in x
0.464 * [taylor]: Taking taylor expansion of 1.0 in x
0.464 * [taylor]: Taking taylor expansion of (* x (+ (pow y 2) 1.0)) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.464 * [taylor]: Taking taylor expansion of y in x
0.465 * [taylor]: Taking taylor expansion of 1.0 in x
0.465 * [taylor]: Taking taylor expansion of 0 in y
0.465 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.465 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of 1.0 in y
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in (x y) around 0
0.469 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in y
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.469 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.469 * [taylor]: Taking taylor expansion of 1.0 in y
0.469 * [taylor]: Taking taylor expansion of x in y
0.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.470 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of 1.0 in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.470 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of 1.0 in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.471 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.471 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.471 * [taylor]: Taking taylor expansion of y in y
0.471 * [taylor]: Taking taylor expansion of 1.0 in y
0.473 * [taylor]: Taking taylor expansion of 0 in y
0.475 * [taylor]: Taking taylor expansion of 0 in y
0.479 * [taylor]: Taking taylor expansion of 0 in y
0.485 * [taylor]: Taking taylor expansion of 0 in y
0.493 * [taylor]: Taking taylor expansion of 0 in y
0.494 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in (x y) around 0
0.494 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in y
0.494 * [taylor]: Taking taylor expansion of -1 in y
0.494 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in y
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.494 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.494 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.494 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of 1.0 in y
0.495 * [taylor]: Taking taylor expansion of x in y
0.496 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in x
0.496 * [taylor]: Taking taylor expansion of -1 in x
0.496 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.496 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.496 * [taylor]: Taking taylor expansion of y in x
0.496 * [taylor]: Taking taylor expansion of 1.0 in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow y 2)) 1.0) x)) in x
0.496 * [taylor]: Taking taylor expansion of -1 in x
0.496 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 2)) 1.0) x) in x
0.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.496 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.496 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of 1.0 in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow y 2)) 1.0)) in y
0.497 * [taylor]: Taking taylor expansion of -1 in y
0.497 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.497 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.497 * [taylor]: Taking taylor expansion of y in y
0.498 * [taylor]: Taking taylor expansion of 1.0 in y
0.502 * [taylor]: Taking taylor expansion of 0 in y
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.526 * [taylor]: Taking taylor expansion of 0 in y
0.536 * [taylor]: Taking taylor expansion of 0 in y
0.548 * [taylor]: Taking taylor expansion of 0 in y
0.549 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.550 * [approximate]: Taking taylor expansion of (* x (sqrt (+ (pow y 2) 1.0))) in (x y) around 0
0.550 * [taylor]: Taking taylor expansion of (* x (sqrt (+ (pow y 2) 1.0))) in y
0.550 * [taylor]: Taking taylor expansion of x in y
0.550 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.550 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.550 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.550 * [taylor]: Taking taylor expansion of y in y
0.550 * [taylor]: Taking taylor expansion of 1.0 in y
0.552 * [taylor]: Taking taylor expansion of (* x (sqrt (+ (pow y 2) 1.0))) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in x
0.552 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.552 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.552 * [taylor]: Taking taylor expansion of y in x
0.553 * [taylor]: Taking taylor expansion of 1.0 in x
0.554 * [taylor]: Taking taylor expansion of (* x (sqrt (+ (pow y 2) 1.0))) in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.554 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in x
0.554 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
0.554 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.554 * [taylor]: Taking taylor expansion of y in x
0.554 * [taylor]: Taking taylor expansion of 1.0 in x
0.555 * [taylor]: Taking taylor expansion of 0 in y
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.556 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.556 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.556 * [taylor]: Taking taylor expansion of y in y
0.556 * [taylor]: Taking taylor expansion of 1.0 in y
0.561 * [taylor]: Taking taylor expansion of 0 in y
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in (x y) around 0
0.565 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in y
0.565 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.565 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of 1.0 in y
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.570 * [taylor]: Taking taylor expansion of x in y
0.570 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in x
0.570 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.570 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of 1.0 in x
0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in x
0.572 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.572 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.572 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.572 * [taylor]: Taking taylor expansion of y in x
0.572 * [taylor]: Taking taylor expansion of 1.0 in x
0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.574 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.574 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.574 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of 1.0 in y
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.587 * [taylor]: Taking taylor expansion of 0 in y
0.592 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x))) in (x y) around 0
0.593 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x))) in y
0.593 * [taylor]: Taking taylor expansion of -1 in y
0.593 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in y
0.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.593 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of 1.0 in y
0.595 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.595 * [taylor]: Taking taylor expansion of x in y
0.595 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x))) in x
0.595 * [taylor]: Taking taylor expansion of -1 in x
0.595 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in x
0.595 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.595 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.595 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.595 * [taylor]: Taking taylor expansion of y in x
0.596 * [taylor]: Taking taylor expansion of 1.0 in x
0.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.597 * [taylor]: Taking taylor expansion of x in x
0.597 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x))) in x
0.597 * [taylor]: Taking taylor expansion of -1 in x
0.597 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ 1 x)) in x
0.597 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
0.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
0.597 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.597 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.597 * [taylor]: Taking taylor expansion of y in x
0.597 * [taylor]: Taking taylor expansion of 1.0 in x
0.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 (pow y 2)) 1.0))) in y
0.598 * [taylor]: Taking taylor expansion of -1 in y
0.598 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.598 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.598 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of 1.0 in y
0.603 * [taylor]: Taking taylor expansion of 0 in y
0.606 * [taylor]: Taking taylor expansion of 0 in y
0.614 * [taylor]: Taking taylor expansion of 0 in y
0.622 * [taylor]: Taking taylor expansion of 0 in y
0.622 * * * [progress]: simplifying candidates
0.624 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (sqrt (+ 1.0 (* y y))))
  (exp (sqrt (+ 1.0 (* y y))))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))
  (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y)))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt 1)
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (sqrt (+ 1.0 (* y y))))
  (exp (sqrt (+ 1.0 (* y y))))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))
  (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y)))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt 1)
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (log1p (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))
  (+ (+ (log x) (log (sqrt (+ 1.0 (* y y))))) (log (sqrt (+ 1.0 (* y y)))))
  (+ (log (* x (sqrt (+ 1.0 (* y y))))) (log (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (exp (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x x) x) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x (sqrt (+ 1.0 (* y y)))) (* x (sqrt (+ 1.0 (* y y))))) (* x (sqrt (+ 1.0 (* y y))))) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))) (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))))
  (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))) (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))) (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* x (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))) (sqrt (+ (pow 1.0 3) (pow (* y y) 3))))
  (* (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))) (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))))
  (* (* x (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (* (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))) (sqrt (- 1.0 (* y y))))
  (* (* x (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))) (sqrt (+ (pow 1.0 3) (pow (* y y) 3))))
  (* (sqrt (- 1.0 (* y y))) (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))))
  (* (* x (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (* (sqrt (- 1.0 (* y y))) (sqrt (- 1.0 (* y y))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y))))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt 1))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (* x (sqrt (+ 1.0 (* y y)))) 1)
  (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ (pow 1.0 3) (pow (* y y) 3))))
  (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (* (* x (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))) (sqrt (+ 1.0 (* y y))))
  (* (* x (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))) (sqrt (+ 1.0 (* y y))))
  (expm1 (* x (sqrt (+ 1.0 (* y y)))))
  (log1p (* x (sqrt (+ 1.0 (* y y)))))
  (* x (sqrt (+ 1.0 (* y y))))
  (+ (log x) (log (sqrt (+ 1.0 (* y y)))))
  (log (* x (sqrt (+ 1.0 (* y y)))))
  (exp (* x (sqrt (+ 1.0 (* y y)))))
  (* (* (* x x) x) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (cbrt (* x (sqrt (+ 1.0 (* y y))))) (cbrt (* x (sqrt (+ 1.0 (* y y))))))
  (cbrt (* x (sqrt (+ 1.0 (* y y)))))
  (* (* (* x (sqrt (+ 1.0 (* y y)))) (* x (sqrt (+ 1.0 (* y y))))) (* x (sqrt (+ 1.0 (* y y)))))
  (sqrt (* x (sqrt (+ 1.0 (* y y)))))
  (sqrt (* x (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* x (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y))))))
  (* x (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))))
  (* x (sqrt (sqrt (+ 1.0 (* y y)))))
  (* x (sqrt 1))
  (* x (sqrt (sqrt (+ 1.0 (* y y)))))
  (* x 1)
  (* (cbrt x) (sqrt (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* x (sqrt (+ 1.0 (* y y))))
  (* x (sqrt (+ (pow 1.0 3) (pow (* y y) 3))))
  (* x (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3))))
  (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3))))
  (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y))))
  (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3))))
  (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3))))
  (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y))))
  (* 1.0 x)
  (+ (* x (pow y 2)) (* 1.0 x))
  (+ (* x (pow y 2)) (* 1.0 x))
  (* x (sqrt 1.0))
  (+ (* 0.5 (/ x y)) (* x y))
  (- (+ (* 0.5 (/ x y)) (* x y)))
0.630 * * [simplify]: iteration  0 :  318  enodes  (cost  722 )
0.638 * * [simplify]: iteration  1 :  1367  enodes  (cost  620 )
0.665 * * [simplify]: iteration  2 :  5002  enodes  (cost  595 )
0.673 * [simplify]: Simplified to:
   (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (sqrt (+ 1.0 (* y y))))
  (exp (sqrt (+ 1.0 (* y y))))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (pow (hypot (sqrt 1.0) y) 3)
  (fabs (cbrt (+ 1.0 (* y y))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  1
  (hypot (sqrt 1.0) y)
  (hypot (pow y 3) (pow 1.0 3/2))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  1/2
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (sqrt (+ 1.0 (* y y))))
  (exp (sqrt (+ 1.0 (* y y))))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (pow (hypot (sqrt 1.0) y) 3)
  (fabs (cbrt (+ 1.0 (* y y))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  1
  (hypot (sqrt 1.0) y)
  (hypot (pow y 3) (pow 1.0 3/2))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  1/2
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (log1p (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (fma y y 1.0) x)
  (* (fma y y 1.0) x)
  (+ (log x) (log (fma y y 1.0)))
  (+ (log x) (log (fma y y 1.0)))
  (+ (log x) (log (fma y y 1.0)))
  (pow (exp x) (fma y y 1.0))
  (pow (* (fma y y 1.0) x) 3)
  (pow (* (fma y y 1.0) x) 3)
  (* (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))) (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))))
  (cbrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (pow (* (fma y y 1.0) x) 3)
  (sqrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (+ (pow 1.0 3) (pow (* y y) 3)) x)
  (fma (pow y 2) (- (pow y 2) 1.0) (* 1.0 1.0))
  (* (* x (hypot (pow y 3) (pow 1.0 3/2))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (* (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))) (sqrt (- 1.0 (* y y))))
  (* (* x (hypot (pow y 3) (pow 1.0 3/2))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (* (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))) (sqrt (- 1.0 (* y y))))
  (* (* (- 1.0 (* y y)) (fma y y 1.0)) x)
  (- 1.0 (* y y))
  (* (* x (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))) (hypot (sqrt 1.0) y))
  (* (* (fabs (cbrt (+ 1.0 (* y y)))) x) (hypot (sqrt 1.0) y))
  (* (* x (sqrt (sqrt (+ 1.0 (* y y))))) (hypot (sqrt 1.0) y))
  (* (* 1 (hypot (sqrt 1.0) y)) x)
  (* (* x (sqrt (sqrt (+ 1.0 (* y y))))) (hypot (sqrt 1.0) y))
  (* (* 1 (hypot (sqrt 1.0) y)) x)
  (fma y y 1.0)
  (* (* (hypot (pow y 3) (pow 1.0 3/2)) (hypot (sqrt 1.0) y)) x)
  (* (* (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))) (hypot (sqrt 1.0) y)) x)
  (* (* (hypot (pow y 3) (pow 1.0 3/2)) (hypot (sqrt 1.0) y)) x)
  (* (* (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))) (hypot (sqrt 1.0) y)) x)
  (expm1 (* x (sqrt (+ 1.0 (* y y)))))
  (log1p (* x (sqrt (+ 1.0 (* y y)))))
  (* (* 1 (hypot (sqrt 1.0) y)) x)
  (log (* x (sqrt (+ 1.0 (* y y)))))
  (log (* x (sqrt (+ 1.0 (* y y)))))
  (exp (* x (sqrt (+ 1.0 (* y y)))))
  (pow (* x (sqrt (+ 1.0 (* y y)))) 3)
  (* (cbrt (* x (sqrt (+ 1.0 (* y y))))) (cbrt (* x (sqrt (+ 1.0 (* y y))))))
  (cbrt (* x (sqrt (+ 1.0 (* y y)))))
  (pow (* x (sqrt (+ 1.0 (* y y)))) 3)
  (sqrt (* x (sqrt (+ 1.0 (* y y)))))
  (sqrt (* x (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (sqrt x) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* x (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y))))))
  (* (fabs (cbrt (+ 1.0 (* y y)))) x)
  (* x (sqrt (sqrt (+ 1.0 (* y y)))))
  x
  (* x (sqrt (sqrt (+ 1.0 (* y y)))))
  x
  (* (cbrt x) (sqrt (+ 1.0 (* y y))))
  (* (sqrt x) (sqrt (+ 1.0 (* y y))))
  (* (* 1 (hypot (sqrt 1.0) y)) x)
  (* x (hypot (pow y 3) (pow 1.0 3/2)))
  (* x (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))))
  (+ (/ (- 0.125) (pow y 3)) (fma 0.5 (/ 1 y) y))
  (- (* (/ 1 y) (- (/ 0.125 (pow y 2)) 0.5)) y)
  (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))))
  (+ (/ (- 0.125) (pow y 3)) (fma 0.5 (/ 1 y) y))
  (- (* (/ 1 y) (- (/ 0.125 (pow y 2)) 0.5)) y)
  (* 1.0 x)
  (* (fma y y 1.0) x)
  (* (fma y y 1.0) x)
  (* x (sqrt 1.0))
  (fma 0.5 (/ x y) (* x y))
  (- (+ (* 0.5 (/ x y)) (* x y)))
0.674 * * * [progress]: adding candidates to table
0.924 * * [progress]: iteration 3 / 4
0.925 * * * [progress]: picking best candidate
0.937 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))>
0.937 * * * [progress]: localizing error
0.947 * * * [progress]: generating rewritten candidates
0.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.978 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.982 * * * [progress]: generating series expansions
0.982 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.982 * [approximate]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in (y) around 0
0.982 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.982 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.982 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.982 * [taylor]: Taking taylor expansion of 1.0 in y
0.983 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
0.983 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
0.984 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.984 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of 1.0 in y
0.997 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
0.997 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.997 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.997 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.997 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of 1.0 in y
0.999 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
0.999 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
0.999 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.999 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.999 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of 1.0 in y
1.014 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0
1.014 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
1.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.014 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.014 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.014 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of 1.0 in y
1.017 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.017 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.017 * [taylor]: Taking taylor expansion of y in y
1.017 * [taylor]: Taking taylor expansion of 1.0 in y
1.027 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.028 * [approximate]: Taking taylor expansion of (* (* x (hypot (sqrt 1.0) y)) (sqrt (+ (pow y 2) 1.0))) in (x y) around 0
1.028 * [taylor]: Taking taylor expansion of (* (* x (hypot (sqrt 1.0) y)) (sqrt (+ (pow y 2) 1.0))) in y
1.028 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in y
1.028 * [taylor]: Taking taylor expansion of x in y
1.028 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
1.028 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.028 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
1.028 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.028 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.028 * [taylor]: Taking taylor expansion of 1.0 in y
1.029 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.029 * [taylor]: Taking taylor expansion of 1.0 in y
1.030 * [taylor]: Taking taylor expansion of (* y y) in y
1.030 * [taylor]: Taking taylor expansion of y in y
1.030 * [taylor]: Taking taylor expansion of y in y
1.034 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in y
1.034 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
1.034 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.034 * [taylor]: Taking taylor expansion of y in y
1.034 * [taylor]: Taking taylor expansion of 1.0 in y
1.035 * [taylor]: Taking taylor expansion of (* (* x (hypot (sqrt 1.0) y)) (sqrt (+ (pow y 2) 1.0))) in x
1.035 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
1.035 * [taylor]: Taking taylor expansion of x in x
1.035 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.036 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.036 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.036 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.036 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.036 * [taylor]: Taking taylor expansion of 1.0 in x
1.036 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.036 * [taylor]: Taking taylor expansion of 1.0 in x
1.037 * [taylor]: Taking taylor expansion of (* y y) in x
1.037 * [taylor]: Taking taylor expansion of y in x
1.037 * [taylor]: Taking taylor expansion of y in x
1.041 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in x
1.041 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
1.041 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.041 * [taylor]: Taking taylor expansion of y in x
1.041 * [taylor]: Taking taylor expansion of 1.0 in x
1.041 * [taylor]: Taking taylor expansion of (* (* x (hypot (sqrt 1.0) y)) (sqrt (+ (pow y 2) 1.0))) in x
1.041 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
1.041 * [taylor]: Taking taylor expansion of x in x
1.042 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.042 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.042 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.042 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.042 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.042 * [taylor]: Taking taylor expansion of 1.0 in x
1.042 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.042 * [taylor]: Taking taylor expansion of 1.0 in x
1.043 * [taylor]: Taking taylor expansion of (* y y) in x
1.043 * [taylor]: Taking taylor expansion of y in x
1.043 * [taylor]: Taking taylor expansion of y in x
1.047 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) 1.0)) in x
1.047 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in x
1.047 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.047 * [taylor]: Taking taylor expansion of y in x
1.047 * [taylor]: Taking taylor expansion of 1.0 in x
1.048 * [taylor]: Taking taylor expansion of 0 in y
1.050 * [taylor]: Taking taylor expansion of (sqrt (* (+ (pow y 2) (pow (sqrt 1.0) 2)) (+ (pow y 2) 1.0))) in y
1.050 * [taylor]: Taking taylor expansion of (* (+ (pow y 2) (pow (sqrt 1.0) 2)) (+ (pow y 2) 1.0)) in y
1.050 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow (sqrt 1.0) 2)) in y
1.050 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.050 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.050 * [taylor]: Taking taylor expansion of 1.0 in y
1.051 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
1.051 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of 1.0 in y
1.064 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.073 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ 1 y)) x)) in (x y) around 0
1.073 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ 1 y)) x)) in y
1.073 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
1.073 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.073 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.073 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.074 * [taylor]: Taking taylor expansion of 1.0 in y
1.076 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in y
1.076 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
1.076 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.076 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
1.076 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.076 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.076 * [taylor]: Taking taylor expansion of 1.0 in y
1.076 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.076 * [taylor]: Taking taylor expansion of 1.0 in y
1.077 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.080 * [taylor]: Taking taylor expansion of x in y
1.080 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ 1 y)) x)) in x
1.080 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
1.080 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.080 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.080 * [taylor]: Taking taylor expansion of y in x
1.080 * [taylor]: Taking taylor expansion of 1.0 in x
1.081 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
1.081 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.081 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.081 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.081 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.081 * [taylor]: Taking taylor expansion of 1.0 in x
1.082 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.082 * [taylor]: Taking taylor expansion of 1.0 in x
1.083 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.083 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.083 * [taylor]: Taking taylor expansion of y in x
1.083 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.083 * [taylor]: Taking taylor expansion of y in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ 1 y)) x)) in x
1.087 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
1.087 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.088 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.088 * [taylor]: Taking taylor expansion of y in x
1.088 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
1.088 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.088 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.088 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.089 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.089 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.089 * [taylor]: Taking taylor expansion of 1.0 in x
1.089 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.089 * [taylor]: Taking taylor expansion of 1.0 in x
1.090 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.090 * [taylor]: Taking taylor expansion of y in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.090 * [taylor]: Taking taylor expansion of y in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.101 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 (pow y 2)) 1.0) (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)))) in y
1.101 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow y 2)) 1.0) (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
1.101 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.101 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.101 * [taylor]: Taking taylor expansion of y in y
1.101 * [taylor]: Taking taylor expansion of 1.0 in y
1.101 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.101 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.101 * [taylor]: Taking taylor expansion of y in y
1.102 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.102 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.102 * [taylor]: Taking taylor expansion of 1.0 in y
1.108 * [taylor]: Taking taylor expansion of 0 in y
1.115 * [taylor]: Taking taylor expansion of 0 in y
1.135 * [taylor]: Taking taylor expansion of 0 in y
1.150 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x))) in (x y) around 0
1.180 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x))) in y
1.180 * [taylor]: Taking taylor expansion of -1 in y
1.180 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in y
1.180 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in y
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.180 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.180 * [taylor]: Taking taylor expansion of y in y
1.180 * [taylor]: Taking taylor expansion of 1.0 in y
1.182 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in y
1.182 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
1.182 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.182 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
1.182 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.182 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.182 * [taylor]: Taking taylor expansion of 1.0 in y
1.183 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.183 * [taylor]: Taking taylor expansion of 1.0 in y
1.184 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
1.184 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.184 * [taylor]: Taking taylor expansion of -1 in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.184 * [taylor]: Taking taylor expansion of -1 in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.187 * [taylor]: Taking taylor expansion of x in y
1.187 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x))) in x
1.187 * [taylor]: Taking taylor expansion of -1 in x
1.187 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
1.187 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
1.187 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.187 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.187 * [taylor]: Taking taylor expansion of y in x
1.187 * [taylor]: Taking taylor expansion of 1.0 in x
1.188 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
1.188 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
1.188 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.188 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
1.189 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.189 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.189 * [taylor]: Taking taylor expansion of 1.0 in x
1.189 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.189 * [taylor]: Taking taylor expansion of 1.0 in x
1.190 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
1.190 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.190 * [taylor]: Taking taylor expansion of -1 in x
1.190 * [taylor]: Taking taylor expansion of y in x
1.190 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.190 * [taylor]: Taking taylor expansion of -1 in x
1.190 * [taylor]: Taking taylor expansion of y in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x))) in x
1.195 * [taylor]: Taking taylor expansion of -1 in x
1.195 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (pow y 2)) 1.0)) (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
1.195 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) 1.0)) in x
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in x
1.195 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.195 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.195 * [taylor]: Taking taylor expansion of y in x
1.195 * [taylor]: Taking taylor expansion of 1.0 in x
1.195 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
1.196 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
1.196 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.196 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
1.196 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.196 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.196 * [taylor]: Taking taylor expansion of 1.0 in x
1.196 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.196 * [taylor]: Taking taylor expansion of 1.0 in x
1.197 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
1.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of x in x
1.203 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* (+ (/ 1 (pow y 2)) 1.0) (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))))) in y
1.203 * [taylor]: Taking taylor expansion of -1 in y
1.203 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 (pow y 2)) 1.0) (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)))) in y
1.203 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow y 2)) 1.0) (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.203 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.204 * [taylor]: Taking taylor expansion of 1.0 in y
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.204 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.205 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.205 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.205 * [taylor]: Taking taylor expansion of 1.0 in y
1.212 * [taylor]: Taking taylor expansion of 0 in y
1.221 * [taylor]: Taking taylor expansion of 0 in y
1.247 * [taylor]: Taking taylor expansion of 0 in y
1.270 * [taylor]: Taking taylor expansion of 0 in y
1.302 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.303 * [approximate]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in (x y) around 0
1.303 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in y
1.303 * [taylor]: Taking taylor expansion of x in y
1.303 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
1.303 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.303 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
1.303 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.303 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.303 * [taylor]: Taking taylor expansion of 1.0 in y
1.304 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.304 * [taylor]: Taking taylor expansion of 1.0 in y
1.304 * [taylor]: Taking taylor expansion of (* y y) in y
1.304 * [taylor]: Taking taylor expansion of y in y
1.304 * [taylor]: Taking taylor expansion of y in y
1.309 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
1.309 * [taylor]: Taking taylor expansion of x in x
1.309 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.309 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.309 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.309 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.309 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.309 * [taylor]: Taking taylor expansion of 1.0 in x
1.310 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.310 * [taylor]: Taking taylor expansion of 1.0 in x
1.310 * [taylor]: Taking taylor expansion of (* y y) in x
1.310 * [taylor]: Taking taylor expansion of y in x
1.310 * [taylor]: Taking taylor expansion of y in x
1.314 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.314 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.314 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.314 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.314 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.314 * [taylor]: Taking taylor expansion of 1.0 in x
1.315 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.315 * [taylor]: Taking taylor expansion of 1.0 in x
1.315 * [taylor]: Taking taylor expansion of (* y y) in x
1.315 * [taylor]: Taking taylor expansion of y in x
1.315 * [taylor]: Taking taylor expansion of y in x
1.320 * [taylor]: Taking taylor expansion of 0 in y
1.321 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow (sqrt 1.0) 2))) in y
1.321 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow (sqrt 1.0) 2)) in y
1.321 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.321 * [taylor]: Taking taylor expansion of y in y
1.321 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.321 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.321 * [taylor]: Taking taylor expansion of 1.0 in y
1.330 * [taylor]: Taking taylor expansion of 0 in y
1.335 * [taylor]: Taking taylor expansion of 0 in y
1.336 * [approximate]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in (x y) around 0
1.336 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in y
1.336 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
1.336 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.336 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
1.336 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.336 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.336 * [taylor]: Taking taylor expansion of 1.0 in y
1.336 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.336 * [taylor]: Taking taylor expansion of 1.0 in y
1.337 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of x in y
1.340 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
1.340 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.340 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.340 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.340 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.340 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.340 * [taylor]: Taking taylor expansion of 1.0 in x
1.341 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.341 * [taylor]: Taking taylor expansion of 1.0 in x
1.342 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.342 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.342 * [taylor]: Taking taylor expansion of y in x
1.342 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.342 * [taylor]: Taking taylor expansion of y in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.352 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
1.352 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.352 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.352 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.352 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.352 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.352 * [taylor]: Taking taylor expansion of 1.0 in x
1.353 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.353 * [taylor]: Taking taylor expansion of 1.0 in x
1.354 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.354 * [taylor]: Taking taylor expansion of y in x
1.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.354 * [taylor]: Taking taylor expansion of y in x
1.358 * [taylor]: Taking taylor expansion of x in x
1.358 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
1.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
1.358 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.358 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.358 * [taylor]: Taking taylor expansion of y in y
1.359 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.359 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.359 * [taylor]: Taking taylor expansion of 1.0 in y
1.363 * [taylor]: Taking taylor expansion of 0 in y
1.368 * [taylor]: Taking taylor expansion of 0 in y
1.380 * [taylor]: Taking taylor expansion of 0 in y
1.389 * [taylor]: Taking taylor expansion of 0 in y
1.391 * [approximate]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in (x y) around 0
1.391 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in y
1.391 * [taylor]: Taking taylor expansion of -1 in y
1.391 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in y
1.391 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
1.391 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.391 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
1.391 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.391 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.391 * [taylor]: Taking taylor expansion of 1.0 in y
1.392 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.392 * [taylor]: Taking taylor expansion of 1.0 in y
1.392 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
1.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.393 * [taylor]: Taking taylor expansion of -1 in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.393 * [taylor]: Taking taylor expansion of -1 in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.396 * [taylor]: Taking taylor expansion of x in y
1.396 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
1.396 * [taylor]: Taking taylor expansion of -1 in x
1.396 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
1.396 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
1.396 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.396 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
1.396 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.396 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.396 * [taylor]: Taking taylor expansion of 1.0 in x
1.397 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.397 * [taylor]: Taking taylor expansion of 1.0 in x
1.397 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
1.397 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.397 * [taylor]: Taking taylor expansion of -1 in x
1.397 * [taylor]: Taking taylor expansion of y in x
1.397 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.397 * [taylor]: Taking taylor expansion of -1 in x
1.397 * [taylor]: Taking taylor expansion of y in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.402 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
1.402 * [taylor]: Taking taylor expansion of -1 in x
1.402 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
1.402 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
1.402 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.402 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
1.402 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.402 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.402 * [taylor]: Taking taylor expansion of 1.0 in x
1.403 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.403 * [taylor]: Taking taylor expansion of 1.0 in x
1.404 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
1.404 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.404 * [taylor]: Taking taylor expansion of -1 in x
1.404 * [taylor]: Taking taylor expansion of y in x
1.404 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.404 * [taylor]: Taking taylor expansion of -1 in x
1.404 * [taylor]: Taking taylor expansion of y in x
1.407 * [taylor]: Taking taylor expansion of x in x
1.409 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)))) in y
1.409 * [taylor]: Taking taylor expansion of -1 in y
1.409 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
1.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.409 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.410 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.410 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.410 * [taylor]: Taking taylor expansion of 1.0 in y
1.415 * [taylor]: Taking taylor expansion of 0 in y
1.421 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.455 * [taylor]: Taking taylor expansion of 0 in y
1.457 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.457 * [approximate]: Taking taylor expansion of (+ (pow y 2) 1.0) in (y) around 0
1.457 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
1.457 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.457 * [taylor]: Taking taylor expansion of y in y
1.457 * [taylor]: Taking taylor expansion of 1.0 in y
1.457 * [taylor]: Taking taylor expansion of (+ (pow y 2) 1.0) in y
1.457 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.457 * [taylor]: Taking taylor expansion of y in y
1.457 * [taylor]: Taking taylor expansion of 1.0 in y
1.463 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in (y) around 0
1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.463 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.463 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of 1.0 in y
1.464 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.464 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.464 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.464 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of 1.0 in y
1.476 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in (y) around 0
1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.476 * [taylor]: Taking taylor expansion of 1.0 in y
1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of 1.0 in y
1.494 * * * [progress]: simplifying candidates
1.496 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (sqrt (+ 1.0 (* y y))))
  (exp (sqrt (+ 1.0 (* y y))))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y))))
  (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y)))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt 1)
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ (pow 1.0 3) (pow (* y y) 3)))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log1p (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))
  (+ (+ (log x) (+ 0 (log (hypot (sqrt 1.0) y)))) (log (sqrt (+ 1.0 (* y y)))))
  (+ (+ (log x) (+ (log 1) (log (hypot (sqrt 1.0) y)))) (log (sqrt (+ 1.0 (* y y)))))
  (+ (+ (log x) (log (* 1 (hypot (sqrt 1.0) y)))) (log (sqrt (+ 1.0 (* y y)))))
  (+ (log (* x (* 1 (hypot (sqrt 1.0) y)))) (log (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (exp (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x x) x) (* (* (* 1 1) 1) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y)))) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x x) x) (* (* (* 1 (hypot (sqrt 1.0) y)) (* 1 (hypot (sqrt 1.0) y))) (* 1 (hypot (sqrt 1.0) y)))) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* (* (sqrt (+ 1.0 (* y y))) (sqrt (+ 1.0 (* y y)))) (sqrt (+ 1.0 (* y y)))))
  (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))))
  (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))) (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))) (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y))))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt 1))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (sqrt (+ 1.0 (* y y)))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) 1)
  (* (* 1 (hypot (sqrt 1.0) y)) (sqrt (+ 1.0 (* y y))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ (pow 1.0 3) (pow (* y y) 3))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y)))))
  (expm1 (* x (* 1 (hypot (sqrt 1.0) y))))
  (log1p (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (+ (log x) (+ 0 (log (hypot (sqrt 1.0) y))))
  (+ (log x) (+ (log 1) (log (hypot (sqrt 1.0) y))))
  (+ (log x) (log (* 1 (hypot (sqrt 1.0) y))))
  (log (* x (* 1 (hypot (sqrt 1.0) y))))
  (exp (* x (* 1 (hypot (sqrt 1.0) y))))
  (* (* (* x x) x) (* (* (* 1 1) 1) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y))))
  (* (* (* x x) x) (* (* (* 1 (hypot (sqrt 1.0) y)) (* 1 (hypot (sqrt 1.0) y))) (* 1 (hypot (sqrt 1.0) y))))
  (* (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))) (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))))
  (cbrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x 1)
  (* (cbrt x) (* 1 (hypot (sqrt 1.0) y)))
  (* (sqrt x) (* 1 (hypot (sqrt 1.0) y)))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (expm1 (+ 1.0 (* y y)))
  (log1p (+ 1.0 (* y y)))
  (* (exp 1.0) (exp (* y y)))
  (log (+ 1.0 (* y y)))
  (exp (+ 1.0 (* y y)))
  (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))
  (cbrt (+ 1.0 (* y y)))
  (* (* (+ 1.0 (* y y)) (+ 1.0 (* y y))) (+ 1.0 (* y y)))
  (sqrt (+ 1.0 (* y y)))
  (sqrt (+ 1.0 (* y y)))
  (+ (pow 1.0 3) (pow (* y y) 3))
  (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y))))
  (- (* 1.0 1.0) (* (* y y) (* y y)))
  (- 1.0 (* y y))
  (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3))))
  (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3))))
  (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y))))
  (* x (pow (sqrt 1.0) 2))
  (- (+ (* x (pow y 2)) (+ (* 0.5 x) (+ (* 1/2 (* x (pow (sqrt 1.0) 2))) (* 0.25 (/ (* x (pow (sqrt 1.0) 2)) (pow y 2)))))) (+ (* 1/8 (/ (* x (pow (sqrt 1.0) 4)) (pow y 2))) (* 0.125 (/ x (pow y 2)))))
  (- (+ (* x (pow y 2)) (+ (* 0.5 x) (+ (* 1/2 (* x (pow (sqrt 1.0) 2))) (* 0.25 (/ (* x (pow (sqrt 1.0) 2)) (pow y 2)))))) (+ (* 1/8 (/ (* x (pow (sqrt 1.0) 4)) (pow y 2))) (* 0.125 (/ x (pow y 2)))))
  (* x (sqrt 1.0))
  (+ (* 1/2 (/ (* x (pow (sqrt 1.0) 2)) y)) (* x y))
  (- (+ (* 1/2 (/ (* x (pow (sqrt 1.0) 2)) y)) (* x y)))
  (+ (pow y 2) 1.0)
  (+ (pow y 2) 1.0)
  (+ (pow y 2) 1.0)
1.505 * * [simplify]: iteration  0 :  425  enodes  (cost  634 )
1.517 * * [simplify]: iteration  1 :  1894  enodes  (cost  539 )
1.561 * * [simplify]: iteration  2 :  5001  enodes  (cost  497 )
1.564 * [simplify]: Simplified to:
   (expm1 (sqrt (+ 1.0 (* y y))))
  (log1p (sqrt (+ 1.0 (* y y))))
  (log (hypot (sqrt 1.0) y))
  (exp (hypot (sqrt 1.0) y))
  (* (cbrt (sqrt (+ 1.0 (* y y)))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (cbrt (sqrt (+ 1.0 (* y y))))
  (pow (hypot (sqrt 1.0) y) 3)
  (fabs (cbrt (+ 1.0 (* y y))))
  (sqrt (cbrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  1
  (hypot (sqrt 1.0) y)
  (hypot (pow y 3) (pow 1.0 3/2))
  (sqrt (+ (* 1.0 1.0) (- (* (* y y) (* y y)) (* 1.0 (* y y)))))
  (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))
  (sqrt (- 1.0 (* y y)))
  1/2
  (sqrt (sqrt (+ 1.0 (* y y))))
  (sqrt (sqrt (+ 1.0 (* y y))))
  (expm1 (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log1p (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (fma y y 1.0) x)
  (* (fma y y 1.0) x)
  (* (fma y y 1.0) x)
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (pow (exp x) (* (sqrt (+ 1.0 (* y y))) (hypot (sqrt 1.0) y)))
  (pow (* (sqrt (+ 1.0 (* y y))) (* x (hypot (sqrt 1.0) y))) 3)
  (pow (* (sqrt (+ 1.0 (* y y))) (* x (hypot (sqrt 1.0) y))) 3)
  (pow (* (sqrt (+ 1.0 (* y y))) (* x (hypot (sqrt 1.0) y))) 3)
  (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y))))))
  (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (pow (* (sqrt (+ 1.0 (* y y))) (* x (hypot (sqrt 1.0) y))) 3)
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (+ 1.0 (* y y)))))
  (* (* (* x (hypot (sqrt 1.0) y)) (cbrt (sqrt (+ 1.0 (* y y))))) (cbrt (sqrt (+ 1.0 (* y y)))))
  (* x (* (hypot (sqrt 1.0) y) (fabs (cbrt (+ 1.0 (* y y))))))
  (* x (* (hypot (sqrt 1.0) y) (sqrt (sqrt (+ 1.0 (* y y))))))
  (* x (hypot (sqrt 1.0) y))
  (* x (* (hypot (sqrt 1.0) y) (sqrt (sqrt (+ 1.0 (* y y))))))
  (* x (hypot (sqrt 1.0) y))
  (fma y y 1.0)
  (* (* x (hypot (sqrt 1.0) y)) (hypot (pow y 3) (pow 1.0 3/2)))
  (* x (* (hypot (sqrt 1.0) y) (sqrt (- (* 1.0 1.0) (* (* y y) (* y y))))))
  (expm1 (* x (* 1 (hypot (sqrt 1.0) y))))
  (log1p (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x (hypot (sqrt 1.0) y))
  (* x (hypot (sqrt 1.0) y))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (pow (exp x) (hypot (sqrt 1.0) y))
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (* (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))) (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))))
  (cbrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  x
  (* (hypot (sqrt 1.0) y) (cbrt x))
  (* (hypot (sqrt 1.0) y) (sqrt x))
  (* x (hypot (sqrt 1.0) y))
  (expm1 (+ 1.0 (* y y)))
  (log1p (+ 1.0 (* y y)))
  (exp (fma y y 1.0))
  (log (+ 1.0 (* y y)))
  (exp (fma y y 1.0))
  (* (cbrt (+ 1.0 (* y y))) (cbrt (+ 1.0 (* y y))))
  (cbrt (+ 1.0 (* y y)))
  (pow (fma y y 1.0) 3)
  (hypot (sqrt 1.0) y)
  (hypot (sqrt 1.0) y)
  (fma (* 1.0 1.0) 1.0 (pow y 6))
  (fma (pow y 2) (- (pow y 2) 1.0) (* 1.0 1.0))
  (* (fma y y 1.0) (- 1.0 (pow y 2)))
  (- 1.0 (* y y))
  (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))))
  (+ (/ (- 0.125) (pow y 3)) (fma 0.5 (/ 1 y) y))
  (- (* (/ 1 y) (- (/ 0.125 (pow y 2)) 0.5)) y)
  (* x 1.0)
  (+ (fma x (fma y y 0.5) (/ (/ (* (* 0.25 1.0) x) y) y)) (- (* (* 1/2 1.0) x) (fma 0.125 (/ x (pow y 2)) (/ (* 1/8 x) (* (/ y 1.0) (/ y 1.0))))))
  (+ (fma x (fma y y 0.5) (/ (/ (* (* 0.25 1.0) x) y) y)) (- (* (* 1/2 1.0) x) (fma 0.125 (/ x (pow y 2)) (/ (* 1/8 x) (* (/ y 1.0) (/ y 1.0))))))
  (* x (sqrt 1.0))
  (fma y x (/ 1/2 (/ y (* (* 1.0 x) 1))))
  (fma (- 1/2) (/ 1.0 (/ y x)) (- (* x y)))
  (fma y y 1.0)
  (fma y y 1.0)
  (fma y y 1.0)
1.564 * * * [progress]: adding candidates to table
1.824 * * [progress]: iteration 4 / 4
1.824 * * * [progress]: picking best candidate
1.832 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))>
1.832 * * * [progress]: localizing error
1.839 * * * [progress]: generating rewritten candidates
1.839 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.857 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.863 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.864 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1.865 * * * [progress]: generating series expansions
1.866 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.867 * [approximate]: Taking taylor expansion of (* x (pow (hypot (sqrt 1.0) y) 2)) in (x y) around 0
1.867 * [taylor]: Taking taylor expansion of (* x (pow (hypot (sqrt 1.0) y) 2)) in y
1.867 * [taylor]: Taking taylor expansion of x in y
1.867 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) y) 2) in y
1.867 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
1.867 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.867 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
1.867 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.867 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.867 * [taylor]: Taking taylor expansion of 1.0 in y
1.872 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.872 * [taylor]: Taking taylor expansion of 1.0 in y
1.873 * [taylor]: Taking taylor expansion of (* y y) in y
1.873 * [taylor]: Taking taylor expansion of y in y
1.873 * [taylor]: Taking taylor expansion of y in y
1.878 * [taylor]: Taking taylor expansion of (* x (pow (hypot (sqrt 1.0) y) 2)) in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) y) 2) in x
1.878 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.878 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.878 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.878 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.878 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.878 * [taylor]: Taking taylor expansion of 1.0 in x
1.879 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.879 * [taylor]: Taking taylor expansion of 1.0 in x
1.880 * [taylor]: Taking taylor expansion of (* y y) in x
1.880 * [taylor]: Taking taylor expansion of y in x
1.880 * [taylor]: Taking taylor expansion of y in x
1.883 * [taylor]: Taking taylor expansion of (* x (pow (hypot (sqrt 1.0) y) 2)) in x
1.883 * [taylor]: Taking taylor expansion of x in x
1.883 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) y) 2) in x
1.883 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
1.883 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
1.883 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
1.883 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.883 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.883 * [taylor]: Taking taylor expansion of 1.0 in x
1.884 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.884 * [taylor]: Taking taylor expansion of 1.0 in x
1.885 * [taylor]: Taking taylor expansion of (* y y) in x
1.885 * [taylor]: Taking taylor expansion of y in x
1.885 * [taylor]: Taking taylor expansion of y in x
1.891 * [taylor]: Taking taylor expansion of 0 in y
1.893 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow (sqrt 1.0) 2)) in y
1.894 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.894 * [taylor]: Taking taylor expansion of y in y
1.894 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.894 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.894 * [taylor]: Taking taylor expansion of 1.0 in y
1.903 * [taylor]: Taking taylor expansion of 0 in y
1.912 * [taylor]: Taking taylor expansion of 0 in y
1.913 * [approximate]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ 1 y)) 2) x) in (x y) around 0
1.913 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ 1 y)) 2) x) in y
1.913 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ 1 y)) 2) in y
1.913 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
1.913 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.913 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
1.913 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.913 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.913 * [taylor]: Taking taylor expansion of 1.0 in y
1.914 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.914 * [taylor]: Taking taylor expansion of 1.0 in y
1.915 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.915 * [taylor]: Taking taylor expansion of y in y
1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.915 * [taylor]: Taking taylor expansion of y in y
1.918 * [taylor]: Taking taylor expansion of x in y
1.918 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ 1 y)) 2) x) in x
1.918 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ 1 y)) 2) in x
1.918 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.918 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.919 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.919 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.919 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.919 * [taylor]: Taking taylor expansion of 1.0 in x
1.919 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.919 * [taylor]: Taking taylor expansion of 1.0 in x
1.920 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.920 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.920 * [taylor]: Taking taylor expansion of y in x
1.920 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.920 * [taylor]: Taking taylor expansion of y in x
1.924 * [taylor]: Taking taylor expansion of x in x
1.926 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ 1 y)) 2) x) in x
1.926 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ 1 y)) 2) in x
1.926 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
1.926 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
1.927 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
1.927 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.927 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.927 * [taylor]: Taking taylor expansion of 1.0 in x
1.927 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.927 * [taylor]: Taking taylor expansion of 1.0 in x
1.928 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
1.934 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.934 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.934 * [taylor]: Taking taylor expansion of y in y
1.935 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
1.935 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.935 * [taylor]: Taking taylor expansion of 1.0 in y
1.939 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [taylor]: Taking taylor expansion of 0 in y
1.958 * [taylor]: Taking taylor expansion of 0 in y
1.976 * [taylor]: Taking taylor expansion of 0 in y
1.988 * [taylor]: Taking taylor expansion of 0 in y
1.990 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x)) in (x y) around 0
1.990 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x)) in y
1.990 * [taylor]: Taking taylor expansion of -1 in y
1.990 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x) in y
1.990 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ -1 y)) 2) in y
1.990 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
1.990 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.990 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
1.990 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
1.990 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.990 * [taylor]: Taking taylor expansion of 1.0 in y
1.991 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.991 * [taylor]: Taking taylor expansion of 1.0 in y
1.992 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
1.992 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.992 * [taylor]: Taking taylor expansion of -1 in y
1.992 * [taylor]: Taking taylor expansion of y in y
1.992 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.992 * [taylor]: Taking taylor expansion of -1 in y
1.992 * [taylor]: Taking taylor expansion of y in y
1.995 * [taylor]: Taking taylor expansion of x in y
1.995 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x)) in x
1.995 * [taylor]: Taking taylor expansion of -1 in x
1.995 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x) in x
1.995 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ -1 y)) 2) in x
1.995 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
1.995 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
1.995 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
1.996 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
1.996 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.996 * [taylor]: Taking taylor expansion of 1.0 in x
1.996 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.996 * [taylor]: Taking taylor expansion of 1.0 in x
1.997 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
1.997 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.997 * [taylor]: Taking taylor expansion of -1 in x
1.997 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.997 * [taylor]: Taking taylor expansion of -1 in x
1.997 * [taylor]: Taking taylor expansion of y in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.003 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x)) in x
2.003 * [taylor]: Taking taylor expansion of -1 in x
2.003 * [taylor]: Taking taylor expansion of (/ (pow (hypot (sqrt 1.0) (/ -1 y)) 2) x) in x
2.003 * [taylor]: Taking taylor expansion of (pow (hypot (sqrt 1.0) (/ -1 y)) 2) in x
2.003 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
2.003 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.004 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
2.004 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.004 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.004 * [taylor]: Taking taylor expansion of 1.0 in x
2.004 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.004 * [taylor]: Taking taylor expansion of 1.0 in x
2.005 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
2.005 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.005 * [taylor]: Taking taylor expansion of -1 in x
2.005 * [taylor]: Taking taylor expansion of y in x
2.005 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.005 * [taylor]: Taking taylor expansion of -1 in x
2.005 * [taylor]: Taking taylor expansion of y in x
2.009 * [taylor]: Taking taylor expansion of x in x
2.012 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
2.012 * [taylor]: Taking taylor expansion of -1 in y
2.012 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
2.012 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.012 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.012 * [taylor]: Taking taylor expansion of y in y
2.013 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
2.013 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.013 * [taylor]: Taking taylor expansion of 1.0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.028 * [taylor]: Taking taylor expansion of 0 in y
2.043 * [taylor]: Taking taylor expansion of 0 in y
2.063 * [taylor]: Taking taylor expansion of 0 in y
2.079 * [taylor]: Taking taylor expansion of 0 in y
2.080 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.080 * [approximate]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in (x y) around 0
2.080 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in y
2.080 * [taylor]: Taking taylor expansion of x in y
2.080 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
2.081 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.081 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
2.081 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.081 * [taylor]: Taking taylor expansion of 1.0 in y
2.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.081 * [taylor]: Taking taylor expansion of 1.0 in y
2.082 * [taylor]: Taking taylor expansion of (* y y) in y
2.082 * [taylor]: Taking taylor expansion of y in y
2.082 * [taylor]: Taking taylor expansion of y in y
2.086 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
2.087 * [taylor]: Taking taylor expansion of x in x
2.087 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
2.087 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.087 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
2.087 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.087 * [taylor]: Taking taylor expansion of 1.0 in x
2.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.087 * [taylor]: Taking taylor expansion of 1.0 in x
2.088 * [taylor]: Taking taylor expansion of (* y y) in x
2.088 * [taylor]: Taking taylor expansion of y in x
2.088 * [taylor]: Taking taylor expansion of y in x
2.092 * [taylor]: Taking taylor expansion of (* x (hypot (sqrt 1.0) y)) in x
2.092 * [taylor]: Taking taylor expansion of x in x
2.092 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in x
2.092 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.092 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in x
2.092 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.092 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.092 * [taylor]: Taking taylor expansion of 1.0 in x
2.093 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.093 * [taylor]: Taking taylor expansion of 1.0 in x
2.093 * [taylor]: Taking taylor expansion of (* y y) in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.098 * [taylor]: Taking taylor expansion of 0 in y
2.098 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow (sqrt 1.0) 2))) in y
2.099 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow (sqrt 1.0) 2)) in y
2.099 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.099 * [taylor]: Taking taylor expansion of y in y
2.099 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
2.099 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.099 * [taylor]: Taking taylor expansion of 1.0 in y
2.108 * [taylor]: Taking taylor expansion of 0 in y
2.114 * [taylor]: Taking taylor expansion of 0 in y
2.114 * [approximate]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in (x y) around 0
2.114 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in y
2.114 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
2.115 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.115 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
2.115 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.115 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.115 * [taylor]: Taking taylor expansion of 1.0 in y
2.115 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.115 * [taylor]: Taking taylor expansion of 1.0 in y
2.116 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
2.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.116 * [taylor]: Taking taylor expansion of y in y
2.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.116 * [taylor]: Taking taylor expansion of y in y
2.119 * [taylor]: Taking taylor expansion of x in y
2.119 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
2.119 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
2.120 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.120 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
2.120 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.120 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.120 * [taylor]: Taking taylor expansion of 1.0 in x
2.120 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.121 * [taylor]: Taking taylor expansion of 1.0 in x
2.121 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
2.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.121 * [taylor]: Taking taylor expansion of y in x
2.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.122 * [taylor]: Taking taylor expansion of y in x
2.126 * [taylor]: Taking taylor expansion of x in x
2.127 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ 1 y)) x) in x
2.127 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in x
2.127 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.127 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in x
2.127 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.127 * [taylor]: Taking taylor expansion of 1.0 in x
2.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.128 * [taylor]: Taking taylor expansion of 1.0 in x
2.128 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
2.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.128 * [taylor]: Taking taylor expansion of y in x
2.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.128 * [taylor]: Taking taylor expansion of y in x
2.132 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
2.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
2.133 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.133 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.133 * [taylor]: Taking taylor expansion of y in y
2.134 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
2.134 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.134 * [taylor]: Taking taylor expansion of 1.0 in y
2.138 * [taylor]: Taking taylor expansion of 0 in y
2.149 * [taylor]: Taking taylor expansion of 0 in y
2.162 * [taylor]: Taking taylor expansion of 0 in y
2.173 * [taylor]: Taking taylor expansion of 0 in y
2.174 * [approximate]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in (x y) around 0
2.175 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in y
2.175 * [taylor]: Taking taylor expansion of -1 in y
2.175 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in y
2.175 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
2.175 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.175 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
2.175 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.175 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.175 * [taylor]: Taking taylor expansion of 1.0 in y
2.176 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.176 * [taylor]: Taking taylor expansion of 1.0 in y
2.176 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
2.176 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.176 * [taylor]: Taking taylor expansion of -1 in y
2.176 * [taylor]: Taking taylor expansion of y in y
2.177 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.177 * [taylor]: Taking taylor expansion of -1 in y
2.177 * [taylor]: Taking taylor expansion of y in y
2.180 * [taylor]: Taking taylor expansion of x in y
2.180 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
2.180 * [taylor]: Taking taylor expansion of -1 in x
2.180 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
2.180 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
2.180 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.180 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
2.180 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.180 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.180 * [taylor]: Taking taylor expansion of 1.0 in x
2.181 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.181 * [taylor]: Taking taylor expansion of 1.0 in x
2.181 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
2.181 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.181 * [taylor]: Taking taylor expansion of -1 in x
2.181 * [taylor]: Taking taylor expansion of y in x
2.182 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.182 * [taylor]: Taking taylor expansion of -1 in x
2.182 * [taylor]: Taking taylor expansion of y in x
2.185 * [taylor]: Taking taylor expansion of x in x
2.186 * [taylor]: Taking taylor expansion of (* -1 (/ (hypot (sqrt 1.0) (/ -1 y)) x)) in x
2.186 * [taylor]: Taking taylor expansion of -1 in x
2.186 * [taylor]: Taking taylor expansion of (/ (hypot (sqrt 1.0) (/ -1 y)) x) in x
2.186 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in x
2.186 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.186 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in x
2.187 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x
2.187 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.187 * [taylor]: Taking taylor expansion of 1.0 in x
2.187 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.187 * [taylor]: Taking taylor expansion of 1.0 in x
2.188 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
2.188 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.188 * [taylor]: Taking taylor expansion of -1 in x
2.188 * [taylor]: Taking taylor expansion of y in x
2.188 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.188 * [taylor]: Taking taylor expansion of -1 in x
2.188 * [taylor]: Taking taylor expansion of y in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.194 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)))) in y
2.194 * [taylor]: Taking taylor expansion of -1 in y
2.194 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2))) in y
2.194 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (pow (sqrt 1.0) 2)) in y
2.194 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.194 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.194 * [taylor]: Taking taylor expansion of y in y
2.194 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in y
2.194 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.194 * [taylor]: Taking taylor expansion of 1.0 in y
2.200 * [taylor]: Taking taylor expansion of 0 in y
2.207 * [taylor]: Taking taylor expansion of 0 in y
2.225 * [taylor]: Taking taylor expansion of 0 in y
2.246 * [taylor]: Taking taylor expansion of 0 in y
2.248 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.249 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) y) in (y) around 0
2.249 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
2.249 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.249 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
2.249 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.249 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.249 * [taylor]: Taking taylor expansion of 1.0 in y
2.250 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.250 * [taylor]: Taking taylor expansion of 1.0 in y
2.251 * [taylor]: Taking taylor expansion of (* y y) in y
2.251 * [taylor]: Taking taylor expansion of y in y
2.251 * [taylor]: Taking taylor expansion of y in y
2.255 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
2.255 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.255 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
2.256 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.256 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.256 * [taylor]: Taking taylor expansion of 1.0 in y
2.256 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.256 * [taylor]: Taking taylor expansion of 1.0 in y
2.257 * [taylor]: Taking taylor expansion of (* y y) in y
2.257 * [taylor]: Taking taylor expansion of y in y
2.257 * [taylor]: Taking taylor expansion of y in y
2.281 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in (y) around 0
2.281 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
2.281 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.281 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
2.282 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.282 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.282 * [taylor]: Taking taylor expansion of 1.0 in y
2.282 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.282 * [taylor]: Taking taylor expansion of 1.0 in y
2.283 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
2.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.283 * [taylor]: Taking taylor expansion of y in y
2.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.283 * [taylor]: Taking taylor expansion of y in y
2.286 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
2.286 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.286 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
2.286 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.286 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.286 * [taylor]: Taking taylor expansion of 1.0 in y
2.287 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.287 * [taylor]: Taking taylor expansion of 1.0 in y
2.288 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
2.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.288 * [taylor]: Taking taylor expansion of y in y
2.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.288 * [taylor]: Taking taylor expansion of y in y
2.313 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in (y) around 0
2.313 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
2.313 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.313 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
2.313 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.313 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.313 * [taylor]: Taking taylor expansion of 1.0 in y
2.314 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.314 * [taylor]: Taking taylor expansion of 1.0 in y
2.314 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
2.314 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.314 * [taylor]: Taking taylor expansion of -1 in y
2.314 * [taylor]: Taking taylor expansion of y in y
2.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.315 * [taylor]: Taking taylor expansion of -1 in y
2.315 * [taylor]: Taking taylor expansion of y in y
2.318 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
2.318 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.318 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
2.318 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.318 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.318 * [taylor]: Taking taylor expansion of 1.0 in y
2.319 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.319 * [taylor]: Taking taylor expansion of 1.0 in y
2.320 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
2.320 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.320 * [taylor]: Taking taylor expansion of -1 in y
2.320 * [taylor]: Taking taylor expansion of y in y
2.320 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.320 * [taylor]: Taking taylor expansion of -1 in y
2.320 * [taylor]: Taking taylor expansion of y in y
2.352 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
2.352 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) y) in (y) around 0
2.352 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
2.352 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.352 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
2.352 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.352 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.352 * [taylor]: Taking taylor expansion of 1.0 in y
2.353 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.353 * [taylor]: Taking taylor expansion of 1.0 in y
2.354 * [taylor]: Taking taylor expansion of (* y y) in y
2.354 * [taylor]: Taking taylor expansion of y in y
2.354 * [taylor]: Taking taylor expansion of y in y
2.358 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) y) in y
2.358 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)))
2.358 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y)) in y
2.358 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.359 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.359 * [taylor]: Taking taylor expansion of 1.0 in y
2.359 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.359 * [taylor]: Taking taylor expansion of 1.0 in y
2.360 * [taylor]: Taking taylor expansion of (* y y) in y
2.360 * [taylor]: Taking taylor expansion of y in y
2.360 * [taylor]: Taking taylor expansion of y in y
2.383 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in (y) around 0
2.383 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
2.383 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.383 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
2.383 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.383 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.383 * [taylor]: Taking taylor expansion of 1.0 in y
2.384 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.384 * [taylor]: Taking taylor expansion of 1.0 in y
2.385 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
2.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.385 * [taylor]: Taking taylor expansion of y in y
2.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.385 * [taylor]: Taking taylor expansion of y in y
2.388 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 y)) in y
2.388 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))))
2.388 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 y) (/ 1 y))) in y
2.388 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.388 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.388 * [taylor]: Taking taylor expansion of 1.0 in y
2.389 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.389 * [taylor]: Taking taylor expansion of 1.0 in y
2.389 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
2.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.389 * [taylor]: Taking taylor expansion of y in y
2.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.390 * [taylor]: Taking taylor expansion of y in y
2.420 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in (y) around 0
2.420 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
2.420 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.420 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
2.420 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.420 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.420 * [taylor]: Taking taylor expansion of 1.0 in y
2.421 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.421 * [taylor]: Taking taylor expansion of 1.0 in y
2.421 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
2.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.421 * [taylor]: Taking taylor expansion of -1 in y
2.421 * [taylor]: Taking taylor expansion of y in y
2.422 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.422 * [taylor]: Taking taylor expansion of -1 in y
2.422 * [taylor]: Taking taylor expansion of y in y
2.425 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 y)) in y
2.425 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))))
2.425 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 y) (/ -1 y))) in y
2.425 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in y
2.425 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.425 * [taylor]: Taking taylor expansion of 1.0 in y
2.425 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.425 * [taylor]: Taking taylor expansion of 1.0 in y
2.426 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
2.426 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.426 * [taylor]: Taking taylor expansion of -1 in y
2.426 * [taylor]: Taking taylor expansion of y in y
2.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.427 * [taylor]: Taking taylor expansion of -1 in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.451 * * * [progress]: simplifying candidates
2.452 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (log1p (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))
  (+ (+ (log x) (+ 0 (log (hypot (sqrt 1.0) y)))) (log (hypot (sqrt 1.0) y)))
  (+ (+ (log x) (+ (log 1) (log (hypot (sqrt 1.0) y)))) (log (hypot (sqrt 1.0) y)))
  (+ (+ (log x) (log (* 1 (hypot (sqrt 1.0) y)))) (log (hypot (sqrt 1.0) y)))
  (+ (log (* x (* 1 (hypot (sqrt 1.0) y)))) (log (hypot (sqrt 1.0) y)))
  (log (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (exp (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* (* (* x x) x) (* (* (* 1 1) 1) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y)))) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y)))
  (* (* (* (* x x) x) (* (* (* 1 (hypot (sqrt 1.0) y)) (* 1 (hypot (sqrt 1.0) y))) (* 1 (hypot (sqrt 1.0) y)))) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y)))
  (* (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y)))
  (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))))
  (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (cbrt (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y))))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) (sqrt (hypot (sqrt 1.0) y)))
  (* (* x (* 1 (hypot (sqrt 1.0) y))) 1)
  (* (* 1 (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y))
  (expm1 (* x (* 1 (hypot (sqrt 1.0) y))))
  (log1p (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (+ (log x) (+ 0 (log (hypot (sqrt 1.0) y))))
  (+ (log x) (+ (log 1) (log (hypot (sqrt 1.0) y))))
  (+ (log x) (log (* 1 (hypot (sqrt 1.0) y))))
  (log (* x (* 1 (hypot (sqrt 1.0) y))))
  (exp (* x (* 1 (hypot (sqrt 1.0) y))))
  (* (* (* x x) x) (* (* (* 1 1) 1) (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y))))
  (* (* (* x x) x) (* (* (* 1 (hypot (sqrt 1.0) y)) (* 1 (hypot (sqrt 1.0) y))) (* 1 (hypot (sqrt 1.0) y))))
  (* (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))) (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))))
  (cbrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (* (* (* x (* 1 (hypot (sqrt 1.0) y))) (* x (* 1 (hypot (sqrt 1.0) y)))) (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x 1)
  (* (cbrt x) (* 1 (hypot (sqrt 1.0) y)))
  (* (sqrt x) (* 1 (hypot (sqrt 1.0) y)))
  (* x (* 1 (hypot (sqrt 1.0) y)))
  (expm1 (hypot (sqrt 1.0) y))
  (log1p (hypot (sqrt 1.0) y))
  (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y))
  (log (hypot (sqrt 1.0) y))
  (exp (hypot (sqrt 1.0) y))
  (* (cbrt (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y)))
  (cbrt (hypot (sqrt 1.0) y))
  (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (expm1 (hypot (sqrt 1.0) y))
  (log1p (hypot (sqrt 1.0) y))
  (+ (* (sqrt 1.0) (sqrt 1.0)) (* y y))
  (log (hypot (sqrt 1.0) y))
  (exp (hypot (sqrt 1.0) y))
  (* (cbrt (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y)))
  (cbrt (hypot (sqrt 1.0) y))
  (* (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)) (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (* x (pow (sqrt 1.0) 2))
  (+ (* x (pow y 2)) (* x (pow (sqrt 1.0) 2)))
  (+ (* x (pow y 2)) (* x (pow (sqrt 1.0) 2)))
  (* x (sqrt 1.0))
  (+ (* 1/2 (/ (* x (pow (sqrt 1.0) 2)) y)) (* x y))
  (- (+ (* 1/2 (/ (* x (pow (sqrt 1.0) 2)) y)) (* x y)))
  (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3))))
  (- (+ (* 1/2 (/ (pow (sqrt 1.0) 2) y)) y) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow y 3))))
  (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow y 3))) (+ (* 1/2 (/ (pow (sqrt 1.0) 2) y)) y))
  (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3))))
  (- (+ (* 1/2 (/ (pow (sqrt 1.0) 2) y)) y) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow y 3))))
  (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow y 3))) (+ (* 1/2 (/ (pow (sqrt 1.0) 2) y)) y))
2.457 * * [simplify]: iteration  0 :  275  enodes  (cost  506 )
2.463 * * [simplify]: iteration  1 :  1136  enodes  (cost  392 )
2.487 * * [simplify]: iteration  2 :  4856  enodes  (cost  377 )
2.586 * * [simplify]: iteration  3 :  5001  enodes  (cost  375 )
2.588 * [simplify]: Simplified to:
   (expm1 (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (log1p (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (hypot (sqrt 1.0) y) (* x (hypot (sqrt 1.0) y)))
  (* (hypot (sqrt 1.0) y) (* x (hypot (sqrt 1.0) y)))
  (* (hypot (sqrt 1.0) y) (* x (hypot (sqrt 1.0) y)))
  (fma 2 (log (hypot (sqrt 1.0) y)) (log x))
  (fma 2 (log (hypot (sqrt 1.0) y)) (log x))
  (fma 2 (log (hypot (sqrt 1.0) y)) (log x))
  (fma 2 (log (hypot (sqrt 1.0) y)) (log x))
  (fma 2 (log (hypot (sqrt 1.0) y)) (log x))
  (pow (exp x) (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y)))
  (* (* (pow (hypot (sqrt 1.0) y) 6) x) (* x x))
  (* (* (pow (hypot (sqrt 1.0) y) 6) x) (* x x))
  (* (* (pow (hypot (sqrt 1.0) y) 6) x) (* x x))
  (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))))
  (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* (pow (hypot (sqrt 1.0) y) 6) x) (* x x))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (sqrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))
  (* (* (* x (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y))) (cbrt (hypot (sqrt 1.0) y)))
  (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y))))
  (* x (hypot (sqrt 1.0) y))
  (* (hypot (sqrt 1.0) y) (hypot (sqrt 1.0) y))
  (expm1 (* x (* 1 (hypot (sqrt 1.0) y))))
  (log1p (* x (* 1 (hypot (sqrt 1.0) y))))
  (* x (hypot (sqrt 1.0) y))
  (* x (hypot (sqrt 1.0) y))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (log (* x (hypot (sqrt 1.0) y)))
  (pow (exp x) (hypot (sqrt 1.0) y))
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (* (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))) (cbrt (* x (* 1 (hypot (sqrt 1.0) y)))))
  (cbrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (pow (* x (hypot (sqrt 1.0) y)) 3)
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  (sqrt (* x (* 1 (hypot (sqrt 1.0) y))))
  x
  (* (hypot (sqrt 1.0) y) (cbrt x))
  (* (hypot (sqrt 1.0) y) (sqrt x))
  (* x (hypot (sqrt 1.0) y))
  (expm1 (hypot (sqrt 1.0) y))
  (log1p (hypot (sqrt 1.0) y))
  (fma y y 1.0)
  (log (hypot (sqrt 1.0) y))
  (exp (hypot (sqrt 1.0) y))
  (* (cbrt (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y)))
  (cbrt (hypot (sqrt 1.0) y))
  (pow (hypot (sqrt 1.0) y) 3)
  (sqrt (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (expm1 (hypot (sqrt 1.0) y))
  (log1p (hypot (sqrt 1.0) y))
  (fma y y 1.0)
  (log (hypot (sqrt 1.0) y))
  (exp (hypot (sqrt 1.0) y))
  (* (cbrt (hypot (sqrt 1.0) y)) (cbrt (hypot (sqrt 1.0) y)))
  (cbrt (hypot (sqrt 1.0) y))
  (pow (hypot (sqrt 1.0) y) 3)
  (sqrt (hypot (sqrt 1.0) y))
  (sqrt (hypot (sqrt 1.0) y))
  (* 1.0 x)
  (* x (fma y y 1.0))
  (* x (fma y y 1.0))
  (* x (sqrt 1.0))
  (fma (/ x (/ y 1.0)) 1/2 (* x y))
  (- (* (- 1/2) (/ x (/ y 1.0))) (* x y))
  (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))))
  (fma (/ 1/2 y) 1.0 (- y (/ (* (* 1.0 1.0) 1/8) (pow y 3))))
  (- (- (/ (* (* 1.0 1.0) 1/8) (pow y 3)) y) (/ (* 1/2 1.0) y))
  (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))))
  (fma (/ 1/2 y) 1.0 (- y (/ (* (* 1.0 1.0) 1/8) (pow y 3))))
  (- (- (/ (* (* 1.0 1.0) 1/8) (pow y 3)) y) (/ (* 1/2 1.0) y))
2.588 * * * [progress]: adding candidates to table
2.776 * [progress]: [Phase 3 of 3] Extracting.
2.776 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.777 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (+ 1.0 (* y y)) (* x (+ 1.0 (* y y))) y x)
2.777 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.803 * * * * [regimes]: Trying to branch on (+ 1.0 (* y y)) from (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.823 * * * * [regimes]: Trying to branch on (* x (+ 1.0 (* y y))) from (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.849 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.875 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (sqrt x) (* (hypot (sqrt 1.0) y) (sqrt x))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* x (+ 1.0 (* y y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (* (sqrt (hypot (sqrt 1.0) y)) (sqrt (hypot (sqrt 1.0) y)))))> #<alt (λ (x y) (* x (cbrt (pow (fma y y 1.0) 3))))> #<alt (λ (x y) (* (* x (* (hypot (sqrt 1.0) y) (sqrt (hypot (sqrt 1.0) y)))) (sqrt (hypot (sqrt 1.0) y))))> #<alt (λ (x y) (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))) (cbrt (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y)))))>)
2.898 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
2.898 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x (* 1 (hypot (sqrt 1.0) y))) (hypot (sqrt 1.0) y))
2.899 * * [simplify]: iteration  0 :  14  enodes  (cost  6 )
2.899 * * [simplify]: iteration  1 :  18  enodes  (cost  6 )
2.900 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
2.900 * [simplify]: Simplified to:
   (* (hypot (sqrt 1.0) y) (* (hypot (sqrt 1.0) y) x))
3.818 * [regime-testing]: Baseline error score: 0.10535301913027592
3.819 * [regime-testing]: Oracle error score: 0.02212776597074634
3.820 * [regime-testing]: End program error score: 0.10535301913027592
3.838 * [regime-testing]: Target error score: 0.08876109513689211