522.447 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x y) y)
0.022 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.022 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.023 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.025 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
0.025 * [simplify]: Simplified to:
   (* (* x y) y)
0.025 * * [progress]: iteration 1 / 4
0.025 * * * [progress]: picking best candidate
0.027 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x y) y))>
0.027 * * * [progress]: localizing error
0.031 * * * [progress]: generating rewritten candidates
0.031 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.037 * * * [progress]: generating series expansions
0.037 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.037 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
0.037 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.037 * [taylor]: Taking taylor expansion of x in y
0.037 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.037 * [taylor]: Taking taylor expansion of y in y
0.037 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.037 * [taylor]: Taking taylor expansion of y in y
0.038 * [taylor]: Taking taylor expansion of 0 in y
0.038 * [taylor]: Taking taylor expansion of 0 in y
0.038 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.038 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.038 * [taylor]: Taking taylor expansion of x in y
0.038 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.038 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.038 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.039 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of 0 in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.041 * [taylor]: Taking taylor expansion of 0 in y
0.041 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
0.041 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
0.041 * [taylor]: Taking taylor expansion of -1 in y
0.041 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.041 * [taylor]: Taking taylor expansion of x in y
0.041 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.041 * [taylor]: Taking taylor expansion of -1 in x
0.041 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.041 * [taylor]: Taking taylor expansion of -1 in x
0.041 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.042 * [taylor]: Taking taylor expansion of x in x
0.042 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.042 * [taylor]: Taking taylor expansion of y in x
0.042 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
0.042 * [taylor]: Taking taylor expansion of -1 in y
0.042 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.042 * [taylor]: Taking taylor expansion of y in y
0.042 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.044 * [taylor]: Taking taylor expansion of 0 in y
0.044 * * * [progress]: simplifying candidates
0.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
0.045 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.046 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.047 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.048 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
0.049 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.049 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.050 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.052 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
0.052 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.053 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
0.054 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
0.055 * * [simplify]: iteration  3 :  14  enodes  (cost  7 )
0.062 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
0.062 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.063 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.064 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
0.066 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
0.068 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
0.070 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
0.071 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.071 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
0.073 * * [simplify]: iteration  2 :  19  enodes  (cost  6 )
0.075 * * [simplify]: iteration  3 :  23  enodes  (cost  6 )
0.078 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
0.080 * * [simplify]: iteration  5 :  26  enodes  (cost  6 )
0.083 * * [simplify]: iteration  done :  26  enodes  (cost  6 )
0.083 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.084 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.086 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
0.088 * * [simplify]: iteration  3 :  40  enodes  (cost  6 )
0.094 * * [simplify]: iteration  4 :  84  enodes  (cost  6 )
0.108 * * [simplify]: iteration  5 :  194  enodes  (cost  6 )
0.193 * * [simplify]: iteration  6 :  475  enodes  (cost  6 )
0.510 * * [simplify]: iteration  7 :  1303  enodes  (cost  6 )
2.165 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
2.166 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
2.167 * * [simplify]: iteration  1 :  20  enodes  (cost  17 )
2.171 * * [simplify]: iteration  2 :  77  enodes  (cost  11 )
2.199 * * [simplify]: iteration  3 :  219  enodes  (cost  7 )
2.335 * * [simplify]: iteration  4 :  454  enodes  (cost  7 )
2.831 * * [simplify]: iteration  5 :  1201  enodes  (cost  7 )
5.400 * * [simplify]: iteration  6 :  4018  enodes  (cost  7 )
7.601 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
7.602 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
7.604 * * [simplify]: iteration  1 :  24  enodes  (cost  17 )
7.609 * * [simplify]: iteration  2 :  89  enodes  (cost  9 )
7.654 * * [simplify]: iteration  3 :  270  enodes  (cost  9 )
7.844 * * [simplify]: iteration  4 :  451  enodes  (cost  7 )
8.301 * * [simplify]: iteration  5 :  1025  enodes  (cost  7 )
10.624 * * [simplify]: iteration  6 :  3081  enodes  (cost  7 )
13.056 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
13.057 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
13.057 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
13.059 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
13.060 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
13.061 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
13.061 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.062 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
13.064 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
13.064 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
13.065 * * [simplify]: iteration  1 :  19  enodes  (cost  17 )
13.070 * * [simplify]: iteration  2 :  72  enodes  (cost  7 )
13.106 * * [simplify]: iteration  3 :  211  enodes  (cost  7 )
13.254 * * [simplify]: iteration  4 :  361  enodes  (cost  7 )
13.476 * * [simplify]: iteration  5 :  532  enodes  (cost  7 )
14.040 * * [simplify]: iteration  6 :  1355  enodes  (cost  7 )
17.143 * * [simplify]: iteration  7 :  4489  enodes  (cost  7 )
19.115 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
19.115 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
19.116 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
19.117 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
19.118 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
19.119 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
19.120 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
19.121 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
19.122 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
19.123 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
19.124 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
19.125 * * [simplify]: iteration  2 :  25  enodes  (cost  9 )
19.129 * * [simplify]: iteration  3 :  37  enodes  (cost  9 )
19.139 * * [simplify]: iteration  done :  37  enodes  (cost  9 )
19.140 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
19.140 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
19.142 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
19.144 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
19.144 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
19.145 * * [simplify]: iteration  1 :  11  enodes  (cost  3 )
19.147 * * [simplify]: iteration  2 :  23  enodes  (cost  3 )
19.149 * * [simplify]: iteration  3 :  27  enodes  (cost  3 )
19.150 * * [simplify]: iteration  done :  27  enodes  (cost  3 )
19.150 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
19.151 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
19.151 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
19.152 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
19.153 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
19.155 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
19.158 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
19.160 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
19.164 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
19.173 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
19.221 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
19.668 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
21.939 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
21.939 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
21.940 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
21.942 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
21.944 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
21.946 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
21.954 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
21.959 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
21.968 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
22.016 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
22.464 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
24.737 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
24.738 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
24.739 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
24.740 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
24.742 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
24.744 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
24.747 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
24.751 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
24.761 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
24.810 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
25.263 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
27.550 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
27.550 * [simplify]: Simplified to:
   (* (* x y) y)
  (* (* x y) y)
  (+ (* 2 (log y)) (log x))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (pow x 3) (pow y 6))
  (pow (* x (* y y)) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* (* x y) y) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* x y)
  (* y y)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
