11.987 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x 27.0) y)
0.017 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.018 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
0.019 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
0.021 * * [simplify]: iteration  done :  15  enodes  (cost  5 )
0.021 * [simplify]: Simplified to:
   (* (* x 27.0) y)
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.023 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x 27.0) y))>
0.023 * * * [progress]: localizing error
0.027 * * * [progress]: generating rewritten candidates
0.027 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.032 * * * [progress]: generating series expansions
0.032 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.032 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
0.032 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
0.032 * [taylor]: Taking taylor expansion of 27.0 in y
0.032 * [taylor]: Taking taylor expansion of (* x y) in y
0.032 * [taylor]: Taking taylor expansion of x in y
0.032 * [taylor]: Taking taylor expansion of y in y
0.032 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.033 * [taylor]: Taking taylor expansion of 27.0 in x
0.033 * [taylor]: Taking taylor expansion of (* x y) in x
0.033 * [taylor]: Taking taylor expansion of x in x
0.033 * [taylor]: Taking taylor expansion of y in x
0.033 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
0.033 * [taylor]: Taking taylor expansion of 27.0 in x
0.033 * [taylor]: Taking taylor expansion of (* x y) in x
0.033 * [taylor]: Taking taylor expansion of x in x
0.033 * [taylor]: Taking taylor expansion of y in x
0.033 * [taylor]: Taking taylor expansion of 0 in y
0.033 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
0.033 * [taylor]: Taking taylor expansion of 27.0 in y
0.033 * [taylor]: Taking taylor expansion of y in y
0.033 * [taylor]: Taking taylor expansion of 0 in y
0.033 * [taylor]: Taking taylor expansion of 0 in y
0.033 * [taylor]: Taking taylor expansion of 0 in y
0.033 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.033 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.034 * [taylor]: Taking taylor expansion of 27.0 in y
0.034 * [taylor]: Taking taylor expansion of (* x y) in y
0.034 * [taylor]: Taking taylor expansion of x in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.034 * [taylor]: Taking taylor expansion of 27.0 in x
0.034 * [taylor]: Taking taylor expansion of (* x y) in x
0.034 * [taylor]: Taking taylor expansion of x in x
0.034 * [taylor]: Taking taylor expansion of y in x
0.034 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.034 * [taylor]: Taking taylor expansion of 27.0 in x
0.034 * [taylor]: Taking taylor expansion of (* x y) in x
0.034 * [taylor]: Taking taylor expansion of x in x
0.034 * [taylor]: Taking taylor expansion of y in x
0.034 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.034 * [taylor]: Taking taylor expansion of 27.0 in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of 0 in y
0.034 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
0.035 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
0.035 * [taylor]: Taking taylor expansion of 27.0 in y
0.035 * [taylor]: Taking taylor expansion of (* x y) in y
0.035 * [taylor]: Taking taylor expansion of x in y
0.035 * [taylor]: Taking taylor expansion of y in y
0.035 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.035 * [taylor]: Taking taylor expansion of 27.0 in x
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
0.035 * [taylor]: Taking taylor expansion of 27.0 in x
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
0.035 * [taylor]: Taking taylor expansion of 27.0 in y
0.035 * [taylor]: Taking taylor expansion of y in y
0.036 * [taylor]: Taking taylor expansion of 0 in y
0.036 * [taylor]: Taking taylor expansion of 0 in y
0.036 * [taylor]: Taking taylor expansion of 0 in y
0.036 * * * [progress]: simplifying candidates
0.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x 27.0) y)
  (* (* x 27.0) y)
  (+ (+ (log x) (log 27.0)) (log y))
  (+ (log (* x 27.0)) (log y))
  (log (* (* x 27.0) y))
  (exp (* (* x 27.0) y))
  (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y))
  (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y))
  (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y)))
  (cbrt (* (* x 27.0) y))
  (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y))
  (sqrt (* (* x 27.0) y))
  (sqrt (* (* x 27.0) y))
  (* (* x 27.0) (* (cbrt y) (cbrt y)))
  (* (* x 27.0) (sqrt y))
  (* (* x 27.0) 1)
  (* 27.0 y)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
