544.121 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ (sin y) y))
0.039 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.040 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
0.040 * * [simplify]: iteration  2 :  11  enodes  (cost  6 )
0.042 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
0.043 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
0.045 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
0.045 * [simplify]: Simplified to:
   (* x (/ (sin y) y))
0.045 * * [progress]: iteration 1 / 4
0.046 * * * [progress]: picking best candidate
0.048 * * * * [pick]: Picked  #<alt (λ (x y) (* x (/ (sin y) y)))>
0.048 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.066 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.077 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
0.077 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.077 * [taylor]: Taking taylor expansion of (sin y) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.077 * [taylor]: Taking taylor expansion of (sin y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.079 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
0.079 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.079 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.079 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.080 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
0.081 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.081 * [taylor]: Taking taylor expansion of -1 in y
0.081 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.081 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.081 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.081 * [taylor]: Taking taylor expansion of -1 in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.081 * [taylor]: Taking taylor expansion of -1 in y
0.081 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.081 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.081 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.081 * [taylor]: Taking taylor expansion of -1 in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.082 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.082 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
0.082 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
0.082 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.082 * [taylor]: Taking taylor expansion of x in y
0.082 * [taylor]: Taking taylor expansion of (sin y) in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.083 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (sin y) in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.084 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (sin y) in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.084 * [taylor]: Taking taylor expansion of (sin y) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0
0.088 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y
0.088 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.088 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of x in y
0.088 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.088 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.088 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.088 * [taylor]: Taking taylor expansion of y in x
0.088 * [taylor]: Taking taylor expansion of y in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.089 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.089 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.089 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0
0.091 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y
0.091 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.091 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.091 * [taylor]: Taking taylor expansion of -1 in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
0.092 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
0.092 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.092 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.092 * [taylor]: Taking taylor expansion of -1 in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
0.092 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
0.092 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.092 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.092 * [taylor]: Taking taylor expansion of -1 in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.092 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.094 * * * [progress]: simplifying candidates
0.095 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (sin y)) (log y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (neg (sin y))
  (neg y)
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))
  (/ (cbrt (sin y)) (sqrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)
  (/ (cbrt (sin y)) y)
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) 1)
  (/ (sqrt (sin y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (/ 1 1)
  (/ (sin y) y)
  (/ 1 y)
  (/ y (sin y))
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (/ (sin y) 1)
  (/ y (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ y (sin y))
  (* x (/ (sin y) y))
  (+ (log x) (- (log (sin y)) (log y)))
  (+ (log x) (log (/ (sin y) y)))
  (log (* x (/ (sin y) y)))
  (exp (* x (/ (sin y) y)))
  (* (* (* x x) x) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))
  (* (* (* x x) x) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))
  (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y))))
  (cbrt (* x (/ (sin y) y)))
  (* (* (* x (/ (sin y) y)) (* x (/ (sin y) y))) (* x (/ (sin y) y)))
  (sqrt (* x (/ (sin y) y)))
  (sqrt (* x (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* x (sqrt (/ (sin y) y)))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))
  (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (* x (/ (sqrt (sin y)) (sqrt y)))
  (* x (/ (sqrt (sin y)) 1))
  (* x (/ 1 (* (cbrt y) (cbrt y))))
  (* x (/ 1 (sqrt y)))
  (* x (/ 1 1))
  (* x 1)
  (* x (sin y))
  (* (cbrt x) (/ (sin y) y))
  (* (sqrt x) (/ (sin y) y))
  (* x (/ (sin y) y))
  (* x (sin y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
0.096 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.096 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
0.097 * * [simplify]: iteration  2 :  8  enodes  (cost  6 )
0.098 * * [simplify]: iteration  done :  8  enodes  (cost  6 )
0.098 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.099 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
0.099 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.100 * * [simplify]: iteration  3 :  10  enodes  (cost  5 )
0.101 * * [simplify]: iteration  done :  10  enodes  (cost  5 )
0.102 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.102 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
0.103 * * [simplify]: iteration  0 :  7  enodes  (cost  14 )
0.104 * * [simplify]: iteration  1 :  16  enodes  (cost  14 )
0.107 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
0.116 * * [simplify]: iteration  3 :  115  enodes  (cost  6 )
0.151 * * [simplify]: iteration  4 :  193  enodes  (cost  6 )
0.208 * * [simplify]: iteration  5 :  309  enodes  (cost  6 )
0.342 * * [simplify]: iteration  6 :  770  enodes  (cost  6 )
1.349 * * [simplify]: iteration  7 :  3350  enodes  (cost  6 )
2.638 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
2.639 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
2.639 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
2.640 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
2.640 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
2.641 * * [simplify]: iteration  0 :  5  enodes  (cost  14 )
2.641 * * [simplify]: iteration  1 :  12  enodes  (cost  14 )
2.644 * * [simplify]: iteration  2 :  28  enodes  (cost  6 )
2.648 * * [simplify]: iteration  3 :  66  enodes  (cost  6 )
2.668 * * [simplify]: iteration  4 :  131  enodes  (cost  6 )
2.697 * * [simplify]: iteration  5 :  191  enodes  (cost  6 )
2.753 * * [simplify]: iteration  6 :  317  enodes  (cost  6 )
2.895 * * [simplify]: iteration  7 :  810  enodes  (cost  6 )
3.932 * * [simplify]: iteration  8 :  3527  enodes  (cost  6 )
5.183 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
5.184 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.184 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.185 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.185 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.186 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
5.186 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
5.187 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
5.187 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
5.188 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
5.189 * * [simplify]: iteration  1 :  13  enodes  (cost  13 )
5.190 * * [simplify]: iteration  2 :  22  enodes  (cost  13 )
5.193 * * [simplify]: iteration  3 :  28  enodes  (cost  13 )
5.196 * * [simplify]: iteration  done :  28  enodes  (cost  13 )
5.197 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.197 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
5.198 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
5.198 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
5.199 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
5.200 * * [simplify]: iteration  3 :  11  enodes  (cost  10 )
5.202 * * [simplify]: iteration  done :  11  enodes  (cost  10 )
5.202 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.203 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
5.203 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
5.204 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
5.205 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
5.207 * * [simplify]: iteration  3 :  21  enodes  (cost  7 )
5.208 * * [simplify]: iteration  done :  21  enodes  (cost  7 )
5.209 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.209 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.210 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
5.210 * * [simplify]: iteration  1 :  8  enodes  (cost  9 )
5.211 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
5.212 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.212 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
5.213 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.213 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
5.214 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.214 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
5.215 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
5.216 * * [simplify]: iteration  1 :  7  enodes  (cost  3 )
5.216 * * [simplify]: iteration  2 :  9  enodes  (cost  3 )
5.217 * * [simplify]: iteration  done :  9  enodes  (cost  3 )
5.217 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.217 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.218 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
5.219 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
5.219 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
5.220 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.220 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.221 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
5.221 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
5.222 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
5.223 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.223 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.224 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
5.224 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
5.224 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
5.225 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
5.225 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
5.225 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
5.226 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
5.226 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
5.227 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
5.227 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
5.228 * * [simplify]: iteration  0 :  5  enodes  (cost  8 )
5.229 * * [simplify]: iteration  1 :  7  enodes  (cost  8 )
5.229 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
5.230 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.230 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.231 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
5.231 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
5.232 * * [simplify]: iteration  2 :  8  enodes  (cost  2 )
5.232 * * [simplify]: iteration  done :  8  enodes  (cost  2 )
5.233 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.233 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.234 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
5.234 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
5.235 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
5.235 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
5.236 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.236 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
5.237 * * [simplify]: iteration  2 :  11  enodes  (cost  6 )
5.239 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
5.240 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
5.242 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
5.243 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
5.244 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
5.245 * * [simplify]: iteration  2 :  20  enodes  (cost  9 )
5.247 * * [simplify]: iteration  3 :  29  enodes  (cost  9 )
5.256 * * [simplify]: iteration  4 :  35  enodes  (cost  9 )
5.261 * * [simplify]: iteration  5 :  45  enodes  (cost  9 )
5.266 * * [simplify]: iteration  6 :  52  enodes  (cost  9 )
5.272 * * [simplify]: iteration  7 :  64  enodes  (cost  9 )
5.281 * * [simplify]: iteration  8 :  87  enodes  (cost  9 )
5.294 * * [simplify]: iteration  9 :  101  enodes  (cost  9 )
5.306 * * [simplify]: iteration  10 :  107  enodes  (cost  9 )
5.322 * * [simplify]: iteration  done :  107  enodes  (cost  9 )
5.323 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
5.324 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
5.325 * * [simplify]: iteration  2 :  17  enodes  (cost  8 )
5.327 * * [simplify]: iteration  3 :  26  enodes  (cost  8 )
5.330 * * [simplify]: iteration  4 :  36  enodes  (cost  8 )
5.335 * * [simplify]: iteration  5 :  45  enodes  (cost  8 )
5.340 * * [simplify]: iteration  6 :  50  enodes  (cost  8 )
5.345 * * [simplify]: iteration  7 :  59  enodes  (cost  8 )
5.352 * * [simplify]: iteration  8 :  76  enodes  (cost  8 )
5.366 * * [simplify]: iteration  9 :  95  enodes  (cost  8 )
5.380 * * [simplify]: iteration  10 :  103  enodes  (cost  8 )
5.393 * * [simplify]: iteration  done :  103  enodes  (cost  8 )
5.394 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
5.395 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
5.396 * * [simplify]: iteration  2 :  21  enodes  (cost  7 )
5.398 * * [simplify]: iteration  3 :  35  enodes  (cost  7 )
5.403 * * [simplify]: iteration  4 :  55  enodes  (cost  7 )
5.410 * * [simplify]: iteration  5 :  69  enodes  (cost  7 )
5.420 * * [simplify]: iteration  6 :  81  enodes  (cost  7 )
5.434 * * [simplify]: iteration  7 :  99  enodes  (cost  7 )
5.445 * * [simplify]: iteration  8 :  115  enodes  (cost  7 )
5.458 * * [simplify]: iteration  9 :  122  enodes  (cost  7 )
5.473 * * [simplify]: iteration  10 :  139  enodes  (cost  7 )
5.493 * * [simplify]: iteration  11 :  141  enodes  (cost  7 )
5.508 * * [simplify]: iteration  done :  141  enodes  (cost  7 )
5.509 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
5.509 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
5.511 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
5.513 * * [simplify]: iteration  3 :  34  enodes  (cost  7 )
5.518 * * [simplify]: iteration  4 :  67  enodes  (cost  7 )
5.528 * * [simplify]: iteration  5 :  148  enodes  (cost  7 )
5.588 * * [simplify]: iteration  6 :  360  enodes  (cost  7 )
6.001 * * [simplify]: iteration  7 :  1396  enodes  (cost  7 )
8.771 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
8.772 * * [simplify]: iteration  0 :  11  enodes  (cost  20 )
8.773 * * [simplify]: iteration  1 :  26  enodes  (cost  20 )
8.778 * * [simplify]: iteration  2 :  104  enodes  (cost  12 )
8.821 * * [simplify]: iteration  3 :  444  enodes  (cost  10 )
9.283 * * [simplify]: iteration  4 :  1697  enodes  (cost  10 )
13.252 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
13.253 * * [simplify]: iteration  0 :  9  enodes  (cost  20 )
13.254 * * [simplify]: iteration  1 :  22  enodes  (cost  20 )
13.264 * * [simplify]: iteration  2 :  71  enodes  (cost  10 )
13.283 * * [simplify]: iteration  3 :  225  enodes  (cost  10 )
13.435 * * [simplify]: iteration  4 :  778  enodes  (cost  8 )
14.643 * * [simplify]: iteration  5 :  2424  enodes  (cost  8 )
17.674 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
17.675 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
17.676 * * [simplify]: iteration  1 :  10  enodes  (cost  15 )
17.677 * * [simplify]: iteration  2 :  13  enodes  (cost  15 )
17.679 * * [simplify]: iteration  3 :  17  enodes  (cost  15 )
17.681 * * [simplify]: iteration  4 :  18  enodes  (cost  15 )
17.683 * * [simplify]: iteration  done :  18  enodes  (cost  15 )
17.684 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
17.685 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
17.686 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
17.687 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
17.689 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
17.691 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
17.691 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
17.692 * * [simplify]: iteration  1 :  20  enodes  (cost  20 )
17.697 * * [simplify]: iteration  2 :  74  enodes  (cost  8 )
17.724 * * [simplify]: iteration  3 :  270  enodes  (cost  8 )
17.945 * * [simplify]: iteration  4 :  830  enodes  (cost  8 )
19.394 * * [simplify]: iteration  5 :  2532  enodes  (cost  8 )
26.178 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
26.178 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
26.179 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
26.180 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
26.182 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
26.183 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
26.185 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
26.186 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
26.186 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
26.187 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
26.189 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
26.191 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
26.193 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
26.193 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
26.194 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
26.195 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
26.195 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
26.196 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
26.197 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
26.197 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
26.198 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
26.199 * * [simplify]: iteration  2 :  14  enodes  (cost  9 )
26.201 * * [simplify]: iteration  3 :  18  enodes  (cost  9 )
26.203 * * [simplify]: iteration  4 :  19  enodes  (cost  9 )
26.205 * * [simplify]: iteration  done :  19  enodes  (cost  9 )
26.205 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
26.206 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
26.207 * * [simplify]: iteration  2 :  14  enodes  (cost  9 )
26.209 * * [simplify]: iteration  3 :  18  enodes  (cost  9 )
26.214 * * [simplify]: iteration  4 :  19  enodes  (cost  9 )
26.216 * * [simplify]: iteration  done :  19  enodes  (cost  9 )
26.217 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
26.218 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
26.219 * * [simplify]: iteration  2 :  12  enodes  (cost  13 )
26.221 * * [simplify]: iteration  done :  12  enodes  (cost  13 )
26.222 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
26.222 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
26.223 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
26.224 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
26.225 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
26.227 * * [simplify]: iteration  2 :  47  enodes  (cost  15 )
26.236 * * [simplify]: iteration  3 :  86  enodes  (cost  15 )
26.255 * * [simplify]: iteration  4 :  142  enodes  (cost  15 )
26.292 * * [simplify]: iteration  5 :  158  enodes  (cost  15 )
26.322 * * [simplify]: iteration  done :  158  enodes  (cost  15 )
26.323 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
26.324 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
26.325 * * [simplify]: iteration  2 :  23  enodes  (cost  12 )
26.333 * * [simplify]: iteration  3 :  38  enodes  (cost  12 )
26.339 * * [simplify]: iteration  4 :  51  enodes  (cost  12 )
26.346 * * [simplify]: iteration  5 :  53  enodes  (cost  12 )
26.353 * * [simplify]: iteration  done :  53  enodes  (cost  12 )
26.354 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
26.355 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
26.357 * * [simplify]: iteration  2 :  32  enodes  (cost  9 )
26.363 * * [simplify]: iteration  3 :  69  enodes  (cost  9 )
26.377 * * [simplify]: iteration  4 :  103  enodes  (cost  9 )
26.393 * * [simplify]: iteration  done :  103  enodes  (cost  9 )
26.393 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
26.394 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
26.397 * * [simplify]: iteration  2 :  24  enodes  (cost  11 )
26.400 * * [simplify]: iteration  3 :  38  enodes  (cost  11 )
26.405 * * [simplify]: iteration  4 :  50  enodes  (cost  11 )
26.411 * * [simplify]: iteration  done :  50  enodes  (cost  11 )
26.412 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
26.413 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
26.414 * * [simplify]: iteration  2 :  13  enodes  (cost  8 )
26.416 * * [simplify]: iteration  3 :  17  enodes  (cost  8 )
26.418 * * [simplify]: iteration  4 :  18  enodes  (cost  8 )
26.420 * * [simplify]: iteration  done :  18  enodes  (cost  8 )
26.420 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
26.421 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
26.422 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
26.424 * * [simplify]: iteration  3 :  28  enodes  (cost  5 )
26.428 * * [simplify]: iteration  4 :  34  enodes  (cost  5 )
26.430 * * [simplify]: iteration  done :  34  enodes  (cost  5 )
26.431 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
26.431 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
26.433 * * [simplify]: iteration  2 :  24  enodes  (cost  7 )
26.436 * * [simplify]: iteration  3 :  31  enodes  (cost  7 )
26.440 * * [simplify]: iteration  4 :  49  enodes  (cost  7 )
26.457 * * [simplify]: iteration  5 :  79  enodes  (cost  7 )
26.468 * * [simplify]: iteration  6 :  82  enodes  (cost  7 )
26.476 * * [simplify]: iteration  done :  82  enodes  (cost  7 )
26.477 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
26.478 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
26.479 * * [simplify]: iteration  2 :  14  enodes  (cost  4 )
26.480 * * [simplify]: iteration  3 :  15  enodes  (cost  4 )
26.481 * * [simplify]: iteration  4 :  20  enodes  (cost  4 )
26.483 * * [simplify]: iteration  5 :  21  enodes  (cost  4 )
26.485 * * [simplify]: iteration  done :  21  enodes  (cost  4 )
26.486 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
26.486 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
26.487 * * [simplify]: iteration  2 :  14  enodes  (cost  1 )
26.488 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
26.488 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
26.489 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
26.489 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
26.490 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
26.490 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
26.490 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
26.491 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
26.492 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
26.493 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
26.494 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
26.496 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
26.498 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
26.499 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
26.499 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
26.500 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
26.502 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
26.504 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
26.506 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
26.506 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
26.507 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
26.508 * * [simplify]: iteration  2 :  11  enodes  (cost  6 )
26.509 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
26.511 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
26.513 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
26.514 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
26.520 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
26.520 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
26.521 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
26.522 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
26.527 * * [simplify]: iteration  2 :  74  enodes  (cost  13 )
26.542 * * [simplify]: iteration  3 :  187  enodes  (cost  13 )
26.660 * * [simplify]: iteration  4 :  555  enodes  (cost  13 )
26.935 * * [simplify]: iteration  5 :  1331  enodes  (cost  13 )
28.985 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
28.986 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
28.986 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
28.986 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
28.987 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
28.987 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
28.989 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
28.992 * * [simplify]: iteration  2 :  57  enodes  (cost  9 )
29.001 * * [simplify]: iteration  3 :  120  enodes  (cost  9 )
29.039 * * [simplify]: iteration  4 :  185  enodes  (cost  9 )
29.090 * * [simplify]: iteration  5 :  201  enodes  (cost  9 )
29.134 * * [simplify]: iteration  6 :  232  enodes  (cost  9 )
29.189 * * [simplify]: iteration  7 :  292  enodes  (cost  9 )
29.274 * * [simplify]: iteration  8 :  499  enodes  (cost  9 )
29.794 * * [simplify]: iteration  9 :  1425  enodes  (cost  9 )
32.295 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
32.296 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
32.296 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
32.297 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
32.299 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
32.300 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
32.302 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
32.303 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
32.303 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
32.304 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
32.306 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
32.307 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
32.309 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
32.310 * [simplify]: Simplified to:
   (- (log (sin y)) (log y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (neg (sin y))
  (neg y)
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))
  (/ (cbrt (sin y)) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) y)
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (sqrt (sin y))
  (/ (sqrt (sin y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  1
  (/ (sin y) y)
  (/ 1 y)
  (/ y (sin y))
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (sin y)
  (/ y (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ y (sin y))
  (* x (/ (sin y) y))
  (+ (log x) (- (log (sin y)) (log y)))
  (+ (log x) (log (/ (sin y) y)))
  (log (* x (/ (sin y) y)))
  (exp (* x (/ (sin y) y)))
  (* (pow x 3) (pow (/ (sin y) y) 3))
  (pow (* x (/ (sin y) y)) 3)
  (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y))))
  (cbrt (* x (/ (sin y) y)))
  (pow (* x (/ (sin y) y)) 3)
  (sqrt (* x (/ (sin y) y)))
  (sqrt (* x (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* x (sqrt (/ (sin y) y)))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) x)
  (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (* x (/ (sqrt (sin y)) (sqrt y)))
  (* (sqrt (sin y)) x)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (sqrt y))
  x
  x
  (* x (sin y))
  (* (cbrt x) (/ (sin y) y))
  (* (sqrt x) (/ (sin y) y))
  (* x (/ (sin y) y))
  (* x (sin y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
32.310 * * * [progress]: adding candidates to table
32.394 * * [progress]: iteration 2 / 4
32.394 * * * [progress]: picking best candidate
32.420 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))>
32.420 * * * [progress]: localizing error
32.428 * * * [progress]: generating rewritten candidates
32.428 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
32.436 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
32.448 * * * [progress]: generating series expansions
32.448 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
32.448 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
32.448 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
32.448 * [taylor]: Taking taylor expansion of (sin y) in y
32.448 * [taylor]: Taking taylor expansion of y in y
32.448 * [taylor]: Taking taylor expansion of y in y
32.448 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
32.448 * [taylor]: Taking taylor expansion of (sin y) in y
32.448 * [taylor]: Taking taylor expansion of y in y
32.448 * [taylor]: Taking taylor expansion of y in y
32.449 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
32.449 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
32.449 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
32.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y
32.449 * [taylor]: Taking taylor expansion of y in y
32.450 * [taylor]: Taking taylor expansion of y in y
32.450 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
32.450 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
32.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y
32.450 * [taylor]: Taking taylor expansion of y in y
32.450 * [taylor]: Taking taylor expansion of y in y
32.450 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
32.451 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
32.451 * [taylor]: Taking taylor expansion of -1 in y
32.451 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
32.451 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
32.451 * [taylor]: Taking taylor expansion of (/ -1 y) in y
32.451 * [taylor]: Taking taylor expansion of -1 in y
32.451 * [taylor]: Taking taylor expansion of y in y
32.451 * [taylor]: Taking taylor expansion of y in y
32.451 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
32.451 * [taylor]: Taking taylor expansion of -1 in y
32.451 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
32.451 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
32.451 * [taylor]: Taking taylor expansion of (/ -1 y) in y
32.451 * [taylor]: Taking taylor expansion of -1 in y
32.451 * [taylor]: Taking taylor expansion of y in y
32.451 * [taylor]: Taking taylor expansion of y in y
32.452 * * * * [progress]: [ 2 / 2 ] generating series at (2)
32.452 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
32.452 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
32.452 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
32.452 * [taylor]: Taking taylor expansion of x in y
32.452 * [taylor]: Taking taylor expansion of (sin y) in y
32.452 * [taylor]: Taking taylor expansion of y in y
32.452 * [taylor]: Taking taylor expansion of y in y
32.453 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
32.453 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
32.453 * [taylor]: Taking taylor expansion of x in x
32.453 * [taylor]: Taking taylor expansion of (sin y) in x
32.453 * [taylor]: Taking taylor expansion of y in x
32.453 * [taylor]: Taking taylor expansion of y in x
32.453 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
32.453 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
32.453 * [taylor]: Taking taylor expansion of x in x
32.453 * [taylor]: Taking taylor expansion of (sin y) in x
32.453 * [taylor]: Taking taylor expansion of y in x
32.453 * [taylor]: Taking taylor expansion of y in x
32.453 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
32.454 * [taylor]: Taking taylor expansion of (sin y) in y
32.454 * [taylor]: Taking taylor expansion of y in y
32.454 * [taylor]: Taking taylor expansion of y in y
32.454 * [taylor]: Taking taylor expansion of 0 in y
32.455 * [taylor]: Taking taylor expansion of 0 in y
32.456 * [taylor]: Taking taylor expansion of 0 in y
32.458 * [taylor]: Taking taylor expansion of 0 in y
32.458 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0
32.458 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y
32.458 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
32.458 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
32.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y
32.458 * [taylor]: Taking taylor expansion of y in y
32.458 * [taylor]: Taking taylor expansion of y in y
32.458 * [taylor]: Taking taylor expansion of x in y
32.458 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
32.458 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
32.458 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
32.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x
32.458 * [taylor]: Taking taylor expansion of y in x
32.458 * [taylor]: Taking taylor expansion of y in x
32.458 * [taylor]: Taking taylor expansion of x in x
32.459 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
32.459 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
32.459 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
32.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x
32.459 * [taylor]: Taking taylor expansion of y in x
32.459 * [taylor]: Taking taylor expansion of y in x
32.459 * [taylor]: Taking taylor expansion of x in x
32.459 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
32.459 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
32.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
32.459 * [taylor]: Taking taylor expansion of y in y
32.459 * [taylor]: Taking taylor expansion of y in y
32.459 * [taylor]: Taking taylor expansion of 0 in y
32.460 * [taylor]: Taking taylor expansion of 0 in y
32.461 * [taylor]: Taking taylor expansion of 0 in y
32.461 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0
32.461 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y
32.461 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
32.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
32.461 * [taylor]: Taking taylor expansion of (/ -1 y) in y
32.461 * [taylor]: Taking taylor expansion of -1 in y
32.461 * [taylor]: Taking taylor expansion of y in y
32.461 * [taylor]: Taking taylor expansion of y in y
32.461 * [taylor]: Taking taylor expansion of x in y
32.461 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
32.461 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
32.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
32.461 * [taylor]: Taking taylor expansion of (/ -1 y) in x
32.461 * [taylor]: Taking taylor expansion of -1 in x
32.461 * [taylor]: Taking taylor expansion of y in x
32.462 * [taylor]: Taking taylor expansion of y in x
32.462 * [taylor]: Taking taylor expansion of x in x
32.462 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
32.462 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
32.462 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
32.462 * [taylor]: Taking taylor expansion of (/ -1 y) in x
32.462 * [taylor]: Taking taylor expansion of -1 in x
32.462 * [taylor]: Taking taylor expansion of y in x
32.462 * [taylor]: Taking taylor expansion of y in x
32.462 * [taylor]: Taking taylor expansion of x in x
32.462 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
32.463 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
32.463 * [taylor]: Taking taylor expansion of (/ -1 y) in y
32.463 * [taylor]: Taking taylor expansion of -1 in y
32.463 * [taylor]: Taking taylor expansion of y in y
32.463 * [taylor]: Taking taylor expansion of y in y
32.463 * [taylor]: Taking taylor expansion of 0 in y
32.464 * [taylor]: Taking taylor expansion of 0 in y
32.464 * [taylor]: Taking taylor expansion of 0 in y
32.465 * * * [progress]: simplifying candidates
32.466 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sin y) (/ 1 y))
  (+ (log (sin y)) (neg (log y)))
  (+ (log (sin y)) (- 0 (log y)))
  (+ (log (sin y)) (- (log 1) (log y)))
  (+ (log (sin y)) (log (/ 1 y)))
  (log (* (sin y) (/ 1 y)))
  (exp (* (sin y) (/ 1 y)))
  (* (* (* (sin y) (sin y)) (sin y)) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (* (* (sin y) (sin y)) (sin y)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (cbrt (* (sin y) (/ 1 y))) (cbrt (* (sin y) (/ 1 y))))
  (cbrt (* (sin y) (/ 1 y)))
  (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y)))
  (sqrt (* (sin y) (/ 1 y)))
  (sqrt (* (sin y) (/ 1 y)))
  (* (sqrt (sin y)) (sqrt (/ 1 y)))
  (* (sqrt (sin y)) (sqrt (/ 1 y)))
  (* (sqrt (sin y)) (/ (sqrt 1) (sqrt y)))
  (* (sqrt (sin y)) (/ (sqrt 1) (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sin y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (sin y) (sqrt (/ 1 y)))
  (* (sin y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (* (sin y) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (* (sin y) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (sin y) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (* (sin y) (/ (sqrt 1) (sqrt y)))
  (* (sin y) (/ (sqrt 1) 1))
  (* (sin y) (/ 1 (* (cbrt y) (cbrt y))))
  (* (sin y) (/ 1 (sqrt y)))
  (* (sin y) (/ 1 1))
  (* (sin y) 1)
  (* (sin y) 1)
  (* (cbrt (sin y)) (/ 1 y))
  (* (sqrt (sin y)) (/ 1 y))
  (* (sin y) (/ 1 y))
  (* (sin y) 1)
  (* x (* (sin y) (/ 1 y)))
  (* x (* (sin y) (/ 1 y)))
  (+ (log x) (+ (log (sin y)) (neg (log y))))
  (+ (log x) (+ (log (sin y)) (- 0 (log y))))
  (+ (log x) (+ (log (sin y)) (- (log 1) (log y))))
  (+ (log x) (+ (log (sin y)) (log (/ 1 y))))
  (+ (log x) (log (* (sin y) (/ 1 y))))
  (log (* x (* (sin y) (/ 1 y))))
  (exp (* x (* (sin y) (/ 1 y))))
  (* (* (* x x) x) (* (* (* (sin y) (sin y)) (sin y)) (/ (* (* 1 1) 1) (* (* y y) y))))
  (* (* (* x x) x) (* (* (* (sin y) (sin y)) (sin y)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y))))
  (* (* (* x x) x) (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y))))
  (* (cbrt (* x (* (sin y) (/ 1 y)))) (cbrt (* x (* (sin y) (/ 1 y)))))
  (cbrt (* x (* (sin y) (/ 1 y))))
  (* (* (* x (* (sin y) (/ 1 y))) (* x (* (sin y) (/ 1 y)))) (* x (* (sin y) (/ 1 y))))
  (sqrt (* x (* (sin y) (/ 1 y))))
  (sqrt (* x (* (sin y) (/ 1 y))))
  (* x (sin y))
  (* (cbrt x) (* (sin y) (/ 1 y)))
  (* (sqrt x) (* (sin y) (/ 1 y)))
  (* x (* (sin y) (/ 1 y)))
  (* x (sin y))
  (* x (* (sin y) 1))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
32.466 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
32.467 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
32.468 * * [simplify]: iteration  2 :  13  enodes  (cost  4 )
32.470 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
32.473 * * [simplify]: iteration  4 :  29  enodes  (cost  4 )
32.481 * * [simplify]: iteration  done :  29  enodes  (cost  4 )
32.482 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
32.483 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
32.483 * * [simplify]: iteration  done :  8  enodes  (cost  6 )
32.484 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
32.485 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
32.487 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
32.489 * * [simplify]: iteration  3 :  31  enodes  (cost  6 )
32.495 * * [simplify]: iteration  4 :  49  enodes  (cost  6 )
32.506 * * [simplify]: iteration  5 :  74  enodes  (cost  6 )
32.516 * * [simplify]: iteration  6 :  79  enodes  (cost  6 )
32.526 * * [simplify]: iteration  7 :  88  enodes  (cost  6 )
32.545 * * [simplify]: iteration  8 :  102  enodes  (cost  6 )
32.555 * * [simplify]: iteration  done :  102  enodes  (cost  6 )
32.556 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
32.557 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
32.560 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
32.563 * * [simplify]: iteration  3 :  39  enodes  (cost  6 )
32.569 * * [simplify]: iteration  4 :  57  enodes  (cost  6 )
32.579 * * [simplify]: iteration  5 :  83  enodes  (cost  6 )
32.588 * * [simplify]: iteration  6 :  86  enodes  (cost  6 )
32.599 * * [simplify]: iteration  7 :  95  enodes  (cost  6 )
32.618 * * [simplify]: iteration  8 :  107  enodes  (cost  6 )
32.630 * * [simplify]: iteration  done :  107  enodes  (cost  6 )
32.631 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
32.632 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
32.633 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
32.635 * * [simplify]: iteration  3 :  31  enodes  (cost  6 )
32.639 * * [simplify]: iteration  4 :  43  enodes  (cost  6 )
32.647 * * [simplify]: iteration  5 :  75  enodes  (cost  6 )
32.661 * * [simplify]: iteration  6 :  94  enodes  (cost  6 )
32.676 * * [simplify]: iteration  7 :  101  enodes  (cost  6 )
32.688 * * [simplify]: iteration  8 :  108  enodes  (cost  6 )
32.700 * * [simplify]: iteration  done :  108  enodes  (cost  6 )
32.700 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
32.701 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
32.703 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
32.706 * * [simplify]: iteration  3 :  44  enodes  (cost  5 )
32.712 * * [simplify]: iteration  4 :  65  enodes  (cost  5 )
32.721 * * [simplify]: iteration  5 :  84  enodes  (cost  5 )
32.740 * * [simplify]: iteration  6 :  110  enodes  (cost  5 )
32.753 * * [simplify]: iteration  7 :  115  enodes  (cost  5 )
32.767 * * [simplify]: iteration  8 :  124  enodes  (cost  5 )
32.785 * * [simplify]: iteration  9 :  141  enodes  (cost  5 )
32.804 * * [simplify]: iteration  done :  141  enodes  (cost  5 )
32.804 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
32.805 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
32.807 * * [simplify]: iteration  2 :  22  enodes  (cost  5 )
32.810 * * [simplify]: iteration  3 :  50  enodes  (cost  5 )
32.818 * * [simplify]: iteration  4 :  95  enodes  (cost  5 )
32.841 * * [simplify]: iteration  5 :  193  enodes  (cost  5 )
32.934 * * [simplify]: iteration  6 :  467  enodes  (cost  5 )
33.398 * * [simplify]: iteration  7 :  1459  enodes  (cost  5 )
36.046 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
36.046 * * [simplify]: iteration  0 :  11  enodes  (cost  20 )
36.048 * * [simplify]: iteration  1 :  27  enodes  (cost  16 )
36.058 * * [simplify]: iteration  2 :  73  enodes  (cost  8 )
36.086 * * [simplify]: iteration  3 :  246  enodes  (cost  8 )
36.266 * * [simplify]: iteration  4 :  592  enodes  (cost  8 )
36.710 * * [simplify]: iteration  5 :  1065  enodes  (cost  6 )
38.387 * * [simplify]: iteration  6 :  2761  enodes  (cost  6 )
40.889 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
40.890 * * [simplify]: iteration  0 :  9  enodes  (cost  20 )
40.891 * * [simplify]: iteration  1 :  24  enodes  (cost  20 )
40.896 * * [simplify]: iteration  2 :  73  enodes  (cost  10 )
40.922 * * [simplify]: iteration  3 :  204  enodes  (cost  10 )
41.066 * * [simplify]: iteration  4 :  486  enodes  (cost  6 )
41.397 * * [simplify]: iteration  5 :  979  enodes  (cost  6 )
42.427 * * [simplify]: iteration  6 :  2132  enodes  (cost  6 )
44.793 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
44.794 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
44.801 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
44.802 * * [simplify]: iteration  2 :  15  enodes  (cost  11 )
44.805 * * [simplify]: iteration  3 :  30  enodes  (cost  11 )
44.809 * * [simplify]: iteration  4 :  31  enodes  (cost  11 )
44.812 * * [simplify]: iteration  done :  31  enodes  (cost  11 )
44.813 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
44.813 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
44.815 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
44.817 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
44.820 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
44.823 * * [simplify]: iteration  done :  30  enodes  (cost  5 )
44.824 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
44.825 * * [simplify]: iteration  1 :  22  enodes  (cost  20 )
44.830 * * [simplify]: iteration  2 :  76  enodes  (cost  6 )
44.873 * * [simplify]: iteration  3 :  223  enodes  (cost  6 )
45.009 * * [simplify]: iteration  4 :  449  enodes  (cost  6 )
45.256 * * [simplify]: iteration  5 :  616  enodes  (cost  6 )
45.746 * * [simplify]: iteration  6 :  1129  enodes  (cost  6 )
47.369 * * [simplify]: iteration  7 :  2862  enodes  (cost  6 )
49.253 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
49.253 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.254 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
49.255 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
49.258 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
49.261 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
49.264 * * [simplify]: iteration  done :  30  enodes  (cost  5 )
49.265 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.265 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
49.266 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
49.268 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
49.272 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
49.275 * * [simplify]: iteration  done :  30  enodes  (cost  5 )
49.275 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.281 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
49.282 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
49.282 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.283 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
49.284 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
49.285 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
49.285 * * [simplify]: iteration  1 :  13  enodes  (cost  8 )
49.287 * * [simplify]: iteration  2 :  16  enodes  (cost  8 )
49.288 * * [simplify]: iteration  3 :  20  enodes  (cost  6 )
49.291 * * [simplify]: iteration  4 :  31  enodes  (cost  6 )
49.294 * * [simplify]: iteration  done :  31  enodes  (cost  6 )
49.295 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
49.295 * * [simplify]: iteration  1 :  13  enodes  (cost  8 )
49.296 * * [simplify]: iteration  2 :  16  enodes  (cost  8 )
49.298 * * [simplify]: iteration  3 :  20  enodes  (cost  6 )
49.301 * * [simplify]: iteration  4 :  31  enodes  (cost  6 )
49.304 * * [simplify]: iteration  done :  31  enodes  (cost  6 )
49.305 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.306 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
49.307 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
49.309 * * [simplify]: iteration  3 :  30  enodes  (cost  6 )
49.313 * * [simplify]: iteration  4 :  31  enodes  (cost  6 )
49.316 * * [simplify]: iteration  done :  31  enodes  (cost  6 )
49.316 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.317 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
49.319 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
49.321 * * [simplify]: iteration  3 :  30  enodes  (cost  6 )
49.324 * * [simplify]: iteration  4 :  31  enodes  (cost  6 )
49.327 * * [simplify]: iteration  done :  31  enodes  (cost  6 )
49.328 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
49.329 * * [simplify]: iteration  1 :  12  enodes  (cost  12 )
49.330 * * [simplify]: iteration  2 :  14  enodes  (cost  12 )
49.331 * * [simplify]: iteration  done :  14  enodes  (cost  12 )
49.332 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.333 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
49.333 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
49.334 * * [simplify]: iteration  0 :  9  enodes  (cost  14 )
49.335 * * [simplify]: iteration  1 :  20  enodes  (cost  12 )
49.339 * * [simplify]: iteration  2 :  49  enodes  (cost  10 )
49.352 * * [simplify]: iteration  3 :  85  enodes  (cost  8 )
49.362 * * [simplify]: iteration  4 :  96  enodes  (cost  8 )
49.373 * * [simplify]: iteration  done :  96  enodes  (cost  8 )
49.374 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
49.375 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
49.376 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
49.380 * * [simplify]: iteration  3 :  38  enodes  (cost  5 )
49.384 * * [simplify]: iteration  4 :  40  enodes  (cost  5 )
49.387 * * [simplify]: iteration  done :  40  enodes  (cost  5 )
49.388 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
49.389 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
49.392 * * [simplify]: iteration  2 :  29  enodes  (cost  4 )
49.394 * * [simplify]: iteration  3 :  33  enodes  (cost  2 )
49.396 * * [simplify]: iteration  4 :  37  enodes  (cost  2 )
49.398 * * [simplify]: iteration  done :  37  enodes  (cost  2 )
49.399 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
49.404 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
49.405 * * [simplify]: iteration  2 :  26  enodes  (cost  10 )
49.409 * * [simplify]: iteration  3 :  39  enodes  (cost  8 )
49.417 * * [simplify]: iteration  4 :  76  enodes  (cost  8 )
49.432 * * [simplify]: iteration  5 :  83  enodes  (cost  8 )
49.442 * * [simplify]: iteration  done :  83  enodes  (cost  8 )
49.443 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.443 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
49.444 * * [simplify]: iteration  2 :  15  enodes  (cost  7 )
49.446 * * [simplify]: iteration  3 :  19  enodes  (cost  5 )
49.449 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
49.452 * * [simplify]: iteration  done :  30  enodes  (cost  5 )
49.453 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.454 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
49.455 * * [simplify]: iteration  2 :  16  enodes  (cost  2 )
49.456 * * [simplify]: iteration  3 :  20  enodes  (cost  2 )
49.458 * * [simplify]: iteration  done :  20  enodes  (cost  2 )
49.459 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
49.460 * * [simplify]: iteration  1 :  14  enodes  (cost  10 )
49.461 * * [simplify]: iteration  2 :  24  enodes  (cost  8 )
49.469 * * [simplify]: iteration  3 :  53  enodes  (cost  8 )
49.481 * * [simplify]: iteration  4 :  72  enodes  (cost  8 )
49.493 * * [simplify]: iteration  5 :  73  enodes  (cost  8 )
49.503 * * [simplify]: iteration  done :  73  enodes  (cost  8 )
49.503 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.504 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
49.505 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
49.507 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
49.511 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
49.514 * * [simplify]: iteration  done :  30  enodes  (cost  5 )
49.515 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
49.516 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
49.517 * * [simplify]: iteration  2 :  15  enodes  (cost  2 )
49.518 * * [simplify]: iteration  3 :  19  enodes  (cost  2 )
49.520 * * [simplify]: iteration  done :  19  enodes  (cost  2 )
49.521 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
49.521 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
49.522 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
49.526 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
49.527 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
49.528 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
49.528 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
49.529 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
49.530 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.531 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
49.532 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
49.534 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
49.537 * * [simplify]: iteration  4 :  32  enodes  (cost  5 )
49.541 * * [simplify]: iteration  done :  32  enodes  (cost  5 )
49.541 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
49.542 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
49.543 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
49.545 * * [simplify]: iteration  3 :  29  enodes  (cost  5 )
49.549 * * [simplify]: iteration  4 :  32  enodes  (cost  5 )
49.552 * * [simplify]: iteration  done :  32  enodes  (cost  5 )
49.552 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
49.553 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
49.554 * * [simplify]: iteration  2 :  13  enodes  (cost  4 )
49.556 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
49.559 * * [simplify]: iteration  4 :  29  enodes  (cost  4 )
49.563 * * [simplify]: iteration  done :  29  enodes  (cost  4 )
49.563 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
49.564 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
49.564 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
49.565 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
49.566 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.566 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
49.568 * * [simplify]: iteration  2 :  30  enodes  (cost  6 )
49.574 * * [simplify]: iteration  3 :  63  enodes  (cost  6 )
49.593 * * [simplify]: iteration  4 :  91  enodes  (cost  6 )
49.605 * * [simplify]: iteration  5 :  93  enodes  (cost  6 )
49.615 * * [simplify]: iteration  done :  93  enodes  (cost  6 )
49.616 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
49.617 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
49.619 * * [simplify]: iteration  2 :  30  enodes  (cost  6 )
49.625 * * [simplify]: iteration  3 :  63  enodes  (cost  6 )
49.640 * * [simplify]: iteration  4 :  91  enodes  (cost  6 )
49.655 * * [simplify]: iteration  5 :  93  enodes  (cost  6 )
49.666 * * [simplify]: iteration  done :  93  enodes  (cost  6 )
49.667 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
49.668 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
49.670 * * [simplify]: iteration  2 :  23  enodes  (cost  9 )
49.673 * * [simplify]: iteration  3 :  30  enodes  (cost  9 )
49.676 * * [simplify]: iteration  4 :  37  enodes  (cost  9 )
49.681 * * [simplify]: iteration  5 :  49  enodes  (cost  9 )
49.687 * * [simplify]: iteration  6 :  59  enodes  (cost  9 )
49.695 * * [simplify]: iteration  7 :  77  enodes  (cost  9 )
49.708 * * [simplify]: iteration  8 :  92  enodes  (cost  9 )
49.721 * * [simplify]: iteration  9 :  107  enodes  (cost  9 )
49.734 * * [simplify]: iteration  10 :  110  enodes  (cost  9 )
49.746 * * [simplify]: iteration  done :  110  enodes  (cost  9 )
49.747 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
49.748 * * [simplify]: iteration  1 :  18  enodes  (cost  10 )
49.750 * * [simplify]: iteration  2 :  42  enodes  (cost  9 )
49.758 * * [simplify]: iteration  3 :  84  enodes  (cost  9 )
49.789 * * [simplify]: iteration  4 :  160  enodes  (cost  9 )
49.838 * * [simplify]: iteration  5 :  271  enodes  (cost  9 )
49.903 * * [simplify]: iteration  6 :  316  enodes  (cost  9 )
49.960 * * [simplify]: iteration  7 :  344  enodes  (cost  9 )
50.044 * * [simplify]: iteration  8 :  383  enodes  (cost  9 )
50.101 * * [simplify]: iteration  done :  383  enodes  (cost  9 )
50.102 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
50.104 * * [simplify]: iteration  1 :  21  enodes  (cost  11 )
50.106 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
50.115 * * [simplify]: iteration  3 :  88  enodes  (cost  9 )
50.143 * * [simplify]: iteration  4 :  163  enodes  (cost  9 )
50.194 * * [simplify]: iteration  5 :  269  enodes  (cost  9 )
50.261 * * [simplify]: iteration  6 :  308  enodes  (cost  9 )
50.319 * * [simplify]: iteration  7 :  334  enodes  (cost  9 )
50.404 * * [simplify]: iteration  8 :  373  enodes  (cost  9 )
50.461 * * [simplify]: iteration  done :  373  enodes  (cost  9 )
50.462 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
50.463 * * [simplify]: iteration  1 :  20  enodes  (cost  10 )
50.465 * * [simplify]: iteration  2 :  35  enodes  (cost  9 )
50.472 * * [simplify]: iteration  3 :  68  enodes  (cost  9 )
50.487 * * [simplify]: iteration  4 :  116  enodes  (cost  9 )
50.520 * * [simplify]: iteration  5 :  206  enodes  (cost  9 )
50.614 * * [simplify]: iteration  6 :  329  enodes  (cost  9 )
50.678 * * [simplify]: iteration  7 :  357  enodes  (cost  9 )
50.758 * * [simplify]: iteration  8 :  403  enodes  (cost  9 )
50.819 * * [simplify]: iteration  done :  403  enodes  (cost  9 )
50.820 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
50.821 * * [simplify]: iteration  1 :  18  enodes  (cost  10 )
50.823 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
50.827 * * [simplify]: iteration  3 :  62  enodes  (cost  8 )
50.839 * * [simplify]: iteration  4 :  109  enodes  (cost  8 )
50.871 * * [simplify]: iteration  5 :  181  enodes  (cost  8 )
50.928 * * [simplify]: iteration  6 :  297  enodes  (cost  8 )
51.000 * * [simplify]: iteration  7 :  338  enodes  (cost  8 )
51.064 * * [simplify]: iteration  8 :  368  enodes  (cost  8 )
51.151 * * [simplify]: iteration  9 :  404  enodes  (cost  8 )
51.212 * * [simplify]: iteration  done :  404  enodes  (cost  8 )
51.213 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
51.214 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
51.217 * * [simplify]: iteration  2 :  43  enodes  (cost  7 )
51.224 * * [simplify]: iteration  3 :  98  enodes  (cost  7 )
51.251 * * [simplify]: iteration  4 :  167  enodes  (cost  7 )
51.287 * * [simplify]: iteration  5 :  235  enodes  (cost  7 )
51.337 * * [simplify]: iteration  6 :  317  enodes  (cost  7 )
51.416 * * [simplify]: iteration  7 :  393  enodes  (cost  7 )
51.482 * * [simplify]: iteration  8 :  412  enodes  (cost  7 )
51.555 * * [simplify]: iteration  9 :  431  enodes  (cost  7 )
51.625 * * [simplify]: iteration  done :  431  enodes  (cost  7 )
51.626 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
51.627 * * [simplify]: iteration  1 :  18  enodes  (cost  9 )
51.629 * * [simplify]: iteration  2 :  41  enodes  (cost  7 )
51.640 * * [simplify]: iteration  3 :  103  enodes  (cost  7 )
51.669 * * [simplify]: iteration  4 :  232  enodes  (cost  7 )
51.735 * * [simplify]: iteration  5 :  477  enodes  (cost  7 )
52.091 * * [simplify]: iteration  6 :  1228  enodes  (cost  7 )
54.752 * * [simplify]: iteration  7 :  4029  enodes  (cost  7 )
55.696 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
55.697 * * [simplify]: iteration  0 :  15  enodes  (cost  26 )
55.700 * * [simplify]: iteration  1 :  37  enodes  (cost  22 )
55.708 * * [simplify]: iteration  2 :  126  enodes  (cost  12 )
55.793 * * [simplify]: iteration  3 :  613  enodes  (cost  12 )
57.344 * * [simplify]: iteration  4 :  2708  enodes  (cost  12 )
58.659 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
58.660 * * [simplify]: iteration  0 :  13  enodes  (cost  26 )
58.662 * * [simplify]: iteration  1 :  34  enodes  (cost  26 )
58.670 * * [simplify]: iteration  2 :  126  enodes  (cost  14 )
58.742 * * [simplify]: iteration  3 :  509  enodes  (cost  14 )
59.527 * * [simplify]: iteration  4 :  1954  enodes  (cost  10 )
62.252 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
62.253 * * [simplify]: iteration  0 :  11  enodes  (cost  26 )
62.255 * * [simplify]: iteration  1 :  32  enodes  (cost  26 )
62.263 * * [simplify]: iteration  2 :  127  enodes  (cost  10 )
62.350 * * [simplify]: iteration  3 :  575  enodes  (cost  10 )
63.366 * * [simplify]: iteration  4 :  2104  enodes  (cost  8 )
66.988 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
66.988 * * [simplify]: iteration  0 :  9  enodes  (cost  19 )
66.989 * * [simplify]: iteration  1 :  17  enodes  (cost  19 )
66.992 * * [simplify]: iteration  2 :  32  enodes  (cost  15 )
66.998 * * [simplify]: iteration  3 :  65  enodes  (cost  15 )
67.014 * * [simplify]: iteration  4 :  92  enodes  (cost  15 )
67.029 * * [simplify]: iteration  5 :  94  enodes  (cost  15 )
67.040 * * [simplify]: iteration  done :  94  enodes  (cost  15 )
67.041 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
67.042 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
67.044 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
67.050 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
67.065 * * [simplify]: iteration  4 :  90  enodes  (cost  7 )
67.076 * * [simplify]: iteration  5 :  92  enodes  (cost  7 )
67.091 * * [simplify]: iteration  done :  92  enodes  (cost  7 )
67.091 * * [simplify]: iteration  0 :  9  enodes  (cost  26 )
67.093 * * [simplify]: iteration  1 :  27  enodes  (cost  26 )
67.099 * * [simplify]: iteration  2 :  117  enodes  (cost  8 )
67.188 * * [simplify]: iteration  3 :  615  enodes  (cost  8 )
68.599 * * [simplify]: iteration  4 :  2289  enodes  (cost  8 )
71.149 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
71.150 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
71.151 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
71.157 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
71.163 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
71.178 * * [simplify]: iteration  4 :  90  enodes  (cost  7 )
71.189 * * [simplify]: iteration  5 :  92  enodes  (cost  7 )
71.200 * * [simplify]: iteration  done :  92  enodes  (cost  7 )
71.200 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
71.201 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
71.204 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
71.210 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
71.228 * * [simplify]: iteration  4 :  90  enodes  (cost  7 )
71.240 * * [simplify]: iteration  5 :  92  enodes  (cost  7 )
71.250 * * [simplify]: iteration  done :  92  enodes  (cost  7 )
71.251 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
71.251 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
71.252 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
71.252 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
71.253 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
71.255 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
71.261 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
71.280 * * [simplify]: iteration  4 :  90  enodes  (cost  7 )
71.292 * * [simplify]: iteration  5 :  93  enodes  (cost  7 )
71.304 * * [simplify]: iteration  done :  93  enodes  (cost  7 )
71.305 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
71.305 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
71.308 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
71.313 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
71.333 * * [simplify]: iteration  4 :  90  enodes  (cost  7 )
71.345 * * [simplify]: iteration  5 :  93  enodes  (cost  7 )
71.356 * * [simplify]: iteration  done :  93  enodes  (cost  7 )
71.357 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
71.358 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
71.360 * * [simplify]: iteration  2 :  30  enodes  (cost  6 )
71.366 * * [simplify]: iteration  3 :  63  enodes  (cost  6 )
71.381 * * [simplify]: iteration  4 :  91  enodes  (cost  6 )
71.397 * * [simplify]: iteration  5 :  93  enodes  (cost  6 )
71.407 * * [simplify]: iteration  done :  93  enodes  (cost  6 )
71.408 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
71.408 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
71.408 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
71.409 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
71.410 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
71.411 * * [simplify]: iteration  2 :  22  enodes  (cost  4 )
71.415 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
71.417 * * [simplify]: iteration  done :  28  enodes  (cost  4 )
71.417 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
71.419 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
71.423 * * [simplify]: iteration  2 :  74  enodes  (cost  13 )
71.439 * * [simplify]: iteration  3 :  187  enodes  (cost  13 )
71.558 * * [simplify]: iteration  4 :  555  enodes  (cost  13 )
71.830 * * [simplify]: iteration  5 :  1331  enodes  (cost  13 )
73.778 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
73.778 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
73.779 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
73.779 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
73.780 * * [simplify]: iteration  done :  3  enodes  (cost  4 )
73.781 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
73.782 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
73.786 * * [simplify]: iteration  2 :  57  enodes  (cost  9 )
73.794 * * [simplify]: iteration  3 :  120  enodes  (cost  9 )
73.826 * * [simplify]: iteration  4 :  185  enodes  (cost  9 )
73.874 * * [simplify]: iteration  5 :  201  enodes  (cost  9 )
73.916 * * [simplify]: iteration  6 :  232  enodes  (cost  9 )
73.968 * * [simplify]: iteration  7 :  292  enodes  (cost  9 )
74.051 * * [simplify]: iteration  8 :  499  enodes  (cost  9 )
74.538 * * [simplify]: iteration  9 :  1425  enodes  (cost  9 )
76.919 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
76.919 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
76.920 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
76.921 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
76.922 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
76.924 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
76.926 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
76.926 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
76.927 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
76.928 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
76.929 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
76.931 * * [simplify]: iteration  4 :  16  enodes  (cost  6 )
76.933 * * [simplify]: iteration  done :  16  enodes  (cost  6 )
76.933 * [simplify]: Simplified to:
   (/ (sin y) y)
  (- (log (sin y)) (log y))
  (- (log (sin y)) (log y))
  (- (log (sin y)) (log y))
  (- (log (sin y)) (log y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (pow (/ (sin y) y) 3)
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (* (sqrt (sin y)) (sqrt (/ 1 y)))
  (* (sqrt (sin y)) (sqrt (/ 1 y)))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (* (sin y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (sin y) (sqrt (/ 1 y)))
  (/ (/ (sin y) (cbrt y)) (cbrt y))
  (/ (sin y) (sqrt y))
  (sin y)
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (sin y)
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (sin y)
  (sin y)
  (sin y)
  (/ (cbrt (sin y)) y)
  (/ (sqrt (sin y)) y)
  (/ (sin y) y)
  (sin y)
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
  (+ (- (log (sin y)) (log y)) (log x))
  (- (+ (log x) (log (sin y))) (log y))
  (- (+ (log x) (log (sin y))) (log y))
  (- (+ (log x) (log (sin y))) (log y))
  (+ (log (/ (sin y) y)) (log x))
  (log (/ (* x (sin y)) y))
  (exp (/ (* x (sin y)) y))
  (* (/ (pow (sin y) 3) (pow y 3)) (pow x 3))
  (* (pow (/ (sin y) y) 3) (pow x 3))
  (pow (* x (/ (sin y) y)) 3)
  (* (cbrt (/ (* x (sin y)) y)) (cbrt (/ (* x (sin y)) y)))
  (cbrt (/ (* x (sin y)) y))
  (pow (/ (* x (sin y)) y) 3)
  (sqrt (/ (* x (sin y)) y))
  (sqrt (/ (* x (sin y)) y))
  (* x (sin y))
  (/ (* (cbrt x) (sin y)) y)
  (/ (* (sqrt x) (sin y)) y)
  (/ (* x (sin y)) y)
  (* x (sin y))
  (* (sin y) x)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
76.934 * * * [progress]: adding candidates to table
76.996 * * [progress]: iteration 3 / 4
76.996 * * * [progress]: picking best candidate
77.020 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))>
77.020 * * * [progress]: localizing error
77.030 * * * [progress]: generating rewritten candidates
77.030 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
77.033 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
77.036 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
77.039 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
77.060 * * * [progress]: generating series expansions
77.060 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
77.060 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0
77.060 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.060 * [taylor]: Taking taylor expansion of 1/3 in y
77.060 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.060 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.060 * [taylor]: Taking taylor expansion of (sin y) in y
77.060 * [taylor]: Taking taylor expansion of y in y
77.060 * [taylor]: Taking taylor expansion of y in y
77.060 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.060 * [taylor]: Taking taylor expansion of 1/3 in y
77.060 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.060 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.060 * [taylor]: Taking taylor expansion of (sin y) in y
77.060 * [taylor]: Taking taylor expansion of y in y
77.060 * [taylor]: Taking taylor expansion of y in y
77.064 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0
77.064 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.064 * [taylor]: Taking taylor expansion of 1/3 in y
77.064 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.064 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.065 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.065 * [taylor]: Taking taylor expansion of y in y
77.065 * [taylor]: Taking taylor expansion of y in y
77.065 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.065 * [taylor]: Taking taylor expansion of 1/3 in y
77.065 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.065 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.065 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.065 * [taylor]: Taking taylor expansion of y in y
77.065 * [taylor]: Taking taylor expansion of y in y
77.079 * [approximate]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in (y) around 0
77.079 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.079 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.079 * [taylor]: Taking taylor expansion of 1/3 in y
77.079 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.079 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.079 * [taylor]: Taking taylor expansion of y in y
77.079 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.079 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.079 * [taylor]: Taking taylor expansion of -1 in y
77.079 * [taylor]: Taking taylor expansion of y in y
77.079 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.080 * [taylor]: Taking taylor expansion of -1 in y
77.080 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.080 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.080 * [taylor]: Taking taylor expansion of 1/3 in y
77.080 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.080 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.080 * [taylor]: Taking taylor expansion of y in y
77.080 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.080 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.080 * [taylor]: Taking taylor expansion of -1 in y
77.080 * [taylor]: Taking taylor expansion of y in y
77.080 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.080 * [taylor]: Taking taylor expansion of -1 in y
77.091 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
77.091 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0
77.091 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.091 * [taylor]: Taking taylor expansion of 1/3 in y
77.091 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.091 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.091 * [taylor]: Taking taylor expansion of (sin y) in y
77.091 * [taylor]: Taking taylor expansion of y in y
77.091 * [taylor]: Taking taylor expansion of y in y
77.091 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.091 * [taylor]: Taking taylor expansion of 1/3 in y
77.091 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.091 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.091 * [taylor]: Taking taylor expansion of (sin y) in y
77.091 * [taylor]: Taking taylor expansion of y in y
77.091 * [taylor]: Taking taylor expansion of y in y
77.095 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0
77.095 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.095 * [taylor]: Taking taylor expansion of 1/3 in y
77.095 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.095 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.095 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.095 * [taylor]: Taking taylor expansion of y in y
77.095 * [taylor]: Taking taylor expansion of y in y
77.096 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.096 * [taylor]: Taking taylor expansion of 1/3 in y
77.096 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.096 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.096 * [taylor]: Taking taylor expansion of y in y
77.096 * [taylor]: Taking taylor expansion of y in y
77.105 * [approximate]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in (y) around 0
77.105 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.105 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.105 * [taylor]: Taking taylor expansion of 1/3 in y
77.105 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.105 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.105 * [taylor]: Taking taylor expansion of y in y
77.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.105 * [taylor]: Taking taylor expansion of -1 in y
77.105 * [taylor]: Taking taylor expansion of y in y
77.106 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.106 * [taylor]: Taking taylor expansion of -1 in y
77.106 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.106 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.106 * [taylor]: Taking taylor expansion of 1/3 in y
77.106 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.106 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.106 * [taylor]: Taking taylor expansion of y in y
77.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.106 * [taylor]: Taking taylor expansion of -1 in y
77.106 * [taylor]: Taking taylor expansion of y in y
77.106 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.106 * [taylor]: Taking taylor expansion of -1 in y
77.117 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
77.117 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0
77.117 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.117 * [taylor]: Taking taylor expansion of 1/3 in y
77.117 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.117 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.117 * [taylor]: Taking taylor expansion of (sin y) in y
77.117 * [taylor]: Taking taylor expansion of y in y
77.117 * [taylor]: Taking taylor expansion of y in y
77.117 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y
77.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y
77.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y
77.117 * [taylor]: Taking taylor expansion of 1/3 in y
77.117 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y
77.117 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
77.117 * [taylor]: Taking taylor expansion of (sin y) in y
77.117 * [taylor]: Taking taylor expansion of y in y
77.117 * [taylor]: Taking taylor expansion of y in y
77.121 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0
77.121 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.121 * [taylor]: Taking taylor expansion of 1/3 in y
77.121 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.121 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.121 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.121 * [taylor]: Taking taylor expansion of y in y
77.121 * [taylor]: Taking taylor expansion of y in y
77.122 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y
77.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y
77.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y
77.122 * [taylor]: Taking taylor expansion of 1/3 in y
77.122 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y
77.122 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
77.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.122 * [taylor]: Taking taylor expansion of y in y
77.122 * [taylor]: Taking taylor expansion of y in y
77.131 * [approximate]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in (y) around 0
77.131 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.131 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.131 * [taylor]: Taking taylor expansion of 1/3 in y
77.131 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.131 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.131 * [taylor]: Taking taylor expansion of y in y
77.131 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.131 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.131 * [taylor]: Taking taylor expansion of -1 in y
77.131 * [taylor]: Taking taylor expansion of y in y
77.132 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.132 * [taylor]: Taking taylor expansion of -1 in y
77.132 * [taylor]: Taking taylor expansion of (* (pow (* y (sin (/ -1 y))) 1/3) (cbrt -1)) in y
77.132 * [taylor]: Taking taylor expansion of (pow (* y (sin (/ -1 y))) 1/3) in y
77.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* y (sin (/ -1 y)))))) in y
77.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (* y (sin (/ -1 y))))) in y
77.132 * [taylor]: Taking taylor expansion of 1/3 in y
77.132 * [taylor]: Taking taylor expansion of (log (* y (sin (/ -1 y)))) in y
77.132 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
77.132 * [taylor]: Taking taylor expansion of y in y
77.132 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.132 * [taylor]: Taking taylor expansion of -1 in y
77.132 * [taylor]: Taking taylor expansion of y in y
77.132 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.132 * [taylor]: Taking taylor expansion of -1 in y
77.143 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
77.144 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in (y) around 0
77.144 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in y
77.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin y) 2) (pow y 2))))) in y
77.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin y) 2) (pow y 2)))) in y
77.144 * [taylor]: Taking taylor expansion of 1/3 in y
77.144 * [taylor]: Taking taylor expansion of (log (/ (pow (sin y) 2) (pow y 2))) in y
77.144 * [taylor]: Taking taylor expansion of (/ (pow (sin y) 2) (pow y 2)) in y
77.144 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
77.144 * [taylor]: Taking taylor expansion of (sin y) in y
77.144 * [taylor]: Taking taylor expansion of y in y
77.144 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.144 * [taylor]: Taking taylor expansion of y in y
77.144 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in y
77.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin y) 2) (pow y 2))))) in y
77.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin y) 2) (pow y 2)))) in y
77.144 * [taylor]: Taking taylor expansion of 1/3 in y
77.144 * [taylor]: Taking taylor expansion of (log (/ (pow (sin y) 2) (pow y 2))) in y
77.144 * [taylor]: Taking taylor expansion of (/ (pow (sin y) 2) (pow y 2)) in y
77.144 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
77.144 * [taylor]: Taking taylor expansion of (sin y) in y
77.144 * [taylor]: Taking taylor expansion of y in y
77.144 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.144 * [taylor]: Taking taylor expansion of y in y
77.148 * [approximate]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in (y) around 0
77.148 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in y
77.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2))))) in y
77.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2)))) in y
77.148 * [taylor]: Taking taylor expansion of 1/3 in y
77.148 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 y)) 2) (pow y 2))) in y
77.148 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 y)) 2) (pow y 2)) in y
77.148 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
77.149 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.149 * [taylor]: Taking taylor expansion of y in y
77.149 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.149 * [taylor]: Taking taylor expansion of y in y
77.149 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in y
77.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2))))) in y
77.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2)))) in y
77.149 * [taylor]: Taking taylor expansion of 1/3 in y
77.149 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 y)) 2) (pow y 2))) in y
77.149 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 y)) 2) (pow y 2)) in y
77.149 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
77.149 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.149 * [taylor]: Taking taylor expansion of y in y
77.149 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.149 * [taylor]: Taking taylor expansion of y in y
77.162 * [approximate]: Taking taylor expansion of (* (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) (pow (cbrt -1) 2)) in (y) around 0
77.162 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) (pow (cbrt -1) 2)) in y
77.162 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) in y
77.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2))))) in y
77.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2)))) in y
77.162 * [taylor]: Taking taylor expansion of 1/3 in y
77.162 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ -1 y)) 2) (pow y 2))) in y
77.162 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (pow y 2)) in y
77.162 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
77.162 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.162 * [taylor]: Taking taylor expansion of -1 in y
77.162 * [taylor]: Taking taylor expansion of y in y
77.162 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.162 * [taylor]: Taking taylor expansion of y in y
77.163 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
77.163 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.163 * [taylor]: Taking taylor expansion of -1 in y
77.163 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) (pow (cbrt -1) 2)) in y
77.163 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) in y
77.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2))))) in y
77.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2)))) in y
77.163 * [taylor]: Taking taylor expansion of 1/3 in y
77.163 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ -1 y)) 2) (pow y 2))) in y
77.163 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (pow y 2)) in y
77.163 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
77.163 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.163 * [taylor]: Taking taylor expansion of -1 in y
77.163 * [taylor]: Taking taylor expansion of y in y
77.163 * [taylor]: Taking taylor expansion of (pow y 2) in y
77.163 * [taylor]: Taking taylor expansion of y in y
77.164 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
77.164 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.164 * [taylor]: Taking taylor expansion of -1 in y
77.182 * * * [progress]: simplifying candidates
77.185 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) 1))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ (sin y) y))
  (cbrt 1)
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) 1))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ (sin y) y))
  (cbrt 1)
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) 1))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ (sin y) y))
  (cbrt 1)
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (/ (sin y) y) (/ (sin y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (+ 1 1)
  (+ (log (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))))
  (log (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (exp (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* (/ (sin y) y) (/ (sin y) y))
  (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (sqrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (sqrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (cbrt (sin y)) (cbrt y))))
  (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))))
  (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))))
  (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)))
  (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (cbrt (sin y)) y)))
  (* (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (cbrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) 1)))
  (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) y)))
  (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) (cbrt y))))
  (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y))))
  (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) (sqrt y))))
  (* (cbrt (/ 1 1)) (cbrt (/ 1 1)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* 1 1)
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (/ (sin y) y)) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) 1)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (sqrt y))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ 1 1)))
  (* (cbrt (/ (sin y) y)) (cbrt 1))
  (* (cbrt (/ (sin y) y)) (cbrt (sin y)))
  (* (cbrt (/ (sin y) y)) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))))
  (* (cbrt (/ (sin y) y)) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (/ (sin y) y)) 1)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ 1 y)) (cbrt (/ (sin y) y)))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (/ (sin y) y)))
  (- (pow 1 1/3) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y)))))
  (* (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y))))) (cbrt -1))
  (- (pow 1 1/3) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y)))))
  (* (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y))))) (cbrt -1))
  (- (pow 1 1/3) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y)))))
  (* (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y))))) (cbrt -1))
  (- (+ (* 1/405 (pow y 4)) (pow 1 1/3)) (* 1/9 (pow y 2)))
  (exp (* 1/3 (+ (* 2 (log (/ 1 y))) (log (pow (sin y) 2)))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (+ (* 2 (log (/ -1 y))) (log (pow (sin y) 2))))))