27.550 * * * [progress]: adding candidates to table
27.579 * * [progress]: iteration 2 / 4
27.579 * * * [progress]: picking best candidate
27.589 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x y) (* (cbrt y) (cbrt y))) (cbrt y)))>
27.589 * * * [progress]: localizing error
27.597 * * * [progress]: generating rewritten candidates
27.597 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
27.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
27.600 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
27.601 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
27.610 * * * [progress]: generating series expansions
27.611 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
27.611 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
27.611 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.611 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.611 * [taylor]: Taking taylor expansion of 1/3 in y
27.611 * [taylor]: Taking taylor expansion of (log y) in y
27.611 * [taylor]: Taking taylor expansion of y in y
27.611 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.611 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.612 * [taylor]: Taking taylor expansion of 1/3 in y
27.612 * [taylor]: Taking taylor expansion of (log y) in y
27.612 * [taylor]: Taking taylor expansion of y in y
27.625 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
27.625 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.625 * [taylor]: Taking taylor expansion of 1/3 in y
27.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.625 * [taylor]: Taking taylor expansion of y in y
27.625 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.626 * [taylor]: Taking taylor expansion of 1/3 in y
27.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.626 * [taylor]: Taking taylor expansion of y in y
27.633 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
27.633 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.633 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.633 * [taylor]: Taking taylor expansion of 1/3 in y
27.633 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.634 * [taylor]: Taking taylor expansion of y in y
27.634 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.634 * [taylor]: Taking taylor expansion of -1 in y
27.634 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.634 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.634 * [taylor]: Taking taylor expansion of 1/3 in y
27.634 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.634 * [taylor]: Taking taylor expansion of y in y
27.634 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.634 * [taylor]: Taking taylor expansion of -1 in y
27.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
27.643 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
27.643 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.643 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.643 * [taylor]: Taking taylor expansion of 1/3 in y
27.643 * [taylor]: Taking taylor expansion of (log y) in y
27.643 * [taylor]: Taking taylor expansion of y in y
27.644 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.644 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.644 * [taylor]: Taking taylor expansion of 1/3 in y
27.644 * [taylor]: Taking taylor expansion of (log y) in y
27.644 * [taylor]: Taking taylor expansion of y in y
27.650 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
27.651 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.651 * [taylor]: Taking taylor expansion of 1/3 in y
27.651 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.651 * [taylor]: Taking taylor expansion of y in y
27.651 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.651 * [taylor]: Taking taylor expansion of 1/3 in y
27.651 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.651 * [taylor]: Taking taylor expansion of y in y
27.660 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
27.660 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.660 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.660 * [taylor]: Taking taylor expansion of 1/3 in y
27.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.660 * [taylor]: Taking taylor expansion of y in y
27.660 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.660 * [taylor]: Taking taylor expansion of -1 in y
27.660 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.660 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.660 * [taylor]: Taking taylor expansion of 1/3 in y
27.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.660 * [taylor]: Taking taylor expansion of y in y
27.660 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.660 * [taylor]: Taking taylor expansion of -1 in y
27.670 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
27.670 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
27.670 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.670 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.670 * [taylor]: Taking taylor expansion of 1/3 in y
27.670 * [taylor]: Taking taylor expansion of (log y) in y
27.670 * [taylor]: Taking taylor expansion of y in y
27.670 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
27.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
27.670 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
27.670 * [taylor]: Taking taylor expansion of 1/3 in y
27.670 * [taylor]: Taking taylor expansion of (log y) in y
27.670 * [taylor]: Taking taylor expansion of y in y
27.678 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
27.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.678 * [taylor]: Taking taylor expansion of 1/3 in y
27.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.678 * [taylor]: Taking taylor expansion of y in y
27.679 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.679 * [taylor]: Taking taylor expansion of 1/3 in y
27.679 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.679 * [taylor]: Taking taylor expansion of y in y
27.686 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
27.686 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.687 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.687 * [taylor]: Taking taylor expansion of 1/3 in y
27.687 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.687 * [taylor]: Taking taylor expansion of y in y
27.687 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.687 * [taylor]: Taking taylor expansion of -1 in y
27.687 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
27.687 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
27.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
27.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
27.687 * [taylor]: Taking taylor expansion of 1/3 in y
27.687 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
27.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
27.687 * [taylor]: Taking taylor expansion of y in y
27.687 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.687 * [taylor]: Taking taylor expansion of -1 in y
27.696 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
27.697 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0
27.697 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
27.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
27.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
27.697 * [taylor]: Taking taylor expansion of 1/3 in y
27.697 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
27.697 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.697 * [taylor]: Taking taylor expansion of y in y
27.697 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
27.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
27.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
27.697 * [taylor]: Taking taylor expansion of 1/3 in y
27.697 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
27.697 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.697 * [taylor]: Taking taylor expansion of y in y
27.705 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0
27.705 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
27.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
27.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
27.705 * [taylor]: Taking taylor expansion of 1/3 in y
27.705 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
27.705 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
27.705 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.705 * [taylor]: Taking taylor expansion of y in y
27.705 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
27.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
27.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
27.705 * [taylor]: Taking taylor expansion of 1/3 in y
27.705 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
27.705 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
27.705 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.705 * [taylor]: Taking taylor expansion of y in y
27.714 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0
27.714 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
27.714 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
27.714 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.714 * [taylor]: Taking taylor expansion of -1 in y
27.714 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
27.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
27.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
27.714 * [taylor]: Taking taylor expansion of 1/3 in y
27.714 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
27.714 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
27.714 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.714 * [taylor]: Taking taylor expansion of y in y
27.714 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
27.714 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
27.714 * [taylor]: Taking taylor expansion of (cbrt -1) in y
27.714 * [taylor]: Taking taylor expansion of -1 in y
27.714 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
27.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
27.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
27.715 * [taylor]: Taking taylor expansion of 1/3 in y
27.715 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
27.715 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
27.715 * [taylor]: Taking taylor expansion of (pow y 2) in y
27.715 * [taylor]: Taking taylor expansion of y in y
27.731 * * * [progress]: simplifying candidates
27.732 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (+ 1/3 1/3)
  (+ 1 1)
  (* y y)
  (* (cbrt y) (cbrt y))
  (+ 1 1)
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (* (cbrt y) (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 1 1)
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt 1))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) 1)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (* 2 (log y)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y)))))))
27.733 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.733 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.734 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.734 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.735 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
27.735 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
27.736 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.736 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.737 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.737 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.738 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.738 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.738 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
27.739 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
27.739 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
27.739 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
27.740 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
27.740 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
27.741 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
27.741 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
27.741 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
27.742 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
27.743 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
27.743 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
27.744 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
27.745 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
27.746 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
27.748 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
27.751 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
27.759 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
27.806 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
28.265 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
30.648 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
30.649 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.649 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.649 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.650 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.650 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.651 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.651 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.652 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.652 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
30.653 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
30.653 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.653 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.654 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.654 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.655 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.655 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.656 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
30.656 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
30.656 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
30.657 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
30.657 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
30.658 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
30.658 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
30.658 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
30.659 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
30.659 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
30.660 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
30.660 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
30.661 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
30.662 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
30.663 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
30.665 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
30.668 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
30.676 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
30.723 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
31.187 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
33.584 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
33.585 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.585 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.586 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.586 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.586 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.587 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.587 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.588 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.588 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
33.589 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
33.590 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.590 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.591 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.591 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.592 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.592 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.593 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
33.593 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
33.593 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
33.594 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
33.594 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
33.594 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
33.595 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
33.595 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
33.596 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
33.596 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
33.597 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
33.597 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
33.598 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
33.599 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
33.600 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
33.602 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
33.604 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
33.613 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
33.661 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
34.126 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
36.771 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
36.772 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
36.772 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
36.773 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
36.773 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
36.774 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
36.774 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
36.774 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
36.775 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
36.775 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
36.776 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
36.776 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
36.776 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
36.777 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
36.777 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
36.778 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
36.778 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
36.778 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
36.779 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
36.779 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
36.780 * * [simplify]: iteration  2 :  7  enodes  (cost  5 )
36.781 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
36.781 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
36.782 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
36.783 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
36.783 * * [simplify]: iteration  3 :  9  enodes  (cost  5 )
36.784 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
36.785 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
36.786 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
36.786 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
36.788 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
36.790 * * [simplify]: iteration  4 :  33  enodes  (cost  6 )
36.795 * * [simplify]: iteration  5 :  73  enodes  (cost  6 )
36.821 * * [simplify]: iteration  6 :  177  enodes  (cost  6 )
36.920 * * [simplify]: iteration  7 :  560  enodes  (cost  6 )
37.804 * * [simplify]: iteration  8 :  2247  enodes  (cost  6 )
39.980 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
39.980 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
39.981 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
39.981 * * [simplify]: iteration  0 :  5  enodes  (cost  13 )
39.982 * * [simplify]: iteration  done :  5  enodes  (cost  13 )
39.982 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
39.983 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
39.983 * * [simplify]: iteration  0 :  5  enodes  (cost  17 )
39.984 * * [simplify]: iteration  1 :  13  enodes  (cost  17 )
39.987 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
39.996 * * [simplify]: iteration  3 :  34  enodes  (cost  3 )
40.001 * * [simplify]: iteration  4 :  53  enodes  (cost  3 )
40.008 * * [simplify]: iteration  5 :  87  enodes  (cost  3 )
40.020 * * [simplify]: iteration  6 :  151  enodes  (cost  3 )
40.063 * * [simplify]: iteration  7 :  335  enodes  (cost  3 )
40.198 * * [simplify]: iteration  8 :  832  enodes  (cost  3 )
41.336 * * [simplify]: iteration  9 :  3226  enodes  (cost  3 )
43.100 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
43.101 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
43.101 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
43.102 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
43.102 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
43.103 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
43.103 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
43.104 * * [simplify]: iteration  0 :  5  enodes  (cost  13 )
43.104 * * [simplify]: iteration  done :  5  enodes  (cost  13 )
43.105 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
43.105 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
43.106 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
43.106 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
43.107 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
43.107 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
43.108 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
43.108 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
43.109 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
43.109 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
43.110 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
43.110 * * [simplify]: iteration  0 :  5  enodes  (cost  15 )
43.111 * * [simplify]: iteration  1 :  9  enodes  (cost  15 )
43.112 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
43.118 * * [simplify]: iteration  3 :  20  enodes  (cost  5 )
43.120 * * [simplify]: iteration  4 :  35  enodes  (cost  5 )
43.125 * * [simplify]: iteration  5 :  61  enodes  (cost  5 )
43.135 * * [simplify]: iteration  6 :  131  enodes  (cost  5 )
43.182 * * [simplify]: iteration  7 :  348  enodes  (cost  5 )
43.538 * * [simplify]: iteration  8 :  1255  enodes  (cost  5 )
45.143 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
45.144 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.144 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
45.145 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.145 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
45.146 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.146 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
45.147 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
45.148 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
45.148 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
45.148 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
45.149 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
45.149 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.150 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
45.150 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.151 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
45.151 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
45.152 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
45.153 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
45.153 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
45.154 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
45.155 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
45.155 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
45.156 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
45.156 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
45.157 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
45.158 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
45.159 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
45.159 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.160 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
45.160 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
45.161 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
45.161 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
45.161 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
45.162 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
45.162 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
45.163 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
45.163 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
45.164 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
45.164 * * [simplify]: iteration  1 :  6  enodes  (cost  9 )
45.165 * * [simplify]: iteration  done :  6  enodes  (cost  9 )
45.165 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
45.166 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
45.166 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
45.167 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
45.168 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
45.168 * * [simplify]: iteration  done :  8  enodes  (cost  4 )
45.169 * * [simplify]: iteration  0 :  5  enodes  (cost  10 )
45.169 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
45.170 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
45.171 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
45.172 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
45.172 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
45.173 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
45.173 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
45.174 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
45.175 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
45.175 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
45.176 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
45.176 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
45.177 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
45.177 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
45.178 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
45.178 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
45.179 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
45.179 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
45.180 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
45.180 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
45.181 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
45.181 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
45.182 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
45.182 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
45.183 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
45.183 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
45.184 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
45.185 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
45.187 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
45.190 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
45.197 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
45.219 * * [simplify]: iteration  5 :  174  enodes  (cost  2 )
45.273 * * [simplify]: iteration  6 :  360  enodes  (cost  2 )
45.466 * * [simplify]: iteration  7 :  911  enodes  (cost  2 )
46.831 * * [simplify]: iteration  8 :  3082  enodes  (cost  2 )
48.656 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
48.657 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
48.658 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
48.661 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
48.665 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
48.673 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
48.707 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
48.817 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
49.326 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
51.118 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
51.119 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
51.120 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
51.123 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
51.129 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
51.150 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
51.222 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
51.516 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
52.919 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
54.192 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
54.192 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
54.194 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
54.196 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
54.199 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
54.212 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
54.228 * * [simplify]: iteration  5 :  174  enodes  (cost  2 )
54.282 * * [simplify]: iteration  6 :  360  enodes  (cost  2 )
54.474 * * [simplify]: iteration  7 :  911  enodes  (cost  2 )
56.074 * * [simplify]: iteration  8 :  3082  enodes  (cost  2 )
57.894 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
57.895 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
57.896 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
57.899 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
57.904 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
57.912 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
57.946 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
58.059 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
58.571 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
60.362 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
60.362 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
60.364 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
60.367 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
60.373 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
60.394 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
60.466 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
60.755 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
62.163 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
63.445 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
63.446 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
63.447 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
63.449 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
63.452 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
63.466 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
63.483 * * [simplify]: iteration  5 :  174  enodes  (cost  2 )
63.536 * * [simplify]: iteration  6 :  360  enodes  (cost  2 )
63.725 * * [simplify]: iteration  7 :  911  enodes  (cost  2 )
65.086 * * [simplify]: iteration  8 :  3082  enodes  (cost  2 )
66.887 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
66.888 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
66.889 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
66.891 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
66.896 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
66.910 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
66.939 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
67.050 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
67.555 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
69.348 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
69.349 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
69.350 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
69.353 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
69.359 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
69.381 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
69.456 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
69.745 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
71.135 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
72.407 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
72.408 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
72.410 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
72.413 * * [simplify]: iteration  2 :  39  enodes  (cost  5 )
72.424 * * [simplify]: iteration  3 :  79  enodes  (cost  3 )
72.441 * * [simplify]: iteration  4 :  156  enodes  (cost  3 )
72.493 * * [simplify]: iteration  5 :  314  enodes  (cost  3 )
72.677 * * [simplify]: iteration  6 :  887  enodes  (cost  3 )
74.076 * * [simplify]: iteration  7 :  2959  enodes  (cost  3 )
75.466 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
75.467 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
75.468 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
75.471 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
75.481 * * [simplify]: iteration  3 :  131  enodes  (cost  5 )
75.525 * * [simplify]: iteration  4 :  286  enodes  (cost  3 )
75.673 * * [simplify]: iteration  5 :  617  enodes  (cost  3 )
76.592 * * [simplify]: iteration  6 :  1980  enodes  (cost  3 )
77.899 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
77.900 * * [simplify]: iteration  0 :  15  enodes  (cost  17 )
77.902 * * [simplify]: iteration  1 :  31  enodes  (cost  16 )
77.906 * * [simplify]: iteration  2 :  66  enodes  (cost  14 )
77.918 * * [simplify]: iteration  3 :  189  enodes  (cost  11 )
77.978 * * [simplify]: iteration  4 :  548  enodes  (cost  10 )
78.597 * * [simplify]: iteration  5 :  2145  enodes  (cost  10 )
79.829 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
79.829 * [simplify]: Simplified to:
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  2/3
  2
  (* y y)
  (* (cbrt y) (cbrt y))
  2
  (* 2 (log (cbrt y)))
  (* 2 (log (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* y y)
  (fabs (cbrt y))
  (fabs (cbrt y))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  1
  (* (cbrt y) (cbrt y))
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt y)
  (cbrt y)
  1
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (cbrt y)
  (cbrt y)
  2/3
  2
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* 1 (cbrt y))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (cbrt y)
  (pow y 2/3)
  (pow y 2/3)
  (* (cbrt (* y y)) (pow (cbrt -1) 2))
