9.804 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.061 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.064 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
0.074 * * [simplify]: iteration  0 :  206  enodes  (cost  8 )
0.074 * * [simplify]: iteration  1 :  206  enodes  (cost  8 )
0.074 * [simplify]: Simplified to:
   (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
0.074 * * [progress]: iteration 1 / 4
0.074 * * * [progress]: picking best candidate
0.077 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))>
0.077 * * * [progress]: localizing error
0.082 * * * [progress]: generating rewritten candidates
0.082 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.087 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.095 * * * [progress]: generating series expansions
0.095 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.096 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.096 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.096 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.096 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.096 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.096 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.098 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.098 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.098 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.098 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.098 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of 0 in x
0.099 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
0.100 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
0.100 * [taylor]: Taking taylor expansion of -1 in x
0.100 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.100 * [taylor]: Taking taylor expansion of -1 in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.101 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.101 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of 0 in x
0.102 * [taylor]: Taking taylor expansion of 0 in x
0.103 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.103 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in (x y) around 0
0.103 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in y
0.103 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in y
0.103 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.103 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.103 * [taylor]: Taking taylor expansion of x in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of 1 in y
0.103 * [taylor]: Taking taylor expansion of x in y
0.103 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in x
0.104 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in x
0.104 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.104 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of y in x
0.104 * [taylor]: Taking taylor expansion of 1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in x
0.104 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in x
0.104 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.104 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of y in x
0.104 * [taylor]: Taking taylor expansion of 1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of 1 in y
0.104 * [taylor]: Taking taylor expansion of (- (* NAN y) 1) in y
0.104 * [taylor]: Taking taylor expansion of (* NAN y) in y
0.104 * [taylor]: Taking taylor expansion of NAN in y
0.104 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of 1 in y
0.105 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y
0.105 * [taylor]: Taking taylor expansion of (pow NAN 3) in y
0.105 * [taylor]: Taking taylor expansion of NAN in y
0.105 * [taylor]: Taking taylor expansion of y in y
0.105 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in (x y) around 0
0.105 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in y
0.105 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in y
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.105 * [taylor]: Taking taylor expansion of x in y
0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.105 * [taylor]: Taking taylor expansion of y in y
0.105 * [taylor]: Taking taylor expansion of 1 in y
0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.105 * [taylor]: Taking taylor expansion of x in y
0.105 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in x
0.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of 1 in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in x
0.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of 1 in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of -1 in y
0.106 * [taylor]: Taking taylor expansion of (+ (/ NAN y) 1) in y
0.106 * [taylor]: Taking taylor expansion of (/ NAN y) in y
0.106 * [taylor]: Taking taylor expansion of NAN in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of 1 in y
0.107 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y
0.107 * [taylor]: Taking taylor expansion of (pow NAN 3) in y
0.107 * [taylor]: Taking taylor expansion of NAN in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.108 * [approximate]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in (x y) around 0
0.108 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in y
0.108 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in y
0.108 * [taylor]: Taking taylor expansion of 1 in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.108 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.108 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.108 * [taylor]: Taking taylor expansion of -1 in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in x
0.108 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.108 * [taylor]: Taking taylor expansion of 1 in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.108 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.108 * [taylor]: Taking taylor expansion of -1 in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in x
0.108 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.108 * [taylor]: Taking taylor expansion of 1 in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.109 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.109 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.109 * [taylor]: Taking taylor expansion of -1 in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of 1 in y
0.109 * [taylor]: Taking taylor expansion of (- 1 (/ NAN y)) in y
0.109 * [taylor]: Taking taylor expansion of 1 in y
0.109 * [taylor]: Taking taylor expansion of (/ NAN y) in y
0.109 * [taylor]: Taking taylor expansion of NAN in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) y)) in y
0.110 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y
0.110 * [taylor]: Taking taylor expansion of (pow NAN 3) in y
0.110 * [taylor]: Taking taylor expansion of NAN in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * * * [progress]: simplifying candidates
0.111 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (sqrt.f64 x))
  (+.f64 (log.f64 y) (log.f64 (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (exp.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
  (cbrt.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x)))
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (sqrt.f64 1))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (sqrt.f64 x))
  (*.f64 (sqrt.f64 y) (sqrt.f64 x))
  (*.f64 y (sqrt.f64 x))
  (*.f64 (/.f64 (exp.f64 1) (exp.f64 x)) (exp.f64 (*.f64 y (sqrt.f64 x))))
  (*.f64 (exp.f64 (-.f64 1 x)) (exp.f64 (*.f64 y (sqrt.f64 x))))
  (log.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (exp.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (*.f64 (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))) (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))))
  (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (*.f64 (*.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (sqrt.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (sqrt.f64 (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))
  (+.f64 (pow.f64 (-.f64 1 x) 3) (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
  (+.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (-.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x))) (*.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))))
  (-.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x))))
  (-.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
  (+.f64 (neg.f64 x) (*.f64 y (sqrt.f64 x)))
  (-.f64 x (*.f64 y (sqrt.f64 x)))
  (+.f64 (*.f64 (pow.f64 x 2) (*.f64 (pow.f64 NAN.f64 3) y)) (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) y))))
  (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x))
  (-.f64 (+.f64 (*.f64 x (*.f64 NAN.f64 y)) 1) x)
  (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (*.f64 NAN.f64 y)) x)
  (-.f64 (*.f64 NAN.f64 y) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) x))
0.159 * * [simplify]: iteration  0 :  5129  enodes  (cost  360 )
0.161 * [simplify]: Simplified to:
   (*.f64 y (sqrt.f64 x))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (exp.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
  (cbrt.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (*.f64 y (fabs.f64 (cbrt.f64 x)))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  y
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  y
  (*.f64 (sqrt.f64 x) (cbrt.f64 y))
  (*.f64 (sqrt.f64 x) (sqrt.f64 y))
  (*.f64 y (sqrt.f64 x))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 y (sqrt.f64 x)) x)))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 y (sqrt.f64 x)) x)))
  (log.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x)))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 y (sqrt.f64 x)) x)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x))) (cbrt.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x))))
  (cbrt.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x)))
  (pow.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x)) 3)
  (sqrt.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x)))
  (sqrt.f64 (+.f64 (*.f64 y (sqrt.f64 x)) (-.f64 1 x)))
  (+.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) (pow.f64 (-.f64 1 x) 3))
  (+.f64 (*.f64 x (*.f64 y y)) (*.f64 (-.f64 1 x) (-.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))))
  (-.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (*.f64 x (*.f64 y y)))
  (-.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
  (-.f64 (*.f64 y (sqrt.f64 x)) x)
  (-.f64 x (*.f64 y (sqrt.f64 x)))
  (*.f64 y (+.f64 (*.f64 x (+.f64 (*.f64 x (pow.f64 NAN.f64 3)) NAN.f64)) (*.f64 (pow.f64 x 3) (pow.f64 NAN.f64 5))))
  (*.f64 y (+.f64 NAN.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))))
  (*.f64 y (+.f64 NAN.f64 (-.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)) (/.f64 (pow.f64 NAN.f64 3) x))))
  (+.f64 (-.f64 1 x) (*.f64 x (*.f64 y NAN.f64)))
  (-.f64 (*.f64 y (+.f64 NAN.f64 (/.f64 (pow.f64 NAN.f64 3) x))) x)
  (-.f64 (*.f64 y (-.f64 NAN.f64 (/.f64 (pow.f64 NAN.f64 3) x))) x)
