15.123 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))
0.021 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
0.022 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
0.023 * * [simplify]: iteration  2 :  23  enodes  (cost  13 )
0.027 * * [simplify]: iteration  3 :  36  enodes  (cost  9 )
0.032 * * [simplify]: iteration  4 :  45  enodes  (cost  9 )
0.039 * * [simplify]: iteration  5 :  52  enodes  (cost  9 )
0.047 * * [simplify]: iteration  6 :  70  enodes  (cost  9 )
0.066 * * [simplify]: iteration  7 :  124  enodes  (cost  9 )
0.122 * * [simplify]: iteration  8 :  141  enodes  (cost  9 )
0.187 * * [simplify]: iteration  9 :  153  enodes  (cost  9 )
0.269 * * [simplify]: iteration  10 :  255  enodes  (cost  9 )
0.514 * * [simplify]: iteration  11 :  766  enodes  (cost  9 )
5.110 * * [simplify]: iteration  12 :  3168  enodes  (cost  9 )
28.123 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
28.123 * [simplify]: Simplified to:
   (+ (* 3 (* y y)) (* x x))
28.126 * * [progress]: iteration 1 / 4
28.126 * * * [progress]: picking best candidate
28.127 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))>
28.127 * * * [progress]: localizing error
28.132 * * * [progress]: generating rewritten candidates
28.132 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
28.139 * * * [progress]: generating series expansions
28.139 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
28.139 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
28.139 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
28.139 * [taylor]: Taking taylor expansion of 3 in y
28.139 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.140 * [taylor]: Taking taylor expansion of y in y
28.140 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
28.140 * [taylor]: Taking taylor expansion of 3 in y
28.140 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.140 * [taylor]: Taking taylor expansion of y in y
28.148 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
28.148 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
28.148 * [taylor]: Taking taylor expansion of 3 in y
28.148 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.148 * [taylor]: Taking taylor expansion of y in y
28.152 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
28.152 * [taylor]: Taking taylor expansion of 3 in y
28.152 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.152 * [taylor]: Taking taylor expansion of y in y
28.159 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
28.159 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
28.159 * [taylor]: Taking taylor expansion of 3 in y
28.159 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.159 * [taylor]: Taking taylor expansion of y in y
28.160 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
28.160 * [taylor]: Taking taylor expansion of 3 in y
28.160 * [taylor]: Taking taylor expansion of (pow y 2) in y
28.160 * [taylor]: Taking taylor expansion of y in y
28.167 * * * [progress]: simplifying candidates
28.168 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3 (* y y))
  (* 3 (* y y))
  (+ (log 3) (+ (log y) (log y)))
  (+ (log 3) (log (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* (* (* 3 3) 3) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* 3 3) 3) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* (* (* 3 (* y y)) (* 3 (* y y))) (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* 3 (* y y))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
28.169 * * [simplify]: iteration  0 :  34  enodes  (cost  162 )
28.176 * * [simplify]: iteration  1 :  86  enodes  (cost  149 )
28.194 * * [simplify]: iteration  2 :  269  enodes  (cost  129 )
28.282 * * [simplify]: iteration  3 :  820  enodes  (cost  123 )
28.738 * * [simplify]: iteration  4 :  3175  enodes  (cost  123 )
31.455 * * [simplify]: iteration  done :  5001  enodes  (cost  123 )
31.456 * [simplify]: Simplified to:
   (* (* 3 y) y)
  (* (* 3 y) y)
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* 27 (pow y 6))
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* (* 3 y) y)
  (* (* 3 y) y)
  (* (* 3 y) y)
  (* (* 3 y) y)
