4.909 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying:
  (* (* x 27.0) y)
0.015 * * [simplify]: iteration 0: 5 enodes
0.016 * * [simplify]: iteration 1: 9 enodes
0.018 * * [simplify]: iteration 2: 15 enodes
0.023 * * [simplify]: iteration 3: 17 enodes
0.027 * * [simplify]: iteration complete: 17 enodes
0.027 * * [simplify]: Extracting #0: cost 1 inf + 0
0.027 * * [simplify]: Extracting #1: cost 7 inf + 0
0.027 * * [simplify]: Extracting #2: cost 3 inf + 45
0.028 * * [simplify]: Extracting #3: cost 0 inf + 212
0.028 * [simplify]: Simplified to:
  (* (* x 27.0) y)
0.029 * * [progress]: iteration 1 / 4
0.029 * * * [progress]: picking best candidate
0.040 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x 27.0) y))>
0.041 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.081 * * * [progress]: generating series expansions
0.081 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.081 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y))
0.081 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.081 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.081 * [taylor]: Taking taylor expansion of 27.0 in y
0.081 * [backup-simplify]: Simplify 27.0 into 27.0
0.081 * [taylor]: Taking taylor expansion of (* x y) in y
0.081 * [taylor]: Taking taylor expansion of x in y
0.081 * [backup-simplify]: Simplify x into x
0.081 * [taylor]: Taking taylor expansion of y in y
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify 1 into 1
0.081 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.081 * [taylor]: Taking taylor expansion of 27.0 in x
0.081 * [backup-simplify]: Simplify 27.0 into 27.0
0.081 * [taylor]: Taking taylor expansion of (* x y) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 1 into 1
0.082 * [taylor]: Taking taylor expansion of y in x
0.082 * [backup-simplify]: Simplify y into y
0.082 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.082 * [taylor]: Taking taylor expansion of 27.0 in x
0.082 * [backup-simplify]: Simplify 27.0 into 27.0
0.082 * [taylor]: Taking taylor expansion of (* x y) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 1 into 1
0.082 * [taylor]: Taking taylor expansion of y in x
0.082 * [backup-simplify]: Simplify y into y
0.082 * [backup-simplify]: Simplify (* 0 y) into 0
0.083 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.084 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
0.084 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.084 * [taylor]: Taking taylor expansion of 27.0 in y
0.084 * [backup-simplify]: Simplify 27.0 into 27.0
0.084 * [taylor]: Taking taylor expansion of y in y
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify 1 into 1
0.084 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.086 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
0.088 * [backup-simplify]: Simplify 27.0 into 27.0
0.088 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.090 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.095 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
0.096 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y))
0.096 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.096 * [taylor]: Taking taylor expansion of 27.0 in y
0.096 * [backup-simplify]: Simplify 27.0 into 27.0
0.096 * [taylor]: Taking taylor expansion of (* x y) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [backup-simplify]: Simplify x into x
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 1 into 1
0.096 * [backup-simplify]: Simplify (* x 0) into 0
0.097 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.097 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.097 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.097 * [taylor]: Taking taylor expansion of 27.0 in x
0.097 * [backup-simplify]: Simplify 27.0 into 27.0
0.097 * [taylor]: Taking taylor expansion of (* x y) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [taylor]: Taking taylor expansion of y in x
0.097 * [backup-simplify]: Simplify y into y
0.097 * [backup-simplify]: Simplify (* 0 y) into 0
0.097 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.097 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.097 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.097 * [taylor]: Taking taylor expansion of 27.0 in x
0.098 * [backup-simplify]: Simplify 27.0 into 27.0
0.098 * [taylor]: Taking taylor expansion of (* x y) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify 1 into 1
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [backup-simplify]: Simplify y into y
0.098 * [backup-simplify]: Simplify (* 0 y) into 0
0.098 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.098 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.098 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.098 * [taylor]: Taking taylor expansion of 27.0 in y
0.098 * [backup-simplify]: Simplify 27.0 into 27.0
0.098 * [taylor]: Taking taylor expansion of y in y
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify 1 into 1
0.099 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.099 * [backup-simplify]: Simplify 27.0 into 27.0
0.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.100 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.102 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.105 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.105 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
0.107 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y))
0.107 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.107 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.107 * [taylor]: Taking taylor expansion of 27.0 in y
0.107 * [backup-simplify]: Simplify 27.0 into 27.0
0.107 * [taylor]: Taking taylor expansion of (* x y) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [backup-simplify]: Simplify x into x
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify 1 into 1
0.107 * [backup-simplify]: Simplify (* x 0) into 0
0.108 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.108 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.108 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.108 * [taylor]: Taking taylor expansion of 27.0 in x
0.108 * [backup-simplify]: Simplify 27.0 into 27.0
0.108 * [taylor]: Taking taylor expansion of (* x y) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify 1 into 1
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [backup-simplify]: Simplify y into y
0.108 * [backup-simplify]: Simplify (* 0 y) into 0
0.109 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.109 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.109 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.109 * [taylor]: Taking taylor expansion of 27.0 in x
0.109 * [backup-simplify]: Simplify 27.0 into 27.0
0.109 * [taylor]: Taking taylor expansion of (* x y) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [backup-simplify]: Simplify 0 into 0
0.109 * [backup-simplify]: Simplify 1 into 1
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [backup-simplify]: Simplify y into y
0.109 * [backup-simplify]: Simplify (* 0 y) into 0
0.109 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.110 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.110 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.110 * [taylor]: Taking taylor expansion of 27.0 in y
0.110 * [backup-simplify]: Simplify 27.0 into 27.0
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 1 into 1
0.110 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.110 * [backup-simplify]: Simplify 27.0 into 27.0
0.111 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.111 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.114 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.117 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
0.119 * * * [progress]: simplifying candidates
0.119 * [simplify]: Simplifying:
  (* (* 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.120 * * [simplify]: iteration 0: 40 enodes
0.138 * * [simplify]: iteration 1: 105 enodes
0.206 * * [simplify]: iteration 2: 365 enodes
0.607 * * [simplify]: iteration 3: 1510 enodes
1.552 * * [simplify]: iteration complete: 5000 enodes
1.552 * * [simplify]: Extracting #0: cost 11 inf + 0
1.554 * * [simplify]: Extracting #1: cost 591 inf + 0
1.561 * * [simplify]: Extracting #2: cost 1758 inf + 10268
1.585 * * [simplify]: Extracting #3: cost 944 inf + 160485
1.649 * * [simplify]: Extracting #4: cost 75 inf + 288430
1.722 * * [simplify]: Extracting #5: cost 2 inf + 292542
1.819 * * [simplify]: Extracting #6: cost 0 inf + 290077
1.903 * * [simplify]: Extracting #7: cost 0 inf + 289717
1.975 * [simplify]: Simplified to:
  (* x (* y 27.0))
  (* x (* y 27.0))
  (log (* x (* y 27.0)))
  (log (* x (* y 27.0)))
  (log (* x (* y 27.0)))
  (exp (* 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)))
  (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0))))
  (cbrt (* x (* y 27.0)))
  (* (* (* x (* y 27.0)) (* x (* y 27.0))) (* x (* y 27.0)))
  (sqrt (* x (* y 27.0)))
  (sqrt (* x (* y 27.0)))
  (* (* (cbrt y) (cbrt y)) (* x 27.0))
  (* (* 27.0 x) (sqrt y))
  (* x 27.0)
  (* y 27.0)
  (* x (* y 27.0))
  (* x (* y 27.0))
  (* x (* y 27.0))