0.162 * * * [progress]: adding candidates to table
0.202 * * [progress]: iteration 2 / 4
0.202 * * * [progress]: picking best candidate
0.214 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))))>
0.214 * * * [progress]: localizing error
0.222 * * * [progress]: generating rewritten candidates
0.222 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.232 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.238 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.240 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.245 * * * [progress]: generating series expansions
0.245 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.245 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.245 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.245 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.245 * [taylor]: Taking taylor expansion of y in x
0.245 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.245 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.245 * [taylor]: Taking taylor expansion of x in y
0.245 * [taylor]: Taking taylor expansion of y in y
0.245 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.245 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.245 * [taylor]: Taking taylor expansion of x in y
0.245 * [taylor]: Taking taylor expansion of y in y
0.245 * [taylor]: Taking taylor expansion of 0 in x
0.245 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.246 * [taylor]: Taking taylor expansion of 0 in x
0.246 * [taylor]: Taking taylor expansion of 0 in x
0.246 * [taylor]: Taking taylor expansion of 0 in x
0.247 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.247 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.247 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.247 * [taylor]: Taking taylor expansion of x in x
0.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.247 * [taylor]: Taking taylor expansion of y in x
0.247 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.247 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.247 * [taylor]: Taking taylor expansion of x in y
0.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.247 * [taylor]: Taking taylor expansion of y in y
0.247 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.247 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.248 * [taylor]: Taking taylor expansion of x in y
0.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.250 * [taylor]: Taking taylor expansion of y in y
0.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.250 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of 0 in x
0.250 * [taylor]: Taking taylor expansion of 0 in x
0.251 * [taylor]: Taking taylor expansion of 0 in x
0.252 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
0.252 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
0.252 * [taylor]: Taking taylor expansion of -1 in x
0.252 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.252 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.252 * [taylor]: Taking taylor expansion of -1 in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.252 * [taylor]: Taking taylor expansion of -1 in y
0.252 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.252 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.252 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.252 * [taylor]: Taking taylor expansion of -1 in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.252 * [taylor]: Taking taylor expansion of -1 in y
0.252 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.252 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.252 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.252 * [taylor]: Taking taylor expansion of -1 in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.253 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.253 * [taylor]: Taking taylor expansion of -1 in x
0.253 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.253 * [taylor]: Taking taylor expansion of -1 in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of 0 in x
0.254 * [taylor]: Taking taylor expansion of 0 in x
0.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.255 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
0.255 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
0.255 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.255 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.255 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.255 * [taylor]: Taking taylor expansion of 1/4 in x
0.255 * [taylor]: Taking taylor expansion of (log x) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of y in x
0.255 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.255 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.255 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.255 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.255 * [taylor]: Taking taylor expansion of 1/4 in y
0.255 * [taylor]: Taking taylor expansion of (log x) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.255 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.255 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.255 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.255 * [taylor]: Taking taylor expansion of 1/4 in y
0.255 * [taylor]: Taking taylor expansion of (log x) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of 0 in x
0.256 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.256 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.256 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.256 * [taylor]: Taking taylor expansion of 1/4 in x
0.256 * [taylor]: Taking taylor expansion of (log x) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of 0 in x
0.257 * [taylor]: Taking taylor expansion of 0 in x
0.258 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
0.258 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
0.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.258 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.258 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.258 * [taylor]: Taking taylor expansion of 1/4 in x
0.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.258 * [taylor]: Taking taylor expansion of y in x
0.258 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.258 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.258 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.258 * [taylor]: Taking taylor expansion of 1/4 in y
0.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.258 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.258 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.258 * [taylor]: Taking taylor expansion of 1/4 in y
0.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.259 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.259 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.259 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of 1/4 in x
0.259 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of 0 in x
0.260 * [taylor]: Taking taylor expansion of 0 in x
0.261 * [taylor]: Taking taylor expansion of 0 in x
0.262 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
0.262 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.262 * [taylor]: Taking taylor expansion of -1 in x
0.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.262 * [taylor]: Taking taylor expansion of y in x
0.262 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.262 * [taylor]: Taking taylor expansion of -1 in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.262 * [taylor]: Taking taylor expansion of -1 in y
0.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.262 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.262 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.262 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.262 * [taylor]: Taking taylor expansion of -1 in y
0.262 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.263 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
0.263 * [taylor]: Taking taylor expansion of -1 in x
0.263 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.263 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.263 * [taylor]: Taking taylor expansion of -1 in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of 0 in x
0.264 * [taylor]: Taking taylor expansion of 0 in x
0.265 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.266 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.266 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.266 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.266 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.266 * [taylor]: Taking taylor expansion of 1/4 in x
0.266 * [taylor]: Taking taylor expansion of (log x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.266 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.266 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.266 * [taylor]: Taking taylor expansion of 1/4 in x
0.266 * [taylor]: Taking taylor expansion of (log x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.269 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.269 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.269 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.269 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.269 * [taylor]: Taking taylor expansion of 1/4 in x
0.269 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.270 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.270 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.270 * [taylor]: Taking taylor expansion of 1/4 in x
0.270 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.273 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.273 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.273 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.273 * [taylor]: Taking taylor expansion of -1 in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.274 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.274 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.274 * [taylor]: Taking taylor expansion of -1 in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.275 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.275 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.275 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.275 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.275 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.275 * [taylor]: Taking taylor expansion of 1/4 in x
0.275 * [taylor]: Taking taylor expansion of (log x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.275 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.275 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.275 * [taylor]: Taking taylor expansion of 1/4 in x
0.275 * [taylor]: Taking taylor expansion of (log x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.279 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.279 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.279 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.279 * [taylor]: Taking taylor expansion of 1/4 in x
0.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.279 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.279 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.279 * [taylor]: Taking taylor expansion of 1/4 in x
0.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.283 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.283 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.283 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.283 * [taylor]: Taking taylor expansion of -1 in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.283 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.283 * [taylor]: Taking taylor expansion of -1 in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.285 * * * [progress]: simplifying candidates
0.286 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 1)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 1))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 1)
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 1)))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 1))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 1))
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 1)
  (sqrt.f64 (sqrt.f64 x))
  (/.f64 1/2 2)
  (/.f64 1 2)
  (/.f64 (/.f64 1 2) 2)
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 1))
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 1)
  (sqrt.f64 (sqrt.f64 x))
  (/.f64 1/2 2)
  (/.f64 1 2)
  (/.f64 (/.f64 1 2) 2)
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (*.f64 (pow.f64 x 2) (*.f64 (pow.f64 NAN.f64 3) y)) (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) y))))
  (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x))
  (*.f64 (pow.f64 x 1/4) y)
  (*.f64 (pow.f64 x 1/4) y)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 y (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (*.f64 (sqrt.f64 NAN.f64) y)) (*.f64 1/2 (*.f64 (/.f64 y x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 1 (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (sqrt.f64 NAN.f64)) (*.f64 1/2 (*.f64 (/.f64 1 x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 1 (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (sqrt.f64 NAN.f64)) (*.f64 1/2 (*.f64 (/.f64 1 x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
0.325 * * [simplify]: iteration  0 :  5047  enodes  (cost  630 )
0.329 * [simplify]: Simplified to:
   (*.f64 y (sqrt.f64 x))
  (*.f64 y (sqrt.f64 x))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (exp.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
  (cbrt.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (fabs.f64 (cbrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 x)
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 3)
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (fabs.f64 (cbrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (fabs.f64 (cbrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (cbrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 y))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
  (fabs.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (fabs.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  1/4
  1/2
  1/4
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
  (fabs.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (fabs.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  1/4
  1/2
  1/4
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (+.f64 (*.f64 (pow.f64 x 3) (pow.f64 NAN.f64 5)) (*.f64 x (+.f64 NAN.f64 (*.f64 x (pow.f64 NAN.f64 3))))))
  (*.f64 y (+.f64 NAN.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))))
  (*.f64 y (+.f64 NAN.f64 (-.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)) (/.f64 (pow.f64 NAN.f64 3) x))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 y (pow.f64 x 1/4))
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 y (*.f64 x x)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (*.f64 y (sqrt.f64 NAN.f64))) (*.f64 1/2 (*.f64 (/.f64 y x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (sqrt.f64 NAN.f64) (*.f64 3/8 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 9)) (*.f64 x x)))) (*.f64 1/2 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 5)) x)))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (sqrt.f64 NAN.f64) (*.f64 3/8 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 9)) (*.f64 x x)))) (*.f64 1/2 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 5)) x)))
0.329 * * * [progress]: adding candidates to table
0.397 * * [progress]: iteration 3 / 4
0.397 * * * [progress]: picking best candidate
0.408 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))>
0.408 * * * [progress]: localizing error
0.422 * * * [progress]: generating rewritten candidates
0.422 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.438 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.449 * * * [progress]: generating series expansions
0.449 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.450 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.450 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.450 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of y in x
0.450 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.450 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.450 * [taylor]: Taking taylor expansion of x in y
0.450 * [taylor]: Taking taylor expansion of y in y
0.450 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.450 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.450 * [taylor]: Taking taylor expansion of x in y
0.450 * [taylor]: Taking taylor expansion of y in y
0.450 * [taylor]: Taking taylor expansion of 0 in x
0.450 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 0 in x
0.451 * [taylor]: Taking taylor expansion of 0 in x
0.451 * [taylor]: Taking taylor expansion of 0 in x
0.452 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.452 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.452 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.452 * [taylor]: Taking taylor expansion of y in x
0.452 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.452 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.452 * [taylor]: Taking taylor expansion of y in y
0.452 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.452 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.453 * [taylor]: Taking taylor expansion of x in x
0.453 * [taylor]: Taking taylor expansion of 0 in x
0.453 * [taylor]: Taking taylor expansion of 0 in x
0.454 * [taylor]: Taking taylor expansion of 0 in x
0.455 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0
0.455 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x
0.455 * [taylor]: Taking taylor expansion of -1 in x
0.455 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.455 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.455 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.455 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.455 * [taylor]: Taking taylor expansion of 1/4 in x
0.455 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.455 * [taylor]: Taking taylor expansion of -1 in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.455 * [taylor]: Taking taylor expansion of y in x
0.455 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.455 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.455 * [taylor]: Taking taylor expansion of -1 in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y
0.455 * [taylor]: Taking taylor expansion of -1 in y
0.455 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.455 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y
0.455 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y
0.455 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y
0.455 * [taylor]: Taking taylor expansion of 1/4 in y
0.456 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y
0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.456 * [taylor]: Taking taylor expansion of -1 in y
0.456 * [taylor]: Taking taylor expansion of x in y
0.456 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.456 * [taylor]: Taking taylor expansion of y in y
0.456 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.456 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.456 * [taylor]: Taking taylor expansion of -1 in y
0.456 * [taylor]: Taking taylor expansion of x in y
0.456 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y
0.456 * [taylor]: Taking taylor expansion of -1 in y
0.456 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.456 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y
0.456 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y
0.456 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y
0.456 * [taylor]: Taking taylor expansion of 1/4 in y
0.456 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y
0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.456 * [taylor]: Taking taylor expansion of -1 in y
0.456 * [taylor]: Taking taylor expansion of x in y
0.456 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.456 * [taylor]: Taking taylor expansion of y in y
0.456 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.456 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.456 * [taylor]: Taking taylor expansion of -1 in y
0.456 * [taylor]: Taking taylor expansion of x in y
0.457 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x
0.457 * [taylor]: Taking taylor expansion of -1 in x
0.457 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x
0.457 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.457 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.457 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.457 * [taylor]: Taking taylor expansion of 1/4 in x
0.457 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.457 * [taylor]: Taking taylor expansion of -1 in x
0.457 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.457 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.457 * [taylor]: Taking taylor expansion of -1 in x
0.457 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of 0 in x
0.461 * [taylor]: Taking taylor expansion of 0 in x
0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.463 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
0.463 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
0.463 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.463 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.463 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.463 * [taylor]: Taking taylor expansion of 1/4 in x
0.463 * [taylor]: Taking taylor expansion of (log x) in x
0.463 * [taylor]: Taking taylor expansion of x in x
0.463 * [taylor]: Taking taylor expansion of y in x
0.463 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.463 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.463 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.463 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.464 * [taylor]: Taking taylor expansion of 1/4 in y
0.464 * [taylor]: Taking taylor expansion of (log x) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.464 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.464 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.464 * [taylor]: Taking taylor expansion of 1/4 in y
0.464 * [taylor]: Taking taylor expansion of (log x) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of 0 in x
0.464 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.464 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.464 * [taylor]: Taking taylor expansion of 1/4 in x
0.464 * [taylor]: Taking taylor expansion of (log x) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.465 * [taylor]: Taking taylor expansion of 0 in x
0.466 * [taylor]: Taking taylor expansion of 0 in x
0.466 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
0.466 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
0.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.466 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.466 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.466 * [taylor]: Taking taylor expansion of 1/4 in x
0.466 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.466 * [taylor]: Taking taylor expansion of y in x
0.466 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.466 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.466 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.466 * [taylor]: Taking taylor expansion of 1/4 in y
0.466 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.466 * [taylor]: Taking taylor expansion of x in y
0.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.466 * [taylor]: Taking taylor expansion of y in y
0.466 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.466 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.467 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.467 * [taylor]: Taking taylor expansion of 1/4 in y
0.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.467 * [taylor]: Taking taylor expansion of x in y
0.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.467 * [taylor]: Taking taylor expansion of y in y
0.467 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.467 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.467 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.467 * [taylor]: Taking taylor expansion of 1/4 in x
0.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of 0 in x
0.468 * [taylor]: Taking taylor expansion of 0 in x
0.469 * [taylor]: Taking taylor expansion of 0 in x
0.470 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (/ 1 y))) in (y x) around 0
0.470 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (/ 1 y))) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (/ 1 y)) in x
0.470 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.470 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.470 * [taylor]: Taking taylor expansion of 1/4 in x
0.470 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (/ 1 y))) in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.470 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (/ 1 y)) in y
0.470 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y
0.470 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y
0.470 * [taylor]: Taking taylor expansion of 1/4 in y
0.470 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.470 * [taylor]: Taking taylor expansion of x in y
0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (/ 1 y))) in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.470 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (/ 1 y)) in y
0.470 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y
0.471 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y
0.471 * [taylor]: Taking taylor expansion of 1/4 in y
0.471 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y
0.471 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.471 * [taylor]: Taking taylor expansion of -1 in y
0.471 * [taylor]: Taking taylor expansion of x in y
0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.471 * [taylor]: Taking taylor expansion of y in y
0.471 * [taylor]: Taking taylor expansion of (* -1 (pow (/ -1 x) 1/4)) in x
0.471 * [taylor]: Taking taylor expansion of -1 in x
0.471 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.471 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.471 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.471 * [taylor]: Taking taylor expansion of 1/4 in x
0.471 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.471 * [taylor]: Taking taylor expansion of -1 in x
0.471 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of 0 in x
0.473 * [taylor]: Taking taylor expansion of 0 in x
0.474 * [taylor]: Taking taylor expansion of 0 in x
0.474 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.475 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.475 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.475 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.475 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.475 * [taylor]: Taking taylor expansion of 1/4 in x
0.475 * [taylor]: Taking taylor expansion of (log x) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.475 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.475 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.475 * [taylor]: Taking taylor expansion of 1/4 in x
0.475 * [taylor]: Taking taylor expansion of (log x) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.478 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.478 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.478 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.478 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.479 * [taylor]: Taking taylor expansion of 1/4 in x
0.479 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.479 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.479 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.479 * [taylor]: Taking taylor expansion of 1/4 in x
0.479 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.483 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.483 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.483 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.483 * [taylor]: Taking taylor expansion of -1 in x
0.483 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.483 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.483 * [taylor]: Taking taylor expansion of -1 in x
0.483 * [taylor]: Taking taylor expansion of x in x
0.485 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.485 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in (x y) around 0
0.485 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in y
0.485 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in y
0.485 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.485 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of 1 in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in x
0.485 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in x
0.485 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.485 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of y in x
0.485 * [taylor]: Taking taylor expansion of 1 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1) x) in x
0.485 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1) in x
0.485 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.485 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of y in x
0.485 * [taylor]: Taking taylor expansion of 1 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of 1 in y
0.486 * [taylor]: Taking taylor expansion of (- (* NAN y) 1) in y
0.486 * [taylor]: Taking taylor expansion of (* NAN y) in y
0.486 * [taylor]: Taking taylor expansion of NAN in y
0.486 * [taylor]: Taking taylor expansion of y in y
0.486 * [taylor]: Taking taylor expansion of 1 in y
0.486 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y
0.486 * [taylor]: Taking taylor expansion of (pow NAN 3) in y
0.486 * [taylor]: Taking taylor expansion of NAN in y
0.486 * [taylor]: Taking taylor expansion of y in y
0.487 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in (x y) around 0
0.487 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in y
0.487 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in y
0.487 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.487 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.487 * [taylor]: Taking taylor expansion of x in y
0.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.487 * [taylor]: Taking taylor expansion of y in y
0.487 * [taylor]: Taking taylor expansion of 1 in y
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.487 * [taylor]: Taking taylor expansion of x in y
0.487 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in x
0.487 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in x
0.487 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.487 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.487 * [taylor]: Taking taylor expansion of x in x
0.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.487 * [taylor]: Taking taylor expansion of y in x
0.487 * [taylor]: Taking taylor expansion of 1 in x
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.487 * [taylor]: Taking taylor expansion of x in x
0.487 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) (/ 1 x)) in x
0.487 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1) in x
0.487 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.487 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.487 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.488 * [taylor]: Taking taylor expansion of y in x
0.488 * [taylor]: Taking taylor expansion of 1 in x
0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of -1 in y
0.488 * [taylor]: Taking taylor expansion of (+ (/ NAN y) 1) in y
0.488 * [taylor]: Taking taylor expansion of (/ NAN y) in y
0.488 * [taylor]: Taking taylor expansion of NAN in y
0.488 * [taylor]: Taking taylor expansion of y in y
0.488 * [taylor]: Taking taylor expansion of 1 in y
0.489 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y
0.489 * [taylor]: Taking taylor expansion of (pow NAN 3) in y
0.489 * [taylor]: Taking taylor expansion of NAN in y
0.489 * [taylor]: Taking taylor expansion of y in y
0.489 * [approximate]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (x y) around 0
0.489 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y
0.490 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in y
0.490 * [taylor]: Taking taylor expansion of 1 in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.490 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y
0.490 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y
0.490 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y
0.490 * [taylor]: Taking taylor expansion of 1/4 in y
0.490 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y
0.490 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.490 * [taylor]: Taking taylor expansion of -1 in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.490 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.490 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.490 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.490 * [taylor]: Taking taylor expansion of -1 in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x
0.490 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.490 * [taylor]: Taking taylor expansion of 1 in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.490 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.490 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.490 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.490 * [taylor]: Taking taylor expansion of 1/4 in x
0.490 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.490 * [taylor]: Taking taylor expansion of -1 in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.491 * [taylor]: Taking taylor expansion of y in x
0.491 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.491 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.491 * [taylor]: Taking taylor expansion of -1 in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 x)) (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x
0.491 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.491 * [taylor]: Taking taylor expansion of 1 in x
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.491 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
0.491 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
0.491 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
0.491 * [taylor]: Taking taylor expansion of 1/4 in x
0.491 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.491 * [taylor]: Taking taylor expansion of -1 in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.492 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.492 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.492 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.492 * [taylor]: Taking taylor expansion of -1 in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of 1 in y
0.492 * [taylor]: Taking taylor expansion of (- 1 (* (sqrt NAN) (/ (exp (* 1/4 (- (log -1) (log x)))) y))) in y
0.493 * [taylor]: Taking taylor expansion of 1 in y
0.493 * [taylor]: Taking taylor expansion of (* (sqrt NAN) (/ (exp (* 1/4 (- (log -1) (log x)))) y)) in y
0.493 * [taylor]: Taking taylor expansion of (sqrt NAN) in y
0.493 * [taylor]: Taking taylor expansion of NAN in y
0.493 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (log x)))) y) in y
0.493 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in y
0.493 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in y
0.493 * [taylor]: Taking taylor expansion of 1/4 in y
0.493 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y
0.493 * [taylor]: Taking taylor expansion of (log -1) in y
0.493 * [taylor]: Taking taylor expansion of -1 in y
0.493 * [taylor]: Taking taylor expansion of (log x) in y
0.493 * [taylor]: Taking taylor expansion of x in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* (sqrt (pow NAN 5)) (/ (exp (* 1/4 (- (log -1) (log x)))) y)))) in y
0.495 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (pow NAN 5)) (/ (exp (* 1/4 (- (log -1) (log x)))) y))) in y
0.495 * [taylor]: Taking taylor expansion of 1/2 in y
0.495 * [taylor]: Taking taylor expansion of (* (sqrt (pow NAN 5)) (/ (exp (* 1/4 (- (log -1) (log x)))) y)) in y
0.495 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 5)) in y
0.495 * [taylor]: Taking taylor expansion of (pow NAN 5) in y
0.495 * [taylor]: Taking taylor expansion of NAN in y
0.495 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (log x)))) y) in y
0.495 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in y
0.495 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in y
0.495 * [taylor]: Taking taylor expansion of 1/4 in y
0.495 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y
0.495 * [taylor]: Taking taylor expansion of (log -1) in y
0.495 * [taylor]: Taking taylor expansion of -1 in y
0.495 * [taylor]: Taking taylor expansion of (log x) in y
0.495 * [taylor]: Taking taylor expansion of x in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.497 * * * [progress]: simplifying candidates
0.498 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (+.f64 (log.f64 y) (*.f64 (log.f64 x) 1/4)) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (+.f64 (log.f64 y) (*.f64 (log.f64 x) 1/4)) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (+.f64 (log.f64 y) (log.f64 (pow.f64 x 1/4))) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (log.f64 (*.f64 y (pow.f64 x 1/4))) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (pow.f64 x 1/4) (pow.f64 x 1/4)) (pow.f64 x 1/4))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (*.f64 y (pow.f64 x 1/4))) (*.f64 y (pow.f64 x 1/4))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 1)))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 1))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) 1)
  (*.f64 (pow.f64 x 1/4) (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (log.f64 y) (*.f64 (log.f64 x) 1/4))
  (+.f64 (log.f64 y) (*.f64 (log.f64 x) 1/4))
  (+.f64 (log.f64 y) (log.f64 (pow.f64 x 1/4)))
  (log.f64 (*.f64 y (pow.f64 x 1/4)))
  (exp.f64 (*.f64 y (pow.f64 x 1/4)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (pow.f64 x 1/4) (pow.f64 x 1/4)) (pow.f64 x 1/4)))
  (*.f64 (cbrt.f64 (*.f64 y (pow.f64 x 1/4))) (cbrt.f64 (*.f64 y (pow.f64 x 1/4))))
  (cbrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (*.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (*.f64 y (pow.f64 x 1/4))) (*.f64 y (pow.f64 x 1/4)))
  (sqrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (sqrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 x) 1/4))
  (*.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 x) 1/4))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (pow.f64 x (/.f64 1/4 2)))
  (*.f64 (sqrt.f64 y) (pow.f64 x (/.f64 1/4 2)))
  (*.f64 y (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1/4))
  (*.f64 y (pow.f64 (sqrt.f64 x) 1/4))
  (*.f64 y (pow.f64 1 1/4))
  (*.f64 y (*.f64 (cbrt.f64 (pow.f64 x 1/4)) (cbrt.f64 (pow.f64 x 1/4))))
  (*.f64 y (sqrt.f64 (pow.f64 x 1/4)))
  (*.f64 y 1)
  (*.f64 y (pow.f64 x (/.f64 1/4 2)))
  (*.f64 (cbrt.f64 y) (pow.f64 x 1/4))
  (*.f64 (sqrt.f64 y) (pow.f64 x 1/4))
  (*.f64 y (pow.f64 x 1/4))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 1))
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 1)
  (sqrt.f64 (sqrt.f64 x))
  (/.f64 1/2 2)
  (/.f64 1 2)
  (/.f64 (/.f64 1 2) 2)
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (/.f64 (exp.f64 1) (exp.f64 x)) (exp.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (exp.f64 (-.f64 1 x)) (exp.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (log.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (exp.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))) (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))))
  (cbrt.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (+.f64 (pow.f64 (-.f64 1 x) 3) (pow.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) 3))
  (+.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (-.f64 (*.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))))
  (-.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (*.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (-.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (neg.f64 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (-.f64 x (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (*.f64 (pow.f64 x 2) (*.f64 (pow.f64 NAN.f64 3) y)) (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) y))))
  (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 (sqrt.f64 NAN.f64) (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y)) (*.f64 3/8 (*.f64 (/.f64 (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y) (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9))))) (*.f64 1/2 (*.f64 (/.f64 (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y) x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (*.f64 (pow.f64 x 1/4) y)
  (*.f64 (pow.f64 x 1/4) y)
  (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y)
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 1 (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (sqrt.f64 NAN.f64)) (*.f64 1/2 (*.f64 (/.f64 1 x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (-.f64 (+.f64 (*.f64 x (*.f64 NAN.f64 y)) 1) x)
  (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (*.f64 NAN.f64 y)) x)
  (-.f64 (*.f64 (sqrt.f64 NAN.f64) (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y)) (+.f64 (*.f64 1/2 (*.f64 (/.f64 (*.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))) y) x) (sqrt.f64 (pow.f64 NAN.f64 5)))) x))
0.547 * * [simplify]: iteration  0 :  4905  enodes  (cost  884 )
0.548 * * [simplify]: iteration  1 :  4905  enodes  (cost  884 )
0.554 * [simplify]: Simplified to:
   (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) 3)
  (pow.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) 3)
  (sqrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (fabs.f64 (cbrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (fabs.f64 (cbrt.f64 x))))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 (pow.f64 x 1/4) (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (*.f64 y (pow.f64 x 1/4)))
  (log.f64 (*.f64 y (pow.f64 x 1/4)))
  (log.f64 (*.f64 y (pow.f64 x 1/4)))
  (log.f64 (*.f64 y (pow.f64 x 1/4)))
  (exp.f64 (*.f64 y (pow.f64 x 1/4)))
  (pow.f64 (*.f64 y (pow.f64 x 1/4)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (pow.f64 x 1/4))) (cbrt.f64 (*.f64 y (pow.f64 x 1/4))))
  (cbrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (pow.f64 (*.f64 y (pow.f64 x 1/4)) 3)
  (sqrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (sqrt.f64 (*.f64 y (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 x) 1/4))
  (*.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 x) 1/4))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (pow.f64 x 1/4)))
  (*.f64 (sqrt.f64 y) (pow.f64 x 1/8))
  (*.f64 (sqrt.f64 y) (pow.f64 x 1/8))
  (*.f64 y (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1/4))
  (*.f64 y (pow.f64 (sqrt.f64 x) 1/4))
  y
  (*.f64 y (*.f64 (cbrt.f64 (pow.f64 x 1/4)) (cbrt.f64 (pow.f64 x 1/4))))
  (*.f64 y (sqrt.f64 (pow.f64 x 1/4)))
  y
  (*.f64 y (pow.f64 x 1/8))
  (*.f64 (pow.f64 x 1/4) (cbrt.f64 y))
  (*.f64 (pow.f64 x 1/4) (sqrt.f64 y))
  (*.f64 y (pow.f64 x 1/4))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
  (fabs.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (fabs.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  1/4
  1/2
  1/4
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) x)))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) x)))
  (log.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x)))
  (*.f64 E.f64 (exp.f64 (-.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) x)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x))) (cbrt.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x))))
  (cbrt.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x)))
  (pow.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x)) 3)
  (sqrt.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) (-.f64 1 x)))
  (+.f64 (pow.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) 3) (pow.f64 (-.f64 1 x) 3))
  (+.f64 (*.f64 x (*.f64 y y)) (*.f64 (-.f64 1 x) (-.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))))
  (-.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (*.f64 x (*.f64 y y)))
  (-.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (-.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))) x)
  (-.f64 x (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (*.f64 x (+.f64 (*.f64 x (pow.f64 NAN.f64 3)) (+.f64 NAN.f64 (*.f64 (*.f64 x x) (pow.f64 NAN.f64 5))))))
  (*.f64 y (+.f64 NAN.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))))
  (-.f64 (+.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 NAN.f64)) (*.f64 3/8 (*.f64 (/.f64 (*.f64 y (pow.f64 x 1/4)) (*.f64 x x)) (sqrt.f64 (pow.f64 NAN.f64 9))))) (*.f64 1/2 (*.f64 (/.f64 (*.f64 y (pow.f64 x 1/4)) x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 y (pow.f64 x 1/4))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (sqrt.f64 NAN.f64) (*.f64 3/8 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 9)) (*.f64 x x)))) (*.f64 1/2 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 5)) x)))
  (+.f64 (-.f64 1 x) (*.f64 x (*.f64 y NAN.f64)))
  (-.f64 (*.f64 y (+.f64 NAN.f64 (/.f64 (pow.f64 NAN.f64 3) x))) x)
  (-.f64 (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 NAN.f64)) (+.f64 x (*.f64 1/2 (*.f64 (/.f64 (*.f64 y (pow.f64 x 1/4)) x) (sqrt.f64 (pow.f64 NAN.f64 5))))))