0.038 * * [simplify]: iteration  0 :  40  enodes  (cost  157 )
0.044 * * [simplify]: iteration  1 :  100  enodes  (cost  152 )
0.088 * * [simplify]: iteration  2 :  423  enodes  (cost  122 )
0.635 * * [simplify]: iteration  3 :  1657  enodes  (cost  122 )
3.254 * * [simplify]: iteration  4 :  3106  enodes  (cost  122 )
6.215 * * [simplify]: iteration  done :  5000  enodes  (cost  122 )
6.215 * [simplify]: Simplified to:
   (* (* 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))
  (pow (* (* x 27.0) y) 3)
  (pow (* (* x 27.0) y) 3)
  (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y)))
  (cbrt (* (* x 27.0) y))
  (pow (* (* x 27.0) y) 3)
  (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)
  (* y 27.0)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
  (* (* x 27.0) y)
6.215 * * * [progress]: adding candidates to table
6.238 * * [progress]: iteration 2 / 4
6.238 * * * [progress]: picking best candidate
6.251 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* y 27.0)))>
6.251 * * * [progress]: localizing error
6.254 * * * [progress]: generating rewritten candidates
6.254 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.260 * * * [progress]: generating series expansions
6.260 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.260 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
6.260 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
6.260 * [taylor]: Taking taylor expansion of 27.0 in y
6.260 * [taylor]: Taking taylor expansion of (* x y) in y
6.260 * [taylor]: Taking taylor expansion of x in y
6.260 * [taylor]: Taking taylor expansion of y in y
6.260 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
6.260 * [taylor]: Taking taylor expansion of 27.0 in x
6.260 * [taylor]: Taking taylor expansion of (* x y) in x
6.260 * [taylor]: Taking taylor expansion of x in x
6.260 * [taylor]: Taking taylor expansion of y in x
6.260 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
6.260 * [taylor]: Taking taylor expansion of 27.0 in x
6.260 * [taylor]: Taking taylor expansion of (* x y) in x
6.260 * [taylor]: Taking taylor expansion of x in x
6.260 * [taylor]: Taking taylor expansion of y in x
6.260 * [taylor]: Taking taylor expansion of 0 in y
6.260 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
6.260 * [taylor]: Taking taylor expansion of 27.0 in y
6.260 * [taylor]: Taking taylor expansion of y in y
6.261 * [taylor]: Taking taylor expansion of 0 in y
6.261 * [taylor]: Taking taylor expansion of 0 in y
6.261 * [taylor]: Taking taylor expansion of 0 in y
6.261 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
6.261 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
6.261 * [taylor]: Taking taylor expansion of 27.0 in y
6.261 * [taylor]: Taking taylor expansion of (* x y) in y
6.261 * [taylor]: Taking taylor expansion of x in y
6.261 * [taylor]: Taking taylor expansion of y in y
6.261 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
6.261 * [taylor]: Taking taylor expansion of 27.0 in x
6.261 * [taylor]: Taking taylor expansion of (* x y) in x
6.261 * [taylor]: Taking taylor expansion of x in x
6.261 * [taylor]: Taking taylor expansion of y in x
6.261 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
6.261 * [taylor]: Taking taylor expansion of 27.0 in x
6.261 * [taylor]: Taking taylor expansion of (* x y) in x
6.261 * [taylor]: Taking taylor expansion of x in x
6.261 * [taylor]: Taking taylor expansion of y in x
6.261 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
6.262 * [taylor]: Taking taylor expansion of 27.0 in y
6.262 * [taylor]: Taking taylor expansion of y in y
6.262 * [taylor]: Taking taylor expansion of 0 in y
6.262 * [taylor]: Taking taylor expansion of 0 in y
6.262 * [taylor]: Taking taylor expansion of 0 in y
6.262 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
6.262 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
6.262 * [taylor]: Taking taylor expansion of 27.0 in y
6.262 * [taylor]: Taking taylor expansion of (* x y) in y
6.262 * [taylor]: Taking taylor expansion of x in y
6.262 * [taylor]: Taking taylor expansion of y in y
6.262 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
6.263 * [taylor]: Taking taylor expansion of 27.0 in x
6.263 * [taylor]: Taking taylor expansion of (* x y) in x
6.263 * [taylor]: Taking taylor expansion of x in x
6.263 * [taylor]: Taking taylor expansion of y in x
6.263 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
6.263 * [taylor]: Taking taylor expansion of 27.0 in x
6.263 * [taylor]: Taking taylor expansion of (* x y) in x
6.263 * [taylor]: Taking taylor expansion of x in x
6.263 * [taylor]: Taking taylor expansion of y in x
6.263 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
6.263 * [taylor]: Taking taylor expansion of 27.0 in y
6.263 * [taylor]: Taking taylor expansion of y in y
6.263 * [taylor]: Taking taylor expansion of 0 in y
6.263 * [taylor]: Taking taylor expansion of 0 in y
6.263 * [taylor]: Taking taylor expansion of 0 in y
6.264 * * * [progress]: simplifying candidates
6.264 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (* y 27.0))
  (* x (* y 27.0))
  (+ (log x) (+ (log y) (log 27.0)))
  (+ (log x) (log (* y 27.0)))
  (log (* x (* y 27.0)))
  (exp (* x (* y 27.0)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (* (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* 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)))
  (* x y)
  (* (cbrt x) (* y 27.0))
  (* (sqrt x) (* y 27.0))
  (* x (* y 27.0))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
6.265 * * [simplify]: iteration  0 :  36  enodes  (cost  154 )
6.270 * * [simplify]: iteration  1 :  89  enodes  (cost  151 )
6.291 * * [simplify]: iteration  2 :  314  enodes  (cost  121 )
6.506 * * [simplify]: iteration  3 :  1032  enodes  (cost  121 )
7.945 * * [simplify]: iteration  4 :  1832  enodes  (cost  121 )
10.936 * * [simplify]: iteration  5 :  3658  enodes  (cost  121 )
12.701 * * [simplify]: iteration  done :  5000  enodes  (cost  121 )
12.701 * [simplify]: Simplified to:
   (* 27.0 (* x y))
  (* 27.0 (* x y))
  (log (* x (* y 27.0)))
  (log (* x (* y 27.0)))
  (log (* x (* y 27.0)))
  (exp (* x (* y 27.0)))
  (pow (* 27.0 (* x y)) 3)
  (pow (* 27.0 (* x y)) 3)
  (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0))))
  (cbrt (* x (* y 27.0)))
  (pow (* 27.0 (* x y)) 3)
  (sqrt (* x (* y 27.0)))
  (sqrt (* x (* y 27.0)))
  (* x y)
  (* (cbrt x) (* y 27.0))
  (* (sqrt x) (* y 27.0))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
