23.962 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* (* x 27.0) y))>
0.024 * [simplify]: Simplifying:
  (* (* x 27.0) y)
0.024 * * [simplify]: iteration 0: 5 enodes
0.030 * * [simplify]: iteration 1: 9 enodes
0.040 * * [simplify]: iteration 2: 15 enodes
0.055 * * [simplify]: iteration 3: 17 enodes
0.069 * * [simplify]: iteration complete: 17 enodes
0.069 * * [simplify]: Extracting #0: cost 1 inf + 0
0.069 * * [simplify]: Extracting #1: cost 7 inf + 0
0.069 * * [simplify]: Extracting #2: cost 3 inf + 45
0.070 * * [simplify]: Extracting #3: cost 0 inf + 212
0.070 * [simplify]: Simplified to:
  (* (* x 27.0) y)
0.072 * * [progress]: iteration 1 / 4
0.072 * * * [progress]: picking best candidate
0.081 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x 27.0) y))>
0.081 * * * [progress]: localizing error
0.089 * * * [progress]: generating rewritten candidates
0.090 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.132 * * * [progress]: generating series expansions
0.132 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.133 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y))
0.133 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.133 * [taylor]: Taking taylor expansion of 27.0 in y
0.133 * [backup-simplify]: Simplify 27.0 into 27.0
0.133 * [taylor]: Taking taylor expansion of (* x y) in y
0.133 * [taylor]: Taking taylor expansion of x in y
0.133 * [backup-simplify]: Simplify x into x
0.133 * [taylor]: Taking taylor expansion of y in y
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.133 * [taylor]: Taking taylor expansion of 27.0 in x
0.133 * [backup-simplify]: Simplify 27.0 into 27.0
0.133 * [taylor]: Taking taylor expansion of (* x y) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.133 * [taylor]: Taking taylor expansion of y in x
0.133 * [backup-simplify]: Simplify y into y
0.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.133 * [taylor]: Taking taylor expansion of 27.0 in x
0.133 * [backup-simplify]: Simplify 27.0 into 27.0
0.133 * [taylor]: Taking taylor expansion of (* x y) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify 1 into 1
0.134 * [taylor]: Taking taylor expansion of y in x
0.134 * [backup-simplify]: Simplify y into y
0.134 * [backup-simplify]: Simplify (* 0 y) into 0
0.135 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.135 * [taylor]: Taking taylor expansion of 0 in y
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.136 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
0.136 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.136 * [taylor]: Taking taylor expansion of 27.0 in y
0.136 * [backup-simplify]: Simplify 27.0 into 27.0
0.136 * [taylor]: Taking taylor expansion of y in y
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.139 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
0.139 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
0.141 * [backup-simplify]: Simplify 27.0 into 27.0
0.141 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.144 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
0.144 * [taylor]: Taking taylor expansion of 0 in y
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.157 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.157 * [taylor]: Taking taylor expansion of 0 in y
0.157 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
0.158 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y))
0.158 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.158 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.158 * [taylor]: Taking taylor expansion of 27.0 in y
0.158 * [backup-simplify]: Simplify 27.0 into 27.0
0.158 * [taylor]: Taking taylor expansion of (* x y) in y
0.158 * [taylor]: Taking taylor expansion of x in y
0.158 * [backup-simplify]: Simplify x into x
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.158 * [backup-simplify]: Simplify (* x 0) into 0
0.159 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.159 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.159 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.159 * [taylor]: Taking taylor expansion of 27.0 in x
0.159 * [backup-simplify]: Simplify 27.0 into 27.0
0.159 * [taylor]: Taking taylor expansion of (* x y) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [taylor]: Taking taylor expansion of y in x
0.159 * [backup-simplify]: Simplify y into y
0.159 * [backup-simplify]: Simplify (* 0 y) into 0
0.160 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.160 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.160 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.160 * [taylor]: Taking taylor expansion of 27.0 in x
0.160 * [backup-simplify]: Simplify 27.0 into 27.0
0.160 * [taylor]: Taking taylor expansion of (* x y) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [taylor]: Taking taylor expansion of y in x
0.160 * [backup-simplify]: Simplify y into y
0.160 * [backup-simplify]: Simplify (* 0 y) into 0
0.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.161 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.161 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.161 * [taylor]: Taking taylor expansion of 27.0 in y
0.161 * [backup-simplify]: Simplify 27.0 into 27.0
0.161 * [taylor]: Taking taylor expansion of y in y
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.162 * [backup-simplify]: Simplify 27.0 into 27.0
0.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.164 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.164 * [taylor]: Taking taylor expansion of 0 in y
0.164 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.167 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.172 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.172 * [taylor]: Taking taylor expansion of 0 in y
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
0.174 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y))
0.174 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.174 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.174 * [taylor]: Taking taylor expansion of 27.0 in y
0.174 * [backup-simplify]: Simplify 27.0 into 27.0
0.174 * [taylor]: Taking taylor expansion of (* x y) in y
0.174 * [taylor]: Taking taylor expansion of x in y
0.174 * [backup-simplify]: Simplify x into x
0.174 * [taylor]: Taking taylor expansion of y in y
0.174 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (* x 0) into 0
0.175 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.175 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.175 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.175 * [taylor]: Taking taylor expansion of 27.0 in x
0.175 * [backup-simplify]: Simplify 27.0 into 27.0
0.175 * [taylor]: Taking taylor expansion of (* x y) in x
0.175 * [taylor]: Taking taylor expansion of x in x
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [backup-simplify]: Simplify y into y
0.176 * [backup-simplify]: Simplify (* 0 y) into 0
0.176 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.176 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.176 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.176 * [taylor]: Taking taylor expansion of 27.0 in x
0.176 * [backup-simplify]: Simplify 27.0 into 27.0
0.177 * [taylor]: Taking taylor expansion of (* x y) in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [backup-simplify]: Simplify y into y
0.177 * [backup-simplify]: Simplify (* 0 y) into 0
0.177 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.177 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.178 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.178 * [taylor]: Taking taylor expansion of 27.0 in y
0.178 * [backup-simplify]: Simplify 27.0 into 27.0
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.178 * [backup-simplify]: Simplify 27.0 into 27.0
0.179 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.180 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.180 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.181 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.183 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.185 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.185 * [taylor]: Taking taylor expansion of 0 in y
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
0.186 * * * [progress]: simplifying candidates
0.186 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* x 27.0) y))))>
0.186 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.187 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.187 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.187 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log x) (log 27.0)) (log y))))>
0.187 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* x 27.0)) (log y))))>
0.187 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* x 27.0) y))))>
0.187 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* x 27.0) y))))>
0.187 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y))))>
0.187 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y))))>
0.187 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y))))>
0.187 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y))))>
0.187 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y))))>
0.187 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* x 27.0) y)))>
0.187 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) (* (cbrt y) (cbrt y))) (cbrt y)))>
0.187 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))>
0.187 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) 1) y))>
0.187 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y) (* x (* 27.0 y)))>
0.187 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y) (* y (* x 27.0)))>
0.187 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.187 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.187 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.188 * [simplify]: Simplifying:
  (real->posit16 (* (* x 27.0) y))
  (* (* 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))
  (* (* x 27.0) (* (cbrt y) (cbrt y)))
  (* (* x 27.0) (sqrt y))
  (* (* x 27.0) 1)
  (* 27.0 y)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.188 * * [simplify]: iteration 0: 41 enodes