31.456 * * * [progress]: adding candidates to table
31.489 * * [progress]: iteration 2 / 4
31.489 * * * [progress]: picking best candidate
31.493 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>
31.493 * * * [progress]: localizing error
31.500 * * * [progress]: generating rewritten candidates
31.500 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2)
31.507 * * * [progress]: generating series expansions
31.507 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2)
31.507 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
31.507 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
31.507 * [taylor]: Taking taylor expansion of 3 in y
31.507 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.507 * [taylor]: Taking taylor expansion of y in y
31.507 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
31.507 * [taylor]: Taking taylor expansion of 3 in y
31.507 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.507 * [taylor]: Taking taylor expansion of y in y
31.515 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
31.516 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
31.516 * [taylor]: Taking taylor expansion of 3 in y
31.516 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.516 * [taylor]: Taking taylor expansion of y in y
31.516 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
31.516 * [taylor]: Taking taylor expansion of 3 in y
31.516 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.516 * [taylor]: Taking taylor expansion of y in y
31.526 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
31.526 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
31.526 * [taylor]: Taking taylor expansion of 3 in y
31.526 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.526 * [taylor]: Taking taylor expansion of y in y
31.527 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
31.527 * [taylor]: Taking taylor expansion of 3 in y
31.527 * [taylor]: Taking taylor expansion of (pow y 2) in y
31.527 * [taylor]: Taking taylor expansion of y in y
31.534 * * * [progress]: simplifying candidates
31.534 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 3 y) y)
  (* (* 3 y) y)
  (+ (+ (log 3) (log y)) (log y))
  (+ (log (* 3 y)) (log y))
  (log (* (* 3 y) y))
  (exp (* (* 3 y) y))
  (* (* (* (* 3 3) 3) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* 3 y) (* 3 y)) (* 3 y)) (* (* y y) y))
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (* (* (* 3 y) y) (* (* 3 y) y)) (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* (* 3 y) (sqrt y))
  (* (* 3 y) 1)
  (* y y)
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
31.535 * * [simplify]: iteration  0 :  36  enodes  (cost  157 )
31.542 * * [simplify]: iteration  1 :  99  enodes  (cost  144 )
31.566 * * [simplify]: iteration  2 :  438  enodes  (cost  122 )
31.758 * * [simplify]: iteration  3 :  1925  enodes  (cost  116 )
33.437 * * [simplify]: iteration  done :  5001  enodes  (cost  116 )
33.438 * [simplify]: Simplified to:
   (* y (* 3 y))
  (* y (* 3 y))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (exp (* (* 3 y) y))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (pow y 6) 27)
  (sqrt (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* (* 3 y) (sqrt y))
  (* 3 y)
  (* y y)
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
33.438 * * * [progress]: adding candidates to table
33.470 * * [progress]: iteration 3 / 4
33.470 * * * [progress]: picking best candidate
33.473 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))) (* x x)))>
33.473 * * * [progress]: localizing error
33.481 * * * [progress]: generating rewritten candidates
33.481 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
33.489 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
33.519 * * * [progress]: generating series expansions
33.519 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
33.519 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
33.519 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
33.519 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.519 * [taylor]: Taking taylor expansion of 3 in y
33.520 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.520 * [taylor]: Taking taylor expansion of y in y
33.520 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
33.520 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.520 * [taylor]: Taking taylor expansion of 3 in y
33.521 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.521 * [taylor]: Taking taylor expansion of y in y
33.534 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
33.534 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
33.534 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.534 * [taylor]: Taking taylor expansion of 3 in y
33.535 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.535 * [taylor]: Taking taylor expansion of y in y
33.536 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
33.536 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.536 * [taylor]: Taking taylor expansion of 3 in y
33.536 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.536 * [taylor]: Taking taylor expansion of y in y
33.552 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
33.552 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
33.552 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.552 * [taylor]: Taking taylor expansion of 3 in y
33.552 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.553 * [taylor]: Taking taylor expansion of y in y
33.553 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
33.553 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.553 * [taylor]: Taking taylor expansion of 3 in y
33.554 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.554 * [taylor]: Taking taylor expansion of y in y
33.566 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
33.567 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
33.567 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
33.567 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.567 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.567 * [taylor]: Taking taylor expansion of 3 in y
33.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.568 * [taylor]: Taking taylor expansion of y in y
33.568 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
33.568 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.568 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.568 * [taylor]: Taking taylor expansion of 3 in y
33.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.569 * [taylor]: Taking taylor expansion of y in y
33.593 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
33.594 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
33.594 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.594 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.594 * [taylor]: Taking taylor expansion of 3 in y
33.594 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.594 * [taylor]: Taking taylor expansion of y in y
33.598 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
33.598 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.598 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.598 * [taylor]: Taking taylor expansion of 3 in y
33.598 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.598 * [taylor]: Taking taylor expansion of y in y
33.625 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
33.625 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
33.625 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.625 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.625 * [taylor]: Taking taylor expansion of 3 in y
33.626 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.626 * [taylor]: Taking taylor expansion of y in y
33.629 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
33.629 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
33.629 * [taylor]: Taking taylor expansion of (cbrt 3) in y
33.629 * [taylor]: Taking taylor expansion of 3 in y
33.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
33.630 * [taylor]: Taking taylor expansion of y in y
33.652 * * * [progress]: simplifying candidates
33.653 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (cbrt 3) (* y y))
  (* (cbrt 3) (* y y))
  (+ (log (cbrt 3)) (+ (log y) (log y)))
  (+ (log (cbrt 3)) (log (* y y)))
  (log (* (cbrt 3) (* y y)))
  (exp (* (cbrt 3) (* y y)))
  (* 3 (* (* (* y y) y) (* (* y y) y)))
  (* 3 (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* (cbrt 3) (* y y))) (cbrt (* (cbrt 3) (* y y))))
  (cbrt (* (cbrt 3) (* y y)))
  (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (* (cbrt (sqrt 3)) y)
  (* (cbrt (sqrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt 3) y)
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (sqrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log y) (log y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* y y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* y y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log y) (log y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* y y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* y y))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* 3 3) (* 3 (* (* (* y y) y) (* (* y y) y))))
  (* (* 3 3) (* 3 (* (* (* y y) (* y y)) (* y y))))
  (* (* 3 3) (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* y y) y) (* (* y y) y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* y y) (* y y)) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
  (* (cbrt 3) (* (cbrt 3) (* y y)))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