12.701 * * * [progress]: adding candidates to table
12.721 * * [progress]: iteration 3 / 4
12.721 * * * [progress]: picking best candidate
12.731 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x y) 27.0))>
12.731 * * * [progress]: localizing error
12.735 * * * [progress]: generating rewritten candidates
12.735 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
12.741 * * * [progress]: generating series expansions
12.741 * * * * [progress]: [ 1 / 1 ] generating series at (2)
12.741 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0
12.741 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y
12.741 * [taylor]: Taking taylor expansion of 27.0 in y
12.741 * [taylor]: Taking taylor expansion of (* x y) in y
12.741 * [taylor]: Taking taylor expansion of x in y
12.741 * [taylor]: Taking taylor expansion of y in y
12.741 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
12.741 * [taylor]: Taking taylor expansion of 27.0 in x
12.741 * [taylor]: Taking taylor expansion of (* x y) in x
12.741 * [taylor]: Taking taylor expansion of x in x
12.741 * [taylor]: Taking taylor expansion of y in x
12.741 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x
12.741 * [taylor]: Taking taylor expansion of 27.0 in x
12.741 * [taylor]: Taking taylor expansion of (* x y) in x
12.741 * [taylor]: Taking taylor expansion of x in x
12.741 * [taylor]: Taking taylor expansion of y in x
12.741 * [taylor]: Taking taylor expansion of 0 in y
12.741 * [taylor]: Taking taylor expansion of (* 27.0 y) in y
12.741 * [taylor]: Taking taylor expansion of 27.0 in y
12.741 * [taylor]: Taking taylor expansion of y in y
12.742 * [taylor]: Taking taylor expansion of 0 in y
12.742 * [taylor]: Taking taylor expansion of 0 in y
12.742 * [taylor]: Taking taylor expansion of 0 in y
12.742 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
12.742 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
12.742 * [taylor]: Taking taylor expansion of 27.0 in y
12.742 * [taylor]: Taking taylor expansion of (* x y) in y
12.742 * [taylor]: Taking taylor expansion of x in y
12.742 * [taylor]: Taking taylor expansion of y in y
12.742 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
12.742 * [taylor]: Taking taylor expansion of 27.0 in x
12.742 * [taylor]: Taking taylor expansion of (* x y) in x
12.742 * [taylor]: Taking taylor expansion of x in x
12.742 * [taylor]: Taking taylor expansion of y in x
12.742 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
12.742 * [taylor]: Taking taylor expansion of 27.0 in x
12.742 * [taylor]: Taking taylor expansion of (* x y) in x
12.742 * [taylor]: Taking taylor expansion of x in x
12.742 * [taylor]: Taking taylor expansion of y in x
12.742 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
12.743 * [taylor]: Taking taylor expansion of 27.0 in y
12.743 * [taylor]: Taking taylor expansion of y in y
12.743 * [taylor]: Taking taylor expansion of 0 in y
12.743 * [taylor]: Taking taylor expansion of 0 in y
12.743 * [taylor]: Taking taylor expansion of 0 in y
12.743 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0
12.743 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y
12.743 * [taylor]: Taking taylor expansion of 27.0 in y
12.743 * [taylor]: Taking taylor expansion of (* x y) in y
12.743 * [taylor]: Taking taylor expansion of x in y
12.743 * [taylor]: Taking taylor expansion of y in y
12.743 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
12.744 * [taylor]: Taking taylor expansion of 27.0 in x
12.744 * [taylor]: Taking taylor expansion of (* x y) in x
12.744 * [taylor]: Taking taylor expansion of x in x
12.744 * [taylor]: Taking taylor expansion of y in x
12.744 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x
12.744 * [taylor]: Taking taylor expansion of 27.0 in x
12.744 * [taylor]: Taking taylor expansion of (* x y) in x
12.744 * [taylor]: Taking taylor expansion of x in x
12.744 * [taylor]: Taking taylor expansion of y in x
12.744 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y
12.744 * [taylor]: Taking taylor expansion of 27.0 in y
12.744 * [taylor]: Taking taylor expansion of y in y
12.744 * [taylor]: Taking taylor expansion of 0 in y
12.744 * [taylor]: Taking taylor expansion of 0 in y
12.744 * [taylor]: Taking taylor expansion of 0 in y
12.745 * * * [progress]: simplifying candidates
12.745 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x y) 27.0)
  (* (* x y) 27.0)
  (+ (+ (log x) (log y)) (log 27.0))
  (+ (log (* x y)) (log 27.0))
  (log (* (* x y) 27.0))
  (exp (* (* x y) 27.0))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* 27.0 27.0) 27.0))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* 27.0 27.0) 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))
  (* (* x y) (* (cbrt 27.0) (cbrt 27.0)))
  (* (* x y) (sqrt 27.0))
  (* (* x y) 1)
  (* y 27.0)
  (* 27.0 (* x y))
  (* 27.0 (* x y))
  (* 27.0 (* x y))
