10.113 * [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.024 * * [simplify]: iteration  2 :  23  enodes  (cost  13 )
0.027 * * [simplify]: iteration  3 :  36  enodes  (cost  9 )
0.032 * * [simplify]: iteration  4 :  44  enodes  (cost  9 )
0.038 * * [simplify]: iteration  5 :  45  enodes  (cost  9 )
0.046 * * [simplify]: iteration  done :  45  enodes  (cost  9 )
0.046 * [simplify]: Simplified to:
   (+ (* 3 (* y y)) (* x x))
0.048 * * [progress]: iteration 1 / 4
0.049 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))>
0.050 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.063 * * * [progress]: generating series expansions
0.063 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.063 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
0.063 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.063 * [taylor]: Taking taylor expansion of 3 in y
0.063 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.063 * [taylor]: Taking taylor expansion of y in y
0.063 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.063 * [taylor]: Taking taylor expansion of 3 in y
0.063 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.063 * [taylor]: Taking taylor expansion of y in y
0.071 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
0.071 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.071 * [taylor]: Taking taylor expansion of 3 in y
0.071 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.072 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.072 * [taylor]: Taking taylor expansion of 3 in y
0.072 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.072 * [taylor]: Taking taylor expansion of y in y
0.079 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
0.079 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.079 * [taylor]: Taking taylor expansion of 3 in y
0.079 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.080 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.080 * [taylor]: Taking taylor expansion of 3 in y
0.080 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.087 * * * [progress]: simplifying candidates
0.088 * [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))
0.089 * * [simplify]: iteration  0 :  34  enodes  (cost  162 )
0.096 * * [simplify]: iteration  1 :  82  enodes  (cost  149 )
0.124 * * [simplify]: iteration  2 :  232  enodes  (cost  129 )
0.200 * * [simplify]: iteration  3 :  463  enodes  (cost  123 )
0.320 * * [simplify]: iteration  4 :  678  enodes  (cost  123 )
0.519 * * [simplify]: iteration  5 :  1357  enodes  (cost  123 )
1.121 * * [simplify]: iteration  6 :  3385  enodes  (cost  123 )
2.366 * * [simplify]: iteration  done :  5001  enodes  (cost  123 )
2.367 * [simplify]: Simplified to:
   (* y (* 3 y))
  (* y (* 3 y))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (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)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
2.367 * * * [progress]: adding candidates to table
2.404 * * [progress]: iteration 2 / 4
2.404 * * * [progress]: picking best candidate
2.408 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))>
2.408 * * * [progress]: localizing error
2.414 * * * [progress]: generating rewritten candidates
2.414 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.421 * * * [progress]: generating series expansions
2.421 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.421 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
2.422 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.422 * [taylor]: Taking taylor expansion of 3 in y
2.422 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.422 * [taylor]: Taking taylor expansion of y in y
2.422 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.422 * [taylor]: Taking taylor expansion of 3 in y
2.422 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.422 * [taylor]: Taking taylor expansion of y in y
2.430 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
2.430 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.430 * [taylor]: Taking taylor expansion of 3 in y
2.430 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.430 * [taylor]: Taking taylor expansion of y in y
2.431 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.431 * [taylor]: Taking taylor expansion of 3 in y
2.431 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.431 * [taylor]: Taking taylor expansion of y in y
2.438 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
2.438 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.438 * [taylor]: Taking taylor expansion of 3 in y
2.438 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.439 * [taylor]: Taking taylor expansion of y in y
2.439 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.439 * [taylor]: Taking taylor expansion of 3 in y
2.439 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.439 * [taylor]: Taking taylor expansion of y in y
2.447 * * * [progress]: simplifying candidates
2.447 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* y (* 3 y))
  (* y (* 3 y))
  (+ (log y) (+ (log 3) (log y)))
  (+ (log y) (log (* 3 y)))
  (log (* y (* 3 y)))
  (exp (* y (* 3 y)))
  (* (* (* y y) y) (* (* (* 3 3) 3) (* (* y y) y)))
  (* (* (* y y) y) (* (* (* 3 y) (* 3 y)) (* 3 y)))
  (* (cbrt (* y (* 3 y))) (cbrt (* y (* 3 y))))
  (cbrt (* y (* 3 y)))
  (* (* (* y (* 3 y)) (* y (* 3 y))) (* y (* 3 y)))
  (sqrt (* y (* 3 y)))
  (sqrt (* y (* 3 y)))
  (* y 3)
  (* (cbrt y) (* 3 y))
  (* (sqrt y) (* 3 y))
  (* y (* 3 y))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