1.976 * * * [progress]: adding candidates to table
2.046 * * [progress]: iteration 2 / 4
2.046 * * * [progress]: picking best candidate
2.055 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* 27.0 y)))>
2.055 * * * [progress]: localizing error
2.061 * * * [progress]: generating rewritten candidates
2.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.085 * * * [progress]: generating series expansions
2.085 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.085 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y))
2.085 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
2.085 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
2.085 * [taylor]: Taking taylor expansion of 27.0 in y
2.085 * [backup-simplify]: Simplify 27.0 into 27.0
2.085 * [taylor]: Taking taylor expansion of (* x y) in y
2.085 * [taylor]: Taking taylor expansion of x in y
2.085 * [backup-simplify]: Simplify x into x
2.085 * [taylor]: Taking taylor expansion of y in y
2.085 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify 1 into 1
2.085 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
2.085 * [taylor]: Taking taylor expansion of 27.0 in x
2.085 * [backup-simplify]: Simplify 27.0 into 27.0
2.085 * [taylor]: Taking taylor expansion of (* x y) in x
2.085 * [taylor]: Taking taylor expansion of x in x
2.085 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify 1 into 1
2.085 * [taylor]: Taking taylor expansion of y in x
2.085 * [backup-simplify]: Simplify y into y
2.085 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
2.085 * [taylor]: Taking taylor expansion of 27.0 in x
2.085 * [backup-simplify]: Simplify 27.0 into 27.0
2.085 * [taylor]: Taking taylor expansion of (* x y) in x
2.085 * [taylor]: Taking taylor expansion of x in x
2.085 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify 1 into 1
2.085 * [taylor]: Taking taylor expansion of y in x
2.085 * [backup-simplify]: Simplify y into y
2.086 * [backup-simplify]: Simplify (* 0 y) into 0
2.086 * [backup-simplify]: Simplify (* 27.0 0) into 0
2.086 * [taylor]: Taking taylor expansion of 0 in y
2.086 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.087 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
2.087 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
2.087 * [taylor]: Taking taylor expansion of 27.0 in y
2.087 * [backup-simplify]: Simplify 27.0 into 27.0
2.087 * [taylor]: Taking taylor expansion of y in y
2.087 * [backup-simplify]: Simplify 0 into 0
2.087 * [backup-simplify]: Simplify 1 into 1
2.087 * [backup-simplify]: Simplify (* 27.0 0) into 0
2.087 * [backup-simplify]: Simplify 0 into 0
2.087 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.088 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
2.088 * [taylor]: Taking taylor expansion of 0 in y
2.088 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify 0 into 0
2.089 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
2.089 * [backup-simplify]: Simplify 27.0 into 27.0
2.089 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.091 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
2.091 * [taylor]: Taking taylor expansion of 0 in y
2.091 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
2.092 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.094 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
2.094 * [taylor]: Taking taylor expansion of 0 in y
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
2.094 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y))
2.094 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
2.094 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
2.094 * [taylor]: Taking taylor expansion of 27.0 in y
2.094 * [backup-simplify]: Simplify 27.0 into 27.0
2.094 * [taylor]: Taking taylor expansion of (* x y) in y
2.094 * [taylor]: Taking taylor expansion of x in y
2.094 * [backup-simplify]: Simplify x into x
2.094 * [taylor]: Taking taylor expansion of y in y
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify 1 into 1
2.094 * [backup-simplify]: Simplify (* x 0) into 0
2.094 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.094 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
2.094 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
2.094 * [taylor]: Taking taylor expansion of 27.0 in x
2.094 * [backup-simplify]: Simplify 27.0 into 27.0
2.094 * [taylor]: Taking taylor expansion of (* x y) in x
2.095 * [taylor]: Taking taylor expansion of x in x
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 1 into 1
2.095 * [taylor]: Taking taylor expansion of y in x
2.095 * [backup-simplify]: Simplify y into y
2.095 * [backup-simplify]: Simplify (* 0 y) into 0
2.095 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.095 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
2.095 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
2.095 * [taylor]: Taking taylor expansion of 27.0 in x
2.095 * [backup-simplify]: Simplify 27.0 into 27.0
2.095 * [taylor]: Taking taylor expansion of (* x y) in x
2.095 * [taylor]: Taking taylor expansion of x in x
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 1 into 1
2.095 * [taylor]: Taking taylor expansion of y in x
2.095 * [backup-simplify]: Simplify y into y
2.095 * [backup-simplify]: Simplify (* 0 y) into 0
2.096 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.096 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
2.096 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
2.096 * [taylor]: Taking taylor expansion of 27.0 in y
2.096 * [backup-simplify]: Simplify 27.0 into 27.0
2.096 * [taylor]: Taking taylor expansion of y in y
2.096 * [backup-simplify]: Simplify 0 into 0
2.096 * [backup-simplify]: Simplify 1 into 1
2.096 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
2.096 * [backup-simplify]: Simplify 27.0 into 27.0
2.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.097 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
2.097 * [taylor]: Taking taylor expansion of 0 in y
2.097 * [backup-simplify]: Simplify 0 into 0
2.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
2.097 * [backup-simplify]: Simplify 0 into 0
2.098 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.098 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.098 * [taylor]: Taking taylor expansion of 0 in y
2.098 * [backup-simplify]: Simplify 0 into 0
2.098 * [backup-simplify]: Simplify 0 into 0
2.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.099 * [backup-simplify]: Simplify 0 into 0
2.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.100 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.100 * [taylor]: Taking taylor expansion of 0 in y
2.100 * [backup-simplify]: Simplify 0 into 0
2.100 * [backup-simplify]: Simplify 0 into 0
2.100 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.101 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
2.101 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y))
2.101 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
2.101 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
2.101 * [taylor]: Taking taylor expansion of 27.0 in y
2.101 * [backup-simplify]: Simplify 27.0 into 27.0
2.101 * [taylor]: Taking taylor expansion of (* x y) in y
2.101 * [taylor]: Taking taylor expansion of x in y
2.101 * [backup-simplify]: Simplify x into x
2.101 * [taylor]: Taking taylor expansion of y in y
2.101 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify 1 into 1
2.101 * [backup-simplify]: Simplify (* x 0) into 0
2.102 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.102 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
2.102 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
2.102 * [taylor]: Taking taylor expansion of 27.0 in x
2.102 * [backup-simplify]: Simplify 27.0 into 27.0
2.102 * [taylor]: Taking taylor expansion of (* x y) in x
2.102 * [taylor]: Taking taylor expansion of x in x
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify 1 into 1
2.102 * [taylor]: Taking taylor expansion of y in x
2.102 * [backup-simplify]: Simplify y into y
2.102 * [backup-simplify]: Simplify (* 0 y) into 0
2.102 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.102 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
2.102 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
2.102 * [taylor]: Taking taylor expansion of 27.0 in x
2.102 * [backup-simplify]: Simplify 27.0 into 27.0
2.102 * [taylor]: Taking taylor expansion of (* x y) in x
2.102 * [taylor]: Taking taylor expansion of x in x
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify 1 into 1
2.102 * [taylor]: Taking taylor expansion of y in x
2.102 * [backup-simplify]: Simplify y into y
2.102 * [backup-simplify]: Simplify (* 0 y) into 0
2.103 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.103 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
2.103 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
2.103 * [taylor]: Taking taylor expansion of 27.0 in y
2.103 * [backup-simplify]: Simplify 27.0 into 27.0
2.103 * [taylor]: Taking taylor expansion of y in y
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 1 into 1
2.103 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
2.103 * [backup-simplify]: Simplify 27.0 into 27.0
2.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.104 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
2.104 * [taylor]: Taking taylor expansion of 0 in y
2.104 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
2.104 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.105 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.105 * [taylor]: Taking taylor expansion of 0 in y
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.106 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.107 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.107 * [taylor]: Taking taylor expansion of 0 in y
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
2.108 * * * [progress]: simplifying candidates
2.108 * [simplify]: Simplifying:
  (* 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))