0.223 * * [simplify]: iteration 1: 105 enodes
0.371 * * [simplify]: iteration 2: 365 enodes
0.944 * * [simplify]: iteration 3: 1488 enodes
3.259 * * [simplify]: iteration complete: 5003 enodes
3.259 * * [simplify]: Extracting #0: cost 12 inf + 0
3.260 * * [simplify]: Extracting #1: cost 556 inf + 0
3.265 * * [simplify]: Extracting #2: cost 1724 inf + 2245
3.290 * * [simplify]: Extracting #3: cost 1206 inf + 111593
3.348 * * [simplify]: Extracting #4: cost 131 inf + 266586
3.411 * * [simplify]: Extracting #5: cost 2 inf + 284987
3.495 * * [simplify]: Extracting #6: cost 0 inf + 284693
3.550 * * [simplify]: Extracting #7: cost 0 inf + 284653
3.656 * [simplify]: Simplified to:
  (real->posit16 (* (* x 27.0) y))
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (log (* (* x 27.0) y))
  (log (* (* x 27.0) y))
  (log (* (* x 27.0) y))
  (exp (* (* x 27.0) y))
  (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y))
  (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) 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))
  (* (* (* 27.0 x) (cbrt y)) (cbrt y))
  (* (* x (sqrt y)) 27.0)
  (* 27.0 x)
  (* y 27.0)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