12.746 * * [simplify]: iteration  0 :  39  enodes  (cost  157 )
12.752 * * [simplify]: iteration  1 :  98  enodes  (cost  152 )
12.793 * * [simplify]: iteration  2 :  407  enodes  (cost  122 )
13.297 * * [simplify]: iteration  3 :  1540  enodes  (cost  122 )
15.593 * * [simplify]: iteration  4 :  2872  enodes  (cost  122 )
20.109 * * [simplify]: iteration  done :  5001  enodes  (cost  122 )
20.109 * [simplify]: Simplified to:
   (* (* x y) 27.0)
  (* (* x y) 27.0)
  (log (* (* x y) 27.0))
  (log (* (* x y) 27.0))
  (log (* (* x y) 27.0))
  (exp (* (* x y) 27.0))
  (pow (* (* x y) 27.0) 3)
  (pow (* (* x y) 27.0) 3)
  (* (cbrt (* (* x y) 27.0)) (cbrt (* (* x y) 27.0)))
  (cbrt (* (* x y) 27.0))
  (pow (* (* x y) 27.0) 3)
  (sqrt (* (* x y) 27.0))
  (sqrt (* (* x y) 27.0))
  (* (* x y) (* (cbrt 27.0) (cbrt 27.0)))
  (* (* x y) (sqrt 27.0))
  (* x y)
  (* y 27.0)
  (* (* x y) 27.0)
  (* (* x y) 27.0)
  (* (* x y) 27.0)
