22.763 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.025 * * [simplify]: iteration  0 :  15  enodes  (cost  7 )
0.026 * * [simplify]: iteration  1 :  25  enodes  (cost  6 )
0.027 * * [simplify]: iteration  2 :  37  enodes  (cost  4 )
0.029 * * [simplify]: iteration  3 :  47  enodes  (cost  4 )
0.030 * * [simplify]: iteration  4 :  56  enodes  (cost  4 )
0.032 * * [simplify]: iteration  5 :  89  enodes  (cost  4 )
0.034 * * [simplify]: iteration  6 :  158  enodes  (cost  4 )
0.036 * * [simplify]: iteration  7 :  208  enodes  (cost  4 )
0.038 * * [simplify]: iteration  8 :  221  enodes  (cost  4 )
0.041 * * [simplify]: iteration  9 :  316  enodes  (cost  4 )
0.047 * * [simplify]: iteration  10 :  646  enodes  (cost  4 )
0.072 * * [simplify]: iteration  11 :  3199  enodes  (cost  4 )
0.296 * * [simplify]: iteration  12 :  5003  enodes  (cost  4 )
0.298 * [simplify]: Simplified to:
   (+ (* 3 (* z z)) (* x y))
0.301 * * [progress]: iteration 1 / 4
0.301 * * * [progress]: picking best candidate
0.303 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 3 (* z z)) (* x y)))>
0.303 * * * [progress]: localizing error
0.311 * * * [progress]: generating rewritten candidates
0.312 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.317 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.323 * * * [progress]: generating series expansions
0.323 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.324 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.324 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.324 * [taylor]: Taking taylor expansion of 3 in z
0.324 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.324 * [taylor]: Taking taylor expansion of z in z
0.324 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.324 * [taylor]: Taking taylor expansion of 3 in z
0.324 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.324 * [taylor]: Taking taylor expansion of z in z
0.333 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.333 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.333 * [taylor]: Taking taylor expansion of 3 in z
0.333 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.333 * [taylor]: Taking taylor expansion of z in z
0.333 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.333 * [taylor]: Taking taylor expansion of 3 in z
0.333 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.333 * [taylor]: Taking taylor expansion of z in z
0.341 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.341 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.341 * [taylor]: Taking taylor expansion of 3 in z
0.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.341 * [taylor]: Taking taylor expansion of z in z
0.341 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.341 * [taylor]: Taking taylor expansion of 3 in z
0.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.341 * [taylor]: Taking taylor expansion of z in z
0.349 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.349 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (z x y) around 0
0.349 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
0.349 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.349 * [taylor]: Taking taylor expansion of 3 in y
0.349 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of (* x y) in y
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
0.349 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.349 * [taylor]: Taking taylor expansion of 3 in x
0.349 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.349 * [taylor]: Taking taylor expansion of z in x
0.349 * [taylor]: Taking taylor expansion of (* x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
0.349 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.349 * [taylor]: Taking taylor expansion of 3 in z
0.349 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.349 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of (* x y) in z
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of y in z
0.350 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
0.350 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.350 * [taylor]: Taking taylor expansion of 3 in z
0.350 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of (* x y) in z
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of y in z
0.350 * [taylor]: Taking taylor expansion of (* x y) in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of y in x
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of 0 in x
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of 3 in x
0.352 * [taylor]: Taking taylor expansion of 3 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in x
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.355 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z x y) around 0
0.355 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.355 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.355 * [taylor]: Taking taylor expansion of 3 in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.355 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.355 * [taylor]: Taking taylor expansion of z in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.355 * [taylor]: Taking taylor expansion of (* x y) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.356 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.356 * [taylor]: Taking taylor expansion of 3 in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.356 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.356 * [taylor]: Taking taylor expansion of z in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.356 * [taylor]: Taking taylor expansion of (* x y) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.356 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.356 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.356 * [taylor]: Taking taylor expansion of 3 in z
0.356 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.356 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.356 * [taylor]: Taking taylor expansion of z in z
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.357 * [taylor]: Taking taylor expansion of (* x y) in z
0.357 * [taylor]: Taking taylor expansion of x in z
0.357 * [taylor]: Taking taylor expansion of y in z
0.357 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.357 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.357 * [taylor]: Taking taylor expansion of 3 in z
0.357 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.357 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.357 * [taylor]: Taking taylor expansion of z in z
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.357 * [taylor]: Taking taylor expansion of (* x y) in z
0.357 * [taylor]: Taking taylor expansion of x in z
0.357 * [taylor]: Taking taylor expansion of y in z
0.358 * [taylor]: Taking taylor expansion of 3 in x
0.359 * [taylor]: Taking taylor expansion of 0 in x
0.359 * [taylor]: Taking taylor expansion of 3 in y
0.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.361 * [taylor]: Taking taylor expansion of (* x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.361 * [taylor]: Taking taylor expansion of y in y
0.362 * [taylor]: Taking taylor expansion of 0 in y
0.362 * [taylor]: Taking taylor expansion of 0 in y
0.364 * [taylor]: Taking taylor expansion of 0 in x
0.364 * [taylor]: Taking taylor expansion of 0 in y
0.365 * [taylor]: Taking taylor expansion of 0 in y
0.365 * [taylor]: Taking taylor expansion of 0 in y
0.367 * [taylor]: Taking taylor expansion of 0 in x
0.367 * [taylor]: Taking taylor expansion of 0 in y
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z x y) around 0
0.369 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.369 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.369 * [taylor]: Taking taylor expansion of 3 in y
0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.369 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.369 * [taylor]: Taking taylor expansion of z in y
0.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.369 * [taylor]: Taking taylor expansion of (* x y) in y
0.369 * [taylor]: Taking taylor expansion of x in y
0.369 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.370 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.370 * [taylor]: Taking taylor expansion of 3 in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.370 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.370 * [taylor]: Taking taylor expansion of z in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.370 * [taylor]: Taking taylor expansion of (* x y) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of y in x
0.370 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.370 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.370 * [taylor]: Taking taylor expansion of 3 in z
0.370 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.370 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.370 * [taylor]: Taking taylor expansion of z in z
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.371 * [taylor]: Taking taylor expansion of (* x y) in z
0.371 * [taylor]: Taking taylor expansion of x in z
0.371 * [taylor]: Taking taylor expansion of y in z
0.371 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.371 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.371 * [taylor]: Taking taylor expansion of 3 in z
0.371 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.371 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.371 * [taylor]: Taking taylor expansion of z in z
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.372 * [taylor]: Taking taylor expansion of (* x y) in z
0.372 * [taylor]: Taking taylor expansion of x in z
0.372 * [taylor]: Taking taylor expansion of y in z
0.372 * [taylor]: Taking taylor expansion of 3 in x
0.374 * [taylor]: Taking taylor expansion of 0 in x
0.374 * [taylor]: Taking taylor expansion of 3 in y
0.375 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.375 * [taylor]: Taking taylor expansion of (* x y) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.376 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [taylor]: Taking taylor expansion of 0 in x
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.382 * [taylor]: Taking taylor expansion of 0 in x
0.382 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * * * [progress]: simplifying candidates
0.383 * [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))
  (* (exp (* 3 (* z z))) (exp (* x y)))
  (log (+ (* 3 (* z z)) (* x y)))
  (exp (+ (* 3 (* z z)) (* x y)))
  (* (cbrt (+ (* 3 (* z z)) (* x y))) (cbrt (+ (* 3 (* z z)) (* x y))))
  (cbrt (+ (* 3 (* z z)) (* x y)))
  (* (* (+ (* 3 (* z z)) (* x y)) (+ (* 3 (* z z)) (* x y))) (+ (* 3 (* z z)) (* x y)))
  (sqrt (+ (* 3 (* z z)) (* x y)))
  (sqrt (+ (* 3 (* z z)) (* x y)))
  (+ (pow (* 3 (* z z)) 3) (pow (* x y) 3))
  (+ (* (* 3 (* z z)) (* 3 (* z z))) (- (* (* x y) (* x y)) (* (* 3 (* z z)) (* x y))))
  (- (* (* 3 (* z z)) (* 3 (* z z))) (* (* x y) (* x y)))
  (- (* 3 (* z z)) (* x y))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.387 * * [simplify]: iteration  0 :  166  enodes  (cost  163 )