3.657 * * * [progress]: adding candidates to table
3.830 * * [progress]: iteration 2 / 4
3.830 * * * [progress]: picking best candidate
3.855 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* 27.0 y)))>
3.855 * * * [progress]: localizing error
3.864 * * * [progress]: generating rewritten candidates
3.864 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.893 * * * [progress]: generating series expansions
3.893 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.896 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y))
3.896 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
3.896 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
3.896 * [taylor]: Taking taylor expansion of 27.0 in y
3.896 * [backup-simplify]: Simplify 27.0 into 27.0
3.896 * [taylor]: Taking taylor expansion of (* x y) in y
3.896 * [taylor]: Taking taylor expansion of x in y
3.896 * [backup-simplify]: Simplify x into x
3.896 * [taylor]: Taking taylor expansion of y in y
3.896 * [backup-simplify]: Simplify 0 into 0
3.896 * [backup-simplify]: Simplify 1 into 1
3.896 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
3.896 * [taylor]: Taking taylor expansion of 27.0 in x
3.896 * [backup-simplify]: Simplify 27.0 into 27.0
3.896 * [taylor]: Taking taylor expansion of (* x y) in x
3.897 * [taylor]: Taking taylor expansion of x in x
3.897 * [backup-simplify]: Simplify 0 into 0
3.897 * [backup-simplify]: Simplify 1 into 1
3.897 * [taylor]: Taking taylor expansion of y in x
3.897 * [backup-simplify]: Simplify y into y
3.897 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
3.897 * [taylor]: Taking taylor expansion of 27.0 in x
3.897 * [backup-simplify]: Simplify 27.0 into 27.0
3.897 * [taylor]: Taking taylor expansion of (* x y) in x
3.897 * [taylor]: Taking taylor expansion of x in x
3.897 * [backup-simplify]: Simplify 0 into 0
3.897 * [backup-simplify]: Simplify 1 into 1
3.897 * [taylor]: Taking taylor expansion of y in x
3.897 * [backup-simplify]: Simplify y into y
3.897 * [backup-simplify]: Simplify (* 0 y) into 0
3.897 * [backup-simplify]: Simplify (* 27.0 0) into 0
3.897 * [taylor]: Taking taylor expansion of 0 in y
3.897 * [backup-simplify]: Simplify 0 into 0
3.897 * [backup-simplify]: Simplify 0 into 0
3.898 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.898 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
3.898 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
3.898 * [taylor]: Taking taylor expansion of 27.0 in y
3.898 * [backup-simplify]: Simplify 27.0 into 27.0
3.898 * [taylor]: Taking taylor expansion of y in y
3.898 * [backup-simplify]: Simplify 0 into 0
3.898 * [backup-simplify]: Simplify 1 into 1
3.899 * [backup-simplify]: Simplify (* 27.0 0) into 0
3.899 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.900 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
3.900 * [taylor]: Taking taylor expansion of 0 in y
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify 0 into 0
3.901 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
3.901 * [backup-simplify]: Simplify 27.0 into 27.0
3.901 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.903 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
3.903 * [taylor]: Taking taylor expansion of 0 in y
3.903 * [backup-simplify]: Simplify 0 into 0
3.903 * [backup-simplify]: Simplify 0 into 0
3.903 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
3.904 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify 0 into 0
3.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.906 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
3.906 * [taylor]: Taking taylor expansion of 0 in y
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
3.907 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y))
3.907 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
3.907 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
3.907 * [taylor]: Taking taylor expansion of 27.0 in y
3.907 * [backup-simplify]: Simplify 27.0 into 27.0
3.907 * [taylor]: Taking taylor expansion of (* x y) in y
3.907 * [taylor]: Taking taylor expansion of x in y
3.907 * [backup-simplify]: Simplify x into x
3.907 * [taylor]: Taking taylor expansion of y in y
3.907 * [backup-simplify]: Simplify 0 into 0
3.907 * [backup-simplify]: Simplify 1 into 1
3.907 * [backup-simplify]: Simplify (* x 0) into 0
3.907 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.907 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
3.907 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
3.907 * [taylor]: Taking taylor expansion of 27.0 in x
3.907 * [backup-simplify]: Simplify 27.0 into 27.0
3.907 * [taylor]: Taking taylor expansion of (* x y) in x
3.907 * [taylor]: Taking taylor expansion of x in x
3.907 * [backup-simplify]: Simplify 0 into 0
3.907 * [backup-simplify]: Simplify 1 into 1
3.907 * [taylor]: Taking taylor expansion of y in x
3.907 * [backup-simplify]: Simplify y into y
3.907 * [backup-simplify]: Simplify (* 0 y) into 0
3.908 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.908 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
3.908 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
3.908 * [taylor]: Taking taylor expansion of 27.0 in x
3.908 * [backup-simplify]: Simplify 27.0 into 27.0
3.908 * [taylor]: Taking taylor expansion of (* x y) in x
3.908 * [taylor]: Taking taylor expansion of x in x
3.908 * [backup-simplify]: Simplify 0 into 0
3.908 * [backup-simplify]: Simplify 1 into 1
3.908 * [taylor]: Taking taylor expansion of y in x
3.908 * [backup-simplify]: Simplify y into y
3.908 * [backup-simplify]: Simplify (* 0 y) into 0
3.908 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.908 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
3.909 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
3.909 * [taylor]: Taking taylor expansion of 27.0 in y
3.909 * [backup-simplify]: Simplify 27.0 into 27.0
3.909 * [taylor]: Taking taylor expansion of y in y
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify 1 into 1
3.909 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
3.909 * [backup-simplify]: Simplify 27.0 into 27.0
3.910 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.910 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
3.910 * [taylor]: Taking taylor expansion of 0 in y
3.910 * [backup-simplify]: Simplify 0 into 0
3.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
3.911 * [backup-simplify]: Simplify 0 into 0
3.911 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.912 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.912 * [taylor]: Taking taylor expansion of 0 in y
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.914 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.914 * [taylor]: Taking taylor expansion of 0 in y
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
3.915 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y))
3.915 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
3.915 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
3.915 * [taylor]: Taking taylor expansion of 27.0 in y
3.915 * [backup-simplify]: Simplify 27.0 into 27.0
3.915 * [taylor]: Taking taylor expansion of (* x y) in y
3.916 * [taylor]: Taking taylor expansion of x in y
3.916 * [backup-simplify]: Simplify x into x
3.916 * [taylor]: Taking taylor expansion of y in y
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (* x 0) into 0
3.916 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.916 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
3.916 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
3.916 * [taylor]: Taking taylor expansion of 27.0 in x
3.916 * [backup-simplify]: Simplify 27.0 into 27.0
3.916 * [taylor]: Taking taylor expansion of (* x y) in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [taylor]: Taking taylor expansion of y in x
3.916 * [backup-simplify]: Simplify y into y
3.916 * [backup-simplify]: Simplify (* 0 y) into 0
3.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.917 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
3.917 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
3.917 * [taylor]: Taking taylor expansion of 27.0 in x
3.917 * [backup-simplify]: Simplify 27.0 into 27.0
3.917 * [taylor]: Taking taylor expansion of (* x y) in x
3.917 * [taylor]: Taking taylor expansion of x in x
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify 1 into 1
3.917 * [taylor]: Taking taylor expansion of y in x
3.917 * [backup-simplify]: Simplify y into y
3.917 * [backup-simplify]: Simplify (* 0 y) into 0
3.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.917 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
3.917 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
3.917 * [taylor]: Taking taylor expansion of 27.0 in y
3.917 * [backup-simplify]: Simplify 27.0 into 27.0
3.917 * [taylor]: Taking taylor expansion of y in y
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify 1 into 1
3.918 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
3.918 * [backup-simplify]: Simplify 27.0 into 27.0
3.918 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.919 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
3.919 * [taylor]: Taking taylor expansion of 0 in y
3.919 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
3.919 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.920 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.920 * [taylor]: Taking taylor expansion of 0 in y
3.920 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.922 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.923 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.923 * [taylor]: Taking taylor expansion of 0 in y
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.924 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
3.925 * * * [progress]: simplifying candidates
3.925 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* x (* 27.0 y)))))>
3.925 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
3.925 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
3.925 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
3.925 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log x) (+ (log 27.0) (log y)))))>
3.925 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log x) (log (* 27.0 y)))))>
3.925 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (log (* x (* 27.0 y)))))>
3.926 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y) (log (exp (* x (* 27.0 y)))))>
3.926 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y)))))>
3.926 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y)))))>
3.926 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y)))))>
3.926 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y)))))>
3.926 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y)))))>
3.926 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (* x (* 27.0 y))))>
3.926 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* x 27.0) y))>
3.926 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))>
3.926 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* 27.0 y))))>
3.926 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (* x (* 27.0 y))))>
3.926 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* 27.0 y) x))>
3.926 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
3.927 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
3.927 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
3.927 * [simplify]: Simplifying:
  (real->posit16 (* x (* 27.0 y)))
  (* x (* 27.0 y))
  (* x (* 27.0 y))
  (+ (log x) (+ (log 27.0) (log y)))
  (+ (log x) (log (* 27.0 y)))
  (log (* x (* 27.0 y)))
  (exp (* x (* 27.0 y)))
  (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y)))
  (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 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)))
  (* x 27.0)
  (* (cbrt x) (* 27.0 y))
  (* (sqrt x) (* 27.0 y))
  (* x (* 27.0 y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
3.928 * * [simplify]: iteration 0: 38 enodes
3.977 * * [simplify]: iteration 1: 91 enodes
4.077 * * [simplify]: iteration 2: 295 enodes
4.572 * * [simplify]: iteration 3: 841 enodes
6.792 * * [simplify]: iteration 4: 1898 enodes
12.930 * * [simplify]: iteration 5: 3814 enodes
16.762 * * [simplify]: iteration complete: 5000 enodes
16.763 * * [simplify]: Extracting #0: cost 11 inf + 0
16.763 * * [simplify]: Extracting #1: cost 216 inf + 0
16.768 * * [simplify]: Extracting #2: cost 742 inf + 5145
16.778 * * [simplify]: Extracting #3: cost 789 inf + 20209
16.832 * * [simplify]: Extracting #4: cost 427 inf + 169232
16.917 * * [simplify]: Extracting #5: cost 52 inf + 319667
16.983 * * [simplify]: Extracting #6: cost 3 inf + 341048
17.043 * * [simplify]: Extracting #7: cost 0 inf + 342039
17.139 * [simplify]: Simplified to:
  (real->posit16 (* (* y 27.0) x))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (log (* (* y 27.0) x))
  (log (* (* y 27.0) x))
  (log (* (* y 27.0) x))
  (exp (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (* (cbrt (* (* y 27.0) x)) (cbrt (* (* y 27.0) x)))
  (cbrt (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (sqrt (* (* y 27.0) x))
  (sqrt (* (* y 27.0) x))
  (* x 27.0)
  (* (* (cbrt x) y) 27.0)
  (* (sqrt x) (* y 27.0))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
17.140 * * * [progress]: adding candidates to table
17.356 * * [progress]: iteration 3 / 4
17.357 * * * [progress]: picking best candidate
17.405 * * * * [pick]: Picked  #<alt (λ (x y) (* 27.0 (* x y)))>
17.406 * * * [progress]: localizing error
17.424 * * * [progress]: generating rewritten candidates
17.424 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
17.468 * * * [progress]: generating series expansions
17.468 * * * * [progress]: [ 1 / 1 ] generating series at (2)
17.469 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y))
17.469 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
17.469 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
17.469 * [taylor]: Taking taylor expansion of 27.0 in y
17.469 * [backup-simplify]: Simplify 27.0 into 27.0
17.469 * [taylor]: Taking taylor expansion of (* x y) in y
17.469 * [taylor]: Taking taylor expansion of x in y
17.469 * [backup-simplify]: Simplify x into x
17.469 * [taylor]: Taking taylor expansion of y in y
17.469 * [backup-simplify]: Simplify 0 into 0
17.469 * [backup-simplify]: Simplify 1 into 1
17.469 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
17.469 * [taylor]: Taking taylor expansion of 27.0 in x
17.469 * [backup-simplify]: Simplify 27.0 into 27.0
17.469 * [taylor]: Taking taylor expansion of (* x y) in x
17.469 * [taylor]: Taking taylor expansion of x in x
17.469 * [backup-simplify]: Simplify 0 into 0
17.469 * [backup-simplify]: Simplify 1 into 1
17.469 * [taylor]: Taking taylor expansion of y in x
17.469 * [backup-simplify]: Simplify y into y
17.469 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
17.469 * [taylor]: Taking taylor expansion of 27.0 in x
17.469 * [backup-simplify]: Simplify 27.0 into 27.0
17.469 * [taylor]: Taking taylor expansion of (* x y) in x
17.469 * [taylor]: Taking taylor expansion of x in x
17.469 * [backup-simplify]: Simplify 0 into 0
17.469 * [backup-simplify]: Simplify 1 into 1
17.469 * [taylor]: Taking taylor expansion of y in x
17.469 * [backup-simplify]: Simplify y into y
17.470 * [backup-simplify]: Simplify (* 0 y) into 0
17.470 * [backup-simplify]: Simplify (* 27.0 0) into 0
17.470 * [taylor]: Taking taylor expansion of 0 in y
17.471 * [backup-simplify]: Simplify 0 into 0
17.471 * [backup-simplify]: Simplify 0 into 0
17.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.472 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
17.472 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
17.472 * [taylor]: Taking taylor expansion of 27.0 in y
17.472 * [backup-simplify]: Simplify 27.0 into 27.0
17.472 * [taylor]: Taking taylor expansion of y in y
17.472 * [backup-simplify]: Simplify 0 into 0
17.472 * [backup-simplify]: Simplify 1 into 1
17.472 * [backup-simplify]: Simplify (* 27.0 0) into 0
17.473 * [backup-simplify]: Simplify 0 into 0
17.473 * [backup-simplify]: Simplify 0 into 0
17.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.475 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
17.475 * [taylor]: Taking taylor expansion of 0 in y
17.475 * [backup-simplify]: Simplify 0 into 0
17.475 * [backup-simplify]: Simplify 0 into 0
17.476 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
17.477 * [backup-simplify]: Simplify 27.0 into 27.0
17.477 * [backup-simplify]: Simplify 0 into 0
17.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.480 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
17.480 * [taylor]: Taking taylor expansion of 0 in y
17.480 * [backup-simplify]: Simplify 0 into 0
17.480 * [backup-simplify]: Simplify 0 into 0
17.480 * [backup-simplify]: Simplify 0 into 0
17.481 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
17.481 * [backup-simplify]: Simplify 0 into 0
17.481 * [backup-simplify]: Simplify 0 into 0
17.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.485 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
17.485 * [taylor]: Taking taylor expansion of 0 in y
17.485 * [backup-simplify]: Simplify 0 into 0
17.485 * [backup-simplify]: Simplify 0 into 0
17.485 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
17.486 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y))
17.486 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
17.486 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
17.486 * [taylor]: Taking taylor expansion of 27.0 in y
17.486 * [backup-simplify]: Simplify 27.0 into 27.0
17.486 * [taylor]: Taking taylor expansion of (* x y) in y
17.486 * [taylor]: Taking taylor expansion of x in y
17.486 * [backup-simplify]: Simplify x into x
17.486 * [taylor]: Taking taylor expansion of y in y
17.486 * [backup-simplify]: Simplify 0 into 0
17.486 * [backup-simplify]: Simplify 1 into 1
17.486 * [backup-simplify]: Simplify (* x 0) into 0
17.487 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.487 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
17.487 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
17.487 * [taylor]: Taking taylor expansion of 27.0 in x
17.487 * [backup-simplify]: Simplify 27.0 into 27.0
17.487 * [taylor]: Taking taylor expansion of (* x y) in x
17.487 * [taylor]: Taking taylor expansion of x in x
17.487 * [backup-simplify]: Simplify 0 into 0
17.487 * [backup-simplify]: Simplify 1 into 1
17.487 * [taylor]: Taking taylor expansion of y in x
17.487 * [backup-simplify]: Simplify y into y
17.487 * [backup-simplify]: Simplify (* 0 y) into 0
17.488 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.488 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
17.488 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
17.488 * [taylor]: Taking taylor expansion of 27.0 in x
17.488 * [backup-simplify]: Simplify 27.0 into 27.0
17.488 * [taylor]: Taking taylor expansion of (* x y) in x
17.488 * [taylor]: Taking taylor expansion of x in x
17.488 * [backup-simplify]: Simplify 0 into 0
17.488 * [backup-simplify]: Simplify 1 into 1
17.488 * [taylor]: Taking taylor expansion of y in x
17.488 * [backup-simplify]: Simplify y into y
17.488 * [backup-simplify]: Simplify (* 0 y) into 0
17.489 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.489 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
17.489 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
17.489 * [taylor]: Taking taylor expansion of 27.0 in y
17.489 * [backup-simplify]: Simplify 27.0 into 27.0
17.489 * [taylor]: Taking taylor expansion of y in y
17.489 * [backup-simplify]: Simplify 0 into 0
17.489 * [backup-simplify]: Simplify 1 into 1
17.490 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
17.490 * [backup-simplify]: Simplify 27.0 into 27.0
17.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.491 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
17.491 * [taylor]: Taking taylor expansion of 0 in y
17.491 * [backup-simplify]: Simplify 0 into 0
17.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
17.492 * [backup-simplify]: Simplify 0 into 0
17.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.495 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.495 * [taylor]: Taking taylor expansion of 0 in y
17.495 * [backup-simplify]: Simplify 0 into 0
17.495 * [backup-simplify]: Simplify 0 into 0
17.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.496 * [backup-simplify]: Simplify 0 into 0
17.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.499 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.499 * [taylor]: Taking taylor expansion of 0 in y
17.499 * [backup-simplify]: Simplify 0 into 0
17.499 * [backup-simplify]: Simplify 0 into 0
17.499 * [backup-simplify]: Simplify 0 into 0
17.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.500 * [backup-simplify]: Simplify 0 into 0
17.500 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
17.501 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y))
17.501 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
17.501 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
17.501 * [taylor]: Taking taylor expansion of 27.0 in y
17.501 * [backup-simplify]: Simplify 27.0 into 27.0
17.501 * [taylor]: Taking taylor expansion of (* x y) in y
17.501 * [taylor]: Taking taylor expansion of x in y
17.501 * [backup-simplify]: Simplify x into x
17.501 * [taylor]: Taking taylor expansion of y in y
17.501 * [backup-simplify]: Simplify 0 into 0
17.501 * [backup-simplify]: Simplify 1 into 1
17.501 * [backup-simplify]: Simplify (* x 0) into 0
17.502 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.502 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
17.502 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
17.502 * [taylor]: Taking taylor expansion of 27.0 in x
17.502 * [backup-simplify]: Simplify 27.0 into 27.0
17.502 * [taylor]: Taking taylor expansion of (* x y) in x
17.502 * [taylor]: Taking taylor expansion of x in x
17.502 * [backup-simplify]: Simplify 0 into 0
17.502 * [backup-simplify]: Simplify 1 into 1
17.502 * [taylor]: Taking taylor expansion of y in x
17.502 * [backup-simplify]: Simplify y into y
17.502 * [backup-simplify]: Simplify (* 0 y) into 0
17.503 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.503 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
17.503 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
17.503 * [taylor]: Taking taylor expansion of 27.0 in x
17.503 * [backup-simplify]: Simplify 27.0 into 27.0
17.503 * [taylor]: Taking taylor expansion of (* x y) in x
17.503 * [taylor]: Taking taylor expansion of x in x
17.503 * [backup-simplify]: Simplify 0 into 0
17.503 * [backup-simplify]: Simplify 1 into 1
17.503 * [taylor]: Taking taylor expansion of y in x
17.503 * [backup-simplify]: Simplify y into y
17.503 * [backup-simplify]: Simplify (* 0 y) into 0
17.508 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.508 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
17.508 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
17.508 * [taylor]: Taking taylor expansion of 27.0 in y
17.508 * [backup-simplify]: Simplify 27.0 into 27.0
17.508 * [taylor]: Taking taylor expansion of y in y
17.508 * [backup-simplify]: Simplify 0 into 0
17.509 * [backup-simplify]: Simplify 1 into 1
17.509 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
17.509 * [backup-simplify]: Simplify 27.0 into 27.0
17.510 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.511 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
17.511 * [taylor]: Taking taylor expansion of 0 in y
17.511 * [backup-simplify]: Simplify 0 into 0
17.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
17.512 * [backup-simplify]: Simplify 0 into 0
17.513 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.514 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.514 * [taylor]: Taking taylor expansion of 0 in y
17.514 * [backup-simplify]: Simplify 0 into 0
17.515 * [backup-simplify]: Simplify 0 into 0
17.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.516 * [backup-simplify]: Simplify 0 into 0
17.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.519 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.519 * [taylor]: Taking taylor expansion of 0 in y
17.519 * [backup-simplify]: Simplify 0 into 0
17.519 * [backup-simplify]: Simplify 0 into 0
17.519 * [backup-simplify]: Simplify 0 into 0
17.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.520 * [backup-simplify]: Simplify 0 into 0
17.521 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
17.521 * * * [progress]: simplifying candidates
17.521 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* 27.0 (* x y)))))>
17.521 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
17.521 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
17.521 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
17.521 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log 27.0) (+ (log x) (log y)))))>
17.521 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log 27.0) (log (* x y)))))>
17.521 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (log (* 27.0 (* x y)))))>
17.522 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y) (log (exp (* 27.0 (* x y)))))>
17.522 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y)))))>
17.522 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y)))))>
17.522 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y)))))>
17.522 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y)))))>
17.522 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y)))))>
17.522 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 27.0 (* x y))))>
17.522 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* 27.0 x) y))>
17.522 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt 27.0) (cbrt 27.0)) (* (cbrt 27.0) (* x y))))>
17.522 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))>
17.522 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 27.0 (* x y))))>
17.522 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* x y) 27.0))>
17.522 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
17.522 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
17.522 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
17.523 * [simplify]: Simplifying:
  (real->posit16 (* 27.0 (* x y)))
  (* 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)))
  (* 27.0 x)
  (* (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))
