7.237 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.011 * * * [progress]: [2/2] Setting up program.
0.012 * [progress]: [Phase 2 of 3] Improving.
0.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x 27.0) y)
0.015 * * [simplify]: iteration  0 :  9  enodes  (cost  2 )
0.017 * * [simplify]: iteration  1 :  16  enodes  (cost  2 )
0.019 * * [simplify]: iteration  2 :  18  enodes  (cost  2 )
0.020 * * [simplify]: iteration  3 :  18  enodes  (cost  2 )
0.020 * [simplify]: Simplified to:
   (* (* x 27.0) y)
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.022 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x 27.0) y))>
0.022 * * * [progress]: localizing error
0.025 * * * [progress]: generating rewritten candidates
0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.036 * * * [progress]: generating series expansions
0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.036 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.036 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.036 * [taylor]: Taking taylor expansion of 27.0 in y
0.036 * [taylor]: Taking taylor expansion of (* x y) in y
0.036 * [taylor]: Taking taylor expansion of x in y
0.036 * [taylor]: Taking taylor expansion of y in y
0.036 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.036 * [taylor]: Taking taylor expansion of 27.0 in x
0.036 * [taylor]: Taking taylor expansion of (* x y) in x
0.036 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.037 * [taylor]: Taking taylor expansion of 27.0 in x
0.037 * [taylor]: Taking taylor expansion of (* x y) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.038 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.038 * [taylor]: Taking taylor expansion of 27.0 in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [taylor]: Taking taylor expansion of 0 in y
0.045 * [taylor]: Taking taylor expansion of 0 in y
0.045 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.045 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.045 * [taylor]: Taking taylor expansion of 27.0 in y
0.045 * [taylor]: Taking taylor expansion of (* x y) in y
0.045 * [taylor]: Taking taylor expansion of x in y
0.045 * [taylor]: Taking taylor expansion of y in y
0.045 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.045 * [taylor]: Taking taylor expansion of 27.0 in x
0.045 * [taylor]: Taking taylor expansion of (* x y) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.046 * [taylor]: Taking taylor expansion of 27.0 in x
0.046 * [taylor]: Taking taylor expansion of (* x y) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.046 * [taylor]: Taking taylor expansion of 27.0 in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of 0 in y
0.048 * [taylor]: Taking taylor expansion of 0 in y
0.050 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.051 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.051 * [taylor]: Taking taylor expansion of 27.0 in y
0.051 * [taylor]: Taking taylor expansion of (* x y) in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.051 * [taylor]: Taking taylor expansion of 27.0 in x
0.051 * [taylor]: Taking taylor expansion of (* x y) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.051 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.052 * [taylor]: Taking taylor expansion of 27.0 in x
0.052 * [taylor]: Taking taylor expansion of (* x y) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.052 * [taylor]: Taking taylor expansion of 27.0 in y
0.052 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of 0 in y
0.054 * [taylor]: Taking taylor expansion of 0 in y
0.056 * [taylor]: Taking taylor expansion of 0 in y
0.057 * * * [progress]: simplifying candidates
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x 27.0) y)
  (* (* x 27.0) y)
  (+ (+ (log x) (log 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (log (* (* x 27.0) y))
  (exp (* (* x 27.0) y))
  (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y))
  (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y))
  (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y)))
  (cbrt (* (* x 27.0) y))
  (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y))
  (sqrt (* (* x 27.0) y))
  (sqrt (* (* x 27.0) y))
  (* (sqrt (* x 27.0)) (sqrt y))
  (* (sqrt (* x 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* x 27.0) (* (cbrt y) (cbrt y)))
  (* (* x 27.0) (sqrt y))
  (* (* x 27.0) 1)
  (* 27.0 y)
  (* (cbrt (* x 27.0)) y)
  (* (sqrt (* x 27.0)) y)
  (* (* x 27.0) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (cbrt 27.0) y)
  (* (sqrt 27.0) y)
  (* 27.0 y)
  (* (* (cbrt x) 27.0) y)
  (* (* (sqrt x) 27.0) y)
  (* (* x 27.0) y)
  (* x y)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.061 * * [simplify]: iteration  0 :  136  enodes  (cost  116 )
0.065 * * [simplify]: iteration  1 :  560  enodes  (cost  101 )
0.079 * * [simplify]: iteration  2 :  2573  enodes  (cost  101 )
0.123 * * [simplify]: iteration  3 :  5001  enodes  (cost  101 )
0.124 * [simplify]: Simplified to:
   (* 27.0 (* x y))
  (* 27.0 (* x y))
  (log (* (* x 27.0) y))
  (log (* (* x 27.0) y))
  (log (* (* x 27.0) y))
  (exp (* (* x 27.0) y))
  (pow (* 27.0 (* x y)) 3)
  (pow (* 27.0 (* x y)) 3)
  (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y)))
  (cbrt (* (* x 27.0) y))
  (pow (* 27.0 (* x y)) 3)
  (sqrt (* (* x 27.0) y))
  (sqrt (* (* x 27.0) y))
  (* (sqrt (* x 27.0)) (sqrt y))
  (* (sqrt (* x 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* x 27.0) (* (cbrt y) (cbrt y)))
  (* (* x 27.0) (sqrt y))
  (* x 27.0)
  (* 27.0 y)
  (* (cbrt (* x 27.0)) y)
  (* (sqrt (* x 27.0)) y)
  (* 27.0 (* x y))
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (cbrt 27.0) y)
  (* (sqrt 27.0) y)
  (* 27.0 y)
  (* (* (cbrt x) 27.0) y)
  (* (* (sqrt x) 27.0) y)
  (* 27.0 (* x y))
  (* x y)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.125 * * * [progress]: adding candidates to table