20.110 * * * [progress]: adding candidates to table
20.130 * * [progress]: iteration 4 / 4
20.130 * * * [progress]: picking best candidate
20.141 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))>
20.141 * * * [progress]: localizing error
20.147 * * * [progress]: generating rewritten candidates
20.147 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
20.158 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
20.166 * * * [progress]: generating series expansions
20.166 * * * * [progress]: [ 1 / 2 ] generating series at (2)
20.166 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in (x y) around 0
20.166 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in y
20.166 * [taylor]: Taking taylor expansion of x in y
20.166 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y
20.166 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.166 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.166 * [taylor]: Taking taylor expansion of 27.0 in y
20.166 * [taylor]: Taking taylor expansion of y in y
20.166 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in x
20.166 * [taylor]: Taking taylor expansion of x in x
20.166 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in x
20.166 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.166 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.166 * [taylor]: Taking taylor expansion of 27.0 in x
20.166 * [taylor]: Taking taylor expansion of y in x
20.166 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in x
20.166 * [taylor]: Taking taylor expansion of x in x
20.166 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in x
20.166 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.166 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.166 * [taylor]: Taking taylor expansion of 27.0 in x
20.166 * [taylor]: Taking taylor expansion of y in x
20.167 * [taylor]: Taking taylor expansion of 0 in y
20.167 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y
20.167 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.167 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.167 * [taylor]: Taking taylor expansion of 27.0 in y
20.167 * [taylor]: Taking taylor expansion of y in y
20.167 * [taylor]: Taking taylor expansion of 0 in y
20.168 * [taylor]: Taking taylor expansion of 0 in y
20.168 * [taylor]: Taking taylor expansion of 0 in y
20.169 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
20.169 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
20.169 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.169 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.169 * [taylor]: Taking taylor expansion of 27.0 in y
20.169 * [taylor]: Taking taylor expansion of (* x y) in y
20.169 * [taylor]: Taking taylor expansion of x in y
20.169 * [taylor]: Taking taylor expansion of y in y
20.169 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
20.169 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.169 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.169 * [taylor]: Taking taylor expansion of 27.0 in x
20.169 * [taylor]: Taking taylor expansion of (* x y) in x
20.169 * [taylor]: Taking taylor expansion of x in x
20.169 * [taylor]: Taking taylor expansion of y in x
20.169 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
20.169 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.169 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.169 * [taylor]: Taking taylor expansion of 27.0 in x
20.169 * [taylor]: Taking taylor expansion of (* x y) in x
20.169 * [taylor]: Taking taylor expansion of x in x
20.169 * [taylor]: Taking taylor expansion of y in x
20.170 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
20.170 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.170 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.170 * [taylor]: Taking taylor expansion of 27.0 in y
20.170 * [taylor]: Taking taylor expansion of y in y
20.170 * [taylor]: Taking taylor expansion of 0 in y
20.171 * [taylor]: Taking taylor expansion of 0 in y
20.171 * [taylor]: Taking taylor expansion of 0 in y
20.172 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0
20.172 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y
20.172 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.172 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.172 * [taylor]: Taking taylor expansion of 27.0 in y
20.172 * [taylor]: Taking taylor expansion of (* x y) in y
20.172 * [taylor]: Taking taylor expansion of x in y
20.172 * [taylor]: Taking taylor expansion of y in y
20.172 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
20.172 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.172 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.172 * [taylor]: Taking taylor expansion of 27.0 in x
20.172 * [taylor]: Taking taylor expansion of (* x y) in x
20.172 * [taylor]: Taking taylor expansion of x in x
20.172 * [taylor]: Taking taylor expansion of y in x
20.172 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x
20.172 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x
20.172 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.172 * [taylor]: Taking taylor expansion of 27.0 in x
20.172 * [taylor]: Taking taylor expansion of (* x y) in x
20.172 * [taylor]: Taking taylor expansion of x in x
20.172 * [taylor]: Taking taylor expansion of y in x
20.172 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y
20.172 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y
20.173 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.173 * [taylor]: Taking taylor expansion of 27.0 in y
20.173 * [taylor]: Taking taylor expansion of y in y
20.173 * [taylor]: Taking taylor expansion of 0 in y
20.173 * [taylor]: Taking taylor expansion of 0 in y
20.174 * [taylor]: Taking taylor expansion of 0 in y
20.174 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
20.174 * [approximate]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in (x y) around 0
20.174 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in y
20.174 * [taylor]: Taking taylor expansion of x in y
20.174 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
20.174 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.174 * [taylor]: Taking taylor expansion of 27.0 in y
20.175 * [taylor]: Taking taylor expansion of y in y
20.175 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in x
20.175 * [taylor]: Taking taylor expansion of x in x
20.175 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x
20.175 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.175 * [taylor]: Taking taylor expansion of 27.0 in x
20.175 * [taylor]: Taking taylor expansion of y in x
20.175 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in x
20.175 * [taylor]: Taking taylor expansion of x in x
20.175 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x
20.175 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.175 * [taylor]: Taking taylor expansion of 27.0 in x
20.175 * [taylor]: Taking taylor expansion of y in x
20.175 * [taylor]: Taking taylor expansion of 0 in y
20.175 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y
20.175 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.175 * [taylor]: Taking taylor expansion of 27.0 in y
20.175 * [taylor]: Taking taylor expansion of y in y
20.175 * [taylor]: Taking taylor expansion of 0 in y
20.176 * [taylor]: Taking taylor expansion of 0 in y
20.176 * [taylor]: Taking taylor expansion of 0 in y
20.176 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
20.176 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
20.176 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.176 * [taylor]: Taking taylor expansion of 27.0 in y
20.176 * [taylor]: Taking taylor expansion of (* x y) in y
20.176 * [taylor]: Taking taylor expansion of x in y
20.176 * [taylor]: Taking taylor expansion of y in y
20.176 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
20.176 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.176 * [taylor]: Taking taylor expansion of 27.0 in x
20.176 * [taylor]: Taking taylor expansion of (* x y) in x
20.176 * [taylor]: Taking taylor expansion of x in x
20.176 * [taylor]: Taking taylor expansion of y in x
20.177 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
20.177 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.177 * [taylor]: Taking taylor expansion of 27.0 in x
20.177 * [taylor]: Taking taylor expansion of (* x y) in x
20.177 * [taylor]: Taking taylor expansion of x in x
20.177 * [taylor]: Taking taylor expansion of y in x
20.177 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
20.177 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.177 * [taylor]: Taking taylor expansion of 27.0 in y
20.177 * [taylor]: Taking taylor expansion of y in y
20.177 * [taylor]: Taking taylor expansion of 0 in y
20.177 * [taylor]: Taking taylor expansion of 0 in y
20.178 * [taylor]: Taking taylor expansion of 0 in y
20.178 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0
20.178 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y
20.178 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.178 * [taylor]: Taking taylor expansion of 27.0 in y
20.178 * [taylor]: Taking taylor expansion of (* x y) in y
20.178 * [taylor]: Taking taylor expansion of x in y
20.178 * [taylor]: Taking taylor expansion of y in y
20.178 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
20.178 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.178 * [taylor]: Taking taylor expansion of 27.0 in x
20.178 * [taylor]: Taking taylor expansion of (* x y) in x
20.178 * [taylor]: Taking taylor expansion of x in x
20.178 * [taylor]: Taking taylor expansion of y in x
20.178 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x
20.178 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x
20.178 * [taylor]: Taking taylor expansion of 27.0 in x
20.179 * [taylor]: Taking taylor expansion of (* x y) in x
20.179 * [taylor]: Taking taylor expansion of x in x
20.179 * [taylor]: Taking taylor expansion of y in x
20.179 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y
20.179 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y
20.179 * [taylor]: Taking taylor expansion of 27.0 in y
20.179 * [taylor]: Taking taylor expansion of y in y
20.179 * [taylor]: Taking taylor expansion of 0 in y
20.179 * [taylor]: Taking taylor expansion of 0 in y
20.180 * [taylor]: Taking taylor expansion of 0 in y
20.180 * * * [progress]: simplifying candidates
20.181 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))
  (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))
  (* (* (* x y) (sqrt 27.0)) (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)))
  (+ (log (* (* x y) (sqrt 27.0))) (log (sqrt 27.0)))
  (log (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))
  (exp (* (* (* x y) (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) (sqrt 27.0)) (sqrt 27.0)))
  (* (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0))) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))
  (* (cbrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (cbrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))))
  (cbrt (* (* (* 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 27.0)) (sqrt 27.0)))
  (sqrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))
  (sqrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))
  (* (* (* x y) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (* (* x y) (sqrt 27.0)) (sqrt (* (cbrt 27.0) (cbrt 27.0))))
  (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0)))
  (* (* (* x y) (sqrt 27.0)) (sqrt 1))
  (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0)))
  (* (* (* x y) (sqrt 27.0)) 1)
  (* (sqrt 27.0) (sqrt 27.0))
  (* (* x y) (sqrt 27.0))
  (* (* x y) (sqrt 27.0))
  (+ (+ (log x) (log y)) (log (sqrt 27.0)))
  (+ (log (* x y)) (log (sqrt 27.0)))
  (log (* (* x y) (sqrt 27.0)))
  (exp (* (* x y) (sqrt 27.0)))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))
  (* (cbrt (* (* x y) (sqrt 27.0))) (cbrt (* (* x y) (sqrt 27.0))))
  (cbrt (* (* x y) (sqrt 27.0)))
  (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0)))
  (sqrt (* (* x y) (sqrt 27.0)))
  (sqrt (* (* x y) (sqrt 27.0)))
  (* (* x y) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (* x y) (sqrt (* (cbrt 27.0) (cbrt 27.0))))
  (* (* x y) (sqrt (sqrt 27.0)))
  (* (* x y) (sqrt 1))
  (* (* x y) (sqrt (sqrt 27.0)))
  (* (* x y) 1)
  (* y (sqrt 27.0))
  (* x (* (pow (sqrt 27.0) 2) y))
  (* x (* (pow (sqrt 27.0) 2) y))
  (* x (* (pow (sqrt 27.0) 2) y))
  (* x (* (sqrt 27.0) y))
  (* x (* (sqrt 27.0) y))
  (* x (* (sqrt 27.0) y))