77.185 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.186 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.187 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.187 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.188 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
77.188 * * [simplify]: iteration  done :  6  enodes  (cost  12 )
77.189 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.190 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.190 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.191 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.191 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.192 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.192 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
77.193 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
77.195 * * [simplify]: iteration  2 :  23  enodes  (cost  14 )
77.198 * * [simplify]: iteration  3 :  29  enodes  (cost  14 )
77.201 * * [simplify]: iteration  done :  29  enodes  (cost  14 )
77.202 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
77.203 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
77.203 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
77.204 * * [simplify]: iteration  1 :  9  enodes  (cost  11 )
77.205 * * [simplify]: iteration  2 :  11  enodes  (cost  11 )
77.206 * * [simplify]: iteration  3 :  12  enodes  (cost  11 )
77.207 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
77.208 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
77.208 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
77.209 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
77.210 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
77.211 * * [simplify]: iteration  2 :  17  enodes  (cost  8 )
77.212 * * [simplify]: iteration  3 :  22  enodes  (cost  8 )
77.214 * * [simplify]: iteration  done :  22  enodes  (cost  8 )
77.215 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.215 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.216 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
77.216 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
77.217 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
77.218 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
77.218 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
77.219 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
77.219 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
77.220 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
77.220 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
77.221 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
77.222 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
77.222 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
77.223 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
77.223 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.224 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.225 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
77.225 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
77.226 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
77.227 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.227 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.228 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
77.228 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
77.229 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
77.229 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.230 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.230 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
77.231 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
77.231 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
77.231 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
77.232 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
77.232 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
77.232 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
77.233 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
77.233 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
77.234 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
77.234 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
77.234 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
77.235 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
77.235 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
77.236 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
77.236 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
77.237 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
77.237 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
77.237 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
77.238 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
77.239 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
77.239 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
77.240 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
77.241 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
77.242 * * [simplify]: iteration  1 :  7  enodes  (cost  17 )
77.242 * * [simplify]: iteration  2 :  9  enodes  (cost  7 )
77.244 * * [simplify]: iteration  3 :  14  enodes  (cost  4 )
77.245 * * [simplify]: iteration  4 :  20  enodes  (cost  4 )
77.247 * * [simplify]: iteration  5 :  30  enodes  (cost  4 )
77.251 * * [simplify]: iteration  6 :  53  enodes  (cost  4 )
77.264 * * [simplify]: iteration  7 :  118  enodes  (cost  4 )
77.307 * * [simplify]: iteration  8 :  324  enodes  (cost  4 )
77.756 * * [simplify]: iteration  9 :  1243  enodes  (cost  4 )
80.138 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
80.141 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.142 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.142 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.143 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.143 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.144 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.144 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.145 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.145 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
80.146 * * [simplify]: iteration  done :  6  enodes  (cost  12 )
80.147 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.147 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.148 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.148 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.149 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.149 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.150 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
80.151 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
80.153 * * [simplify]: iteration  2 :  23  enodes  (cost  14 )
80.156 * * [simplify]: iteration  3 :  29  enodes  (cost  14 )
80.159 * * [simplify]: iteration  done :  29  enodes  (cost  14 )
80.159 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
80.160 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
80.161 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
80.161 * * [simplify]: iteration  1 :  9  enodes  (cost  11 )
80.162 * * [simplify]: iteration  2 :  11  enodes  (cost  11 )
80.163 * * [simplify]: iteration  3 :  12  enodes  (cost  11 )
80.164 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
80.165 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
80.166 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
80.166 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
80.167 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
80.168 * * [simplify]: iteration  2 :  17  enodes  (cost  8 )
80.170 * * [simplify]: iteration  3 :  22  enodes  (cost  8 )
80.171 * * [simplify]: iteration  done :  22  enodes  (cost  8 )
80.172 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.173 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.173 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
80.174 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
80.175 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
80.175 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
80.176 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
80.176 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
80.177 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
80.178 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
80.178 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
80.179 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
80.179 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
80.180 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
80.181 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
80.181 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.182 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.182 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
80.183 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
80.184 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
80.184 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.185 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.185 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
80.186 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
80.186 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
80.187 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.187 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.188 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
80.188 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
80.188 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
80.189 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
80.189 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
80.190 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
80.190 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
80.191 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
80.191 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
80.192 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
80.193 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
80.193 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
80.193 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
80.194 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
80.194 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
80.195 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
80.195 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
80.196 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
80.196 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
80.197 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
80.197 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
80.198 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
80.198 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
80.199 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
80.200 * * [simplify]: iteration  1 :  7  enodes  (cost  17 )
80.200 * * [simplify]: iteration  2 :  9  enodes  (cost  7 )
80.202 * * [simplify]: iteration  3 :  14  enodes  (cost  4 )
80.203 * * [simplify]: iteration  4 :  20  enodes  (cost  4 )
80.205 * * [simplify]: iteration  5 :  30  enodes  (cost  4 )
80.209 * * [simplify]: iteration  6 :  53  enodes  (cost  4 )
80.221 * * [simplify]: iteration  7 :  118  enodes  (cost  4 )
80.265 * * [simplify]: iteration  8 :  324  enodes  (cost  4 )
80.718 * * [simplify]: iteration  9 :  1243  enodes  (cost  4 )
83.095 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
83.096 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.096 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.097 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.098 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.098 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.099 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.099 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.100 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.100 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
83.101 * * [simplify]: iteration  done :  6  enodes  (cost  12 )
83.102 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.102 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.103 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.103 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.104 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.104 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.105 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
83.106 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
83.107 * * [simplify]: iteration  2 :  23  enodes  (cost  14 )
83.110 * * [simplify]: iteration  3 :  29  enodes  (cost  14 )
83.113 * * [simplify]: iteration  done :  29  enodes  (cost  14 )
83.114 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
83.115 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
83.115 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
83.116 * * [simplify]: iteration  1 :  9  enodes  (cost  11 )
83.117 * * [simplify]: iteration  2 :  11  enodes  (cost  11 )
83.118 * * [simplify]: iteration  3 :  12  enodes  (cost  11 )
83.119 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
83.120 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
83.120 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
83.121 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
83.122 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
83.123 * * [simplify]: iteration  2 :  17  enodes  (cost  8 )
83.125 * * [simplify]: iteration  3 :  22  enodes  (cost  8 )
83.126 * * [simplify]: iteration  done :  22  enodes  (cost  8 )
83.127 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.128 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.128 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
83.129 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
83.130 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
83.130 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
83.131 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
83.131 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
83.132 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
83.133 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
83.138 * * [simplify]: iteration  done :  6  enodes  (cost  7 )
83.139 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
83.139 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
83.140 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
83.141 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
83.141 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.142 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.142 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
83.143 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
83.144 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
83.145 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.145 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.146 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
83.146 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
83.147 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
83.147 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.148 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.148 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
83.149 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
83.149 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
83.150 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
83.150 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
83.151 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
83.151 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
83.151 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
83.152 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
83.152 * * [simplify]: iteration  done :  4  enodes  (cost  5 )
83.153 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
83.153 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
83.153 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
83.154 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
83.154 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
83.155 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
83.156 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
83.156 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
83.156 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
83.157 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
83.158 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
83.158 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
83.159 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
83.159 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
83.160 * * [simplify]: iteration  1 :  7  enodes  (cost  17 )
83.161 * * [simplify]: iteration  2 :  9  enodes  (cost  7 )
83.162 * * [simplify]: iteration  3 :  14  enodes  (cost  4 )
83.163 * * [simplify]: iteration  4 :  20  enodes  (cost  4 )
83.165 * * [simplify]: iteration  5 :  30  enodes  (cost  4 )
83.169 * * [simplify]: iteration  6 :  53  enodes  (cost  4 )
83.181 * * [simplify]: iteration  7 :  118  enodes  (cost  4 )
83.226 * * [simplify]: iteration  8 :  324  enodes  (cost  4 )
83.693 * * [simplify]: iteration  9 :  1243  enodes  (cost  4 )
86.352 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
86.353 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
86.353 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
86.354 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
86.354 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
86.355 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
86.355 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
86.356 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
86.356 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
86.357 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
86.357 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
86.357 * * [simplify]: iteration  0 :  4  enodes  (cost  9 )
86.358 * * [simplify]: iteration  1 :  8  enodes  (cost  9 )
86.359 * * [simplify]: iteration  2 :  14  enodes  (cost  9 )
86.361 * * [simplify]: iteration  3 :  21  enodes  (cost  9 )
86.364 * * [simplify]: iteration  4 :  26  enodes  (cost  9 )
86.366 * * [simplify]: iteration  done :  26  enodes  (cost  9 )
86.367 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
86.368 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
86.368 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
86.369 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
86.369 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
86.369 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
86.370 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
86.371 * * [simplify]: iteration  2 :  9  enodes  (cost  8 )
86.372 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
86.372 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
86.373 * * [simplify]: iteration  1 :  8  enodes  (cost  12 )
86.374 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
86.375 * * [simplify]: iteration  3 :  11  enodes  (cost  8 )
86.376 * * [simplify]: iteration  done :  11  enodes  (cost  8 )
86.376 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
86.377 * * [simplify]: iteration  1 :  8  enodes  (cost  12 )
86.378 * * [simplify]: iteration  2 :  12  enodes  (cost  12 )
86.380 * * [simplify]: iteration  3 :  17  enodes  (cost  12 )
86.382 * * [simplify]: iteration  4 :  35  enodes  (cost  12 )
86.387 * * [simplify]: iteration  5 :  75  enodes  (cost  12 )
86.409 * * [simplify]: iteration  6 :  181  enodes  (cost  12 )
86.510 * * [simplify]: iteration  7 :  552  enodes  (cost  12 )
87.445 * * [simplify]: iteration  8 :  2249  enodes  (cost  12 )
89.679 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
89.680 * * [simplify]: iteration  0 :  4  enodes  (cost  9 )
89.680 * * [simplify]: iteration  1 :  8  enodes  (cost  9 )
89.682 * * [simplify]: iteration  2 :  14  enodes  (cost  9 )
89.683 * * [simplify]: iteration  3 :  21  enodes  (cost  9 )
89.686 * * [simplify]: iteration  4 :  26  enodes  (cost  9 )
89.689 * * [simplify]: iteration  done :  26  enodes  (cost  9 )
89.690 * * [simplify]: iteration  0 :  7  enodes  (cost  25 )
89.690 * * [simplify]: iteration  done :  7  enodes  (cost  25 )
89.691 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
89.692 * * [simplify]: iteration  done :  6  enodes  (cost  12 )
89.692 * * [simplify]: iteration  0 :  7  enodes  (cost  35 )
89.693 * * [simplify]: iteration  1 :  15  enodes  (cost  35 )
89.696 * * [simplify]: iteration  2 :  24  enodes  (cost  13 )
89.700 * * [simplify]: iteration  3 :  38  enodes  (cost  7 )
89.712 * * [simplify]: iteration  4 :  84  enodes  (cost  7 )
89.732 * * [simplify]: iteration  5 :  195  enodes  (cost  7 )
89.804 * * [simplify]: iteration  6 :  504  enodes  (cost  7 )
90.335 * * [simplify]: iteration  7 :  1764  enodes  (cost  7 )
92.293 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
92.294 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
92.295 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
92.295 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
92.296 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
92.296 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
92.297 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
92.298 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
92.298 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
92.299 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
92.299 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
92.300 * * [simplify]: iteration  0 :  7  enodes  (cost  25 )
92.300 * * [simplify]: iteration  done :  7  enodes  (cost  25 )
92.301 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.302 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.303 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.303 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.304 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.304 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.305 * * [simplify]: iteration  0 :  9  enodes  (cost  29 )
92.306 * * [simplify]: iteration  1 :  15  enodes  (cost  29 )
92.308 * * [simplify]: iteration  2 :  24  enodes  (cost  29 )
92.311 * * [simplify]: iteration  3 :  30  enodes  (cost  29 )
92.315 * * [simplify]: iteration  done :  30  enodes  (cost  29 )
92.315 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
92.316 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
92.317 * * [simplify]: iteration  0 :  8  enodes  (cost  23 )
92.318 * * [simplify]: iteration  1 :  10  enodes  (cost  23 )
92.324 * * [simplify]: iteration  2 :  12  enodes  (cost  23 )
92.325 * * [simplify]: iteration  3 :  13  enodes  (cost  23 )
92.326 * * [simplify]: iteration  done :  13  enodes  (cost  23 )
92.327 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
92.328 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
92.328 * * [simplify]: iteration  0 :  8  enodes  (cost  21 )
92.330 * * [simplify]: iteration  1 :  12  enodes  (cost  17 )
92.331 * * [simplify]: iteration  2 :  18  enodes  (cost  17 )
92.333 * * [simplify]: iteration  3 :  23  enodes  (cost  17 )
92.334 * * [simplify]: iteration  done :  23  enodes  (cost  17 )
92.335 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.336 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.336 * * [simplify]: iteration  0 :  8  enodes  (cost  21 )
92.337 * * [simplify]: iteration  1 :  10  enodes  (cost  21 )
92.338 * * [simplify]: iteration  done :  10  enodes  (cost  21 )
92.339 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
92.339 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
92.340 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
92.341 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
92.341 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
92.342 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
92.343 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
92.343 * * [simplify]: iteration  1 :  9  enodes  (cost  9 )
92.344 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
92.345 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
92.345 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.346 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.347 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
92.347 * * [simplify]: iteration  1 :  11  enodes  (cost  17 )
92.348 * * [simplify]: iteration  done :  11  enodes  (cost  17 )
92.349 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.350 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.350 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
92.351 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
92.352 * * [simplify]: iteration  done :  8  enodes  (cost  11 )
92.352 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
92.353 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
92.354 * * [simplify]: iteration  0 :  4  enodes  (cost  9 )
92.354 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
92.355 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
92.355 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
92.356 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
92.356 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
92.357 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
92.357 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
92.358 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
92.358 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
92.359 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
92.359 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
92.360 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
92.360 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
92.361 * * [simplify]: iteration  done :  7  enodes  (cost  9 )
92.362 * * [simplify]: iteration  0 :  7  enodes  (cost  27 )
92.363 * * [simplify]: iteration  1 :  11  enodes  (cost  27 )
92.364 * * [simplify]: iteration  2 :  13  enodes  (cost  15 )
92.366 * * [simplify]: iteration  3 :  22  enodes  (cost  8 )
92.369 * * [simplify]: iteration  4 :  37  enodes  (cost  8 )
92.374 * * [simplify]: iteration  5 :  63  enodes  (cost  8 )
92.385 * * [simplify]: iteration  6 :  137  enodes  (cost  8 )
92.431 * * [simplify]: iteration  7 :  361  enodes  (cost  8 )
92.790 * * [simplify]: iteration  8 :  1276  enodes  (cost  8 )
94.477 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
94.478 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.478 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
94.479 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.480 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
94.480 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.481 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
94.481 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
94.482 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
94.482 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
94.482 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
94.488 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
94.489 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.490 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
94.490 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.491 * * [simplify]: iteration  done :  6  enodes  (cost  13 )
94.492 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.493 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.494 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.494 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.495 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.496 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.497 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
94.498 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
94.499 * * [simplify]: iteration  done :  9  enodes  (cost  13 )
94.499 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
94.500 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
94.501 * * [simplify]: iteration  done :  9  enodes  (cost  13 )
94.501 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.502 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.503 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.504 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.505 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.506 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.506 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
94.507 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
94.508 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
94.508 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
94.509 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.510 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.511 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.511 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.512 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.513 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.514 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
94.515 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
94.515 * * [simplify]: iteration  done :  9  enodes  (cost  13 )
94.516 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
94.517 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
94.518 * * [simplify]: iteration  done :  9  enodes  (cost  13 )
94.518 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.519 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.521 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.521 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.522 * * [simplify]: iteration  1 :  11  enodes  (cost  14 )
94.523 * * [simplify]: iteration  done :  11  enodes  (cost  14 )
94.524 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.524 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
94.525 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
94.525 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
94.526 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
94.527 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
94.527 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
94.527 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
94.528 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
94.528 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
94.529 * * [simplify]: iteration  0 :  7  enodes  (cost  18 )
94.529 * * [simplify]: iteration  1 :  8  enodes  (cost  18 )
94.530 * * [simplify]: iteration  done :  8  enodes  (cost  18 )
94.531 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
94.531 * * [simplify]: iteration  1 :  8  enodes  (cost  12 )
94.532 * * [simplify]: iteration  done :  8  enodes  (cost  12 )
94.533 * * [simplify]: iteration  0 :  11  enodes  (cost  20 )
94.534 * * [simplify]: iteration  1 :  18  enodes  (cost  20 )
94.536 * * [simplify]: iteration  2 :  27  enodes  (cost  20 )
94.540 * * [simplify]: iteration  3 :  33  enodes  (cost  20 )
94.543 * * [simplify]: iteration  done :  33  enodes  (cost  20 )
94.544 * * [simplify]: iteration  0 :  10  enodes  (cost  17 )
94.545 * * [simplify]: iteration  1 :  13  enodes  (cost  17 )
94.546 * * [simplify]: iteration  2 :  15  enodes  (cost  17 )
94.548 * * [simplify]: iteration  3 :  16  enodes  (cost  17 )
94.550 * * [simplify]: iteration  done :  16  enodes  (cost  17 )
94.550 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
94.551 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
94.553 * * [simplify]: iteration  2 :  21  enodes  (cost  14 )
94.555 * * [simplify]: iteration  3 :  26  enodes  (cost  14 )
94.560 * * [simplify]: iteration  done :  26  enodes  (cost  14 )
94.561 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
94.562 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
94.563 * * [simplify]: iteration  done :  13  enodes  (cost  16 )
94.564 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
94.565 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
94.566 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
94.566 * * [simplify]: iteration  0 :  9  enodes  (cost  12 )
94.567 * * [simplify]: iteration  1 :  12  enodes  (cost  10 )
94.568 * * [simplify]: iteration  2 :  14  enodes  (cost  10 )
94.569 * * [simplify]: iteration  done :  14  enodes  (cost  10 )
94.570 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
94.571 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
94.573 * * [simplify]: iteration  done :  15  enodes  (cost  14 )
94.574 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
94.574 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
94.575 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
94.576 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
94.577 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
94.578 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
94.578 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
94.579 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
94.580 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
94.580 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
94.581 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
94.582 * * [simplify]: iteration  done :  7  enodes  (cost  9 )
94.582 * * [simplify]: iteration  0 :  7  enodes  (cost  19 )
94.583 * * [simplify]: iteration  1 :  10  enodes  (cost  19 )
94.584 * * [simplify]: iteration  2 :  12  enodes  (cost  19 )
94.586 * * [simplify]: iteration  done :  12  enodes  (cost  19 )
94.587 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
94.587 * * [simplify]: iteration  1 :  7  enodes  (cost  12 )
94.588 * * [simplify]: iteration  done :  7  enodes  (cost  12 )
94.588 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
94.589 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
94.590 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
94.591 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
94.591 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
94.592 * * [simplify]: iteration  1 :  7  enodes  (cost  12 )
94.593 * * [simplify]: iteration  done :  7  enodes  (cost  12 )
94.593 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
94.594 * * [simplify]: iteration  1 :  8  enodes  (cost  12 )
94.595 * * [simplify]: iteration  done :  8  enodes  (cost  12 )
94.596 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
94.597 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
94.598 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
94.599 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
94.600 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
94.601 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
94.601 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
94.602 * * [simplify]: iteration  1 :  9  enodes  (cost  12 )
94.603 * * [simplify]: iteration  done :  9  enodes  (cost  12 )
94.604 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
94.604 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
94.605 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
94.606 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
94.607 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
94.608 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
94.609 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
94.609 * * [simplify]: iteration  1 :  9  enodes  (cost  12 )
94.610 * * [simplify]: iteration  done :  9  enodes  (cost  12 )
94.611 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
94.612 * * [simplify]: iteration  1 :  9  enodes  (cost  12 )
94.613 * * [simplify]: iteration  done :  9  enodes  (cost  12 )
94.613 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
94.614 * * [simplify]: iteration  1 :  9  enodes  (cost  12 )
94.616 * * [simplify]: iteration  done :  9  enodes  (cost  12 )
94.616 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
94.617 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
94.618 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
94.618 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
94.619 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
94.620 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
94.621 * * [simplify]: iteration  done :  11  enodes  (cost  10 )
94.621 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
94.622 * * [simplify]: iteration  1 :  7  enodes  (cost  12 )
94.623 * * [simplify]: iteration  done :  7  enodes  (cost  12 )
94.624 * * [simplify]: iteration  0 :  6  enodes  (cost  12 )
94.624 * * [simplify]: iteration  1 :  7  enodes  (cost  12 )
94.625 * * [simplify]: iteration  done :  7  enodes  (cost  12 )
94.626 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
94.626 * * [simplify]: iteration  done :  5  enodes  (cost  11 )
94.627 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
94.628 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
94.632 * * [simplify]: iteration  done :  7  enodes  (cost  9 )
94.633 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
94.634 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
94.636 * * [simplify]: iteration  done :  7  enodes  (cost  9 )
94.636 * * [simplify]: iteration  0 :  14  enodes  (cost  15 )
94.640 * * [simplify]: iteration  1 :  35  enodes  (cost  13 )
94.646 * * [simplify]: iteration  2 :  80  enodes  (cost  13 )
94.665 * * [simplify]: iteration  3 :  210  enodes  (cost  13 )
94.814 * * [simplify]: iteration  4 :  718  enodes  (cost  13 )
95.326 * * [simplify]: iteration  5 :  2002  enodes  (cost  13 )
96.893 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
96.894 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
96.895 * * [simplify]: iteration  1 :  26  enodes  (cost  10 )
96.899 * * [simplify]: iteration  2 :  46  enodes  (cost  9 )
96.906 * * [simplify]: iteration  3 :  99  enodes  (cost  8 )
96.931 * * [simplify]: iteration  4 :  189  enodes  (cost  5 )
96.987 * * [simplify]: iteration  5 :  451  enodes  (cost  5 )
97.255 * * [simplify]: iteration  6 :  1263  enodes  (cost  5 )
99.100 * * [simplify]: iteration  7 :  4245  enodes  (cost  5 )
100.289 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
100.290 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
100.292 * * [simplify]: iteration  1 :  26  enodes  (cost  14 )
100.295 * * [simplify]: iteration  2 :  42  enodes  (cost  14 )
100.301 * * [simplify]: iteration  3 :  98  enodes  (cost  13 )
100.319 * * [simplify]: iteration  4 :  212  enodes  (cost  10 )
100.368 * * [simplify]: iteration  5 :  520  enodes  (cost  9 )
100.634 * * [simplify]: iteration  6 :  1373  enodes  (cost  9 )
101.913 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
101.914 * * [simplify]: iteration  0 :  14  enodes  (cost  15 )
101.916 * * [simplify]: iteration  1 :  35  enodes  (cost  13 )
101.922 * * [simplify]: iteration  2 :  80  enodes  (cost  13 )
101.939 * * [simplify]: iteration  3 :  210  enodes  (cost  13 )
102.082 * * [simplify]: iteration  4 :  718  enodes  (cost  13 )
102.579 * * [simplify]: iteration  5 :  2002  enodes  (cost  13 )
104.113 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
104.114 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
104.120 * * [simplify]: iteration  1 :  26  enodes  (cost  10 )
104.123 * * [simplify]: iteration  2 :  46  enodes  (cost  9 )
104.137 * * [simplify]: iteration  3 :  99  enodes  (cost  8 )
104.154 * * [simplify]: iteration  4 :  189  enodes  (cost  5 )
104.208 * * [simplify]: iteration  5 :  451  enodes  (cost  5 )
104.472 * * [simplify]: iteration  6 :  1263  enodes  (cost  5 )
106.508 * * [simplify]: iteration  7 :  4245  enodes  (cost  5 )
107.688 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
107.689 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
107.690 * * [simplify]: iteration  1 :  26  enodes  (cost  14 )
107.694 * * [simplify]: iteration  2 :  42  enodes  (cost  14 )
107.700 * * [simplify]: iteration  3 :  98  enodes  (cost  13 )
107.723 * * [simplify]: iteration  4 :  212  enodes  (cost  10 )
107.772 * * [simplify]: iteration  5 :  520  enodes  (cost  9 )
108.032 * * [simplify]: iteration  6 :  1373  enodes  (cost  9 )
109.312 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
109.312 * * [simplify]: iteration  0 :  14  enodes  (cost  15 )
109.315 * * [simplify]: iteration  1 :  35  enodes  (cost  13 )
109.320 * * [simplify]: iteration  2 :  80  enodes  (cost  13 )
109.336 * * [simplify]: iteration  3 :  210  enodes  (cost  13 )
109.475 * * [simplify]: iteration  4 :  718  enodes  (cost  13 )
109.967 * * [simplify]: iteration  5 :  2002  enodes  (cost  13 )
111.495 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
111.496 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
111.497 * * [simplify]: iteration  1 :  26  enodes  (cost  10 )
111.500 * * [simplify]: iteration  2 :  46  enodes  (cost  9 )
111.508 * * [simplify]: iteration  3 :  99  enodes  (cost  8 )
111.525 * * [simplify]: iteration  4 :  189  enodes  (cost  5 )
111.578 * * [simplify]: iteration  5 :  451  enodes  (cost  5 )
111.839 * * [simplify]: iteration  6 :  1263  enodes  (cost  5 )
113.666 * * [simplify]: iteration  7 :  4245  enodes  (cost  5 )
114.830 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
114.831 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
114.832 * * [simplify]: iteration  1 :  26  enodes  (cost  14 )
114.836 * * [simplify]: iteration  2 :  42  enodes  (cost  14 )
114.842 * * [simplify]: iteration  3 :  98  enodes  (cost  13 )
114.865 * * [simplify]: iteration  4 :  212  enodes  (cost  10 )
114.916 * * [simplify]: iteration  5 :  520  enodes  (cost  9 )
115.166 * * [simplify]: iteration  6 :  1373  enodes  (cost  9 )
116.452 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
116.453 * * [simplify]: iteration  0 :  14  enodes  (cost  15 )
116.455 * * [simplify]: iteration  1 :  35  enodes  (cost  13 )
116.461 * * [simplify]: iteration  2 :  85  enodes  (cost  13 )
116.477 * * [simplify]: iteration  3 :  199  enodes  (cost  13 )
116.592 * * [simplify]: iteration  4 :  565  enodes  (cost  13 )
116.860 * * [simplify]: iteration  5 :  1347  enodes  (cost  13 )
119.078 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
119.079 * * [simplify]: iteration  0 :  13  enodes  (cost  15 )
119.080 * * [simplify]: iteration  1 :  36  enodes  (cost  14 )
119.086 * * [simplify]: iteration  2 :  76  enodes  (cost  12 )
119.100 * * [simplify]: iteration  3 :  193  enodes  (cost  9 )
119.163 * * [simplify]: iteration  4 :  464  enodes  (cost  9 )
119.441 * * [simplify]: iteration  5 :  1433  enodes  (cost  6 )
120.463 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
120.464 * * [simplify]: iteration  0 :  16  enodes  (cost  20 )
120.466 * * [simplify]: iteration  1 :  41  enodes  (cost  20 )
120.473 * * [simplify]: iteration  2 :  89  enodes  (cost  18 )
120.492 * * [simplify]: iteration  3 :  219  enodes  (cost  16 )
120.569 * * [simplify]: iteration  4 :  665  enodes  (cost  15 )
121.162 * * [simplify]: iteration  5 :  3094  enodes  (cost  13 )
122.515 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
122.516 * [simplify]: Simplified to:
   (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (sqrt (sin y)))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  1
  (cbrt (/ (sin y) y))
  1
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (/ (sin y) y)
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (sqrt (sin y)))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  1
  (cbrt (/ (sin y) y))
  1
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (/ (sin y) y)
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  (log (cbrt (/ (sin y) y)))
  (exp (cbrt (/ (sin y) y)))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (sqrt (/ (sin y) y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt (sin y)) (cbrt y)))
  (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (cbrt (/ (cbrt (sin y)) (sqrt y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (/ (cbrt (sin y)) y))
  (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt (sin y)) (cbrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (/ (sqrt (sin y)) (sqrt y)))
  (cbrt (sqrt (sin y)))
  (cbrt (/ (sqrt (sin y)) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ (sin y) (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ (sin y) (sqrt y)))
  1
  (cbrt (/ (sin y) y))
  1
  (cbrt (/ (sin y) y))
  (cbrt (sin y))
  (cbrt (/ 1 y))
  (cbrt (sin y))
  (cbrt y)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (cbrt (/ (sin y) y)))
  (/ (sin y) y)
  (sqrt (cbrt (/ (sin y) y)))
  (sqrt (cbrt (/ (sin y) y)))
  2/3
  2
  (* (/ (sin y) y) (/ (sin y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  2
  (* 2 (log (cbrt (/ (sin y) y))))
  (* 2 (log (cbrt (/ (sin y) y))))
  (exp (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* (/ (sin y) y) (/ (sin y) y))
  (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (pow (cbrt (/ (sin y) y)) 6)
  (fabs (cbrt (/ (sin y) y)))
  (fabs (cbrt (/ (sin y) y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (cbrt (sin y)) (cbrt y))))
  (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))))
  (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (cbrt (sin y)) y)))
  (* (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (cbrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) y)))
  (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) (cbrt y))))
  (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y))))
  (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) (sqrt y))))
  1
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  1
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (pow (cbrt (cbrt (/ (sin y) y))) 4)
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))
  (cbrt (/ (sin y) y))
  (cbrt (/ (sin y) y))
  1
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y))))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (cbrt (/ (sin y) y))
  (cbrt (/ (sin y) y))
  2/3
  2
  (* (cbrt (/ (sin y) y)) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (sqrt (/ (sin y) y))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (sqrt y))))
  (* (cbrt (sqrt (sin y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (sqrt y))))
  (* (cbrt (/ (sin y) y)) 1)
  (* 1 (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (sin y)))
  (* (cbrt (/ (sin y) y)) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))))
  (* (cbrt (/ (sin y) y)) (sqrt (cbrt (/ (sin y) y))))
  (cbrt (/ (sin y) y))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ 1 y)) (cbrt (/ (sin y) y)))
  (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (/ (sin y) y)))
  (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (cbrt (/ (sin y) y))
  (* (cbrt (/ (neg (sin y)) y)) (cbrt -1))
  (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (cbrt (/ (sin y) y))
  (* (cbrt (/ (neg (sin y)) y)) (cbrt -1))
  (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2))))
  (cbrt (/ (sin y) y))
  (* (cbrt (/ (neg (sin y)) y)) (cbrt -1))
  (- (+ 1 (* 1/405 (pow y 4))) (* 1/9 (pow y 2)))
  (pow (/ (sin y) y) 2/3)
  (* (pow (* (/ -1 y) (sin y)) 2/3) (pow (cbrt -1) 2))