33.655 * * [simplify]: iteration  0 :  66  enodes  (cost  692 )
33.667 * * [simplify]: iteration  1 :  183  enodes  (cost  664 )
33.708 * * [simplify]: iteration  2 :  671  enodes  (cost  448 )
33.960 * * [simplify]: iteration  3 :  2919  enodes  (cost  342 )
35.940 * * [simplify]: iteration  done :  5000  enodes  (cost  342 )
35.940 * [simplify]: Simplified to:
   (* (cbrt 3) (* y y))
  (* (cbrt 3) (* y y))
  (log (* (cbrt 3) (* y y)))
  (log (* (cbrt 3) (* y y)))
  (log (* (cbrt 3) (* y y)))
  (exp (* (cbrt 3) (* y y)))
  (* 3 (pow y 6))
  (* 3 (pow y 6))
  (* (cbrt (* (cbrt 3) (* y y))) (cbrt (* (cbrt 3) (* y y))))
  (cbrt (* (cbrt 3) (* y y)))
  (* 3 (pow y 6))
  (sqrt (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (* (cbrt (sqrt 3)) y)
  (* (cbrt (sqrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt 3) y)
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (sqrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (exp (* y (* 3 y)))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* y (* 3 y))) (cbrt (* y (* 3 y))))
  (cbrt (* y (* 3 y)))
  (* (pow y 6) 27)
  (sqrt (* 3 (pow y 2)))
  (sqrt (* 3 (pow y 2)))
  3
  (* (cbrt 3) (* (cbrt 3) (* y y)))
  (* (cbrt 3) (* y y))
  (* (cbrt 3) (* y y))
  (* (cbrt 3) (* y y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
35.941 * * * [progress]: adding candidates to table
36.021 * * [progress]: iteration 4 / 4
36.021 * * * [progress]: picking best candidate
36.025 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>
36.025 * * * [progress]: localizing error
36.037 * * * [progress]: generating rewritten candidates
36.037 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2)
36.047 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
36.156 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
36.194 * * * [progress]: generating series expansions
36.194 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2)
36.196 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in (y) around 0
36.196 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in y
36.196 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.196 * [taylor]: Taking taylor expansion of 1/3 in y
36.196 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.196 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.196 * [taylor]: Taking taylor expansion of 3 in y
36.200 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.200 * [taylor]: Taking taylor expansion of y in y
36.200 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in y
36.200 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.200 * [taylor]: Taking taylor expansion of 1/3 in y
36.200 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.200 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.200 * [taylor]: Taking taylor expansion of 3 in y
36.204 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.204 * [taylor]: Taking taylor expansion of y in y
36.278 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in (y) around 0
36.278 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
36.278 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.278 * [taylor]: Taking taylor expansion of 1/3 in y
36.278 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.278 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.278 * [taylor]: Taking taylor expansion of 3 in y
36.281 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
36.281 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.281 * [taylor]: Taking taylor expansion of y in y
36.282 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
36.282 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.282 * [taylor]: Taking taylor expansion of 1/3 in y
36.282 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.282 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.282 * [taylor]: Taking taylor expansion of 3 in y
36.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
36.285 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.285 * [taylor]: Taking taylor expansion of y in y
36.361 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in (y) around 0
36.361 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
36.361 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.361 * [taylor]: Taking taylor expansion of 1/3 in y
36.361 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.361 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.361 * [taylor]: Taking taylor expansion of 3 in y
36.365 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
36.365 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.365 * [taylor]: Taking taylor expansion of y in y
36.365 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
36.365 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
36.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
36.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
36.365 * [taylor]: Taking taylor expansion of 1/3 in y
36.365 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
36.365 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.365 * [taylor]: Taking taylor expansion of 3 in y
36.369 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
36.369 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.369 * [taylor]: Taking taylor expansion of y in y
36.443 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
36.446 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
36.446 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
36.446 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.446 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.446 * [taylor]: Taking taylor expansion of 3 in y
36.447 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.447 * [taylor]: Taking taylor expansion of y in y
36.447 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
36.447 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.447 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.447 * [taylor]: Taking taylor expansion of 3 in y
36.448 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.448 * [taylor]: Taking taylor expansion of y in y
36.481 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
36.481 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
36.481 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.481 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.481 * [taylor]: Taking taylor expansion of 3 in y
36.481 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.482 * [taylor]: Taking taylor expansion of y in y
36.485 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
36.485 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.485 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.485 * [taylor]: Taking taylor expansion of 3 in y
36.486 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.486 * [taylor]: Taking taylor expansion of y in y
36.511 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
36.511 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
36.511 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.511 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.511 * [taylor]: Taking taylor expansion of 3 in y
36.512 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.512 * [taylor]: Taking taylor expansion of y in y
36.515 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
36.515 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
36.515 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.515 * [taylor]: Taking taylor expansion of 3 in y
36.516 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.516 * [taylor]: Taking taylor expansion of y in y
36.544 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
36.546 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
36.546 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
36.546 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.546 * [taylor]: Taking taylor expansion of 3 in y
36.547 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.547 * [taylor]: Taking taylor expansion of y in y
36.547 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
36.547 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.547 * [taylor]: Taking taylor expansion of 3 in y
36.548 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.548 * [taylor]: Taking taylor expansion of y in y
36.562 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
36.562 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
36.562 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.562 * [taylor]: Taking taylor expansion of 3 in y
36.563 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.563 * [taylor]: Taking taylor expansion of y in y
36.564 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
36.564 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.564 * [taylor]: Taking taylor expansion of 3 in y
36.564 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.564 * [taylor]: Taking taylor expansion of y in y
36.579 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
36.579 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
36.579 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.579 * [taylor]: Taking taylor expansion of 3 in y
36.579 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.579 * [taylor]: Taking taylor expansion of y in y
36.580 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
36.580 * [taylor]: Taking taylor expansion of (cbrt 3) in y
36.580 * [taylor]: Taking taylor expansion of 3 in y
36.581 * [taylor]: Taking taylor expansion of (pow y 2) in y
36.581 * [taylor]: Taking taylor expansion of y in y
36.593 * * * [progress]: simplifying candidates
36.595 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))
  (+ (log (cbrt (cbrt 3))) (log (* y y)))
  (log (* (cbrt (cbrt 3)) (* y y)))
  (exp (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt 3) (* (* (* y y) y) (* (* y y) y)))
  (* (cbrt 3) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* (cbrt (cbrt 3)) (* y y))) (cbrt (* (cbrt (cbrt 3)) (* y y))))
  (cbrt (* (cbrt (cbrt 3)) (* y y)))
  (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y)))
  (sqrt (* (cbrt (cbrt 3)) (* y y)))
  (sqrt (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (cbrt (sqrt 3))) y)
  (* (cbrt (cbrt (sqrt 3))) y)
  (* (cbrt (sqrt (cbrt 3))) y)
  (* (cbrt (sqrt (cbrt 3))) y)
  (* (sqrt (cbrt (cbrt 3))) y)
  (* (sqrt (cbrt (cbrt 3))) y)
  (* (cbrt (cbrt 3)) y)
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (cbrt (cbrt (sqrt 3))) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (cbrt (sqrt (cbrt 3))) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* 3 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y)))))
  (* (* 3 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y)))))
  (* (* 3 3) (* (* (cbrt 3) (cbrt 3)) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* 3 3) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y)))))
  (* (* 3 3) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y)))))
  (* (* 3 3) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* 3 3) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (cbrt 3) (cbrt 3)) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))) (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (cbrt 3)) (cbrt (cbrt 3))))
  (* (cbrt 3) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y))))
  (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y))))
  (+ (+ (log (cbrt (cbrt 3))) (log (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y))))
  (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y))))
  (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y))))
  (+ (log (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y))))
  (log (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (exp (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) y) (* (* y y) y))))
  (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt 3) (* (* (* y y) (* y y)) (* y y))))
  (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (* (* (* (cbrt (cbrt 3)) (* y y)) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (cbrt 3)) (* y y))))
  (* (cbrt (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (cbrt (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (cbrt (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (sqrt (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (sqrt (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (cbrt (cbrt 3)))
  (* (cbrt (cbrt 3)) (* (cbrt (cbrt 3)) (* y y)))
  (* (pow (cbrt 3) 1/3) (pow y 2))
  (* (pow (cbrt 3) 1/3) (pow y 2))
  (* (pow (cbrt 3) 1/3) (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
36.600 * * [simplify]: iteration  0 :  119  enodes  (cost  2419 )
36.628 * * [simplify]: iteration  1 :  381  enodes  (cost  2311 )
36.726 * * [simplify]: iteration  2 :  1521  enodes  (cost  1387 )
37.185 * * [simplify]: iteration  done :  5000  enodes  (cost  1387 )
37.186 * [simplify]: Simplified to:
   (* (pow y 2) (cbrt (cbrt 3)))
  (* (pow y 2) (cbrt (cbrt 3)))
  (log (* (cbrt (cbrt 3)) (* y y)))
  (log (* (cbrt (cbrt 3)) (* y y)))
  (log (* (cbrt (cbrt 3)) (* y y)))
  (exp (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt 3) (pow (* y y) 3))
  (* (cbrt 3) (pow (* y y) 3))
  (* (cbrt (* (cbrt (cbrt 3)) (* y y))) (cbrt (* (cbrt (cbrt 3)) (* y y))))
  (cbrt (* (cbrt (cbrt 3)) (* y y)))
  (pow (* (pow y 2) (cbrt (cbrt 3))) 3)
  (sqrt (* (cbrt (cbrt 3)) (* y y)))
  (sqrt (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (cbrt (sqrt 3))) y)
  (* (cbrt (cbrt (sqrt 3))) y)
  (* (cbrt (sqrt (cbrt 3))) y)
  (* (cbrt (sqrt (cbrt 3))) y)
  (* (sqrt (cbrt (cbrt 3))) y)
  (* (sqrt (cbrt (cbrt 3))) y)
  (* (cbrt (cbrt 3)) y)
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (cbrt (cbrt (sqrt 3))) (* y y))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (cbrt (sqrt (cbrt 3))) (* y y))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* (cbrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (+ (log (* (pow (cbrt (cbrt 3)) 3) (* y y))) (* 2 (log (cbrt 3))))
  (pow (pow (exp (pow (cbrt (cbrt 3)) 3)) (* y y)) (* (cbrt 3) (cbrt 3)))
  (* (pow (cbrt 3) 3) (* (pow (* y y) 3) 9))
  (* (pow (cbrt 3) 3) (* (pow (* y y) 3) 9))
  (* (* 9 (* (cbrt 3) (cbrt 3))) (pow (* (pow y 2) (cbrt (cbrt 3))) 3))
  (* (* 9 (pow (pow (cbrt 3) 2/3) 3)) (* (cbrt 3) (pow (* y y) 3)))
  (* (* 9 (pow (pow (cbrt 3) 2/3) 3)) (* (cbrt 3) (pow (* y y) 3)))
  (* (pow (* (pow (cbrt (cbrt 3)) 3) (* y y)) 3) 9)
  (* (pow (* (pow (cbrt (cbrt 3)) 3) (* y y)) 3) 9)
  (* (* (pow (cbrt 3) 3) (pow (* y y) 3)) (pow (* (cbrt 3) (cbrt 3)) 3))
  (* (* (pow (cbrt 3) 3) (pow (* y y) 3)) (pow (* (cbrt 3) (cbrt 3)) 3))
  (* (* (pow (* (cbrt 3) (cbrt 3)) 3) (pow (* (pow y 2) (cbrt (cbrt 3))) 3)) (* (cbrt 3) (cbrt 3)))
  (* (pow (pow (cbrt 3) 2/3) 3) (* (* (cbrt 3) (pow (* y y) 3)) (pow (* (cbrt 3) (cbrt 3)) 3)))
  (* (pow (pow (cbrt 3) 2/3) 3) (* (* (cbrt 3) (pow (* y y) 3)) (pow (* (cbrt 3) (cbrt 3)) 3)))
  (pow (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))) 3)
  (pow (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))) 3)
  (* (cbrt (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))) (cbrt (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3))))))
  (cbrt (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))))
  (pow (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))) 3)
  (sqrt (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))))
  (sqrt (* (pow (cbrt (cbrt 3)) 3) (* (* y y) (* (cbrt 3) (cbrt 3)))))
  (* (* (cbrt 3) (cbrt 3)) (pow (cbrt 3) 2/3))
  (* (* (pow (cbrt (cbrt 3)) 3) (* y y)) (cbrt 3))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (* (pow (cbrt (cbrt 3)) 3) (* y y))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (log (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (pow (exp (pow (cbrt (cbrt 3)) 3)) (* y y))
  (* (pow (cbrt 3) 3) (pow (* y y) 3))
  (* (pow (cbrt 3) 3) (pow (* y y) 3))
  (* (pow (* (pow y 2) (cbrt (cbrt 3))) 3) (* (cbrt 3) (cbrt 3)))
  (* (pow (pow (cbrt 3) 2/3) 3) (* (cbrt 3) (pow (* y y) 3)))
  (* (pow (pow (cbrt 3) 2/3) 3) (* (cbrt 3) (pow (* y y) 3)))
  (pow (* (pow (cbrt (cbrt 3)) 3) (* y y)) 3)
  (* (cbrt (* (pow (cbrt (cbrt 3)) 3) (* y y))) (cbrt (* (pow (cbrt (cbrt 3)) 3) (* y y))))
  (cbrt (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (pow (* (pow (cbrt (cbrt 3)) 3) (* y y)) 3)
  (sqrt (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (sqrt (* (pow (cbrt (cbrt 3)) 3) (* y y)))
  (pow (cbrt (cbrt 3)) 3)
  (* (pow (cbrt 3) 2/3) (* y y))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* (pow y 2) (cbrt (cbrt 3)))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
37.187 * * * [progress]: adding candidates to table
37.400 * [progress]: [Phase 3 of 3] Extracting.
37.400 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (sqrt 3)) y) (* (cbrt (sqrt 3)) y))) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))> #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>)
37.401 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (* x x) y x)
37.401 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (sqrt 3)) y) (* (cbrt (sqrt 3)) y))) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))> #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>)
37.415 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
37.429 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (sqrt 3)) y) (* (cbrt (sqrt 3)) y))) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))> #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>)
37.443 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (sqrt 3)) y) (* (cbrt (sqrt 3)) y))) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))> #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>)
37.458 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (sqrt 3)) y) (* (cbrt (sqrt 3)) y))) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt (cbrt 3)) (cbrt (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))> #<alt (λ (x y) (+ (* 1 (* (* 3 y) y)) (* x x)))>)
37.477 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
37.477 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* 1 (* (* 3 y) y)) (* x x))
37.477 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
37.478 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
37.478 * * [simplify]: iteration  2 :  17  enodes  (cost  9 )
37.478 * * [simplify]: iteration  done :  17  enodes  (cost  9 )
37.478 * [simplify]: Simplified to:
   (+ (* x x) (* (* 3 y) y))
38.117 * [regime-testing]: Baseline error score: 0.12264033004125516
38.117 * [regime-testing]: Oracle error score: 0.019377422177772222
38.118 * [regime-testing]: End program error score: 0.12264033004125516
38.134 * [regime-testing]: Target error score: 0.12264033004125516