13.234 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* (* x 27.0) y))>
0.036 * [simplify]: Simplifying:
  (* (* x 27.0) y)
0.036 * * [simplify]: iteration 0: 5 enodes
0.038 * * [simplify]: iteration 1: 9 enodes
0.041 * * [simplify]: iteration 2: 15 enodes
0.046 * * [simplify]: iteration 3: 17 enodes
0.051 * * [simplify]: iteration complete: 17 enodes
0.051 * * [simplify]: Extracting #0: cost 1 inf + 0
0.051 * * [simplify]: Extracting #1: cost 7 inf + 0
0.051 * * [simplify]: Extracting #2: cost 3 inf + 45
0.051 * * [simplify]: Extracting #3: cost 0 inf + 212
0.051 * [simplify]: Simplified to:
  (* (* x 27.0) y)
0.052 * * [progress]: iteration 1 / 4
0.052 * * * [progress]: picking best candidate
0.056 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x 27.0) y))>
0.056 * * * [progress]: localizing error
0.069 * * * [progress]: generating rewritten candidates
0.069 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.108 * * * [progress]: generating series expansions
0.108 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.108 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y))
0.108 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.108 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.108 * [taylor]: Taking taylor expansion of 27.0 in y
0.108 * [backup-simplify]: Simplify 27.0 into 27.0
0.108 * [taylor]: Taking taylor expansion of (* x y) in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [backup-simplify]: Simplify x into x
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify 1 into 1
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.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 * [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.110 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.111 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
0.111 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.111 * [taylor]: Taking taylor expansion of 27.0 in y
0.111 * [backup-simplify]: Simplify 27.0 into 27.0
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (* 27.0 0) into 0
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.113 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
0.115 * [backup-simplify]: Simplify 27.0 into 27.0
0.115 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.117 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) 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 (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.121 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
0.122 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y))
0.122 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.122 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.122 * [taylor]: Taking taylor expansion of 27.0 in y
0.122 * [backup-simplify]: Simplify 27.0 into 27.0
0.122 * [taylor]: Taking taylor expansion of (* x y) in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [backup-simplify]: Simplify x into x
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (* x 0) into 0
0.123 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.123 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.123 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.123 * [taylor]: Taking taylor expansion of 27.0 in x
0.123 * [backup-simplify]: Simplify 27.0 into 27.0
0.123 * [taylor]: Taking taylor expansion of (* x y) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [backup-simplify]: Simplify y into y
0.123 * [backup-simplify]: Simplify (* 0 y) into 0
0.123 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.123 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.123 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.123 * [taylor]: Taking taylor expansion of 27.0 in x
0.124 * [backup-simplify]: Simplify 27.0 into 27.0
0.124 * [taylor]: Taking taylor expansion of (* x y) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 1 into 1
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [backup-simplify]: Simplify y into y
0.124 * [backup-simplify]: Simplify (* 0 y) into 0
0.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.124 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.124 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.124 * [taylor]: Taking taylor expansion of 27.0 in y
0.124 * [backup-simplify]: Simplify 27.0 into 27.0
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 1 into 1
0.125 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.125 * [backup-simplify]: Simplify 27.0 into 27.0
0.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.126 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.126 * [taylor]: Taking taylor expansion of 0 in y
0.126 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.129 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.130 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.132 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
0.133 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- 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.134 * [backup-simplify]: Simplify 1 into 1
0.134 * [backup-simplify]: Simplify (* x 0) into 0
0.134 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.134 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
0.134 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.134 * [taylor]: Taking taylor expansion of 27.0 in x
0.134 * [backup-simplify]: Simplify 27.0 into 27.0
0.134 * [taylor]: Taking taylor expansion of (* x y) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [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 (+ (* 0 0) (* 1 y)) into y
0.135 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
0.135 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.135 * [taylor]: Taking taylor expansion of 27.0 in x
0.135 * [backup-simplify]: Simplify 27.0 into 27.0
0.135 * [taylor]: Taking taylor expansion of (* x y) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 1 into 1
0.135 * [taylor]: Taking taylor expansion of y in x
0.135 * [backup-simplify]: Simplify y into y
0.135 * [backup-simplify]: Simplify (* 0 y) into 0
0.136 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.136 * [backup-simplify]: Simplify (/ 27.0 y) 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.136 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
0.136 * [backup-simplify]: Simplify 27.0 into 27.0
0.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.138 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.140 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.143 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.143 * [taylor]: Taking taylor expansion of 0 in y
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
0.144 * * * [progress]: simplifying candidates
0.145 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.145 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.145 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* (* x 27.0) y) 1))>
0.145 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (+ (log x) (log 27.0)) (log y))))>
0.145 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (* x 27.0)) (log y))))>
0.145 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y))))>
0.145 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y))))>
0.145 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y))))>
0.145 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (* x 27.0) y)))>
0.145 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) (* (cbrt y) (cbrt y))) (cbrt y)))>
0.146 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))>
0.146 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (* x 27.0) 1) y))>
0.146 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (x y) (* x (* 27.0 y)))>
0.146 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (* x 27.0) y))))>
0.146 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (x y) (* y (* x 27.0)))>
0.146 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.146 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.146 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
0.147 * [simplify]: Simplifying:
  (expm1 (* (* x 27.0) y))
  (log1p (* (* 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)
  (real->posit16 (* (* x 27.0) y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.147 * * [simplify]: iteration 0: 43 enodes
0.167 * * [simplify]: iteration 1: 107 enodes
0.235 * * [simplify]: iteration 2: 366 enodes
0.542 * * [simplify]: iteration 3: 1408 enodes
1.316 * * [simplify]: iteration complete: 5006 enodes
1.316 * * [simplify]: Extracting #0: cost 14 inf + 0
1.318 * * [simplify]: Extracting #1: cost 516 inf + 0
1.335 * * [simplify]: Extracting #2: cost 1681 inf + 5903
1.363 * * [simplify]: Extracting #3: cost 1086 inf + 132247
1.448 * * [simplify]: Extracting #4: cost 116 inf + 268477
1.514 * * [simplify]: Extracting #5: cost 4 inf + 285219
1.580 * * [simplify]: Extracting #6: cost 0 inf + 284071
1.690 * * [simplify]: Extracting #7: cost 0 inf + 283911
1.764 * [simplify]: Simplified to:
  (expm1 (* (* x 27.0) y))
  (log1p (* (* 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))
  (* x (* (* (cbrt y) (cbrt y)) 27.0))
  (* (* (sqrt y) x) 27.0)
  (* x 27.0)
  (* y 27.0)
  (real->posit16 (* (* x 27.0) y))
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
1.765 * * * [progress]: adding candidates to table
1.817 * * [progress]: iteration 2 / 4
1.817 * * * [progress]: picking best candidate
1.830 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* 27.0 y)))>
1.830 * * * [progress]: localizing error
1.840 * * * [progress]: generating rewritten candidates
1.840 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.856 * * * [progress]: generating series expansions
1.856 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.856 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y))
1.856 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
1.856 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
1.856 * [taylor]: Taking taylor expansion of 27.0 in y
1.857 * [backup-simplify]: Simplify 27.0 into 27.0
1.857 * [taylor]: Taking taylor expansion of (* x y) in y
1.857 * [taylor]: Taking taylor expansion of x in y
1.857 * [backup-simplify]: Simplify x into x
1.857 * [taylor]: Taking taylor expansion of y in y
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
1.857 * [taylor]: Taking taylor expansion of 27.0 in x
1.857 * [backup-simplify]: Simplify 27.0 into 27.0
1.857 * [taylor]: Taking taylor expansion of (* x y) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [taylor]: Taking taylor expansion of y in x
1.857 * [backup-simplify]: Simplify y into y
1.857 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
1.857 * [taylor]: Taking taylor expansion of 27.0 in x
1.857 * [backup-simplify]: Simplify 27.0 into 27.0
1.857 * [taylor]: Taking taylor expansion of (* x y) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [taylor]: Taking taylor expansion of y in x
1.857 * [backup-simplify]: Simplify y into y
1.857 * [backup-simplify]: Simplify (* 0 y) into 0
1.858 * [backup-simplify]: Simplify (* 27.0 0) into 0
1.858 * [taylor]: Taking taylor expansion of 0 in y
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.858 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
1.858 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
1.858 * [taylor]: Taking taylor expansion of 27.0 in y
1.858 * [backup-simplify]: Simplify 27.0 into 27.0
1.858 * [taylor]: Taking taylor expansion of y in y
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (* 27.0 0) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.860 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
1.860 * [taylor]: Taking taylor expansion of 0 in y
1.860 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
1.861 * [backup-simplify]: Simplify 27.0 into 27.0
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.863 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
1.863 * [taylor]: Taking taylor expansion of 0 in y
1.863 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.866 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
1.866 * [taylor]: Taking taylor expansion of 0 in y
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
1.866 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y))
1.866 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
1.866 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
1.866 * [taylor]: Taking taylor expansion of 27.0 in y
1.866 * [backup-simplify]: Simplify 27.0 into 27.0
1.866 * [taylor]: Taking taylor expansion of (* x y) in y
1.866 * [taylor]: Taking taylor expansion of x in y
1.866 * [backup-simplify]: Simplify x into x
1.866 * [taylor]: Taking taylor expansion of y in y
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 1 into 1
1.866 * [backup-simplify]: Simplify (* x 0) into 0
1.867 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.867 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
1.867 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
1.867 * [taylor]: Taking taylor expansion of 27.0 in x
1.867 * [backup-simplify]: Simplify 27.0 into 27.0
1.867 * [taylor]: Taking taylor expansion of (* x y) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 1 into 1
1.867 * [taylor]: Taking taylor expansion of y in x
1.867 * [backup-simplify]: Simplify y into y
1.867 * [backup-simplify]: Simplify (* 0 y) into 0
1.867 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.867 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
1.867 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
1.867 * [taylor]: Taking taylor expansion of 27.0 in x
1.867 * [backup-simplify]: Simplify 27.0 into 27.0
1.867 * [taylor]: Taking taylor expansion of (* x y) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 1 into 1
1.867 * [taylor]: Taking taylor expansion of y in x
1.867 * [backup-simplify]: Simplify y into y
1.867 * [backup-simplify]: Simplify (* 0 y) into 0
1.868 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.868 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
1.868 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
1.868 * [taylor]: Taking taylor expansion of 27.0 in y
1.868 * [backup-simplify]: Simplify 27.0 into 27.0
1.868 * [taylor]: Taking taylor expansion of y in y
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify 1 into 1
1.868 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
1.868 * [backup-simplify]: Simplify 27.0 into 27.0
1.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.869 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
1.869 * [taylor]: Taking taylor expansion of 0 in y
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.870 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.870 * [taylor]: Taking taylor expansion of 0 in y
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.872 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.872 * [taylor]: Taking taylor expansion of 0 in y
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
1.873 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y))
1.873 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
1.873 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
1.873 * [taylor]: Taking taylor expansion of 27.0 in y
1.873 * [backup-simplify]: Simplify 27.0 into 27.0
1.873 * [taylor]: Taking taylor expansion of (* x y) in y
1.873 * [taylor]: Taking taylor expansion of x in y
1.873 * [backup-simplify]: Simplify x into x
1.873 * [taylor]: Taking taylor expansion of y in y
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 1 into 1
1.873 * [backup-simplify]: Simplify (* x 0) into 0
1.874 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.874 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
1.874 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
1.874 * [taylor]: Taking taylor expansion of 27.0 in x
1.874 * [backup-simplify]: Simplify 27.0 into 27.0
1.874 * [taylor]: Taking taylor expansion of (* x y) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 1 into 1
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [backup-simplify]: Simplify y into y
1.874 * [backup-simplify]: Simplify (* 0 y) into 0
1.874 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.874 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
1.874 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
1.874 * [taylor]: Taking taylor expansion of 27.0 in x
1.874 * [backup-simplify]: Simplify 27.0 into 27.0
1.874 * [taylor]: Taking taylor expansion of (* x y) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 1 into 1
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [backup-simplify]: Simplify y into y
1.874 * [backup-simplify]: Simplify (* 0 y) into 0
1.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.875 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
1.875 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
1.875 * [taylor]: Taking taylor expansion of 27.0 in y
1.875 * [backup-simplify]: Simplify 27.0 into 27.0
1.875 * [taylor]: Taking taylor expansion of y in y
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 1 into 1
1.875 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
1.875 * [backup-simplify]: Simplify 27.0 into 27.0
1.876 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.876 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
1.876 * [taylor]: Taking taylor expansion of 0 in y
1.876 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
1.876 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.877 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.877 * [taylor]: Taking taylor expansion of 0 in y
1.877 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.879 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.879 * [taylor]: Taking taylor expansion of 0 in y
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
1.880 * * * [progress]: simplifying candidates
1.880 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
1.880 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
1.880 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* x (* 27.0 y)) 1))>
1.880 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log x) (+ (log 27.0) (log y)))))>
1.880 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log x) (log (* 27.0 y)))))>
1.880 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (log (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (x y) (log (exp (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y)))))>
1.880 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y)))))>
1.880 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y)))))>
1.880 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (x y) (* 1 (* x (* 27.0 y))))>
1.881 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* x 27.0) y))>
1.881 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 27.0 y))))>
1.881 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* 27.0 y))))>
1.881 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (x y) (* 1 (* x (* 27.0 y))))>
1.881 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* x (* 27.0 y)))))>
1.881 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* 27.0 y) x))>
1.881 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
1.881 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
1.881 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
1.881 * [simplify]: Simplifying:
  (expm1 (* x (* 27.0 y)))
  (log1p (* 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))
  (real->posit16 (* x (* 27.0 y)))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