122.518 * * * [progress]: adding candidates to table
122.666 * * [progress]: iteration 4 / 4
122.666 * * * [progress]: picking best candidate
122.686 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))>
122.687 * * * [progress]: localizing error
122.696 * * * [progress]: generating rewritten candidates
122.696 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
122.698 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
122.700 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
122.701 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
122.709 * * * [progress]: generating series expansions
122.710 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
122.710 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
122.710 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.710 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.710 * [taylor]: Taking taylor expansion of 1/3 in x
122.710 * [taylor]: Taking taylor expansion of (log x) in x
122.710 * [taylor]: Taking taylor expansion of x in x
122.710 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.710 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.710 * [taylor]: Taking taylor expansion of 1/3 in x
122.710 * [taylor]: Taking taylor expansion of (log x) in x
122.710 * [taylor]: Taking taylor expansion of x in x
122.718 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
122.718 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.718 * [taylor]: Taking taylor expansion of 1/3 in x
122.718 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.718 * [taylor]: Taking taylor expansion of x in x
122.723 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.723 * [taylor]: Taking taylor expansion of 1/3 in x
122.723 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.723 * [taylor]: Taking taylor expansion of x in x
122.731 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
122.731 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.731 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.731 * [taylor]: Taking taylor expansion of 1/3 in x
122.731 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.731 * [taylor]: Taking taylor expansion of x in x
122.731 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.731 * [taylor]: Taking taylor expansion of -1 in x
122.731 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.731 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.731 * [taylor]: Taking taylor expansion of 1/3 in x
122.731 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.731 * [taylor]: Taking taylor expansion of x in x
122.731 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.731 * [taylor]: Taking taylor expansion of -1 in x
122.741 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
122.741 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
122.741 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.741 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.741 * [taylor]: Taking taylor expansion of 1/3 in x
122.741 * [taylor]: Taking taylor expansion of (log x) in x
122.741 * [taylor]: Taking taylor expansion of x in x
122.741 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.741 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.742 * [taylor]: Taking taylor expansion of 1/3 in x
122.742 * [taylor]: Taking taylor expansion of (log x) in x
122.742 * [taylor]: Taking taylor expansion of x in x
122.748 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
122.748 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.749 * [taylor]: Taking taylor expansion of 1/3 in x
122.749 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.749 * [taylor]: Taking taylor expansion of x in x
122.749 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.749 * [taylor]: Taking taylor expansion of 1/3 in x
122.749 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.749 * [taylor]: Taking taylor expansion of x in x
122.766 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
122.767 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.767 * [taylor]: Taking taylor expansion of 1/3 in x
122.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.767 * [taylor]: Taking taylor expansion of x in x
122.767 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.767 * [taylor]: Taking taylor expansion of -1 in x
122.767 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.767 * [taylor]: Taking taylor expansion of 1/3 in x
122.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.767 * [taylor]: Taking taylor expansion of x in x
122.767 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.767 * [taylor]: Taking taylor expansion of -1 in x
122.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
122.776 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
122.776 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.776 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.776 * [taylor]: Taking taylor expansion of 1/3 in x
122.777 * [taylor]: Taking taylor expansion of (log x) in x
122.777 * [taylor]: Taking taylor expansion of x in x
122.777 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
122.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
122.777 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
122.777 * [taylor]: Taking taylor expansion of 1/3 in x
122.777 * [taylor]: Taking taylor expansion of (log x) in x
122.777 * [taylor]: Taking taylor expansion of x in x
122.785 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
122.785 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.785 * [taylor]: Taking taylor expansion of 1/3 in x
122.785 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.785 * [taylor]: Taking taylor expansion of x in x
122.785 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.785 * [taylor]: Taking taylor expansion of 1/3 in x
122.785 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.785 * [taylor]: Taking taylor expansion of x in x
122.792 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
122.792 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.793 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.793 * [taylor]: Taking taylor expansion of 1/3 in x
122.793 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.793 * [taylor]: Taking taylor expansion of x in x
122.793 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.793 * [taylor]: Taking taylor expansion of -1 in x
122.793 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
122.793 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
122.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
122.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
122.793 * [taylor]: Taking taylor expansion of 1/3 in x
122.793 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
122.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
122.793 * [taylor]: Taking taylor expansion of x in x
122.793 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.793 * [taylor]: Taking taylor expansion of -1 in x
122.803 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
122.803 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
122.803 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
122.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
122.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
122.803 * [taylor]: Taking taylor expansion of 1/3 in x
122.803 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
122.803 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.803 * [taylor]: Taking taylor expansion of x in x
122.803 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
122.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
122.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
122.803 * [taylor]: Taking taylor expansion of 1/3 in x
122.803 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
122.804 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.804 * [taylor]: Taking taylor expansion of x in x
122.811 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
122.811 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
122.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
122.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
122.811 * [taylor]: Taking taylor expansion of 1/3 in x
122.811 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
122.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
122.811 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.811 * [taylor]: Taking taylor expansion of x in x
122.812 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
122.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
122.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
122.812 * [taylor]: Taking taylor expansion of 1/3 in x
122.812 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
122.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
122.812 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.812 * [taylor]: Taking taylor expansion of x in x
122.820 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0
122.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x
122.820 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
122.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
122.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
122.820 * [taylor]: Taking taylor expansion of 1/3 in x
122.820 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
122.820 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
122.820 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.820 * [taylor]: Taking taylor expansion of x in x
122.820 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
122.820 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.820 * [taylor]: Taking taylor expansion of -1 in x
122.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x
122.820 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
122.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
122.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
122.820 * [taylor]: Taking taylor expansion of 1/3 in x
122.820 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
122.820 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
122.820 * [taylor]: Taking taylor expansion of (pow x 2) in x
122.820 * [taylor]: Taking taylor expansion of x in x
122.821 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
122.821 * [taylor]: Taking taylor expansion of (cbrt -1) in x
122.821 * [taylor]: Taking taylor expansion of -1 in x
122.832 * * * [progress]: simplifying candidates
122.839 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))
  (exp (* 1/3 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (pow (cbrt -1) 2))
122.839 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.839 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.840 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.840 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.841 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
122.841 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
122.842 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.842 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.843 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.844 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.844 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.844 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.845 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
122.845 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
122.845 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
122.846 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
122.846 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
122.847 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
122.847 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
122.848 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
122.848 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
122.849 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
122.849 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
122.850 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
122.851 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
122.851 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
122.852 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
122.854 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
122.857 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
122.865 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
122.912 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
123.378 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
125.795 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
125.796 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.796 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.797 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.797 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.798 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.798 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.799 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.799 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.799 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
125.800 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
125.800 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.801 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.801 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.802 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.802 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.802 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.803 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
125.803 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
125.803 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
125.804 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
125.804 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
125.805 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
125.805 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
125.806 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
125.806 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
125.806 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
125.807 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
125.808 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
125.808 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
125.809 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
125.810 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
125.812 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
125.814 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
125.823 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
125.869 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
126.547 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
129.025 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
129.025 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.026 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.026 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.026 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.027 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.027 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.028 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.029 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.029 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
129.030 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
129.030 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.030 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.031 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.031 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.032 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.032 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.033 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
129.033 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
129.033 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
129.033 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
129.034 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
129.034 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
129.035 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
129.035 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
129.035 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
129.036 * * [simplify]: iteration  0 :  4  enodes  (cost  8 )
129.037 * * [simplify]: iteration  1 :  5  enodes  (cost  8 )
129.037 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
129.038 * * [simplify]: iteration  3 :  12  enodes  (cost  1 )
129.039 * * [simplify]: iteration  4 :  16  enodes  (cost  1 )
129.040 * * [simplify]: iteration  5 :  22  enodes  (cost  1 )
129.042 * * [simplify]: iteration  6 :  32  enodes  (cost  1 )
129.045 * * [simplify]: iteration  7 :  55  enodes  (cost  1 )
129.053 * * [simplify]: iteration  8 :  122  enodes  (cost  1 )
129.099 * * [simplify]: iteration  9 :  333  enodes  (cost  1 )
129.572 * * [simplify]: iteration  10 :  1272  enodes  (cost  1 )
132.011 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
132.012 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
132.012 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
132.013 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
132.014 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
132.014 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
132.014 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
132.015 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
132.015 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
132.016 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
132.016 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
132.017 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
132.017 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
132.017 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
132.018 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
132.018 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
132.019 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
132.019 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
132.020 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
132.021 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
132.021 * * [simplify]: iteration  2 :  7  enodes  (cost  5 )
132.022 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
132.023 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
132.023 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
132.024 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
132.025 * * [simplify]: iteration  3 :  9  enodes  (cost  5 )
132.025 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
132.026 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
132.026 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
132.027 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
132.028 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
132.030 * * [simplify]: iteration  4 :  33  enodes  (cost  6 )
132.035 * * [simplify]: iteration  5 :  73  enodes  (cost  6 )
132.063 * * [simplify]: iteration  6 :  177  enodes  (cost  6 )
132.165 * * [simplify]: iteration  7 :  560  enodes  (cost  6 )
133.054 * * [simplify]: iteration  8 :  2247  enodes  (cost  6 )
135.240 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
135.241 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
135.241 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
135.242 * * [simplify]: iteration  0 :  5  enodes  (cost  13 )
135.242 * * [simplify]: iteration  done :  5  enodes  (cost  13 )
135.243 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
135.243 * * [simplify]: iteration  done :  4  enodes  (cost  6 )
135.244 * * [simplify]: iteration  0 :  5  enodes  (cost  17 )
135.244 * * [simplify]: iteration  1 :  13  enodes  (cost  17 )
135.247 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
135.255 * * [simplify]: iteration  3 :  34  enodes  (cost  3 )
135.260 * * [simplify]: iteration  4 :  53  enodes  (cost  3 )
135.267 * * [simplify]: iteration  5 :  87  enodes  (cost  3 )
135.277 * * [simplify]: iteration  6 :  151  enodes  (cost  3 )
135.320 * * [simplify]: iteration  7 :  335  enodes  (cost  3 )
135.454 * * [simplify]: iteration  8 :  832  enodes  (cost  3 )
136.593 * * [simplify]: iteration  9 :  3226  enodes  (cost  3 )
138.366 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
138.367 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
138.367 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
138.368 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
138.368 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
138.369 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
138.369 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
138.370 * * [simplify]: iteration  0 :  5  enodes  (cost  13 )
138.370 * * [simplify]: iteration  done :  5  enodes  (cost  13 )
138.371 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
138.371 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
138.372 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
138.372 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
138.373 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
138.373 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
138.374 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
138.374 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
138.374 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
138.375 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
138.375 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
138.376 * * [simplify]: iteration  0 :  5  enodes  (cost  15 )
138.376 * * [simplify]: iteration  1 :  9  enodes  (cost  15 )
138.378 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
138.384 * * [simplify]: iteration  3 :  20  enodes  (cost  5 )
138.386 * * [simplify]: iteration  4 :  35  enodes  (cost  5 )
138.391 * * [simplify]: iteration  5 :  61  enodes  (cost  5 )
138.401 * * [simplify]: iteration  6 :  131  enodes  (cost  5 )
138.448 * * [simplify]: iteration  7 :  348  enodes  (cost  5 )
138.800 * * [simplify]: iteration  8 :  1255  enodes  (cost  5 )
140.418 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
140.419 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.419 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
140.420 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.420 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
140.421 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.421 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
140.422 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
140.422 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
140.422 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
140.423 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
140.423 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
140.424 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.424 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
140.425 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.425 * * [simplify]: iteration  done :  4  enodes  (cost  7 )
140.426 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
140.427 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
140.427 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
140.428 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
140.428 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
140.429 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
140.430 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
140.430 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
140.431 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
140.431 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
140.432 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
140.432 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
140.433 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.434 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
140.434 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
140.435 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
140.436 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
140.436 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
140.436 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
140.437 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
140.437 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
140.437 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
140.438 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
140.439 * * [simplify]: iteration  1 :  6  enodes  (cost  9 )
140.439 * * [simplify]: iteration  done :  6  enodes  (cost  9 )
140.440 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
140.440 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
140.441 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
140.441 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
140.442 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
140.442 * * [simplify]: iteration  done :  8  enodes  (cost  4 )
140.443 * * [simplify]: iteration  0 :  5  enodes  (cost  10 )
140.444 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
140.445 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
140.446 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
140.446 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
140.447 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
140.447 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
140.448 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
140.448 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
140.449 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
140.450 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
140.450 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
140.451 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
140.451 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
140.452 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
140.452 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
140.453 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
140.453 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
140.454 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
140.455 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
140.455 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
140.456 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
140.457 * * [simplify]: iteration  0 :  4  enodes  (cost  6 )
140.457 * * [simplify]: iteration  1 :  5  enodes  (cost  6 )
140.458 * * [simplify]: iteration  done :  5  enodes  (cost  6 )
140.458 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
140.459 * * [simplify]: iteration  done :  3  enodes  (cost  5 )
140.459 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
140.460 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
140.463 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
140.466 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
140.472 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
140.492 * * [simplify]: iteration  5 :  171  enodes  (cost  2 )
140.548 * * [simplify]: iteration  6 :  353  enodes  (cost  2 )
140.738 * * [simplify]: iteration  7 :  904  enodes  (cost  2 )
142.145 * * [simplify]: iteration  8 :  3078  enodes  (cost  2 )
143.966 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
143.967 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
143.968 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
143.971 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
143.981 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
143.990 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
144.017 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
144.130 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
144.636 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
146.431 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
146.432 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
146.433 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
146.436 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
146.442 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
146.464 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
146.539 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
146.829 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
148.456 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
149.746 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
149.747 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
149.749 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
149.751 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
149.755 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
149.760 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
149.776 * * [simplify]: iteration  5 :  171  enodes  (cost  2 )
149.830 * * [simplify]: iteration  6 :  353  enodes  (cost  2 )
150.021 * * [simplify]: iteration  7 :  904  enodes  (cost  2 )
151.456 * * [simplify]: iteration  8 :  3078  enodes  (cost  2 )
153.305 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
153.306 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
153.307 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
153.309 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
153.314 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
153.322 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
153.355 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
153.463 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
153.978 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
155.788 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
155.789 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
155.790 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
155.793 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
155.798 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
155.825 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
155.896 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
156.190 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
157.625 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
158.917 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
158.917 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
158.919 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
158.921 * * [simplify]: iteration  2 :  28  enodes  (cost  5 )
158.924 * * [simplify]: iteration  3 :  50  enodes  (cost  2 )
158.930 * * [simplify]: iteration  4 :  87  enodes  (cost  2 )
158.947 * * [simplify]: iteration  5 :  171  enodes  (cost  2 )
159.002 * * [simplify]: iteration  6 :  353  enodes  (cost  2 )
159.195 * * [simplify]: iteration  7 :  904  enodes  (cost  2 )
160.613 * * [simplify]: iteration  8 :  3078  enodes  (cost  2 )
162.445 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
162.446 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
162.447 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
162.449 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
162.454 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
162.462 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
162.497 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
162.608 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
163.119 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
164.925 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
164.925 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
164.927 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
164.930 * * [simplify]: iteration  2 :  40  enodes  (cost  11 )
164.935 * * [simplify]: iteration  3 :  95  enodes  (cost  10 )
164.956 * * [simplify]: iteration  4 :  227  enodes  (cost  9 )
165.027 * * [simplify]: iteration  5 :  546  enodes  (cost  7 )
165.322 * * [simplify]: iteration  6 :  1204  enodes  (cost  6 )
166.982 * * [simplify]: iteration  7 :  3460  enodes  (cost  2 )
168.257 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
168.258 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
168.259 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
168.263 * * [simplify]: iteration  2 :  39  enodes  (cost  5 )
168.272 * * [simplify]: iteration  3 :  79  enodes  (cost  3 )
168.290 * * [simplify]: iteration  4 :  156  enodes  (cost  3 )
168.342 * * [simplify]: iteration  5 :  315  enodes  (cost  3 )
168.532 * * [simplify]: iteration  6 :  887  enodes  (cost  3 )
169.756 * * [simplify]: iteration  7 :  2939  enodes  (cost  3 )
171.183 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
171.184 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
171.185 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
171.188 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
171.197 * * [simplify]: iteration  3 :  131  enodes  (cost  5 )
171.240 * * [simplify]: iteration  4 :  286  enodes  (cost  3 )
171.384 * * [simplify]: iteration  5 :  617  enodes  (cost  3 )
172.327 * * [simplify]: iteration  6 :  1980  enodes  (cost  3 )
173.625 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
173.626 * * [simplify]: iteration  0 :  15  enodes  (cost  17 )
173.628 * * [simplify]: iteration  1 :  31  enodes  (cost  16 )
173.632 * * [simplify]: iteration  2 :  66  enodes  (cost  14 )
173.643 * * [simplify]: iteration  3 :  189  enodes  (cost  11 )
173.702 * * [simplify]: iteration  4 :  553  enodes  (cost  10 )
174.326 * * [simplify]: iteration  5 :  2139  enodes  (cost  10 )
175.510 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
175.510 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  2/3
  2
  (* x x)
  (* (cbrt x) (cbrt x))
  2
  (* 2 (log (cbrt x)))
  (* 2 (log (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* x x)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (* (cbrt x) (cbrt x))
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* 1 (cbrt x))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (cbrt x)
  (pow x 2/3)
  (pow x 2/3)
  (* (cbrt (* x x)) (pow (cbrt -1) 2))
175.511 * * * [progress]: adding candidates to table
175.567 * [progress]: [Phase 3 of 3] Extracting.
175.567 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))> #<alt (λ (x y) (/ (* x (sin y)) y))> #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (* (/ x (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y))))> #<alt (λ (x y) (* (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cbrt (sin y)) (sqrt y))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))> #<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (* (* (cbrt (sin y)) (cbrt (sin y))) x) (/ (cbrt (sin y)) y)))> #<alt (λ (x y) (* (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (sin y)) (cbrt y))))>)
175.568 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (* x (/ (sin y) y)) y x)
175.568 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (#<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))> #<alt (λ (x y) (/ (* x (sin y)) y))> #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (* (/ x (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y))))> #<alt (λ (x y) (* (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cbrt (sin y)) (sqrt y))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))> #<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (* (* (cbrt (sin y)) (cbrt (sin y))) x) (/ (cbrt (sin y)) y)))> #<alt (λ (x y) (* (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (sin y)) (cbrt y))))>)
175.629 * * * * [regimes]: Trying to branch on (* x (/ (sin y) y)) from (#<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))> #<alt (λ (x y) (/ (* x (sin y)) y))> #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (* (/ x (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y))))> #<alt (λ (x y) (* (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cbrt (sin y)) (sqrt y))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))> #<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (* (* (cbrt (sin y)) (cbrt (sin y))) x) (/ (cbrt (sin y)) y)))> #<alt (λ (x y) (* (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (sin y)) (cbrt y))))>)
175.699 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))> #<alt (λ (x y) (/ (* x (sin y)) y))> #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (* (/ x (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y))))> #<alt (λ (x y) (* (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cbrt (sin y)) (sqrt y))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))> #<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (* (* (cbrt (sin y)) (cbrt (sin y))) x) (/ (cbrt (sin y)) y)))> #<alt (λ (x y) (* (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (sin y)) (cbrt y))))>)
175.759 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y))))> #<alt (λ (x y) (/ (* x (sin y)) y))> #<alt (λ (x y) (* x (* (sin y) (/ 1 y))))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (* (/ x (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y))))> #<alt (λ (x y) (* (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cbrt (sin y)) (sqrt y))))> #<alt (λ (x y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (sin y) y))))> #<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (* (* (cbrt (sin y)) (cbrt (sin y))) x) (/ (cbrt (sin y)) y)))> #<alt (λ (x y) (* (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (sin y)) (cbrt y))))>)
175.820 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
175.820 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ (sin y) y))
175.820 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
175.820 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
175.820 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
175.820 * [simplify]: Simplified to:
   (* x (/ (sin y) y))
177.824 * [regime-testing]: End program error score: 0.1258719371180412