2.448 * * [simplify]: iteration  0 :  34  enodes  (cost  154 )
2.455 * * [simplify]: iteration  1 :  83  enodes  (cost  143 )
2.486 * * [simplify]: iteration  2 :  247  enodes  (cost  123 )
2.565 * * [simplify]: iteration  3 :  428  enodes  (cost  115 )
2.671 * * [simplify]: iteration  4 :  647  enodes  (cost  114 )
2.872 * * [simplify]: iteration  5 :  1718  enodes  (cost  114 )
3.534 * * [simplify]: iteration  done :  5000  enodes  (cost  114 )
3.534 * [simplify]: Simplified to:
   (* 3 (pow y 2))
  (* 3 (pow y 2))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (log (* y (* 3 y)))
  (exp (* y (* 3 y)))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* (cbrt (* y (* 3 y))) (cbrt (* y (* 3 y))))
  (cbrt (* y (* 3 y)))
  (* 27 (pow y 6))
  (sqrt (* y (* 3 y)))
  (sqrt (* y (* 3 y)))
  (* y 3)
  (* (cbrt y) (* 3 y))
  (* 3 (pow y 3/2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
3.534 * * * [progress]: adding candidates to table
3.570 * * [progress]: iteration 3 / 4
3.570 * * * [progress]: picking best candidate
3.573 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))) (* x x)))>
3.573 * * * [progress]: localizing error
3.582 * * * [progress]: generating rewritten candidates
3.582 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
3.590 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.621 * * * [progress]: generating series expansions
3.621 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
3.621 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
3.621 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
3.621 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.621 * [taylor]: Taking taylor expansion of 3 in y
3.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.622 * [taylor]: Taking taylor expansion of y in y
3.622 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
3.622 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.622 * [taylor]: Taking taylor expansion of 3 in y
3.623 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.623 * [taylor]: Taking taylor expansion of y in y
3.639 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
3.639 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
3.639 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.639 * [taylor]: Taking taylor expansion of 3 in y
3.640 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.640 * [taylor]: Taking taylor expansion of y in y
3.641 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
3.641 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.641 * [taylor]: Taking taylor expansion of 3 in y
3.641 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.641 * [taylor]: Taking taylor expansion of y in y
3.654 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
3.654 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
3.654 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.654 * [taylor]: Taking taylor expansion of 3 in y
3.655 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.655 * [taylor]: Taking taylor expansion of y in y
3.656 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
3.656 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.656 * [taylor]: Taking taylor expansion of 3 in y
3.656 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.656 * [taylor]: Taking taylor expansion of y in y
3.669 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.670 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
3.670 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
3.670 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.670 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.670 * [taylor]: Taking taylor expansion of 3 in y
3.671 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.671 * [taylor]: Taking taylor expansion of y in y
3.671 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
3.671 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.671 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.671 * [taylor]: Taking taylor expansion of 3 in y
3.671 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.671 * [taylor]: Taking taylor expansion of y in y
3.697 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
3.697 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
3.697 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.697 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.697 * [taylor]: Taking taylor expansion of 3 in y
3.697 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.697 * [taylor]: Taking taylor expansion of y in y
3.701 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
3.701 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.701 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.701 * [taylor]: Taking taylor expansion of 3 in y
3.701 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.701 * [taylor]: Taking taylor expansion of y in y
3.728 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
3.728 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
3.728 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.728 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.728 * [taylor]: Taking taylor expansion of 3 in y
3.729 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.729 * [taylor]: Taking taylor expansion of y in y
3.732 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
3.732 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
3.732 * [taylor]: Taking taylor expansion of (cbrt 3) in y
3.732 * [taylor]: Taking taylor expansion of 3 in y
3.733 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.733 * [taylor]: Taking taylor expansion of y in y
3.755 * * * [progress]: simplifying candidates
3.756 * [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))
3.758 * * [simplify]: iteration  0 :  66  enodes  (cost  692 )
3.771 * * [simplify]: iteration  1 :  177  enodes  (cost  664 )
3.828 * * [simplify]: iteration  2 :  622  enodes  (cost  448 )
4.214 * * [simplify]: iteration  3 :  2331  enodes  (cost  342 )
5.686 * * [simplify]: iteration  4 :  4359  enodes  (cost  342 )
6.964 * * [simplify]: iteration  done :  5000  enodes  (cost  342 )
6.965 * [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))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (pow (exp (* y y)) 3)
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* (cbrt (* 3 (pow y 2))) (cbrt (* 3 (pow y 2))))
  (cbrt (* 3 (pow y 2)))
  (* 27 (pow y 6))
  (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))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
