4.581 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- 1.0 x) (* y (sqrt x)))
0.027 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.029 * * [simplify]: iteration  1 :  23  enodes  (cost  4 )
0.030 * * [simplify]: iteration  2 :  40  enodes  (cost  4 )
0.032 * * [simplify]: iteration  3 :  59  enodes  (cost  4 )
0.033 * * [simplify]: iteration  4 :  74  enodes  (cost  4 )
0.035 * * [simplify]: iteration  5 :  103  enodes  (cost  4 )
0.036 * * [simplify]: iteration  6 :  120  enodes  (cost  4 )
0.038 * * [simplify]: iteration  7 :  145  enodes  (cost  4 )
0.040 * * [simplify]: iteration  8 :  226  enodes  (cost  4 )
0.042 * * [simplify]: iteration  9 :  257  enodes  (cost  4 )
0.044 * * [simplify]: iteration  10 :  257  enodes  (cost  4 )
0.044 * [simplify]: Simplified to:
   (+ (- 1.0 x) (* y (sqrt x)))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))>
0.046 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.064 * * * [progress]: generating series expansions
0.064 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.064 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.064 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.064 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of y in x
0.066 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.066 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.066 * [taylor]: Taking taylor expansion of x in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.066 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.066 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [taylor]: Taking taylor expansion of 0 in x
0.067 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 0 in x
0.070 * [taylor]: Taking taylor expansion of 0 in x
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.077 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.077 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.077 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.078 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.079 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.079 * [taylor]: Taking taylor expansion of x in y
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of 0 in x
0.083 * [taylor]: Taking taylor expansion of 0 in x
0.087 * [taylor]: Taking taylor expansion of 0 in x
0.090 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
0.090 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
0.090 * [taylor]: Taking taylor expansion of -1 in x
0.090 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.090 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.090 * [taylor]: Taking taylor expansion of -1 in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.092 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.092 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.092 * [taylor]: Taking taylor expansion of -1 in x
0.092 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.092 * [taylor]: Taking taylor expansion of -1 in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.101 * [taylor]: Taking taylor expansion of 0 in x
0.107 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.107 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in (x y) around 0
0.107 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in y
0.107 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in y
0.107 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.107 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 1.0 in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x
0.107 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x
0.107 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.107 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of 1.0 in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x
0.112 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x
0.112 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.112 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of y in x
0.113 * [taylor]: Taking taylor expansion of 1.0 in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of 1.0 in y
0.115 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) 1)) in y
0.115 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) 1) in y
0.115 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
0.115 * [taylor]: Taking taylor expansion of +nan.0 in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of 1 in y
0.119 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y
0.119 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
0.119 * [taylor]: Taking taylor expansion of +nan.0 in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.122 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in (x y) around 0
0.122 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in y
0.122 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in y
0.122 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of 1.0 in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x
0.123 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of 1.0 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x
0.124 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.126 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.126 * [taylor]: Taking taylor expansion of y in x
0.126 * [taylor]: Taking taylor expansion of 1.0 in x
0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.126 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of -1 in y
0.128 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
0.128 * [taylor]: Taking taylor expansion of 1.0 in y
0.128 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.128 * [taylor]: Taking taylor expansion of +nan.0 in y
0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.134 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
0.134 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.134 * [taylor]: Taking taylor expansion of +nan.0 in y
0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.134 * [taylor]: Taking taylor expansion of y in y
0.136 * [approximate]: Taking taylor expansion of (- (+ 1.0 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in (x y) around 0
0.136 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in y
0.136 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
0.136 * [taylor]: Taking taylor expansion of 1.0 in y
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.136 * [taylor]: Taking taylor expansion of x in y
0.136 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.136 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.136 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.136 * [taylor]: Taking taylor expansion of -1 in y
0.136 * [taylor]: Taking taylor expansion of x in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in x
0.137 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.137 * [taylor]: Taking taylor expansion of 1.0 in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.137 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.137 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.137 * [taylor]: Taking taylor expansion of -1 in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x)) (/ (sqrt (/ -1 x)) y)) in x
0.139 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of 1.0 in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.139 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.139 * [taylor]: Taking taylor expansion of -1 in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of y in x
0.141 * [taylor]: Taking taylor expansion of 1 in y
0.142 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
0.142 * [taylor]: Taking taylor expansion of 1.0 in y
0.142 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.142 * [taylor]: Taking taylor expansion of +nan.0 in y
0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.142 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
0.147 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.147 * [taylor]: Taking taylor expansion of +nan.0 in y
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.149 * * * [progress]: simplifying candidates
0.149 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (sqrt x))
  (+ (log y) (log (sqrt x)))
  (log (* y (sqrt x)))
  (exp (* y (sqrt x)))
  (* (* (* y y) y) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
  (cbrt (* y (sqrt x)))
  (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* y (sqrt (* (cbrt x) (cbrt x))))
  (* y (sqrt (sqrt x)))
  (* y (sqrt 1))
  (* y (sqrt (sqrt x)))
  (* y 1)
  (* (cbrt y) (sqrt x))
  (* (sqrt y) (sqrt x))
  (* y (sqrt x))
  (* (/ (exp 1.0) (exp x)) (exp (* y (sqrt x))))
  (* (exp (- 1.0 x)) (exp (* y (sqrt x))))
  (log (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))))
  (cbrt (+ (- 1.0 x) (* y (sqrt x))))
  (* (* (+ (- 1.0 x) (* y (sqrt x))) (+ (- 1.0 x) (* y (sqrt x)))) (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (+ (pow (- 1.0 x) 3) (pow (* y (sqrt x)) 3))
  (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y (sqrt x)) (* y (sqrt x))) (* (- 1.0 x) (* y (sqrt x)))))
  (- (* (- 1.0 x) (- 1.0 x)) (* (* y (sqrt x)) (* y (sqrt x))))
  (- (- 1.0 x) (* y (sqrt x)))
  (+ (- x) (* y (sqrt x)))
  (+ (- x) (* y (sqrt x)))
  (- x (* y (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- 1.0 (+ x (- (* +nan.0 (* x y)))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
0.153 * * [simplify]: iteration  0 :  240  enodes  (cost  231 )
0.159 * * [simplify]: iteration  1 :  957  enodes  (cost  202 )
0.183 * * [simplify]: iteration  2 :  4716  enodes  (cost  192 )
0.292 * * [simplify]: iteration  3 :  5001  enodes  (cost  192 )
0.293 * [simplify]: Simplified to:
   (* y (sqrt x))
  (log (* y (sqrt x)))
  (log (* y (sqrt x)))
  (exp (* y (sqrt x)))
  (pow (* y (sqrt x)) 3)
  (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
  (cbrt (* y (sqrt x)))
  (pow (* y (sqrt x)) 3)
  (sqrt (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (fabs (cbrt x)) y)
  (* y (sqrt (sqrt x)))
  y
  (* y (sqrt (sqrt x)))
  y
  (* (cbrt y) (sqrt x))
  (* (sqrt y) (sqrt x))
  (* y (sqrt x))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (log (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))))
  (cbrt (+ (- 1.0 x) (* y (sqrt x))))
  (pow (+ (- 1.0 x) (* y (sqrt x))) 3)
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (+ (pow (- 1.0 x) 3) (pow (* y (sqrt x)) 3))
  (+ (* (- 1.0 x) (- (- 1.0 x) (* y (sqrt x)))) (* (* y y) x))
  (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y y) x)))
  (- (- 1.0 x) (* y (sqrt x)))
  (- (* y (sqrt x)) x)
  (- (* y (sqrt x)) x)
  (- x (* y (sqrt x)))
  (- (* (* +nan.0 y) (- x (pow x 3))) (* +nan.0 (* (pow x 2) y)))
  (* +nan.0 (+ (- (/ y (pow x 2))) (- (/ y x) y)))
  (* +nan.0 (+ (- (/ y (pow x 2))) (- (/ y x) y)))
  (+ (- 1.0 x) (* +nan.0 (* x y)))
  (- (* +nan.0 (- (/ y x) y)) x)
  (- (* +nan.0 (- (/ y x) y)) x)
0.293 * * * [progress]: adding candidates to table
0.367 * * [progress]: iteration 2 / 4
0.367 * * * [progress]: picking best candidate
0.380 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))>
0.380 * * * [progress]: localizing error
0.388 * * * [progress]: generating rewritten candidates
0.388 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.403 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.409 * * * [progress]: generating series expansions
0.409 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.409 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
0.409 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.409 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of y in x
0.411 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.411 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.411 * [taylor]: Taking taylor expansion of x in y
0.411 * [taylor]: Taking taylor expansion of y in y
0.411 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.411 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.411 * [taylor]: Taking taylor expansion of x in y
0.411 * [taylor]: Taking taylor expansion of y in y
0.411 * [taylor]: Taking taylor expansion of 0 in x
0.411 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of 0 in x
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.417 * [taylor]: Taking taylor expansion of 0 in x
0.419 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
0.420 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.420 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.421 * [taylor]: Taking taylor expansion of y in x
0.421 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.421 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.421 * [taylor]: Taking taylor expansion of x in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.421 * [taylor]: Taking taylor expansion of y in y
0.421 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.421 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.421 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.422 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of 0 in x
0.425 * [taylor]: Taking taylor expansion of 0 in x
0.429 * [taylor]: Taking taylor expansion of 0 in x
0.432 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
0.432 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
0.432 * [taylor]: Taking taylor expansion of -1 in x
0.432 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
0.432 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.432 * [taylor]: Taking taylor expansion of -1 in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.433 * [taylor]: Taking taylor expansion of y in x
0.433 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.433 * [taylor]: Taking taylor expansion of -1 in y
0.433 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.433 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.433 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.433 * [taylor]: Taking taylor expansion of -1 in y
0.433 * [taylor]: Taking taylor expansion of x in y
0.434 * [taylor]: Taking taylor expansion of y in y
0.434 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
0.434 * [taylor]: Taking taylor expansion of -1 in y
0.434 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
0.434 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.434 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.434 * [taylor]: Taking taylor expansion of -1 in y
0.434 * [taylor]: Taking taylor expansion of x in y
0.434 * [taylor]: Taking taylor expansion of y in y
0.434 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.434 * [taylor]: Taking taylor expansion of -1 in x
0.434 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.434 * [taylor]: Taking taylor expansion of -1 in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of 0 in x
0.443 * [taylor]: Taking taylor expansion of 0 in x
0.448 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.448 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
0.448 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
0.448 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.448 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.448 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.448 * [taylor]: Taking taylor expansion of 1/4 in x
0.448 * [taylor]: Taking taylor expansion of (log x) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of y in x
0.452 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.452 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.452 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.452 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.452 * [taylor]: Taking taylor expansion of 1/4 in y
0.452 * [taylor]: Taking taylor expansion of (log x) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.452 * [taylor]: Taking taylor expansion of y in y
0.452 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
0.452 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
0.452 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
0.452 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
0.452 * [taylor]: Taking taylor expansion of 1/4 in y
0.452 * [taylor]: Taking taylor expansion of (log x) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.452 * [taylor]: Taking taylor expansion of y in y
0.452 * [taylor]: Taking taylor expansion of 0 in x
0.454 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.454 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.454 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.454 * [taylor]: Taking taylor expansion of 1/4 in x
0.454 * [taylor]: Taking taylor expansion of (log x) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of 0 in x
0.463 * [taylor]: Taking taylor expansion of 0 in x
0.463 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
0.463 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
0.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.463 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.463 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.463 * [taylor]: Taking taylor expansion of 1/4 in x
0.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.463 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.464 * [taylor]: Taking taylor expansion of y in x
0.464 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.464 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.464 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.464 * [taylor]: Taking taylor expansion of 1/4 in y
0.464 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
0.464 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
0.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
0.464 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
0.465 * [taylor]: Taking taylor expansion of 1/4 in y
0.465 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
0.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.465 * [taylor]: Taking taylor expansion of x in y
0.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.465 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.465 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.465 * [taylor]: Taking taylor expansion of 1/4 in x
0.465 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.465 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of 0 in x
0.474 * [taylor]: Taking taylor expansion of 0 in x
0.481 * [taylor]: Taking taylor expansion of 0 in x
0.482 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
0.482 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
0.482 * [taylor]: Taking taylor expansion of -1 in x
0.482 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.482 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.482 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.482 * [taylor]: Taking taylor expansion of -1 in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.486 * [taylor]: Taking taylor expansion of -1 in y
0.486 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
0.486 * [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 (sqrt (sqrt (/ -1 x))) 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 -1 in y
0.487 * [taylor]: Taking taylor expansion of x in y
0.487 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
0.487 * [taylor]: Taking taylor expansion of -1 in y
0.487 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 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 (sqrt (sqrt (/ -1 x))) 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 -1 in y
0.487 * [taylor]: Taking taylor expansion of x in y
0.488 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
0.488 * [taylor]: Taking taylor expansion of -1 in x
0.488 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.488 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.488 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.488 * [taylor]: Taking taylor expansion of -1 in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of 0 in x
0.500 * [taylor]: Taking taylor expansion of 0 in x
0.524 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.524 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.524 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.524 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.524 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.524 * [taylor]: Taking taylor expansion of 1/4 in x
0.524 * [taylor]: Taking taylor expansion of (log x) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.525 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.525 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.525 * [taylor]: Taking taylor expansion of 1/4 in x
0.525 * [taylor]: Taking taylor expansion of (log x) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.574 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.574 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.574 * [taylor]: Taking taylor expansion of 1/4 in x
0.574 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.575 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.575 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.575 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.575 * [taylor]: Taking taylor expansion of 1/4 in x
0.575 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.627 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.628 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.628 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.628 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.628 * [taylor]: Taking taylor expansion of -1 in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.632 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.632 * [taylor]: Taking taylor expansion of -1 in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.652 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
0.652 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.652 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.652 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.652 * [taylor]: Taking taylor expansion of 1/4 in x
0.652 * [taylor]: Taking taylor expansion of (log x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.653 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
0.653 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
0.653 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
0.653 * [taylor]: Taking taylor expansion of 1/4 in x
0.653 * [taylor]: Taking taylor expansion of (log x) in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.704 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.704 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.704 * [taylor]: Taking taylor expansion of 1/4 in x
0.704 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
0.705 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
0.705 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
0.705 * [taylor]: Taking taylor expansion of 1/4 in x
0.705 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.757 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
0.757 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.757 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
0.762 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.762 * [taylor]: Taking taylor expansion of -1 in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.782 * * * [progress]: simplifying candidates
0.783 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
  (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (exp (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))
  (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (sqrt 1))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) 1)
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* y (sqrt (sqrt x)))
  (+ (log y) (log (sqrt (sqrt x))))
  (log (* y (sqrt (sqrt x))))
  (exp (* y (sqrt (sqrt x))))
  (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x)))))
  (cbrt (* y (sqrt (sqrt x))))
  (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))))
  (sqrt (* y (sqrt (sqrt x))))
  (sqrt (* y (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* y (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* y (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt 1)))
  (* y (sqrt (sqrt (sqrt x))))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (sqrt x))))
  (* y 1)
  (* (cbrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
0.788 * * [simplify]: iteration  0 :  336  enodes  (cost  516 )
0.794 * * [simplify]: iteration  1 :  1481  enodes  (cost  454 )
0.821 * * [simplify]: iteration  2 :  5001  enodes  (cost  427 )
0.824 * [simplify]: Simplified to:
   (* y (sqrt x))
  (* y (sqrt x))
  (+ (log y) (log (sqrt x)))
  (+ (log y) (log (sqrt x)))
  (+ (log y) (log (sqrt x)))
  (pow (exp y) (sqrt x))
  (pow (* y (sqrt x)) 3)
  (pow (* y (sqrt x)) 3)
  (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))
  (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (pow (* y (sqrt x)) 3)
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* y (* (sqrt (sqrt x)) (fabs (cbrt (sqrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt x)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt x)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt x)))
  (sqrt x)
  (* y (sqrt (sqrt x)))
  (log (* y (sqrt (sqrt x))))
  (log (* y (sqrt (sqrt x))))
  (exp (* y (sqrt (sqrt x))))
  (pow (* y (sqrt (sqrt x))) 3)
  (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x)))))
  (cbrt (* y (sqrt (sqrt x))))
  (pow (* y (sqrt (sqrt x))) 3)
  (sqrt (* y (sqrt (sqrt x))))
  (sqrt (* y (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (fabs (cbrt (sqrt x))) y)
  (* y (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* y (sqrt (sqrt (sqrt x))))
  y
  (* y (sqrt (sqrt (sqrt x))))
  y
  (* y (sqrt (sqrt (sqrt x))))
  y
  (* (cbrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (* +nan.0 (+ (- (* (pow x 2) y)) (- (* x y) (* (pow x 3) y))))
  (* +nan.0 (+ (- (/ y (pow x 2))) (- (/ y x) y)))
  (* +nan.0 (+ (- (/ y (pow x 2))) (- (/ y x) y)))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (- (* (sqrt +nan.0) y) (- (* +nan.0 (/ y (* (sqrt +nan.0) x))) (* (/ y (pow x 2)) (- (/ +nan.0 (sqrt +nan.0)) (/ +nan.0 (pow (sqrt +nan.0) 3))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (* (/ +nan.0 (pow x 2)) (- (/ 1 (pow (sqrt +nan.0) 3)) (/ 1 (sqrt +nan.0))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (* (/ +nan.0 (pow x 2)) (- (/ 1 (pow (sqrt +nan.0) 3)) (/ 1 (sqrt +nan.0))))))
0.824 * * * [progress]: adding candidates to table
1.012 * * [progress]: iteration 3 / 4
1.012 * * * [progress]: picking best candidate
1.023 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))))>
1.024 * * * [progress]: localizing error
1.034 * * * [progress]: generating rewritten candidates
1.034 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.048 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.072 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.088 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.098 * * * [progress]: generating series expansions
1.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.098 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
1.098 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.098 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.098 * [taylor]: Taking taylor expansion of 1/4 in x
1.098 * [taylor]: Taking taylor expansion of (log x) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.099 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.099 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.099 * [taylor]: Taking taylor expansion of 1/4 in x
1.099 * [taylor]: Taking taylor expansion of (log x) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.156 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
1.156 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.156 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.156 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.156 * [taylor]: Taking taylor expansion of 1/4 in x
1.156 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.158 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.158 * [taylor]: Taking taylor expansion of 1/4 in x
1.158 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.213 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
1.213 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.213 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.213 * [taylor]: Taking taylor expansion of -1 in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.218 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.218 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.218 * [taylor]: Taking taylor expansion of -1 in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.245 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.245 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
1.245 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
1.245 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.246 * [taylor]: Taking taylor expansion of y in x
1.247 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
1.247 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.247 * [taylor]: Taking taylor expansion of x in y
1.247 * [taylor]: Taking taylor expansion of y in y
1.247 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
1.247 * [taylor]: Taking taylor expansion of (sqrt x) in y
1.247 * [taylor]: Taking taylor expansion of x in y
1.247 * [taylor]: Taking taylor expansion of y in y
1.247 * [taylor]: Taking taylor expansion of 0 in x
1.247 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.247 * [taylor]: Taking taylor expansion of x in x
1.249 * [taylor]: Taking taylor expansion of 0 in x
1.250 * [taylor]: Taking taylor expansion of 0 in x
1.253 * [taylor]: Taking taylor expansion of 0 in x
1.256 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
1.256 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
1.256 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.256 * [taylor]: Taking taylor expansion of x in x
1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.257 * [taylor]: Taking taylor expansion of y in x
1.257 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
1.257 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.257 * [taylor]: Taking taylor expansion of x in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.258 * [taylor]: Taking taylor expansion of y in y
1.258 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
1.258 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.258 * [taylor]: Taking taylor expansion of x in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.258 * [taylor]: Taking taylor expansion of y in y
1.258 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.260 * [taylor]: Taking taylor expansion of 0 in x
1.262 * [taylor]: Taking taylor expansion of 0 in x
1.266 * [taylor]: Taking taylor expansion of 0 in x
1.269 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
1.269 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
1.269 * [taylor]: Taking taylor expansion of -1 in x
1.269 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
1.269 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.269 * [taylor]: Taking taylor expansion of -1 in x
1.269 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of y in x
1.270 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
1.270 * [taylor]: Taking taylor expansion of -1 in y
1.270 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
1.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of y in y
1.271 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
1.271 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of y in y
1.271 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
1.271 * [taylor]: Taking taylor expansion of -1 in x
1.271 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.271 * [taylor]: Taking taylor expansion of -1 in x
1.271 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of 0 in x
1.280 * [taylor]: Taking taylor expansion of 0 in x
1.285 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.286 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
1.286 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
1.286 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.286 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.286 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.286 * [taylor]: Taking taylor expansion of 1/4 in x
1.286 * [taylor]: Taking taylor expansion of (log x) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
1.286 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
1.286 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
1.286 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
1.286 * [taylor]: Taking taylor expansion of 1/4 in y
1.286 * [taylor]: Taking taylor expansion of (log x) in y
1.286 * [taylor]: Taking taylor expansion of x in y
1.286 * [taylor]: Taking taylor expansion of y in y
1.286 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
1.286 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
1.287 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
1.287 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
1.287 * [taylor]: Taking taylor expansion of 1/4 in y
1.287 * [taylor]: Taking taylor expansion of (log x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.287 * [taylor]: Taking taylor expansion of y in y
1.287 * [taylor]: Taking taylor expansion of 0 in x
1.288 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.288 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.289 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.289 * [taylor]: Taking taylor expansion of 1/4 in x
1.289 * [taylor]: Taking taylor expansion of (log x) in x
1.289 * [taylor]: Taking taylor expansion of x in x
1.292 * [taylor]: Taking taylor expansion of 0 in x
1.297 * [taylor]: Taking taylor expansion of 0 in x
1.298 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
1.298 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
1.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.298 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.298 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.298 * [taylor]: Taking taylor expansion of 1/4 in x
1.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.298 * [taylor]: Taking taylor expansion of x in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.299 * [taylor]: Taking taylor expansion of y in x
1.299 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
1.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
1.299 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
1.299 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
1.299 * [taylor]: Taking taylor expansion of 1/4 in y
1.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.299 * [taylor]: Taking taylor expansion of x in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.299 * [taylor]: Taking taylor expansion of y in y
1.299 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
1.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
1.299 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
1.299 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
1.299 * [taylor]: Taking taylor expansion of 1/4 in y
1.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.299 * [taylor]: Taking taylor expansion of x in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.299 * [taylor]: Taking taylor expansion of y in y
1.300 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.300 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.300 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.300 * [taylor]: Taking taylor expansion of 1/4 in x
1.300 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.300 * [taylor]: Taking taylor expansion of x in x
1.303 * [taylor]: Taking taylor expansion of 0 in x
1.313 * [taylor]: Taking taylor expansion of 0 in x
1.321 * [taylor]: Taking taylor expansion of 0 in x
1.321 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
1.321 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
1.321 * [taylor]: Taking taylor expansion of -1 in x
1.321 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
1.322 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.322 * [taylor]: Taking taylor expansion of y in x
1.322 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.322 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.322 * [taylor]: Taking taylor expansion of -1 in x
1.322 * [taylor]: Taking taylor expansion of x in x
1.326 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
1.326 * [taylor]: Taking taylor expansion of -1 in y
1.326 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
1.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.326 * [taylor]: Taking taylor expansion of y in y
1.327 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
1.327 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.327 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.327 * [taylor]: Taking taylor expansion of -1 in y
1.327 * [taylor]: Taking taylor expansion of x in y
1.327 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
1.327 * [taylor]: Taking taylor expansion of -1 in y
1.327 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
1.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.327 * [taylor]: Taking taylor expansion of y in y
1.327 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
1.327 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
1.327 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.327 * [taylor]: Taking taylor expansion of -1 in y
1.327 * [taylor]: Taking taylor expansion of x in y
1.328 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
1.328 * [taylor]: Taking taylor expansion of -1 in x
1.328 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.328 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.328 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.328 * [taylor]: Taking taylor expansion of -1 in x
1.328 * [taylor]: Taking taylor expansion of x in x
1.335 * [taylor]: Taking taylor expansion of 0 in x
1.340 * [taylor]: Taking taylor expansion of 0 in x
1.365 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.366 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
1.366 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.366 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.366 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.366 * [taylor]: Taking taylor expansion of 1/4 in x
1.366 * [taylor]: Taking taylor expansion of (log x) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.366 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.366 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.366 * [taylor]: Taking taylor expansion of 1/4 in x
1.366 * [taylor]: Taking taylor expansion of (log x) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.419 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
1.419 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.419 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.419 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.419 * [taylor]: Taking taylor expansion of 1/4 in x
1.419 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.420 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.420 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.420 * [taylor]: Taking taylor expansion of 1/4 in x
1.420 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.420 * [taylor]: Taking taylor expansion of x in x
1.477 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
1.477 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.477 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.477 * [taylor]: Taking taylor expansion of -1 in x
1.477 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
1.482 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.482 * [taylor]: Taking taylor expansion of -1 in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.501 * * * [progress]: simplifying candidates
1.504 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1/2 2) 2) (/ (/ 1/2 2) 2))
  (+ (/ (/ 1/2 2) 2) (/ (/ (/ 1 2) 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ (/ 1 2) 2) 2) (/ (/ 1/2 2) 2))
  (+ (/ (/ (/ 1 2) 2) 2) (/ (/ (/ 1 2) 2) 2))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt x) (sqrt x))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* x x)
  (* (sqrt x) (sqrt x))
  (* x x)
  (+ 1 1)
  (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))
  (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (exp (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))
  (* (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (sqrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (sqrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))))
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* 1 1)
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1/2 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ (/ 1 2) 2) 2))
  (* (sqrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt 1))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) 1)
  (* (cbrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (log (sqrt (sqrt x))))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (log (sqrt (sqrt x))))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (log (sqrt (sqrt x))))
  (log (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (exp (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (* (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))) (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))))
  (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (* (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt (sqrt x))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt 1)))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt (sqrt x))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt 1))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt (sqrt x))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) 1)
  (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))))
  (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (exp (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))))
  (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt (sqrt x))))
  (* (cbrt y) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (sqrt y) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
1.511 * * [simplify]: iteration  0 :  471  enodes  (cost  1077 )
1.521 * * [simplify]: iteration  1 :  2257  enodes  (cost  820 )
1.570 * * [simplify]: iteration  2 :  5001  enodes  (cost  808 )
1.574 * [simplify]: Simplified to:
   1
  1
  2
  1/2
  1/2
  1
  1
  1/4
  1/4
  1/2
  1/2
  1/4
  1/4
  (sqrt x)
  (sqrt (sqrt x))
  x
  (sqrt x)
  (pow x 2)
  x
  (pow x 2)
  2
  (log (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (sqrt x)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow (cbrt (sqrt (sqrt (sqrt x)))) 4)
  (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  2
  1/2
  1
  1/4
  1/2
  1/4
  (* (sqrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (fabs (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (cbrt (sqrt (sqrt (sqrt x)))) 4)
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x))))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (* (sqrt x) y)
  (* (sqrt x) y)
  (* (sqrt x) y)
  (+ (log y) (log (sqrt x)))
  (+ (log y) (log (sqrt x)))
  (+ (log y) (log (sqrt x)))
  (+ (log y) (log (sqrt x)))
  (pow (exp y) (sqrt x))
  (pow (* (sqrt x) y) 3)
  (pow (* (sqrt x) y) 3)
  (pow (* (sqrt x) y) 3)
  (* (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))) (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x)))))
  (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (pow (* (sqrt x) y) 3)
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))
  (* y (* (sqrt (sqrt x)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))))
  (* y (* (sqrt (sqrt x)) (fabs (cbrt (sqrt x)))))
  (* y (* (sqrt (sqrt x)) (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (* (pow (sqrt (sqrt (sqrt x))) 3) y)
  (* (sqrt (sqrt x)) y)
  (* (pow (sqrt (sqrt (sqrt x))) 3) y)
  (* (sqrt (sqrt x)) y)
  (* (pow (sqrt (sqrt (sqrt x))) 3) y)
  (* (sqrt (sqrt x)) y)
  (sqrt x)
  (* (sqrt (sqrt x)) y)
  (* (sqrt (sqrt x)) y)
  (log (* (sqrt (sqrt x)) y))
  (log (* (sqrt (sqrt x)) y))
  (log (* (sqrt (sqrt x)) y))
  (pow (exp (sqrt (sqrt x))) y)
  (pow (* (sqrt (sqrt x)) y) 3)
  (pow (* (sqrt (sqrt x)) y) 3)
  (* (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))))
  (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (pow (* (sqrt (sqrt x)) y) 3)
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt x)) (cbrt y))
  (* (sqrt (sqrt x)) (sqrt y))
  (* (sqrt (sqrt x)) y)
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ 1 (* (sqrt +nan.0) (pow x 2))))))
  (+ (* +nan.0 (- (* x y) (* (pow x 3) y))) (- (* +nan.0 (* (pow x 2) y))))
  (+ (* +nan.0 (- (/ y x) y)) (- (* +nan.0 (/ y (pow x 2)))))
  (+ (* +nan.0 (- (/ y x) y)) (- (* +nan.0 (/ y (pow x 2)))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow x 2))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ 1 (* (sqrt +nan.0) (pow x 2))))))