20.182 * * [simplify]: iteration  0 :  70  enodes  (cost  550 )
20.195 * * [simplify]: iteration  1 :  190  enodes  (cost  412 )
20.306 * * [simplify]: iteration  2 :  823  enodes  (cost  336 )
21.879 * * [simplify]: iteration  3 :  3547  enodes  (cost  336 )
23.722 * * [simplify]: iteration  done :  5000  enodes  (cost  336 )
23.722 * [simplify]: Simplified to:
   (* (* 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))
  (log (* (* y x) 27.0))
  (exp (* (* y x) 27.0))
  (pow (* (* y x) 27.0) 3)
  (pow (* (* y x) 27.0) 3)
  (pow (* (* y x) 27.0) 3)
  (* (cbrt (* (* y x) 27.0)) (cbrt (* (* y x) 27.0)))
  (cbrt (* (* y x) 27.0))
  (pow (* (* y x) 27.0) 3)
  (sqrt (* (* y x) 27.0))
  (sqrt (* (* y x) 27.0))
  (* (* (* x y) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (* (* x y) (sqrt 27.0)) (fabs (cbrt 27.0)))
  (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0)))
  (* x (* (sqrt 27.0) y))
  (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0)))
  (* x (* (sqrt 27.0) y))
  27.0
  (* x (* (sqrt 27.0) y))
  (* x (* (sqrt 27.0) y))
  (log (* (* x y) (sqrt 27.0)))
  (log (* (* x y) (sqrt 27.0)))
  (log (* (* x y) (sqrt 27.0)))
  (exp (* (* x y) (sqrt 27.0)))
  (pow (* x (* (sqrt 27.0) y)) 3)
  (pow (* x (* (sqrt 27.0) y)) 3)
  (* (cbrt (* (* x y) (sqrt 27.0))) (cbrt (* (* x y) (sqrt 27.0))))
  (cbrt (* (* x y) (sqrt 27.0)))
  (pow (* x (* (sqrt 27.0) y)) 3)
  (sqrt (* (* x y) (sqrt 27.0)))
  (sqrt (* (* x y) (sqrt 27.0)))
  (* (* x y) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0))))
  (* (fabs (cbrt 27.0)) (* y x))
  (* (* x y) (sqrt (sqrt 27.0)))
  (* x y)
  (* (* x y) (sqrt (sqrt 27.0)))
  (* x y)
  (* y (sqrt 27.0))
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* (* y x) 27.0)
  (* x (* (sqrt 27.0) y))
  (* x (* (sqrt 27.0) y))
  (* x (* (sqrt 27.0) y))
