21.918 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.603 * * * [progress]: [2/2] Setting up program.
0.606 * [progress]: [Phase 2 of 3] Improving.
0.606 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.608 * * [simplify]: iteration  0 :  15  enodes  (cost  7 )
0.609 * * [simplify]: iteration  1 :  25  enodes  (cost  6 )
0.610 * * [simplify]: iteration  2 :  37  enodes  (cost  4 )
0.611 * * [simplify]: iteration  3 :  47  enodes  (cost  4 )
0.613 * * [simplify]: iteration  4 :  56  enodes  (cost  4 )
0.614 * * [simplify]: iteration  5 :  89  enodes  (cost  4 )
0.616 * * [simplify]: iteration  6 :  158  enodes  (cost  4 )
0.618 * * [simplify]: iteration  7 :  208  enodes  (cost  4 )
0.620 * * [simplify]: iteration  8 :  221  enodes  (cost  4 )
0.623 * * [simplify]: iteration  9 :  316  enodes  (cost  4 )
0.628 * * [simplify]: iteration  10 :  646  enodes  (cost  4 )
0.655 * * [simplify]: iteration  11 :  3185  enodes  (cost  4 )
0.874 * * [simplify]: iteration  12 :  5003  enodes  (cost  4 )
0.876 * [simplify]: Simplified to:
   (+ (* 3 (* z z)) (* x y))
0.880 * * [progress]: iteration 1 / 4
0.880 * * * [progress]: picking best candidate
0.883 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>
0.883 * * * [progress]: localizing error
0.888 * * * [progress]: generating rewritten candidates
0.888 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.894 * * * [progress]: generating series expansions
0.894 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.894 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.894 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.894 * [taylor]: Taking taylor expansion of 3 in z
0.894 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.894 * [taylor]: Taking taylor expansion of 3 in z
0.894 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.895 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.895 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.895 * [taylor]: Taking taylor expansion of 3 in z
0.895 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.895 * [taylor]: Taking taylor expansion of z in z
0.895 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.895 * [taylor]: Taking taylor expansion of 3 in z
0.895 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.895 * [taylor]: Taking taylor expansion of z in z
0.896 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.896 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.896 * [taylor]: Taking taylor expansion of 3 in z
0.896 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.896 * [taylor]: Taking taylor expansion of z in z
0.896 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.896 * [taylor]: Taking taylor expansion of 3 in z
0.896 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.896 * [taylor]: Taking taylor expansion of z in z
0.897 * * * [progress]: simplifying candidates
0.897 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3 (* z z))
  (* 3 (* z z))
  (+ (log 3) (+ (log z) (log z)))
  (+ (log 3) (log (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z)))
  (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z)))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* 3 (* z z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
0.900 * * [simplify]: iteration  0 :  86  enodes  (cost  70 )
0.902 * * [simplify]: iteration  1 :  288  enodes  (cost  60 )
0.907 * * [simplify]: iteration  2 :  1042  enodes  (cost  57 )
0.927 * * [simplify]: iteration  3 :  4457  enodes  (cost  57 )
1.080 * * [simplify]: iteration  4 :  5002  enodes  (cost  57 )
1.081 * [simplify]: Simplified to:
   (* 3 (* z z))
  (* 3 (* z z))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* 27 (pow z 6))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