2.109 * * [simplify]: iteration 0: 37 enodes
2.116 * * [simplify]: iteration 1: 91 enodes
2.147 * * [simplify]: iteration 2: 291 enodes
2.347 * * [simplify]: iteration 3: 834 enodes
3.552 * * [simplify]: iteration 4: 1832 enodes
7.955 * * [simplify]: iteration 5: 3884 enodes
9.301 * * [simplify]: iteration complete: 5001 enodes
9.301 * * [simplify]: Extracting #0: cost 10 inf + 0
9.302 * * [simplify]: Extracting #1: cost 216 inf + 0
9.310 * * [simplify]: Extracting #2: cost 723 inf + 6357
9.328 * * [simplify]: Extracting #3: cost 765 inf + 32668
9.368 * * [simplify]: Extracting #4: cost 297 inf + 234130
9.429 * * [simplify]: Extracting #5: cost 29 inf + 343781
9.489 * * [simplify]: Extracting #6: cost 0 inf + 354130
9.556 * [simplify]: Simplified to:
  (* (* 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)
  (* (* y 27.0) (cbrt x))
  (* (* y 27.0) (sqrt x))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
9.556 * * * [progress]: adding candidates to table
9.628 * * [progress]: iteration 3 / 4
9.629 * * * [progress]: picking best candidate
9.639 * * * * [pick]: Picked  #<alt (λ (x y) (* 27.0 (* x y)))>
9.639 * * * [progress]: localizing error
9.644 * * * [progress]: generating rewritten candidates
9.645 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.666 * * * [progress]: generating series expansions
9.666 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.666 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y))
9.666 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
9.666 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
9.666 * [taylor]: Taking taylor expansion of 27.0 in y
9.666 * [backup-simplify]: Simplify 27.0 into 27.0
9.666 * [taylor]: Taking taylor expansion of (* x y) in y
9.666 * [taylor]: Taking taylor expansion of x in y
9.666 * [backup-simplify]: Simplify x into x
9.667 * [taylor]: Taking taylor expansion of y in y
9.667 * [backup-simplify]: Simplify 0 into 0
9.667 * [backup-simplify]: Simplify 1 into 1
9.667 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
9.667 * [taylor]: Taking taylor expansion of 27.0 in x
9.667 * [backup-simplify]: Simplify 27.0 into 27.0
9.667 * [taylor]: Taking taylor expansion of (* x y) in x
9.667 * [taylor]: Taking taylor expansion of x in x
9.667 * [backup-simplify]: Simplify 0 into 0
9.667 * [backup-simplify]: Simplify 1 into 1
9.667 * [taylor]: Taking taylor expansion of y in x
9.667 * [backup-simplify]: Simplify y into y
9.667 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
9.667 * [taylor]: Taking taylor expansion of 27.0 in x
9.667 * [backup-simplify]: Simplify 27.0 into 27.0
9.667 * [taylor]: Taking taylor expansion of (* x y) in x
9.667 * [taylor]: Taking taylor expansion of x in x
9.667 * [backup-simplify]: Simplify 0 into 0
9.667 * [backup-simplify]: Simplify 1 into 1
9.667 * [taylor]: Taking taylor expansion of y in x
9.667 * [backup-simplify]: Simplify y into y
9.667 * [backup-simplify]: Simplify (* 0 y) into 0
9.667 * [backup-simplify]: Simplify (* 27.0 0) into 0
9.667 * [taylor]: Taking taylor expansion of 0 in y
9.667 * [backup-simplify]: Simplify 0 into 0
9.667 * [backup-simplify]: Simplify 0 into 0
9.668 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.668 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
9.668 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
9.668 * [taylor]: Taking taylor expansion of 27.0 in y
9.668 * [backup-simplify]: Simplify 27.0 into 27.0
9.668 * [taylor]: Taking taylor expansion of y in y
9.668 * [backup-simplify]: Simplify 0 into 0
9.668 * [backup-simplify]: Simplify 1 into 1
9.668 * [backup-simplify]: Simplify (* 27.0 0) into 0
9.668 * [backup-simplify]: Simplify 0 into 0
9.668 * [backup-simplify]: Simplify 0 into 0
9.669 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.669 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
9.670 * [taylor]: Taking taylor expansion of 0 in y
9.670 * [backup-simplify]: Simplify 0 into 0
9.670 * [backup-simplify]: Simplify 0 into 0
9.670 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
9.671 * [backup-simplify]: Simplify 27.0 into 27.0
9.671 * [backup-simplify]: Simplify 0 into 0
9.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.672 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
9.672 * [taylor]: Taking taylor expansion of 0 in y
9.672 * [backup-simplify]: Simplify 0 into 0
9.672 * [backup-simplify]: Simplify 0 into 0
9.672 * [backup-simplify]: Simplify 0 into 0
9.673 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
9.673 * [backup-simplify]: Simplify 0 into 0
9.673 * [backup-simplify]: Simplify 0 into 0
9.674 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.675 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
9.675 * [taylor]: Taking taylor expansion of 0 in y
9.675 * [backup-simplify]: Simplify 0 into 0
9.675 * [backup-simplify]: Simplify 0 into 0
9.675 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
9.675 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y))
9.675 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
9.675 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
9.675 * [taylor]: Taking taylor expansion of 27.0 in y
9.675 * [backup-simplify]: Simplify 27.0 into 27.0
9.675 * [taylor]: Taking taylor expansion of (* x y) in y
9.675 * [taylor]: Taking taylor expansion of x in y
9.675 * [backup-simplify]: Simplify x into x
9.675 * [taylor]: Taking taylor expansion of y in y
9.675 * [backup-simplify]: Simplify 0 into 0
9.675 * [backup-simplify]: Simplify 1 into 1
9.675 * [backup-simplify]: Simplify (* x 0) into 0
9.676 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.676 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
9.676 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.676 * [taylor]: Taking taylor expansion of 27.0 in x
9.676 * [backup-simplify]: Simplify 27.0 into 27.0
9.676 * [taylor]: Taking taylor expansion of (* x y) in x
9.676 * [taylor]: Taking taylor expansion of x in x
9.676 * [backup-simplify]: Simplify 0 into 0
9.676 * [backup-simplify]: Simplify 1 into 1
9.676 * [taylor]: Taking taylor expansion of y in x
9.676 * [backup-simplify]: Simplify y into y
9.676 * [backup-simplify]: Simplify (* 0 y) into 0
9.676 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.676 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.676 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.676 * [taylor]: Taking taylor expansion of 27.0 in x
9.676 * [backup-simplify]: Simplify 27.0 into 27.0
9.676 * [taylor]: Taking taylor expansion of (* x y) in x
9.676 * [taylor]: Taking taylor expansion of x in x
9.676 * [backup-simplify]: Simplify 0 into 0
9.676 * [backup-simplify]: Simplify 1 into 1
9.676 * [taylor]: Taking taylor expansion of y in x
9.676 * [backup-simplify]: Simplify y into y
9.676 * [backup-simplify]: Simplify (* 0 y) into 0
9.677 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.677 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.677 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
9.677 * [taylor]: Taking taylor expansion of 27.0 in y
9.677 * [backup-simplify]: Simplify 27.0 into 27.0
9.677 * [taylor]: Taking taylor expansion of y in y
9.677 * [backup-simplify]: Simplify 0 into 0
9.677 * [backup-simplify]: Simplify 1 into 1
9.677 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
9.677 * [backup-simplify]: Simplify 27.0 into 27.0
9.678 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.678 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
9.678 * [taylor]: Taking taylor expansion of 0 in y
9.678 * [backup-simplify]: Simplify 0 into 0
9.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
9.678 * [backup-simplify]: Simplify 0 into 0
9.679 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.679 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.679 * [taylor]: Taking taylor expansion of 0 in y
9.679 * [backup-simplify]: Simplify 0 into 0
9.679 * [backup-simplify]: Simplify 0 into 0
9.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.680 * [backup-simplify]: Simplify 0 into 0
9.681 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.681 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.681 * [taylor]: Taking taylor expansion of 0 in y
9.681 * [backup-simplify]: Simplify 0 into 0
9.681 * [backup-simplify]: Simplify 0 into 0
9.681 * [backup-simplify]: Simplify 0 into 0
9.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.682 * [backup-simplify]: Simplify 0 into 0
9.682 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
9.682 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y))
9.682 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
9.682 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
9.682 * [taylor]: Taking taylor expansion of 27.0 in y
9.682 * [backup-simplify]: Simplify 27.0 into 27.0
9.682 * [taylor]: Taking taylor expansion of (* x y) in y
9.682 * [taylor]: Taking taylor expansion of x in y
9.682 * [backup-simplify]: Simplify x into x
9.682 * [taylor]: Taking taylor expansion of y in y
9.682 * [backup-simplify]: Simplify 0 into 0
9.682 * [backup-simplify]: Simplify 1 into 1
9.682 * [backup-simplify]: Simplify (* x 0) into 0
9.682 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.683 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
9.683 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.683 * [taylor]: Taking taylor expansion of 27.0 in x
9.683 * [backup-simplify]: Simplify 27.0 into 27.0
9.683 * [taylor]: Taking taylor expansion of (* x y) in x
9.683 * [taylor]: Taking taylor expansion of x in x
9.683 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify 1 into 1
9.683 * [taylor]: Taking taylor expansion of y in x
9.683 * [backup-simplify]: Simplify y into y
9.683 * [backup-simplify]: Simplify (* 0 y) into 0
9.683 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.683 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.683 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.683 * [taylor]: Taking taylor expansion of 27.0 in x
9.683 * [backup-simplify]: Simplify 27.0 into 27.0
9.683 * [taylor]: Taking taylor expansion of (* x y) in x
9.683 * [taylor]: Taking taylor expansion of x in x
9.683 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify 1 into 1
9.683 * [taylor]: Taking taylor expansion of y in x
9.683 * [backup-simplify]: Simplify y into y
9.683 * [backup-simplify]: Simplify (* 0 y) into 0
9.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.684 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.684 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
9.684 * [taylor]: Taking taylor expansion of 27.0 in y
9.684 * [backup-simplify]: Simplify 27.0 into 27.0
9.684 * [taylor]: Taking taylor expansion of y in y
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
9.684 * [backup-simplify]: Simplify 27.0 into 27.0
9.685 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.685 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
9.685 * [taylor]: Taking taylor expansion of 0 in y
9.685 * [backup-simplify]: Simplify 0 into 0
9.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
9.685 * [backup-simplify]: Simplify 0 into 0
9.686 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.686 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.686 * [taylor]: Taking taylor expansion of 0 in y
9.686 * [backup-simplify]: Simplify 0 into 0
9.686 * [backup-simplify]: Simplify 0 into 0
9.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.687 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.688 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.688 * [taylor]: Taking taylor expansion of 0 in y
9.688 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.689 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
9.689 * * * [progress]: simplifying candidates
9.689 * [simplify]: Simplifying:
  (* 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))