0.555 * * * [progress]: adding candidates to table
0.630 * * [progress]: iteration 4 / 4
0.630 * * * [progress]: picking best candidate
0.638 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))>
0.638 * * * [progress]: localizing error
0.648 * * * [progress]: generating rewritten candidates
0.648 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.667 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.678 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.684 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.690 * * * [progress]: generating series expansions
0.690 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.690 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.690 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.690 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of y in x
0.691 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.691 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.691 * [taylor]: Taking taylor expansion of x in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.691 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.691 * [taylor]: Taking taylor expansion of x in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of 0 in x
0.691 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of 0 in x
0.691 * [taylor]: Taking taylor expansion of 0 in x
0.692 * [taylor]: Taking taylor expansion of 0 in x
0.693 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.693 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.693 * [taylor]: Taking taylor expansion of y in x
0.693 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.693 * [taylor]: Taking taylor expansion of x in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.693 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.693 * [taylor]: Taking taylor expansion of x in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of 0 in x
0.694 * [taylor]: Taking taylor expansion of 0 in x
0.694 * [taylor]: Taking taylor expansion of 0 in x
0.695 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
0.695 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
0.695 * [taylor]: Taking taylor expansion of -1 in x
0.695 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.695 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.695 * [taylor]: Taking taylor expansion of -1 in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of y in x
0.696 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.696 * [taylor]: Taking taylor expansion of -1 in y
0.696 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.696 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.696 * [taylor]: Taking taylor expansion of -1 in y
0.696 * [taylor]: Taking taylor expansion of x in y
0.696 * [taylor]: Taking taylor expansion of y in y
0.696 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.696 * [taylor]: Taking taylor expansion of -1 in y
0.696 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.696 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.696 * [taylor]: Taking taylor expansion of -1 in y
0.696 * [taylor]: Taking taylor expansion of x in y
0.696 * [taylor]: Taking taylor expansion of y in y
0.696 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.696 * [taylor]: Taking taylor expansion of -1 in x
0.696 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.696 * [taylor]: Taking taylor expansion of -1 in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of 0 in x
0.697 * [taylor]: Taking taylor expansion of 0 in x
0.698 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.698 * [approximate]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in (y x) around 0
0.698 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in x
0.698 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in x
0.698 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in x
0.699 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in x
0.699 * [taylor]: Taking taylor expansion of 1/8 in x
0.699 * [taylor]: Taking taylor expansion of (log (pow x 3)) in x
0.699 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.699 * [taylor]: Taking taylor expansion of y in x
0.699 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in y
0.699 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in y
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in y
0.699 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in y
0.699 * [taylor]: Taking taylor expansion of 1/8 in y
0.699 * [taylor]: Taking taylor expansion of (log (pow x 3)) in y
0.699 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.699 * [taylor]: Taking taylor expansion of x in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in y
0.699 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in y
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in y
0.699 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in y
0.699 * [taylor]: Taking taylor expansion of 1/8 in y
0.699 * [taylor]: Taking taylor expansion of (log (pow x 3)) in y
0.699 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.699 * [taylor]: Taking taylor expansion of x in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.700 * [taylor]: Taking taylor expansion of 0 in x
0.700 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in x
0.700 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in x
0.700 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in x
0.700 * [taylor]: Taking taylor expansion of 1/8 in x
0.700 * [taylor]: Taking taylor expansion of (log (pow x 3)) in x
0.700 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.701 * [taylor]: Taking taylor expansion of 0 in x
0.702 * [taylor]: Taking taylor expansion of 0 in x
0.702 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in (y x) around 0
0.702 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in x
0.703 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in x
0.703 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in x
0.703 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in x
0.703 * [taylor]: Taking taylor expansion of 1/8 in x
0.703 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.703 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.703 * [taylor]: Taking taylor expansion of y in x
0.703 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in y
0.703 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in y
0.703 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in y
0.703 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in y
0.703 * [taylor]: Taking taylor expansion of 1/8 in y
0.703 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.703 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.703 * [taylor]: Taking taylor expansion of x in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.703 * [taylor]: Taking taylor expansion of y in y
0.703 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in y
0.703 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in y
0.703 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in y
0.703 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in y
0.703 * [taylor]: Taking taylor expansion of 1/8 in y
0.703 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.703 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.703 * [taylor]: Taking taylor expansion of x in y
0.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.704 * [taylor]: Taking taylor expansion of y in y
0.704 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in x
0.704 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in x
0.704 * [taylor]: Taking taylor expansion of 1/8 in x
0.704 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.704 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of 0 in x
0.706 * [taylor]: Taking taylor expansion of 0 in x
0.708 * [taylor]: Taking taylor expansion of 0 in x
0.708 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in (y x) around 0
0.708 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.708 * [taylor]: Taking taylor expansion of y in x
0.708 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in x
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in x
0.708 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in x
0.708 * [taylor]: Taking taylor expansion of 1/4 in x
0.708 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in x
0.708 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in x
0.709 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.709 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.709 * [taylor]: Taking taylor expansion of -1 in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in y
0.709 * [taylor]: Taking taylor expansion of -1 in y
0.709 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in y
0.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in y
0.709 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in y
0.709 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in y
0.709 * [taylor]: Taking taylor expansion of 1/4 in y
0.709 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in y
0.709 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in y
0.709 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.709 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.709 * [taylor]: Taking taylor expansion of -1 in y
0.709 * [taylor]: Taking taylor expansion of x in y
0.710 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in y
0.710 * [taylor]: Taking taylor expansion of -1 in y
0.710 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in y
0.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.710 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in y
0.710 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in y
0.710 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in y
0.710 * [taylor]: Taking taylor expansion of 1/4 in y
0.710 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in y
0.710 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in y
0.710 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.710 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.710 * [taylor]: Taking taylor expansion of -1 in y
0.710 * [taylor]: Taking taylor expansion of x in y
0.711 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in x
0.711 * [taylor]: Taking taylor expansion of -1 in x
0.711 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in x
0.711 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in x
0.711 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in x
0.711 * [taylor]: Taking taylor expansion of 1/4 in x
0.711 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in x
0.711 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in x
0.711 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.711 * [taylor]: Taking taylor expansion of -1 in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of 0 in x
0.715 * [taylor]: Taking taylor expansion of 0 in x
0.717 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.717 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
0.718 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
0.718 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.718 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.718 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.718 * [taylor]: Taking taylor expansion of 1/4 in x
0.718 * [taylor]: Taking taylor expansion of (log x) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of y in x
0.718 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.718 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.718 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.718 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.718 * [taylor]: Taking taylor expansion of 1/4 in y
0.718 * [taylor]: Taking taylor expansion of (log x) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.718 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.718 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.718 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.718 * [taylor]: Taking taylor expansion of 1/4 in y
0.718 * [taylor]: Taking taylor expansion of (log x) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of 0 in x
0.719 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.719 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.719 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.719 * [taylor]: Taking taylor expansion of 1/4 in x
0.719 * [taylor]: Taking taylor expansion of (log x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of 0 in x
0.720 * [taylor]: Taking taylor expansion of 0 in x
0.720 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
0.720 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
0.720 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.720 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.720 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.720 * [taylor]: Taking taylor expansion of 1/4 in x
0.720 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.720 * [taylor]: Taking taylor expansion of y in x
0.720 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.720 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.720 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.721 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.721 * [taylor]: Taking taylor expansion of 1/4 in y
0.721 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.721 * [taylor]: Taking taylor expansion of x in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.721 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.721 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.721 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.721 * [taylor]: Taking taylor expansion of 1/4 in y
0.721 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.721 * [taylor]: Taking taylor expansion of x in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.721 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.721 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.721 * [taylor]: Taking taylor expansion of 1/4 in x
0.721 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of 0 in x
0.723 * [taylor]: Taking taylor expansion of 0 in x
0.724 * [taylor]: Taking taylor expansion of 0 in x
0.724 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
0.724 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.724 * [taylor]: Taking taylor expansion of -1 in x
0.724 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.724 * [taylor]: Taking taylor expansion of y in x
0.724 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.724 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.724 * [taylor]: Taking taylor expansion of -1 in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.724 * [taylor]: Taking taylor expansion of -1 in y
0.724 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.724 * [taylor]: Taking taylor expansion of y in y
0.724 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.725 * [taylor]: Taking taylor expansion of -1 in y
0.725 * [taylor]: Taking taylor expansion of x in y
0.725 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.725 * [taylor]: Taking taylor expansion of -1 in y
0.725 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.725 * [taylor]: Taking taylor expansion of y in y
0.725 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
0.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.725 * [taylor]: Taking taylor expansion of -1 in y
0.725 * [taylor]: Taking taylor expansion of x in y
0.725 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.726 * [taylor]: Taking taylor expansion of 0 in x
0.726 * [taylor]: Taking taylor expansion of 0 in x
0.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
0.728 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.728 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.728 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.728 * [taylor]: Taking taylor expansion of 1/4 in x
0.728 * [taylor]: Taking taylor expansion of (log x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.728 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.728 * [taylor]: Taking taylor expansion of 1/4 in x
0.728 * [taylor]: Taking taylor expansion of (log x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.731 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.731 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.731 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.731 * [taylor]: Taking taylor expansion of 1/4 in x
0.731 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.732 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.732 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.732 * [taylor]: Taking taylor expansion of 1/4 in x
0.732 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.735 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.735 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.735 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.736 * [taylor]: Taking taylor expansion of -1 in x
0.736 * [taylor]: Taking taylor expansion of x in x
0.736 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.736 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.736 * [taylor]: Taking taylor expansion of -1 in x
0.736 * [taylor]: Taking taylor expansion of x in x
0.737 * * * [progress]: simplifying candidates
0.739 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (+.f64 (+.f64 (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (+.f64 (log.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (log.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (exp.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (cbrt.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 1))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 1)))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 1))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) 1)
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (+.f64 (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (log.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (log.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (exp.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))) (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 1))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 1)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 1))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 1)
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 1)))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 1))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 1))
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 1)
  (sqrt.f64 (sqrt.f64 x))
  (/.f64 1/2 2)
  (/.f64 1 2)
  (/.f64 (/.f64 1 2) 2)
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (+.f64 (*.f64 (pow.f64 x 2) (*.f64 (pow.f64 NAN.f64 3) y)) (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) y))))
  (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x) (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 NAN.f64 y) (/.f64 (*.f64 (pow.f64 NAN.f64 5) y) (pow.f64 x 2))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) x))
  (*.f64 (pow.f64 (pow.f64 x 3) 1/8) y)
  (*.f64 (pow.f64 (pow.f64 x 3) 1/8) y)
  (-.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 NAN.f64 3) 1/4) y) (*.f64 21/32 (*.f64 (/.f64 y (pow.f64 x 2)) (pow.f64 (pow.f64 NAN.f64 19) 1/4)))) (*.f64 3/4 (*.f64 (/.f64 y x) (pow.f64 (pow.f64 NAN.f64 11) 1/4))))
  (*.f64 (pow.f64 x 1/4) y)
  (*.f64 (pow.f64 x 1/4) y)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 y (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (*.f64 (sqrt.f64 NAN.f64) y)) (*.f64 1/2 (*.f64 (/.f64 y x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 1 (pow.f64 x 2)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (sqrt.f64 NAN.f64)) (*.f64 1/2 (*.f64 (/.f64 1 x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
0.767 * * [simplify]: iteration  0 :  5058  enodes  (cost  904 )
0.772 * [simplify]: Simplified to:
   (*.f64 y (sqrt.f64 x))
  (*.f64 y (sqrt.f64 x))
  (*.f64 y (sqrt.f64 x))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 x)))
  (exp.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
  (cbrt.f64 (*.f64 y (sqrt.f64 x)))
  (pow.f64 (*.f64 y (sqrt.f64 x)) 3)
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (sqrt.f64 (*.f64 y (sqrt.f64 x)))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (fabs.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (fabs.f64 (cbrt.f64 (sqrt.f64 x))))))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 x))))))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3) (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (sqrt.f64 (sqrt.f64 x))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (log.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (log.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (log.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (pow.f64 (exp.f64 y) (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))
  (*.f64 (pow.f64 y 3) (*.f64 x (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (pow.f64 y 3) (*.f64 x (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (cbrt.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))) (cbrt.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3))))
  (cbrt.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (*.f64 (pow.f64 y 3) (*.f64 x (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (sqrt.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (sqrt.f64 (*.f64 y (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (fabs.f64 (cbrt.f64 (sqrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 x)))))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) 3)
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (log.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (exp.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))) (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x)))))
  (cbrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (pow.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) 3)
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (sqrt.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
  (*.f64 y (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))))
  (*.f64 y (fabs.f64 (cbrt.f64 (sqrt.f64 x))))
  (*.f64 y (sqrt.f64 (fabs.f64 (cbrt.f64 x))))
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 y (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))
  y
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (cbrt.f64 y))
  (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 y))
  (*.f64 y (sqrt.f64 (sqrt.f64 x)))
  (log.f64 (sqrt.f64 (sqrt.f64 x)))
  (exp.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 (sqrt.f64 x))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
  (fabs.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (fabs.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (cbrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  1
  (sqrt.f64 (sqrt.f64 x))
  1/4
  1/2
  1/4
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))
  (*.f64 y (+.f64 (*.f64 x (+.f64 (*.f64 x (pow.f64 NAN.f64 3)) NAN.f64)) (*.f64 (pow.f64 x 3) (pow.f64 NAN.f64 5))))
  (*.f64 y (+.f64 NAN.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))))
  (*.f64 y (+.f64 NAN.f64 (-.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)) (/.f64 (pow.f64 NAN.f64 3) x))))
  (*.f64 y (pow.f64 (pow.f64 x 3) 1/8))
  (*.f64 y (pow.f64 (pow.f64 x 3) 1/8))
  (-.f64 (+.f64 (*.f64 y (pow.f64 (pow.f64 NAN.f64 3) 1/4)) (*.f64 21/32 (*.f64 (/.f64 y (*.f64 x x)) (pow.f64 (pow.f64 NAN.f64 19) 1/4)))) (*.f64 3/4 (*.f64 (/.f64 y x) (pow.f64 (pow.f64 NAN.f64 11) 1/4))))
  (*.f64 y (pow.f64 x 1/4))
  (*.f64 y (pow.f64 x 1/4))
  (-.f64 (+.f64 (*.f64 3/8 (*.f64 (/.f64 y (*.f64 x x)) (sqrt.f64 (pow.f64 NAN.f64 9)))) (*.f64 y (sqrt.f64 NAN.f64))) (*.f64 1/2 (*.f64 (/.f64 y x) (sqrt.f64 (pow.f64 NAN.f64 5)))))
  (pow.f64 x 1/4)
  (pow.f64 (/.f64 1 x) -1/4)
  (-.f64 (+.f64 (sqrt.f64 NAN.f64) (*.f64 3/8 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 9)) (*.f64 x x)))) (*.f64 1/2 (/.f64 (sqrt.f64 (pow.f64 NAN.f64 5)) x)))
0.772 * * * [progress]: adding candidates to table
0.842 * [progress]: [Phase 3 of 3] Extracting.
0.842 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 x)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 x))))))>)
0.843 * * * [regime-changes]: Trying 3 branch expressions: ((+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))) y x)
0.843 * * * * [regimes]: Trying to branch on (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))) from (#<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 x)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 x))))))>)
0.885 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 x)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 x))))))>)
0.924 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 y (pow.f64 x 1/4)) (sqrt.f64 (sqrt.f64 x)))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 x))))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 (-.f64 1 x) (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 x))) (fabs.f64 (cbrt.f64 (sqrt.f64 x)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 x))))))>)
0.965 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
0.965 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
0.966 * * [simplify]: iteration  0 :  19  enodes  (cost  8 )
0.966 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
0.967 * [simplify]: Simplified to:
   (+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
1.810 * [regime-testing]: End program error score: 0.09110703618988515