79.830 * * * [progress]: adding candidates to table
79.899 * * [progress]: iteration 3 / 4
79.899 * * * [progress]: picking best candidate
79.917 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x y) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))) (cbrt y)))>
79.917 * * * [progress]: localizing error
79.933 * * * [progress]: generating rewritten candidates
79.933 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
79.938 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
79.942 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
79.947 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
79.949 * * * [progress]: generating series expansions
79.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
79.949 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0
79.949 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
79.949 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
79.949 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
79.949 * [taylor]: Taking taylor expansion of 1/9 in y
79.949 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
79.949 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.949 * [taylor]: Taking taylor expansion of y in y
79.949 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
79.949 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
79.949 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
79.949 * [taylor]: Taking taylor expansion of 1/9 in y
79.949 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
79.949 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.950 * [taylor]: Taking taylor expansion of y in y
79.958 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0
79.958 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
79.958 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
79.958 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
79.958 * [taylor]: Taking taylor expansion of 1/9 in y
79.958 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
79.958 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
79.958 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.958 * [taylor]: Taking taylor expansion of y in y
79.959 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
79.959 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
79.959 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
79.959 * [taylor]: Taking taylor expansion of 1/9 in y
79.959 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
79.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
79.959 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.959 * [taylor]: Taking taylor expansion of y in y
79.967 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0
79.967 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
79.967 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
79.967 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
79.967 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
79.967 * [taylor]: Taking taylor expansion of 1/9 in y
79.967 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
79.967 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
79.967 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.967 * [taylor]: Taking taylor expansion of y in y
79.967 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
79.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
79.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
79.967 * [taylor]: Taking taylor expansion of 1/3 in y
79.967 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
79.967 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
79.967 * [taylor]: Taking taylor expansion of (cbrt -1) in y
79.967 * [taylor]: Taking taylor expansion of -1 in y
79.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
79.968 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
79.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
79.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
79.968 * [taylor]: Taking taylor expansion of 1/9 in y
79.968 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
79.968 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
79.968 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.968 * [taylor]: Taking taylor expansion of y in y
79.968 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
79.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
79.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
79.968 * [taylor]: Taking taylor expansion of 1/3 in y
79.968 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
79.968 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
79.968 * [taylor]: Taking taylor expansion of (cbrt -1) in y
79.968 * [taylor]: Taking taylor expansion of -1 in y
79.991 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
79.992 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0
79.992 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
79.992 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
79.992 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
79.992 * [taylor]: Taking taylor expansion of 1/9 in y
79.992 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
79.992 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.992 * [taylor]: Taking taylor expansion of y in y
79.992 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
79.992 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
79.992 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
79.992 * [taylor]: Taking taylor expansion of 1/9 in y
79.992 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
79.992 * [taylor]: Taking taylor expansion of (pow y 2) in y
79.992 * [taylor]: Taking taylor expansion of y in y
80.000 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0
80.000 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.000 * [taylor]: Taking taylor expansion of 1/9 in y
80.000 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.000 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.000 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.000 * [taylor]: Taking taylor expansion of y in y
80.000 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.000 * [taylor]: Taking taylor expansion of 1/9 in y
80.000 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.000 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.000 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.000 * [taylor]: Taking taylor expansion of y in y
80.008 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0
80.008 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
80.008 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.008 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.008 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.008 * [taylor]: Taking taylor expansion of 1/9 in y
80.008 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.009 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.009 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.009 * [taylor]: Taking taylor expansion of y in y
80.009 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
80.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
80.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
80.009 * [taylor]: Taking taylor expansion of 1/3 in y
80.009 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
80.009 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
80.009 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.009 * [taylor]: Taking taylor expansion of -1 in y
80.009 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
80.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.009 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.010 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.010 * [taylor]: Taking taylor expansion of 1/9 in y
80.010 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.010 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.010 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.010 * [taylor]: Taking taylor expansion of y in y
80.010 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
80.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
80.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
80.010 * [taylor]: Taking taylor expansion of 1/3 in y
80.010 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
80.010 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
80.010 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.010 * [taylor]: Taking taylor expansion of -1 in y
80.037 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
80.037 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0
80.037 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
80.037 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
80.037 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
80.037 * [taylor]: Taking taylor expansion of 1/9 in y
80.037 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
80.037 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.037 * [taylor]: Taking taylor expansion of y in y
80.037 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
80.037 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
80.038 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
80.038 * [taylor]: Taking taylor expansion of 1/9 in y
80.038 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
80.038 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.038 * [taylor]: Taking taylor expansion of y in y
80.045 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0
80.045 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.045 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.045 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.045 * [taylor]: Taking taylor expansion of 1/9 in y
80.045 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.045 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.046 * [taylor]: Taking taylor expansion of y in y
80.046 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.046 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.046 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.046 * [taylor]: Taking taylor expansion of 1/9 in y
80.046 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.046 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.046 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.046 * [taylor]: Taking taylor expansion of y in y
80.054 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0
80.054 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
80.054 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.054 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.054 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.054 * [taylor]: Taking taylor expansion of 1/9 in y
80.054 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.054 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.054 * [taylor]: Taking taylor expansion of y in y
80.055 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
80.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
80.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
80.055 * [taylor]: Taking taylor expansion of 1/3 in y
80.055 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
80.055 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
80.055 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.055 * [taylor]: Taking taylor expansion of -1 in y
80.055 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y
80.055 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
80.055 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
80.055 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
80.055 * [taylor]: Taking taylor expansion of 1/9 in y
80.055 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
80.055 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
80.055 * [taylor]: Taking taylor expansion of (pow y 2) in y
80.055 * [taylor]: Taking taylor expansion of y in y
80.056 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y
80.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y
80.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y
80.056 * [taylor]: Taking taylor expansion of 1/3 in y
80.056 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y
80.056 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
80.056 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.056 * [taylor]: Taking taylor expansion of -1 in y
80.079 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
80.079 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
80.079 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
80.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
80.079 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
80.079 * [taylor]: Taking taylor expansion of 1/3 in y
80.079 * [taylor]: Taking taylor expansion of (log y) in y
80.079 * [taylor]: Taking taylor expansion of y in y
80.079 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
80.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
80.079 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
80.079 * [taylor]: Taking taylor expansion of 1/3 in y
80.079 * [taylor]: Taking taylor expansion of (log y) in y
80.079 * [taylor]: Taking taylor expansion of y in y
80.086 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
80.086 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
80.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
80.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
80.086 * [taylor]: Taking taylor expansion of 1/3 in y
80.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
80.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.086 * [taylor]: Taking taylor expansion of y in y
80.086 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
80.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
80.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
80.086 * [taylor]: Taking taylor expansion of 1/3 in y
80.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
80.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.087 * [taylor]: Taking taylor expansion of y in y
80.094 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
80.094 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
80.094 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
80.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
80.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
80.094 * [taylor]: Taking taylor expansion of 1/3 in y
80.094 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
80.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.094 * [taylor]: Taking taylor expansion of y in y
80.095 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.095 * [taylor]: Taking taylor expansion of -1 in y
80.095 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
80.095 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
80.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
80.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
80.095 * [taylor]: Taking taylor expansion of 1/3 in y
80.095 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
80.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.095 * [taylor]: Taking taylor expansion of y in y
80.095 * [taylor]: Taking taylor expansion of (cbrt -1) in y
80.095 * [taylor]: Taking taylor expansion of -1 in y
80.104 * * * [progress]: simplifying candidates
80.105 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (exp (* 1/9 (+ (* 2 (log y)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 y)))))))
  (exp (* 1/9 (+ (* 2 (log y)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 y)))))))
  (exp (* 1/9 (+ (* 2 (log y)) (log 1))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 y)))))))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