17.524 * * [simplify]: iteration 0: 36 enodes
17.555 * * [simplify]: iteration 1: 86 enodes
17.650 * * [simplify]: iteration 2: 271 enodes
18.083 * * [simplify]: iteration 3: 789 enodes
19.975 * * [simplify]: iteration 4: 1962 enodes
25.193 * * [simplify]: iteration 5: 4044 enodes
29.290 * * [simplify]: iteration complete: 5001 enodes
29.290 * * [simplify]: Extracting #0: cost 11 inf + 0
29.291 * * [simplify]: Extracting #1: cost 215 inf + 0
29.295 * * [simplify]: Extracting #2: cost 668 inf + 5258
29.314 * * [simplify]: Extracting #3: cost 695 inf + 36877
29.356 * * [simplify]: Extracting #4: cost 344 inf + 182134
29.418 * * [simplify]: Extracting #5: cost 49 inf + 299480
29.478 * * [simplify]: Extracting #6: cost 0 inf + 316546
29.534 * * [simplify]: Extracting #7: cost 0 inf + 316284
29.590 * [simplify]: Simplified to:
  (real->posit16 (* (* y x) 27.0))
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (log (* (* y x) 27.0))
  (log (* (* y x) 27.0))
  (log (* (* y x) 27.0))
  (exp (* (* y x) 27.0))
  (* (* (* (* y x) 27.0) (* (* y x) 27.0)) (* (* y x) 27.0))
  (* (* (* (* y x) 27.0) (* (* y x) 27.0)) (* (* y x) 27.0))
  (* (cbrt (* (* y x) 27.0)) (cbrt (* (* y x) 27.0)))
  (cbrt (* (* y x) 27.0))
  (* (* (* (* y x) 27.0) (* (* y x) 27.0)) (* (* y x) 27.0))
  (sqrt (* (* y x) 27.0))
  (sqrt (* (* y x) 27.0))
  (* 27.0 x)
  (* y (* x (cbrt 27.0)))
  (* (sqrt 27.0) (* y x))
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
29.590 * * * [progress]: adding candidates to table
29.737 * * [progress]: iteration 4 / 4
29.737 * * * [progress]: picking best candidate
29.779 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))>
29.779 * * * [progress]: localizing error
29.805 * * * [progress]: generating rewritten candidates
29.805 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
29.889 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
29.932 * * * [progress]: generating series expansions
29.932 * * * * [progress]: [ 1 / 2 ] generating series at (2)
29.933 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* x (* y (pow (sqrt 27.0) 2)))
29.933 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0
29.933 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y
29.933 * [taylor]: Taking taylor expansion of x in y
29.933 * [backup-simplify]: Simplify x into x
29.933 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
29.933 * [taylor]: Taking taylor expansion of y in y
29.933 * [backup-simplify]: Simplify 0 into 0
29.933 * [backup-simplify]: Simplify 1 into 1
29.933 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
29.933 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
29.933 * [taylor]: Taking taylor expansion of 27.0 in y
29.933 * [backup-simplify]: Simplify 27.0 into 27.0
29.934 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.934 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.934 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
29.934 * [taylor]: Taking taylor expansion of x in x
29.934 * [backup-simplify]: Simplify 0 into 0
29.934 * [backup-simplify]: Simplify 1 into 1
29.934 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
29.934 * [taylor]: Taking taylor expansion of y in x
29.934 * [backup-simplify]: Simplify y into y
29.934 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
29.934 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
29.934 * [taylor]: Taking taylor expansion of 27.0 in x
29.934 * [backup-simplify]: Simplify 27.0 into 27.0
29.935 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.935 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.935 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
29.935 * [taylor]: Taking taylor expansion of x in x
29.935 * [backup-simplify]: Simplify 0 into 0
29.935 * [backup-simplify]: Simplify 1 into 1
29.935 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
29.935 * [taylor]: Taking taylor expansion of y in x
29.935 * [backup-simplify]: Simplify y into y
29.935 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
29.935 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
29.935 * [taylor]: Taking taylor expansion of 27.0 in x
29.935 * [backup-simplify]: Simplify 27.0 into 27.0
29.936 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.936 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.937 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.938 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2))
29.939 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0
29.939 * [taylor]: Taking taylor expansion of 0 in y
29.939 * [backup-simplify]: Simplify 0 into 0
29.939 * [backup-simplify]: Simplify 0 into 0
29.939 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
29.940 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0
29.941 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2))
29.941 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
29.941 * [taylor]: Taking taylor expansion of y in y
29.941 * [backup-simplify]: Simplify 0 into 0
29.941 * [backup-simplify]: Simplify 1 into 1
29.941 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
29.941 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
29.942 * [taylor]: Taking taylor expansion of 27.0 in y
29.942 * [backup-simplify]: Simplify 27.0 into 27.0
29.942 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.943 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.944 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.945 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0
29.945 * [backup-simplify]: Simplify 0 into 0
29.945 * [backup-simplify]: Simplify 0 into 0
29.946 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
29.947 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
29.949 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
29.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0
29.951 * [taylor]: Taking taylor expansion of 0 in y
29.951 * [backup-simplify]: Simplify 0 into 0
29.951 * [backup-simplify]: Simplify 0 into 0
29.952 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
29.955 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2)
29.956 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
29.956 * [backup-simplify]: Simplify 0 into 0
29.958 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
29.959 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
29.960 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0
29.961 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0
29.961 * [taylor]: Taking taylor expansion of 0 in y
29.961 * [backup-simplify]: Simplify 0 into 0
29.961 * [backup-simplify]: Simplify 0 into 0
29.961 * [backup-simplify]: Simplify 0 into 0
29.962 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
29.963 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
29.964 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
29.964 * [backup-simplify]: Simplify 0 into 0
29.964 * [backup-simplify]: Simplify 0 into 0
29.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
29.966 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
29.967 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0
29.969 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0
29.969 * [taylor]: Taking taylor expansion of 0 in y
29.969 * [backup-simplify]: Simplify 0 into 0
29.969 * [backup-simplify]: Simplify 0 into 0
29.969 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2)))
29.970 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y))
29.970 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
29.970 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
29.970 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
29.970 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
29.970 * [taylor]: Taking taylor expansion of 27.0 in y
29.970 * [backup-simplify]: Simplify 27.0 into 27.0
29.971 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.971 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.971 * [taylor]: Taking taylor expansion of (* x y) in y
29.971 * [taylor]: Taking taylor expansion of x in y
29.971 * [backup-simplify]: Simplify x into x
29.971 * [taylor]: Taking taylor expansion of y in y
29.971 * [backup-simplify]: Simplify 0 into 0
29.971 * [backup-simplify]: Simplify 1 into 1
29.972 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.972 * [backup-simplify]: Simplify (* x 0) into 0
29.972 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
29.973 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
29.973 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
29.973 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
29.973 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
29.973 * [taylor]: Taking taylor expansion of 27.0 in x
29.973 * [backup-simplify]: Simplify 27.0 into 27.0
29.974 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.974 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.974 * [taylor]: Taking taylor expansion of (* x y) in x
29.974 * [taylor]: Taking taylor expansion of x in x
29.974 * [backup-simplify]: Simplify 0 into 0
29.974 * [backup-simplify]: Simplify 1 into 1
29.974 * [taylor]: Taking taylor expansion of y in x
29.974 * [backup-simplify]: Simplify y into y
29.975 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.975 * [backup-simplify]: Simplify (* 0 y) into 0
29.976 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
29.977 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
29.977 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
29.977 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
29.977 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
29.977 * [taylor]: Taking taylor expansion of 27.0 in x
29.977 * [backup-simplify]: Simplify 27.0 into 27.0
29.977 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.978 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.978 * [taylor]: Taking taylor expansion of (* x y) in x
29.978 * [taylor]: Taking taylor expansion of x in x
29.978 * [backup-simplify]: Simplify 0 into 0
29.978 * [backup-simplify]: Simplify 1 into 1
29.978 * [taylor]: Taking taylor expansion of y in x
29.978 * [backup-simplify]: Simplify y into y
29.980 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.980 * [backup-simplify]: Simplify (* 0 y) into 0
29.980 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
29.982 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
29.982 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
29.982 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
29.982 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
29.982 * [taylor]: Taking taylor expansion of 27.0 in y
29.982 * [backup-simplify]: Simplify 27.0 into 27.0
29.982 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
29.983 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
29.983 * [taylor]: Taking taylor expansion of y in y
29.983 * [backup-simplify]: Simplify 0 into 0
29.983 * [backup-simplify]: Simplify 1 into 1
29.984 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
29.986 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
29.987 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
29.988 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
29.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
29.989 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
29.990 * [taylor]: Taking taylor expansion of 0 in y
29.990 * [backup-simplify]: Simplify 0 into 0
29.990 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
29.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0
29.991 * [backup-simplify]: Simplify 0 into 0
29.992 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
29.992 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
29.993 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
29.994 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
29.994 * [taylor]: Taking taylor expansion of 0 in y
29.994 * [backup-simplify]: Simplify 0 into 0
29.994 * [backup-simplify]: Simplify 0 into 0
29.995 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
29.996 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
29.997 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.997 * [backup-simplify]: Simplify 0 into 0
29.997 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
29.998 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
29.999 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
30.000 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.000 * [taylor]: Taking taylor expansion of 0 in y
30.000 * [backup-simplify]: Simplify 0 into 0
30.001 * [backup-simplify]: Simplify 0 into 0
30.001 * [backup-simplify]: Simplify 0 into 0
30.001 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.002 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
30.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.003 * [backup-simplify]: Simplify 0 into 0
30.004 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2)))
30.005 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y))
30.005 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
30.005 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
30.005 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
30.005 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.005 * [taylor]: Taking taylor expansion of 27.0 in y
30.005 * [backup-simplify]: Simplify 27.0 into 27.0
30.005 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.006 * [taylor]: Taking taylor expansion of (* x y) in y
30.006 * [taylor]: Taking taylor expansion of x in y
30.006 * [backup-simplify]: Simplify x into x
30.006 * [taylor]: Taking taylor expansion of y in y
30.006 * [backup-simplify]: Simplify 0 into 0
30.006 * [backup-simplify]: Simplify 1 into 1
30.007 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
30.007 * [backup-simplify]: Simplify (* x 0) into 0
30.007 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
30.008 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
30.008 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
30.008 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
30.008 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.008 * [taylor]: Taking taylor expansion of 27.0 in x
30.008 * [backup-simplify]: Simplify 27.0 into 27.0
30.008 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.009 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.009 * [taylor]: Taking taylor expansion of (* x y) in x
30.009 * [taylor]: Taking taylor expansion of x in x
30.009 * [backup-simplify]: Simplify 0 into 0
30.009 * [backup-simplify]: Simplify 1 into 1
30.009 * [taylor]: Taking taylor expansion of y in x
30.009 * [backup-simplify]: Simplify y into y
30.009 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
30.010 * [backup-simplify]: Simplify (* 0 y) into 0
30.010 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.011 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
30.011 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
30.011 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
30.011 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.011 * [taylor]: Taking taylor expansion of 27.0 in x
30.011 * [backup-simplify]: Simplify 27.0 into 27.0
30.011 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.011 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.012 * [taylor]: Taking taylor expansion of (* x y) in x
30.012 * [taylor]: Taking taylor expansion of x in x
30.012 * [backup-simplify]: Simplify 0 into 0
30.012 * [backup-simplify]: Simplify 1 into 1
30.012 * [taylor]: Taking taylor expansion of y in x
30.012 * [backup-simplify]: Simplify y into y
30.012 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
30.012 * [backup-simplify]: Simplify (* 0 y) into 0
30.013 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.014 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
30.014 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
30.014 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
30.014 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.014 * [taylor]: Taking taylor expansion of 27.0 in y
30.014 * [backup-simplify]: Simplify 27.0 into 27.0
30.014 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.014 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.015 * [taylor]: Taking taylor expansion of y in y
30.015 * [backup-simplify]: Simplify 0 into 0
30.015 * [backup-simplify]: Simplify 1 into 1
30.015 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
30.017 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
30.017 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
30.018 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
30.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
30.019 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
30.019 * [taylor]: Taking taylor expansion of 0 in y
30.019 * [backup-simplify]: Simplify 0 into 0
30.020 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
30.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0
30.021 * [backup-simplify]: Simplify 0 into 0
30.022 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.022 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
30.023 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
30.025 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.025 * [taylor]: Taking taylor expansion of 0 in y
30.025 * [backup-simplify]: Simplify 0 into 0
30.025 * [backup-simplify]: Simplify 0 into 0
30.027 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.028 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
30.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.029 * [backup-simplify]: Simplify 0 into 0
30.031 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.032 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
30.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
30.036 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.036 * [taylor]: Taking taylor expansion of 0 in y
30.036 * [backup-simplify]: Simplify 0 into 0
30.036 * [backup-simplify]: Simplify 0 into 0
30.036 * [backup-simplify]: Simplify 0 into 0
30.040 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.042 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
30.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.043 * [backup-simplify]: Simplify 0 into 0
30.044 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2)))
30.044 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
30.045 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* x (* y (sqrt 27.0)))
30.045 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0
30.045 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y
30.045 * [taylor]: Taking taylor expansion of x in y
30.045 * [backup-simplify]: Simplify x into x
30.045 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
30.045 * [taylor]: Taking taylor expansion of y in y
30.045 * [backup-simplify]: Simplify 0 into 0
30.045 * [backup-simplify]: Simplify 1 into 1
30.045 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.045 * [taylor]: Taking taylor expansion of 27.0 in y
30.045 * [backup-simplify]: Simplify 27.0 into 27.0
30.045 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.045 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.045 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
30.046 * [taylor]: Taking taylor expansion of x in x
30.046 * [backup-simplify]: Simplify 0 into 0
30.046 * [backup-simplify]: Simplify 1 into 1
30.046 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
30.046 * [taylor]: Taking taylor expansion of y in x
30.046 * [backup-simplify]: Simplify y into y
30.046 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.046 * [taylor]: Taking taylor expansion of 27.0 in x
30.046 * [backup-simplify]: Simplify 27.0 into 27.0
30.046 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.046 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.046 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
30.046 * [taylor]: Taking taylor expansion of x in x
30.046 * [backup-simplify]: Simplify 0 into 0
30.046 * [backup-simplify]: Simplify 1 into 1
30.046 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
30.046 * [taylor]: Taking taylor expansion of y in x
30.047 * [backup-simplify]: Simplify y into y
30.047 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.047 * [taylor]: Taking taylor expansion of 27.0 in x
30.047 * [backup-simplify]: Simplify 27.0 into 27.0
30.047 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.048 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0))
30.048 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0
30.048 * [taylor]: Taking taylor expansion of 0 in y
30.048 * [backup-simplify]: Simplify 0 into 0
30.048 * [backup-simplify]: Simplify 0 into 0
30.048 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0
30.049 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0))
30.049 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
30.049 * [taylor]: Taking taylor expansion of y in y
30.049 * [backup-simplify]: Simplify 0 into 0
30.049 * [backup-simplify]: Simplify 1 into 1
30.049 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.049 * [taylor]: Taking taylor expansion of 27.0 in y
30.049 * [backup-simplify]: Simplify 27.0 into 27.0
30.049 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.050 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.050 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0
30.050 * [backup-simplify]: Simplify 0 into 0
30.050 * [backup-simplify]: Simplify 0 into 0
30.051 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.052 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
30.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0
30.053 * [taylor]: Taking taylor expansion of 0 in y
30.053 * [backup-simplify]: Simplify 0 into 0
30.053 * [backup-simplify]: Simplify 0 into 0
30.054 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0)
30.054 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.055 * [backup-simplify]: Simplify 0 into 0
30.055 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.056 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
30.057 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0
30.057 * [taylor]: Taking taylor expansion of 0 in y
30.057 * [backup-simplify]: Simplify 0 into 0
30.057 * [backup-simplify]: Simplify 0 into 0
30.057 * [backup-simplify]: Simplify 0 into 0
30.058 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0
30.059 * [backup-simplify]: Simplify 0 into 0
30.059 * [backup-simplify]: Simplify 0 into 0
30.060 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.062 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
30.064 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0
30.064 * [taylor]: Taking taylor expansion of 0 in y
30.064 * [backup-simplify]: Simplify 0 into 0
30.064 * [backup-simplify]: Simplify 0 into 0
30.065 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0)))
30.065 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y))
30.065 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
30.065 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
30.065 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.065 * [taylor]: Taking taylor expansion of 27.0 in y
30.065 * [backup-simplify]: Simplify 27.0 into 27.0
30.066 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.067 * [taylor]: Taking taylor expansion of (* x y) in y
30.067 * [taylor]: Taking taylor expansion of x in y
30.067 * [backup-simplify]: Simplify x into x
30.067 * [taylor]: Taking taylor expansion of y in y
30.067 * [backup-simplify]: Simplify 0 into 0
30.067 * [backup-simplify]: Simplify 1 into 1
30.067 * [backup-simplify]: Simplify (* x 0) into 0
30.067 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
30.068 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
30.068 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
30.068 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.068 * [taylor]: Taking taylor expansion of 27.0 in x
30.068 * [backup-simplify]: Simplify 27.0 into 27.0
30.068 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.069 * [taylor]: Taking taylor expansion of (* x y) in x
30.069 * [taylor]: Taking taylor expansion of x in x
30.069 * [backup-simplify]: Simplify 0 into 0
30.069 * [backup-simplify]: Simplify 1 into 1
30.069 * [taylor]: Taking taylor expansion of y in x
30.069 * [backup-simplify]: Simplify y into y
30.069 * [backup-simplify]: Simplify (* 0 y) into 0
30.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.070 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
30.070 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
30.070 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.070 * [taylor]: Taking taylor expansion of 27.0 in x
30.070 * [backup-simplify]: Simplify 27.0 into 27.0
30.071 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.072 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.072 * [taylor]: Taking taylor expansion of (* x y) in x
30.072 * [taylor]: Taking taylor expansion of x in x
30.072 * [backup-simplify]: Simplify 0 into 0
30.072 * [backup-simplify]: Simplify 1 into 1
30.072 * [taylor]: Taking taylor expansion of y in x
30.072 * [backup-simplify]: Simplify y into y
30.072 * [backup-simplify]: Simplify (* 0 y) into 0
30.072 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.073 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
30.073 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
30.073 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.073 * [taylor]: Taking taylor expansion of 27.0 in y
30.073 * [backup-simplify]: Simplify 27.0 into 27.0
30.073 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.074 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.074 * [taylor]: Taking taylor expansion of y in y
30.074 * [backup-simplify]: Simplify 0 into 0
30.074 * [backup-simplify]: Simplify 1 into 1
30.075 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
30.076 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.077 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
30.078 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
30.078 * [taylor]: Taking taylor expansion of 0 in y
30.078 * [backup-simplify]: Simplify 0 into 0
30.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
30.079 * [backup-simplify]: Simplify 0 into 0
30.080 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.081 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
30.082 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.082 * [taylor]: Taking taylor expansion of 0 in y
30.082 * [backup-simplify]: Simplify 0 into 0
30.082 * [backup-simplify]: Simplify 0 into 0
30.083 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.084 * [backup-simplify]: Simplify 0 into 0
30.085 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.086 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
30.086 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.086 * [taylor]: Taking taylor expansion of 0 in y
30.087 * [backup-simplify]: Simplify 0 into 0
30.087 * [backup-simplify]: Simplify 0 into 0
30.087 * [backup-simplify]: Simplify 0 into 0
30.087 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.088 * [backup-simplify]: Simplify 0 into 0
30.089 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0)))
30.089 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y))
30.089 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
30.089 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
30.089 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.089 * [taylor]: Taking taylor expansion of 27.0 in y
30.089 * [backup-simplify]: Simplify 27.0 into 27.0
30.089 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.090 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.090 * [taylor]: Taking taylor expansion of (* x y) in y
30.090 * [taylor]: Taking taylor expansion of x in y
30.090 * [backup-simplify]: Simplify x into x
30.090 * [taylor]: Taking taylor expansion of y in y
30.090 * [backup-simplify]: Simplify 0 into 0
30.090 * [backup-simplify]: Simplify 1 into 1
30.090 * [backup-simplify]: Simplify (* x 0) into 0
30.090 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
30.091 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
30.091 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
30.091 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.091 * [taylor]: Taking taylor expansion of 27.0 in x
30.091 * [backup-simplify]: Simplify 27.0 into 27.0
30.091 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.092 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.092 * [taylor]: Taking taylor expansion of (* x y) in x
30.092 * [taylor]: Taking taylor expansion of x in x
30.092 * [backup-simplify]: Simplify 0 into 0
30.092 * [backup-simplify]: Simplify 1 into 1
30.092 * [taylor]: Taking taylor expansion of y in x
30.092 * [backup-simplify]: Simplify y into y
30.092 * [backup-simplify]: Simplify (* 0 y) into 0
30.092 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.092 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
30.092 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
30.092 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
30.092 * [taylor]: Taking taylor expansion of 27.0 in x
30.092 * [backup-simplify]: Simplify 27.0 into 27.0
30.093 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.093 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.093 * [taylor]: Taking taylor expansion of (* x y) in x
30.093 * [taylor]: Taking taylor expansion of x in x
30.093 * [backup-simplify]: Simplify 0 into 0
30.093 * [backup-simplify]: Simplify 1 into 1
30.093 * [taylor]: Taking taylor expansion of y in x
30.093 * [backup-simplify]: Simplify y into y
30.093 * [backup-simplify]: Simplify (* 0 y) into 0
30.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
30.094 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
30.094 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
30.094 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
30.094 * [taylor]: Taking taylor expansion of 27.0 in y
30.094 * [backup-simplify]: Simplify 27.0 into 27.0
30.094 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.095 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
30.095 * [taylor]: Taking taylor expansion of y in y
30.095 * [backup-simplify]: Simplify 0 into 0
30.095 * [backup-simplify]: Simplify 1 into 1
30.096 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
30.096 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
30.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
30.097 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
30.097 * [taylor]: Taking taylor expansion of 0 in y
30.097 * [backup-simplify]: Simplify 0 into 0
30.098 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
30.098 * [backup-simplify]: Simplify 0 into 0
30.098 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
30.100 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.100 * [taylor]: Taking taylor expansion of 0 in y
30.100 * [backup-simplify]: Simplify 0 into 0
30.100 * [backup-simplify]: Simplify 0 into 0
30.101 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
30.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.102 * [backup-simplify]: Simplify 0 into 0
30.102 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.103 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
30.104 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
30.104 * [taylor]: Taking taylor expansion of 0 in y
30.104 * [backup-simplify]: Simplify 0 into 0
30.104 * [backup-simplify]: Simplify 0 into 0
30.104 * [backup-simplify]: Simplify 0 into 0
30.105 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
30.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
30.106 * [backup-simplify]: Simplify 0 into 0
30.106 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0)))
30.106 * * * [progress]: simplifying candidates
30.106 * * * * [progress]: [ 1 / 53 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.106 * * * * [progress]: [ 2 / 53 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
30.107 * * * * [progress]: [ 3 / 53 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
30.107 * * * * [progress]: [ 4 / 53 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
30.107 * * * * [progress]: [ 5 / 53 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
30.107 * * * * [progress]: [ 6 / 53 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y))))))>
30.107 * * * * [progress]: [ 7 / 53 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y))))))>
30.107 * * * * [progress]: [ 8 / 53 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 9 / 53 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 10 / 53 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 11 / 53 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))))))>
30.107 * * * * [progress]: [ 12 / 53 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))))))>
30.107 * * * * [progress]: [ 13 / 53 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 14 / 53 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 15 / 53 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 16 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
30.107 * * * * [progress]: [ 17 / 53 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
30.107 * * * * [progress]: [ 18 / 53 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 27.0) (sqrt 27.0)) (* x y)))>
30.107 * * * * [progress]: [ 19 / 53 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 20 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (cbrt 27.0) (cbrt 27.0))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 21 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 22 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 1) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 23 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 24 / 53 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
30.108 * * * * [progress]: [ 25 / 53 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 27.0) (* x y)) (sqrt 27.0)))>
30.108 * * * * [progress]: [ 26 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (posit16->real (real->posit16 (* (sqrt 27.0) (* x y))))))>
30.108 * * * * [progress]: [ 27 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
30.108 * * * * [progress]: [ 28 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
30.108 * * * * [progress]: [ 29 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
30.108 * * * * [progress]: [ 30 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (+ (log (sqrt 27.0)) (+ (log x) (log y))))))>
30.108 * * * * [progress]: [ 31 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (+ (log (sqrt 27.0)) (log (* x y))))))>
30.108 * * * * [progress]: [ 32 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (log (* (sqrt 27.0) (* x y))))))>
30.108 * * * * [progress]: [ 33 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (log (exp (* (sqrt 27.0) (* x y))))))>
30.108 * * * * [progress]: [ 34 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))))))>
30.108 * * * * [progress]: [ 35 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))))))>
30.108 * * * * [progress]: [ 36 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))))))>
30.109 * * * * [progress]: [ 37 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))))))>
30.109 * * * * [progress]: [ 38 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))))))>
30.109 * * * * [progress]: [ 39 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* 1 (* (sqrt 27.0) (* x y)))))>
30.109 * * * * [progress]: [ 40 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)))>
30.109 * * * * [progress]: [ 41 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))) (* (cbrt (sqrt 27.0)) (* x y)))))>
30.109 * * * * [progress]: [ 42 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (* (cbrt 27.0) (cbrt 27.0))) (* (sqrt (cbrt 27.0)) (* x y)))))>
30.109 * * * * [progress]: [ 43 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>
30.109 * * * * [progress]: [ 44 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 1) (* (sqrt 27.0) (* x y)))))>
30.109 * * * * [progress]: [ 45 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>
30.109 * * * * [progress]: [ 46 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* 1 (* (sqrt 27.0) (* x y)))))>
30.109 * * * * [progress]: [ 47 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* x y) (sqrt 27.0))))>
30.109 * * * * [progress]: [ 48 / 53 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
30.109 * * * * [progress]: [ 49 / 53 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
30.109 * * * * [progress]: [ 50 / 53 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
30.109 * * * * [progress]: [ 51 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
30.109 * * * * [progress]: [ 52 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
30.109 * * * * [progress]: [ 53 / 53 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
30.110 * [simplify]: Simplifying:
  (real->posit16 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))
  (real->posit16 (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
  (+ (log (sqrt 27.0)) (+ (log x) (log y)))
  (+ (log (sqrt 27.0)) (log (* x y)))
  (log (* (sqrt 27.0) (* x y)))
  (exp (* (sqrt 27.0) (* x y)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y))))
  (cbrt (* (sqrt 27.0) (* x y)))
  (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))
  (sqrt (* (sqrt 27.0) (* x y)))
  (sqrt (* (sqrt 27.0) (* x y)))
  (* (sqrt 27.0) x)
  (* (cbrt (sqrt 27.0)) (* x y))
  (* (sqrt (cbrt 27.0)) (* x y))
  (* (sqrt (sqrt 27.0)) (* x y))
  (* (sqrt 27.0) (* x y))
  (* (sqrt (sqrt 27.0)) (* x y))
  (* (sqrt 27.0) (* x y))
  (* x (* y (pow (sqrt 27.0) 2)))
  (* x (* y (pow (sqrt 27.0) 2)))
  (* x (* y (pow (sqrt 27.0) 2)))
  (* x (* y (sqrt 27.0)))
  (* x (* y (sqrt 27.0)))
  (* x (* y (sqrt 27.0)))
30.111 * * [simplify]: iteration 0: 64 enodes
30.157 * * [simplify]: iteration 1: 162 enodes
30.317 * * [simplify]: iteration 2: 703 enodes
32.547 * * [simplify]: iteration 3: 3784 enodes
38.237 * * [simplify]: iteration complete: 5001 enodes
38.237 * * [simplify]: Extracting #0: cost 24 inf + 0
38.238 * * [simplify]: Extracting #1: cost 317 inf + 1
38.244 * * [simplify]: Extracting #2: cost 898 inf + 15792
38.293 * * [simplify]: Extracting #3: cost 367 inf + 109202
38.373 * * [simplify]: Extracting #4: cost 46 inf + 175147
38.418 * * [simplify]: Extracting #5: cost 6 inf + 184062
38.470 * * [simplify]: Extracting #6: cost 0 inf + 186354
38.522 * [simplify]: Simplified to:
  (real->posit16 (* (* y 27.0) x))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (log (* (* y 27.0) x))
  (log (* (* y 27.0) x))
  (log (* (* y 27.0) x))
  (log (* (* y 27.0) x))
  (exp (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (* (cbrt (* (* y 27.0) x)) (cbrt (* (* y 27.0) x)))
  (cbrt (* (* y 27.0) x))
  (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))
  (sqrt (* (* y 27.0) x))
  (sqrt (* (* y 27.0) x))
  27.0
  (* (* (* x y) (sqrt 27.0)) (cbrt (sqrt 27.0)))
  (* (* x (sqrt (cbrt 27.0))) (* y (sqrt 27.0)))
  (* (sqrt (sqrt 27.0)) (* (* x y) (sqrt 27.0)))
  (* (* y 27.0) x)
  (* (sqrt (sqrt 27.0)) (* (* x y) (sqrt 27.0)))
  (* (* y 27.0) x)
  (real->posit16 (* (* x y) (sqrt 27.0)))
  (* (* x y) (sqrt 27.0))
  (* (* x y) (sqrt 27.0))
  (log (* (* x y) (sqrt 27.0)))
  (log (* (* x y) (sqrt 27.0)))
  (log (* (* x y) (sqrt 27.0)))
  (exp (* (* x y) (sqrt 27.0)))
  (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0)))
  (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0)))
  (* (cbrt (* (* x y) (sqrt 27.0))) (cbrt (* (* x y) (sqrt 27.0))))
  (cbrt (* (* x y) (sqrt 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)))
  (* x (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* x y))
  (* y (* x (sqrt (cbrt 27.0))))
  (* x (* (sqrt (sqrt 27.0)) y))
  (* (* x y) (sqrt 27.0))
  (* x (* (sqrt (sqrt 27.0)) y))
  (* (* x y) (sqrt 27.0))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* x y) (sqrt 27.0))
  (* (* x y) (sqrt 27.0))
  (* (* x y) (sqrt 27.0))