6.965 * * * [progress]: adding candidates to table
7.040 * * [progress]: iteration 4 / 4
7.040 * * * [progress]: picking best candidate
7.046 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>
7.046 * * * [progress]: localizing error
7.059 * * * [progress]: generating rewritten candidates
7.059 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2)
7.069 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
7.140 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
7.166 * * * [progress]: generating series expansions
7.166 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2)
7.167 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in (y) around 0
7.167 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in y
7.167 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.167 * [taylor]: Taking taylor expansion of 1/3 in y
7.167 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.167 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.167 * [taylor]: Taking taylor expansion of 3 in y
7.170 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.170 * [taylor]: Taking taylor expansion of y in y
7.170 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (pow y 2)) in y
7.170 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.170 * [taylor]: Taking taylor expansion of 1/3 in y
7.170 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.170 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.170 * [taylor]: Taking taylor expansion of 3 in y
7.174 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.174 * [taylor]: Taking taylor expansion of y in y
7.245 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in (y) around 0
7.245 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
7.245 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.245 * [taylor]: Taking taylor expansion of 1/3 in y
7.245 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.245 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.245 * [taylor]: Taking taylor expansion of 3 in y
7.249 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.249 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.249 * [taylor]: Taking taylor expansion of y in y
7.249 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
7.249 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.249 * [taylor]: Taking taylor expansion of 1/3 in y
7.249 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.249 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.249 * [taylor]: Taking taylor expansion of 3 in y
7.253 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.253 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.253 * [taylor]: Taking taylor expansion of y in y
7.326 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in (y) around 0
7.326 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
7.326 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.326 * [taylor]: Taking taylor expansion of 1/3 in y
7.326 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.326 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.326 * [taylor]: Taking taylor expansion of 3 in y
7.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.330 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.330 * [taylor]: Taking taylor expansion of y in y
7.330 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 1/3) (/ 1 (pow y 2))) in y
7.330 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 1/3) in y
7.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt 3)))) in y
7.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt 3))) in y
7.330 * [taylor]: Taking taylor expansion of 1/3 in y
7.330 * [taylor]: Taking taylor expansion of (log (cbrt 3)) in y
7.330 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.330 * [taylor]: Taking taylor expansion of 3 in y
7.334 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.334 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.334 * [taylor]: Taking taylor expansion of y in y
7.406 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.409 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
7.409 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
7.409 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.409 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.409 * [taylor]: Taking taylor expansion of 3 in y
7.409 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.410 * [taylor]: Taking taylor expansion of y in y
7.410 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
7.410 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.410 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.410 * [taylor]: Taking taylor expansion of 3 in y
7.410 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.410 * [taylor]: Taking taylor expansion of y in y
7.440 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
7.440 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
7.440 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.440 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.440 * [taylor]: Taking taylor expansion of 3 in y
7.441 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.441 * [taylor]: Taking taylor expansion of y in y
7.444 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
7.444 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.444 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.444 * [taylor]: Taking taylor expansion of 3 in y
7.445 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.445 * [taylor]: Taking taylor expansion of y in y
7.471 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
7.471 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
7.471 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.471 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.471 * [taylor]: Taking taylor expansion of 3 in y
7.472 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.472 * [taylor]: Taking taylor expansion of y in y
7.475 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
7.475 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
7.475 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.475 * [taylor]: Taking taylor expansion of 3 in y
7.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.476 * [taylor]: Taking taylor expansion of y in y
7.499 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
7.501 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
7.501 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
7.501 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.501 * [taylor]: Taking taylor expansion of 3 in y
7.501 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.501 * [taylor]: Taking taylor expansion of y in y
7.501 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
7.502 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.502 * [taylor]: Taking taylor expansion of 3 in y
7.502 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.502 * [taylor]: Taking taylor expansion of y in y
7.520 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
7.520 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
7.520 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.520 * [taylor]: Taking taylor expansion of 3 in y
7.521 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.521 * [taylor]: Taking taylor expansion of y in y
7.522 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
7.522 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.522 * [taylor]: Taking taylor expansion of 3 in y
7.522 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.523 * [taylor]: Taking taylor expansion of y in y
7.537 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
7.537 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
7.537 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.537 * [taylor]: Taking taylor expansion of 3 in y
7.538 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.538 * [taylor]: Taking taylor expansion of y in y
7.539 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
7.539 * [taylor]: Taking taylor expansion of (cbrt 3) in y
7.539 * [taylor]: Taking taylor expansion of 3 in y
7.539 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.539 * [taylor]: Taking taylor expansion of y in y
7.552 * * * [progress]: simplifying candidates
7.553 * [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 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (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 3))) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (cbrt (* (cbrt 3) (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 3))) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt (* (cbrt 3) (cbrt 3))))
  (* (cbrt 3) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (+ (log y) (log y))))
  (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (+ (log (cbrt (cbrt 3))) (log (* y y))))
  (+ (log (cbrt (* (cbrt 3) (cbrt 3)))) (log (* (cbrt (cbrt 3)) (* y y))))
  (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (exp (* (cbrt (* (cbrt 3) (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 (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (cbrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (cbrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (sqrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (sqrt (* (cbrt (* (cbrt 3) (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 (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (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))
7.557 * * [simplify]: iteration  0 :  102  enodes  (cost  1590 )
7.576 * * [simplify]: iteration  1 :  279  enodes  (cost  1546 )
7.667 * * [simplify]: iteration  2 :  1071  enodes  (cost  1249 )
8.054 * * [simplify]: iteration  done :  5000  enodes  (cost  1249 )
8.055 * [simplify]: Simplified to:
   (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (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 (* (cbrt (cbrt 3)) (* y y)) 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))
  (* (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 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (+ (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* 2 (log (cbrt 3))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* 9 (* (pow (* y y) 3) (pow (cbrt 3) 3)))
  (* 9 (* (pow (* y y) 3) (pow (cbrt 3) 3)))
  (* 9 (* (pow (* (cbrt (cbrt 3)) (* y y)) 3) (* (cbrt 3) (cbrt 3))))
  (* (pow (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) 3) 9)
  (* (* (pow (* y y) 3) (pow (cbrt 3) 3)) (pow (* (cbrt 3) (cbrt 3)) 3))
  (* (* (pow (* y y) 3) (pow (cbrt 3) 3)) (pow (* (cbrt 3) (cbrt 3)) 3))
  (* (* (pow (* (cbrt (cbrt 3)) (* y y)) 3) (* (cbrt 3) (cbrt 3))) (pow (* (cbrt 3) (cbrt 3)) 3))
  (pow (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) 3)
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (pow (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) 3)
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt (* (cbrt 3) (cbrt 3))))
  (* (cbrt 3) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (log (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (exp (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (pow (* y y) 3) (pow (cbrt 3) 3))
  (* (pow (* y y) 3) (pow (cbrt 3) 3))
  (* (pow (* (cbrt (cbrt 3)) (* y y)) 3) (* (cbrt 3) (cbrt 3)))
  (* (cbrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (cbrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))))
  (cbrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (pow (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))) 3)
  (sqrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (sqrt (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y))))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (cbrt (cbrt 3)))
  (* (* y y) (pow (cbrt 3) 2/3))
  (* (cbrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* 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))
8.055 * * * [progress]: adding candidates to table
8.251 * [progress]: [Phase 3 of 3] Extracting.
8.251 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.252 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (* x x) y x)
8.252 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.267 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.284 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.299 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.318 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (sqrt (cbrt (* (cbrt 3) (cbrt 3)))) (* (cbrt (cbrt 3)) (* y y))))) (* x x)))> #<alt (λ (x y) (+ (* y (* 3 y)) (* x x)))> #<alt (λ (x y) (+ (* 3 (* y y)) (* x x)))> #<alt (λ (x y) (+ (* (* (cbrt 3) (cbrt 3)) (* (cbrt (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (* y y)))) (* x x)))>)
8.335 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.336 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* y (* 3 y)) (* x x))
8.336 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
8.336 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.337 * * [simplify]: iteration  done :  10  enodes  (cost  9 )
8.337 * [simplify]: Simplified to:
   (+ (* y (* 3 y)) (* x x))
9.013 * [regime-testing]: Baseline error score: 0.12264033004125516
9.013 * [regime-testing]: Oracle error score: 0.026253281660207527
9.014 * [regime-testing]: End program error score: 0.12264033004125516
9.031 * [regime-testing]: Target error score: 0.12264033004125516