80.106 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
80.106 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
80.107 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
80.107 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
80.108 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
80.108 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
80.109 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
80.109 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
80.110 * * [simplify]: iteration  0 :  6  enodes  (cost  15 )
80.110 * * [simplify]: iteration  done :  6  enodes  (cost  15 )
80.111 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
80.112 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
80.112 * * [simplify]: iteration  0 :  6  enodes  (cost  20 )
80.113 * * [simplify]: iteration  1 :  7  enodes  (cost  20 )
80.114 * * [simplify]: iteration  2 :  9  enodes  (cost  8 )
80.115 * * [simplify]: iteration  3 :  14  enodes  (cost  5 )
80.116 * * [simplify]: iteration  4 :  20  enodes  (cost  5 )
80.122 * * [simplify]: iteration  5 :  30  enodes  (cost  5 )
80.126 * * [simplify]: iteration  6 :  53  enodes  (cost  5 )
80.135 * * [simplify]: iteration  7 :  118  enodes  (cost  5 )
80.183 * * [simplify]: iteration  8 :  324  enodes  (cost  5 )
80.635 * * [simplify]: iteration  9 :  1243  enodes  (cost  5 )
82.997 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
82.998 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
82.999 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
82.999 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
83.000 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
83.000 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
83.001 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
83.001 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
83.002 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
83.002 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
83.003 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
83.003 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
83.003 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
83.004 * * [simplify]: iteration  0 :  6  enodes  (cost  15 )
83.005 * * [simplify]: iteration  done :  6  enodes  (cost  15 )
83.005 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
83.006 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
83.006 * * [simplify]: iteration  0 :  6  enodes  (cost  20 )
83.007 * * [simplify]: iteration  1 :  7  enodes  (cost  20 )
83.008 * * [simplify]: iteration  2 :  9  enodes  (cost  8 )
83.009 * * [simplify]: iteration  3 :  14  enodes  (cost  5 )
83.011 * * [simplify]: iteration  4 :  20  enodes  (cost  5 )
83.013 * * [simplify]: iteration  5 :  30  enodes  (cost  5 )
83.017 * * [simplify]: iteration  6 :  53  enodes  (cost  5 )
83.027 * * [simplify]: iteration  7 :  118  enodes  (cost  5 )
83.073 * * [simplify]: iteration  8 :  324  enodes  (cost  5 )
83.520 * * [simplify]: iteration  9 :  1243  enodes  (cost  5 )
85.875 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
85.876 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
85.877 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
85.877 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
85.878 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
85.878 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
85.879 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
85.879 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
85.880 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
85.880 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
85.880 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
85.881 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
85.881 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
85.882 * * [simplify]: iteration  0 :  6  enodes  (cost  15 )
85.882 * * [simplify]: iteration  done :  6  enodes  (cost  15 )
85.883 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
85.883 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
85.884 * * [simplify]: iteration  0 :  6  enodes  (cost  20 )
85.885 * * [simplify]: iteration  1 :  7  enodes  (cost  20 )
85.886 * * [simplify]: iteration  2 :  9  enodes  (cost  8 )
85.887 * * [simplify]: iteration  3 :  14  enodes  (cost  5 )
85.889 * * [simplify]: iteration  4 :  20  enodes  (cost  5 )
85.891 * * [simplify]: iteration  5 :  30  enodes  (cost  5 )
85.895 * * [simplify]: iteration  6 :  53  enodes  (cost  5 )
85.904 * * [simplify]: iteration  7 :  118  enodes  (cost  5 )
85.953 * * [simplify]: iteration  8 :  324  enodes  (cost  5 )
86.399 * * [simplify]: iteration  9 :  1243  enodes  (cost  5 )
88.772 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
88.773 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
88.774 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
88.774 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
88.775 * * [simplify]: iteration  done :  5  enodes  (cost  7 )
88.775 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.776 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.776 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.776 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.777 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
88.778 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
88.778 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.779 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.779 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.780 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.780 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.780 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.781 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
88.781 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
88.781 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
88.782 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
88.782 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
88.783 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
88.783 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
88.784 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
88.784 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
88.784 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
88.785 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
88.786 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
88.787 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
88.791 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
88.792 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
88.794 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
88.797 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
88.805 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
88.850 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
89.308 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
91.670 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
91.671 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
91.671 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
91.672 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
91.672 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
91.673 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
91.674 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
91.677 * * [simplify]: iteration  2 :  39  enodes  (cost  5 )
91.682 * * [simplify]: iteration  3 :  78  enodes  (cost  3 )
91.699 * * [simplify]: iteration  4 :  155  enodes  (cost  3 )
91.753 * * [simplify]: iteration  5 :  314  enodes  (cost  3 )
91.939 * * [simplify]: iteration  6 :  889  enodes  (cost  3 )
93.138 * * [simplify]: iteration  7 :  2957  enodes  (cost  3 )
94.707 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
94.708 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
94.709 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
94.717 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
94.726 * * [simplify]: iteration  3 :  130  enodes  (cost  5 )
94.767 * * [simplify]: iteration  4 :  285  enodes  (cost  3 )
94.915 * * [simplify]: iteration  5 :  616  enodes  (cost  3 )
95.833 * * [simplify]: iteration  6 :  1979  enodes  (cost  3 )
97.145 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
97.146 * * [simplify]: iteration  0 :  17  enodes  (cost  19 )
97.148 * * [simplify]: iteration  1 :  38  enodes  (cost  17 )
97.154 * * [simplify]: iteration  2 :  75  enodes  (cost  15 )
97.165 * * [simplify]: iteration  3 :  199  enodes  (cost  13 )
97.220 * * [simplify]: iteration  4 :  569  enodes  (cost  11 )
97.839 * * [simplify]: iteration  5 :  2214  enodes  (cost  11 )
99.187 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
99.188 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
99.189 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
99.192 * * [simplify]: iteration  2 :  39  enodes  (cost  5 )
99.198 * * [simplify]: iteration  3 :  78  enodes  (cost  3 )
99.217 * * [simplify]: iteration  4 :  155  enodes  (cost  3 )
99.269 * * [simplify]: iteration  5 :  314  enodes  (cost  3 )
99.450 * * [simplify]: iteration  6 :  889  enodes  (cost  3 )
100.640 * * [simplify]: iteration  7 :  2957  enodes  (cost  3 )
101.987 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
101.987 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
101.989 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
101.992 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
102.001 * * [simplify]: iteration  3 :  130  enodes  (cost  5 )
102.046 * * [simplify]: iteration  4 :  285  enodes  (cost  3 )
102.188 * * [simplify]: iteration  5 :  616  enodes  (cost  3 )
103.095 * * [simplify]: iteration  6 :  1979  enodes  (cost  3 )
104.389 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
104.390 * * [simplify]: iteration  0 :  17  enodes  (cost  19 )
104.392 * * [simplify]: iteration  1 :  38  enodes  (cost  17 )
104.397 * * [simplify]: iteration  2 :  75  enodes  (cost  15 )
104.413 * * [simplify]: iteration  3 :  199  enodes  (cost  13 )
104.467 * * [simplify]: iteration  4 :  569  enodes  (cost  11 )
105.077 * * [simplify]: iteration  5 :  2214  enodes  (cost  11 )
106.432 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
106.433 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
106.434 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
106.440 * * [simplify]: iteration  2 :  39  enodes  (cost  5 )
106.446 * * [simplify]: iteration  3 :  78  enodes  (cost  3 )
106.462 * * [simplify]: iteration  4 :  155  enodes  (cost  3 )
106.513 * * [simplify]: iteration  5 :  314  enodes  (cost  3 )
106.697 * * [simplify]: iteration  6 :  889  enodes  (cost  3 )
107.901 * * [simplify]: iteration  7 :  2957  enodes  (cost  3 )
109.260 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
109.261 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
109.263 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
109.265 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
109.275 * * [simplify]: iteration  3 :  130  enodes  (cost  5 )
109.320 * * [simplify]: iteration  4 :  285  enodes  (cost  3 )
109.463 * * [simplify]: iteration  5 :  616  enodes  (cost  3 )
110.576 * * [simplify]: iteration  6 :  1979  enodes  (cost  3 )
111.903 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
111.904 * * [simplify]: iteration  0 :  17  enodes  (cost  19 )
111.906 * * [simplify]: iteration  1 :  38  enodes  (cost  17 )
111.912 * * [simplify]: iteration  2 :  75  enodes  (cost  15 )
111.923 * * [simplify]: iteration  3 :  199  enodes  (cost  13 )
111.977 * * [simplify]: iteration  4 :  569  enodes  (cost  11 )
112.595 * * [simplify]: iteration  5 :  2214  enodes  (cost  11 )
113.957 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
113.958 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
113.959 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
113.961 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
113.965 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
113.971 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
113.986 * * [simplify]: iteration  5 :  174  enodes  (cost  2 )
114.040 * * [simplify]: iteration  6 :  360  enodes  (cost  2 )
114.237 * * [simplify]: iteration  7 :  911  enodes  (cost  2 )
115.601 * * [simplify]: iteration  8 :  3082  enodes  (cost  2 )
117.393 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
117.394 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
117.395 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
117.397 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
117.402 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
117.411 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
117.440 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
117.549 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
118.043 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
119.794 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
119.795 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
119.796 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
119.799 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
119.805 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
119.830 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
119.900 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
120.185 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
121.568 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
122.841 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
122.842 * [simplify]: Simplified to:
   (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt y))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt y))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (* (cbrt y) (cbrt y))))
  (exp (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y)))))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt y))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (sqrt (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 2/9)
  (pow y 2/9)
  (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2)))
  (pow y 2/9)
  (pow y 2/9)
  (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2)))
  (pow y 2/9)
  (pow y 2/9)
  (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2)))
  (cbrt y)
  (cbrt y)
  (cbrt y)