23.722 * * * [progress]: adding candidates to table
23.775 * [progress]: [Phase 3 of 3] Extracting.
23.775 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* x (* y 27.0)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (* x y) 27.0))> #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))> #<alt (λ (x y) (* (* (* (* x y) (sqrt (sqrt 27.0))) (sqrt (sqrt 27.0))) (sqrt 27.0)))>)
23.776 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x)
23.776 * * * * [regimes]: Trying to branch on (* x 27.0) from (#<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* x (* y 27.0)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (* x y) 27.0))> #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))> #<alt (λ (x y) (* (* (* (* x y) (sqrt (sqrt 27.0))) (sqrt (sqrt 27.0))) (sqrt 27.0)))>)
23.821 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (#<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* x (* y 27.0)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (* x y) 27.0))> #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))> #<alt (λ (x y) (* (* (* (* x y) (sqrt (sqrt 27.0))) (sqrt (sqrt 27.0))) (sqrt 27.0)))>)
23.865 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* x (* y 27.0)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (* x y) 27.0))> #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))> #<alt (λ (x y) (* (* (* (* x y) (sqrt (sqrt 27.0))) (sqrt (sqrt 27.0))) (sqrt 27.0)))>)
23.908 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (* x 27.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* x (* y 27.0)))> #<alt (λ (x y) (* (* x 27.0) y))> #<alt (λ (x y) (* (* x y) 27.0))> #<alt (λ (x y) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))> #<alt (λ (x y) (* (* (* (* x y) (sqrt (sqrt 27.0))) (sqrt (sqrt 27.0))) (sqrt 27.0)))>)
23.952 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
23.952 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x 27.0) y)
23.952 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
23.952 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
23.952 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
23.953 * [simplify]: Simplified to:
   (* (* x 27.0) y)
25.079 * [regime-testing]: End program error score: 0.3265408176022003