0.177 * * [progress]: iteration 2 / 4
0.177 * * * [progress]: picking best candidate
0.184 * * * * [pick]: Picked  #<alt (λ (x y) (* 1 (* 27.0 (* x y))))>
0.184 * * * [progress]: localizing error
0.188 * * * [progress]: generating rewritten candidates
0.188 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.197 * * * [progress]: generating series expansions
0.197 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.197 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.197 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.197 * [taylor]: Taking taylor expansion of 27.0 in y
0.198 * [taylor]: Taking taylor expansion of (* x y) in y
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.198 * [taylor]: Taking taylor expansion of 27.0 in x
0.198 * [taylor]: Taking taylor expansion of (* x y) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.198 * [taylor]: Taking taylor expansion of 27.0 in x
0.198 * [taylor]: Taking taylor expansion of (* x y) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of 0 in y
0.199 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.199 * [taylor]: Taking taylor expansion of 27.0 in y
0.199 * [taylor]: Taking taylor expansion of y in y
0.200 * [taylor]: Taking taylor expansion of 0 in y
0.203 * [taylor]: Taking taylor expansion of 0 in y
0.205 * [taylor]: Taking taylor expansion of 0 in y
0.205 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.205 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.205 * [taylor]: Taking taylor expansion of 27.0 in y
0.205 * [taylor]: Taking taylor expansion of (* x y) in y
0.205 * [taylor]: Taking taylor expansion of x in y
0.205 * [taylor]: Taking taylor expansion of y in y
0.206 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.206 * [taylor]: Taking taylor expansion of 27.0 in x
0.206 * [taylor]: Taking taylor expansion of (* x y) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.206 * [taylor]: Taking taylor expansion of 27.0 in x
0.206 * [taylor]: Taking taylor expansion of (* x y) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of y in x
0.207 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.207 * [taylor]: Taking taylor expansion of 27.0 in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.209 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in y
0.211 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.211 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.211 * [taylor]: Taking taylor expansion of 27.0 in y
0.211 * [taylor]: Taking taylor expansion of (* x y) in y
0.211 * [taylor]: Taking taylor expansion of x in y
0.211 * [taylor]: Taking taylor expansion of y in y
0.212 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.212 * [taylor]: Taking taylor expansion of 27.0 in x
0.212 * [taylor]: Taking taylor expansion of (* x y) in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of y in x
0.212 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.212 * [taylor]: Taking taylor expansion of 27.0 in x
0.212 * [taylor]: Taking taylor expansion of (* x y) in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of y in x
0.212 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.212 * [taylor]: Taking taylor expansion of 27.0 in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.217 * * * [progress]: simplifying candidates
0.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 27.0 (* x y))
  (* 27.0 (* x y))
  (+ (log 27.0) (+ (log x) (log y)))
  (+ (log 27.0) (log (* x y)))
  (log (* 27.0 (* x y)))
  (exp (* 27.0 (* x y)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y))))
  (cbrt (* 27.0 (* x y)))
  (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y)))
  (sqrt (* 27.0 (* x y)))
  (sqrt (* 27.0 (* x y)))
  (* (sqrt 27.0) (sqrt (* x y)))
  (* (sqrt 27.0) (sqrt (* x y)))
  (* (sqrt 27.0) (* (sqrt x) (sqrt y)))
  (* (sqrt 27.0) (* (sqrt x) (sqrt y)))
  (* 27.0 x)
  (* 27.0 (* (cbrt (* x y)) (cbrt (* x y))))
  (* 27.0 (sqrt (* x y)))
  (* 27.0 1)
  (* 27.0 (* (sqrt x) (sqrt y)))
  (* 27.0 (* x (* (cbrt y) (cbrt y))))
  (* 27.0 (* x (sqrt y)))
  (* 27.0 (* x 1))
  (* 27.0 (* (cbrt x) (cbrt x)))
  (* 27.0 (sqrt x))
  (* 27.0 1)
  (* 27.0 y)
  (* (cbrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.221 * * [simplify]: iteration  0 :  142  enodes  (cost  118 )
0.225 * * [simplify]: iteration  1 :  684  enodes  (cost  103 )
0.240 * * [simplify]: iteration  2 :  2332  enodes  (cost  103 )
0.282 * * [simplify]: iteration  3 :  5001  enodes  (cost  103 )
0.283 * [simplify]: Simplified to:
   (* 27.0 (* x y))
  (* 27.0 (* x y))
  (log (* 27.0 (* x y)))
  (log (* 27.0 (* x y)))
  (log (* 27.0 (* x y)))
  (exp (* 27.0 (* x y)))
  (pow (* 27.0 (* x y)) 3)
  (pow (* 27.0 (* x y)) 3)
  (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y))))
  (cbrt (* 27.0 (* x y)))
  (pow (* 27.0 (* x y)) 3)
  (sqrt (* 27.0 (* x y)))
  (sqrt (* 27.0 (* x y)))
  (* (sqrt 27.0) (sqrt (* x y)))
  (* (sqrt 27.0) (sqrt (* x y)))
  (* (sqrt 27.0) (* (sqrt x) (sqrt y)))
  (* (sqrt 27.0) (* (sqrt x) (sqrt y)))
  (* x 27.0)
  (* 27.0 (* (cbrt (* x y)) (cbrt (* x y))))
  (* 27.0 (sqrt (* x y)))
  27.0
  (* 27.0 (* (sqrt x) (sqrt y)))
  (* 27.0 (* x (* (cbrt y) (cbrt y))))
  (* 27.0 (* x (sqrt y)))
  (* x 27.0)
  (* 27.0 (* (cbrt x) (cbrt x)))
  (* 27.0 (sqrt x))
  27.0
  (* 27.0 y)
  (* (cbrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.283 * * * [progress]: adding candidates to table
0.331 * * [progress]: iteration 3 / 4
0.332 * * * [progress]: picking best candidate
0.336 * * * * [pick]: Picked  #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>
0.336 * * * [progress]: localizing error
0.341 * * * [progress]: generating rewritten candidates
0.341 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.352 * * * [progress]: generating series expansions
0.352 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.352 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (y x) around 0
0.352 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.352 * [taylor]: Taking taylor expansion of 27.0 in x
0.352 * [taylor]: Taking taylor expansion of (* x y) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.352 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.352 * [taylor]: Taking taylor expansion of 27.0 in y
0.352 * [taylor]: Taking taylor expansion of (* x y) in y
0.352 * [taylor]: Taking taylor expansion of x in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.353 * [taylor]: Taking taylor expansion of 27.0 in y
0.353 * [taylor]: Taking taylor expansion of (* x y) in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of 0 in x
0.354 * [taylor]: Taking taylor expansion of (* 27.0 x) in x
0.354 * [taylor]: Taking taylor expansion of 27.0 in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of 0 in x
0.357 * [taylor]: Taking taylor expansion of 0 in x
0.359 * [taylor]: Taking taylor expansion of 0 in x
0.359 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (y x) around 0
0.359 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.359 * [taylor]: Taking taylor expansion of 27.0 in x
0.359 * [taylor]: Taking taylor expansion of (* x y) in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of y in x
0.360 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.360 * [taylor]: Taking taylor expansion of 27.0 in y
0.360 * [taylor]: Taking taylor expansion of (* x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.360 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.360 * [taylor]: Taking taylor expansion of 27.0 in y
0.360 * [taylor]: Taking taylor expansion of (* x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of (/ 27.0 x) in x
0.361 * [taylor]: Taking taylor expansion of 27.0 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.363 * [taylor]: Taking taylor expansion of 0 in x
0.364 * [taylor]: Taking taylor expansion of 0 in x
0.364 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (y x) around 0
0.365 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.365 * [taylor]: Taking taylor expansion of 27.0 in x
0.365 * [taylor]: Taking taylor expansion of (* x y) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of y in x
0.365 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.365 * [taylor]: Taking taylor expansion of 27.0 in y
0.365 * [taylor]: Taking taylor expansion of (* x y) in y
0.365 * [taylor]: Taking taylor expansion of x in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.365 * [taylor]: Taking taylor expansion of 27.0 in y
0.365 * [taylor]: Taking taylor expansion of (* x y) in y
0.365 * [taylor]: Taking taylor expansion of x in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (/ 27.0 x) in x
0.366 * [taylor]: Taking taylor expansion of 27.0 in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of 0 in x
0.368 * [taylor]: Taking taylor expansion of 0 in x
0.369 * [taylor]: Taking taylor expansion of 0 in x
0.369 * * * [progress]: simplifying candidates
0.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 27.0 y) x)
  (* (* 27.0 y) x)
  (+ (+ (log 27.0) (log y)) (log x))
  (+ (log (* 27.0 y)) (log x))
  (log (* (* 27.0 y) x))
  (exp (* (* 27.0 y) x))
  (* (* (* (* 27.0 27.0) 27.0) (* (* y y) y)) (* (* x x) x))
  (* (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y)) (* (* x x) x))
  (* (cbrt (* (* 27.0 y) x)) (cbrt (* (* 27.0 y) x)))
  (cbrt (* (* 27.0 y) x))
  (* (* (* (* 27.0 y) x) (* (* 27.0 y) x)) (* (* 27.0 y) x))
  (sqrt (* (* 27.0 y) x))
  (sqrt (* (* 27.0 y) x))
  (* (sqrt (* 27.0 y)) (sqrt x))
  (* (sqrt (* 27.0 y)) (sqrt x))
  (* (* (sqrt 27.0) (sqrt y)) (sqrt x))
  (* (* (sqrt 27.0) (sqrt y)) (sqrt x))
  (* (* 27.0 y) (* (cbrt x) (cbrt x)))
  (* (* 27.0 y) (sqrt x))
  (* (* 27.0 y) 1)
  (* y x)
  (* (cbrt (* 27.0 y)) x)
  (* (sqrt (* 27.0 y)) x)
  (* (* 27.0 y) x)
  (* (* (sqrt 27.0) (sqrt y)) x)
  (* (cbrt y) x)
  (* (sqrt y) x)
  (* y x)
  (* (* (cbrt 27.0) y) x)
  (* (* (sqrt 27.0) y) x)
  (* (* 27.0 y) x)
  (* 27.0 x)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.373 * * [simplify]: iteration  0 :  136  enodes  (cost  116 )
0.377 * * [simplify]: iteration  1 :  564  enodes  (cost  101 )
0.390 * * [simplify]: iteration  2 :  2586  enodes  (cost  101 )
0.435 * * [simplify]: iteration  3 :  5001  enodes  (cost  101 )
0.436 * [simplify]: Simplified to:
   (* 27.0 (* x y))
  (* 27.0 (* x y))
  (log (* (* 27.0 y) x))
  (log (* (* 27.0 y) x))
  (log (* (* 27.0 y) x))
  (exp (* (* 27.0 y) x))
  (pow (* 27.0 (* x y)) 3)
  (pow (* 27.0 (* x y)) 3)
  (* (cbrt (* (* 27.0 y) x)) (cbrt (* (* 27.0 y) x)))
  (cbrt (* (* 27.0 y) x))
  (pow (* 27.0 (* x y)) 3)
  (sqrt (* (* 27.0 y) x))
  (sqrt (* (* 27.0 y) x))
  (* (sqrt (* 27.0 y)) (sqrt x))
  (* (sqrt (* 27.0 y)) (sqrt x))
  (* (* (sqrt 27.0) (sqrt y)) (sqrt x))
  (* (* (sqrt 27.0) (sqrt y)) (sqrt x))
  (* (* 27.0 y) (* (cbrt x) (cbrt x)))
  (* (* 27.0 y) (sqrt x))
  (* 27.0 y)
  (* y x)
  (* (cbrt (* 27.0 y)) x)
  (* (sqrt (* 27.0 y)) x)
  (* 27.0 (* x y))
  (* (* (sqrt 27.0) (sqrt y)) x)
  (* (cbrt y) x)
  (* (sqrt y) x)
  (* y x)
  (* (* (cbrt 27.0) y) x)
  (* (* (sqrt 27.0) y) x)
  (* 27.0 (* x y))
  (* 27.0 x)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.436 * * * [progress]: adding candidates to table
0.489 * * [progress]: iteration 4 / 4
0.489 * * * [progress]: picking best candidate
0.493 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))>
0.493 * * * [progress]: localizing error
0.499 * * * [progress]: generating rewritten candidates
0.499 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.505 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.511 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.547 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.569 * * * [progress]: generating series expansions
0.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.570 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in (x) around 0
0.570 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in x
0.570 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.570 * [taylor]: Taking taylor expansion of 27.0 in x
0.571 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in x
0.572 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.572 * [taylor]: Taking taylor expansion of 27.0 in x
0.573 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.591 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in (x) around 0
0.591 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in x
0.591 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.591 * [taylor]: Taking taylor expansion of 27.0 in x
0.591 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in x
0.593 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.593 * [taylor]: Taking taylor expansion of 27.0 in x
0.594 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.617 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in (x) around 0
0.618 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.618 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.618 * [taylor]: Taking taylor expansion of 27.0 in x
0.618 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.618 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.618 * [taylor]: Taking taylor expansion of -1 in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.620 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.620 * [taylor]: Taking taylor expansion of 27.0 in x
0.620 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.620 * [taylor]: Taking taylor expansion of -1 in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.639 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.640 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in (x) around 0
0.640 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in x
0.640 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.640 * [taylor]: Taking taylor expansion of 27.0 in x
0.640 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt x)) in x
0.641 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.641 * [taylor]: Taking taylor expansion of 27.0 in x
0.642 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.642 * [taylor]: Taking taylor expansion of x in x
0.660 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in (x) around 0
0.660 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in x
0.660 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.660 * [taylor]: Taking taylor expansion of 27.0 in x
0.660 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ 1 x))) in x
0.662 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.662 * [taylor]: Taking taylor expansion of 27.0 in x
0.662 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.681 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in (x) around 0
0.681 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.681 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.681 * [taylor]: Taking taylor expansion of 27.0 in x
0.682 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.682 * [taylor]: Taking taylor expansion of -1 in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.683 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.683 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.683 * [taylor]: Taking taylor expansion of 27.0 in x
0.684 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.684 * [taylor]: Taking taylor expansion of -1 in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.707 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.708 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
0.708 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y
0.708 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.708 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.708 * [taylor]: Taking taylor expansion of 27.0 in y
0.709 * [taylor]: Taking taylor expansion of (* x y) in y
0.709 * [taylor]: Taking taylor expansion of x in y
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x
0.709 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.709 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.709 * [taylor]: Taking taylor expansion of 27.0 in x
0.710 * [taylor]: Taking taylor expansion of (* x y) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of y in x
0.710 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x
0.710 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.710 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.710 * [taylor]: Taking taylor expansion of 27.0 in x
0.710 * [taylor]: Taking taylor expansion of (* x y) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of y in x
0.712 * [taylor]: Taking taylor expansion of 0 in y
0.713 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y
0.713 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.713 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.713 * [taylor]: Taking taylor expansion of 27.0 in y
0.714 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of 0 in y
0.724 * [taylor]: Taking taylor expansion of 0 in y
0.730 * [taylor]: Taking taylor expansion of 0 in y
0.731 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
0.731 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
0.731 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.731 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.731 * [taylor]: Taking taylor expansion of 27.0 in y
0.732 * [taylor]: Taking taylor expansion of (* x y) in y
0.732 * [taylor]: Taking taylor expansion of x in y
0.732 * [taylor]: Taking taylor expansion of y in y
0.734 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
0.734 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.734 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.734 * [taylor]: Taking taylor expansion of 27.0 in x
0.734 * [taylor]: Taking taylor expansion of (* x y) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of y in x
0.736 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
0.736 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.736 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.736 * [taylor]: Taking taylor expansion of 27.0 in x
0.737 * [taylor]: Taking taylor expansion of (* x y) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of y in x
0.739 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
0.739 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.739 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.739 * [taylor]: Taking taylor expansion of 27.0 in y
0.739 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of 0 in y
0.747 * [taylor]: Taking taylor expansion of 0 in y
0.752 * [taylor]: Taking taylor expansion of 0 in y
0.756 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y)) in (x y) around 0
0.756 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y)) in y
0.756 * [taylor]: Taking taylor expansion of -1 in y
0.756 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y) in y
0.756 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) in y
0.756 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.756 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.756 * [taylor]: Taking taylor expansion of 27.0 in y
0.756 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y
0.756 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.757 * [taylor]: Taking taylor expansion of -1 in y
0.757 * [taylor]: Taking taylor expansion of x in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.759 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y)) in x
0.759 * [taylor]: Taking taylor expansion of -1 in x
0.759 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y) in x
0.759 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) in x
0.759 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.759 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.759 * [taylor]: Taking taylor expansion of 27.0 in x
0.760 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.760 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.760 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.760 * [taylor]: Taking taylor expansion of -1 in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.761 * [taylor]: Taking taylor expansion of y in x
0.765 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y)) in x
0.765 * [taylor]: Taking taylor expansion of -1 in x
0.765 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) y) in x
0.765 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (pow (sqrt (/ -1 x)) 2)) in x
0.765 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
0.765 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.765 * [taylor]: Taking taylor expansion of 27.0 in x
0.766 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.766 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.766 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.766 * [taylor]: Taking taylor expansion of -1 in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow (sqrt 27.0) 2) y)) in y
0.771 * [taylor]: Taking taylor expansion of +nan.0 in y
0.771 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
0.771 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.771 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.771 * [taylor]: Taking taylor expansion of 27.0 in y
0.772 * [taylor]: Taking taylor expansion of y in y
0.785 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow (sqrt 27.0) 2) y))) in y
0.785 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow (sqrt 27.0) 2) y)) in y
0.785 * [taylor]: Taking taylor expansion of +nan.0 in y
0.785 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
0.785 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.785 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.785 * [taylor]: Taking taylor expansion of 27.0 in y
0.786 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow (sqrt 27.0) 2) y))) in y
0.812 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow (sqrt 27.0) 2) y)) in y
0.812 * [taylor]: Taking taylor expansion of +nan.0 in y
0.812 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
0.812 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
0.812 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.812 * [taylor]: Taking taylor expansion of 27.0 in y
0.813 * [taylor]: Taking taylor expansion of y in y
0.823 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.823 * [approximate]: Taking taylor expansion of (* (* (sqrt 27.0) y) (sqrt x)) in (x y) around 0
0.823 * [taylor]: Taking taylor expansion of (* (* (sqrt 27.0) y) (sqrt x)) in y
0.823 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
0.823 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.823 * [taylor]: Taking taylor expansion of 27.0 in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.824 * [taylor]: Taking taylor expansion of x in y
0.824 * [taylor]: Taking taylor expansion of (* (* (sqrt 27.0) y) (sqrt x)) in x
0.824 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x
0.824 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.824 * [taylor]: Taking taylor expansion of 27.0 in x
0.825 * [taylor]: Taking taylor expansion of y in x
0.825 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.825 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (* (* (sqrt 27.0) y) (sqrt x)) in x
0.826 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x
0.826 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.826 * [taylor]: Taking taylor expansion of 27.0 in x
0.827 * [taylor]: Taking taylor expansion of y in x
0.827 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.827 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of 0 in y
0.829 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (sqrt 27.0) y))) in y
0.829 * [taylor]: Taking taylor expansion of (* +nan.0 (* (sqrt 27.0) y)) in y
0.829 * [taylor]: Taking taylor expansion of +nan.0 in y
0.830 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
0.830 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.830 * [taylor]: Taking taylor expansion of 27.0 in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.835 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (sqrt 27.0) y))) in y
0.835 * [taylor]: Taking taylor expansion of (* +nan.0 (* (sqrt 27.0) y)) in y
0.835 * [taylor]: Taking taylor expansion of +nan.0 in y
0.835 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
0.835 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.835 * [taylor]: Taking taylor expansion of 27.0 in y
0.835 * [taylor]: Taking taylor expansion of y in y
0.846 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (sqrt 27.0) y))) in y
0.846 * [taylor]: Taking taylor expansion of (* +nan.0 (* (sqrt 27.0) y)) in y
0.846 * [taylor]: Taking taylor expansion of +nan.0 in y
0.846 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
0.846 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.846 * [taylor]: Taking taylor expansion of 27.0 in y
0.846 * [taylor]: Taking taylor expansion of y in y
0.859 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (sqrt 27.0) y))) in y
0.860 * [taylor]: Taking taylor expansion of (* +nan.0 (* (sqrt 27.0) y)) in y
0.860 * [taylor]: Taking taylor expansion of +nan.0 in y
0.860 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
0.860 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.860 * [taylor]: Taking taylor expansion of 27.0 in y
0.860 * [taylor]: Taking taylor expansion of y in y
0.869 * [approximate]: Taking taylor expansion of (* (/ (sqrt 27.0) y) (sqrt (/ 1 x))) in (x y) around 0
0.869 * [taylor]: Taking taylor expansion of (* (/ (sqrt 27.0) y) (sqrt (/ 1 x))) in y
0.869 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.869 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.869 * [taylor]: Taking taylor expansion of 27.0 in y
0.870 * [taylor]: Taking taylor expansion of y in y
0.871 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.871 * [taylor]: Taking taylor expansion of x in y
0.871 * [taylor]: Taking taylor expansion of (* (/ (sqrt 27.0) y) (sqrt (/ 1 x))) in x
0.871 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in x
0.871 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.871 * [taylor]: Taking taylor expansion of 27.0 in x
0.872 * [taylor]: Taking taylor expansion of y in x
0.872 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (* (/ (sqrt 27.0) y) (sqrt (/ 1 x))) in x
0.879 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in x
0.879 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.879 * [taylor]: Taking taylor expansion of 27.0 in x
0.880 * [taylor]: Taking taylor expansion of y in x
0.880 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.882 * [taylor]: Taking taylor expansion of 0 in y
0.883 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sqrt 27.0) y))) in y
0.883 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.883 * [taylor]: Taking taylor expansion of +nan.0 in y
0.883 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.883 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.883 * [taylor]: Taking taylor expansion of 27.0 in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.890 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sqrt 27.0) y))) in y
0.890 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.890 * [taylor]: Taking taylor expansion of +nan.0 in y
0.890 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.890 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.890 * [taylor]: Taking taylor expansion of 27.0 in y
0.891 * [taylor]: Taking taylor expansion of y in y
0.900 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sqrt 27.0) y))) in y
0.900 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.900 * [taylor]: Taking taylor expansion of +nan.0 in y
0.900 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.900 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.900 * [taylor]: Taking taylor expansion of 27.0 in y
0.900 * [taylor]: Taking taylor expansion of y in y
0.907 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y)) in (x y) around 0
0.907 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y)) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y) in y
0.907 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in y
0.907 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.907 * [taylor]: Taking taylor expansion of 27.0 in y
0.908 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.908 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.908 * [taylor]: Taking taylor expansion of -1 in y
0.908 * [taylor]: Taking taylor expansion of x in y
0.908 * [taylor]: Taking taylor expansion of y in y
0.909 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y)) in x
0.909 * [taylor]: Taking taylor expansion of -1 in x
0.909 * [taylor]: Taking taylor expansion of (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y) in x
0.909 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.909 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.909 * [taylor]: Taking taylor expansion of 27.0 in x
0.910 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.910 * [taylor]: Taking taylor expansion of -1 in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of y in x
0.914 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y)) in x
0.914 * [taylor]: Taking taylor expansion of -1 in x
0.914 * [taylor]: Taking taylor expansion of (/ (* (sqrt 27.0) (sqrt (/ -1 x))) y) in x
0.914 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (sqrt (/ -1 x))) in x
0.914 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
0.914 * [taylor]: Taking taylor expansion of 27.0 in x
0.914 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.914 * [taylor]: Taking taylor expansion of -1 in x
0.914 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of y in x
0.919 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.919 * [taylor]: Taking taylor expansion of +nan.0 in y
0.919 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.919 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.919 * [taylor]: Taking taylor expansion of 27.0 in y
0.919 * [taylor]: Taking taylor expansion of y in y
0.927 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sqrt 27.0) y))) in y
0.927 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.927 * [taylor]: Taking taylor expansion of +nan.0 in y
0.927 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.927 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.927 * [taylor]: Taking taylor expansion of 27.0 in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.939 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sqrt 27.0) y))) in y
0.940 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 27.0) y)) in y
0.940 * [taylor]: Taking taylor expansion of +nan.0 in y
0.940 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
0.940 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
0.940 * [taylor]: Taking taylor expansion of 27.0 in y
0.940 * [taylor]: Taking taylor expansion of y in y
0.946 * * * [progress]: simplifying candidates
0.949 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x 27.0)
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (+ (log (sqrt x)) (log (sqrt 27.0)))
  (log (* (sqrt x) (sqrt 27.0)))
  (exp (* (sqrt x) (sqrt 27.0)))
  (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0))))
  (cbrt (* (sqrt x) (sqrt 27.0)))
  (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0)))
  (* x 27.0)
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt x) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (sqrt x) (sqrt (* (cbrt 27.0) (cbrt 27.0))))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (* (sqrt x) (sqrt 1))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (* (sqrt x) 1)
  (* (cbrt (sqrt x)) (sqrt 27.0))
  (* (sqrt (cbrt x)) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (+ (log (sqrt x)) (log (sqrt 27.0)))
  (log (* (sqrt x) (sqrt 27.0)))
  (exp (* (sqrt x) (sqrt 27.0)))
  (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0))))
  (cbrt (* (sqrt x) (sqrt 27.0)))
  (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0)))
  (* x 27.0)
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt x) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (sqrt x) (sqrt (* (cbrt 27.0) (cbrt 27.0))))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (* (sqrt x) (sqrt 1))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (* (sqrt x) 1)
  (* (cbrt (sqrt x)) (sqrt 27.0))
  (* (sqrt (cbrt x)) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (log y)))
  (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (+ (log (* (sqrt x) (sqrt 27.0))) (log y)))
  (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (log (* (* (sqrt x) (sqrt 27.0)) y)))
  (+ (log (* (sqrt x) (sqrt 27.0))) (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (log y)))
  (+ (log (* (sqrt x) (sqrt 27.0))) (+ (log (* (sqrt x) (sqrt 27.0))) (log y)))
  (+ (log (* (sqrt x) (sqrt 27.0))) (log (* (* (sqrt x) (sqrt 27.0)) y)))
  (log (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (exp (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* y y) y)))
  (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* y y) y)))
  (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt 27.0)) y) (* (* (sqrt x) (sqrt 27.0)) y)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* y y) y)))
  (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* y y) y)))
  (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* (* (* (sqrt x) (sqrt 27.0)) y) (* (* (sqrt x) (sqrt 27.0)) y)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))) (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))))
  (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0)))
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (* (* (sqrt x) (sqrt 27.0)) y)) (cbrt (* (* (sqrt x) (sqrt 27.0)) y))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt x) (sqrt 27.0)) 1)
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) (* (cbrt y) (cbrt y))))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) 1))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt x))
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0)))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (* (sqrt x) (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) 1)
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt (* (cbrt 27.0) (cbrt 27.0)))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 1)))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) 1))
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (* (cbrt x) (cbrt x))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (sqrt x)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt 1))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (sqrt x)))
  (* (* (sqrt x) (sqrt 27.0)) 1)
  (* (* (sqrt x) (sqrt 27.0)) (sqrt 27.0))
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (sqrt 27.0) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (cbrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (cbrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt 27.0) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt 27.0) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (cbrt (sqrt x)) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (cbrt x)) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt x) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (+ (+ (log (sqrt x)) (log (sqrt 27.0))) (log y))
  (+ (log (* (sqrt x) (sqrt 27.0))) (log y))
  (log (* (* (sqrt x) (sqrt 27.0)) y))
  (exp (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* y y) y))
  (* (* (* (* (sqrt x) (sqrt 27.0)) (* (sqrt x) (sqrt 27.0))) (* (sqrt x) (sqrt 27.0))) (* (* y y) y))
  (* (cbrt (* (* (sqrt x) (sqrt 27.0)) y)) (cbrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (cbrt (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (* (* (sqrt x) (sqrt 27.0)) y) (* (* (sqrt x) (sqrt 27.0)) y)) (* (* (sqrt x) (sqrt 27.0)) y))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) y))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt y) (cbrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) 1)
  (* (sqrt 27.0) y)
  (* (cbrt (* (sqrt x) (sqrt 27.0))) y)
  (* (sqrt (* (sqrt x) (sqrt 27.0))) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (cbrt (sqrt 27.0)) y)
  (* (sqrt (cbrt 27.0)) y)
  (* (sqrt (sqrt 27.0)) y)
  (* (sqrt 27.0) y)
  (* (sqrt (sqrt 27.0)) y)
  (* (sqrt 27.0) y)
  (* (* (cbrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt (cbrt x)) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (sqrt x) y)
  (- (+ (* +nan.0 (* (sqrt 27.0) (pow x 3))) (- (+ (* +nan.0 (* (sqrt 27.0) x)) (- (* +nan.0 (* (sqrt 27.0) (pow x 2))))))))
  (- (+ (* +nan.0 (sqrt 27.0)) (- (+ (* +nan.0 (/ (sqrt 27.0) x)) (- (* +nan.0 (/ (sqrt 27.0) (pow x 2))))))))
  (- (+ (* +nan.0 (sqrt 27.0)) (- (+ (* +nan.0 (/ (sqrt 27.0) x)) (- (* +nan.0 (/ (sqrt 27.0) (pow x 2))))))))
  (- (+ (* +nan.0 (* (sqrt 27.0) (pow x 3))) (- (+ (* +nan.0 (* (sqrt 27.0) x)) (- (* +nan.0 (* (sqrt 27.0) (pow x 2))))))))
  (- (+ (* +nan.0 (sqrt 27.0)) (- (+ (* +nan.0 (/ (sqrt 27.0) x)) (- (* +nan.0 (/ (sqrt 27.0) (pow x 2))))))))
  (- (+ (* +nan.0 (sqrt 27.0)) (- (+ (* +nan.0 (/ (sqrt 27.0) x)) (- (* +nan.0 (/ (sqrt 27.0) (pow x 2))))))))
  (* (pow (sqrt 27.0) 2) (* x y))
  (* (pow (sqrt 27.0) 2) (* x y))
  (- (+ (* +nan.0 (/ (* (pow (sqrt 27.0) 2) y) (pow x 2))) (- (+ (* +nan.0 (* (pow (sqrt 27.0) 2) y)) (- (* +nan.0 (/ (* (pow (sqrt 27.0) 2) y) x)))))))
  (- (+ (* +nan.0 (* (sqrt 27.0) (* x y))) (- (+ (* +nan.0 (* (sqrt 27.0) (* (pow x 2) y))) (- (* +nan.0 (* (sqrt 27.0) (* (pow x 3) y))))))))
  (- (+ (* +nan.0 (/ (* (sqrt 27.0) y) (pow x 2))) (- (+ (* +nan.0 (* (sqrt 27.0) y)) (- (* +nan.0 (/ (* (sqrt 27.0) y) x)))))))
  (- (+ (* +nan.0 (/ (* (sqrt 27.0) y) (pow x 2))) (- (+ (* +nan.0 (* (sqrt 27.0) y)) (- (* +nan.0 (/ (* (sqrt 27.0) y) x)))))))
0.959 * * [simplify]: iteration  0 :  612  enodes  (cost  2036 )
0.972 * * [simplify]: iteration  1 :  3115  enodes  (cost  1812 )
1.032 * * [simplify]: iteration  2 :  5001  enodes  (cost  1545 )
1.045 * [simplify]: Simplified to:
   (* x 27.0)
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (log (* (sqrt x) (sqrt 27.0)))
  (log (* (sqrt x) (sqrt 27.0)))
  (exp (* (sqrt x) (sqrt 27.0)))
  (pow (* (sqrt x) (sqrt 27.0)) 3)
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0))))
  (cbrt (* (sqrt x) (sqrt 27.0)))
  (pow (* (sqrt x) (sqrt 27.0)) 3)
  (* x 27.0)
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt x) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (fabs (cbrt 27.0)) (sqrt x))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (sqrt x)
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (sqrt x)
  (* (cbrt (sqrt x)) (sqrt 27.0))
  (* (sqrt (cbrt x)) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (* (sqrt x) (sqrt 27.0))
  (* x 27.0)
  (log (* (sqrt x) (sqrt 27.0)))
  (log (* (sqrt x) (sqrt 27.0)))
  (exp (* (sqrt x) (sqrt 27.0)))
  (pow (* (sqrt x) (sqrt 27.0)) 3)
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0))))
  (cbrt (* (sqrt x) (sqrt 27.0)))
  (pow (* (sqrt x) (sqrt 27.0)) 3)
  (* x 27.0)
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (sqrt (* (sqrt x) (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt (sqrt x)) (sqrt (sqrt 27.0)))
  (* (sqrt x) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (fabs (cbrt 27.0)) (sqrt x))
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (sqrt x)
  (* (sqrt x) (sqrt (sqrt 27.0)))
  (sqrt x)
  (* (cbrt (sqrt x)) (sqrt 27.0))
  (* (sqrt (cbrt x)) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt (sqrt x)) (sqrt 27.0))
  (* (sqrt x) (sqrt 27.0))
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (pow (exp (* x 27.0)) y)
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (* (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))) (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))))
  (cbrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (pow (* (* x 27.0) y) 3)
  (sqrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* x 27.0)
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (* (* (sqrt x) (sqrt 27.0)) y)) (cbrt (* (* (sqrt x) (sqrt 27.0)) y))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (* (sqrt x) (sqrt 27.0))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y)))
  (* (* x 27.0) (* (cbrt y) (cbrt y)))
  (* (* x 27.0) (sqrt y))
  (* x 27.0)
  (* (sqrt 27.0) x)
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (* (sqrt x) (sqrt 27.0))) (cbrt (* (sqrt x) (sqrt 27.0)))))
  (pow (sqrt (* (sqrt x) (sqrt 27.0))) 3)
  (* (sqrt x) (sqrt 27.0))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (sqrt x) (sqrt 27.0)) (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))))
  (* (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))) (* (sqrt 27.0) x))
  (* (fabs (cbrt 27.0)) (* (sqrt 27.0) x))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) x))
  (* (sqrt 27.0) x)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) x))
  (* (sqrt 27.0) x)
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (sqrt x) (* (sqrt 27.0) (fabs (cbrt x))))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (sqrt x)))
  (* (sqrt x) (sqrt 27.0))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt (sqrt x)))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt x) 27.0)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt x) 27.0) y)
  (* (cbrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* x 27.0) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (cbrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (cbrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) 27.0) y)
  (* (sqrt (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y))
  (* (* (sqrt x) 27.0) y)
  (* (* (cbrt (sqrt x)) (* (sqrt x) 27.0)) y)
  (* (* (sqrt (cbrt x)) (* (sqrt x) 27.0)) y)
  (* (* (sqrt (sqrt x)) (* (sqrt x) 27.0)) y)
  (* (* x 27.0) y)
  (* (* (sqrt (sqrt x)) (* (sqrt x) 27.0)) y)
  (* (* x 27.0) y)
  (* y (* (sqrt 27.0) x))
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (log (* (* (sqrt x) (sqrt 27.0)) y))
  (log (* (* (sqrt x) (sqrt 27.0)) y))
  (log (* (* (sqrt x) (sqrt 27.0)) y))
  (exp (* (* (sqrt x) (sqrt 27.0)) y))
  (pow (* (* (sqrt x) (sqrt 27.0)) y) 3)
  (pow (* (* (sqrt x) (sqrt 27.0)) y) 3)
  (* (cbrt (* (* (sqrt x) (sqrt 27.0)) y)) (cbrt (* (* (sqrt x) (sqrt 27.0)) y)))
  (cbrt (* (* (sqrt x) (sqrt 27.0)) y))
  (pow (* (* (sqrt x) (sqrt 27.0)) y) 3)
  (sqrt (* (* (sqrt x) (sqrt 27.0)) y))
  (sqrt (* (* (sqrt x) (sqrt 27.0)) y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y))
  (* (sqrt (* (sqrt x) (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) (sqrt y))
  (* (* (sqrt x) (sqrt 27.0)) (* (cbrt y) (cbrt y)))
  (* (* (sqrt x) (sqrt 27.0)) (sqrt y))
  (* (sqrt x) (sqrt 27.0))
  (* (sqrt 27.0) y)
  (* (cbrt (* (sqrt x) (sqrt 27.0))) y)
  (* (sqrt (* (sqrt x) (sqrt 27.0))) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (* (sqrt (sqrt x)) (sqrt (sqrt 27.0))) y)
  (* (cbrt (sqrt 27.0)) y)
  (* (sqrt (cbrt 27.0)) y)
  (* (sqrt (sqrt 27.0)) y)
  (* (sqrt 27.0) y)
  (* (sqrt (sqrt 27.0)) y)
  (* (sqrt 27.0) y)
  (* (* (cbrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt (cbrt x)) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (* (sqrt (sqrt x)) (sqrt 27.0)) y)
  (* (* (sqrt x) (sqrt 27.0)) y)
  (* (sqrt x) y)
  (+ (* (* +nan.0 (sqrt 27.0)) (- x (pow x 2))) (- (* +nan.0 (* (sqrt 27.0) (pow x 3)))))
  (+ (* +nan.0 (- (/ (sqrt 27.0) x) (/ (sqrt 27.0) (pow x 2)))) (- (* +nan.0 (sqrt 27.0))))
  (+ (* +nan.0 (- (/ (sqrt 27.0) x) (/ (sqrt 27.0) (pow x 2)))) (- (* +nan.0 (sqrt 27.0))))
  (+ (* (* +nan.0 (sqrt 27.0)) (- x (pow x 2))) (- (* +nan.0 (* (sqrt 27.0) (pow x 3)))))
  (+ (* +nan.0 (- (/ (sqrt 27.0) x) (/ (sqrt 27.0) (pow x 2)))) (- (* +nan.0 (sqrt 27.0))))
  (+ (* +nan.0 (- (/ (sqrt 27.0) x) (/ (sqrt 27.0) (pow x 2)))) (- (* +nan.0 (sqrt 27.0))))
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (+ (* +nan.0 (- (* y 27.0) (/ 27.0 (/ x y)))) (* (- +nan.0) (/ 27.0 (/ (pow x 2) y))))
  (+ (* (* +nan.0 (sqrt 27.0)) (- (* (pow x 2) y) (* (pow x 3) y))) (- (* +nan.0 (* (sqrt 27.0) (* x y)))))
  (+ (* +nan.0 (- (* (sqrt 27.0) y) (/ (* (sqrt 27.0) y) x))) (- (* +nan.0 (/ (* (sqrt 27.0) y) (pow x 2)))))
  (+ (* +nan.0 (- (* (sqrt 27.0) y) (/ (* (sqrt 27.0) y) x))) (- (* +nan.0 (/ (* (sqrt 27.0) y) (pow x 2)))))
1.046 * * * [progress]: adding candidates to table
1.385 * [progress]: [Phase 3 of 3] Extracting.
1.385 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* 1 (* (* 27.0 (sqrt y)) (* (sqrt y) x))))> #<alt (λ (x y) (* 1 (* 27.0 (* x y))))> #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>)
1.385 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x)
1.385 * * * * [regimes]: Trying to branch on (* x 27.0) from (#<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* 1 (* (* 27.0 (sqrt y)) (* (sqrt y) x))))> #<alt (λ (x y) (* 1 (* 27.0 (* x y))))> #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>)
1.407 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (#<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* 1 (* (* 27.0 (sqrt y)) (* (sqrt y) x))))> #<alt (λ (x y) (* 1 (* 27.0 (* x y))))> #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>)
1.424 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* 1 (* (* 27.0 (sqrt y)) (* (sqrt y) x))))> #<alt (λ (x y) (* 1 (* 27.0 (* x y))))> #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>)
1.444 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (sqrt x) (sqrt 27.0)) (* (* (sqrt x) (sqrt 27.0)) y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* 1 (* (* 27.0 (sqrt y)) (* (sqrt y) x))))> #<alt (λ (x y) (* 1 (* 27.0 (* x y))))> #<alt (λ (x y) (* 1 (* (* 27.0 y) x)))>)
1.462 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
1.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1 (* 27.0 (* x y)))
1.463 * * [simplify]: iteration  0 :  12  enodes  (cost  2 )
1.463 * * [simplify]: iteration  1 :  14  enodes  (cost  2 )
1.463 * * [simplify]: iteration  2 :  14  enodes  (cost  2 )
1.463 * [simplify]: Simplified to:
   (* 27.0 (* x y))
1.869 * [regime-testing]: Baseline error score: 0.27108827341359204
1.869 * [regime-testing]: Oracle error score: 0.017002125265658207
1.870 * [regime-testing]: End program error score: 0.27108827341359204