122.842 * * * [progress]: adding candidates to table
122.893 * * [progress]: iteration 4 / 4
122.893 * * * [progress]: picking best candidate
122.913 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* y y)))>
122.913 * * * [progress]: localizing error
122.917 * * * [progress]: generating rewritten candidates
122.917 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
122.924 * * * [progress]: generating series expansions
122.924 * * * * [progress]: [ 1 / 1 ] generating series at (2)
122.924 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
122.924 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
122.924 * [taylor]: Taking taylor expansion of x in y
122.924 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.924 * [taylor]: Taking taylor expansion of y in y
122.924 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.924 * [taylor]: Taking taylor expansion of x in x
122.924 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.924 * [taylor]: Taking taylor expansion of y in x
122.924 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.924 * [taylor]: Taking taylor expansion of x in x
122.924 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.925 * [taylor]: Taking taylor expansion of y in x
122.925 * [taylor]: Taking taylor expansion of 0 in y
122.925 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.925 * [taylor]: Taking taylor expansion of y in y
122.925 * [taylor]: Taking taylor expansion of 0 in y
122.925 * [taylor]: Taking taylor expansion of 0 in y
122.925 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
122.925 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
122.925 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
122.925 * [taylor]: Taking taylor expansion of x in y
122.925 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.926 * [taylor]: Taking taylor expansion of y in y
122.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
122.926 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.926 * [taylor]: Taking taylor expansion of x in x
122.926 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.926 * [taylor]: Taking taylor expansion of y in x
122.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
122.926 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.926 * [taylor]: Taking taylor expansion of x in x
122.926 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.926 * [taylor]: Taking taylor expansion of y in x
122.926 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
122.926 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.926 * [taylor]: Taking taylor expansion of y in y
122.927 * [taylor]: Taking taylor expansion of 0 in y
122.927 * [taylor]: Taking taylor expansion of 0 in y
122.928 * [taylor]: Taking taylor expansion of 0 in y
122.928 * [taylor]: Taking taylor expansion of 0 in y
122.928 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
122.928 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
122.928 * [taylor]: Taking taylor expansion of -1 in y
122.928 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
122.928 * [taylor]: Taking taylor expansion of x in y
122.929 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.929 * [taylor]: Taking taylor expansion of y in y
122.929 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
122.929 * [taylor]: Taking taylor expansion of -1 in x
122.929 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.929 * [taylor]: Taking taylor expansion of x in x
122.929 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.929 * [taylor]: Taking taylor expansion of y in x
122.929 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
122.929 * [taylor]: Taking taylor expansion of -1 in x
122.929 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
122.929 * [taylor]: Taking taylor expansion of x in x
122.929 * [taylor]: Taking taylor expansion of (pow y 2) in x
122.929 * [taylor]: Taking taylor expansion of y in x
122.929 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
122.929 * [taylor]: Taking taylor expansion of -1 in y
122.929 * [taylor]: Taking taylor expansion of (pow y 2) in y
122.929 * [taylor]: Taking taylor expansion of y in y
122.930 * [taylor]: Taking taylor expansion of 0 in y
122.930 * [taylor]: Taking taylor expansion of 0 in y
122.931 * [taylor]: Taking taylor expansion of 0 in y
122.931 * [taylor]: Taking taylor expansion of 0 in y
122.932 * * * [progress]: simplifying candidates
122.932 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (* y y))
  (* x (* y y))
  (+ (log x) (+ (log y) (log y)))
  (+ (log x) (log (* y y)))
  (log (* x (* y y)))
  (exp (* x (* y y)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* x x) x) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* x (* y y))) (cbrt (* x (* y y))))
  (cbrt (* x (* y y)))
  (* (* (* x (* y y)) (* x (* y y))) (* x (* y y)))
  (sqrt (* x (* y y)))
  (sqrt (* x (* y y)))
  (* (sqrt x) y)
  (* (sqrt x) y)
  (* x y)
  (* (cbrt x) (* y y))
  (* (sqrt x) (* y y))
  (* x (* y y))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