9.690 * * [simplify]: iteration 0: 35 enodes
9.706 * * [simplify]: iteration 1: 86 enodes
9.737 * * [simplify]: iteration 2: 272 enodes
9.921 * * [simplify]: iteration 3: 822 enodes
11.288 * * [simplify]: iteration 4: 1991 enodes
15.013 * * [simplify]: iteration 5: 4264 enodes
16.006 * * [simplify]: iteration complete: 5000 enodes
16.006 * * [simplify]: Extracting #0: cost 10 inf + 0
16.007 * * [simplify]: Extracting #1: cost 211 inf + 0
16.013 * * [simplify]: Extracting #2: cost 566 inf + 6367
16.035 * * [simplify]: Extracting #3: cost 612 inf + 22740
16.064 * * [simplify]: Extracting #4: cost 334 inf + 128508
16.111 * * [simplify]: Extracting #5: cost 46 inf + 237063
16.159 * * [simplify]: Extracting #6: cost 3 inf + 253908
16.202 * * [simplify]: Extracting #7: cost 0 inf + 255070
16.256 * [simplify]: Simplified to:
  (* (* 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))
  (* y (* x (sqrt 27.0)))
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
16.257 * * * [progress]: adding candidates to table
16.321 * * [progress]: iteration 4 / 4
16.321 * * * [progress]: picking best candidate
16.330 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))>
16.331 * * * [progress]: localizing error
16.340 * * * [progress]: generating rewritten candidates
16.340 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
16.388 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
16.413 * * * [progress]: generating series expansions
16.413 * * * * [progress]: [ 1 / 2 ] generating series at (2)
16.414 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* x (* y (pow (sqrt 27.0) 2)))
16.414 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0
16.414 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y
16.415 * [taylor]: Taking taylor expansion of x in y
16.415 * [backup-simplify]: Simplify x into x
16.415 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
16.415 * [taylor]: Taking taylor expansion of y in y
16.415 * [backup-simplify]: Simplify 0 into 0
16.415 * [backup-simplify]: Simplify 1 into 1
16.415 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.415 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.415 * [taylor]: Taking taylor expansion of 27.0 in y
16.415 * [backup-simplify]: Simplify 27.0 into 27.0
16.415 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.416 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.416 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
16.416 * [taylor]: Taking taylor expansion of x in x
16.416 * [backup-simplify]: Simplify 0 into 0
16.416 * [backup-simplify]: Simplify 1 into 1
16.416 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
16.416 * [taylor]: Taking taylor expansion of y in x
16.416 * [backup-simplify]: Simplify y into y
16.416 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.416 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.416 * [taylor]: Taking taylor expansion of 27.0 in x
16.416 * [backup-simplify]: Simplify 27.0 into 27.0
16.416 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.417 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.417 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
16.417 * [taylor]: Taking taylor expansion of x in x
16.417 * [backup-simplify]: Simplify 0 into 0
16.417 * [backup-simplify]: Simplify 1 into 1
16.417 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
16.417 * [taylor]: Taking taylor expansion of y in x
16.417 * [backup-simplify]: Simplify y into y
16.417 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.417 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.417 * [taylor]: Taking taylor expansion of 27.0 in x
16.417 * [backup-simplify]: Simplify 27.0 into 27.0
16.418 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.418 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.419 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.420 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2))
16.420 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0
16.420 * [taylor]: Taking taylor expansion of 0 in y
16.420 * [backup-simplify]: Simplify 0 into 0
16.420 * [backup-simplify]: Simplify 0 into 0
16.421 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.421 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0
16.422 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2))
16.422 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
16.422 * [taylor]: Taking taylor expansion of y in y
16.422 * [backup-simplify]: Simplify 0 into 0
16.422 * [backup-simplify]: Simplify 1 into 1
16.422 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.422 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.422 * [taylor]: Taking taylor expansion of 27.0 in y
16.422 * [backup-simplify]: Simplify 27.0 into 27.0
16.423 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.424 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.424 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0
16.424 * [backup-simplify]: Simplify 0 into 0
16.424 * [backup-simplify]: Simplify 0 into 0
16.425 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.425 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.426 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
16.427 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0
16.427 * [taylor]: Taking taylor expansion of 0 in y
16.427 * [backup-simplify]: Simplify 0 into 0
16.427 * [backup-simplify]: Simplify 0 into 0
16.428 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.429 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2)
16.430 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.430 * [backup-simplify]: Simplify 0 into 0
16.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.431 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.432 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0
16.433 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0
16.433 * [taylor]: Taking taylor expansion of 0 in y
16.433 * [backup-simplify]: Simplify 0 into 0
16.433 * [backup-simplify]: Simplify 0 into 0
16.433 * [backup-simplify]: Simplify 0 into 0
16.434 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.434 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.435 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
16.435 * [backup-simplify]: Simplify 0 into 0
16.435 * [backup-simplify]: Simplify 0 into 0
16.436 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.437 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
16.438 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0
16.439 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0
16.439 * [taylor]: Taking taylor expansion of 0 in y
16.439 * [backup-simplify]: Simplify 0 into 0
16.439 * [backup-simplify]: Simplify 0 into 0
16.440 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2)))
16.440 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y))
16.440 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
16.440 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
16.440 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.440 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.440 * [taylor]: Taking taylor expansion of 27.0 in y
16.440 * [backup-simplify]: Simplify 27.0 into 27.0
16.441 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.441 * [taylor]: Taking taylor expansion of (* x y) in y
16.441 * [taylor]: Taking taylor expansion of x in y
16.441 * [backup-simplify]: Simplify x into x
16.441 * [taylor]: Taking taylor expansion of y in y
16.441 * [backup-simplify]: Simplify 0 into 0
16.441 * [backup-simplify]: Simplify 1 into 1
16.442 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.442 * [backup-simplify]: Simplify (* x 0) into 0
16.442 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.443 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
16.443 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.443 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.443 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.443 * [taylor]: Taking taylor expansion of 27.0 in x
16.443 * [backup-simplify]: Simplify 27.0 into 27.0
16.443 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.444 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.444 * [taylor]: Taking taylor expansion of (* x y) in x
16.444 * [taylor]: Taking taylor expansion of x in x
16.444 * [backup-simplify]: Simplify 0 into 0
16.444 * [backup-simplify]: Simplify 1 into 1
16.444 * [taylor]: Taking taylor expansion of y in x
16.444 * [backup-simplify]: Simplify y into y
16.444 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.444 * [backup-simplify]: Simplify (* 0 y) into 0
16.445 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.445 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.445 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.445 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.445 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.445 * [taylor]: Taking taylor expansion of 27.0 in x
16.445 * [backup-simplify]: Simplify 27.0 into 27.0
16.446 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.446 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.446 * [taylor]: Taking taylor expansion of (* x y) in x
16.446 * [taylor]: Taking taylor expansion of x in x
16.446 * [backup-simplify]: Simplify 0 into 0
16.446 * [backup-simplify]: Simplify 1 into 1
16.446 * [taylor]: Taking taylor expansion of y in x
16.446 * [backup-simplify]: Simplify y into y
16.447 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.447 * [backup-simplify]: Simplify (* 0 y) into 0
16.448 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.448 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.448 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
16.448 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.449 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.449 * [taylor]: Taking taylor expansion of 27.0 in y
16.449 * [backup-simplify]: Simplify 27.0 into 27.0
16.449 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.449 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.450 * [taylor]: Taking taylor expansion of y in y
16.450 * [backup-simplify]: Simplify 0 into 0
16.450 * [backup-simplify]: Simplify 1 into 1
16.450 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.452 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
16.452 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.453 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.455 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
16.455 * [taylor]: Taking taylor expansion of 0 in y
16.455 * [backup-simplify]: Simplify 0 into 0
16.455 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0
16.456 * [backup-simplify]: Simplify 0 into 0
16.457 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.457 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.458 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.459 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.459 * [taylor]: Taking taylor expansion of 0 in y
16.459 * [backup-simplify]: Simplify 0 into 0
16.459 * [backup-simplify]: Simplify 0 into 0
16.459 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.460 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.463 * [backup-simplify]: Simplify 0 into 0
16.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.465 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.468 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.468 * [taylor]: Taking taylor expansion of 0 in y
16.468 * [backup-simplify]: Simplify 0 into 0
16.468 * [backup-simplify]: Simplify 0 into 0
16.468 * [backup-simplify]: Simplify 0 into 0
16.469 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.469 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.470 * [backup-simplify]: Simplify 0 into 0
16.471 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2)))
16.471 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y))
16.472 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
16.472 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
16.472 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.472 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.472 * [taylor]: Taking taylor expansion of 27.0 in y
16.472 * [backup-simplify]: Simplify 27.0 into 27.0
16.472 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.473 * [taylor]: Taking taylor expansion of (* x y) in y
16.473 * [taylor]: Taking taylor expansion of x in y
16.473 * [backup-simplify]: Simplify x into x
16.473 * [taylor]: Taking taylor expansion of y in y
16.473 * [backup-simplify]: Simplify 0 into 0
16.473 * [backup-simplify]: Simplify 1 into 1
16.474 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.474 * [backup-simplify]: Simplify (* x 0) into 0
16.474 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.475 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
16.475 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.475 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.475 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.475 * [taylor]: Taking taylor expansion of 27.0 in x
16.475 * [backup-simplify]: Simplify 27.0 into 27.0
16.475 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.476 * [taylor]: Taking taylor expansion of (* x y) in x
16.476 * [taylor]: Taking taylor expansion of x in x
16.476 * [backup-simplify]: Simplify 0 into 0
16.476 * [backup-simplify]: Simplify 1 into 1
16.476 * [taylor]: Taking taylor expansion of y in x
16.476 * [backup-simplify]: Simplify y into y
16.477 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.477 * [backup-simplify]: Simplify (* 0 y) into 0
16.477 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.478 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.478 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.478 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.478 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.478 * [taylor]: Taking taylor expansion of 27.0 in x
16.478 * [backup-simplify]: Simplify 27.0 into 27.0
16.479 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.479 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.479 * [taylor]: Taking taylor expansion of (* x y) in x
16.479 * [taylor]: Taking taylor expansion of x in x
16.479 * [backup-simplify]: Simplify 0 into 0
16.479 * [backup-simplify]: Simplify 1 into 1
16.479 * [taylor]: Taking taylor expansion of y in x
16.479 * [backup-simplify]: Simplify y into y
16.480 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.480 * [backup-simplify]: Simplify (* 0 y) into 0
16.481 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.482 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.482 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
16.482 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.482 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.482 * [taylor]: Taking taylor expansion of 27.0 in y
16.482 * [backup-simplify]: Simplify 27.0 into 27.0
16.482 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.483 * [taylor]: Taking taylor expansion of y in y
16.483 * [backup-simplify]: Simplify 0 into 0
16.483 * [backup-simplify]: Simplify 1 into 1
16.484 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.485 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
16.486 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.487 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.488 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
16.488 * [taylor]: Taking taylor expansion of 0 in y
16.488 * [backup-simplify]: Simplify 0 into 0
16.489 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0
16.490 * [backup-simplify]: Simplify 0 into 0
16.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.491 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.493 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.494 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.494 * [taylor]: Taking taylor expansion of 0 in y
16.494 * [backup-simplify]: Simplify 0 into 0
16.494 * [backup-simplify]: Simplify 0 into 0
16.494 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.495 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.496 * [backup-simplify]: Simplify 0 into 0
16.498 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.499 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.501 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.501 * [taylor]: Taking taylor expansion of 0 in y
16.501 * [backup-simplify]: Simplify 0 into 0
16.501 * [backup-simplify]: Simplify 0 into 0
16.501 * [backup-simplify]: Simplify 0 into 0
16.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.503 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.504 * [backup-simplify]: Simplify 0 into 0
16.505 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2)))
16.505 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
16.506 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* x (* y (sqrt 27.0)))
16.506 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0
16.506 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y
16.506 * [taylor]: Taking taylor expansion of x in y
16.506 * [backup-simplify]: Simplify x into x
16.506 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
16.506 * [taylor]: Taking taylor expansion of y in y
16.506 * [backup-simplify]: Simplify 0 into 0
16.506 * [backup-simplify]: Simplify 1 into 1
16.506 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.506 * [taylor]: Taking taylor expansion of 27.0 in y
16.506 * [backup-simplify]: Simplify 27.0 into 27.0
16.506 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.507 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
16.507 * [taylor]: Taking taylor expansion of x in x
16.507 * [backup-simplify]: Simplify 0 into 0
16.507 * [backup-simplify]: Simplify 1 into 1
16.507 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
16.507 * [taylor]: Taking taylor expansion of y in x
16.507 * [backup-simplify]: Simplify y into y
16.507 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.507 * [taylor]: Taking taylor expansion of 27.0 in x
16.507 * [backup-simplify]: Simplify 27.0 into 27.0
16.507 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.508 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.508 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
16.508 * [taylor]: Taking taylor expansion of x in x
16.508 * [backup-simplify]: Simplify 0 into 0
16.508 * [backup-simplify]: Simplify 1 into 1
16.508 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
16.508 * [taylor]: Taking taylor expansion of y in x
16.508 * [backup-simplify]: Simplify y into y
16.508 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.508 * [taylor]: Taking taylor expansion of 27.0 in x
16.508 * [backup-simplify]: Simplify 27.0 into 27.0
16.508 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.509 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.509 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0))
16.510 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0
16.510 * [taylor]: Taking taylor expansion of 0 in y
16.510 * [backup-simplify]: Simplify 0 into 0
16.510 * [backup-simplify]: Simplify 0 into 0
16.510 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0
16.511 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0))
16.511 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
16.511 * [taylor]: Taking taylor expansion of y in y
16.511 * [backup-simplify]: Simplify 0 into 0
16.511 * [backup-simplify]: Simplify 1 into 1
16.511 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.511 * [taylor]: Taking taylor expansion of 27.0 in y
16.511 * [backup-simplify]: Simplify 27.0 into 27.0
16.512 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.512 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.513 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0
16.513 * [backup-simplify]: Simplify 0 into 0
16.513 * [backup-simplify]: Simplify 0 into 0
16.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.514 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0
16.515 * [taylor]: Taking taylor expansion of 0 in y
16.515 * [backup-simplify]: Simplify 0 into 0
16.515 * [backup-simplify]: Simplify 0 into 0
16.517 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0)
16.517 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.517 * [backup-simplify]: Simplify 0 into 0
16.518 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.519 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0
16.520 * [taylor]: Taking taylor expansion of 0 in y
16.520 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify 0 into 0
16.521 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.522 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0
16.522 * [backup-simplify]: Simplify 0 into 0
16.522 * [backup-simplify]: Simplify 0 into 0
16.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.524 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
16.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0
16.525 * [taylor]: Taking taylor expansion of 0 in y
16.525 * [backup-simplify]: Simplify 0 into 0
16.525 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0)))
16.526 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y))
16.526 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
16.526 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
16.526 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.526 * [taylor]: Taking taylor expansion of 27.0 in y
16.526 * [backup-simplify]: Simplify 27.0 into 27.0
16.527 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.527 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.527 * [taylor]: Taking taylor expansion of (* x y) in y
16.527 * [taylor]: Taking taylor expansion of x in y
16.527 * [backup-simplify]: Simplify x into x
16.527 * [taylor]: Taking taylor expansion of y in y
16.527 * [backup-simplify]: Simplify 0 into 0
16.527 * [backup-simplify]: Simplify 1 into 1
16.527 * [backup-simplify]: Simplify (* x 0) into 0
16.528 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.528 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
16.528 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.528 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.528 * [taylor]: Taking taylor expansion of 27.0 in x
16.528 * [backup-simplify]: Simplify 27.0 into 27.0
16.528 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.529 * [taylor]: Taking taylor expansion of (* x y) in x
16.529 * [taylor]: Taking taylor expansion of x in x
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 1 into 1
16.529 * [taylor]: Taking taylor expansion of y in x
16.529 * [backup-simplify]: Simplify y into y
16.529 * [backup-simplify]: Simplify (* 0 y) into 0
16.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.529 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.529 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.529 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.529 * [taylor]: Taking taylor expansion of 27.0 in x
16.529 * [backup-simplify]: Simplify 27.0 into 27.0
16.530 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.530 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.530 * [taylor]: Taking taylor expansion of (* x y) in x
16.530 * [taylor]: Taking taylor expansion of x in x
16.530 * [backup-simplify]: Simplify 0 into 0
16.530 * [backup-simplify]: Simplify 1 into 1
16.530 * [taylor]: Taking taylor expansion of y in x
16.530 * [backup-simplify]: Simplify y into y
16.530 * [backup-simplify]: Simplify (* 0 y) into 0
16.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.531 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.531 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
16.531 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.531 * [taylor]: Taking taylor expansion of 27.0 in y
16.531 * [backup-simplify]: Simplify 27.0 into 27.0
16.532 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.532 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.532 * [taylor]: Taking taylor expansion of y in y
16.532 * [backup-simplify]: Simplify 0 into 0
16.532 * [backup-simplify]: Simplify 1 into 1
16.533 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
16.533 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.534 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.535 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
16.535 * [taylor]: Taking taylor expansion of 0 in y
16.535 * [backup-simplify]: Simplify 0 into 0
16.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.538 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.538 * [taylor]: Taking taylor expansion of 0 in y
16.538 * [backup-simplify]: Simplify 0 into 0
16.538 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.542 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.543 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.543 * [taylor]: Taking taylor expansion of 0 in y
16.543 * [backup-simplify]: Simplify 0 into 0
16.543 * [backup-simplify]: Simplify 0 into 0
16.543 * [backup-simplify]: Simplify 0 into 0
16.544 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.545 * [backup-simplify]: Simplify 0 into 0
16.545 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0)))
16.546 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y))
16.546 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
16.546 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
16.546 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.546 * [taylor]: Taking taylor expansion of 27.0 in y
16.546 * [backup-simplify]: Simplify 27.0 into 27.0
16.546 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.547 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.547 * [taylor]: Taking taylor expansion of (* x y) in y
16.547 * [taylor]: Taking taylor expansion of x in y
16.547 * [backup-simplify]: Simplify x into x
16.547 * [taylor]: Taking taylor expansion of y in y
16.547 * [backup-simplify]: Simplify 0 into 0
16.547 * [backup-simplify]: Simplify 1 into 1
16.547 * [backup-simplify]: Simplify (* x 0) into 0
16.547 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.548 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
16.548 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.548 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.548 * [taylor]: Taking taylor expansion of 27.0 in x
16.548 * [backup-simplify]: Simplify 27.0 into 27.0
16.548 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.549 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.549 * [taylor]: Taking taylor expansion of (* x y) in x
16.549 * [taylor]: Taking taylor expansion of x in x
16.549 * [backup-simplify]: Simplify 0 into 0
16.549 * [backup-simplify]: Simplify 1 into 1
16.549 * [taylor]: Taking taylor expansion of y in x
16.549 * [backup-simplify]: Simplify y into y
16.549 * [backup-simplify]: Simplify (* 0 y) into 0
16.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.550 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.550 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.550 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.550 * [taylor]: Taking taylor expansion of 27.0 in x
16.550 * [backup-simplify]: Simplify 27.0 into 27.0
16.550 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.551 * [taylor]: Taking taylor expansion of (* x y) in x
16.551 * [taylor]: Taking taylor expansion of x in x
16.551 * [backup-simplify]: Simplify 0 into 0
16.551 * [backup-simplify]: Simplify 1 into 1
16.551 * [taylor]: Taking taylor expansion of y in x
16.551 * [backup-simplify]: Simplify y into y
16.551 * [backup-simplify]: Simplify (* 0 y) into 0
16.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.551 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.552 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
16.552 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.552 * [taylor]: Taking taylor expansion of 27.0 in y
16.552 * [backup-simplify]: Simplify 27.0 into 27.0
16.552 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.553 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.553 * [taylor]: Taking taylor expansion of y in y
16.553 * [backup-simplify]: Simplify 0 into 0
16.553 * [backup-simplify]: Simplify 1 into 1
16.553 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
16.554 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.555 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
16.555 * [taylor]: Taking taylor expansion of 0 in y
16.555 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.557 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.557 * [taylor]: Taking taylor expansion of 0 in y
16.557 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify 0 into 0
16.558 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.559 * [backup-simplify]: Simplify 0 into 0
16.559 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.560 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.561 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.561 * [taylor]: Taking taylor expansion of 0 in y
16.561 * [backup-simplify]: Simplify 0 into 0
16.561 * [backup-simplify]: Simplify 0 into 0
16.561 * [backup-simplify]: Simplify 0 into 0
16.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.562 * [backup-simplify]: Simplify 0 into 0
16.563 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0)))
16.563 * * * [progress]: simplifying candidates
16.564 * [simplify]: Simplifying:
  (* (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)))
  (* (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)))