1.881 * * [simplify]: iteration 0: 40 enodes
1.890 * * [simplify]: iteration 1: 93 enodes
1.918 * * [simplify]: iteration 2: 304 enodes
2.203 * * [simplify]: iteration 3: 960 enodes
3.568 * * [simplify]: iteration 4: 2037 enodes
7.607 * * [simplify]: iteration 5: 4100 enodes
8.812 * * [simplify]: iteration complete: 5001 enodes
8.813 * * [simplify]: Extracting #0: cost 13 inf + 0
8.813 * * [simplify]: Extracting #1: cost 216 inf + 0
8.818 * * [simplify]: Extracting #2: cost 647 inf + 6378
8.831 * * [simplify]: Extracting #3: cost 709 inf + 31261
8.859 * * [simplify]: Extracting #4: cost 339 inf + 183547
8.917 * * [simplify]: Extracting #5: cost 44 inf + 297170
8.969 * * [simplify]: Extracting #6: cost 0 inf + 316655
9.029 * [simplify]: Simplified to:
  (expm1 (* (* y 27.0) x))
  (log1p (* (* 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)
  (* (* y 27.0) (cbrt x))
  (* (* y 27.0) (sqrt x))
  (* (* y 27.0) x)
  (real->posit16 (* (* y 27.0) x))
  (* (* y 27.0) x)
  (* (* y 27.0) x)
  (* (* y 27.0) x)
9.030 * * * [progress]: adding candidates to table
9.085 * * [progress]: iteration 3 / 4
9.085 * * * [progress]: picking best candidate
9.094 * * * * [pick]: Picked  #<alt (λ (x y) (* 27.0 (* x y)))>
9.094 * * * [progress]: localizing error
9.100 * * * [progress]: generating rewritten candidates
9.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.132 * * * [progress]: generating series expansions
9.132 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.133 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y))
9.133 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
9.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
9.133 * [taylor]: Taking taylor expansion of 27.0 in y
9.133 * [backup-simplify]: Simplify 27.0 into 27.0
9.133 * [taylor]: Taking taylor expansion of (* x y) in y
9.133 * [taylor]: Taking taylor expansion of x in y
9.133 * [backup-simplify]: Simplify x into x
9.133 * [taylor]: Taking taylor expansion of y in y
9.133 * [backup-simplify]: Simplify 0 into 0
9.133 * [backup-simplify]: Simplify 1 into 1
9.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
9.133 * [taylor]: Taking taylor expansion of 27.0 in x
9.133 * [backup-simplify]: Simplify 27.0 into 27.0
9.133 * [taylor]: Taking taylor expansion of (* x y) in x
9.133 * [taylor]: Taking taylor expansion of x in x
9.133 * [backup-simplify]: Simplify 0 into 0
9.133 * [backup-simplify]: Simplify 1 into 1
9.133 * [taylor]: Taking taylor expansion of y in x
9.133 * [backup-simplify]: Simplify y into y
9.133 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
9.133 * [taylor]: Taking taylor expansion of 27.0 in x
9.133 * [backup-simplify]: Simplify 27.0 into 27.0
9.133 * [taylor]: Taking taylor expansion of (* x y) in x
9.133 * [taylor]: Taking taylor expansion of x in x
9.134 * [backup-simplify]: Simplify 0 into 0
9.134 * [backup-simplify]: Simplify 1 into 1
9.134 * [taylor]: Taking taylor expansion of y in x
9.134 * [backup-simplify]: Simplify y into y
9.134 * [backup-simplify]: Simplify (* 0 y) into 0
9.135 * [backup-simplify]: Simplify (* 27.0 0) into 0
9.135 * [taylor]: Taking taylor expansion of 0 in y
9.135 * [backup-simplify]: Simplify 0 into 0
9.135 * [backup-simplify]: Simplify 0 into 0
9.135 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.136 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y)
9.136 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
9.136 * [taylor]: Taking taylor expansion of 27.0 in y
9.136 * [backup-simplify]: Simplify 27.0 into 27.0
9.136 * [taylor]: Taking taylor expansion of y in y
9.136 * [backup-simplify]: Simplify 0 into 0
9.136 * [backup-simplify]: Simplify 1 into 1
9.137 * [backup-simplify]: Simplify (* 27.0 0) into 0
9.137 * [backup-simplify]: Simplify 0 into 0
9.137 * [backup-simplify]: Simplify 0 into 0
9.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.138 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0
9.138 * [taylor]: Taking taylor expansion of 0 in y
9.139 * [backup-simplify]: Simplify 0 into 0
9.139 * [backup-simplify]: Simplify 0 into 0
9.140 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0
9.140 * [backup-simplify]: Simplify 27.0 into 27.0
9.140 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.143 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
9.143 * [taylor]: Taking taylor expansion of 0 in y
9.143 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify 0 into 0
9.144 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0
9.144 * [backup-simplify]: Simplify 0 into 0
9.144 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.147 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
9.147 * [taylor]: Taking taylor expansion of 0 in y
9.147 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y))
9.148 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y))
9.148 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
9.148 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
9.148 * [taylor]: Taking taylor expansion of 27.0 in y
9.148 * [backup-simplify]: Simplify 27.0 into 27.0
9.148 * [taylor]: Taking taylor expansion of (* x y) in y
9.148 * [taylor]: Taking taylor expansion of x in y
9.148 * [backup-simplify]: Simplify x into x
9.148 * [taylor]: Taking taylor expansion of y in y
9.148 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify 1 into 1
9.148 * [backup-simplify]: Simplify (* x 0) into 0
9.148 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.149 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
9.149 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.149 * [taylor]: Taking taylor expansion of 27.0 in x
9.149 * [backup-simplify]: Simplify 27.0 into 27.0
9.149 * [taylor]: Taking taylor expansion of (* x y) in x
9.149 * [taylor]: Taking taylor expansion of x in x
9.149 * [backup-simplify]: Simplify 0 into 0
9.149 * [backup-simplify]: Simplify 1 into 1
9.149 * [taylor]: Taking taylor expansion of y in x
9.149 * [backup-simplify]: Simplify y into y
9.149 * [backup-simplify]: Simplify (* 0 y) into 0
9.149 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.149 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.149 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.149 * [taylor]: Taking taylor expansion of 27.0 in x
9.149 * [backup-simplify]: Simplify 27.0 into 27.0
9.149 * [taylor]: Taking taylor expansion of (* x y) in x
9.150 * [taylor]: Taking taylor expansion of x in x
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 1 into 1
9.150 * [taylor]: Taking taylor expansion of y in x
9.150 * [backup-simplify]: Simplify y into y
9.150 * [backup-simplify]: Simplify (* 0 y) into 0
9.150 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.150 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.150 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
9.150 * [taylor]: Taking taylor expansion of 27.0 in y
9.150 * [backup-simplify]: Simplify 27.0 into 27.0
9.150 * [taylor]: Taking taylor expansion of y in y
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 1 into 1
9.151 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
9.151 * [backup-simplify]: Simplify 27.0 into 27.0
9.152 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.152 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
9.152 * [taylor]: Taking taylor expansion of 0 in y
9.152 * [backup-simplify]: Simplify 0 into 0
9.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
9.153 * [backup-simplify]: Simplify 0 into 0
9.154 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.154 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.154 * [taylor]: Taking taylor expansion of 0 in y
9.154 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify 0 into 0
9.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.156 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.158 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.158 * [taylor]: Taking taylor expansion of 0 in y
9.158 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 0 into 0
9.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.159 * [backup-simplify]: Simplify 0 into 0
9.159 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y))
9.160 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y))
9.160 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
9.160 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
9.160 * [taylor]: Taking taylor expansion of 27.0 in y
9.160 * [backup-simplify]: Simplify 27.0 into 27.0
9.160 * [taylor]: Taking taylor expansion of (* x y) in y
9.160 * [taylor]: Taking taylor expansion of x in y
9.160 * [backup-simplify]: Simplify x into x
9.160 * [taylor]: Taking taylor expansion of y in y
9.160 * [backup-simplify]: Simplify 0 into 0
9.160 * [backup-simplify]: Simplify 1 into 1
9.160 * [backup-simplify]: Simplify (* x 0) into 0
9.160 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.160 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x)
9.160 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.160 * [taylor]: Taking taylor expansion of 27.0 in x
9.161 * [backup-simplify]: Simplify 27.0 into 27.0
9.161 * [taylor]: Taking taylor expansion of (* x y) in x
9.161 * [taylor]: Taking taylor expansion of x in x
9.161 * [backup-simplify]: Simplify 0 into 0
9.161 * [backup-simplify]: Simplify 1 into 1
9.161 * [taylor]: Taking taylor expansion of y in x
9.161 * [backup-simplify]: Simplify y into y
9.161 * [backup-simplify]: Simplify (* 0 y) into 0
9.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.161 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.161 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
9.161 * [taylor]: Taking taylor expansion of 27.0 in x
9.161 * [backup-simplify]: Simplify 27.0 into 27.0
9.161 * [taylor]: Taking taylor expansion of (* x y) in x
9.161 * [taylor]: Taking taylor expansion of x in x
9.161 * [backup-simplify]: Simplify 0 into 0
9.161 * [backup-simplify]: Simplify 1 into 1
9.161 * [taylor]: Taking taylor expansion of y in x
9.162 * [backup-simplify]: Simplify y into y
9.162 * [backup-simplify]: Simplify (* 0 y) into 0
9.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.162 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y)
9.162 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
9.162 * [taylor]: Taking taylor expansion of 27.0 in y
9.162 * [backup-simplify]: Simplify 27.0 into 27.0
9.162 * [taylor]: Taking taylor expansion of y in y
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify 1 into 1
9.163 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0
9.163 * [backup-simplify]: Simplify 27.0 into 27.0
9.164 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.164 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0
9.164 * [taylor]: Taking taylor expansion of 0 in y
9.164 * [backup-simplify]: Simplify 0 into 0
9.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0
9.165 * [backup-simplify]: Simplify 0 into 0
9.166 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.166 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.166 * [taylor]: Taking taylor expansion of 0 in y
9.166 * [backup-simplify]: Simplify 0 into 0
9.166 * [backup-simplify]: Simplify 0 into 0
9.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.167 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.169 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.169 * [taylor]: Taking taylor expansion of 0 in y
9.169 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify 0 into 0
9.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.171 * [backup-simplify]: Simplify 0 into 0
9.171 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y))
9.171 * * * [progress]: simplifying candidates
9.171 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* 27.0 (* x y)))))>
9.171 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* 27.0 (* x y)))))>
9.171 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
9.171 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
9.171 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (x y) (pow (* 27.0 (* x y)) 1))>
9.172 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log 27.0) (+ (log x) (log y)))))>
9.172 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log 27.0) (log (* x y)))))>
9.172 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (x y) (exp (log (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (x y) (log (exp (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y)))))>
9.172 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y)))))>
9.172 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 27.0 (* x y))))>
9.172 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* 27.0 x) y))>
9.172 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt 27.0) (cbrt 27.0)) (* (cbrt 27.0) (* x y))))>
9.172 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))>
9.172 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 27.0 (* x y))))>
9.172 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* 27.0 (* x y)))))>
9.172 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (x y) (* (* x y) 27.0))>
9.173 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
9.173 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
9.173 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (x y) (* 27.0 (* x y)))>
9.173 * [simplify]: Simplifying:
  (expm1 (* 27.0 (* x y)))
  (log1p (* 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))
  (real->posit16 (* 27.0 (* x y)))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