38.524 * * * [progress]: adding candidates to table
38.841 * [progress]: [Phase 3 of 3] Extracting.
38.841 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))> #<alt (λ (x y) (cbrt (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* x 27.0) y))>)
38.843 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x)
38.843 * * * * [regimes]: Trying to branch on (* x 27.0) from (#<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))> #<alt (λ (x y) (cbrt (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* x 27.0) y))>)
38.949 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (#<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))> #<alt (λ (x y) (cbrt (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* x 27.0) y))>)
39.112 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))> #<alt (λ (x y) (cbrt (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* x 27.0) y))>)
39.283 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))> #<alt (λ (x y) (cbrt (* (* (* (* y 27.0) x) (* (* y 27.0) x)) (* (* y 27.0) x))))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* x 27.0) y))>)
39.424 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
39.424 * [simplify]: Simplifying:
  (* x (* 27.0 y))
39.424 * * [simplify]: iteration 0: 5 enodes
39.425 * * [simplify]: iteration 1: 7 enodes
39.426 * * [simplify]: iteration complete: 7 enodes
39.426 * * [simplify]: Extracting #0: cost 1 inf + 0
39.426 * * [simplify]: Extracting #1: cost 3 inf + 0
39.426 * * [simplify]: Extracting #2: cost 4 inf + 1
39.426 * * [simplify]: Extracting #3: cost 0 inf + 128
39.426 * [simplify]: Simplified to:
  (* (* y 27.0) x)
42.527 * [regime-testing]: Baseline error score: 0.282410301287661
42.557 * [regime-testing]: Oracle error score: 0.010251281410176272
42.601 * [regime-testing]: End program error score: 0.282410301287661