1.575 * * * [progress]: adding candidates to table
1.845 * * [progress]: iteration 4 / 4
1.845 * * * [progress]: picking best candidate
1.860 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))>
1.860 * * * [progress]: localizing error
1.877 * * * [progress]: generating rewritten candidates
1.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.890 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.932 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1.943 * * * [progress]: generating series expansions
1.943 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.943 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
1.943 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.943 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.943 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.943 * [taylor]: Taking taylor expansion of 1/4 in x
1.943 * [taylor]: Taking taylor expansion of (log x) in x
1.943 * [taylor]: Taking taylor expansion of x in x
1.944 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
1.944 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
1.944 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
1.944 * [taylor]: Taking taylor expansion of 1/4 in x
1.944 * [taylor]: Taking taylor expansion of (log x) in x
1.944 * [taylor]: Taking taylor expansion of x in x
1.990 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
1.990 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.990 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.990 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.990 * [taylor]: Taking taylor expansion of 1/4 in x
1.990 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
1.991 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
1.991 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
1.991 * [taylor]: Taking taylor expansion of 1/4 in x
1.991 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.991 * [taylor]: Taking taylor expansion of x in x
2.046 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
2.047 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.047 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.047 * [taylor]: Taking taylor expansion of -1 in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.051 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.051 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.051 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.051 * [taylor]: Taking taylor expansion of -1 in x
2.051 * [taylor]: Taking taylor expansion of x in x
2.071 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.071 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
2.071 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
2.071 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.071 * [taylor]: Taking taylor expansion of x in x
2.072 * [taylor]: Taking taylor expansion of y in x
2.072 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
2.072 * [taylor]: Taking taylor expansion of (sqrt x) in y
2.073 * [taylor]: Taking taylor expansion of x in y
2.073 * [taylor]: Taking taylor expansion of y in y
2.073 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
2.073 * [taylor]: Taking taylor expansion of (sqrt x) in y
2.073 * [taylor]: Taking taylor expansion of x in y
2.078 * [taylor]: Taking taylor expansion of y in y
2.078 * [taylor]: Taking taylor expansion of 0 in x
2.078 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.078 * [taylor]: Taking taylor expansion of x in x
2.080 * [taylor]: Taking taylor expansion of 0 in x
2.081 * [taylor]: Taking taylor expansion of 0 in x
2.084 * [taylor]: Taking taylor expansion of 0 in x
2.087 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
2.087 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
2.087 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.087 * [taylor]: Taking taylor expansion of x in x
2.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.088 * [taylor]: Taking taylor expansion of y in x
2.088 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
2.088 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
2.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.088 * [taylor]: Taking taylor expansion of x in y
2.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.088 * [taylor]: Taking taylor expansion of y in y
2.088 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
2.089 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
2.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.089 * [taylor]: Taking taylor expansion of x in y
2.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.089 * [taylor]: Taking taylor expansion of y in y
2.089 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.089 * [taylor]: Taking taylor expansion of x in x
2.091 * [taylor]: Taking taylor expansion of 0 in x
2.092 * [taylor]: Taking taylor expansion of 0 in x
2.096 * [taylor]: Taking taylor expansion of 0 in x
2.099 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0
2.099 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x
2.099 * [taylor]: Taking taylor expansion of -1 in x
2.099 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
2.099 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x
2.099 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x
2.099 * [taylor]: Taking taylor expansion of 1/4 in x
2.099 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x
2.099 * [taylor]: Taking taylor expansion of (* -1 x) in x
2.099 * [taylor]: Taking taylor expansion of -1 in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.102 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
2.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.102 * [taylor]: Taking taylor expansion of y in x
2.102 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.102 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.102 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.102 * [taylor]: Taking taylor expansion of -1 in x
2.102 * [taylor]: Taking taylor expansion of x in x
2.106 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y
2.106 * [taylor]: Taking taylor expansion of -1 in y
2.106 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
2.106 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y
2.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y
2.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y
2.106 * [taylor]: Taking taylor expansion of 1/4 in y
2.106 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y
2.106 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y
2.106 * [taylor]: Taking taylor expansion of (* -1 x) in y
2.106 * [taylor]: Taking taylor expansion of -1 in y
2.106 * [taylor]: Taking taylor expansion of x in y
2.107 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
2.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.107 * [taylor]: Taking taylor expansion of y in y
2.107 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
2.107 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
2.107 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.107 * [taylor]: Taking taylor expansion of -1 in y
2.107 * [taylor]: Taking taylor expansion of x in y
2.107 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y
2.107 * [taylor]: Taking taylor expansion of -1 in y
2.107 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
2.107 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y
2.107 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y
2.107 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y
2.107 * [taylor]: Taking taylor expansion of 1/4 in y
2.107 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y
2.107 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y
2.107 * [taylor]: Taking taylor expansion of (* -1 x) in y
2.107 * [taylor]: Taking taylor expansion of -1 in y
2.107 * [taylor]: Taking taylor expansion of x in y
2.108 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
2.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.108 * [taylor]: Taking taylor expansion of y in y
2.108 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
2.108 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
2.108 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.108 * [taylor]: Taking taylor expansion of -1 in y
2.108 * [taylor]: Taking taylor expansion of x in y
2.108 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x
2.108 * [taylor]: Taking taylor expansion of -1 in x
2.108 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x
2.108 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x
2.108 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x
2.109 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x
2.109 * [taylor]: Taking taylor expansion of 1/4 in x
2.109 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
2.109 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.109 * [taylor]: Taking taylor expansion of -1 in x
2.109 * [taylor]: Taking taylor expansion of x in x
2.110 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.110 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.110 * [taylor]: Taking taylor expansion of -1 in x
2.110 * [taylor]: Taking taylor expansion of x in x
2.119 * [taylor]: Taking taylor expansion of 0 in x
2.131 * [taylor]: Taking taylor expansion of 0 in x
2.153 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.153 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
2.153 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
2.153 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.153 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.153 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.153 * [taylor]: Taking taylor expansion of 1/4 in x
2.153 * [taylor]: Taking taylor expansion of (log x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.154 * [taylor]: Taking taylor expansion of y in x
2.154 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
2.154 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
2.154 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
2.154 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
2.154 * [taylor]: Taking taylor expansion of 1/4 in y
2.154 * [taylor]: Taking taylor expansion of (log x) in y
2.154 * [taylor]: Taking taylor expansion of x in y
2.154 * [taylor]: Taking taylor expansion of y in y
2.154 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
2.154 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
2.154 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
2.154 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
2.154 * [taylor]: Taking taylor expansion of 1/4 in y
2.154 * [taylor]: Taking taylor expansion of (log x) in y
2.154 * [taylor]: Taking taylor expansion of x in y
2.154 * [taylor]: Taking taylor expansion of y in y
2.154 * [taylor]: Taking taylor expansion of 0 in x
2.156 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.156 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.156 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.156 * [taylor]: Taking taylor expansion of 1/4 in x
2.156 * [taylor]: Taking taylor expansion of (log x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.164 * [taylor]: Taking taylor expansion of 0 in x
2.169 * [taylor]: Taking taylor expansion of 0 in x
2.169 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
2.169 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
2.169 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.169 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.170 * [taylor]: Taking taylor expansion of 1/4 in x
2.170 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.170 * [taylor]: Taking taylor expansion of x in x
2.170 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.170 * [taylor]: Taking taylor expansion of y in x
2.170 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
2.170 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
2.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
2.170 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
2.171 * [taylor]: Taking taylor expansion of 1/4 in y
2.171 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
2.171 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.171 * [taylor]: Taking taylor expansion of x in y
2.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.171 * [taylor]: Taking taylor expansion of y in y
2.171 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
2.171 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
2.171 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
2.171 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
2.171 * [taylor]: Taking taylor expansion of 1/4 in y
2.171 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
2.171 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.171 * [taylor]: Taking taylor expansion of x in y
2.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.171 * [taylor]: Taking taylor expansion of y in y
2.172 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.172 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.172 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.172 * [taylor]: Taking taylor expansion of 1/4 in x
2.172 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.172 * [taylor]: Taking taylor expansion of x in x
2.175 * [taylor]: Taking taylor expansion of 0 in x
2.180 * [taylor]: Taking taylor expansion of 0 in x
2.188 * [taylor]: Taking taylor expansion of 0 in x
2.188 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
2.188 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
2.188 * [taylor]: Taking taylor expansion of -1 in x
2.188 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.188 * [taylor]: Taking taylor expansion of y in x
2.188 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.188 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.188 * [taylor]: Taking taylor expansion of -1 in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.193 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
2.193 * [taylor]: Taking taylor expansion of -1 in y
2.193 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
2.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.193 * [taylor]: Taking taylor expansion of y in y
2.193 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
2.193 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
2.193 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.193 * [taylor]: Taking taylor expansion of -1 in y
2.193 * [taylor]: Taking taylor expansion of x in y
2.194 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
2.194 * [taylor]: Taking taylor expansion of -1 in y
2.194 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
2.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.194 * [taylor]: Taking taylor expansion of y in y
2.194 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
2.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
2.194 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.194 * [taylor]: Taking taylor expansion of -1 in y
2.194 * [taylor]: Taking taylor expansion of x in y
2.194 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
2.194 * [taylor]: Taking taylor expansion of -1 in x
2.194 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.194 * [taylor]: Taking taylor expansion of -1 in x
2.194 * [taylor]: Taking taylor expansion of x in x
2.201 * [taylor]: Taking taylor expansion of 0 in x
2.206 * [taylor]: Taking taylor expansion of 0 in x
2.230 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
2.230 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
2.230 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.230 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.230 * [taylor]: Taking taylor expansion of 1/4 in x
2.230 * [taylor]: Taking taylor expansion of (log x) in x
2.230 * [taylor]: Taking taylor expansion of x in x
2.231 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.231 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.231 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.231 * [taylor]: Taking taylor expansion of 1/4 in x
2.231 * [taylor]: Taking taylor expansion of (log x) in x
2.231 * [taylor]: Taking taylor expansion of x in x
2.282 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
2.282 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.282 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.282 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.282 * [taylor]: Taking taylor expansion of 1/4 in x
2.282 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.283 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.283 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.283 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.283 * [taylor]: Taking taylor expansion of 1/4 in x
2.283 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.283 * [taylor]: Taking taylor expansion of x in x
2.337 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
2.337 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.337 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.337 * [taylor]: Taking taylor expansion of -1 in x
2.337 * [taylor]: Taking taylor expansion of x in x
2.342 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.342 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.342 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.342 * [taylor]: Taking taylor expansion of -1 in x
2.342 * [taylor]: Taking taylor expansion of x in x
2.361 * * * [progress]: simplifying candidates
2.364 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1/2 2) 2) (/ (/ 1/2 2) 2))
  (+ (/ (/ 1/2 2) 2) (/ (/ (/ 1 2) 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ (/ 1 2) 2) 2) (/ (/ 1/2 2) 2))
  (+ (/ (/ (/ 1 2) 2) 2) (/ (/ (/ 1 2) 2) 2))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt x) (sqrt x))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* x x)
  (* (sqrt x) (sqrt x))
  (* x x)
  (+ 1 1)
  (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))
  (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (exp (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))
  (* (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (cbrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (sqrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (sqrt (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))))
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* 1 1)
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1/2 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ (/ 1 2) 2) 2))
  (* (sqrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) (sqrt 1))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt (sqrt x))) 1)
  (* (cbrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (* (- (log x)) -1/4))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (* (- 0 (log x)) -1/4))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (* (- (log 1) (log x)) -1/4))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))))) (log (pow (/ 1 x) -1/4)))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- (log x)) -1/4))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- 0 (log x)) -1/4))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- (log 1) (log x)) -1/4))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (log (pow (/ 1 x) -1/4)))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- (log x)) -1/4))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- 0 (log x)) -1/4))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (- (log 1) (log x)) -1/4))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (log (/ 1 x)) -1/4))
  (+ (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (log (pow (/ 1 x) -1/4)))
  (log (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (exp (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (* (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4)))
  (* (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4)))
  (* (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4)))
  (* (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))
  (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (* (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (sqrt (/ 1 x)) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (sqrt 1) (sqrt x)) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ (sqrt 1) 1) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 (sqrt x)) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 1) -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow 1 -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow 1 -1/4))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (pow (/ 1 x) -1/4)))
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) 1)
  (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) (/ -1/4 2)))
  (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (pow (/ 1 x) -1/4))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (+ (log y) (+ (log (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))))
  (+ (log y) (log (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (log (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (exp (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y y) y) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))))
  (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt (sqrt x))))
  (* (cbrt y) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* (sqrt y) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2)))))))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