9.174 * * [simplify]: iteration 0: 38 enodes
9.192 * * [simplify]: iteration 1: 88 enodes
9.226 * * [simplify]: iteration 2: 273 enodes
9.365 * * [simplify]: iteration 3: 836 enodes
10.369 * * [simplify]: iteration 4: 2001 enodes
15.023 * * [simplify]: iteration 5: 4682 enodes
16.052 * * [simplify]: iteration complete: 5002 enodes
16.052 * * [simplify]: Extracting #0: cost 13 inf + 0
16.052 * * [simplify]: Extracting #1: cost 208 inf + 0
16.056 * * [simplify]: Extracting #2: cost 505 inf + 6968
16.070 * * [simplify]: Extracting #3: cost 469 inf + 31789
16.115 * * [simplify]: Extracting #4: cost 139 inf + 160372
16.166 * * [simplify]: Extracting #5: cost 24 inf + 204474
16.224 * * [simplify]: Extracting #6: cost 4 inf + 212314
16.261 * * [simplify]: Extracting #7: cost 0 inf + 214884
16.296 * [simplify]: Simplified to:
  (expm1 (* (* y x) 27.0))
  (log1p (* (* 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)
  (* x (* (cbrt 27.0) y))
  (* (* (sqrt 27.0) y) x)
  (* (* y x) 27.0)
  (real->posit16 (* (* y x) 27.0))
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
16.297 * * * [progress]: adding candidates to table
16.360 * * [progress]: iteration 4 / 4
16.360 * * * [progress]: picking best candidate
16.367 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))>
16.367 * * * [progress]: localizing error
16.379 * * * [progress]: generating rewritten candidates
16.379 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
16.426 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
16.445 * * * [progress]: generating series expansions
16.445 * * * * [progress]: [ 1 / 2 ] generating series at (2)
16.446 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* x (* y (pow (sqrt 27.0) 2)))
16.446 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0
16.446 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y
16.446 * [taylor]: Taking taylor expansion of x in y
16.446 * [backup-simplify]: Simplify x into x
16.446 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
16.446 * [taylor]: Taking taylor expansion of y in y
16.446 * [backup-simplify]: Simplify 0 into 0
16.446 * [backup-simplify]: Simplify 1 into 1
16.446 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.446 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.446 * [taylor]: Taking taylor expansion of 27.0 in y
16.446 * [backup-simplify]: Simplify 27.0 into 27.0
16.446 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.447 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.447 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
16.447 * [taylor]: Taking taylor expansion of x in x
16.447 * [backup-simplify]: Simplify 0 into 0
16.447 * [backup-simplify]: Simplify 1 into 1
16.447 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
16.447 * [taylor]: Taking taylor expansion of y in x
16.447 * [backup-simplify]: Simplify y into y
16.447 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.447 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.447 * [taylor]: Taking taylor expansion of 27.0 in x
16.447 * [backup-simplify]: Simplify 27.0 into 27.0
16.447 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.448 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.448 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x
16.448 * [taylor]: Taking taylor expansion of x in x
16.448 * [backup-simplify]: Simplify 0 into 0
16.448 * [backup-simplify]: Simplify 1 into 1
16.448 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x
16.448 * [taylor]: Taking taylor expansion of y in x
16.448 * [backup-simplify]: Simplify y into y
16.448 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.448 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.448 * [taylor]: Taking taylor expansion of 27.0 in x
16.448 * [backup-simplify]: Simplify 27.0 into 27.0
16.448 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.448 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.449 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.450 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2))
16.451 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0
16.451 * [taylor]: Taking taylor expansion of 0 in y
16.451 * [backup-simplify]: Simplify 0 into 0
16.451 * [backup-simplify]: Simplify 0 into 0
16.451 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.452 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0
16.453 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2))
16.453 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y
16.453 * [taylor]: Taking taylor expansion of y in y
16.453 * [backup-simplify]: Simplify 0 into 0
16.453 * [backup-simplify]: Simplify 1 into 1
16.453 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.453 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.453 * [taylor]: Taking taylor expansion of 27.0 in y
16.453 * [backup-simplify]: Simplify 27.0 into 27.0
16.453 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.453 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.454 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.455 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0
16.455 * [backup-simplify]: Simplify 0 into 0
16.455 * [backup-simplify]: Simplify 0 into 0
16.455 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.456 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.457 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
16.458 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0
16.458 * [taylor]: Taking taylor expansion of 0 in y
16.458 * [backup-simplify]: Simplify 0 into 0
16.458 * [backup-simplify]: Simplify 0 into 0
16.458 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.462 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2)
16.462 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.463 * [backup-simplify]: Simplify 0 into 0
16.463 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.464 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.465 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0
16.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0
16.466 * [taylor]: Taking taylor expansion of 0 in y
16.466 * [backup-simplify]: Simplify 0 into 0
16.466 * [backup-simplify]: Simplify 0 into 0
16.466 * [backup-simplify]: Simplify 0 into 0
16.467 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.467 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0
16.468 * [backup-simplify]: Simplify 0 into 0
16.468 * [backup-simplify]: Simplify 0 into 0
16.469 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.470 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
16.471 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0
16.472 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0
16.472 * [taylor]: Taking taylor expansion of 0 in y
16.472 * [backup-simplify]: Simplify 0 into 0
16.472 * [backup-simplify]: Simplify 0 into 0
16.473 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2)))
16.473 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y))
16.474 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
16.474 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
16.474 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.474 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.474 * [taylor]: Taking taylor expansion of 27.0 in y
16.474 * [backup-simplify]: Simplify 27.0 into 27.0
16.474 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.474 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.474 * [taylor]: Taking taylor expansion of (* x y) in y
16.474 * [taylor]: Taking taylor expansion of x in y
16.474 * [backup-simplify]: Simplify x into x
16.474 * [taylor]: Taking taylor expansion of y in y
16.474 * [backup-simplify]: Simplify 0 into 0
16.474 * [backup-simplify]: Simplify 1 into 1
16.475 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.475 * [backup-simplify]: Simplify (* x 0) into 0
16.475 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.476 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
16.476 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.476 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.476 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.476 * [taylor]: Taking taylor expansion of 27.0 in x
16.476 * [backup-simplify]: Simplify 27.0 into 27.0
16.476 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.477 * [taylor]: Taking taylor expansion of (* x y) in x
16.477 * [taylor]: Taking taylor expansion of x in x
16.477 * [backup-simplify]: Simplify 0 into 0
16.477 * [backup-simplify]: Simplify 1 into 1
16.477 * [taylor]: Taking taylor expansion of y in x
16.477 * [backup-simplify]: Simplify y into y
16.478 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.478 * [backup-simplify]: Simplify (* 0 y) into 0
16.478 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.479 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.479 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.479 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.479 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.479 * [taylor]: Taking taylor expansion of 27.0 in x
16.479 * [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.480 * [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.481 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.481 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
16.481 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.481 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.481 * [taylor]: Taking taylor expansion of 27.0 in y
16.481 * [backup-simplify]: Simplify 27.0 into 27.0
16.482 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.482 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.482 * [taylor]: Taking taylor expansion of y in y
16.482 * [backup-simplify]: Simplify 0 into 0
16.482 * [backup-simplify]: Simplify 1 into 1
16.483 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.484 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
16.484 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.485 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.486 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
16.486 * [taylor]: Taking taylor expansion of 0 in y
16.486 * [backup-simplify]: Simplify 0 into 0
16.486 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0
16.487 * [backup-simplify]: Simplify 0 into 0
16.488 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.488 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.489 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.490 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.490 * [taylor]: Taking taylor expansion of 0 in y
16.490 * [backup-simplify]: Simplify 0 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.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.492 * [backup-simplify]: Simplify 0 into 0
16.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.494 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.495 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.495 * [taylor]: Taking taylor expansion of 0 in y
16.495 * [backup-simplify]: Simplify 0 into 0
16.495 * [backup-simplify]: Simplify 0 into 0
16.495 * [backup-simplify]: Simplify 0 into 0
16.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.497 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.498 * [backup-simplify]: Simplify 0 into 0
16.498 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2)))
16.499 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y))
16.499 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
16.499 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
16.499 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.499 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.499 * [taylor]: Taking taylor expansion of 27.0 in y
16.499 * [backup-simplify]: Simplify 27.0 into 27.0
16.499 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.500 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.500 * [taylor]: Taking taylor expansion of (* x y) in y
16.500 * [taylor]: Taking taylor expansion of x in y
16.500 * [backup-simplify]: Simplify x into x
16.500 * [taylor]: Taking taylor expansion of y in y
16.500 * [backup-simplify]: Simplify 0 into 0
16.500 * [backup-simplify]: Simplify 1 into 1
16.500 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.500 * [backup-simplify]: Simplify (* x 0) into 0
16.501 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.501 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x)
16.501 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.501 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.501 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.501 * [taylor]: Taking taylor expansion of 27.0 in x
16.501 * [backup-simplify]: Simplify 27.0 into 27.0
16.502 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.502 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.502 * [taylor]: Taking taylor expansion of (* x y) in x
16.502 * [taylor]: Taking taylor expansion of x in x
16.502 * [backup-simplify]: Simplify 0 into 0
16.502 * [backup-simplify]: Simplify 1 into 1
16.502 * [taylor]: Taking taylor expansion of y in x
16.502 * [backup-simplify]: Simplify y into y
16.503 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.503 * [backup-simplify]: Simplify (* 0 y) into 0
16.503 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.504 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.504 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
16.504 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
16.504 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.504 * [taylor]: Taking taylor expansion of 27.0 in x
16.504 * [backup-simplify]: Simplify 27.0 into 27.0
16.504 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.505 * [taylor]: Taking taylor expansion of (* x y) in x
16.505 * [taylor]: Taking taylor expansion of x in x
16.505 * [backup-simplify]: Simplify 0 into 0
16.505 * [backup-simplify]: Simplify 1 into 1
16.505 * [taylor]: Taking taylor expansion of y in x
16.505 * [backup-simplify]: Simplify y into y
16.506 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.506 * [backup-simplify]: Simplify (* 0 y) into 0
16.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.507 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y)
16.507 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
16.507 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
16.507 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.507 * [taylor]: Taking taylor expansion of 27.0 in y
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 y in y
16.508 * [backup-simplify]: Simplify 0 into 0
16.508 * [backup-simplify]: Simplify 1 into 1
16.509 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2)
16.510 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2)
16.510 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2)
16.511 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.511 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.512 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0
16.512 * [taylor]: Taking taylor expansion of 0 in y
16.512 * [backup-simplify]: Simplify 0 into 0
16.512 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0
16.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) 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 (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.516 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.516 * [taylor]: Taking taylor expansion of 0 in y
16.516 * [backup-simplify]: Simplify 0 into 0
16.516 * [backup-simplify]: Simplify 0 into 0
16.516 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.517 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.518 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.519 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.521 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.521 * [taylor]: Taking taylor expansion of 0 in y
16.521 * [backup-simplify]: Simplify 0 into 0
16.521 * [backup-simplify]: Simplify 0 into 0
16.521 * [backup-simplify]: Simplify 0 into 0
16.522 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.523 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2)))
16.524 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
16.525 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* x (* y (sqrt 27.0)))
16.525 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0
16.525 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y
16.525 * [taylor]: Taking taylor expansion of x in y
16.525 * [backup-simplify]: Simplify x into x
16.525 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
16.525 * [taylor]: Taking taylor expansion of y in y
16.525 * [backup-simplify]: Simplify 0 into 0
16.525 * [backup-simplify]: Simplify 1 into 1
16.525 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.525 * [taylor]: Taking taylor expansion of 27.0 in y
16.525 * [backup-simplify]: Simplify 27.0 into 27.0
16.525 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.526 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
16.526 * [taylor]: Taking taylor expansion of x in x
16.526 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify 1 into 1
16.526 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
16.526 * [taylor]: Taking taylor expansion of y in x
16.526 * [backup-simplify]: Simplify y into y
16.526 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.526 * [taylor]: Taking taylor expansion of 27.0 in x
16.526 * [backup-simplify]: Simplify 27.0 into 27.0
16.526 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.526 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.526 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x
16.526 * [taylor]: Taking taylor expansion of x in x
16.526 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify 1 into 1
16.526 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x
16.526 * [taylor]: Taking taylor expansion of y in x
16.526 * [backup-simplify]: Simplify y into y
16.527 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.527 * [taylor]: Taking taylor expansion of 27.0 in x
16.527 * [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.528 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0))
16.528 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0
16.528 * [taylor]: Taking taylor expansion of 0 in y
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0
16.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0))
16.529 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y
16.529 * [taylor]: Taking taylor expansion of y in y
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 1 into 1
16.529 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.529 * [taylor]: Taking taylor expansion of 27.0 in y
16.529 * [backup-simplify]: Simplify 27.0 into 27.0
16.529 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.530 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.530 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0
16.530 * [backup-simplify]: Simplify 0 into 0
16.530 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.531 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0
16.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0
16.532 * [taylor]: Taking taylor expansion of 0 in y
16.532 * [backup-simplify]: Simplify 0 into 0
16.532 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0)
16.533 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.535 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0
16.536 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0
16.536 * [taylor]: Taking taylor expansion of 0 in y
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.538 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.539 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0
16.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0
16.540 * [taylor]: Taking taylor expansion of 0 in y
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0)))
16.541 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y))
16.541 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
16.541 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
16.541 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.541 * [taylor]: Taking taylor expansion of 27.0 in y
16.541 * [backup-simplify]: Simplify 27.0 into 27.0
16.541 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.541 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.541 * [taylor]: Taking taylor expansion of (* x y) in y
16.541 * [taylor]: Taking taylor expansion of x in y
16.541 * [backup-simplify]: Simplify x into x
16.541 * [taylor]: Taking taylor expansion of y in y
16.541 * [backup-simplify]: Simplify 0 into 0
16.542 * [backup-simplify]: Simplify 1 into 1
16.542 * [backup-simplify]: Simplify (* x 0) into 0
16.542 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.542 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
16.542 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.542 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.542 * [taylor]: Taking taylor expansion of 27.0 in x
16.542 * [backup-simplify]: Simplify 27.0 into 27.0
16.542 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.543 * [taylor]: Taking taylor expansion of (* x y) in x
16.543 * [taylor]: Taking taylor expansion of x in x
16.543 * [backup-simplify]: Simplify 0 into 0
16.543 * [backup-simplify]: Simplify 1 into 1
16.543 * [taylor]: Taking taylor expansion of y in x
16.543 * [backup-simplify]: Simplify y into y
16.543 * [backup-simplify]: Simplify (* 0 y) into 0
16.543 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.544 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.544 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.544 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.544 * [taylor]: Taking taylor expansion of 27.0 in x
16.544 * [backup-simplify]: Simplify 27.0 into 27.0
16.544 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.544 * [taylor]: Taking taylor expansion of (* x y) in x
16.544 * [taylor]: Taking taylor expansion of x in x
16.544 * [backup-simplify]: Simplify 0 into 0
16.544 * [backup-simplify]: Simplify 1 into 1
16.544 * [taylor]: Taking taylor expansion of y in x
16.544 * [backup-simplify]: Simplify y into y
16.544 * [backup-simplify]: Simplify (* 0 y) into 0
16.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.545 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.545 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
16.545 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.545 * [taylor]: Taking taylor expansion of 27.0 in y
16.545 * [backup-simplify]: Simplify 27.0 into 27.0
16.545 * [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 y in y
16.547 * [backup-simplify]: Simplify 0 into 0
16.547 * [backup-simplify]: Simplify 1 into 1
16.548 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
16.548 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.549 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
16.549 * [taylor]: Taking taylor expansion of 0 in y
16.549 * [backup-simplify]: Simplify 0 into 0
16.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
16.550 * [backup-simplify]: Simplify 0 into 0
16.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.551 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.551 * [taylor]: Taking taylor expansion of 0 in y
16.551 * [backup-simplify]: Simplify 0 into 0
16.551 * [backup-simplify]: Simplify 0 into 0
16.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.553 * [backup-simplify]: Simplify 0 into 0
16.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.555 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.555 * [taylor]: Taking taylor expansion of 0 in y
16.555 * [backup-simplify]: Simplify 0 into 0
16.555 * [backup-simplify]: Simplify 0 into 0
16.555 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0)))
16.557 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y))
16.557 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
16.557 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
16.557 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.557 * [taylor]: Taking taylor expansion of 27.0 in y
16.557 * [backup-simplify]: Simplify 27.0 into 27.0
16.557 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.558 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.558 * [taylor]: Taking taylor expansion of (* x y) in y
16.558 * [taylor]: Taking taylor expansion of x in y
16.558 * [backup-simplify]: Simplify x into x
16.558 * [taylor]: Taking taylor expansion of y in y
16.558 * [backup-simplify]: Simplify 0 into 0
16.558 * [backup-simplify]: Simplify 1 into 1
16.558 * [backup-simplify]: Simplify (* x 0) into 0
16.558 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
16.559 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x)
16.559 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.559 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.559 * [taylor]: Taking taylor expansion of 27.0 in x
16.559 * [backup-simplify]: Simplify 27.0 into 27.0
16.559 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.559 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.559 * [taylor]: Taking taylor expansion of (* x y) in x
16.559 * [taylor]: Taking taylor expansion of x in x
16.559 * [backup-simplify]: Simplify 0 into 0
16.559 * [backup-simplify]: Simplify 1 into 1
16.559 * [taylor]: Taking taylor expansion of y in x
16.559 * [backup-simplify]: Simplify y into y
16.560 * [backup-simplify]: Simplify (* 0 y) into 0
16.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.560 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.560 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
16.560 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
16.560 * [taylor]: Taking taylor expansion of 27.0 in x
16.560 * [backup-simplify]: Simplify 27.0 into 27.0
16.560 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.561 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.561 * [taylor]: Taking taylor expansion of (* x y) in x
16.561 * [taylor]: Taking taylor expansion of x in x
16.561 * [backup-simplify]: Simplify 0 into 0
16.561 * [backup-simplify]: Simplify 1 into 1
16.561 * [taylor]: Taking taylor expansion of y in x
16.561 * [backup-simplify]: Simplify y into y
16.561 * [backup-simplify]: Simplify (* 0 y) into 0
16.561 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
16.561 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y)
16.562 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
16.562 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
16.562 * [taylor]: Taking taylor expansion of 27.0 in y
16.562 * [backup-simplify]: Simplify 27.0 into 27.0
16.562 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0
16.562 * [taylor]: Taking taylor expansion of y in y
16.562 * [backup-simplify]: Simplify 0 into 0
16.562 * [backup-simplify]: Simplify 1 into 1
16.563 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0)
16.563 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0)
16.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
16.564 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0
16.564 * [taylor]: Taking taylor expansion of 0 in y
16.564 * [backup-simplify]: Simplify 0 into 0
16.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0
16.565 * [backup-simplify]: Simplify 0 into 0
16.565 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
16.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.567 * [taylor]: Taking taylor expansion of 0 in y
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0
16.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.568 * [backup-simplify]: Simplify 0 into 0
16.569 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.570 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
16.570 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.570 * [taylor]: Taking taylor expansion of 0 in y
16.570 * [backup-simplify]: Simplify 0 into 0
16.570 * [backup-simplify]: Simplify 0 into 0
16.570 * [backup-simplify]: Simplify 0 into 0
16.571 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0
16.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.572 * [backup-simplify]: Simplify 0 into 0
16.572 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0)))
16.572 * * * [progress]: simplifying candidates
16.572 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.572 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.572 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
16.573 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
16.573 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
16.573 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) 1))>
16.573 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y))))))>
16.573 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y))))))>
16.573 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y))))))>
16.573 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.573 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.573 * * * * [progress]: [ 12 / 57 ] 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))))))>
16.573 * * * * [progress]: [ 13 / 57 ] 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))))))>
16.573 * * * * [progress]: [ 14 / 57 ] 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))))))>
16.573 * * * * [progress]: [ 15 / 57 ] 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))))))>
16.573 * * * * [progress]: [ 16 / 57 ] 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))))))>
16.573 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.573 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
16.573 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 27.0) (sqrt 27.0)) (* x y)))>
16.573 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
16.573 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (cbrt 27.0) (cbrt 27.0))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y)))))>
16.573 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
16.573 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 1) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
16.573 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>
16.574 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))))>
16.574 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 27.0) (* x y)) (sqrt 27.0)))>
16.574 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (log1p (expm1 (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (expm1 (log1p (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
16.574 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
16.574 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (pow (* (sqrt 27.0) (* x y)) 1)))>
16.574 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (+ (log (sqrt 27.0)) (+ (log x) (log y))))))>
16.574 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (+ (log (sqrt 27.0)) (log (* x y))))))>
16.574 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (exp (log (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (log (exp (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))))))>
16.574 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))))))>
16.574 * * * * [progress]: [ 39 / 57 ] 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))))))>
16.574 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (cbrt (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))))))>
16.574 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* 1 (* (sqrt 27.0) (* x y)))))>
16.574 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)))>
16.574 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))) (* (cbrt (sqrt 27.0)) (* x y)))))>
16.574 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (* (cbrt 27.0) (cbrt 27.0))) (* (sqrt (cbrt 27.0)) (* x y)))))>
16.574 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>
16.574 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt 1) (* (sqrt 27.0) (* x y)))))>
16.574 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* x y)))))>
16.575 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* 1 (* (sqrt 27.0) (* x y)))))>
16.575 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (posit16->real (real->posit16 (* (sqrt 27.0) (* x y))))))>
16.575 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* (* x y) (sqrt 27.0))))>
16.575 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
16.575 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
16.575 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (x y) (* x (* y (pow (sqrt 27.0) 2))))>
16.575 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
16.575 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
16.575 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))>
16.575 * [simplify]: Simplifying:
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))
  (log1p (* (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) (* (sqrt 27.0) (* x y))))
  (expm1 (* (sqrt 27.0) (* x y)))
  (log1p (* (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))
  (real->posit16 (* (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.576 * * [simplify]: iteration 0: 68 enodes
16.591 * * [simplify]: iteration 1: 166 enodes
16.641 * * [simplify]: iteration 2: 714 enodes
17.782 * * [simplify]: iteration 3: 3820 enodes
19.617 * * [simplify]: iteration complete: 5000 enodes
19.617 * * [simplify]: Extracting #0: cost 28 inf + 0
19.618 * * [simplify]: Extracting #1: cost 338 inf + 1
19.622 * * [simplify]: Extracting #2: cost 919 inf + 6017
19.645 * * [simplify]: Extracting #3: cost 408 inf + 100667
19.700 * * [simplify]: Extracting #4: cost 48 inf + 176286
19.741 * * [simplify]: Extracting #5: cost 6 inf + 184858
19.788 * * [simplify]: Extracting #6: cost 0 inf + 186918
19.856 * [simplify]: Simplified to:
  (expm1 (* (* x y) 27.0))
  (log1p (* (* x y) 27.0))
  (* (* x y) 27.0)
  (* (* x y) 27.0)
  (* (* x y) 27.0)
  (log (* (* 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))
  (* (* (* (* 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))
  27.0
  (* (* (cbrt (sqrt 27.0)) (sqrt 27.0)) (* x y))
  (* (* (sqrt (cbrt 27.0)) (* y (sqrt 27.0))) x)
  (* (* (sqrt 27.0) y) (* x (sqrt (sqrt 27.0))))
  (* (* x y) 27.0)
  (* (* (sqrt 27.0) y) (* x (sqrt (sqrt 27.0))))
  (* (* x y) 27.0)
  (real->posit16 (* (* x y) 27.0))
  (expm1 (* y (* x (sqrt 27.0))))
  (log1p (* y (* x (sqrt 27.0))))
  (* y (* x (sqrt 27.0)))
  (* y (* x (sqrt 27.0)))
  (log (* y (* x (sqrt 27.0))))
  (log (* y (* x (sqrt 27.0))))
  (log (* y (* x (sqrt 27.0))))
  (exp (* y (* x (sqrt 27.0))))
  (* (* x y) (* (* (* x y) 27.0) (* (* x y) (sqrt 27.0))))
  (* (* x y) (* (* (* x y) 27.0) (* (* x y) (sqrt 27.0))))
  (* (cbrt (* y (* x (sqrt 27.0)))) (cbrt (* y (* x (sqrt 27.0)))))
  (cbrt (* y (* x (sqrt 27.0))))
  (* (* x y) (* (* (* x y) 27.0) (* (* x y) (sqrt 27.0))))
  (sqrt (* y (* x (sqrt 27.0))))
  (sqrt (* y (* x (sqrt 27.0))))
  (* x (sqrt 27.0))
  (* (* (cbrt (sqrt 27.0)) y) x)
  (* (* x y) (sqrt (cbrt 27.0)))
  (* (* y (sqrt (sqrt 27.0))) x)
  (* y (* x (sqrt 27.0)))
  (* (* y (sqrt (sqrt 27.0))) x)
  (* y (* x (sqrt 27.0)))
  (real->posit16 (* y (* x (sqrt 27.0))))
  (* (* x y) 27.0)
  (* (* x y) 27.0)
  (* (* x y) 27.0)
  (* y (* x (sqrt 27.0)))
  (* y (* x (sqrt 27.0)))
  (* y (* x (sqrt 27.0)))
19.859 * * * [progress]: adding candidates to table
20.043 * [progress]: [Phase 3 of 3] Extracting.
20.043 * * [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) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>)
20.044 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x)
20.044 * * * * [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) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>)
20.086 * * * * [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) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>)
20.125 * * * * [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) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>)
20.156 * * * * [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) (* (* x 27.0) y))> #<alt (λ (x y) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y)))))>)
20.183 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
20.183 * [simplify]: Simplifying:
  (* x (* 27.0 y))
20.183 * * [simplify]: iteration 0: 5 enodes
20.183 * * [simplify]: iteration 1: 7 enodes
20.184 * * [simplify]: iteration complete: 7 enodes
20.184 * * [simplify]: Extracting #0: cost 1 inf + 0
20.184 * * [simplify]: Extracting #1: cost 3 inf + 0
20.184 * * [simplify]: Extracting #2: cost 4 inf + 1
20.184 * * [simplify]: Extracting #3: cost 0 inf + 128
20.184 * [simplify]: Simplified to:
  (* (* y 27.0) x)
21.128 * [regime-testing]: Baseline error score: 0.2825758592447615
21.132 * [regime-testing]: Oracle error score: 0.015001875234404301
21.141 * [regime-testing]: End program error score: 0.2825758592447615