16.565 * * [simplify]: iteration 0: 62 enodes
16.584 * * [simplify]: iteration 1: 160 enodes
16.651 * * [simplify]: iteration 2: 710 enodes
18.204 * * [simplify]: iteration 3: 3949 enodes
19.912 * * [simplify]: iteration complete: 5038 enodes
19.912 * * [simplify]: Extracting #0: cost 22 inf + 0
19.914 * * [simplify]: Extracting #1: cost 342 inf + 1
19.922 * * [simplify]: Extracting #2: cost 866 inf + 13345
19.947 * * [simplify]: Extracting #3: cost 349 inf + 121083
20.006 * * [simplify]: Extracting #4: cost 38 inf + 183177
20.069 * * [simplify]: Extracting #5: cost 7 inf + 189868
20.132 * * [simplify]: Extracting #6: cost 0 inf + 192412
20.175 * [simplify]: Simplified to:
  (* 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
  (* (* (cbrt (sqrt 27.0)) y) (* x (sqrt 27.0)))
  (* x (* (* y (sqrt 27.0)) (sqrt (cbrt 27.0))))
  (* (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) y)) x)
  (* y (* 27.0 x))
  (* (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) y)) x)
  (* y (* 27.0 x))
  (* (sqrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
  (log (* (sqrt 27.0) (* x y)))
  (log (* (sqrt 27.0) (* x y)))
  (log (* (sqrt 27.0) (* x y)))
  (exp (* (sqrt 27.0) (* x y)))
  (* (* 27.0 (* (* (sqrt 27.0) (* x y)) (* x y))) (* x y))
  (* (* 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)))
  (* (* 27.0 (* (* (sqrt 27.0) (* x y)) (* x y))) (* x y))
  (sqrt (* (sqrt 27.0) (* x y)))
  (sqrt (* (sqrt 27.0) (* x y)))
  (* x (sqrt 27.0))
  (* (* x y) (cbrt (sqrt 27.0)))
  (* (* x y) (sqrt (cbrt 27.0)))
  (* (sqrt (sqrt 27.0)) (* x y))
  (* (sqrt 27.0) (* x y))
  (* (sqrt (sqrt 27.0)) (* x y))
  (* (sqrt 27.0) (* x y))
  (* y (* 27.0 x))
  (* y (* 27.0 x))
  (* y (* 27.0 x))
  (* (sqrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
  (* (sqrt 27.0) (* x y))
20.176 * * * [progress]: adding candidates to table
20.295 * [progress]: [Phase 3 of 3] Extracting.
20.295 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* 27.0 (* x y)))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>)
20.295 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x)
20.295 * * * * [regimes]: Trying to branch on (* x 27.0) from (#<alt (λ (x y) (* 27.0 (* x y)))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>)
20.355 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (#<alt (λ (x y) (* 27.0 (* x y)))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>)
20.395 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* 27.0 (* x y)))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>)
20.446 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* 27.0 (* x y)))> #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))> #<alt (λ (x y) (* x (* 27.0 y)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>)
20.500 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
20.500 * [simplify]: Simplifying:
  (* (* x 27.0) y)
20.500 * * [simplify]: iteration 0: 5 enodes
20.501 * * [simplify]: iteration 1: 7 enodes
20.501 * * [simplify]: iteration complete: 7 enodes
20.501 * * [simplify]: Extracting #0: cost 1 inf + 0
20.501 * * [simplify]: Extracting #1: cost 3 inf + 0
20.501 * * [simplify]: Extracting #2: cost 4 inf + 1
20.501 * * [simplify]: Extracting #3: cost 2 inf + 3
20.501 * * [simplify]: Extracting #4: cost 0 inf + 128
20.501 * [simplify]: Simplified to:
  (* (* x 27.0) y)
21.613 * [regime-testing]: Baseline error score: 0.25490686335791973
21.621 * [regime-testing]: Oracle error score: 0.006000750093761721
21.638 * [regime-testing]: End program error score: 0.25490686335791973