122.933 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
122.933 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
122.934 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
122.935 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
122.936 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
122.936 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
122.937 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
122.938 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
122.939 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
122.940 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
122.941 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
122.942 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
122.943 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
122.944 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
122.945 * * [simplify]: iteration  2 :  15  enodes  (cost  7 )
122.946 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
122.948 * * [simplify]: iteration  done :  16  enodes  (cost  7 )
122.948 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
122.949 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
122.950 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
122.953 * * [simplify]: iteration  3 :  25  enodes  (cost  6 )
122.955 * * [simplify]: iteration  4 :  26  enodes  (cost  6 )
122.958 * * [simplify]: iteration  done :  26  enodes  (cost  6 )
122.959 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
122.959 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
122.961 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
122.964 * * [simplify]: iteration  3 :  38  enodes  (cost  6 )
122.970 * * [simplify]: iteration  4 :  80  enodes  (cost  6 )
122.986 * * [simplify]: iteration  5 :  182  enodes  (cost  6 )
123.064 * * [simplify]: iteration  6 :  446  enodes  (cost  6 )
123.425 * * [simplify]: iteration  7 :  1298  enodes  (cost  6 )
125.799 * * [simplify]: iteration  8 :  4672  enodes  (cost  6 )
127.238 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
127.239 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
127.241 * * [simplify]: iteration  1 :  21  enodes  (cost  17 )
127.245 * * [simplify]: iteration  2 :  73  enodes  (cost  11 )
127.273 * * [simplify]: iteration  3 :  200  enodes  (cost  7 )
127.381 * * [simplify]: iteration  4 :  416  enodes  (cost  7 )
127.830 * * [simplify]: iteration  5 :  1162  enodes  (cost  7 )
130.222 * * [simplify]: iteration  6 :  3922  enodes  (cost  7 )
132.321 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
132.322 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
132.323 * * [simplify]: iteration  1 :  22  enodes  (cost  17 )
132.328 * * [simplify]: iteration  2 :  69  enodes  (cost  9 )
132.350 * * [simplify]: iteration  3 :  196  enodes  (cost  7 )
132.463 * * [simplify]: iteration  4 :  441  enodes  (cost  7 )
132.966 * * [simplify]: iteration  5 :  1243  enodes  (cost  7 )
135.557 * * [simplify]: iteration  6 :  4192  enodes  (cost  7 )
137.769 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
137.770 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
137.770 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
137.772 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
137.773 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
137.773 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
137.774 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
137.775 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
137.776 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
137.777 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
137.778 * * [simplify]: iteration  1 :  19  enodes  (cost  17 )
137.782 * * [simplify]: iteration  2 :  70  enodes  (cost  7 )
137.811 * * [simplify]: iteration  3 :  224  enodes  (cost  7 )
137.967 * * [simplify]: iteration  4 :  365  enodes  (cost  7 )
138.188 * * [simplify]: iteration  5 :  531  enodes  (cost  7 )
138.796 * * [simplify]: iteration  6 :  1425  enodes  (cost  7 )
142.092 * * [simplify]: iteration  7 :  4784  enodes  (cost  7 )
143.733 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
143.734 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
143.734 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
143.735 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
143.736 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
143.738 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
143.738 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
143.739 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
143.740 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
143.741 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
143.741 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
143.742 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
143.742 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
143.743 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
143.743 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
143.744 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
143.744 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
143.745 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
143.745 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
143.746 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
143.747 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
143.748 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
143.749 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
143.750 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
143.750 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
143.752 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
143.752 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
143.753 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
143.754 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
143.755 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
143.755 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
143.756 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
143.758 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
143.760 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
143.762 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
143.765 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
143.769 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
143.782 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
143.826 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
144.272 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
146.511 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
146.512 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
146.512 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
146.514 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
146.516 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
146.519 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
146.521 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
146.525 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
146.534 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
146.584 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
147.025 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
149.274 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
149.275 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
149.276 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
149.277 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
149.279 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
149.281 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
149.284 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
149.288 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
149.297 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
149.344 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
149.798 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
152.287 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
152.287 * [simplify]: Simplified to:
   (* x (* y y))
  (* x (* y y))
  (+ (log x) (* 2 (log y)))
  (+ (log x) (log (* y y)))
  (log (* x (* y y)))
  (exp (* x (* y y)))
  (* (pow y 6) (pow x 3))
  (* (pow y 6) (pow x 3))
  (* (cbrt (* x (* y y))) (cbrt (* x (* y y))))
  (cbrt (* x (* y y)))
  (pow (* x (* y y)) 3)
  (sqrt (* x (* y y)))
  (sqrt (* x (* y y)))
  (* (sqrt x) y)
  (* (sqrt x) y)
  (* x y)
  (* (cbrt x) (* y y))
  (* (sqrt x) (* y y))
  (* x (* y y))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