2.373 * * [simplify]: iteration  0 :  711  enodes  (cost  1337 )
2.387 * * [simplify]: iteration  1 :  3447  enodes  (cost  1076 )
2.453 * * [simplify]: iteration  2 :  5003  enodes  (cost  1057 )
2.458 * [simplify]: Simplified to:
   1
  1
  2
  1/2
  1/2
  1
  1
  1/4
  1/4
  1/2
  1/2
  1/4
  1/4
  (sqrt x)
  (sqrt (sqrt x))
  x
  (sqrt x)
  (pow x 2)
  x
  (pow x 2)
  2
  (log (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (sqrt x)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow (cbrt (sqrt (sqrt (sqrt x)))) 4)
  (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  2
  1/2
  1
  1/4
  1/2
  1/4
  (* (sqrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))
  (* (fabs (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt (sqrt x)))
  (pow (cbrt (sqrt (sqrt (sqrt x)))) 4)
  (* (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x))))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (pow (sqrt (sqrt (sqrt (sqrt x)))) 3)
  (sqrt (sqrt x))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (+ (log y) (log (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))))
  (pow (exp y) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))))
  (pow (* (pow (/ 1 x) -1/4) (* (sqrt (sqrt x)) y)) 3)
  (pow (* (pow (/ 1 x) -1/4) (* (sqrt (sqrt x)) y)) 3)
  (pow (* (pow (/ 1 x) -1/4) (* (sqrt (sqrt x)) y)) 3)
  (* (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))
  (cbrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (pow (* (pow (/ 1 x) -1/4) (* (sqrt (sqrt x)) y)) 3)
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (sqrt (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (sqrt (/ 1 x)) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (sqrt x)) -1/4)))
  (* (sqrt (sqrt x)) y)
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (sqrt x)) -1/4)))
  (* (sqrt (sqrt x)) y)
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)))
  (* y (* (sqrt (sqrt x)) (pow (/ 1 (sqrt x)) -1/4)))
  (* (sqrt (sqrt x)) y)
  (* (sqrt (sqrt x)) y)
  (* (sqrt (sqrt x)) y)
  (* y (* (sqrt (sqrt x)) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))))
  (* y (* (sqrt (sqrt x)) (sqrt (pow (/ 1 x) -1/4))))
  (* (sqrt (sqrt x)) y)
  (* y (* (sqrt (sqrt x)) (pow (/ 1 x) -1/8)))
  (* (pow (/ 1 x) -1/4) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) y)
  (* (sqrt (sqrt x)) y)
  (log (* (sqrt (sqrt x)) y))
  (log (* (sqrt (sqrt x)) y))
  (log (* (sqrt (sqrt x)) y))
  (pow (exp (sqrt (sqrt x))) y)
  (pow (* (sqrt (sqrt x)) y) 3)
  (pow (* (sqrt (sqrt x)) y) 3)
  (* (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))))
  (cbrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (pow (* (sqrt (sqrt x)) y) 3)
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (sqrt (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt x)) (cbrt y))
  (* (sqrt (sqrt x)) (sqrt y))
  (* (sqrt (sqrt x)) y)
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ 1 (* (sqrt +nan.0) (pow x 2))))))
  (+ (* +nan.0 (- (* x y) (* (pow x 3) y))) (- (* +nan.0 (* (pow x 2) y))))
  (+ (* +nan.0 (- (/ y x) y)) (- (* +nan.0 (/ y (pow x 2)))))
  (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x)) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2))))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow x 2))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ 1 (* (sqrt +nan.0) (pow x 2))))))