0.392 * * [simplify]: iteration  1 :  617  enodes  (cost  147 )
0.405 * * [simplify]: iteration  2 :  2424  enodes  (cost  143 )
0.462 * * [simplify]: iteration  3 :  5003  enodes  (cost  143 )
0.464 * [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))
  (exp (+ (* 3 (* z z)) (* x y)))
  (log (+ (* 3 (* z z)) (* x y)))
  (exp (+ (* 3 (* z z)) (* x y)))
  (* (cbrt (+ (* 3 (* z z)) (* x y))) (cbrt (+ (* 3 (* z z)) (* x y))))
  (cbrt (+ (* 3 (* z z)) (* x y)))
  (pow (+ (* 3 (pow z 2)) (* x y)) 3)
  (sqrt (+ (* 3 (* z z)) (* x y)))
  (sqrt (+ (* 3 (* z z)) (* x y)))
  (+ (* 27 (pow z 6)) (pow (* x y) 3))
  (+ (* (* x y) (- (* x y) (* 3 (* z z)))) (* 9 (* (* z z) (* z z))))
  (+ (- (* (* x y) (* x y))) (* (* 9 (pow z 3)) z))
  (- (* 3 (* z z)) (* x y))
  (* 3 (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.464 * * * [progress]: adding candidates to table
0.515 * * [progress]: iteration 2 / 4
0.515 * * * [progress]: picking best candidate
0.521 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* 3 z) z) (* x y)))>
0.521 * * * [progress]: localizing error
0.530 * * * [progress]: generating rewritten candidates
0.530 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.535 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.540 * * * [progress]: generating series expansions
0.540 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.540 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.540 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.540 * [taylor]: Taking taylor expansion of 3 in z
0.540 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.540 * [taylor]: Taking taylor expansion of z in z
0.540 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.540 * [taylor]: Taking taylor expansion of 3 in z
0.540 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.540 * [taylor]: Taking taylor expansion of z in z
0.548 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.548 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.548 * [taylor]: Taking taylor expansion of 3 in z
0.548 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.548 * [taylor]: Taking taylor expansion of z in z
0.549 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.549 * [taylor]: Taking taylor expansion of 3 in z
0.549 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.549 * [taylor]: Taking taylor expansion of z in z
0.557 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.557 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.557 * [taylor]: Taking taylor expansion of 3 in z
0.557 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.557 * [taylor]: Taking taylor expansion of z in z
0.557 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.557 * [taylor]: Taking taylor expansion of 3 in z
0.557 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.557 * [taylor]: Taking taylor expansion of z in z
0.564 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.564 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (z x y) around 0
0.564 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
0.564 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.565 * [taylor]: Taking taylor expansion of 3 in y
0.565 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.565 * [taylor]: Taking taylor expansion of z in y
0.565 * [taylor]: Taking taylor expansion of (* x y) in y
0.565 * [taylor]: Taking taylor expansion of x in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
0.565 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.565 * [taylor]: Taking taylor expansion of 3 in x
0.565 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.565 * [taylor]: Taking taylor expansion of z in x
0.565 * [taylor]: Taking taylor expansion of (* x y) in x
0.565 * [taylor]: Taking taylor expansion of x in x
0.565 * [taylor]: Taking taylor expansion of y in x
0.565 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
0.565 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.565 * [taylor]: Taking taylor expansion of 3 in z
0.565 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.565 * [taylor]: Taking taylor expansion of z in z
0.565 * [taylor]: Taking taylor expansion of (* x y) in z
0.565 * [taylor]: Taking taylor expansion of x in z
0.565 * [taylor]: Taking taylor expansion of y in z
0.565 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
0.565 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.565 * [taylor]: Taking taylor expansion of 3 in z
0.565 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.565 * [taylor]: Taking taylor expansion of z in z
0.565 * [taylor]: Taking taylor expansion of (* x y) in z
0.565 * [taylor]: Taking taylor expansion of x in z
0.565 * [taylor]: Taking taylor expansion of y in z
0.565 * [taylor]: Taking taylor expansion of (* x y) in x
0.565 * [taylor]: Taking taylor expansion of x in x
0.565 * [taylor]: Taking taylor expansion of y in x
0.565 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.566 * [taylor]: Taking taylor expansion of 0 in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.567 * [taylor]: Taking taylor expansion of 3 in x
0.567 * [taylor]: Taking taylor expansion of 3 in y
0.567 * [taylor]: Taking taylor expansion of 0 in y
0.567 * [taylor]: Taking taylor expansion of 0 in y
0.569 * [taylor]: Taking taylor expansion of 0 in x
0.569 * [taylor]: Taking taylor expansion of 0 in y
0.569 * [taylor]: Taking taylor expansion of 0 in y
0.569 * [taylor]: Taking taylor expansion of 0 in y
0.570 * [taylor]: Taking taylor expansion of 0 in y
0.570 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z x y) around 0
0.570 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.570 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.570 * [taylor]: Taking taylor expansion of 3 in y
0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.570 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.570 * [taylor]: Taking taylor expansion of z in y
0.570 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.570 * [taylor]: Taking taylor expansion of (* x y) in y
0.570 * [taylor]: Taking taylor expansion of x in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.571 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.571 * [taylor]: Taking taylor expansion of 3 in x
0.571 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.571 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.571 * [taylor]: Taking taylor expansion of z in x
0.571 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.571 * [taylor]: Taking taylor expansion of (* x y) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of y in x
0.571 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.571 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.571 * [taylor]: Taking taylor expansion of 3 in z
0.571 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.571 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.571 * [taylor]: Taking taylor expansion of z in z
0.572 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.572 * [taylor]: Taking taylor expansion of (* x y) in z
0.572 * [taylor]: Taking taylor expansion of x in z
0.572 * [taylor]: Taking taylor expansion of y in z
0.572 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.572 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.572 * [taylor]: Taking taylor expansion of 3 in z
0.572 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.572 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.572 * [taylor]: Taking taylor expansion of z in z
0.573 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.573 * [taylor]: Taking taylor expansion of (* x y) in z
0.573 * [taylor]: Taking taylor expansion of x in z
0.573 * [taylor]: Taking taylor expansion of y in z
0.574 * [taylor]: Taking taylor expansion of 3 in x
0.575 * [taylor]: Taking taylor expansion of 0 in x
0.575 * [taylor]: Taking taylor expansion of 3 in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.577 * [taylor]: Taking taylor expansion of (* x y) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of 0 in y
0.577 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of 0 in x
0.580 * [taylor]: Taking taylor expansion of 0 in y
0.580 * [taylor]: Taking taylor expansion of 0 in y
0.580 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in x
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z x y) around 0
0.584 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.584 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.584 * [taylor]: Taking taylor expansion of 3 in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.584 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.584 * [taylor]: Taking taylor expansion of z in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.584 * [taylor]: Taking taylor expansion of (* x y) in y
0.584 * [taylor]: Taking taylor expansion of x in y
0.584 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.585 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.585 * [taylor]: Taking taylor expansion of 3 in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.585 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.585 * [taylor]: Taking taylor expansion of z in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.585 * [taylor]: Taking taylor expansion of (* x y) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.585 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.585 * [taylor]: Taking taylor expansion of 3 in z
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.585 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.585 * [taylor]: Taking taylor expansion of z in z
0.586 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.586 * [taylor]: Taking taylor expansion of (* x y) in z
0.586 * [taylor]: Taking taylor expansion of x in z
0.586 * [taylor]: Taking taylor expansion of y in z
0.586 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.586 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.586 * [taylor]: Taking taylor expansion of 3 in z
0.586 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.586 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.586 * [taylor]: Taking taylor expansion of z in z
0.586 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.586 * [taylor]: Taking taylor expansion of (* x y) in z
0.587 * [taylor]: Taking taylor expansion of x in z
0.587 * [taylor]: Taking taylor expansion of y in z
0.587 * [taylor]: Taking taylor expansion of 3 in x
0.589 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 3 in y
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.590 * [taylor]: Taking taylor expansion of (* x y) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.590 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of 0 in y
0.591 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [taylor]: Taking taylor expansion of 0 in x
0.593 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [taylor]: Taking taylor expansion of 0 in y
0.596 * [taylor]: Taking taylor expansion of 0 in x
0.596 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.597 * * * [progress]: simplifying candidates
0.598 * [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)
  (* (exp (* (* 3 z) z)) (exp (* x y)))
  (log (+ (* (* 3 z) z) (* x y)))
  (exp (+ (* (* 3 z) z) (* x y)))
  (* (cbrt (+ (* (* 3 z) z) (* x y))) (cbrt (+ (* (* 3 z) z) (* x y))))
  (cbrt (+ (* (* 3 z) z) (* x y)))
  (* (* (+ (* (* 3 z) z) (* x y)) (+ (* (* 3 z) z) (* x y))) (+ (* (* 3 z) z) (* x y)))
  (sqrt (+ (* (* 3 z) z) (* x y)))
  (sqrt (+ (* (* 3 z) z) (* x y)))
  (+ (pow (* (* 3 z) z) 3) (pow (* x y) 3))
  (+ (* (* (* 3 z) z) (* (* 3 z) z)) (- (* (* x y) (* x y)) (* (* (* 3 z) z) (* x y))))
  (- (* (* (* 3 z) z) (* (* 3 z) z)) (* (* x y) (* x y)))
  (- (* (* 3 z) z) (* x y))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.601 * * [simplify]: iteration  0 :  175  enodes  (cost  161 )