152.288 * * * [progress]: adding candidates to table
152.309 * [progress]: [Phase 3 of 3] Extracting.
152.309 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* x y) y))> #<alt (λ (x y) (* (* (* x y) (* (cbrt y) (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))> #<alt (λ (x y) (* (* (* x y) (cbrt (* y y))) (cbrt y)))> #<alt (λ (x y) (* (* (* x y) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))) (cbrt y)))> #<alt (λ (x y) (* x (* y y)))> #<alt (λ (x y) (* (* (sqrt x) y) (* (sqrt x) y)))> #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* y y))))> #<alt (λ (x y) (* (* (* x y) (sqrt y)) (sqrt y)))>)
152.310 * * * [regime-changes]: Trying 3 branch expressions: ((* (* x y) y) y x)
152.310 * * * * [regimes]: Trying to branch on (* (* x y) y) from (#<alt (λ (x y) (* (* x y) y))> #<alt (λ (x y) (* (* (* x y) (* (cbrt y) (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))> #<alt (λ (x y) (* (* (* x y) (cbrt (* y y))) (cbrt y)))> #<alt (λ (x y) (* (* (* x y) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))) (cbrt y)))> #<alt (λ (x y) (* x (* y y)))> #<alt (λ (x y) (* (* (sqrt x) y) (* (sqrt x) y)))> #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* y y))))> #<alt (λ (x y) (* (* (* x y) (sqrt y)) (sqrt y)))>)
152.368 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* x y) y))> #<alt (λ (x y) (* (* (* x y) (* (cbrt y) (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))> #<alt (λ (x y) (* (* (* x y) (cbrt (* y y))) (cbrt y)))> #<alt (λ (x y) (* (* (* x y) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))) (cbrt y)))> #<alt (λ (x y) (* x (* y y)))> #<alt (λ (x y) (* (* (sqrt x) y) (* (sqrt x) y)))> #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* y y))))> #<alt (λ (x y) (* (* (* x y) (sqrt y)) (sqrt y)))>)
152.423 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* x y) y))> #<alt (λ (x y) (* (* (* x y) (* (cbrt y) (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))> #<alt (λ (x y) (* (* (* x y) (cbrt (* y y))) (cbrt y)))> #<alt (λ (x y) (* (* (* x y) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))) (cbrt y)))> #<alt (λ (x y) (* x (* y y)))> #<alt (λ (x y) (* (* (sqrt x) y) (* (sqrt x) y)))> #<alt (λ (x y) (* (sqrt x) (* (sqrt x) (* y y))))> #<alt (λ (x y) (* (* (* x y) (sqrt y)) (sqrt y)))>)
152.477 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
152.477 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x y) y)
152.477 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
152.478 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
152.478 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
152.478 * [simplify]: Simplified to:
   (* (* x y) y)
153.796 * [regime-testing]: End program error score: 0.18064758094761846