2.459 * * * [progress]: adding candidates to table
2.830 * [progress]: [Phase 3 of 3] Extracting.
2.830 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (- 1.0 x) (* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x)))))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt x)) (sqrt (pow (/ 1 x) -1/4)))) (sqrt (pow (/ 1 x) -1/4)))))> #<alt (λ (x y) (/ (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y y) x))) (- (- 1.0 x) (* y (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (pow (cbrt (sqrt (sqrt (sqrt x)))) 4))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))>)
2.832 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x)
2.832 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (#<alt (λ (x y) (+ (- 1.0 x) (* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x)))))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt x)) (sqrt (pow (/ 1 x) -1/4)))) (sqrt (pow (/ 1 x) -1/4)))))> #<alt (λ (x y) (/ (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y y) x))) (- (- 1.0 x) (* y (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (pow (cbrt (sqrt (sqrt (sqrt x)))) 4))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))>)
2.868 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (- 1.0 x) (* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x)))))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt x)) (sqrt (pow (/ 1 x) -1/4)))) (sqrt (pow (/ 1 x) -1/4)))))> #<alt (λ (x y) (/ (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y y) x))) (- (- 1.0 x) (* y (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (pow (cbrt (sqrt (sqrt (sqrt x)))) 4))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))>)
2.899 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (- 1.0 x) (* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x)))))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt x)) (sqrt (pow (/ 1 x) -1/4)))) (sqrt (pow (/ 1 x) -1/4)))))> #<alt (λ (x y) (/ (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y y) x))) (- (- 1.0 x) (* y (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (pow (cbrt (sqrt (sqrt (sqrt x)))) 4))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))> #<alt (λ (x y) (+ (- 1.0 x) (* (* y (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (pow (/ 1 x) -1/4))))>)
2.928 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.928 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- 1.0 x) (* y (sqrt x)))
2.929 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
2.929 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
2.929 * [simplify]: Simplified to:
   (+ (- 1.0 x) (* y (sqrt x)))
3.883 * [regime-testing]: Baseline error score: 0.08658394330550334
3.883 * [regime-testing]: Oracle error score: 0.01487685960745093
3.884 * [regime-testing]: End program error score: 0.08658394330550334