0.606 * * [simplify]: iteration  1 :  815  enodes  (cost  145 )
0.627 * * [simplify]: iteration  2 :  4087  enodes  (cost  142 )
0.721 * * [simplify]: iteration  3 :  5001  enodes  (cost  141 )
0.723 * [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)))
  (* (pow z 3/2) 3)
  (* 3 z)
  (pow z 2)
  (exp (+ (* (* 3 z) z) (* x y)))
  (log (+ (* (* 3 z) z) (* x y)))
  (exp (+ (* (* 3 z) z) (* x y)))
  (* (cbrt (+ (* (* 3 z) z) (* x y))) (cbrt (+ (* (* 3 z) z) (* x y))))
  (cbrt (+ (* (* 3 z) z) (* x y)))
  (pow (+ (* 3 (pow z 2)) (* x y)) 3)
  (sqrt (+ (* (* 3 z) z) (* x y)))
  (sqrt (+ (* (* 3 z) z) (* x y)))
  (+ (pow (* (* 3 z) z) 3) (pow (* x y) 3))
  (+ (* (* x y) (- (* x y) (* (* 3 z) z))) (* (* 9 (pow z 2)) (pow z 2)))
  (- (* (* (* 3 z) z) (* (* 3 z) z)) (* (* x y) (* x y)))
  (- (* (* 3 z) z) (* x y))
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.723 * * * [progress]: adding candidates to table
0.764 * * [progress]: iteration 3 / 4
0.764 * * * [progress]: picking best candidate
0.772 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))>
0.772 * * * [progress]: localizing error
0.779 * * * [progress]: generating rewritten candidates
0.779 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.810 * * * [progress]: generating series expansions
0.810 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.810 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
0.810 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
0.810 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.810 * [taylor]: Taking taylor expansion of 3 in z
0.811 * [taylor]: Taking taylor expansion of z in z
0.811 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
0.811 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.811 * [taylor]: Taking taylor expansion of 3 in z
0.812 * [taylor]: Taking taylor expansion of z in z
0.823 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
0.823 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.823 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.823 * [taylor]: Taking taylor expansion of 3 in z
0.824 * [taylor]: Taking taylor expansion of z in z
0.824 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.824 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.824 * [taylor]: Taking taylor expansion of 3 in z
0.825 * [taylor]: Taking taylor expansion of z in z
0.833 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
0.833 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
0.833 * [taylor]: Taking taylor expansion of -1 in z
0.833 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.833 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.833 * [taylor]: Taking taylor expansion of 3 in z
0.834 * [taylor]: Taking taylor expansion of z in z
0.834 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
0.834 * [taylor]: Taking taylor expansion of -1 in z
0.835 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.835 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.835 * [taylor]: Taking taylor expansion of 3 in z
0.835 * [taylor]: Taking taylor expansion of z in z
0.848 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.849 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
0.849 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
0.849 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.849 * [taylor]: Taking taylor expansion of 3 in z
0.849 * [taylor]: Taking taylor expansion of z in z
0.849 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
0.849 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.849 * [taylor]: Taking taylor expansion of 3 in z
0.850 * [taylor]: Taking taylor expansion of z in z
0.861 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
0.861 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.861 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.861 * [taylor]: Taking taylor expansion of 3 in z
0.862 * [taylor]: Taking taylor expansion of z in z
0.862 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.862 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.862 * [taylor]: Taking taylor expansion of 3 in z
0.863 * [taylor]: Taking taylor expansion of z in z
0.871 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
0.871 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
0.871 * [taylor]: Taking taylor expansion of -1 in z
0.871 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.871 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.871 * [taylor]: Taking taylor expansion of 3 in z
0.872 * [taylor]: Taking taylor expansion of z in z
0.873 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
0.873 * [taylor]: Taking taylor expansion of -1 in z
0.873 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
0.873 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.873 * [taylor]: Taking taylor expansion of 3 in z
0.873 * [taylor]: Taking taylor expansion of z in z
0.893 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.893 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
0.893 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
0.893 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.893 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.893 * [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 (* (pow (sqrt 3) 2) (pow z 2)) in z
0.894 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.894 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.894 * [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.914 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
0.914 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.914 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.914 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.914 * [taylor]: Taking taylor expansion of 3 in z
0.914 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.915 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.916 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.916 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.917 * [taylor]: Taking taylor expansion of 3 in z
0.917 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.936 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
0.936 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.936 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.936 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.936 * [taylor]: Taking taylor expansion of 3 in z
0.937 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.937 * [taylor]: Taking taylor expansion of z in z
0.938 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.938 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.938 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.939 * [taylor]: Taking taylor expansion of 3 in z
0.939 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.939 * [taylor]: Taking taylor expansion of z in z
0.957 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.963 * [approximate]: Taking taylor expansion of (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) in (z x y) around 0
0.963 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) in y
0.963 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in y
0.963 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
0.963 * [taylor]: Taking taylor expansion of (sqrt 3) in y
0.963 * [taylor]: Taking taylor expansion of 3 in y
0.964 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.964 * [taylor]: Taking taylor expansion of z in y
0.964 * [taylor]: Taking taylor expansion of (* x y) in y
0.964 * [taylor]: Taking taylor expansion of x in y
0.964 * [taylor]: Taking taylor expansion of y in y
0.964 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) in x
0.964 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in x
0.964 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.964 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.964 * [taylor]: Taking taylor expansion of 3 in x
0.965 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.965 * [taylor]: Taking taylor expansion of z in x
0.965 * [taylor]: Taking taylor expansion of (* x y) in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of y in x
0.965 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) in z
0.965 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
0.965 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.965 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.965 * [taylor]: Taking taylor expansion of 3 in z
0.966 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.966 * [taylor]: Taking taylor expansion of (* x y) in z
0.966 * [taylor]: Taking taylor expansion of x in z
0.966 * [taylor]: Taking taylor expansion of y in z
0.966 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) in z
0.966 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
0.966 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.966 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.966 * [taylor]: Taking taylor expansion of 3 in z
0.967 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.967 * [taylor]: Taking taylor expansion of z in z
0.967 * [taylor]: Taking taylor expansion of (* x y) in z
0.967 * [taylor]: Taking taylor expansion of x in z
0.967 * [taylor]: Taking taylor expansion of y in z
0.967 * [taylor]: Taking taylor expansion of (* x y) in x
0.967 * [taylor]: Taking taylor expansion of x in x
0.967 * [taylor]: Taking taylor expansion of y in x
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.967 * [taylor]: Taking taylor expansion of 0 in x
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.967 * [taylor]: Taking taylor expansion of y in y
0.971 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.971 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.971 * [taylor]: Taking taylor expansion of 3 in x
0.972 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
0.972 * [taylor]: Taking taylor expansion of (sqrt 3) in y
0.972 * [taylor]: Taking taylor expansion of 3 in y
0.974 * [taylor]: Taking taylor expansion of 0 in y
0.975 * [taylor]: Taking taylor expansion of 0 in y
0.977 * [taylor]: Taking taylor expansion of 0 in x
0.977 * [taylor]: Taking taylor expansion of 0 in y
0.977 * [taylor]: Taking taylor expansion of 0 in y
0.977 * [taylor]: Taking taylor expansion of 0 in y
0.978 * [taylor]: Taking taylor expansion of 0 in y
0.980 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (z x y) around 0
0.980 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y
0.980 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
0.980 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
0.980 * [taylor]: Taking taylor expansion of (sqrt 3) in y
0.980 * [taylor]: Taking taylor expansion of 3 in y
0.981 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.981 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.982 * [taylor]: Taking taylor expansion of (* x y) in y
0.982 * [taylor]: Taking taylor expansion of x in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
0.983 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
0.983 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.983 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.983 * [taylor]: Taking taylor expansion of 3 in x
0.983 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.985 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.985 * [taylor]: Taking taylor expansion of (* x y) in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of y in x
0.985 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
0.985 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.985 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.985 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.985 * [taylor]: Taking taylor expansion of 3 in z
0.986 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.986 * [taylor]: Taking taylor expansion of z in z
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.988 * [taylor]: Taking taylor expansion of (* x y) in z
0.988 * [taylor]: Taking taylor expansion of x in z
0.988 * [taylor]: Taking taylor expansion of y in z
0.988 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
0.988 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
0.988 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
0.988 * [taylor]: Taking taylor expansion of (sqrt 3) in z
0.988 * [taylor]: Taking taylor expansion of 3 in z
0.989 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.989 * [taylor]: Taking taylor expansion of z in z
0.992 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.992 * [taylor]: Taking taylor expansion of (* x y) in z
0.992 * [taylor]: Taking taylor expansion of x in z
0.992 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.994 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.994 * [taylor]: Taking taylor expansion of 3 in x
0.998 * [taylor]: Taking taylor expansion of 0 in x
0.999 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
0.999 * [taylor]: Taking taylor expansion of (sqrt 3) in y
0.999 * [taylor]: Taking taylor expansion of 3 in y
1.004 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.004 * [taylor]: Taking taylor expansion of (* x y) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of y in x
1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.004 * [taylor]: Taking taylor expansion of y in y
1.005 * [taylor]: Taking taylor expansion of 0 in y
1.006 * [taylor]: Taking taylor expansion of 0 in y
1.012 * [taylor]: Taking taylor expansion of 0 in x
1.013 * [taylor]: Taking taylor expansion of 0 in y
1.013 * [taylor]: Taking taylor expansion of 0 in y
1.015 * [taylor]: Taking taylor expansion of 0 in y
1.022 * [taylor]: Taking taylor expansion of 0 in x
1.022 * [taylor]: Taking taylor expansion of 0 in y
1.023 * [taylor]: Taking taylor expansion of 0 in y
1.023 * [taylor]: Taking taylor expansion of 0 in y
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.028 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (z x y) around 0
1.028 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y
1.028 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
1.028 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
1.028 * [taylor]: Taking taylor expansion of (sqrt 3) in y
1.028 * [taylor]: Taking taylor expansion of 3 in y
1.029 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.029 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.031 * [taylor]: Taking taylor expansion of (* x y) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
1.032 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
1.032 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
1.032 * [taylor]: Taking taylor expansion of (sqrt 3) in x
1.032 * [taylor]: Taking taylor expansion of 3 in x
1.033 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.033 * [taylor]: Taking taylor expansion of z in x
1.035 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.035 * [taylor]: Taking taylor expansion of (* x y) in x
1.035 * [taylor]: Taking taylor expansion of x in x
1.035 * [taylor]: Taking taylor expansion of y in x
1.036 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
1.036 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.036 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.036 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.036 * [taylor]: Taking taylor expansion of 3 in z
1.037 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.037 * [taylor]: Taking taylor expansion of z in z
1.040 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.040 * [taylor]: Taking taylor expansion of (* x y) in z
1.040 * [taylor]: Taking taylor expansion of x in z
1.040 * [taylor]: Taking taylor expansion of y in z
1.040 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
1.040 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.040 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.040 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.040 * [taylor]: Taking taylor expansion of 3 in z
1.041 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.041 * [taylor]: Taking taylor expansion of z in z
1.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.044 * [taylor]: Taking taylor expansion of (* x y) in z
1.044 * [taylor]: Taking taylor expansion of x in z
1.044 * [taylor]: Taking taylor expansion of y in z
1.045 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
1.045 * [taylor]: Taking taylor expansion of (sqrt 3) in x
1.045 * [taylor]: Taking taylor expansion of 3 in x
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.048 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
1.048 * [taylor]: Taking taylor expansion of (sqrt 3) in y
1.048 * [taylor]: Taking taylor expansion of 3 in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.051 * [taylor]: Taking taylor expansion of (* x y) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.052 * [taylor]: Taking taylor expansion of y in y
1.052 * [taylor]: Taking taylor expansion of 0 in y
1.052 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in x
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.058 * [taylor]: Taking taylor expansion of 0 in y
1.063 * [taylor]: Taking taylor expansion of 0 in x
1.063 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.071 * * * [progress]: simplifying candidates
1.072 * [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))
  (* (exp (* (* (sqrt 3) z) (* (sqrt 3) z))) (exp (* x y)))
  (log (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (exp (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (* (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))) (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))))
  (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (* (* (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))) (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (sqrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (sqrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (+ (pow (* (* (sqrt 3) z) (* (sqrt 3) z)) 3) (pow (* x y) 3))
  (+ (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (* (sqrt 3) z) (* (sqrt 3) z))) (- (* (* x y) (* x y)) (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))))
  (- (* (* (* (sqrt 3) z) (* (sqrt 3) z)) (* (* (sqrt 3) z) (* (sqrt 3) z))) (* (* x y) (* x y)))
  (- (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))
  (* (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))
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
1.077 * * [simplify]: iteration  0 :  212  enodes  (cost  450 )
1.082 * * [simplify]: iteration  1 :  1017  enodes  (cost  367 )
1.109 * * [simplify]: iteration  2 :  5002  enodes  (cost  365 )
1.111 * [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))
  (exp (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)))
  (log (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (exp (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)))
  (* (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))) (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y))))
  (cbrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (pow (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y)) 3)
  (sqrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (sqrt (+ (* (* (sqrt 3) z) (* (sqrt 3) z)) (* x y)))
  (+ (pow (* (* (sqrt 3) z) (* (sqrt 3) z)) 3) (pow (* x y) 3))
  (+ (* (* x y) (* x y)) (- (pow (* (sqrt 3) z) 4) (* (* (* (pow z 2) 3) y) x)))
  (+ (- (* (* x y) (* x y))) (* 9 (* (pow z 2) (pow z 2))))
  (+ (- (* x y)) (* (pow z 2) 3))
  (* (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)
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
  (+ (* (pow (sqrt 3) 2) (pow z 2)) (* x y))
1.112 * * * [progress]: adding candidates to table
1.235 * * [progress]: iteration 4 / 4
1.235 * * * [progress]: picking best candidate
1.239 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))) (* x y)))>
1.239 * * * [progress]: localizing error
1.250 * * * [progress]: generating rewritten candidates
1.250 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.268 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.273 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.293 * * * [progress]: generating series expansions
1.293 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.293 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.296 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.296 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.296 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.296 * [taylor]: Taking taylor expansion of 3 in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.296 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.296 * [taylor]: Taking taylor expansion of 3 in z
1.297 * [taylor]: Taking taylor expansion of z in z
1.314 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.314 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.314 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.314 * [taylor]: Taking taylor expansion of 3 in z
1.314 * [taylor]: Taking taylor expansion of z in z
1.315 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.315 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.315 * [taylor]: Taking taylor expansion of 3 in z
1.316 * [taylor]: Taking taylor expansion of z in z
1.325 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.326 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.326 * [taylor]: Taking taylor expansion of -1 in z
1.326 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.326 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.326 * [taylor]: Taking taylor expansion of 3 in z
1.326 * [taylor]: Taking taylor expansion of z in z
1.327 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.327 * [taylor]: Taking taylor expansion of -1 in z
1.327 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.327 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.327 * [taylor]: Taking taylor expansion of 3 in z
1.328 * [taylor]: Taking taylor expansion of z in z
1.341 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.341 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
1.341 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.341 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.341 * [taylor]: Taking taylor expansion of 3 in z
1.342 * [taylor]: Taking taylor expansion of z in z
1.342 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
1.342 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.342 * [taylor]: Taking taylor expansion of 3 in z
1.343 * [taylor]: Taking taylor expansion of z in z
1.353 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
1.353 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.353 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.353 * [taylor]: Taking taylor expansion of 3 in z
1.354 * [taylor]: Taking taylor expansion of z in z
1.355 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.355 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.355 * [taylor]: Taking taylor expansion of 3 in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.363 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in (z) around 0
1.363 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.363 * [taylor]: Taking taylor expansion of -1 in z
1.363 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.363 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.363 * [taylor]: Taking taylor expansion of 3 in z
1.364 * [taylor]: Taking taylor expansion of z in z
1.365 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) z)) in z
1.365 * [taylor]: Taking taylor expansion of -1 in z
1.365 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
1.365 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.365 * [taylor]: Taking taylor expansion of 3 in z
1.365 * [taylor]: Taking taylor expansion of z in z
1.384 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.386 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.386 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.387 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.387 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.387 * [taylor]: Taking taylor expansion of 3 in z
1.387 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.387 * [taylor]: Taking taylor expansion of z in z
1.387 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
1.387 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.387 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.387 * [taylor]: Taking taylor expansion of 3 in z
1.388 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.388 * [taylor]: Taking taylor expansion of z in z
1.409 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.409 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.409 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.409 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.409 * [taylor]: Taking taylor expansion of 3 in z
1.409 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.409 * [taylor]: Taking taylor expansion of z in z
1.411 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.411 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.411 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.411 * [taylor]: Taking taylor expansion of 3 in z
1.412 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.412 * [taylor]: Taking taylor expansion of z in z
1.432 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
1.432 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.432 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.432 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.432 * [taylor]: Taking taylor expansion of 3 in z
1.433 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.433 * [taylor]: Taking taylor expansion of z in z
1.435 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
1.435 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
1.435 * [taylor]: Taking taylor expansion of (sqrt 3) in z
1.435 * [taylor]: Taking taylor expansion of 3 in z
1.435 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.435 * [taylor]: Taking taylor expansion of z in z
1.453 * * * [progress]: simplifying candidates
1.461 * [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.468 * * [simplify]: iteration  0 :  355  enodes  (cost  1442 )
1.476 * * [simplify]: iteration  1 :  1997  enodes  (cost  1050 )
1.530 * * [simplify]: iteration  2 :  5001  enodes  (cost  764 )
1.534 * [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.535 * * * [progress]: adding candidates to table
1.718 * [progress]: [Phase 3 of 3] Extracting.
1.718 * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.719 * * * [regime-changes]: Trying 5 branch expressions: ((* z z) (* x y) z y x)
1.719 * * * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.733 * * * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.759 * * * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.779 * * * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.795 * * * * [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) (+ (* 3 (* z z)) (* x y)))> #<alt (λ (x y z) (+ (* (* (* (sqrt 3) z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) z)) (* x y)))>)
1.813 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.813 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* 3 (* z z)) (* x y))
1.814 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
1.814 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
1.814 * [simplify]: Simplified to:
   (+ (* 3 (* z z)) (* x y))
2.709 * [regime-testing]: Baseline error score: 0.11688961120140018
2.710 * [regime-testing]: Oracle error score: 0.014501812726590823
2.711 * [regime-testing]: End program error score: 0.11688961120140018
2.730 * [regime-testing]: Target error score: 0.10433616233288175