15.589 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* x y) z)
0.022 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.023 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.024 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
0.025 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
0.027 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
0.028 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
0.028 * [simplify]: Simplified to:
   (/ (* x y) z)
0.029 * * [progress]: iteration 1 / 4
0.029 * * * [progress]: picking best candidate
0.031 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x y) z))>
0.031 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.040 * * * [progress]: generating series expansions
0.040 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.040 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.040 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.040 * [taylor]: Taking taylor expansion of (* x y) in z
0.040 * [taylor]: Taking taylor expansion of x in z
0.040 * [taylor]: Taking taylor expansion of y in z
0.040 * [taylor]: Taking taylor expansion of z in z
0.041 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.041 * [taylor]: Taking taylor expansion of (* x y) in y
0.041 * [taylor]: Taking taylor expansion of x in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of z in y
0.041 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.041 * [taylor]: Taking taylor expansion of (* x y) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of z in x
0.041 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.041 * [taylor]: Taking taylor expansion of (* x y) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of z in x
0.041 * [taylor]: Taking taylor expansion of (/ y z) in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of z in y
0.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.041 * [taylor]: Taking taylor expansion of z in z
0.041 * [taylor]: Taking taylor expansion of 0 in y
0.041 * [taylor]: Taking taylor expansion of 0 in z
0.041 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.042 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.042 * [taylor]: Taking taylor expansion of z in z
0.042 * [taylor]: Taking taylor expansion of (* x y) in z
0.042 * [taylor]: Taking taylor expansion of x in z
0.042 * [taylor]: Taking taylor expansion of y in z
0.042 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.042 * [taylor]: Taking taylor expansion of z in y
0.042 * [taylor]: Taking taylor expansion of (* x y) in y
0.043 * [taylor]: Taking taylor expansion of x in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.043 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.043 * [taylor]: Taking taylor expansion of z in x
0.043 * [taylor]: Taking taylor expansion of (* x y) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of y in x
0.043 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.043 * [taylor]: Taking taylor expansion of z in x
0.043 * [taylor]: Taking taylor expansion of (* x y) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of y in x
0.043 * [taylor]: Taking taylor expansion of (/ z y) in y
0.043 * [taylor]: Taking taylor expansion of z in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.043 * [taylor]: Taking taylor expansion of z in z
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.044 * [taylor]: Taking taylor expansion of 0 in z
0.044 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.044 * [taylor]: Taking taylor expansion of -1 in z
0.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.044 * [taylor]: Taking taylor expansion of z in z
0.044 * [taylor]: Taking taylor expansion of (* x y) in z
0.044 * [taylor]: Taking taylor expansion of x in z
0.044 * [taylor]: Taking taylor expansion of y in z
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.044 * [taylor]: Taking taylor expansion of -1 in y
0.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.044 * [taylor]: Taking taylor expansion of z in y
0.044 * [taylor]: Taking taylor expansion of (* x y) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.044 * [taylor]: Taking taylor expansion of -1 in x
0.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.044 * [taylor]: Taking taylor expansion of z in x
0.044 * [taylor]: Taking taylor expansion of (* x y) in x
0.044 * [taylor]: Taking taylor expansion of x in x
0.044 * [taylor]: Taking taylor expansion of y in x
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.045 * [taylor]: Taking taylor expansion of -1 in x
0.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.045 * [taylor]: Taking taylor expansion of z in x
0.045 * [taylor]: Taking taylor expansion of (* x y) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of y in x
0.045 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.045 * [taylor]: Taking taylor expansion of -1 in y
0.045 * [taylor]: Taking taylor expansion of (/ z y) in y
0.045 * [taylor]: Taking taylor expansion of z in y
0.045 * [taylor]: Taking taylor expansion of y in y
0.045 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.045 * [taylor]: Taking taylor expansion of -1 in z
0.045 * [taylor]: Taking taylor expansion of z in z
0.045 * [taylor]: Taking taylor expansion of 0 in y
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [taylor]: Taking taylor expansion of 0 in y
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.046 * [taylor]: Taking taylor expansion of 0 in z
0.046 * * * [progress]: simplifying candidates
0.046 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (neg (* x y))
  (neg z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.047 * * [simplify]: iteration  0 :  48  enodes  (cost  186 )
0.054 * * [simplify]: iteration  1 :  117  enodes  (cost  182 )
0.081 * * [simplify]: iteration  2 :  427  enodes  (cost  154 )
0.247 * * [simplify]: iteration  3 :  1969  enodes  (cost  149 )
0.604 * * [simplify]: iteration  done :  5000  enodes  (cost  149 )
0.604 * [simplify]: Simplified to:
   (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (neg (* x y))
  (neg z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.604 * * * [progress]: adding candidates to table
0.632 * * [progress]: iteration 2 / 4
0.632 * * * [progress]: picking best candidate
0.653 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))>
0.653 * * * [progress]: localizing error
0.667 * * * [progress]: generating rewritten candidates
0.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.683 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.689 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.690 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
0.696 * * * [progress]: generating series expansions
0.697 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.697 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
0.697 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.697 * [taylor]: Taking taylor expansion of (* x y) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of y in y
0.697 * [taylor]: Taking taylor expansion of z in y
0.697 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.697 * [taylor]: Taking taylor expansion of (* x y) in z
0.697 * [taylor]: Taking taylor expansion of x in z
0.697 * [taylor]: Taking taylor expansion of y in z
0.697 * [taylor]: Taking taylor expansion of z in z
0.697 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.697 * [taylor]: Taking taylor expansion of (* x y) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.697 * [taylor]: Taking taylor expansion of (* x y) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (/ y z) in z
0.697 * [taylor]: Taking taylor expansion of y in z
0.697 * [taylor]: Taking taylor expansion of z in z
0.697 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of 0 in z
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of 0 in z
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
0.698 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.698 * [taylor]: Taking taylor expansion of z in y
0.698 * [taylor]: Taking taylor expansion of (* x y) in y
0.698 * [taylor]: Taking taylor expansion of x in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.698 * [taylor]: Taking taylor expansion of z in z
0.698 * [taylor]: Taking taylor expansion of (* x y) in z
0.698 * [taylor]: Taking taylor expansion of x in z
0.698 * [taylor]: Taking taylor expansion of y in z
0.699 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.699 * [taylor]: Taking taylor expansion of z in x
0.699 * [taylor]: Taking taylor expansion of (* x y) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.699 * [taylor]: Taking taylor expansion of y in x
0.699 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.699 * [taylor]: Taking taylor expansion of z in x
0.699 * [taylor]: Taking taylor expansion of (* x y) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.699 * [taylor]: Taking taylor expansion of y in x
0.699 * [taylor]: Taking taylor expansion of (/ z y) in z
0.699 * [taylor]: Taking taylor expansion of z in z
0.699 * [taylor]: Taking taylor expansion of y in z
0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in z
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [approximate]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in (x z y) around 0
0.701 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in y
0.701 * [taylor]: Taking taylor expansion of z in y
0.701 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in y
0.701 * [taylor]: Taking taylor expansion of x in y
0.701 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
0.701 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
0.701 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.701 * [taylor]: Taking taylor expansion of -1 in y
0.701 * [taylor]: Taking taylor expansion of y in y
0.702 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in z
0.702 * [taylor]: Taking taylor expansion of z in z
0.702 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in z
0.702 * [taylor]: Taking taylor expansion of x in z
0.702 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z
0.702 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
0.702 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.702 * [taylor]: Taking taylor expansion of -1 in z
0.702 * [taylor]: Taking taylor expansion of y in z
0.702 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
0.702 * [taylor]: Taking taylor expansion of z in x
0.702 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.702 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
0.702 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
0.702 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.702 * [taylor]: Taking taylor expansion of -1 in x
0.702 * [taylor]: Taking taylor expansion of y in x
0.703 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
0.703 * [taylor]: Taking taylor expansion of z in x
0.703 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
0.703 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
0.703 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.703 * [taylor]: Taking taylor expansion of -1 in x
0.703 * [taylor]: Taking taylor expansion of y in x
0.705 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
0.705 * [taylor]: Taking taylor expansion of -1 in z
0.705 * [taylor]: Taking taylor expansion of (/ z y) in z
0.705 * [taylor]: Taking taylor expansion of z in z
0.705 * [taylor]: Taking taylor expansion of y in z
0.705 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.705 * [taylor]: Taking taylor expansion of -1 in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of 0 in z
0.705 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [taylor]: Taking taylor expansion of 0 in z
0.706 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [taylor]: Taking taylor expansion of 0 in z
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.708 * [taylor]: Taking taylor expansion of 0 in y
0.708 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.708 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
0.708 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.708 * [taylor]: Taking taylor expansion of 1/3 in z
0.708 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.708 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.708 * [taylor]: Taking taylor expansion of z in z
0.708 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.708 * [taylor]: Taking taylor expansion of 1/3 in z
0.708 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.708 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.708 * [taylor]: Taking taylor expansion of z in z
0.716 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
0.716 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
0.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
0.716 * [taylor]: Taking taylor expansion of 1/3 in z
0.716 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.716 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.716 * [taylor]: Taking taylor expansion of z in z
0.716 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
0.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
0.716 * [taylor]: Taking taylor expansion of 1/3 in z
0.716 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.716 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.716 * [taylor]: Taking taylor expansion of z in z
0.724 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0
0.724 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
0.724 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
0.724 * [taylor]: Taking taylor expansion of 1/3 in z
0.724 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.724 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.724 * [taylor]: Taking taylor expansion of z in z
0.724 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
0.724 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.724 * [taylor]: Taking taylor expansion of -1 in z
0.724 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
0.724 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
0.724 * [taylor]: Taking taylor expansion of 1/3 in z
0.724 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.724 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.724 * [taylor]: Taking taylor expansion of z in z
0.724 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
0.724 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.724 * [taylor]: Taking taylor expansion of -1 in z
0.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.735 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.735 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.735 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.735 * [taylor]: Taking taylor expansion of 1/3 in z
0.735 * [taylor]: Taking taylor expansion of (log z) in z
0.735 * [taylor]: Taking taylor expansion of z in z
0.735 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.736 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.736 * [taylor]: Taking taylor expansion of 1/3 in z
0.736 * [taylor]: Taking taylor expansion of (log z) in z
0.736 * [taylor]: Taking taylor expansion of z in z
0.742 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.742 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.742 * [taylor]: Taking taylor expansion of 1/3 in z
0.742 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.742 * [taylor]: Taking taylor expansion of 1/3 in z
0.742 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.758 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
0.758 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.758 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.758 * [taylor]: Taking taylor expansion of 1/3 in z
0.758 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.758 * [taylor]: Taking taylor expansion of z in z
0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.758 * [taylor]: Taking taylor expansion of -1 in z
0.758 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.758 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.758 * [taylor]: Taking taylor expansion of 1/3 in z
0.758 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.759 * [taylor]: Taking taylor expansion of z in z
0.759 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.759 * [taylor]: Taking taylor expansion of -1 in z
0.767 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
0.767 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.767 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.767 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.767 * [taylor]: Taking taylor expansion of 1/3 in z
0.767 * [taylor]: Taking taylor expansion of (log z) in z
0.767 * [taylor]: Taking taylor expansion of z in z
0.768 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.768 * [taylor]: Taking taylor expansion of 1/3 in z
0.768 * [taylor]: Taking taylor expansion of (log z) in z
0.768 * [taylor]: Taking taylor expansion of z in z
0.774 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.774 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.774 * [taylor]: Taking taylor expansion of 1/3 in z
0.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.774 * [taylor]: Taking taylor expansion of z in z
0.775 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.775 * [taylor]: Taking taylor expansion of 1/3 in z
0.775 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.775 * [taylor]: Taking taylor expansion of z in z
0.782 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
0.782 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.782 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.782 * [taylor]: Taking taylor expansion of 1/3 in z
0.782 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.782 * [taylor]: Taking taylor expansion of z in z
0.782 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.782 * [taylor]: Taking taylor expansion of -1 in z
0.782 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.782 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.782 * [taylor]: Taking taylor expansion of 1/3 in z
0.782 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.782 * [taylor]: Taking taylor expansion of z in z
0.782 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.782 * [taylor]: Taking taylor expansion of -1 in z
0.791 * * * [progress]: simplifying candidates
0.793 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (log (/ y (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (log (/ x (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (log (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (exp (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* z z)) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* z z)) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* x y)
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt (/ y (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) 1))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 1))
  (* (/ x (* (cbrt z) (cbrt z))) 1)
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* (cbrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (cbrt x) (cbrt z)) (/ y (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))
  (* (/ x (cbrt z)) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* x (/ y (cbrt z)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 1/3 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))))
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
0.798 * * [simplify]: iteration  0 :  187  enodes  (cost  1528 )
0.834 * * [simplify]: iteration  1 :  522  enodes  (cost  1442 )
0.950 * * [simplify]: iteration  2 :  2541  enodes  (cost  1227 )
1.457 * * [simplify]: iteration  done :  5000  enodes  (cost  1166 )
1.458 * [simplify]: Simplified to:
   (/ (* x y) (pow (cbrt z) 3))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (log (/ (* x y) (pow (cbrt z) 3)))
  (exp (/ (* x y) (pow (cbrt z) 3)))
  (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)
  (/ (* (/ (pow x 3) z) (pow (/ y (cbrt z)) 3)) z)
  (/ (* (pow (/ x (* (cbrt z) (cbrt z))) 3) (pow y 3)) z)
  (pow (/ (* x y) (pow (cbrt z) 3)) 3)
  (/ (* (pow (/ x (* (cbrt z) (cbrt z))) 3) (pow y 3)) z)
  (pow (/ (* x y) (pow (cbrt z) 3)) 3)
  (* (cbrt (/ (* x y) (pow (cbrt z) 3))) (cbrt (/ (* x y) (pow (cbrt z) 3))))
  (cbrt (/ (* x y) (pow (cbrt z) 3)))
  (pow (/ (* x y) (pow (cbrt z) 3)) 3)
  (sqrt (/ (* x y) (pow (cbrt z) 3)))
  (sqrt (/ (* x y) (pow (cbrt z) 3)))
  (* x y)
  (pow (cbrt z) 3)
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (/ (* (sqrt x) (sqrt y)) (pow (sqrt (cbrt z)) 3))
  (/ (* (sqrt x) (sqrt y)) (pow (sqrt (cbrt z)) 3))
  (* (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))) (/ x (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt (/ y (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (* (cbrt y) (cbrt y)) (/ x (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (cbrt z)) (/ (* (cbrt y) (cbrt y)) (pow (sqrt (cbrt z)) 3)))
  (* (* (cbrt y) (cbrt y)) (/ x (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt y))
  (* (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (/ x (* (cbrt z) (cbrt z))))
  (* (/ (sqrt y) (pow (sqrt (cbrt z)) 3)) (/ x (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt y))
  (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))
  (/ (/ x (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ (/ x (cbrt z)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (/ (/ x (cbrt z)) (pow (sqrt (cbrt z)) 3))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ (* (/ x (cbrt z)) y) (cbrt z))
  (* (cbrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (cbrt x) (cbrt z)) (/ y (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))
  (/ (* (/ x (cbrt z)) y) (cbrt z))
  (/ (* x y) (pow (cbrt z) 3))
  (/ y (pow (cbrt z) 3))
  (/ (* (/ x (cbrt z)) y) (cbrt z))
  (* x (/ y (cbrt z)))
  2/3
  2
  (* z z)
  (* (cbrt z) (cbrt z))
  2
  (* 2 (log (cbrt z)))
  (* 2 (log (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (pow (* (cbrt z) (cbrt z)) 3)
  (fabs (cbrt z))
  (fabs (cbrt z))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (* (cbrt z) (cbrt z))
  (* (pow (cbrt (cbrt z)) 3) (cbrt (cbrt z)))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt z)
  (cbrt z)
  1
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (cbrt z)
  (cbrt z)
  2/3
  2
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (cbrt z)
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (pow (sqrt (cbrt z)) 3)
  (cbrt z)
  (* (cbrt z) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt z) (cbrt (cbrt z)))
  (pow (sqrt (cbrt z)) 3)
  (* (cbrt z) (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* (log z) 2/3))
  (exp (* (log z) 2/3))
  (* (pow (exp 1/3) (* -2 (log (/ -1 z)))) (pow (cbrt -1) 2))
  (pow (exp 1/3) (log z))
  (pow (exp 1/3) (log z))
  (* (cbrt -1) (pow (exp 1/3) (neg (log (/ -1 z)))))
  (pow (exp 1/3) (log z))
  (pow (exp 1/3) (log z))
  (* (cbrt -1) (pow (exp 1/3) (neg (log (/ -1 z)))))
1.459 * * * [progress]: adding candidates to table
1.579 * * [progress]: iteration 3 / 4
1.579 * * * [progress]: picking best candidate
1.611 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))>
1.611 * * * [progress]: localizing error
1.624 * * * [progress]: generating rewritten candidates
1.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1.657 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1.661 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
1.669 * * * [progress]: generating series expansions
1.669 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.670 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
1.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.670 * [taylor]: Taking taylor expansion of (* x y) in y
1.670 * [taylor]: Taking taylor expansion of x in y
1.670 * [taylor]: Taking taylor expansion of y in y
1.670 * [taylor]: Taking taylor expansion of z in y
1.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.670 * [taylor]: Taking taylor expansion of (* x y) in z
1.670 * [taylor]: Taking taylor expansion of x in z
1.670 * [taylor]: Taking taylor expansion of y in z
1.670 * [taylor]: Taking taylor expansion of z in z
1.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.670 * [taylor]: Taking taylor expansion of (* x y) in x
1.670 * [taylor]: Taking taylor expansion of x in x
1.670 * [taylor]: Taking taylor expansion of y in x
1.670 * [taylor]: Taking taylor expansion of z in x
1.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.670 * [taylor]: Taking taylor expansion of (* x y) in x
1.670 * [taylor]: Taking taylor expansion of x in x
1.670 * [taylor]: Taking taylor expansion of y in x
1.670 * [taylor]: Taking taylor expansion of z in x
1.670 * [taylor]: Taking taylor expansion of (/ y z) in z
1.670 * [taylor]: Taking taylor expansion of y in z
1.670 * [taylor]: Taking taylor expansion of z in z
1.670 * [taylor]: Taking taylor expansion of y in y
1.670 * [taylor]: Taking taylor expansion of 0 in z
1.670 * [taylor]: Taking taylor expansion of 0 in y
1.671 * [taylor]: Taking taylor expansion of 0 in z
1.671 * [taylor]: Taking taylor expansion of 0 in y
1.671 * [taylor]: Taking taylor expansion of 0 in y
1.671 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
1.671 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.671 * [taylor]: Taking taylor expansion of z in y
1.671 * [taylor]: Taking taylor expansion of (* x y) in y
1.671 * [taylor]: Taking taylor expansion of x in y
1.671 * [taylor]: Taking taylor expansion of y in y
1.671 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.671 * [taylor]: Taking taylor expansion of z in z
1.671 * [taylor]: Taking taylor expansion of (* x y) in z
1.672 * [taylor]: Taking taylor expansion of x in z
1.672 * [taylor]: Taking taylor expansion of y in z
1.672 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.672 * [taylor]: Taking taylor expansion of z in x
1.672 * [taylor]: Taking taylor expansion of (* x y) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.672 * [taylor]: Taking taylor expansion of y in x
1.672 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.672 * [taylor]: Taking taylor expansion of z in x
1.672 * [taylor]: Taking taylor expansion of (* x y) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.672 * [taylor]: Taking taylor expansion of y in x
1.672 * [taylor]: Taking taylor expansion of (/ z y) in z
1.672 * [taylor]: Taking taylor expansion of z in z
1.672 * [taylor]: Taking taylor expansion of y in z
1.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.672 * [taylor]: Taking taylor expansion of y in y
1.672 * [taylor]: Taking taylor expansion of 0 in z
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.672 * [taylor]: Taking taylor expansion of 0 in z
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in z
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.674 * [approximate]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in (x z y) around 0
1.674 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in y
1.674 * [taylor]: Taking taylor expansion of z in y
1.674 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in y
1.674 * [taylor]: Taking taylor expansion of x in y
1.674 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
1.674 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.674 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.674 * [taylor]: Taking taylor expansion of -1 in y
1.674 * [taylor]: Taking taylor expansion of y in y
1.675 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in z
1.675 * [taylor]: Taking taylor expansion of z in z
1.675 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in z
1.675 * [taylor]: Taking taylor expansion of x in z
1.675 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z
1.675 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.675 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.675 * [taylor]: Taking taylor expansion of -1 in z
1.675 * [taylor]: Taking taylor expansion of y in z
1.676 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
1.676 * [taylor]: Taking taylor expansion of z in x
1.676 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
1.676 * [taylor]: Taking taylor expansion of x in x
1.676 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
1.676 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.676 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.676 * [taylor]: Taking taylor expansion of -1 in x
1.676 * [taylor]: Taking taylor expansion of y in x
1.677 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
1.677 * [taylor]: Taking taylor expansion of z in x
1.677 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
1.677 * [taylor]: Taking taylor expansion of x in x
1.677 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
1.677 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.677 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.677 * [taylor]: Taking taylor expansion of -1 in x
1.677 * [taylor]: Taking taylor expansion of y in x
1.678 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
1.678 * [taylor]: Taking taylor expansion of -1 in z
1.678 * [taylor]: Taking taylor expansion of (/ z y) in z
1.678 * [taylor]: Taking taylor expansion of z in z
1.678 * [taylor]: Taking taylor expansion of y in z
1.678 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.678 * [taylor]: Taking taylor expansion of -1 in y
1.678 * [taylor]: Taking taylor expansion of y in y
1.679 * [taylor]: Taking taylor expansion of 0 in z
1.679 * [taylor]: Taking taylor expansion of 0 in y
1.679 * [taylor]: Taking taylor expansion of 0 in y
1.680 * [taylor]: Taking taylor expansion of 0 in z
1.680 * [taylor]: Taking taylor expansion of 0 in y
1.680 * [taylor]: Taking taylor expansion of 0 in y
1.680 * [taylor]: Taking taylor expansion of 0 in y
1.681 * [taylor]: Taking taylor expansion of 0 in z
1.681 * [taylor]: Taking taylor expansion of 0 in y
1.681 * [taylor]: Taking taylor expansion of 0 in y
1.681 * [taylor]: Taking taylor expansion of 0 in y
1.681 * [taylor]: Taking taylor expansion of 0 in y
1.681 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1.681 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/9) in (z) around 0
1.681 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.681 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.681 * [taylor]: Taking taylor expansion of 1/9 in z
1.681 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.681 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.681 * [taylor]: Taking taylor expansion of z in z
1.681 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.681 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.682 * [taylor]: Taking taylor expansion of 1/9 in z
1.682 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.682 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.682 * [taylor]: Taking taylor expansion of z in z
1.689 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in (z) around 0
1.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.689 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.689 * [taylor]: Taking taylor expansion of 1/9 in z
1.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.689 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.689 * [taylor]: Taking taylor expansion of z in z
1.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.689 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.689 * [taylor]: Taking taylor expansion of 1/9 in z
1.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.689 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.689 * [taylor]: Taking taylor expansion of z in z
1.697 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (z) around 0
1.697 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.697 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.697 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.697 * [taylor]: Taking taylor expansion of 1/9 in z
1.697 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.697 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.697 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.697 * [taylor]: Taking taylor expansion of z in z
1.697 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.697 * [taylor]: Taking taylor expansion of 1/3 in z
1.697 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.697 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.697 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.697 * [taylor]: Taking taylor expansion of -1 in z
1.698 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.698 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.698 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.698 * [taylor]: Taking taylor expansion of 1/9 in z
1.698 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.698 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.698 * [taylor]: Taking taylor expansion of z in z
1.698 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.698 * [taylor]: Taking taylor expansion of 1/3 in z
1.698 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.698 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.698 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.698 * [taylor]: Taking taylor expansion of -1 in z
1.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1.719 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/9) in (z) around 0
1.719 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.719 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.719 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.719 * [taylor]: Taking taylor expansion of 1/9 in z
1.720 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.720 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.720 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.720 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.720 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.720 * [taylor]: Taking taylor expansion of 1/9 in z
1.720 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.720 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.727 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in (z) around 0
1.727 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.727 * [taylor]: Taking taylor expansion of 1/9 in z
1.727 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.727 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.727 * [taylor]: Taking taylor expansion of 1/9 in z
1.727 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.727 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.735 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (z) around 0
1.735 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.735 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.735 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.735 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.735 * [taylor]: Taking taylor expansion of 1/9 in z
1.735 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.735 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.735 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.735 * [taylor]: Taking taylor expansion of z in z
1.736 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.736 * [taylor]: Taking taylor expansion of 1/3 in z
1.736 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.736 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.736 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.736 * [taylor]: Taking taylor expansion of -1 in z
1.736 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.736 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.736 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.736 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.736 * [taylor]: Taking taylor expansion of 1/9 in z
1.736 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.736 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.736 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.736 * [taylor]: Taking taylor expansion of z in z
1.737 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.737 * [taylor]: Taking taylor expansion of 1/3 in z
1.737 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.737 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.737 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.737 * [taylor]: Taking taylor expansion of -1 in z
1.765 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
1.765 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/9) in (z) around 0
1.765 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.765 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.765 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.765 * [taylor]: Taking taylor expansion of 1/9 in z
1.765 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.765 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.765 * [taylor]: Taking taylor expansion of z in z
1.765 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
1.765 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
1.765 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
1.765 * [taylor]: Taking taylor expansion of 1/9 in z
1.765 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.765 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.765 * [taylor]: Taking taylor expansion of z in z
1.772 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in (z) around 0
1.772 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.772 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.772 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.772 * [taylor]: Taking taylor expansion of 1/9 in z
1.772 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.773 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.773 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.773 * [taylor]: Taking taylor expansion of z in z
1.773 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.773 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.773 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.773 * [taylor]: Taking taylor expansion of 1/9 in z
1.773 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.773 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.773 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.773 * [taylor]: Taking taylor expansion of z in z
1.781 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (z) around 0
1.781 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.781 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.781 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.781 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.781 * [taylor]: Taking taylor expansion of 1/9 in z
1.781 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.781 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.781 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.781 * [taylor]: Taking taylor expansion of z in z
1.781 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.781 * [taylor]: Taking taylor expansion of 1/3 in z
1.781 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.781 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.781 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.781 * [taylor]: Taking taylor expansion of -1 in z
1.782 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
1.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
1.782 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
1.782 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
1.782 * [taylor]: Taking taylor expansion of 1/9 in z
1.782 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.782 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.782 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.782 * [taylor]: Taking taylor expansion of z in z
1.782 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
1.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
1.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
1.782 * [taylor]: Taking taylor expansion of 1/3 in z
1.782 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
1.782 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.782 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.782 * [taylor]: Taking taylor expansion of -1 in z
1.803 * * * [progress]: simplifying candidates
1.804 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))
  (+ (- (log x) (+ (+ (log (cbrt (* (cbrt z) (cbrt z)))) (log (cbrt (* (cbrt z) (cbrt z))))) (log (cbrt (* (cbrt z) (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (+ (log (cbrt (* (cbrt z) (cbrt z)))) (log (cbrt (* (cbrt z) (cbrt z))))) (log (cbrt (* (cbrt z) (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (- (log x) (+ (log (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (log (cbrt (* (cbrt z) (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (log (cbrt (* (cbrt z) (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (- (log x) (log (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (log (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (log (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (log (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (log (/ y (cbrt z))))
  (log (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (exp (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))) (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))) (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))) (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (* (* y y) y) z))
  (* (* (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (cbrt (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))) (cbrt (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))))
  (cbrt (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (* (* (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))
  (* x y)
  (* (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt z))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (sqrt (/ y (cbrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ (sqrt y) 1))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 (cbrt (sqrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 (cbrt 1)))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 (sqrt (cbrt z))))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ 1 1))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) 1)
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) y)
  (* (cbrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ y (cbrt z)))
  (* (sqrt (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))))) (/ y (cbrt z)))
  (* (/ (cbrt x) (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (sqrt x) (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ x (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))
  (* (/ 1 (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))
  (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) y)
  (* x (/ y (cbrt z)))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 1/9 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 z)))))))
  (exp (* 1/9 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 z)))))))
  (exp (* 1/9 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 z)))))))
1.811 * * [simplify]: iteration  0 :  172  enodes  (cost  2478 )
1.845 * * [simplify]: iteration  1 :  514  enodes  (cost  2402 )
1.968 * * [simplify]: iteration  2 :  2302  enodes  (cost  1354 )
2.373 * * [simplify]: iteration  done :  5001  enodes  (cost  1334 )
2.374 * [simplify]: Simplified to:
   (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (log (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (exp (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (/ (pow x 3) (/ (pow (* (cbrt z) (cbrt z)) 3) (/ (pow y 3) z)))
  (/ (* (pow (/ y (cbrt z)) 3) (pow x 3)) (pow (* (cbrt z) (cbrt z)) 3))
  (/ (pow x 3) (/ (* (* (cbrt z) (cbrt z)) (pow (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) 3)) (/ (pow y 3) z)))
  (/ (* (pow (/ y (cbrt z)) 3) (pow x 3)) (* (* (cbrt z) (cbrt z)) (pow (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) 3)))
  (* (pow (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)) 3) (/ (pow y 3) z))
  (pow (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)) 3)
  (* (pow (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)) 3) (/ (pow y 3) z))
  (pow (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)) 3)
  (* (cbrt (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))) (cbrt (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (cbrt (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (pow (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)) 3)
  (sqrt (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (sqrt (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (* y x)
  (* (pow (cbrt (* (cbrt z) (cbrt z))) 3) (cbrt z))
  (* (sqrt (/ y (cbrt z))) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (* (sqrt (/ y (cbrt z))) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (* (/ (sqrt y) (cbrt (sqrt z))) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (* (/ (sqrt y) (cbrt (sqrt z))) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (/ (* (sqrt y) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)))) (sqrt (cbrt z)))
  (/ (* (sqrt y) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)))) (sqrt (cbrt z)))
  (/ (* (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* (sqrt (/ y (cbrt z))) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)) (/ (cbrt (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))) (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)))
  (/ (* (* (cbrt y) (cbrt y)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)) (/ (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt y) (cbrt y))))
  (/ (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3)) (/ (sqrt (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (* (* (cbrt y) (cbrt y)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ (* x (sqrt y)) (pow (cbrt (* (cbrt z) (cbrt z))) 3)) (cbrt (sqrt z)))
  (/ (* x (sqrt y)) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* (/ (sqrt y) (sqrt (cbrt z))) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* x (sqrt y)) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (cbrt (sqrt z))) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ x (sqrt (cbrt z))) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* x y) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (* (/ y (cbrt z)) (cbrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (* (/ y (cbrt z)) (sqrt (/ x (pow (cbrt (* (cbrt z) (cbrt z))) 3))))
  (* (/ (cbrt x) (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (sqrt x) (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ x (cbrt (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (/ (* (/ y (cbrt z)) x) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (/ y (cbrt z)) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (/ (* x y) (pow (cbrt (* (cbrt z) (cbrt z))) 3))
  (* (/ y (cbrt z)) x)
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (pow (cbrt (* (cbrt z) (cbrt z))) 3)
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (pow (cbrt (* (cbrt z) (cbrt z))) 3)
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (pow (cbrt (* (cbrt z) (cbrt z))) 3)
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 2/9 (log z)))
  (pow (exp 1/9) (* (neg (log z)) -2))
  (* (pow (exp 1/9) (* (log (/ -1 z)) -2)) (cbrt (pow (cbrt -1) 2)))
  (exp (* 2/9 (log z)))
  (pow (exp 1/9) (* (neg (log z)) -2))
  (* (pow (exp 1/9) (* (log (/ -1 z)) -2)) (cbrt (pow (cbrt -1) 2)))
  (exp (* 2/9 (log z)))
  (pow (exp 1/9) (* (neg (log z)) -2))
  (* (pow (exp 1/9) (* (log (/ -1 z)) -2)) (cbrt (pow (cbrt -1) 2)))
2.374 * * * [progress]: adding candidates to table
2.498 * * [progress]: iteration 4 / 4
2.498 * * * [progress]: picking best candidate
2.527 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))>
2.527 * * * [progress]: localizing error
2.539 * * * [progress]: generating rewritten candidates
2.539 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.568 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
2.570 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
2.575 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
2.586 * * * [progress]: generating series expansions
2.586 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.587 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
2.587 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.587 * [taylor]: Taking taylor expansion of (* x y) in y
2.587 * [taylor]: Taking taylor expansion of x in y
2.587 * [taylor]: Taking taylor expansion of y in y
2.587 * [taylor]: Taking taylor expansion of z in y
2.587 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.587 * [taylor]: Taking taylor expansion of (* x y) in z
2.587 * [taylor]: Taking taylor expansion of x in z
2.587 * [taylor]: Taking taylor expansion of y in z
2.587 * [taylor]: Taking taylor expansion of z in z
2.587 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.587 * [taylor]: Taking taylor expansion of (* x y) in x
2.587 * [taylor]: Taking taylor expansion of x in x
2.587 * [taylor]: Taking taylor expansion of y in x
2.587 * [taylor]: Taking taylor expansion of z in x
2.587 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.587 * [taylor]: Taking taylor expansion of (* x y) in x
2.587 * [taylor]: Taking taylor expansion of x in x
2.587 * [taylor]: Taking taylor expansion of y in x
2.587 * [taylor]: Taking taylor expansion of z in x
2.587 * [taylor]: Taking taylor expansion of (/ y z) in z
2.587 * [taylor]: Taking taylor expansion of y in z
2.587 * [taylor]: Taking taylor expansion of z in z
2.587 * [taylor]: Taking taylor expansion of y in y
2.587 * [taylor]: Taking taylor expansion of 0 in z
2.587 * [taylor]: Taking taylor expansion of 0 in y
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.588 * [taylor]: Taking taylor expansion of 0 in y
2.588 * [taylor]: Taking taylor expansion of 0 in y
2.588 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
2.588 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.588 * [taylor]: Taking taylor expansion of z in y
2.588 * [taylor]: Taking taylor expansion of (* x y) in y
2.588 * [taylor]: Taking taylor expansion of x in y
2.588 * [taylor]: Taking taylor expansion of y in y
2.588 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.588 * [taylor]: Taking taylor expansion of z in z
2.588 * [taylor]: Taking taylor expansion of (* x y) in z
2.588 * [taylor]: Taking taylor expansion of x in z
2.588 * [taylor]: Taking taylor expansion of y in z
2.588 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.588 * [taylor]: Taking taylor expansion of z in x
2.589 * [taylor]: Taking taylor expansion of (* x y) in x
2.589 * [taylor]: Taking taylor expansion of x in x
2.589 * [taylor]: Taking taylor expansion of y in x
2.589 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.589 * [taylor]: Taking taylor expansion of z in x
2.589 * [taylor]: Taking taylor expansion of (* x y) in x
2.589 * [taylor]: Taking taylor expansion of x in x
2.589 * [taylor]: Taking taylor expansion of y in x
2.589 * [taylor]: Taking taylor expansion of (/ z y) in z
2.589 * [taylor]: Taking taylor expansion of z in z
2.589 * [taylor]: Taking taylor expansion of y in z
2.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.589 * [taylor]: Taking taylor expansion of y in y
2.589 * [taylor]: Taking taylor expansion of 0 in z
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in z
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in z
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.591 * [approximate]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in (x z y) around 0
2.591 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in y
2.591 * [taylor]: Taking taylor expansion of z in y
2.591 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in y
2.591 * [taylor]: Taking taylor expansion of x in y
2.591 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
2.591 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.591 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.591 * [taylor]: Taking taylor expansion of -1 in y
2.591 * [taylor]: Taking taylor expansion of y in y
2.592 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in z
2.592 * [taylor]: Taking taylor expansion of z in z
2.592 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in z
2.592 * [taylor]: Taking taylor expansion of x in z
2.592 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z
2.592 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.592 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.592 * [taylor]: Taking taylor expansion of -1 in z
2.592 * [taylor]: Taking taylor expansion of y in z
2.593 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
2.593 * [taylor]: Taking taylor expansion of z in x
2.593 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.593 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
2.593 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.593 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.593 * [taylor]: Taking taylor expansion of -1 in x
2.593 * [taylor]: Taking taylor expansion of y in x
2.594 * [taylor]: Taking taylor expansion of (/ z (* x (* (pow (cbrt -1) 3) y))) in x
2.594 * [taylor]: Taking taylor expansion of z in x
2.594 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt -1) 3) y)) in x
2.594 * [taylor]: Taking taylor expansion of x in x
2.594 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x
2.594 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.594 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.594 * [taylor]: Taking taylor expansion of -1 in x
2.594 * [taylor]: Taking taylor expansion of y in x
2.595 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
2.595 * [taylor]: Taking taylor expansion of -1 in z
2.595 * [taylor]: Taking taylor expansion of (/ z y) in z
2.595 * [taylor]: Taking taylor expansion of z in z
2.595 * [taylor]: Taking taylor expansion of y in z
2.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.595 * [taylor]: Taking taylor expansion of -1 in y
2.595 * [taylor]: Taking taylor expansion of y in y
2.595 * [taylor]: Taking taylor expansion of 0 in z
2.595 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in z
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.597 * [taylor]: Taking taylor expansion of 0 in z
2.597 * [taylor]: Taking taylor expansion of 0 in y
2.597 * [taylor]: Taking taylor expansion of 0 in y
2.597 * [taylor]: Taking taylor expansion of 0 in y
2.598 * [taylor]: Taking taylor expansion of 0 in y
2.598 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
2.598 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
2.598 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.598 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.598 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.598 * [taylor]: Taking taylor expansion of 1/9 in z
2.598 * [taylor]: Taking taylor expansion of (log z) in z
2.598 * [taylor]: Taking taylor expansion of z in z
2.598 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.598 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.598 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.598 * [taylor]: Taking taylor expansion of 1/9 in z
2.598 * [taylor]: Taking taylor expansion of (log z) in z
2.598 * [taylor]: Taking taylor expansion of z in z
2.605 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
2.605 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.605 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.605 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.605 * [taylor]: Taking taylor expansion of 1/9 in z
2.605 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.605 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.605 * [taylor]: Taking taylor expansion of z in z
2.605 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.605 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.605 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.605 * [taylor]: Taking taylor expansion of 1/9 in z
2.605 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.605 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.605 * [taylor]: Taking taylor expansion of z in z
2.612 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0
2.612 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.612 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.613 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.613 * [taylor]: Taking taylor expansion of 1/9 in z
2.613 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.613 * [taylor]: Taking taylor expansion of z in z
2.613 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.613 * [taylor]: Taking taylor expansion of 1/3 in z
2.613 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.613 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.613 * [taylor]: Taking taylor expansion of -1 in z
2.613 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.613 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.613 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.613 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.613 * [taylor]: Taking taylor expansion of 1/9 in z
2.613 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.613 * [taylor]: Taking taylor expansion of z in z
2.613 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.613 * [taylor]: Taking taylor expansion of 1/3 in z
2.613 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.613 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.614 * [taylor]: Taking taylor expansion of -1 in z
2.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
2.631 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/9) in (z) around 0
2.631 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
2.631 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
2.631 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
2.631 * [taylor]: Taking taylor expansion of 1/9 in z
2.631 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.631 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.631 * [taylor]: Taking taylor expansion of z in z
2.631 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/9) in z
2.631 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow z 2)))) in z
2.631 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow z 2))) in z
2.631 * [taylor]: Taking taylor expansion of 1/9 in z
2.631 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.631 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.631 * [taylor]: Taking taylor expansion of z in z
2.647 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in (z) around 0
2.647 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
2.647 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
2.647 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
2.647 * [taylor]: Taking taylor expansion of 1/9 in z
2.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.647 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.647 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.647 * [taylor]: Taking taylor expansion of z in z
2.647 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
2.647 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
2.647 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
2.647 * [taylor]: Taking taylor expansion of 1/9 in z
2.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.647 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.647 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.647 * [taylor]: Taking taylor expansion of z in z
2.655 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (z) around 0
2.655 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
2.655 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
2.655 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
2.655 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
2.655 * [taylor]: Taking taylor expansion of 1/9 in z
2.655 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.655 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.655 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.655 * [taylor]: Taking taylor expansion of z in z
2.655 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
2.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
2.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
2.655 * [taylor]: Taking taylor expansion of 1/3 in z
2.655 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
2.655 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.655 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.655 * [taylor]: Taking taylor expansion of -1 in z
2.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in z
2.656 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/9) in z
2.656 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow z 2))))) in z
2.656 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow z 2)))) in z
2.656 * [taylor]: Taking taylor expansion of 1/9 in z
2.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.656 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.656 * [taylor]: Taking taylor expansion of z in z
2.656 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in z
2.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in z
2.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in z
2.656 * [taylor]: Taking taylor expansion of 1/3 in z
2.656 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in z
2.656 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.656 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.656 * [taylor]: Taking taylor expansion of -1 in z
2.677 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
2.677 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
2.677 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
2.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
2.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
2.677 * [taylor]: Taking taylor expansion of 1/3 in z
2.677 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.677 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.677 * [taylor]: Taking taylor expansion of z in z
2.678 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
2.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
2.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
2.678 * [taylor]: Taking taylor expansion of 1/3 in z
2.678 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.678 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.678 * [taylor]: Taking taylor expansion of z in z
2.685 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
2.685 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
2.685 * [taylor]: Taking taylor expansion of 1/3 in z
2.685 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.685 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.685 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.685 * [taylor]: Taking taylor expansion of z in z
2.685 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
2.685 * [taylor]: Taking taylor expansion of 1/3 in z
2.685 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.685 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.685 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.685 * [taylor]: Taking taylor expansion of z in z
2.693 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0
2.693 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
2.693 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
2.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
2.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
2.693 * [taylor]: Taking taylor expansion of 1/3 in z
2.693 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.693 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.693 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.693 * [taylor]: Taking taylor expansion of z in z
2.693 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.693 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.693 * [taylor]: Taking taylor expansion of -1 in z
2.693 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
2.693 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
2.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
2.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
2.694 * [taylor]: Taking taylor expansion of 1/3 in z
2.694 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.694 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.694 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.694 * [taylor]: Taking taylor expansion of z in z
2.694 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.694 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.694 * [taylor]: Taking taylor expansion of -1 in z
2.704 * * * [progress]: simplifying candidates
2.706 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))
  (+ (- (log x) (+ (log (cbrt (* (cbrt z) (cbrt z)))) (+ (log (cbrt z)) (log (cbrt z))))) (- (log y) (log (cbrt (cbrt z)))))
  (+ (- (log x) (+ (log (cbrt (* (cbrt z) (cbrt z)))) (+ (log (cbrt z)) (log (cbrt z))))) (log (/ y (cbrt (cbrt z)))))
  (+ (- (log x) (+ (log (cbrt (* (cbrt z) (cbrt z)))) (log (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (cbrt z)))))
  (+ (- (log x) (+ (log (cbrt (* (cbrt z) (cbrt z)))) (log (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (cbrt z)))))
  (+ (- (log x) (log (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (cbrt z)))))
  (+ (- (log x) (log (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (cbrt z)))))
  (+ (log (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (cbrt z)))))
  (+ (log (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (exp (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (/ (* (* x x) x) (* (* (cbrt z) (cbrt z)) (* z z))) (/ (* (* y y) y) (cbrt z)))
  (* (/ (* (* x x) x) (* (* (cbrt z) (cbrt z)) (* z z))) (* (* (/ y (cbrt (cbrt z))) (/ y (cbrt (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (/ (* (* x x) x) (* (* (cbrt z) (cbrt z)) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (* (* y y) y) (cbrt z)))
  (* (/ (* (* x x) x) (* (* (cbrt z) (cbrt z)) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (/ y (cbrt (cbrt z))) (/ y (cbrt (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (/ (* (* x x) x) (* (* (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (* (* y y) y) (cbrt z)))
  (* (/ (* (* x x) x) (* (* (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (/ y (cbrt (cbrt z))) (/ y (cbrt (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (* (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (* (* y y) y) (cbrt z)))
  (* (* (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (/ y (cbrt (cbrt z))) (/ y (cbrt (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))) (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))))
  (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (* (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (sqrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (sqrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* x y)
  (* (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (cbrt (/ y (cbrt (cbrt z)))) (cbrt (/ y (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (cbrt (sqrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (cbrt 1))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (cbrt 1))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) 1))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt (cbrt (sqrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt (cbrt 1))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt (sqrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (cbrt 1)))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ 1 1))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) 1)
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) y)
  (* (cbrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ y (cbrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ y (cbrt (cbrt z))))
  (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))
  (* (/ 1 (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) y)
  (* x (/ y (cbrt (cbrt z))))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 1/9 (+ (log z) (log 1))))
  (exp (* 1/9 (- (log 1) (log (/ 1 z)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 z))))))
  (exp (* 1/9 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 z)))))))
  (exp (* 1/3 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))))
2.714 * * [simplify]: iteration  0 :  242  enodes  (cost  2457 )
2.759 * * [simplify]: iteration  1 :  690  enodes  (cost  2354 )
2.926 * * [simplify]: iteration  2 :  3493  enodes  (cost  2051 )
3.528 * * [simplify]: iteration  done :  5000  enodes  (cost  2025 )
3.529 * [simplify]: Simplified to:
   (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (log (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (exp (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* (/ (/ (pow x 3) (* z z)) (pow (cbrt z) 3)) (/ (pow y 3) 1))
  (* (pow (/ y (cbrt (cbrt z))) 3) (/ (/ (pow x 3) (cbrt z)) (* (cbrt z) (* z z))))
  (/ (pow x 3) (/ (* (cbrt z) (* (cbrt z) (pow (* (cbrt z) (cbrt z)) 3))) (/ (pow y 3) (cbrt z))))
  (* (/ (pow x 3) (* (cbrt z) (cbrt z))) (/ (pow (/ y (cbrt (cbrt z))) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (/ (pow (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z))) 3) (/ (cbrt z) (pow y 3)))
  (* (pow (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z))) 3) (pow (/ y (cbrt (cbrt z))) 3))
  (/ (pow (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z))) 3) (/ (cbrt z) (pow y 3)))
  (pow (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))) 3)
  (* (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))) (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))))
  (cbrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (pow (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))) 3)
  (sqrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (sqrt (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))
  (* x y)
  (* (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (cbrt (/ y (cbrt (cbrt z)))) (cbrt (/ y (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (cbrt (sqrt z)))))
  (/ (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (cbrt z)))))
  (/ (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (cbrt z)))))
  (/ (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (cbrt (sqrt z)))))
  (/ (* (sqrt y) (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) 1)
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (sqrt y))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt (cbrt z)))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (sqrt y))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (cbrt (cbrt (sqrt z))))
  (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z)))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))))
  (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z)))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))))
  (/ (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (sqrt (cbrt (cbrt z))))
  (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z)))
  (/ (/ x (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt z)))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) y)
  (* (cbrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ y (cbrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (/ y (cbrt (cbrt z))))
  (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))
  (/ (/ y (cbrt (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))
  (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) y)
  (* (/ y (cbrt (cbrt z))) x)
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  1
  (cbrt (cbrt z))
  (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  1
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (pow (cbrt (cbrt z)) 3)
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (* (cbrt z) (cbrt z))))
  (exp (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt z))
  (cbrt (cbrt z))
  (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (pow (cbrt (* (cbrt z) (cbrt z))) 3)
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  (sqrt (cbrt (* (cbrt z) (cbrt z))))
  2/3
  2
  (* z z)
  (* (cbrt z) (cbrt z))
  2
  (* 2 (log (cbrt z)))
  (* 2 (log (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (pow (* (cbrt z) (cbrt z)) 3)
  (fabs (cbrt z))
  (fabs (cbrt z))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (pow (cbrt (cbrt z)) 3))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt z)
  (cbrt z)
  1
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (cbrt z)
  (cbrt z)
  2/3
  2
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (cbrt z)
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z))
  (pow (sqrt (cbrt z)) 3)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (pow (sqrt (cbrt z)) 3)
  (* (cbrt z) (cbrt z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (pow (exp 1/9) (log z))
  (pow (exp 1/9) (log z))
  (* (pow (exp 1/9) (neg (log (/ -1 z)))) (cbrt (cbrt -1)))
  (exp (* (log z) 2/9))
  (exp (* (log z) 2/9))
  (* (cbrt (pow (cbrt -1) 2)) (pow (exp (* -2 (log (/ -1 z)))) 1/9))
  (exp (* 2/3 (log z)))
  (pow (exp 1/3) (* 2 (log z)))
  (* (pow (cbrt -1) 2) (pow (exp (* -2 (log (/ -1 z)))) 1/3))
3.530 * * * [progress]: adding candidates to table
3.656 * [progress]: [Phase 3 of 3] Extracting.
3.656 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
3.658 * * * [regime-changes]: Trying 5 branch expressions: ((* x y) (/ (* x y) z) z y x)
3.658 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
3.764 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))>)
3.814 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
3.918 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>)
3.957 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
4.052 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
4.146 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
4.240 * * * [regime]: Found split indices: #<option (#s(si 7 12) #s(si 0 96) #s(si 7 169) #s(si 0 241) #s(si 7 255))>
4.240 * [binary-search]: Only using regimes for bounds on (* x y) and (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
4.240 * [regimes]: Found splitpoints: (#s(sp 7 (* x y) -inf.0) #s(sp 0 (* x y) -3.2070069155690644e-212) #s(sp 7 (* x y) 9.87687915491415e-181) #s(sp 0 (* x y) 4.0986376764820074e+175) #s(sp 7 (* x y) +nan.0)) , with alts (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z)))))> #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ (sqrt x) (cbrt z)) (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))))> #<alt (λ (x y z) (* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (/ 1 (/ z (* x y))))> #<alt (λ (x y z) (cbrt (/ (* (pow y 3) (/ (pow x 3) (* z z))) z)))>)
4.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* x y) -inf.0) (/ x (/ z y)) (if (<= (* x y) -3.2070069155690644e-212) (/ (* x y) z) (if (<= (* x y) 9.87687915491415e-181) (/ x (/ z y)) (if (<= (* x y) 4.0986376764820074e+175) (/ (* x y) z) (/ x (/ z y))))))
4.241 * * [simplify]: iteration  0 :  19  enodes  (cost  49 )
4.242 * * [simplify]: iteration  1 :  23  enodes  (cost  45 )
4.243 * * [simplify]: iteration  2 :  26  enodes  (cost  41 )
4.244 * * [simplify]: iteration  3 :  32  enodes  (cost  37 )
4.245 * * [simplify]: iteration  4 :  38  enodes  (cost  36 )
4.246 * * [simplify]: iteration  5 :  47  enodes  (cost  36 )
4.248 * * [simplify]: iteration  6 :  60  enodes  (cost  36 )
4.250 * * [simplify]: iteration  7 :  65  enodes  (cost  36 )
4.252 * * [simplify]: iteration  8 :  72  enodes  (cost  36 )
4.254 * * [simplify]: iteration  9 :  76  enodes  (cost  36 )
4.256 * * [simplify]: iteration  10 :  80  enodes  (cost  36 )
4.258 * * [simplify]: iteration  11 :  84  enodes  (cost  36 )
4.260 * * [simplify]: iteration  12 :  88  enodes  (cost  36 )
4.262 * * [simplify]: iteration  13 :  92  enodes  (cost  36 )
4.264 * * [simplify]: iteration  14 :  96  enodes  (cost  36 )
4.266 * * [simplify]: iteration  15 :  100  enodes  (cost  36 )
4.268 * * [simplify]: iteration  16 :  104  enodes  (cost  36 )
4.270 * * [simplify]: iteration  17 :  108  enodes  (cost  36 )
4.271 * * [simplify]: iteration  18 :  112  enodes  (cost  36 )
4.273 * * [simplify]: iteration  19 :  116  enodes  (cost  36 )
4.275 * * [simplify]: iteration  20 :  120  enodes  (cost  36 )
4.277 * * [simplify]: iteration  21 :  124  enodes  (cost  36 )
4.279 * * [simplify]: iteration  22 :  128  enodes  (cost  36 )
4.281 * * [simplify]: iteration  23 :  132  enodes  (cost  36 )
4.283 * * [simplify]: iteration  24 :  136  enodes  (cost  36 )
4.291 * * [simplify]: iteration  25 :  140  enodes  (cost  36 )
4.293 * * [simplify]: iteration  26 :  144  enodes  (cost  36 )
4.295 * * [simplify]: iteration  27 :  148  enodes  (cost  36 )
4.297 * * [simplify]: iteration  28 :  152  enodes  (cost  36 )
4.299 * * [simplify]: iteration  29 :  156  enodes  (cost  36 )
4.301 * * [simplify]: iteration  30 :  160  enodes  (cost  36 )
4.303 * * [simplify]: iteration  31 :  164  enodes  (cost  36 )
4.305 * * [simplify]: iteration  32 :  168  enodes  (cost  36 )
4.307 * * [simplify]: iteration  33 :  172  enodes  (cost  36 )
4.309 * * [simplify]: iteration  34 :  176  enodes  (cost  36 )
4.311 * * [simplify]: iteration  35 :  180  enodes  (cost  36 )
4.313 * * [simplify]: iteration  36 :  184  enodes  (cost  36 )
4.315 * * [simplify]: iteration  37 :  188  enodes  (cost  36 )
4.317 * * [simplify]: iteration  38 :  192  enodes  (cost  36 )
4.318 * * [simplify]: iteration  39 :  196  enodes  (cost  36 )
4.320 * * [simplify]: iteration  40 :  200  enodes  (cost  36 )
4.322 * * [simplify]: iteration  41 :  204  enodes  (cost  36 )
4.324 * * [simplify]: iteration  42 :  208  enodes  (cost  36 )
4.326 * * [simplify]: iteration  43 :  212  enodes  (cost  36 )
4.328 * * [simplify]: iteration  44 :  216  enodes  (cost  36 )
4.330 * * [simplify]: iteration  45 :  220  enodes  (cost  36 )
4.332 * * [simplify]: iteration  46 :  224  enodes  (cost  36 )
4.334 * * [simplify]: iteration  47 :  228  enodes  (cost  36 )
4.339 * * [simplify]: iteration  48 :  232  enodes  (cost  36 )
4.341 * * [simplify]: iteration  49 :  236  enodes  (cost  36 )
4.350 * * [simplify]: iteration  50 :  240  enodes  (cost  36 )
4.352 * * [simplify]: iteration  51 :  244  enodes  (cost  36 )
4.353 * * [simplify]: iteration  52 :  248  enodes  (cost  36 )
4.355 * * [simplify]: iteration  53 :  252  enodes  (cost  36 )
4.357 * * [simplify]: iteration  54 :  256  enodes  (cost  36 )
4.360 * * [simplify]: iteration  55 :  260  enodes  (cost  36 )
4.361 * * [simplify]: iteration  56 :  264  enodes  (cost  36 )
4.364 * * [simplify]: iteration  57 :  268  enodes  (cost  36 )
4.365 * * [simplify]: iteration  58 :  272  enodes  (cost  36 )
4.367 * * [simplify]: iteration  59 :  276  enodes  (cost  36 )
4.369 * * [simplify]: iteration  60 :  280  enodes  (cost  36 )
4.371 * * [simplify]: iteration  61 :  284  enodes  (cost  36 )
4.373 * * [simplify]: iteration  62 :  288  enodes  (cost  36 )
4.375 * * [simplify]: iteration  63 :  292  enodes  (cost  36 )
4.377 * * [simplify]: iteration  64 :  296  enodes  (cost  36 )
4.379 * * [simplify]: iteration  65 :  300  enodes  (cost  36 )
4.381 * * [simplify]: iteration  66 :  304  enodes  (cost  36 )
4.382 * * [simplify]: iteration  67 :  308  enodes  (cost  36 )
4.384 * * [simplify]: iteration  68 :  312  enodes  (cost  36 )
4.386 * * [simplify]: iteration  69 :  316  enodes  (cost  36 )
4.388 * * [simplify]: iteration  70 :  320  enodes  (cost  36 )
4.390 * * [simplify]: iteration  71 :  324  enodes  (cost  36 )
4.392 * * [simplify]: iteration  72 :  328  enodes  (cost  36 )
4.394 * * [simplify]: iteration  73 :  332  enodes  (cost  36 )
4.396 * * [simplify]: iteration  74 :  336  enodes  (cost  36 )
4.398 * * [simplify]: iteration  75 :  340  enodes  (cost  36 )
4.406 * * [simplify]: iteration  76 :  344  enodes  (cost  36 )
4.408 * * [simplify]: iteration  77 :  348  enodes  (cost  36 )
4.410 * * [simplify]: iteration  78 :  352  enodes  (cost  36 )
4.412 * * [simplify]: iteration  79 :  356  enodes  (cost  36 )
4.414 * * [simplify]: iteration  80 :  360  enodes  (cost  36 )
4.416 * * [simplify]: iteration  81 :  364  enodes  (cost  36 )
4.418 * * [simplify]: iteration  82 :  368  enodes  (cost  36 )
4.420 * * [simplify]: iteration  83 :  372  enodes  (cost  36 )
4.421 * * [simplify]: iteration  84 :  376  enodes  (cost  36 )
4.423 * * [simplify]: iteration  85 :  380  enodes  (cost  36 )
4.425 * * [simplify]: iteration  86 :  384  enodes  (cost  36 )
4.427 * * [simplify]: iteration  87 :  388  enodes  (cost  36 )
4.429 * * [simplify]: iteration  88 :  392  enodes  (cost  36 )
4.431 * * [simplify]: iteration  89 :  396  enodes  (cost  36 )
4.433 * * [simplify]: iteration  90 :  400  enodes  (cost  36 )
4.435 * * [simplify]: iteration  91 :  404  enodes  (cost  36 )
4.437 * * [simplify]: iteration  92 :  408  enodes  (cost  36 )
4.439 * * [simplify]: iteration  93 :  412  enodes  (cost  36 )
4.441 * * [simplify]: iteration  94 :  416  enodes  (cost  36 )
4.443 * * [simplify]: iteration  95 :  420  enodes  (cost  36 )
4.444 * * [simplify]: iteration  96 :  424  enodes  (cost  36 )
4.446 * * [simplify]: iteration  97 :  428  enodes  (cost  36 )
4.448 * * [simplify]: iteration  98 :  432  enodes  (cost  36 )
4.450 * * [simplify]: iteration  99 :  436  enodes  (cost  36 )
4.452 * * [simplify]: iteration  100 :  440  enodes  (cost  36 )
4.461 * * [simplify]: iteration  101 :  444  enodes  (cost  36 )
4.462 * * [simplify]: iteration  102 :  448  enodes  (cost  36 )
4.464 * * [simplify]: iteration  103 :  452  enodes  (cost  36 )
4.466 * * [simplify]: iteration  104 :  456  enodes  (cost  36 )
4.468 * * [simplify]: iteration  105 :  460  enodes  (cost  36 )
4.470 * * [simplify]: iteration  106 :  464  enodes  (cost  36 )
4.472 * * [simplify]: iteration  107 :  468  enodes  (cost  36 )
4.474 * * [simplify]: iteration  108 :  472  enodes  (cost  36 )
4.476 * * [simplify]: iteration  109 :  476  enodes  (cost  36 )
4.478 * * [simplify]: iteration  110 :  480  enodes  (cost  36 )
4.480 * * [simplify]: iteration  111 :  484  enodes  (cost  36 )
4.481 * * [simplify]: iteration  112 :  488  enodes  (cost  36 )
4.483 * * [simplify]: iteration  113 :  492  enodes  (cost  36 )
4.485 * * [simplify]: iteration  114 :  496  enodes  (cost  36 )
4.487 * * [simplify]: iteration  115 :  500  enodes  (cost  36 )
4.489 * * [simplify]: iteration  116 :  504  enodes  (cost  36 )
4.491 * * [simplify]: iteration  117 :  508  enodes  (cost  36 )
4.493 * * [simplify]: iteration  118 :  512  enodes  (cost  36 )
4.495 * * [simplify]: iteration  119 :  516  enodes  (cost  36 )
4.497 * * [simplify]: iteration  120 :  520  enodes  (cost  36 )
4.499 * * [simplify]: iteration  121 :  524  enodes  (cost  36 )
4.501 * * [simplify]: iteration  122 :  528  enodes  (cost  36 )
4.503 * * [simplify]: iteration  123 :  532  enodes  (cost  36 )
4.505 * * [simplify]: iteration  124 :  536  enodes  (cost  36 )
4.507 * * [simplify]: iteration  125 :  540  enodes  (cost  36 )
4.516 * * [simplify]: iteration  126 :  544  enodes  (cost  36 )
4.518 * * [simplify]: iteration  127 :  548  enodes  (cost  36 )
4.520 * * [simplify]: iteration  128 :  552  enodes  (cost  36 )
4.521 * * [simplify]: iteration  129 :  556  enodes  (cost  36 )
4.523 * * [simplify]: iteration  130 :  560  enodes  (cost  36 )
4.525 * * [simplify]: iteration  131 :  564  enodes  (cost  36 )
4.527 * * [simplify]: iteration  132 :  568  enodes  (cost  36 )
4.529 * * [simplify]: iteration  133 :  572  enodes  (cost  36 )
4.531 * * [simplify]: iteration  134 :  576  enodes  (cost  36 )
4.533 * * [simplify]: iteration  135 :  580  enodes  (cost  36 )
4.535 * * [simplify]: iteration  136 :  584  enodes  (cost  36 )
4.537 * * [simplify]: iteration  137 :  588  enodes  (cost  36 )
4.539 * * [simplify]: iteration  138 :  592  enodes  (cost  36 )
4.541 * * [simplify]: iteration  139 :  596  enodes  (cost  36 )
4.543 * * [simplify]: iteration  140 :  600  enodes  (cost  36 )
4.545 * * [simplify]: iteration  141 :  604  enodes  (cost  36 )
4.546 * * [simplify]: iteration  142 :  608  enodes  (cost  36 )
4.548 * * [simplify]: iteration  143 :  612  enodes  (cost  36 )
4.550 * * [simplify]: iteration  144 :  616  enodes  (cost  36 )
4.552 * * [simplify]: iteration  145 :  620  enodes  (cost  36 )
4.554 * * [simplify]: iteration  146 :  624  enodes  (cost  36 )
4.556 * * [simplify]: iteration  147 :  628  enodes  (cost  36 )
4.558 * * [simplify]: iteration  148 :  632  enodes  (cost  36 )
4.560 * * [simplify]: iteration  149 :  636  enodes  (cost  36 )
4.562 * * [simplify]: iteration  150 :  640  enodes  (cost  36 )
4.564 * * [simplify]: iteration  151 :  644  enodes  (cost  36 )
4.572 * * [simplify]: iteration  152 :  648  enodes  (cost  36 )
4.574 * * [simplify]: iteration  153 :  652  enodes  (cost  36 )
4.576 * * [simplify]: iteration  154 :  656  enodes  (cost  36 )
4.578 * * [simplify]: iteration  155 :  660  enodes  (cost  36 )
4.580 * * [simplify]: iteration  156 :  664  enodes  (cost  36 )
4.582 * * [simplify]: iteration  157 :  668  enodes  (cost  36 )
4.584 * * [simplify]: iteration  158 :  672  enodes  (cost  36 )
4.586 * * [simplify]: iteration  159 :  676  enodes  (cost  36 )
4.587 * * [simplify]: iteration  160 :  680  enodes  (cost  36 )
4.589 * * [simplify]: iteration  161 :  684  enodes  (cost  36 )
4.591 * * [simplify]: iteration  162 :  688  enodes  (cost  36 )
4.593 * * [simplify]: iteration  163 :  692  enodes  (cost  36 )
4.595 * * [simplify]: iteration  164 :  696  enodes  (cost  36 )
4.597 * * [simplify]: iteration  165 :  700  enodes  (cost  36 )
4.599 * * [simplify]: iteration  166 :  704  enodes  (cost  36 )
4.601 * * [simplify]: iteration  167 :  708  enodes  (cost  36 )
4.603 * * [simplify]: iteration  168 :  712  enodes  (cost  36 )
4.605 * * [simplify]: iteration  169 :  716  enodes  (cost  36 )
4.607 * * [simplify]: iteration  170 :  720  enodes  (cost  36 )
4.609 * * [simplify]: iteration  171 :  724  enodes  (cost  36 )
4.611 * * [simplify]: iteration  172 :  728  enodes  (cost  36 )
4.613 * * [simplify]: iteration  173 :  732  enodes  (cost  36 )
4.615 * * [simplify]: iteration  174 :  736  enodes  (cost  36 )
4.617 * * [simplify]: iteration  175 :  740  enodes  (cost  36 )
4.618 * * [simplify]: iteration  176 :  744  enodes  (cost  36 )
4.627 * * [simplify]: iteration  177 :  748  enodes  (cost  36 )
4.629 * * [simplify]: iteration  178 :  752  enodes  (cost  36 )
4.631 * * [simplify]: iteration  179 :  756  enodes  (cost  36 )
4.633 * * [simplify]: iteration  180 :  760  enodes  (cost  36 )
4.635 * * [simplify]: iteration  181 :  764  enodes  (cost  36 )
4.637 * * [simplify]: iteration  182 :  768  enodes  (cost  36 )
4.639 * * [simplify]: iteration  183 :  772  enodes  (cost  36 )
4.641 * * [simplify]: iteration  184 :  776  enodes  (cost  36 )
4.643 * * [simplify]: iteration  185 :  780  enodes  (cost  36 )
4.644 * * [simplify]: iteration  186 :  784  enodes  (cost  36 )
4.646 * * [simplify]: iteration  187 :  788  enodes  (cost  36 )
4.648 * * [simplify]: iteration  188 :  792  enodes  (cost  36 )
4.650 * * [simplify]: iteration  189 :  796  enodes  (cost  36 )
4.652 * * [simplify]: iteration  190 :  800  enodes  (cost  36 )
4.654 * * [simplify]: iteration  191 :  804  enodes  (cost  36 )
4.656 * * [simplify]: iteration  192 :  808  enodes  (cost  36 )
4.658 * * [simplify]: iteration  193 :  812  enodes  (cost  36 )
4.660 * * [simplify]: iteration  194 :  816  enodes  (cost  36 )
4.661 * * [simplify]: iteration  195 :  820  enodes  (cost  36 )
4.663 * * [simplify]: iteration  196 :  824  enodes  (cost  36 )
4.665 * * [simplify]: iteration  197 :  828  enodes  (cost  36 )
4.667 * * [simplify]: iteration  198 :  832  enodes  (cost  36 )
4.669 * * [simplify]: iteration  199 :  836  enodes  (cost  36 )
4.671 * * [simplify]: iteration  200 :  840  enodes  (cost  36 )
4.673 * * [simplify]: iteration  201 :  844  enodes  (cost  36 )
4.675 * * [simplify]: iteration  202 :  848  enodes  (cost  36 )
4.684 * * [simplify]: iteration  203 :  852  enodes  (cost  36 )
4.685 * * [simplify]: iteration  204 :  856  enodes  (cost  36 )
4.687 * * [simplify]: iteration  205 :  860  enodes  (cost  36 )
4.689 * * [simplify]: iteration  206 :  864  enodes  (cost  36 )
4.691 * * [simplify]: iteration  207 :  868  enodes  (cost  36 )
4.693 * * [simplify]: iteration  208 :  872  enodes  (cost  36 )
4.695 * * [simplify]: iteration  209 :  876  enodes  (cost  36 )
4.697 * * [simplify]: iteration  210 :  880  enodes  (cost  36 )
4.699 * * [simplify]: iteration  211 :  884  enodes  (cost  36 )
4.701 * * [simplify]: iteration  212 :  888  enodes  (cost  36 )
4.702 * * [simplify]: iteration  213 :  892  enodes  (cost  36 )
4.704 * * [simplify]: iteration  214 :  896  enodes  (cost  36 )
4.706 * * [simplify]: iteration  215 :  900  enodes  (cost  36 )
4.708 * * [simplify]: iteration  216 :  904  enodes  (cost  36 )
4.710 * * [simplify]: iteration  217 :  908  enodes  (cost  36 )
4.712 * * [simplify]: iteration  218 :  912  enodes  (cost  36 )
4.714 * * [simplify]: iteration  219 :  916  enodes  (cost  36 )
4.716 * * [simplify]: iteration  220 :  920  enodes  (cost  36 )
4.718 * * [simplify]: iteration  221 :  924  enodes  (cost  36 )
4.719 * * [simplify]: iteration  222 :  928  enodes  (cost  36 )
4.721 * * [simplify]: iteration  223 :  932  enodes  (cost  36 )
4.723 * * [simplify]: iteration  224 :  936  enodes  (cost  36 )
4.725 * * [simplify]: iteration  225 :  940  enodes  (cost  36 )
4.727 * * [simplify]: iteration  226 :  944  enodes  (cost  36 )
4.729 * * [simplify]: iteration  227 :  948  enodes  (cost  36 )
4.738 * * [simplify]: iteration  228 :  952  enodes  (cost  36 )
4.740 * * [simplify]: iteration  229 :  956  enodes  (cost  36 )
4.742 * * [simplify]: iteration  230 :  960  enodes  (cost  36 )
4.744 * * [simplify]: iteration  231 :  964  enodes  (cost  36 )
4.746 * * [simplify]: iteration  232 :  968  enodes  (cost  36 )
4.748 * * [simplify]: iteration  233 :  972  enodes  (cost  36 )
4.749 * * [simplify]: iteration  234 :  976  enodes  (cost  36 )
4.751 * * [simplify]: iteration  235 :  980  enodes  (cost  36 )
4.753 * * [simplify]: iteration  236 :  984  enodes  (cost  36 )
4.755 * * [simplify]: iteration  237 :  988  enodes  (cost  36 )
4.757 * * [simplify]: iteration  238 :  992  enodes  (cost  36 )
4.759 * * [simplify]: iteration  239 :  996  enodes  (cost  36 )
4.761 * * [simplify]: iteration  240 :  1000  enodes  (cost  36 )
4.763 * * [simplify]: iteration  241 :  1004  enodes  (cost  36 )
4.765 * * [simplify]: iteration  242 :  1008  enodes  (cost  36 )
4.766 * * [simplify]: iteration  243 :  1012  enodes  (cost  36 )
4.768 * * [simplify]: iteration  244 :  1016  enodes  (cost  36 )
4.770 * * [simplify]: iteration  245 :  1020  enodes  (cost  36 )
4.772 * * [simplify]: iteration  246 :  1024  enodes  (cost  36 )
4.774 * * [simplify]: iteration  247 :  1028  enodes  (cost  36 )
4.776 * * [simplify]: iteration  248 :  1032  enodes  (cost  36 )
4.778 * * [simplify]: iteration  249 :  1036  enodes  (cost  36 )
4.780 * * [simplify]: iteration  250 :  1040  enodes  (cost  36 )
4.782 * * [simplify]: iteration  251 :  1044  enodes  (cost  36 )
4.784 * * [simplify]: iteration  252 :  1048  enodes  (cost  36 )
4.786 * * [simplify]: iteration  253 :  1052  enodes  (cost  36 )
4.794 * * [simplify]: iteration  254 :  1056  enodes  (cost  36 )
4.796 * * [simplify]: iteration  255 :  1060  enodes  (cost  36 )
4.798 * * [simplify]: iteration  256 :  1064  enodes  (cost  36 )
4.800 * * [simplify]: iteration  257 :  1068  enodes  (cost  36 )
4.802 * * [simplify]: iteration  258 :  1072  enodes  (cost  36 )
4.804 * * [simplify]: iteration  259 :  1076  enodes  (cost  36 )
4.806 * * [simplify]: iteration  260 :  1080  enodes  (cost  36 )
4.808 * * [simplify]: iteration  261 :  1084  enodes  (cost  36 )
4.810 * * [simplify]: iteration  262 :  1088  enodes  (cost  36 )
4.812 * * [simplify]: iteration  263 :  1092  enodes  (cost  36 )
4.814 * * [simplify]: iteration  264 :  1096  enodes  (cost  36 )
4.816 * * [simplify]: iteration  265 :  1100  enodes  (cost  36 )
4.818 * * [simplify]: iteration  266 :  1104  enodes  (cost  36 )
4.820 * * [simplify]: iteration  267 :  1108  enodes  (cost  36 )
4.822 * * [simplify]: iteration  268 :  1112  enodes  (cost  36 )
4.824 * * [simplify]: iteration  269 :  1116  enodes  (cost  36 )
4.825 * * [simplify]: iteration  270 :  1120  enodes  (cost  36 )
4.827 * * [simplify]: iteration  271 :  1124  enodes  (cost  36 )
4.829 * * [simplify]: iteration  272 :  1128  enodes  (cost  36 )
4.831 * * [simplify]: iteration  273 :  1132  enodes  (cost  36 )
4.833 * * [simplify]: iteration  274 :  1136  enodes  (cost  36 )
4.835 * * [simplify]: iteration  275 :  1140  enodes  (cost  36 )
4.837 * * [simplify]: iteration  276 :  1144  enodes  (cost  36 )
4.839 * * [simplify]: iteration  277 :  1148  enodes  (cost  36 )
4.841 * * [simplify]: iteration  278 :  1152  enodes  (cost  36 )
4.849 * * [simplify]: iteration  279 :  1156  enodes  (cost  36 )
4.851 * * [simplify]: iteration  280 :  1160  enodes  (cost  36 )
4.853 * * [simplify]: iteration  281 :  1164  enodes  (cost  36 )
4.855 * * [simplify]: iteration  282 :  1168  enodes  (cost  36 )
4.857 * * [simplify]: iteration  283 :  1172  enodes  (cost  36 )
4.859 * * [simplify]: iteration  284 :  1176  enodes  (cost  36 )
4.861 * * [simplify]: iteration  285 :  1180  enodes  (cost  36 )
4.863 * * [simplify]: iteration  286 :  1184  enodes  (cost  36 )
4.865 * * [simplify]: iteration  287 :  1188  enodes  (cost  36 )
4.867 * * [simplify]: iteration  288 :  1192  enodes  (cost  36 )
4.868 * * [simplify]: iteration  289 :  1196  enodes  (cost  36 )
4.870 * * [simplify]: iteration  290 :  1200  enodes  (cost  36 )
4.872 * * [simplify]: iteration  291 :  1204  enodes  (cost  36 )
4.874 * * [simplify]: iteration  292 :  1208  enodes  (cost  36 )
4.876 * * [simplify]: iteration  293 :  1212  enodes  (cost  36 )
4.878 * * [simplify]: iteration  294 :  1216  enodes  (cost  36 )
4.880 * * [simplify]: iteration  295 :  1220  enodes  (cost  36 )
4.882 * * [simplify]: iteration  296 :  1224  enodes  (cost  36 )
4.884 * * [simplify]: iteration  297 :  1228  enodes  (cost  36 )
4.886 * * [simplify]: iteration  298 :  1232  enodes  (cost  36 )
4.888 * * [simplify]: iteration  299 :  1236  enodes  (cost  36 )
4.890 * * [simplify]: iteration  300 :  1240  enodes  (cost  36 )
4.892 * * [simplify]: iteration  301 :  1244  enodes  (cost  36 )
4.894 * * [simplify]: iteration  302 :  1248  enodes  (cost  36 )
4.896 * * [simplify]: iteration  303 :  1252  enodes  (cost  36 )
4.898 * * [simplify]: iteration  304 :  1256  enodes  (cost  36 )
4.906 * * [simplify]: iteration  305 :  1260  enodes  (cost  36 )
4.908 * * [simplify]: iteration  306 :  1264  enodes  (cost  36 )
4.910 * * [simplify]: iteration  307 :  1268  enodes  (cost  36 )
4.912 * * [simplify]: iteration  308 :  1272  enodes  (cost  36 )
4.914 * * [simplify]: iteration  309 :  1276  enodes  (cost  36 )
4.916 * * [simplify]: iteration  310 :  1280  enodes  (cost  36 )
4.918 * * [simplify]: iteration  311 :  1284  enodes  (cost  36 )
4.920 * * [simplify]: iteration  312 :  1288  enodes  (cost  36 )
4.922 * * [simplify]: iteration  313 :  1292  enodes  (cost  36 )
4.924 * * [simplify]: iteration  314 :  1296  enodes  (cost  36 )
4.925 * * [simplify]: iteration  315 :  1300  enodes  (cost  36 )
4.927 * * [simplify]: iteration  316 :  1304  enodes  (cost  36 )
4.929 * * [simplify]: iteration  317 :  1308  enodes  (cost  36 )
4.940 * * [simplify]: iteration  318 :  1312  enodes  (cost  36 )
4.942 * * [simplify]: iteration  319 :  1316  enodes  (cost  36 )
4.944 * * [simplify]: iteration  320 :  1320  enodes  (cost  36 )
4.945 * * [simplify]: iteration  321 :  1324  enodes  (cost  36 )
4.947 * * [simplify]: iteration  322 :  1328  enodes  (cost  36 )
4.949 * * [simplify]: iteration  323 :  1332  enodes  (cost  36 )
4.951 * * [simplify]: iteration  324 :  1336  enodes  (cost  36 )
4.953 * * [simplify]: iteration  325 :  1340  enodes  (cost  36 )
4.955 * * [simplify]: iteration  326 :  1344  enodes  (cost  36 )
4.957 * * [simplify]: iteration  327 :  1348  enodes  (cost  36 )
4.959 * * [simplify]: iteration  328 :  1352  enodes  (cost  36 )
4.961 * * [simplify]: iteration  329 :  1356  enodes  (cost  36 )
4.971 * * [simplify]: iteration  330 :  1360  enodes  (cost  36 )
4.973 * * [simplify]: iteration  331 :  1364  enodes  (cost  36 )
4.975 * * [simplify]: iteration  332 :  1368  enodes  (cost  36 )
4.977 * * [simplify]: iteration  333 :  1372  enodes  (cost  36 )
4.979 * * [simplify]: iteration  334 :  1376  enodes  (cost  36 )
4.980 * * [simplify]: iteration  335 :  1380  enodes  (cost  36 )
4.982 * * [simplify]: iteration  336 :  1384  enodes  (cost  36 )
4.984 * * [simplify]: iteration  337 :  1388  enodes  (cost  36 )
4.986 * * [simplify]: iteration  338 :  1392  enodes  (cost  36 )
4.988 * * [simplify]: iteration  339 :  1396  enodes  (cost  36 )
4.990 * * [simplify]: iteration  340 :  1400  enodes  (cost  36 )
4.992 * * [simplify]: iteration  341 :  1404  enodes  (cost  36 )
4.994 * * [simplify]: iteration  342 :  1408  enodes  (cost  36 )
4.996 * * [simplify]: iteration  343 :  1412  enodes  (cost  36 )
4.998 * * [simplify]: iteration  344 :  1416  enodes  (cost  36 )
4.999 * * [simplify]: iteration  345 :  1420  enodes  (cost  36 )
5.001 * * [simplify]: iteration  346 :  1424  enodes  (cost  36 )
5.003 * * [simplify]: iteration  347 :  1428  enodes  (cost  36 )
5.005 * * [simplify]: iteration  348 :  1432  enodes  (cost  36 )
5.007 * * [simplify]: iteration  349 :  1436  enodes  (cost  36 )
5.009 * * [simplify]: iteration  350 :  1440  enodes  (cost  36 )
5.011 * * [simplify]: iteration  351 :  1444  enodes  (cost  36 )
5.013 * * [simplify]: iteration  352 :  1448  enodes  (cost  36 )
5.015 * * [simplify]: iteration  353 :  1452  enodes  (cost  36 )
5.017 * * [simplify]: iteration  354 :  1456  enodes  (cost  36 )
5.019 * * [simplify]: iteration  355 :  1460  enodes  (cost  36 )
5.024 * * [simplify]: iteration  356 :  1464  enodes  (cost  36 )
5.026 * * [simplify]: iteration  357 :  1468  enodes  (cost  36 )
5.028 * * [simplify]: iteration  358 :  1472  enodes  (cost  36 )
5.030 * * [simplify]: iteration  359 :  1476  enodes  (cost  36 )
5.032 * * [simplify]: iteration  360 :  1480  enodes  (cost  36 )
5.034 * * [simplify]: iteration  361 :  1484  enodes  (cost  36 )
5.036 * * [simplify]: iteration  362 :  1488  enodes  (cost  36 )
5.038 * * [simplify]: iteration  363 :  1492  enodes  (cost  36 )
5.040 * * [simplify]: iteration  364 :  1496  enodes  (cost  36 )
5.042 * * [simplify]: iteration  365 :  1500  enodes  (cost  36 )
5.043 * * [simplify]: iteration  366 :  1504  enodes  (cost  36 )
5.045 * * [simplify]: iteration  367 :  1508  enodes  (cost  36 )
5.047 * * [simplify]: iteration  368 :  1512  enodes  (cost  36 )
5.049 * * [simplify]: iteration  369 :  1516  enodes  (cost  36 )
5.051 * * [simplify]: iteration  370 :  1520  enodes  (cost  36 )
5.053 * * [simplify]: iteration  371 :  1524  enodes  (cost  36 )
5.055 * * [simplify]: iteration  372 :  1528  enodes  (cost  36 )
5.057 * * [simplify]: iteration  373 :  1532  enodes  (cost  36 )
5.059 * * [simplify]: iteration  374 :  1536  enodes  (cost  36 )
5.061 * * [simplify]: iteration  375 :  1540  enodes  (cost  36 )
5.062 * * [simplify]: iteration  376 :  1544  enodes  (cost  36 )
5.064 * * [simplify]: iteration  377 :  1548  enodes  (cost  36 )
5.066 * * [simplify]: iteration  378 :  1552  enodes  (cost  36 )
5.068 * * [simplify]: iteration  379 :  1556  enodes  (cost  36 )
5.070 * * [simplify]: iteration  380 :  1560  enodes  (cost  36 )
5.076 * * [simplify]: iteration  381 :  1564  enodes  (cost  36 )
5.078 * * [simplify]: iteration  382 :  1568  enodes  (cost  36 )
5.080 * * [simplify]: iteration  383 :  1572  enodes  (cost  36 )
5.082 * * [simplify]: iteration  384 :  1576  enodes  (cost  36 )
5.084 * * [simplify]: iteration  385 :  1580  enodes  (cost  36 )
5.086 * * [simplify]: iteration  386 :  1584  enodes  (cost  36 )
5.088 * * [simplify]: iteration  387 :  1588  enodes  (cost  36 )
5.090 * * [simplify]: iteration  388 :  1592  enodes  (cost  36 )
5.092 * * [simplify]: iteration  389 :  1596  enodes  (cost  36 )
5.093 * * [simplify]: iteration  390 :  1600  enodes  (cost  36 )
5.095 * * [simplify]: iteration  391 :  1604  enodes  (cost  36 )
5.097 * * [simplify]: iteration  392 :  1608  enodes  (cost  36 )
5.099 * * [simplify]: iteration  393 :  1612  enodes  (cost  36 )
5.101 * * [simplify]: iteration  394 :  1616  enodes  (cost  36 )
5.103 * * [simplify]: iteration  395 :  1620  enodes  (cost  36 )
5.105 * * [simplify]: iteration  396 :  1624  enodes  (cost  36 )
5.107 * * [simplify]: iteration  397 :  1628  enodes  (cost  36 )
5.109 * * [simplify]: iteration  398 :  1632  enodes  (cost  36 )
5.110 * * [simplify]: iteration  399 :  1636  enodes  (cost  36 )
5.112 * * [simplify]: iteration  400 :  1640  enodes  (cost  36 )
5.114 * * [simplify]: iteration  401 :  1644  enodes  (cost  36 )
5.116 * * [simplify]: iteration  402 :  1648  enodes  (cost  36 )
5.118 * * [simplify]: iteration  403 :  1652  enodes  (cost  36 )
5.120 * * [simplify]: iteration  404 :  1656  enodes  (cost  36 )
5.122 * * [simplify]: iteration  405 :  1660  enodes  (cost  36 )
5.128 * * [simplify]: iteration  406 :  1664  enodes  (cost  36 )
5.130 * * [simplify]: iteration  407 :  1668  enodes  (cost  36 )
5.131 * * [simplify]: iteration  408 :  1672  enodes  (cost  36 )
5.133 * * [simplify]: iteration  409 :  1676  enodes  (cost  36 )
5.136 * * [simplify]: iteration  410 :  1680  enodes  (cost  36 )
5.137 * * [simplify]: iteration  411 :  1684  enodes  (cost  36 )
5.139 * * [simplify]: iteration  412 :  1688  enodes  (cost  36 )
5.141 * * [simplify]: iteration  413 :  1692  enodes  (cost  36 )
5.143 * * [simplify]: iteration  414 :  1696  enodes  (cost  36 )
5.145 * * [simplify]: iteration  415 :  1700  enodes  (cost  36 )
5.147 * * [simplify]: iteration  416 :  1704  enodes  (cost  36 )
5.149 * * [simplify]: iteration  417 :  1708  enodes  (cost  36 )
5.151 * * [simplify]: iteration  418 :  1712  enodes  (cost  36 )
5.153 * * [simplify]: iteration  419 :  1716  enodes  (cost  36 )
5.155 * * [simplify]: iteration  420 :  1720  enodes  (cost  36 )
5.157 * * [simplify]: iteration  421 :  1724  enodes  (cost  36 )
5.159 * * [simplify]: iteration  422 :  1728  enodes  (cost  36 )
5.161 * * [simplify]: iteration  423 :  1732  enodes  (cost  36 )
5.162 * * [simplify]: iteration  424 :  1736  enodes  (cost  36 )
5.164 * * [simplify]: iteration  425 :  1740  enodes  (cost  36 )
5.166 * * [simplify]: iteration  426 :  1744  enodes  (cost  36 )
5.168 * * [simplify]: iteration  427 :  1748  enodes  (cost  36 )
5.170 * * [simplify]: iteration  428 :  1752  enodes  (cost  36 )
5.172 * * [simplify]: iteration  429 :  1756  enodes  (cost  36 )
5.174 * * [simplify]: iteration  430 :  1760  enodes  (cost  36 )
5.176 * * [simplify]: iteration  431 :  1764  enodes  (cost  36 )
5.182 * * [simplify]: iteration  432 :  1768  enodes  (cost  36 )
5.184 * * [simplify]: iteration  433 :  1772  enodes  (cost  36 )
5.185 * * [simplify]: iteration  434 :  1776  enodes  (cost  36 )
5.187 * * [simplify]: iteration  435 :  1780  enodes  (cost  36 )
5.189 * * [simplify]: iteration  436 :  1784  enodes  (cost  36 )
5.191 * * [simplify]: iteration  437 :  1788  enodes  (cost  36 )
5.193 * * [simplify]: iteration  438 :  1792  enodes  (cost  36 )
5.195 * * [simplify]: iteration  439 :  1796  enodes  (cost  36 )
5.197 * * [simplify]: iteration  440 :  1800  enodes  (cost  36 )
5.199 * * [simplify]: iteration  441 :  1804  enodes  (cost  36 )
5.201 * * [simplify]: iteration  442 :  1808  enodes  (cost  36 )
5.203 * * [simplify]: iteration  443 :  1812  enodes  (cost  36 )
5.205 * * [simplify]: iteration  444 :  1816  enodes  (cost  36 )
5.207 * * [simplify]: iteration  445 :  1820  enodes  (cost  36 )
5.208 * * [simplify]: iteration  446 :  1824  enodes  (cost  36 )
5.210 * * [simplify]: iteration  447 :  1828  enodes  (cost  36 )
5.212 * * [simplify]: iteration  448 :  1832  enodes  (cost  36 )
5.214 * * [simplify]: iteration  449 :  1836  enodes  (cost  36 )
5.216 * * [simplify]: iteration  450 :  1840  enodes  (cost  36 )
5.218 * * [simplify]: iteration  451 :  1844  enodes  (cost  36 )
5.220 * * [simplify]: iteration  452 :  1848  enodes  (cost  36 )
5.222 * * [simplify]: iteration  453 :  1852  enodes  (cost  36 )
5.223 * * [simplify]: iteration  454 :  1856  enodes  (cost  36 )
5.225 * * [simplify]: iteration  455 :  1860  enodes  (cost  36 )
5.227 * * [simplify]: iteration  456 :  1864  enodes  (cost  36 )
5.233 * * [simplify]: iteration  457 :  1868  enodes  (cost  36 )
5.235 * * [simplify]: iteration  458 :  1872  enodes  (cost  36 )
5.237 * * [simplify]: iteration  459 :  1876  enodes  (cost  36 )
5.239 * * [simplify]: iteration  460 :  1880  enodes  (cost  36 )
5.241 * * [simplify]: iteration  461 :  1884  enodes  (cost  36 )
5.243 * * [simplify]: iteration  462 :  1888  enodes  (cost  36 )
5.244 * * [simplify]: iteration  463 :  1892  enodes  (cost  36 )
5.246 * * [simplify]: iteration  464 :  1896  enodes  (cost  36 )
5.248 * * [simplify]: iteration  465 :  1900  enodes  (cost  36 )
5.250 * * [simplify]: iteration  466 :  1904  enodes  (cost  36 )
5.252 * * [simplify]: iteration  467 :  1908  enodes  (cost  36 )
5.254 * * [simplify]: iteration  468 :  1912  enodes  (cost  36 )
5.256 * * [simplify]: iteration  469 :  1916  enodes  (cost  36 )
5.258 * * [simplify]: iteration  470 :  1920  enodes  (cost  36 )
5.260 * * [simplify]: iteration  471 :  1924  enodes  (cost  36 )
5.261 * * [simplify]: iteration  472 :  1928  enodes  (cost  36 )
5.263 * * [simplify]: iteration  473 :  1932  enodes  (cost  36 )
5.265 * * [simplify]: iteration  474 :  1936  enodes  (cost  36 )
5.267 * * [simplify]: iteration  475 :  1940  enodes  (cost  36 )
5.269 * * [simplify]: iteration  476 :  1944  enodes  (cost  36 )
5.271 * * [simplify]: iteration  477 :  1948  enodes  (cost  36 )
5.273 * * [simplify]: iteration  478 :  1952  enodes  (cost  36 )
5.275 * * [simplify]: iteration  479 :  1956  enodes  (cost  36 )
5.277 * * [simplify]: iteration  480 :  1960  enodes  (cost  36 )
5.279 * * [simplify]: iteration  481 :  1964  enodes  (cost  36 )
5.280 * * [simplify]: iteration  482 :  1968  enodes  (cost  36 )
5.286 * * [simplify]: iteration  483 :  1972  enodes  (cost  36 )
5.288 * * [simplify]: iteration  484 :  1976  enodes  (cost  36 )
5.290 * * [simplify]: iteration  485 :  1980  enodes  (cost  36 )
5.292 * * [simplify]: iteration  486 :  1984  enodes  (cost  36 )
5.294 * * [simplify]: iteration  487 :  1988  enodes  (cost  36 )
5.296 * * [simplify]: iteration  488 :  1992  enodes  (cost  36 )
5.298 * * [simplify]: iteration  489 :  1996  enodes  (cost  36 )
5.300 * * [simplify]: iteration  490 :  2000  enodes  (cost  36 )
5.302 * * [simplify]: iteration  491 :  2004  enodes  (cost  36 )
5.304 * * [simplify]: iteration  492 :  2008  enodes  (cost  36 )
5.306 * * [simplify]: iteration  493 :  2012  enodes  (cost  36 )
5.308 * * [simplify]: iteration  494 :  2016  enodes  (cost  36 )
5.309 * * [simplify]: iteration  495 :  2020  enodes  (cost  36 )
5.311 * * [simplify]: iteration  496 :  2024  enodes  (cost  36 )
5.313 * * [simplify]: iteration  497 :  2028  enodes  (cost  36 )
5.315 * * [simplify]: iteration  498 :  2032  enodes  (cost  36 )
5.317 * * [simplify]: iteration  499 :  2036  enodes  (cost  36 )
5.319 * * [simplify]: iteration  500 :  2040  enodes  (cost  36 )
5.321 * * [simplify]: iteration  501 :  2044  enodes  (cost  36 )
5.323 * * [simplify]: iteration  502 :  2048  enodes  (cost  36 )
5.325 * * [simplify]: iteration  503 :  2052  enodes  (cost  36 )
5.327 * * [simplify]: iteration  504 :  2056  enodes  (cost  36 )
5.328 * * [simplify]: iteration  505 :  2060  enodes  (cost  36 )
5.330 * * [simplify]: iteration  506 :  2064  enodes  (cost  36 )
5.332 * * [simplify]: iteration  507 :  2068  enodes  (cost  36 )
5.338 * * [simplify]: iteration  508 :  2072  enodes  (cost  36 )
5.340 * * [simplify]: iteration  509 :  2076  enodes  (cost  36 )
5.342 * * [simplify]: iteration  510 :  2080  enodes  (cost  36 )
5.344 * * [simplify]: iteration  511 :  2084  enodes  (cost  36 )
5.345 * * [simplify]: iteration  512 :  2088  enodes  (cost  36 )
5.347 * * [simplify]: iteration  513 :  2092  enodes  (cost  36 )
5.349 * * [simplify]: iteration  514 :  2096  enodes  (cost  36 )
5.351 * * [simplify]: iteration  515 :  2100  enodes  (cost  36 )
5.353 * * [simplify]: iteration  516 :  2104  enodes  (cost  36 )
5.355 * * [simplify]: iteration  517 :  2108  enodes  (cost  36 )
5.357 * * [simplify]: iteration  518 :  2112  enodes  (cost  36 )
5.359 * * [simplify]: iteration  519 :  2116  enodes  (cost  36 )
5.361 * * [simplify]: iteration  520 :  2120  enodes  (cost  36 )
5.363 * * [simplify]: iteration  521 :  2124  enodes  (cost  36 )
5.365 * * [simplify]: iteration  522 :  2128  enodes  (cost  36 )
5.367 * * [simplify]: iteration  523 :  2132  enodes  (cost  36 )
5.369 * * [simplify]: iteration  524 :  2136  enodes  (cost  36 )
5.371 * * [simplify]: iteration  525 :  2140  enodes  (cost  36 )
5.373 * * [simplify]: iteration  526 :  2144  enodes  (cost  36 )
5.374 * * [simplify]: iteration  527 :  2148  enodes  (cost  36 )
5.376 * * [simplify]: iteration  528 :  2152  enodes  (cost  36 )
5.378 * * [simplify]: iteration  529 :  2156  enodes  (cost  36 )
5.380 * * [simplify]: iteration  530 :  2160  enodes  (cost  36 )
5.382 * * [simplify]: iteration  531 :  2164  enodes  (cost  36 )
5.384 * * [simplify]: iteration  532 :  2168  enodes  (cost  36 )
5.389 * * [simplify]: iteration  533 :  2172  enodes  (cost  36 )
5.391 * * [simplify]: iteration  534 :  2176  enodes  (cost  36 )
5.393 * * [simplify]: iteration  535 :  2180  enodes  (cost  36 )
5.395 * * [simplify]: iteration  536 :  2184  enodes  (cost  36 )
5.397 * * [simplify]: iteration  537 :  2188  enodes  (cost  36 )
5.399 * * [simplify]: iteration  538 :  2192  enodes  (cost  36 )
5.401 * * [simplify]: iteration  539 :  2196  enodes  (cost  36 )
5.403 * * [simplify]: iteration  540 :  2200  enodes  (cost  36 )
5.405 * * [simplify]: iteration  541 :  2204  enodes  (cost  36 )
5.407 * * [simplify]: iteration  542 :  2208  enodes  (cost  36 )
5.408 * * [simplify]: iteration  543 :  2212  enodes  (cost  36 )
5.410 * * [simplify]: iteration  544 :  2216  enodes  (cost  36 )
5.412 * * [simplify]: iteration  545 :  2220  enodes  (cost  36 )
5.414 * * [simplify]: iteration  546 :  2224  enodes  (cost  36 )
5.416 * * [simplify]: iteration  547 :  2228  enodes  (cost  36 )
5.418 * * [simplify]: iteration  548 :  2232  enodes  (cost  36 )
5.420 * * [simplify]: iteration  549 :  2236  enodes  (cost  36 )
5.422 * * [simplify]: iteration  550 :  2240  enodes  (cost  36 )
5.424 * * [simplify]: iteration  551 :  2244  enodes  (cost  36 )
5.426 * * [simplify]: iteration  552 :  2248  enodes  (cost  36 )
5.428 * * [simplify]: iteration  553 :  2252  enodes  (cost  36 )
5.430 * * [simplify]: iteration  554 :  2256  enodes  (cost  36 )
5.432 * * [simplify]: iteration  555 :  2260  enodes  (cost  36 )
5.434 * * [simplify]: iteration  556 :  2264  enodes  (cost  36 )
5.436 * * [simplify]: iteration  557 :  2268  enodes  (cost  36 )
5.438 * * [simplify]: iteration  558 :  2272  enodes  (cost  36 )
5.443 * * [simplify]: iteration  559 :  2276  enodes  (cost  36 )
5.445 * * [simplify]: iteration  560 :  2280  enodes  (cost  36 )
5.448 * * [simplify]: iteration  561 :  2284  enodes  (cost  36 )
5.449 * * [simplify]: iteration  562 :  2288  enodes  (cost  36 )
5.451 * * [simplify]: iteration  563 :  2292  enodes  (cost  36 )
5.453 * * [simplify]: iteration  564 :  2296  enodes  (cost  36 )
5.455 * * [simplify]: iteration  565 :  2300  enodes  (cost  36 )
5.457 * * [simplify]: iteration  566 :  2304  enodes  (cost  36 )
5.459 * * [simplify]: iteration  567 :  2308  enodes  (cost  36 )
5.461 * * [simplify]: iteration  568 :  2312  enodes  (cost  36 )
5.463 * * [simplify]: iteration  569 :  2316  enodes  (cost  36 )
5.465 * * [simplify]: iteration  570 :  2320  enodes  (cost  36 )
5.467 * * [simplify]: iteration  571 :  2324  enodes  (cost  36 )
5.468 * * [simplify]: iteration  572 :  2328  enodes  (cost  36 )
5.470 * * [simplify]: iteration  573 :  2332  enodes  (cost  36 )
5.472 * * [simplify]: iteration  574 :  2336  enodes  (cost  36 )
5.474 * * [simplify]: iteration  575 :  2340  enodes  (cost  36 )
5.476 * * [simplify]: iteration  576 :  2344  enodes  (cost  36 )
5.478 * * [simplify]: iteration  577 :  2348  enodes  (cost  36 )
5.480 * * [simplify]: iteration  578 :  2352  enodes  (cost  36 )
5.482 * * [simplify]: iteration  579 :  2356  enodes  (cost  36 )
5.484 * * [simplify]: iteration  580 :  2360  enodes  (cost  36 )
5.486 * * [simplify]: iteration  581 :  2364  enodes  (cost  36 )
5.487 * * [simplify]: iteration  582 :  2368  enodes  (cost  36 )
5.489 * * [simplify]: iteration  583 :  2372  enodes  (cost  36 )
5.495 * * [simplify]: iteration  584 :  2376  enodes  (cost  36 )
5.497 * * [simplify]: iteration  585 :  2380  enodes  (cost  36 )
5.499 * * [simplify]: iteration  586 :  2384  enodes  (cost  36 )
5.500 * * [simplify]: iteration  587 :  2388  enodes  (cost  36 )
5.502 * * [simplify]: iteration  588 :  2392  enodes  (cost  36 )
5.504 * * [simplify]: iteration  589 :  2396  enodes  (cost  36 )
5.506 * * [simplify]: iteration  590 :  2400  enodes  (cost  36 )
5.508 * * [simplify]: iteration  591 :  2404  enodes  (cost  36 )
5.510 * * [simplify]: iteration  592 :  2408  enodes  (cost  36 )
5.512 * * [simplify]: iteration  593 :  2412  enodes  (cost  36 )
5.514 * * [simplify]: iteration  594 :  2416  enodes  (cost  36 )
5.516 * * [simplify]: iteration  595 :  2420  enodes  (cost  36 )
5.518 * * [simplify]: iteration  596 :  2424  enodes  (cost  36 )
5.520 * * [simplify]: iteration  597 :  2428  enodes  (cost  36 )
5.522 * * [simplify]: iteration  598 :  2432  enodes  (cost  36 )
5.523 * * [simplify]: iteration  599 :  2436  enodes  (cost  36 )
5.525 * * [simplify]: iteration  600 :  2440  enodes  (cost  36 )
5.527 * * [simplify]: iteration  601 :  2444  enodes  (cost  36 )
5.529 * * [simplify]: iteration  602 :  2448  enodes  (cost  36 )
5.531 * * [simplify]: iteration  603 :  2452  enodes  (cost  36 )
5.533 * * [simplify]: iteration  604 :  2456  enodes  (cost  36 )
5.535 * * [simplify]: iteration  605 :  2460  enodes  (cost  36 )
5.537 * * [simplify]: iteration  606 :  2464  enodes  (cost  36 )
5.539 * * [simplify]: iteration  607 :  2468  enodes  (cost  36 )
5.540 * * [simplify]: iteration  608 :  2472  enodes  (cost  36 )
5.542 * * [simplify]: iteration  609 :  2476  enodes  (cost  36 )
5.548 * * [simplify]: iteration  610 :  2480  enodes  (cost  36 )
5.550 * * [simplify]: iteration  611 :  2484  enodes  (cost  36 )
5.552 * * [simplify]: iteration  612 :  2488  enodes  (cost  36 )
5.553 * * [simplify]: iteration  613 :  2492  enodes  (cost  36 )
5.555 * * [simplify]: iteration  614 :  2496  enodes  (cost  36 )
5.557 * * [simplify]: iteration  615 :  2500  enodes  (cost  36 )
5.559 * * [simplify]: iteration  616 :  2504  enodes  (cost  36 )
5.561 * * [simplify]: iteration  617 :  2508  enodes  (cost  36 )
5.563 * * [simplify]: iteration  618 :  2512  enodes  (cost  36 )
5.565 * * [simplify]: iteration  619 :  2516  enodes  (cost  36 )
5.567 * * [simplify]: iteration  620 :  2520  enodes  (cost  36 )
5.569 * * [simplify]: iteration  621 :  2524  enodes  (cost  36 )
5.571 * * [simplify]: iteration  622 :  2528  enodes  (cost  36 )
5.573 * * [simplify]: iteration  623 :  2532  enodes  (cost  36 )
5.575 * * [simplify]: iteration  624 :  2536  enodes  (cost  36 )
5.577 * * [simplify]: iteration  625 :  2540  enodes  (cost  36 )
5.579 * * [simplify]: iteration  626 :  2544  enodes  (cost  36 )
5.580 * * [simplify]: iteration  627 :  2548  enodes  (cost  36 )
5.582 * * [simplify]: iteration  628 :  2552  enodes  (cost  36 )
5.584 * * [simplify]: iteration  629 :  2556  enodes  (cost  36 )
5.586 * * [simplify]: iteration  630 :  2560  enodes  (cost  36 )
5.588 * * [simplify]: iteration  631 :  2564  enodes  (cost  36 )
5.590 * * [simplify]: iteration  632 :  2568  enodes  (cost  36 )
5.592 * * [simplify]: iteration  633 :  2572  enodes  (cost  36 )
5.594 * * [simplify]: iteration  634 :  2576  enodes  (cost  36 )
5.599 * * [simplify]: iteration  635 :  2580  enodes  (cost  36 )
5.601 * * [simplify]: iteration  636 :  2584  enodes  (cost  36 )
5.603 * * [simplify]: iteration  637 :  2588  enodes  (cost  36 )
5.605 * * [simplify]: iteration  638 :  2592  enodes  (cost  36 )
5.607 * * [simplify]: iteration  639 :  2596  enodes  (cost  36 )
5.609 * * [simplify]: iteration  640 :  2600  enodes  (cost  36 )
5.611 * * [simplify]: iteration  641 :  2604  enodes  (cost  36 )
5.613 * * [simplify]: iteration  642 :  2608  enodes  (cost  36 )
5.614 * * [simplify]: iteration  643 :  2612  enodes  (cost  36 )
5.616 * * [simplify]: iteration  644 :  2616  enodes  (cost  36 )
5.618 * * [simplify]: iteration  645 :  2620  enodes  (cost  36 )
5.620 * * [simplify]: iteration  646 :  2624  enodes  (cost  36 )
5.622 * * [simplify]: iteration  647 :  2628  enodes  (cost  36 )
5.624 * * [simplify]: iteration  648 :  2632  enodes  (cost  36 )
5.626 * * [simplify]: iteration  649 :  2636  enodes  (cost  36 )
5.628 * * [simplify]: iteration  650 :  2640  enodes  (cost  36 )
5.630 * * [simplify]: iteration  651 :  2644  enodes  (cost  36 )
5.632 * * [simplify]: iteration  652 :  2648  enodes  (cost  36 )
5.633 * * [simplify]: iteration  653 :  2652  enodes  (cost  36 )
5.636 * * [simplify]: iteration  654 :  2656  enodes  (cost  36 )
5.637 * * [simplify]: iteration  655 :  2660  enodes  (cost  36 )
5.639 * * [simplify]: iteration  656 :  2664  enodes  (cost  36 )
5.641 * * [simplify]: iteration  657 :  2668  enodes  (cost  36 )
5.643 * * [simplify]: iteration  658 :  2672  enodes  (cost  36 )
5.645 * * [simplify]: iteration  659 :  2676  enodes  (cost  36 )
5.647 * * [simplify]: iteration  660 :  2680  enodes  (cost  36 )
5.652 * * [simplify]: iteration  661 :  2684  enodes  (cost  36 )
5.654 * * [simplify]: iteration  662 :  2688  enodes  (cost  36 )
5.656 * * [simplify]: iteration  663 :  2692  enodes  (cost  36 )
5.658 * * [simplify]: iteration  664 :  2696  enodes  (cost  36 )
5.660 * * [simplify]: iteration  665 :  2700  enodes  (cost  36 )
5.662 * * [simplify]: iteration  666 :  2704  enodes  (cost  36 )
5.664 * * [simplify]: iteration  667 :  2708  enodes  (cost  36 )
5.666 * * [simplify]: iteration  668 :  2712  enodes  (cost  36 )
5.668 * * [simplify]: iteration  669 :  2716  enodes  (cost  36 )
5.670 * * [simplify]: iteration  670 :  2720  enodes  (cost  36 )
5.672 * * [simplify]: iteration  671 :  2724  enodes  (cost  36 )
5.673 * * [simplify]: iteration  672 :  2728  enodes  (cost  36 )
5.675 * * [simplify]: iteration  673 :  2732  enodes  (cost  36 )
5.677 * * [simplify]: iteration  674 :  2736  enodes  (cost  36 )
5.679 * * [simplify]: iteration  675 :  2740  enodes  (cost  36 )
5.681 * * [simplify]: iteration  676 :  2744  enodes  (cost  36 )
5.683 * * [simplify]: iteration  677 :  2748  enodes  (cost  36 )
5.685 * * [simplify]: iteration  678 :  2752  enodes  (cost  36 )
5.687 * * [simplify]: iteration  679 :  2756  enodes  (cost  36 )
5.689 * * [simplify]: iteration  680 :  2760  enodes  (cost  36 )
5.691 * * [simplify]: iteration  681 :  2764  enodes  (cost  36 )
5.693 * * [simplify]: iteration  682 :  2768  enodes  (cost  36 )
5.695 * * [simplify]: iteration  683 :  2772  enodes  (cost  36 )
5.696 * * [simplify]: iteration  684 :  2776  enodes  (cost  36 )
5.698 * * [simplify]: iteration  685 :  2780  enodes  (cost  36 )
5.704 * * [simplify]: iteration  686 :  2784  enodes  (cost  36 )
5.706 * * [simplify]: iteration  687 :  2788  enodes  (cost  36 )
5.708 * * [simplify]: iteration  688 :  2792  enodes  (cost  36 )
5.710 * * [simplify]: iteration  689 :  2796  enodes  (cost  36 )
5.712 * * [simplify]: iteration  690 :  2800  enodes  (cost  36 )
5.714 * * [simplify]: iteration  691 :  2804  enodes  (cost  36 )
5.715 * * [simplify]: iteration  692 :  2808  enodes  (cost  36 )
5.717 * * [simplify]: iteration  693 :  2812  enodes  (cost  36 )
5.719 * * [simplify]: iteration  694 :  2816  enodes  (cost  36 )
5.721 * * [simplify]: iteration  695 :  2820  enodes  (cost  36 )
5.724 * * [simplify]: iteration  696 :  2824  enodes  (cost  36 )
5.725 * * [simplify]: iteration  697 :  2828  enodes  (cost  36 )
5.727 * * [simplify]: iteration  698 :  2832  enodes  (cost  36 )
5.729 * * [simplify]: iteration  699 :  2836  enodes  (cost  36 )
5.731 * * [simplify]: iteration  700 :  2840  enodes  (cost  36 )
5.733 * * [simplify]: iteration  701 :  2844  enodes  (cost  36 )
5.735 * * [simplify]: iteration  702 :  2848  enodes  (cost  36 )
5.737 * * [simplify]: iteration  703 :  2852  enodes  (cost  36 )
5.739 * * [simplify]: iteration  704 :  2856  enodes  (cost  36 )
5.741 * * [simplify]: iteration  705 :  2860  enodes  (cost  36 )
5.743 * * [simplify]: iteration  706 :  2864  enodes  (cost  36 )
5.745 * * [simplify]: iteration  707 :  2868  enodes  (cost  36 )
5.746 * * [simplify]: iteration  708 :  2872  enodes  (cost  36 )
5.748 * * [simplify]: iteration  709 :  2876  enodes  (cost  36 )
5.750 * * [simplify]: iteration  710 :  2880  enodes  (cost  36 )
5.752 * * [simplify]: iteration  711 :  2884  enodes  (cost  36 )
5.758 * * [simplify]: iteration  712 :  2888  enodes  (cost  36 )
5.760 * * [simplify]: iteration  713 :  2892  enodes  (cost  36 )
5.762 * * [simplify]: iteration  714 :  2896  enodes  (cost  36 )
5.764 * * [simplify]: iteration  715 :  2900  enodes  (cost  36 )
5.766 * * [simplify]: iteration  716 :  2904  enodes  (cost  36 )
5.767 * * [simplify]: iteration  717 :  2908  enodes  (cost  36 )
5.769 * * [simplify]: iteration  718 :  2912  enodes  (cost  36 )
5.771 * * [simplify]: iteration  719 :  2916  enodes  (cost  36 )
5.773 * * [simplify]: iteration  720 :  2920  enodes  (cost  36 )
5.775 * * [simplify]: iteration  721 :  2924  enodes  (cost  36 )
5.778 * * [simplify]: iteration  722 :  2928  enodes  (cost  36 )
5.780 * * [simplify]: iteration  723 :  2932  enodes  (cost  36 )
5.782 * * [simplify]: iteration  724 :  2936  enodes  (cost  36 )
5.784 * * [simplify]: iteration  725 :  2940  enodes  (cost  36 )
5.786 * * [simplify]: iteration  726 :  2944  enodes  (cost  36 )
5.787 * * [simplify]: iteration  727 :  2948  enodes  (cost  36 )
5.789 * * [simplify]: iteration  728 :  2952  enodes  (cost  36 )
5.791 * * [simplify]: iteration  729 :  2956  enodes  (cost  36 )
5.793 * * [simplify]: iteration  730 :  2960  enodes  (cost  36 )
5.795 * * [simplify]: iteration  731 :  2964  enodes  (cost  36 )
5.797 * * [simplify]: iteration  732 :  2968  enodes  (cost  36 )
5.799 * * [simplify]: iteration  733 :  2972  enodes  (cost  36 )
5.801 * * [simplify]: iteration  734 :  2976  enodes  (cost  36 )
5.803 * * [simplify]: iteration  735 :  2980  enodes  (cost  36 )
5.804 * * [simplify]: iteration  736 :  2984  enodes  (cost  36 )
5.810 * * [simplify]: iteration  737 :  2988  enodes  (cost  36 )
5.812 * * [simplify]: iteration  738 :  2992  enodes  (cost  36 )
5.814 * * [simplify]: iteration  739 :  2996  enodes  (cost  36 )
5.816 * * [simplify]: iteration  740 :  3000  enodes  (cost  36 )
5.818 * * [simplify]: iteration  741 :  3004  enodes  (cost  36 )
5.820 * * [simplify]: iteration  742 :  3008  enodes  (cost  36 )
5.822 * * [simplify]: iteration  743 :  3012  enodes  (cost  36 )
5.824 * * [simplify]: iteration  744 :  3016  enodes  (cost  36 )
5.826 * * [simplify]: iteration  745 :  3020  enodes  (cost  36 )
5.828 * * [simplify]: iteration  746 :  3024  enodes  (cost  36 )
5.830 * * [simplify]: iteration  747 :  3028  enodes  (cost  36 )
5.831 * * [simplify]: iteration  748 :  3032  enodes  (cost  36 )
5.833 * * [simplify]: iteration  749 :  3036  enodes  (cost  36 )
5.835 * * [simplify]: iteration  750 :  3040  enodes  (cost  36 )
5.837 * * [simplify]: iteration  751 :  3044  enodes  (cost  36 )
5.839 * * [simplify]: iteration  752 :  3048  enodes  (cost  36 )
5.841 * * [simplify]: iteration  753 :  3052  enodes  (cost  36 )
5.843 * * [simplify]: iteration  754 :  3056  enodes  (cost  36 )
5.845 * * [simplify]: iteration  755 :  3060  enodes  (cost  36 )
5.847 * * [simplify]: iteration  756 :  3064  enodes  (cost  36 )
5.849 * * [simplify]: iteration  757 :  3068  enodes  (cost  36 )
5.850 * * [simplify]: iteration  758 :  3072  enodes  (cost  36 )
5.852 * * [simplify]: iteration  759 :  3076  enodes  (cost  36 )
5.854 * * [simplify]: iteration  760 :  3080  enodes  (cost  36 )
5.856 * * [simplify]: iteration  761 :  3084  enodes  (cost  36 )
5.862 * * [simplify]: iteration  762 :  3088  enodes  (cost  36 )
5.864 * * [simplify]: iteration  763 :  3092  enodes  (cost  36 )
5.866 * * [simplify]: iteration  764 :  3096  enodes  (cost  36 )
5.868 * * [simplify]: iteration  765 :  3100  enodes  (cost  36 )
5.869 * * [simplify]: iteration  766 :  3104  enodes  (cost  36 )
5.871 * * [simplify]: iteration  767 :  3108  enodes  (cost  36 )
5.873 * * [simplify]: iteration  768 :  3112  enodes  (cost  36 )
5.875 * * [simplify]: iteration  769 :  3116  enodes  (cost  36 )
5.877 * * [simplify]: iteration  770 :  3120  enodes  (cost  36 )
5.879 * * [simplify]: iteration  771 :  3124  enodes  (cost  36 )
5.881 * * [simplify]: iteration  772 :  3128  enodes  (cost  36 )
5.883 * * [simplify]: iteration  773 :  3132  enodes  (cost  36 )
5.885 * * [simplify]: iteration  774 :  3136  enodes  (cost  36 )
5.887 * * [simplify]: iteration  775 :  3140  enodes  (cost  36 )
5.889 * * [simplify]: iteration  776 :  3144  enodes  (cost  36 )
5.891 * * [simplify]: iteration  777 :  3148  enodes  (cost  36 )
5.893 * * [simplify]: iteration  778 :  3152  enodes  (cost  36 )
5.894 * * [simplify]: iteration  779 :  3156  enodes  (cost  36 )
5.896 * * [simplify]: iteration  780 :  3160  enodes  (cost  36 )
5.898 * * [simplify]: iteration  781 :  3164  enodes  (cost  36 )
5.900 * * [simplify]: iteration  782 :  3168  enodes  (cost  36 )
5.902 * * [simplify]: iteration  783 :  3172  enodes  (cost  36 )
5.904 * * [simplify]: iteration  784 :  3176  enodes  (cost  36 )
5.906 * * [simplify]: iteration  785 :  3180  enodes  (cost  36 )
5.908 * * [simplify]: iteration  786 :  3184  enodes  (cost  36 )
5.910 * * [simplify]: iteration  787 :  3188  enodes  (cost  36 )
5.916 * * [simplify]: iteration  788 :  3192  enodes  (cost  36 )
5.918 * * [simplify]: iteration  789 :  3196  enodes  (cost  36 )
5.920 * * [simplify]: iteration  790 :  3200  enodes  (cost  36 )
5.922 * * [simplify]: iteration  791 :  3204  enodes  (cost  36 )
5.923 * * [simplify]: iteration  792 :  3208  enodes  (cost  36 )
5.925 * * [simplify]: iteration  793 :  3212  enodes  (cost  36 )
5.927 * * [simplify]: iteration  794 :  3216  enodes  (cost  36 )
5.929 * * [simplify]: iteration  795 :  3220  enodes  (cost  36 )
5.931 * * [simplify]: iteration  796 :  3224  enodes  (cost  36 )
5.933 * * [simplify]: iteration  797 :  3228  enodes  (cost  36 )
5.935 * * [simplify]: iteration  798 :  3232  enodes  (cost  36 )
5.937 * * [simplify]: iteration  799 :  3236  enodes  (cost  36 )
5.939 * * [simplify]: iteration  800 :  3240  enodes  (cost  36 )
5.940 * * [simplify]: iteration  801 :  3244  enodes  (cost  36 )
5.942 * * [simplify]: iteration  802 :  3248  enodes  (cost  36 )
5.944 * * [simplify]: iteration  803 :  3252  enodes  (cost  36 )
5.946 * * [simplify]: iteration  804 :  3256  enodes  (cost  36 )
5.948 * * [simplify]: iteration  805 :  3260  enodes  (cost  36 )
5.950 * * [simplify]: iteration  806 :  3264  enodes  (cost  36 )
5.952 * * [simplify]: iteration  807 :  3268  enodes  (cost  36 )
5.954 * * [simplify]: iteration  808 :  3272  enodes  (cost  36 )
5.956 * * [simplify]: iteration  809 :  3276  enodes  (cost  36 )
5.957 * * [simplify]: iteration  810 :  3280  enodes  (cost  36 )
5.959 * * [simplify]: iteration  811 :  3284  enodes  (cost  36 )
5.961 * * [simplify]: iteration  812 :  3288  enodes  (cost  36 )
5.967 * * [simplify]: iteration  813 :  3292  enodes  (cost  36 )
5.969 * * [simplify]: iteration  814 :  3296  enodes  (cost  36 )
5.971 * * [simplify]: iteration  815 :  3300  enodes  (cost  36 )
5.973 * * [simplify]: iteration  816 :  3304  enodes  (cost  36 )
5.975 * * [simplify]: iteration  817 :  3308  enodes  (cost  36 )
5.976 * * [simplify]: iteration  818 :  3312  enodes  (cost  36 )
5.978 * * [simplify]: iteration  819 :  3316  enodes  (cost  36 )
5.980 * * [simplify]: iteration  820 :  3320  enodes  (cost  36 )
5.982 * * [simplify]: iteration  821 :  3324  enodes  (cost  36 )
5.984 * * [simplify]: iteration  822 :  3328  enodes  (cost  36 )
5.986 * * [simplify]: iteration  823 :  3332  enodes  (cost  36 )
5.988 * * [simplify]: iteration  824 :  3336  enodes  (cost  36 )
5.990 * * [simplify]: iteration  825 :  3340  enodes  (cost  36 )
5.992 * * [simplify]: iteration  826 :  3344  enodes  (cost  36 )
5.994 * * [simplify]: iteration  827 :  3348  enodes  (cost  36 )
5.996 * * [simplify]: iteration  828 :  3352  enodes  (cost  36 )
5.998 * * [simplify]: iteration  829 :  3356  enodes  (cost  36 )
6.000 * * [simplify]: iteration  830 :  3360  enodes  (cost  36 )
6.002 * * [simplify]: iteration  831 :  3364  enodes  (cost  36 )
6.004 * * [simplify]: iteration  832 :  3368  enodes  (cost  36 )
6.006 * * [simplify]: iteration  833 :  3372  enodes  (cost  36 )
6.007 * * [simplify]: iteration  834 :  3376  enodes  (cost  36 )
6.009 * * [simplify]: iteration  835 :  3380  enodes  (cost  36 )
6.012 * * [simplify]: iteration  836 :  3384  enodes  (cost  36 )
6.013 * * [simplify]: iteration  837 :  3388  enodes  (cost  36 )
6.015 * * [simplify]: iteration  838 :  3392  enodes  (cost  36 )
6.021 * * [simplify]: iteration  839 :  3396  enodes  (cost  36 )
6.023 * * [simplify]: iteration  840 :  3400  enodes  (cost  36 )
6.025 * * [simplify]: iteration  841 :  3404  enodes  (cost  36 )
6.027 * * [simplify]: iteration  842 :  3408  enodes  (cost  36 )
6.029 * * [simplify]: iteration  843 :  3412  enodes  (cost  36 )
6.030 * * [simplify]: iteration  844 :  3416  enodes  (cost  36 )
6.032 * * [simplify]: iteration  845 :  3420  enodes  (cost  36 )
6.034 * * [simplify]: iteration  846 :  3424  enodes  (cost  36 )
6.036 * * [simplify]: iteration  847 :  3428  enodes  (cost  36 )
6.038 * * [simplify]: iteration  848 :  3432  enodes  (cost  36 )
6.040 * * [simplify]: iteration  849 :  3436  enodes  (cost  36 )
6.042 * * [simplify]: iteration  850 :  3440  enodes  (cost  36 )
6.044 * * [simplify]: iteration  851 :  3444  enodes  (cost  36 )
6.046 * * [simplify]: iteration  852 :  3448  enodes  (cost  36 )
6.047 * * [simplify]: iteration  853 :  3452  enodes  (cost  36 )
6.049 * * [simplify]: iteration  854 :  3456  enodes  (cost  36 )
6.051 * * [simplify]: iteration  855 :  3460  enodes  (cost  36 )
6.053 * * [simplify]: iteration  856 :  3464  enodes  (cost  36 )
6.055 * * [simplify]: iteration  857 :  3468  enodes  (cost  36 )
6.057 * * [simplify]: iteration  858 :  3472  enodes  (cost  36 )
6.059 * * [simplify]: iteration  859 :  3476  enodes  (cost  36 )
6.061 * * [simplify]: iteration  860 :  3480  enodes  (cost  36 )
6.063 * * [simplify]: iteration  861 :  3484  enodes  (cost  36 )
6.065 * * [simplify]: iteration  862 :  3488  enodes  (cost  36 )
6.067 * * [simplify]: iteration  863 :  3492  enodes  (cost  36 )
6.072 * * [simplify]: iteration  864 :  3496  enodes  (cost  36 )
6.074 * * [simplify]: iteration  865 :  3500  enodes  (cost  36 )
6.076 * * [simplify]: iteration  866 :  3504  enodes  (cost  36 )
6.078 * * [simplify]: iteration  867 :  3508  enodes  (cost  36 )
6.080 * * [simplify]: iteration  868 :  3512  enodes  (cost  36 )
6.082 * * [simplify]: iteration  869 :  3516  enodes  (cost  36 )
6.084 * * [simplify]: iteration  870 :  3520  enodes  (cost  36 )
6.086 * * [simplify]: iteration  871 :  3524  enodes  (cost  36 )
6.088 * * [simplify]: iteration  872 :  3528  enodes  (cost  36 )
6.090 * * [simplify]: iteration  873 :  3532  enodes  (cost  36 )
6.092 * * [simplify]: iteration  874 :  3536  enodes  (cost  36 )
6.094 * * [simplify]: iteration  875 :  3540  enodes  (cost  36 )
6.095 * * [simplify]: iteration  876 :  3544  enodes  (cost  36 )
6.097 * * [simplify]: iteration  877 :  3548  enodes  (cost  36 )
6.099 * * [simplify]: iteration  878 :  3552  enodes  (cost  36 )
6.101 * * [simplify]: iteration  879 :  3556  enodes  (cost  36 )
6.103 * * [simplify]: iteration  880 :  3560  enodes  (cost  36 )
6.105 * * [simplify]: iteration  881 :  3564  enodes  (cost  36 )
6.107 * * [simplify]: iteration  882 :  3568  enodes  (cost  36 )
6.109 * * [simplify]: iteration  883 :  3572  enodes  (cost  36 )
6.111 * * [simplify]: iteration  884 :  3576  enodes  (cost  36 )
6.113 * * [simplify]: iteration  885 :  3580  enodes  (cost  36 )
6.115 * * [simplify]: iteration  886 :  3584  enodes  (cost  36 )
6.117 * * [simplify]: iteration  887 :  3588  enodes  (cost  36 )
6.119 * * [simplify]: iteration  888 :  3592  enodes  (cost  36 )
6.124 * * [simplify]: iteration  889 :  3596  enodes  (cost  36 )
6.126 * * [simplify]: iteration  890 :  3600  enodes  (cost  36 )
6.128 * * [simplify]: iteration  891 :  3604  enodes  (cost  36 )
6.130 * * [simplify]: iteration  892 :  3608  enodes  (cost  36 )
6.132 * * [simplify]: iteration  893 :  3612  enodes  (cost  36 )
6.134 * * [simplify]: iteration  894 :  3616  enodes  (cost  36 )
6.136 * * [simplify]: iteration  895 :  3620  enodes  (cost  36 )
6.138 * * [simplify]: iteration  896 :  3624  enodes  (cost  36 )
6.140 * * [simplify]: iteration  897 :  3628  enodes  (cost  36 )
6.142 * * [simplify]: iteration  898 :  3632  enodes  (cost  36 )
6.144 * * [simplify]: iteration  899 :  3636  enodes  (cost  36 )
6.146 * * [simplify]: iteration  900 :  3640  enodes  (cost  36 )
6.148 * * [simplify]: iteration  901 :  3644  enodes  (cost  36 )
6.150 * * [simplify]: iteration  902 :  3648  enodes  (cost  36 )
6.152 * * [simplify]: iteration  903 :  3652  enodes  (cost  36 )
6.153 * * [simplify]: iteration  904 :  3656  enodes  (cost  36 )
6.155 * * [simplify]: iteration  905 :  3660  enodes  (cost  36 )
6.157 * * [simplify]: iteration  906 :  3664  enodes  (cost  36 )
6.159 * * [simplify]: iteration  907 :  3668  enodes  (cost  36 )
6.161 * * [simplify]: iteration  908 :  3672  enodes  (cost  36 )
6.163 * * [simplify]: iteration  909 :  3676  enodes  (cost  36 )
6.165 * * [simplify]: iteration  910 :  3680  enodes  (cost  36 )
6.167 * * [simplify]: iteration  911 :  3684  enodes  (cost  36 )
6.169 * * [simplify]: iteration  912 :  3688  enodes  (cost  36 )
6.171 * * [simplify]: iteration  913 :  3692  enodes  (cost  36 )
6.172 * * [simplify]: iteration  914 :  3696  enodes  (cost  36 )
6.178 * * [simplify]: iteration  915 :  3700  enodes  (cost  36 )
6.180 * * [simplify]: iteration  916 :  3704  enodes  (cost  36 )
6.182 * * [simplify]: iteration  917 :  3708  enodes  (cost  36 )
6.184 * * [simplify]: iteration  918 :  3712  enodes  (cost  36 )
6.186 * * [simplify]: iteration  919 :  3716  enodes  (cost  36 )
6.188 * * [simplify]: iteration  920 :  3720  enodes  (cost  36 )
6.190 * * [simplify]: iteration  921 :  3724  enodes  (cost  36 )
6.192 * * [simplify]: iteration  922 :  3728  enodes  (cost  36 )
6.194 * * [simplify]: iteration  923 :  3732  enodes  (cost  36 )
6.196 * * [simplify]: iteration  924 :  3736  enodes  (cost  36 )
6.198 * * [simplify]: iteration  925 :  3740  enodes  (cost  36 )
6.199 * * [simplify]: iteration  926 :  3744  enodes  (cost  36 )
6.201 * * [simplify]: iteration  927 :  3748  enodes  (cost  36 )
6.203 * * [simplify]: iteration  928 :  3752  enodes  (cost  36 )
6.205 * * [simplify]: iteration  929 :  3756  enodes  (cost  36 )
6.207 * * [simplify]: iteration  930 :  3760  enodes  (cost  36 )
6.209 * * [simplify]: iteration  931 :  3764  enodes  (cost  36 )
6.211 * * [simplify]: iteration  932 :  3768  enodes  (cost  36 )
6.213 * * [simplify]: iteration  933 :  3772  enodes  (cost  36 )
6.215 * * [simplify]: iteration  934 :  3776  enodes  (cost  36 )
6.217 * * [simplify]: iteration  935 :  3780  enodes  (cost  36 )
6.219 * * [simplify]: iteration  936 :  3784  enodes  (cost  36 )
6.220 * * [simplify]: iteration  937 :  3788  enodes  (cost  36 )
6.222 * * [simplify]: iteration  938 :  3792  enodes  (cost  36 )
6.224 * * [simplify]: iteration  939 :  3796  enodes  (cost  36 )
6.230 * * [simplify]: iteration  940 :  3800  enodes  (cost  36 )
6.232 * * [simplify]: iteration  941 :  3804  enodes  (cost  36 )
6.234 * * [simplify]: iteration  942 :  3808  enodes  (cost  36 )
6.236 * * [simplify]: iteration  943 :  3812  enodes  (cost  36 )
6.237 * * [simplify]: iteration  944 :  3816  enodes  (cost  36 )
6.239 * * [simplify]: iteration  945 :  3820  enodes  (cost  36 )
6.241 * * [simplify]: iteration  946 :  3824  enodes  (cost  36 )
6.243 * * [simplify]: iteration  947 :  3828  enodes  (cost  36 )
6.245 * * [simplify]: iteration  948 :  3832  enodes  (cost  36 )
6.247 * * [simplify]: iteration  949 :  3836  enodes  (cost  36 )
6.249 * * [simplify]: iteration  950 :  3840  enodes  (cost  36 )
6.251 * * [simplify]: iteration  951 :  3844  enodes  (cost  36 )
6.253 * * [simplify]: iteration  952 :  3848  enodes  (cost  36 )
6.255 * * [simplify]: iteration  953 :  3852  enodes  (cost  36 )
6.257 * * [simplify]: iteration  954 :  3856  enodes  (cost  36 )
6.258 * * [simplify]: iteration  955 :  3860  enodes  (cost  36 )
6.260 * * [simplify]: iteration  956 :  3864  enodes  (cost  36 )
6.262 * * [simplify]: iteration  957 :  3868  enodes  (cost  36 )
6.264 * * [simplify]: iteration  958 :  3872  enodes  (cost  36 )
6.266 * * [simplify]: iteration  959 :  3876  enodes  (cost  36 )
6.268 * * [simplify]: iteration  960 :  3880  enodes  (cost  36 )
6.270 * * [simplify]: iteration  961 :  3884  enodes  (cost  36 )
6.272 * * [simplify]: iteration  962 :  3888  enodes  (cost  36 )
6.274 * * [simplify]: iteration  963 :  3892  enodes  (cost  36 )
6.276 * * [simplify]: iteration  964 :  3896  enodes  (cost  36 )
6.277 * * [simplify]: iteration  965 :  3900  enodes  (cost  36 )
6.283 * * [simplify]: iteration  966 :  3904  enodes  (cost  36 )
6.285 * * [simplify]: iteration  967 :  3908  enodes  (cost  36 )
6.287 * * [simplify]: iteration  968 :  3912  enodes  (cost  36 )
6.289 * * [simplify]: iteration  969 :  3916  enodes  (cost  36 )
6.291 * * [simplify]: iteration  970 :  3920  enodes  (cost  36 )
6.293 * * [simplify]: iteration  971 :  3924  enodes  (cost  36 )
6.295 * * [simplify]: iteration  972 :  3928  enodes  (cost  36 )
6.297 * * [simplify]: iteration  973 :  3932  enodes  (cost  36 )
6.299 * * [simplify]: iteration  974 :  3936  enodes  (cost  36 )
6.300 * * [simplify]: iteration  975 :  3940  enodes  (cost  36 )
6.302 * * [simplify]: iteration  976 :  3944  enodes  (cost  36 )
6.305 * * [simplify]: iteration  977 :  3948  enodes  (cost  36 )
6.307 * * [simplify]: iteration  978 :  3952  enodes  (cost  36 )
6.309 * * [simplify]: iteration  979 :  3956  enodes  (cost  36 )
6.311 * * [simplify]: iteration  980 :  3960  enodes  (cost  36 )
6.312 * * [simplify]: iteration  981 :  3964  enodes  (cost  36 )
6.314 * * [simplify]: iteration  982 :  3968  enodes  (cost  36 )
6.316 * * [simplify]: iteration  983 :  3972  enodes  (cost  36 )
6.318 * * [simplify]: iteration  984 :  3976  enodes  (cost  36 )
6.320 * * [simplify]: iteration  985 :  3980  enodes  (cost  36 )
6.322 * * [simplify]: iteration  986 :  3984  enodes  (cost  36 )
6.324 * * [simplify]: iteration  987 :  3988  enodes  (cost  36 )
6.326 * * [simplify]: iteration  988 :  3992  enodes  (cost  36 )
6.328 * * [simplify]: iteration  989 :  3996  enodes  (cost  36 )
6.330 * * [simplify]: iteration  990 :  4000  enodes  (cost  36 )
6.336 * * [simplify]: iteration  991 :  4004  enodes  (cost  36 )
6.338 * * [simplify]: iteration  992 :  4008  enodes  (cost  36 )
6.340 * * [simplify]: iteration  993 :  4012  enodes  (cost  36 )
6.342 * * [simplify]: iteration  994 :  4016  enodes  (cost  36 )
6.344 * * [simplify]: iteration  995 :  4020  enodes  (cost  36 )
6.346 * * [simplify]: iteration  996 :  4024  enodes  (cost  36 )
6.348 * * [simplify]: iteration  997 :  4028  enodes  (cost  36 )
6.350 * * [simplify]: iteration  998 :  4032  enodes  (cost  36 )
6.351 * * [simplify]: iteration  999 :  4036  enodes  (cost  36 )
6.353 * * [simplify]: iteration  1000 :  4040  enodes  (cost  36 )
6.355 * * [simplify]: iteration  1001 :  4044  enodes  (cost  36 )
6.357 * * [simplify]: iteration  1002 :  4048  enodes  (cost  36 )
6.359 * * [simplify]: iteration  1003 :  4052  enodes  (cost  36 )
6.361 * * [simplify]: iteration  1004 :  4056  enodes  (cost  36 )
6.363 * * [simplify]: iteration  1005 :  4060  enodes  (cost  36 )
6.365 * * [simplify]: iteration  1006 :  4064  enodes  (cost  36 )
6.367 * * [simplify]: iteration  1007 :  4068  enodes  (cost  36 )
6.369 * * [simplify]: iteration  1008 :  4072  enodes  (cost  36 )
6.370 * * [simplify]: iteration  1009 :  4076  enodes  (cost  36 )
6.372 * * [simplify]: iteration  1010 :  4080  enodes  (cost  36 )
6.374 * * [simplify]: iteration  1011 :  4084  enodes  (cost  36 )
6.376 * * [simplify]: iteration  1012 :  4088  enodes  (cost  36 )
6.378 * * [simplify]: iteration  1013 :  4092  enodes  (cost  36 )
6.380 * * [simplify]: iteration  1014 :  4096  enodes  (cost  36 )
6.382 * * [simplify]: iteration  1015 :  4100  enodes  (cost  36 )
6.384 * * [simplify]: iteration  1016 :  4104  enodes  (cost  36 )
6.390 * * [simplify]: iteration  1017 :  4108  enodes  (cost  36 )
6.392 * * [simplify]: iteration  1018 :  4112  enodes  (cost  36 )
6.394 * * [simplify]: iteration  1019 :  4116  enodes  (cost  36 )
6.396 * * [simplify]: iteration  1020 :  4120  enodes  (cost  36 )
6.398 * * [simplify]: iteration  1021 :  4124  enodes  (cost  36 )
6.399 * * [simplify]: iteration  1022 :  4128  enodes  (cost  36 )
6.401 * * [simplify]: iteration  1023 :  4132  enodes  (cost  36 )
6.403 * * [simplify]: iteration  1024 :  4136  enodes  (cost  36 )
6.405 * * [simplify]: iteration  1025 :  4140  enodes  (cost  36 )
6.407 * * [simplify]: iteration  1026 :  4144  enodes  (cost  36 )
6.409 * * [simplify]: iteration  1027 :  4148  enodes  (cost  36 )
6.411 * * [simplify]: iteration  1028 :  4152  enodes  (cost  36 )
6.413 * * [simplify]: iteration  1029 :  4156  enodes  (cost  36 )
6.415 * * [simplify]: iteration  1030 :  4160  enodes  (cost  36 )
6.417 * * [simplify]: iteration  1031 :  4164  enodes  (cost  36 )
6.419 * * [simplify]: iteration  1032 :  4168  enodes  (cost  36 )
6.421 * * [simplify]: iteration  1033 :  4172  enodes  (cost  36 )
6.423 * * [simplify]: iteration  1034 :  4176  enodes  (cost  36 )
6.425 * * [simplify]: iteration  1035 :  4180  enodes  (cost  36 )
6.427 * * [simplify]: iteration  1036 :  4184  enodes  (cost  36 )
6.428 * * [simplify]: iteration  1037 :  4188  enodes  (cost  36 )
6.430 * * [simplify]: iteration  1038 :  4192  enodes  (cost  36 )
6.432 * * [simplify]: iteration  1039 :  4196  enodes  (cost  36 )
6.434 * * [simplify]: iteration  1040 :  4200  enodes  (cost  36 )
6.436 * * [simplify]: iteration  1041 :  4204  enodes  (cost  36 )
6.442 * * [simplify]: iteration  1042 :  4208  enodes  (cost  36 )
6.444 * * [simplify]: iteration  1043 :  4212  enodes  (cost  36 )
6.446 * * [simplify]: iteration  1044 :  4216  enodes  (cost  36 )
6.448 * * [simplify]: iteration  1045 :  4220  enodes  (cost  36 )
6.450 * * [simplify]: iteration  1046 :  4224  enodes  (cost  36 )
6.452 * * [simplify]: iteration  1047 :  4228  enodes  (cost  36 )
6.454 * * [simplify]: iteration  1048 :  4232  enodes  (cost  36 )
6.456 * * [simplify]: iteration  1049 :  4236  enodes  (cost  36 )
6.458 * * [simplify]: iteration  1050 :  4240  enodes  (cost  36 )
6.460 * * [simplify]: iteration  1051 :  4244  enodes  (cost  36 )
6.462 * * [simplify]: iteration  1052 :  4248  enodes  (cost  36 )
6.464 * * [simplify]: iteration  1053 :  4252  enodes  (cost  36 )
6.465 * * [simplify]: iteration  1054 :  4256  enodes  (cost  36 )
6.467 * * [simplify]: iteration  1055 :  4260  enodes  (cost  36 )
6.469 * * [simplify]: iteration  1056 :  4264  enodes  (cost  36 )
6.471 * * [simplify]: iteration  1057 :  4268  enodes  (cost  36 )
6.473 * * [simplify]: iteration  1058 :  4272  enodes  (cost  36 )
6.475 * * [simplify]: iteration  1059 :  4276  enodes  (cost  36 )
6.477 * * [simplify]: iteration  1060 :  4280  enodes  (cost  36 )
6.479 * * [simplify]: iteration  1061 :  4284  enodes  (cost  36 )
6.481 * * [simplify]: iteration  1062 :  4288  enodes  (cost  36 )
6.482 * * [simplify]: iteration  1063 :  4292  enodes  (cost  36 )
6.484 * * [simplify]: iteration  1064 :  4296  enodes  (cost  36 )
6.486 * * [simplify]: iteration  1065 :  4300  enodes  (cost  36 )
6.488 * * [simplify]: iteration  1066 :  4304  enodes  (cost  36 )
6.490 * * [simplify]: iteration  1067 :  4308  enodes  (cost  36 )
6.496 * * [simplify]: iteration  1068 :  4312  enodes  (cost  36 )
6.498 * * [simplify]: iteration  1069 :  4316  enodes  (cost  36 )
6.500 * * [simplify]: iteration  1070 :  4320  enodes  (cost  36 )
6.502 * * [simplify]: iteration  1071 :  4324  enodes  (cost  36 )
6.504 * * [simplify]: iteration  1072 :  4328  enodes  (cost  36 )
6.506 * * [simplify]: iteration  1073 :  4332  enodes  (cost  36 )
6.508 * * [simplify]: iteration  1074 :  4336  enodes  (cost  36 )
6.510 * * [simplify]: iteration  1075 :  4340  enodes  (cost  36 )
6.512 * * [simplify]: iteration  1076 :  4344  enodes  (cost  36 )
6.514 * * [simplify]: iteration  1077 :  4348  enodes  (cost  36 )
6.516 * * [simplify]: iteration  1078 :  4352  enodes  (cost  36 )
6.518 * * [simplify]: iteration  1079 :  4356  enodes  (cost  36 )
6.519 * * [simplify]: iteration  1080 :  4360  enodes  (cost  36 )
6.521 * * [simplify]: iteration  1081 :  4364  enodes  (cost  36 )
6.523 * * [simplify]: iteration  1082 :  4368  enodes  (cost  36 )
6.525 * * [simplify]: iteration  1083 :  4372  enodes  (cost  36 )
6.527 * * [simplify]: iteration  1084 :  4376  enodes  (cost  36 )
6.529 * * [simplify]: iteration  1085 :  4380  enodes  (cost  36 )
6.531 * * [simplify]: iteration  1086 :  4384  enodes  (cost  36 )
6.533 * * [simplify]: iteration  1087 :  4388  enodes  (cost  36 )
6.535 * * [simplify]: iteration  1088 :  4392  enodes  (cost  36 )
6.537 * * [simplify]: iteration  1089 :  4396  enodes  (cost  36 )
6.539 * * [simplify]: iteration  1090 :  4400  enodes  (cost  36 )
6.541 * * [simplify]: iteration  1091 :  4404  enodes  (cost  36 )
6.543 * * [simplify]: iteration  1092 :  4408  enodes  (cost  36 )
6.548 * * [simplify]: iteration  1093 :  4412  enodes  (cost  36 )
6.550 * * [simplify]: iteration  1094 :  4416  enodes  (cost  36 )
6.553 * * [simplify]: iteration  1095 :  4420  enodes  (cost  36 )
6.554 * * [simplify]: iteration  1096 :  4424  enodes  (cost  36 )
6.556 * * [simplify]: iteration  1097 :  4428  enodes  (cost  36 )
6.558 * * [simplify]: iteration  1098 :  4432  enodes  (cost  36 )
6.560 * * [simplify]: iteration  1099 :  4436  enodes  (cost  36 )
6.562 * * [simplify]: iteration  1100 :  4440  enodes  (cost  36 )
6.564 * * [simplify]: iteration  1101 :  4444  enodes  (cost  36 )
6.566 * * [simplify]: iteration  1102 :  4448  enodes  (cost  36 )
6.568 * * [simplify]: iteration  1103 :  4452  enodes  (cost  36 )
6.570 * * [simplify]: iteration  1104 :  4456  enodes  (cost  36 )
6.572 * * [simplify]: iteration  1105 :  4460  enodes  (cost  36 )
6.574 * * [simplify]: iteration  1106 :  4464  enodes  (cost  36 )
6.575 * * [simplify]: iteration  1107 :  4468  enodes  (cost  36 )
6.577 * * [simplify]: iteration  1108 :  4472  enodes  (cost  36 )
6.579 * * [simplify]: iteration  1109 :  4476  enodes  (cost  36 )
6.581 * * [simplify]: iteration  1110 :  4480  enodes  (cost  36 )
6.583 * * [simplify]: iteration  1111 :  4484  enodes  (cost  36 )
6.585 * * [simplify]: iteration  1112 :  4488  enodes  (cost  36 )
6.587 * * [simplify]: iteration  1113 :  4492  enodes  (cost  36 )
6.589 * * [simplify]: iteration  1114 :  4496  enodes  (cost  36 )
6.591 * * [simplify]: iteration  1115 :  4500  enodes  (cost  36 )
6.593 * * [simplify]: iteration  1116 :  4504  enodes  (cost  36 )
6.595 * * [simplify]: iteration  1117 :  4508  enodes  (cost  36 )
6.600 * * [simplify]: iteration  1118 :  4512  enodes  (cost  36 )
6.602 * * [simplify]: iteration  1119 :  4516  enodes  (cost  36 )
6.604 * * [simplify]: iteration  1120 :  4520  enodes  (cost  36 )
6.606 * * [simplify]: iteration  1121 :  4524  enodes  (cost  36 )
6.608 * * [simplify]: iteration  1122 :  4528  enodes  (cost  36 )
6.610 * * [simplify]: iteration  1123 :  4532  enodes  (cost  36 )
6.612 * * [simplify]: iteration  1124 :  4536  enodes  (cost  36 )
6.614 * * [simplify]: iteration  1125 :  4540  enodes  (cost  36 )
6.616 * * [simplify]: iteration  1126 :  4544  enodes  (cost  36 )
6.618 * * [simplify]: iteration  1127 :  4548  enodes  (cost  36 )
6.620 * * [simplify]: iteration  1128 :  4552  enodes  (cost  36 )
6.622 * * [simplify]: iteration  1129 :  4556  enodes  (cost  36 )
6.624 * * [simplify]: iteration  1130 :  4560  enodes  (cost  36 )
6.625 * * [simplify]: iteration  1131 :  4564  enodes  (cost  36 )
6.627 * * [simplify]: iteration  1132 :  4568  enodes  (cost  36 )
6.629 * * [simplify]: iteration  1133 :  4572  enodes  (cost  36 )
6.631 * * [simplify]: iteration  1134 :  4576  enodes  (cost  36 )
6.633 * * [simplify]: iteration  1135 :  4580  enodes  (cost  36 )
6.635 * * [simplify]: iteration  1136 :  4584  enodes  (cost  36 )
6.637 * * [simplify]: iteration  1137 :  4588  enodes  (cost  36 )
6.639 * * [simplify]: iteration  1138 :  4592  enodes  (cost  36 )
6.641 * * [simplify]: iteration  1139 :  4596  enodes  (cost  36 )
6.643 * * [simplify]: iteration  1140 :  4600  enodes  (cost  36 )
6.644 * * [simplify]: iteration  1141 :  4604  enodes  (cost  36 )
6.646 * * [simplify]: iteration  1142 :  4608  enodes  (cost  36 )
6.652 * * [simplify]: iteration  1143 :  4612  enodes  (cost  36 )
6.654 * * [simplify]: iteration  1144 :  4616  enodes  (cost  36 )
6.656 * * [simplify]: iteration  1145 :  4620  enodes  (cost  36 )
6.658 * * [simplify]: iteration  1146 :  4624  enodes  (cost  36 )
6.660 * * [simplify]: iteration  1147 :  4628  enodes  (cost  36 )
6.662 * * [simplify]: iteration  1148 :  4632  enodes  (cost  36 )
6.664 * * [simplify]: iteration  1149 :  4636  enodes  (cost  36 )
6.666 * * [simplify]: iteration  1150 :  4640  enodes  (cost  36 )
6.668 * * [simplify]: iteration  1151 :  4644  enodes  (cost  36 )
6.670 * * [simplify]: iteration  1152 :  4648  enodes  (cost  36 )
6.671 * * [simplify]: iteration  1153 :  4652  enodes  (cost  36 )
6.673 * * [simplify]: iteration  1154 :  4656  enodes  (cost  36 )
6.675 * * [simplify]: iteration  1155 :  4660  enodes  (cost  36 )
6.677 * * [simplify]: iteration  1156 :  4664  enodes  (cost  36 )
6.679 * * [simplify]: iteration  1157 :  4668  enodes  (cost  36 )
6.681 * * [simplify]: iteration  1158 :  4672  enodes  (cost  36 )
6.683 * * [simplify]: iteration  1159 :  4676  enodes  (cost  36 )
6.685 * * [simplify]: iteration  1160 :  4680  enodes  (cost  36 )
6.687 * * [simplify]: iteration  1161 :  4684  enodes  (cost  36 )
6.689 * * [simplify]: iteration  1162 :  4688  enodes  (cost  36 )
6.691 * * [simplify]: iteration  1163 :  4692  enodes  (cost  36 )
6.693 * * [simplify]: iteration  1164 :  4696  enodes  (cost  36 )
6.694 * * [simplify]: iteration  1165 :  4700  enodes  (cost  36 )
6.696 * * [simplify]: iteration  1166 :  4704  enodes  (cost  36 )
6.698 * * [simplify]: iteration  1167 :  4708  enodes  (cost  36 )
6.700 * * [simplify]: iteration  1168 :  4712  enodes  (cost  36 )
6.706 * * [simplify]: iteration  1169 :  4716  enodes  (cost  36 )
6.708 * * [simplify]: iteration  1170 :  4720  enodes  (cost  36 )
6.710 * * [simplify]: iteration  1171 :  4724  enodes  (cost  36 )
6.712 * * [simplify]: iteration  1172 :  4728  enodes  (cost  36 )
6.714 * * [simplify]: iteration  1173 :  4732  enodes  (cost  36 )
6.716 * * [simplify]: iteration  1174 :  4736  enodes  (cost  36 )
6.718 * * [simplify]: iteration  1175 :  4740  enodes  (cost  36 )
6.719 * * [simplify]: iteration  1176 :  4744  enodes  (cost  36 )
6.721 * * [simplify]: iteration  1177 :  4748  enodes  (cost  36 )
6.723 * * [simplify]: iteration  1178 :  4752  enodes  (cost  36 )
6.725 * * [simplify]: iteration  1179 :  4756  enodes  (cost  36 )
6.727 * * [simplify]: iteration  1180 :  4760  enodes  (cost  36 )
6.729 * * [simplify]: iteration  1181 :  4764  enodes  (cost  36 )
6.731 * * [simplify]: iteration  1182 :  4768  enodes  (cost  36 )
6.733 * * [simplify]: iteration  1183 :  4772  enodes  (cost  36 )
6.735 * * [simplify]: iteration  1184 :  4776  enodes  (cost  36 )
6.737 * * [simplify]: iteration  1185 :  4780  enodes  (cost  36 )
6.739 * * [simplify]: iteration  1186 :  4784  enodes  (cost  36 )
6.741 * * [simplify]: iteration  1187 :  4788  enodes  (cost  36 )
6.743 * * [simplify]: iteration  1188 :  4792  enodes  (cost  36 )
6.744 * * [simplify]: iteration  1189 :  4796  enodes  (cost  36 )
6.746 * * [simplify]: iteration  1190 :  4800  enodes  (cost  36 )
6.748 * * [simplify]: iteration  1191 :  4804  enodes  (cost  36 )
6.750 * * [simplify]: iteration  1192 :  4808  enodes  (cost  36 )
6.752 * * [simplify]: iteration  1193 :  4812  enodes  (cost  36 )
6.758 * * [simplify]: iteration  1194 :  4816  enodes  (cost  36 )
6.760 * * [simplify]: iteration  1195 :  4820  enodes  (cost  36 )
6.762 * * [simplify]: iteration  1196 :  4824  enodes  (cost  36 )
6.764 * * [simplify]: iteration  1197 :  4828  enodes  (cost  36 )
6.765 * * [simplify]: iteration  1198 :  4832  enodes  (cost  36 )
6.767 * * [simplify]: iteration  1199 :  4836  enodes  (cost  36 )
6.769 * * [simplify]: iteration  1200 :  4840  enodes  (cost  36 )
6.771 * * [simplify]: iteration  1201 :  4844  enodes  (cost  36 )
6.773 * * [simplify]: iteration  1202 :  4848  enodes  (cost  36 )
6.775 * * [simplify]: iteration  1203 :  4852  enodes  (cost  36 )
6.777 * * [simplify]: iteration  1204 :  4856  enodes  (cost  36 )
6.779 * * [simplify]: iteration  1205 :  4860  enodes  (cost  36 )
6.781 * * [simplify]: iteration  1206 :  4864  enodes  (cost  36 )
6.783 * * [simplify]: iteration  1207 :  4868  enodes  (cost  36 )
6.785 * * [simplify]: iteration  1208 :  4872  enodes  (cost  36 )
6.787 * * [simplify]: iteration  1209 :  4876  enodes  (cost  36 )
6.789 * * [simplify]: iteration  1210 :  4880  enodes  (cost  36 )
6.791 * * [simplify]: iteration  1211 :  4884  enodes  (cost  36 )
6.793 * * [simplify]: iteration  1212 :  4888  enodes  (cost  36 )
6.795 * * [simplify]: iteration  1213 :  4892  enodes  (cost  36 )
6.797 * * [simplify]: iteration  1214 :  4896  enodes  (cost  36 )
6.798 * * [simplify]: iteration  1215 :  4900  enodes  (cost  36 )
6.800 * * [simplify]: iteration  1216 :  4904  enodes  (cost  36 )
6.802 * * [simplify]: iteration  1217 :  4908  enodes  (cost  36 )
6.804 * * [simplify]: iteration  1218 :  4912  enodes  (cost  36 )
6.806 * * [simplify]: iteration  1219 :  4916  enodes  (cost  36 )
6.812 * * [simplify]: iteration  1220 :  4920  enodes  (cost  36 )
6.814 * * [simplify]: iteration  1221 :  4924  enodes  (cost  36 )
6.816 * * [simplify]: iteration  1222 :  4928  enodes  (cost  36 )
6.818 * * [simplify]: iteration  1223 :  4932  enodes  (cost  36 )
6.820 * * [simplify]: iteration  1224 :  4936  enodes  (cost  36 )
6.821 * * [simplify]: iteration  1225 :  4940  enodes  (cost  36 )
6.823 * * [simplify]: iteration  1226 :  4944  enodes  (cost  36 )
6.825 * * [simplify]: iteration  1227 :  4948  enodes  (cost  36 )
6.827 * * [simplify]: iteration  1228 :  4952  enodes  (cost  36 )
6.829 * * [simplify]: iteration  1229 :  4956  enodes  (cost  36 )
6.831 * * [simplify]: iteration  1230 :  4960  enodes  (cost  36 )
6.833 * * [simplify]: iteration  1231 :  4964  enodes  (cost  36 )
6.835 * * [simplify]: iteration  1232 :  4968  enodes  (cost  36 )
6.837 * * [simplify]: iteration  1233 :  4972  enodes  (cost  36 )
6.839 * * [simplify]: iteration  1234 :  4976  enodes  (cost  36 )
6.841 * * [simplify]: iteration  1235 :  4980  enodes  (cost  36 )
6.843 * * [simplify]: iteration  1236 :  4984  enodes  (cost  36 )
6.845 * * [simplify]: iteration  1237 :  4988  enodes  (cost  36 )
6.847 * * [simplify]: iteration  1238 :  4992  enodes  (cost  36 )
6.849 * * [simplify]: iteration  1239 :  4996  enodes  (cost  36 )
6.850 * * [simplify]: iteration  done :  5000  enodes  (cost  36 )
6.850 * [simplify]: Simplified to:
   (if (or (<= (* x y) -inf.0) (not (or (<= (* x y) -3.2070069155690644e-212) (and (not (<= (* x y) 9.87687915491415e-181)) (<= (* x y) 4.0986376764820074e+175))))) (/ x (/ z y)) (/ (* x y) z))
8.702 * [regime-testing]: End program error score: 0.4665272443646996
8.791 * [regime-testing]: Target error score: 6.3362326831807