1.081 * * * [progress]: adding candidates to table
1.105 * * [progress]: iteration 2 / 4
1.105 * * * [progress]: picking best candidate
1.118 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))>
1.118 * * * [progress]: localizing error
1.124 * * * [progress]: generating rewritten candidates
1.124 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
1.129 * * * [progress]: generating series expansions
1.129 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
1.129 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
1.129 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.129 * [taylor]: Taking taylor expansion of 3 in z
1.129 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.129 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.129 * [taylor]: Taking taylor expansion of 3 in z
1.129 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.130 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
1.130 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.130 * [taylor]: Taking taylor expansion of 3 in z
1.130 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.130 * [taylor]: Taking taylor expansion of z in z
1.130 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.130 * [taylor]: Taking taylor expansion of 3 in z
1.130 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.130 * [taylor]: Taking taylor expansion of z in z
1.131 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
1.131 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.131 * [taylor]: Taking taylor expansion of 3 in z
1.131 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.131 * [taylor]: Taking taylor expansion of z in z
1.131 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.131 * [taylor]: Taking taylor expansion of 3 in z
1.131 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.131 * [taylor]: Taking taylor expansion of z in z
1.132 * * * [progress]: simplifying candidates
1.133 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 3 z) z)
  (* (* 3 z) z)
  (+ (+ (log 3) (log z)) (log z))
  (+ (log (* 3 z)) (log z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* (* (* (* 3 3) 3) (* (* z z) z)) (* (* z z) z))
  (* (* (* (* 3 z) (* 3 z)) (* 3 z)) (* (* z z) z))
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (* (* (* (* 3 z) z) (* (* 3 z) z)) (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (* (* 3 z) (* (cbrt z) (cbrt z)))
  (* (* 3 z) (sqrt z))
  (* (* 3 z) 1)
  (* z z)
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
1.135 * * [simplify]: iteration  0 :  95  enodes  (cost  68 )
1.138 * * [simplify]: iteration  1 :  465  enodes  (cost  57 )
1.148 * * [simplify]: iteration  2 :  2244  enodes  (cost  54 )
1.186 * * [simplify]: iteration  3 :  5001  enodes  (cost  53 )
1.187 * [simplify]: Simplified to:
   (* (* 3 z) z)
  (* (* 3 z) z)
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (* 27 (pow z 6))
  (sqrt (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (* (* 3 z) (* (cbrt z) (cbrt z)))
  (* 3 (pow z 3/2))
  (* 3 z)
  (pow z 2)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
1.187 * * * [progress]: adding candidates to table
1.203 * * [progress]: iteration 3 / 4
1.203 * * * [progress]: picking best candidate
1.213 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))>
1.213 * * * [progress]: localizing error
1.222 * * * [progress]: generating rewritten candidates
1.222 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
1.227 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.232 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.243 * * * [progress]: generating series expansions
1.243 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
1.243 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.243 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.243 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.243 * [taylor]: Taking taylor expansion of 3 in z
1.243 * [taylor]: Taking taylor expansion of z in z
1.243 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.243 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.243 * [taylor]: Taking taylor expansion of 3 in z
1.243 * [taylor]: Taking taylor expansion of z in z
1.244 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.244 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.244 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.244 * [taylor]: Taking taylor expansion of 3 in z
1.244 * [taylor]: Taking taylor expansion of z in z
1.244 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.244 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.244 * [taylor]: Taking taylor expansion of 3 in z
1.244 * [taylor]: Taking taylor expansion of z in z
1.245 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.245 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.245 * [taylor]: Taking taylor expansion of -1 in z
1.245 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.245 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.245 * [taylor]: Taking taylor expansion of 3 in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.245 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.245 * [taylor]: Taking taylor expansion of -1 in z
1.245 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.245 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.245 * [taylor]: Taking taylor expansion of 3 in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.247 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.247 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.247 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.247 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.247 * [taylor]: Taking taylor expansion of 3 in z
1.247 * [taylor]: Taking taylor expansion of z in z
1.247 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.247 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.247 * [taylor]: Taking taylor expansion of 3 in z
1.247 * [taylor]: Taking taylor expansion of z in z
1.248 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.248 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.248 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.248 * [taylor]: Taking taylor expansion of 3 in z
1.248 * [taylor]: Taking taylor expansion of z in z
1.248 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.248 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.248 * [taylor]: Taking taylor expansion of 3 in z
1.248 * [taylor]: Taking taylor expansion of z in z
1.249 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.249 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.249 * [taylor]: Taking taylor expansion of -1 in z
1.249 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.249 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.249 * [taylor]: Taking taylor expansion of 3 in z
1.249 * [taylor]: Taking taylor expansion of z in z
1.249 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.249 * [taylor]: Taking taylor expansion of -1 in z
1.249 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.249 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.249 * [taylor]: Taking taylor expansion of 3 in z
1.249 * [taylor]: Taking taylor expansion of z in z
1.250 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.250 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.251 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.251 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.251 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.251 * [taylor]: Taking taylor expansion of 3 in z
1.251 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.251 * [taylor]: Taking taylor expansion of z in z
1.251 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.251 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.251 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.251 * [taylor]: Taking taylor expansion of 3 in z
1.251 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.251 * [taylor]: Taking taylor expansion of z in z
1.253 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.253 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.253 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.253 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.253 * [taylor]: Taking taylor expansion of 3 in z
1.253 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.253 * [taylor]: Taking taylor expansion of z in z
1.253 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.253 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.253 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.253 * [taylor]: Taking taylor expansion of 3 in z
1.253 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.253 * [taylor]: Taking taylor expansion of z in z
1.255 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.255 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.255 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.255 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.255 * [taylor]: Taking taylor expansion of 3 in z
1.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.255 * [taylor]: Taking taylor expansion of z in z
1.255 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.255 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.255 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.255 * [taylor]: Taking taylor expansion of 3 in z
1.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.255 * [taylor]: Taking taylor expansion of z in z
1.257 * * * [progress]: simplifying candidates
1.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt 3) z)
  (+ (log (sqrt 3)) (log z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z))
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (* (sqrt 3) 1)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (+ (log (sqrt 3)) (log z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z))
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (* (sqrt 3) 1)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* (sqrt 3) z) (* (sqrt 3) z))
  (* (* (sqrt 3) z) (* (sqrt 3) z))
  (* (* (sqrt 3) z) (* (sqrt 3) z))
  (* (* (sqrt 3) z) (* (sqrt 3) z))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log (sqrt 3)) (log z)) (+ (log (sqrt 3)) (log z)))
  (+ (+ (log (sqrt 3)) (log z)) (log (* (sqrt 3) z)))
  (+ (log (* (sqrt 3) z)) (+ (log (sqrt 3)) (log z)))
  (+ (log (* (sqrt 3) z)) (log (* (sqrt 3) z)))
  (log (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (exp (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)))
  (* (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z))) (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z))))
  (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (* (sqrt 3) z) (* (sqrt 3) z))) (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (sqrt (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (sqrt (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (* (sqrt 3) (sqrt 3))
  (* z z)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* (sqrt 3) z) (sqrt 3))
  (* z (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
1.262 * * [simplify]: iteration  0 :  133  enodes  (cost  312 )
1.265 * * [simplify]: iteration  1 :  631  enodes  (cost  242 )
1.282 * * [simplify]: iteration  2 :  3572  enodes  (cost  242 )
1.394 * * [simplify]: iteration  3 :  5002  enodes  (cost  242 )
1.396 * [simplify]: Simplified to:
   (* (sqrt 3) z)
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (sqrt 3)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (sqrt 3)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  2
  2
  2
  2
  (* (pow z 2) 3)
  (* (pow z 2) 3)
  (* (pow z 2) 3)
  (* (pow z 2) 3)
  2
  2
  (* 2 (log (* (sqrt 3) z)))
  (* 2 (log (* (sqrt 3) z)))
  (* 2 (log (* (sqrt 3) z)))
  (* 2 (log (* (sqrt 3) z)))
  (* 2 (log (* (sqrt 3) z)))
  (pow (exp 3) (pow z 2))
  (pow (* (pow z 2) 3) 3)
  (pow (* (pow z 2) 3) 3)
  (pow (* (pow z 2) 3) 3)
  (pow (* (pow z 2) 3) 3)
  (* (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z))) (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z))))
  (cbrt (* (* (sqrt 3) z) (* (sqrt 3) z)))
  (pow (* (pow z 2) 3) 3)
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  3
  (pow z 2)
  2
  2
  2
  2
  (* 3 z)
  (* z (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (pow z 2) 3)
  (* (pow z 2) 3)
  (* (pow z 2) 3)
1.397 * * * [progress]: adding candidates to table
1.481 * * [progress]: iteration 4 / 4
1.482 * * * [progress]: picking best candidate
1.486 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))>
1.486 * * * [progress]: localizing error
1.498 * * * [progress]: generating rewritten candidates
1.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.506 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.517 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.543 * * * [progress]: generating series expansions
1.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.543 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.543 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.543 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.543 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.543 * [taylor]: Taking taylor expansion of 3 in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.543 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.543 * [taylor]: Taking taylor expansion of 3 in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.545 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.545 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.545 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.545 * [taylor]: Taking taylor expansion of 3 in z
1.545 * [taylor]: Taking taylor expansion of z in z
1.545 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.545 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.545 * [taylor]: Taking taylor expansion of 3 in z
1.545 * [taylor]: Taking taylor expansion of z in z
1.546 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.546 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.546 * [taylor]: Taking taylor expansion of -1 in z
1.546 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.546 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.546 * [taylor]: Taking taylor expansion of 3 in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.546 * [taylor]: Taking taylor expansion of -1 in z
1.546 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.546 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.546 * [taylor]: Taking taylor expansion of 3 in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.547 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.547 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.547 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.547 * [taylor]: Taking taylor expansion of 3 in z
1.547 * [taylor]: Taking taylor expansion of z in z
1.547 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.547 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.547 * [taylor]: Taking taylor expansion of 3 in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.549 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.549 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.549 * [taylor]: Taking taylor expansion of 3 in z
1.549 * [taylor]: Taking taylor expansion of z in z
1.549 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.549 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.549 * [taylor]: Taking taylor expansion of 3 in z
1.549 * [taylor]: Taking taylor expansion of z in z
1.550 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.550 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.550 * [taylor]: Taking taylor expansion of -1 in z
1.550 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.550 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.550 * [taylor]: Taking taylor expansion of 3 in z
1.550 * [taylor]: Taking taylor expansion of z in z
1.550 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.550 * [taylor]: Taking taylor expansion of -1 in z
1.550 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.550 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.550 * [taylor]: Taking taylor expansion of 3 in z
1.550 * [taylor]: Taking taylor expansion of z in z
1.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.551 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.551 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.551 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.551 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.551 * [taylor]: Taking taylor expansion of 3 in z
1.551 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.551 * [taylor]: Taking taylor expansion of z in z
1.551 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.551 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.551 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.551 * [taylor]: Taking taylor expansion of 3 in z
1.552 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.552 * [taylor]: Taking taylor expansion of z in z
1.553 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.553 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.553 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.553 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.553 * [taylor]: Taking taylor expansion of 3 in z
1.553 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.554 * [taylor]: Taking taylor expansion of z in z
1.554 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.554 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.554 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.554 * [taylor]: Taking taylor expansion of 3 in z
1.554 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.554 * [taylor]: Taking taylor expansion of z in z
1.556 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.556 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.556 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.556 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.556 * [taylor]: Taking taylor expansion of 3 in z
1.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.556 * [taylor]: Taking taylor expansion of z in z
1.556 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.556 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.556 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.556 * [taylor]: Taking taylor expansion of 3 in z
1.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.556 * [taylor]: Taking taylor expansion of z in z
1.558 * * * [progress]: simplifying candidates
1.563 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* (sqrt 3) (sqrt 3))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (+ 1 1)
  (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3))))
  (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (sqrt 3) (sqrt 3))
  (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (* (cbrt 3) (cbrt 3)))) (cbrt (sqrt (* (cbrt 3) (cbrt 3)))))
  (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))))
  (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* 1 1)
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (* (cbrt 3) (cbrt 3)))))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 1)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt 3)) (cbrt 1))
  (* (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))))
  (* (cbrt (sqrt 3)) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt 3)) 1)
  (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))
  (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
  (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
  (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
  (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
  (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z)))
  (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z)))
  (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z)))
  (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z)))
  (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (exp (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* z z) z)))
  (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z)))
  (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* z z) z)))
  (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z)))
  (* (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) z))
  (* (sqrt 3) z)
  (+ (log (sqrt 3)) (log z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z))
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (* (sqrt 3) 1)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (+ (+ (log (sqrt 3)) (log z)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z))))
  (+ (+ (log (sqrt 3)) (log z)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z))))
  (+ (+ (log (sqrt 3)) (log z)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z))))
  (+ (+ (log (sqrt 3)) (log z)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z))))
  (+ (+ (log (sqrt 3)) (log z)) (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (+ (log (* (sqrt 3) z)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z))))
  (+ (log (* (sqrt 3) z)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z))))
  (+ (log (* (sqrt 3) z)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log z))))
  (+ (log (* (sqrt 3) z)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) z))))
  (+ (log (* (sqrt 3) z)) (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (log (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (exp (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* z z) z))))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* z z) z))))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* z z) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* z z) z))))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* z z) z))))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z)) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (sqrt 3) z)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))) (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))))
  (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (* (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))) (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (sqrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (sqrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* z (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
  (* (cbrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
1.570 * * [simplify]: iteration  0 :  355  enodes  (cost  1442 )
1.578 * * [simplify]: iteration  1 :  1997  enodes  (cost  1050 )
1.633 * * [simplify]: iteration  2 :  5001  enodes  (cost  764 )
1.638 * [simplify]: Simplified to:
   2/3
  2
  3
  (pow (sqrt (cbrt (sqrt 3))) 4)
  2
  (* 2 (log (cbrt (sqrt 3))))
  (* 2 (log (cbrt (sqrt 3))))
  (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  3
  (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  3
  (fabs (cbrt (sqrt 3)))
  (fabs (cbrt (sqrt 3)))
  (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (* (cbrt 3) (cbrt 3)))) (cbrt (sqrt (* (cbrt 3) (cbrt 3)))))
  (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  1
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  1
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (pow (cbrt (cbrt (sqrt 3))) 4)
  (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))
  (cbrt (sqrt 3))
  (cbrt (sqrt 3))
  1
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3))))
  (cbrt (sqrt 3))
  (cbrt (sqrt 3))
  2/3
  2
  (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (* (cbrt 3) (cbrt 3)))))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (cbrt (sqrt 3))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (cbrt (sqrt 3))
  (* (pow (cbrt (cbrt (sqrt 3))) 4) (cbrt (cbrt (sqrt 3))))
  (pow (sqrt (cbrt (sqrt 3))) 3)
  (cbrt (sqrt 3))
  (pow (cbrt (cbrt (sqrt 3))) 4)
  (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3)))
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3))))
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (pow (cbrt (cbrt (sqrt 3))) 4)
  (pow (sqrt (cbrt (sqrt 3))) 3)
  (pow (sqrt (cbrt (sqrt 3))) 4)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (pow (* (sqrt 3) z) 3)
  (pow (* (sqrt 3) z) 3)
  (pow (* (sqrt 3) z) 3)
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (sqrt 3)
  (* (pow (sqrt (cbrt (sqrt 3))) 4) z)
  (* (sqrt 3) z)
  (log (* (sqrt 3) z))
  (log (* (sqrt 3) z))
  (exp (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (* (cbrt (* (sqrt 3) z)) (cbrt (* (sqrt 3) z)))
  (cbrt (* (sqrt 3) z))
  (pow (* (sqrt 3) z) 3)
  (sqrt (* (sqrt 3) z))
  (sqrt (* (sqrt 3) z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt (sqrt 3)) (sqrt z))
  (* (sqrt 3) (* (cbrt z) (cbrt z)))
  (* (sqrt 3) (sqrt z))
  (sqrt 3)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (+ (log (* (* (sqrt 3) z) (pow (cbrt (sqrt 3)) 3))) (log z))
  (pow (exp (sqrt 3)) (* (* z (pow (cbrt (sqrt 3)) 3)) z))
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (pow (* (sqrt 3) z) 6)
  (* (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))) (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))))
  (cbrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (pow (* (sqrt 3) z) 6)
  (sqrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (sqrt (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))))
  (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (sqrt 3) (pow z 2))
  (* (cbrt (sqrt 3)) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
1.639 * * * [progress]: adding candidates to table
1.837 * [progress]: [Phase 3 of 3] Extracting.
1.837 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
1.837 * * * [regime-changes]: Trying 5 branch expressions: ((* z z) (* x y) z y x)
1.837 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
1.884 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
1.933 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
1.981 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
2.029 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))> #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))> #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))> #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>)
2.076 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.076 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* 3 z) z) (* x y))
2.077 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
2.077 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
2.077 * [simplify]: Simplified to:
   (+ (* (* 3 z) z) (* x y))
3.882 * [regime-testing]: End program error score: 0.10590947931009406
3.964 * [regime-testing]: Target error score: 0.10590947931009406