0.266 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (- x y) 2.0))
0.015 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.016 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
0.017 * * [simplify]: iteration  2 :  19  enodes  (cost  7 )
0.019 * * [simplify]: iteration  3 :  29  enodes  (cost  7 )
0.028 * * [simplify]: iteration  4 :  39  enodes  (cost  7 )
0.032 * * [simplify]: iteration  5 :  50  enodes  (cost  7 )
0.037 * * [simplify]: iteration  6 :  64  enodes  (cost  7 )
0.044 * * [simplify]: iteration  7 :  73  enodes  (cost  7 )
0.052 * * [simplify]: iteration  8 :  89  enodes  (cost  7 )
0.062 * * [simplify]: iteration  9 :  111  enodes  (cost  7 )
0.079 * * [simplify]: iteration  10 :  135  enodes  (cost  7 )
0.097 * * [simplify]: iteration  11 :  139  enodes  (cost  7 )
0.114 * * [simplify]: iteration  12 :  143  enodes  (cost  7 )
0.134 * * [simplify]: iteration  13 :  146  enodes  (cost  7 )
0.152 * * [simplify]: iteration  done :  146  enodes  (cost  7 )
0.152 * [simplify]: Simplified to:
   (+ x (/ (- x y) 2.0))
0.153 * * [progress]: iteration 1 / 4
0.153 * * * [progress]: picking best candidate
0.154 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (/ (- x y) 2.0)))>
0.154 * * * [progress]: localizing error
0.159 * * * [progress]: generating rewritten candidates
0.159 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.173 * * * [progress]: generating series expansions
0.173 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.173 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
0.173 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
0.173 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.173 * [taylor]: Taking taylor expansion of 1.5 in y
0.173 * [taylor]: Taking taylor expansion of x in y
0.173 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.173 * [taylor]: Taking taylor expansion of 0.5 in y
0.174 * [taylor]: Taking taylor expansion of y in y
0.174 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.174 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.174 * [taylor]: Taking taylor expansion of 1.5 in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.174 * [taylor]: Taking taylor expansion of 0.5 in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.174 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.174 * [taylor]: Taking taylor expansion of 1.5 in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.174 * [taylor]: Taking taylor expansion of 0.5 in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.177 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.177 * [taylor]: Taking taylor expansion of 0.5 in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.180 * [taylor]: Taking taylor expansion of 1.5 in y
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.186 * [taylor]: Taking taylor expansion of 0 in y
0.186 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
0.186 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
0.186 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.186 * [taylor]: Taking taylor expansion of 1.5 in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.186 * [taylor]: Taking taylor expansion of x in y
0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.186 * [taylor]: Taking taylor expansion of 0.5 in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.187 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.187 * [taylor]: Taking taylor expansion of 1.5 in x
0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.187 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.187 * [taylor]: Taking taylor expansion of 0.5 in x
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.187 * [taylor]: Taking taylor expansion of y in x
0.187 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.187 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.187 * [taylor]: Taking taylor expansion of 1.5 in x
0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.188 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.188 * [taylor]: Taking taylor expansion of 0.5 in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.188 * [taylor]: Taking taylor expansion of 1.5 in y
0.189 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.190 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.190 * [taylor]: Taking taylor expansion of 0.5 in y
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.190 * [taylor]: Taking taylor expansion of y in y
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.196 * [taylor]: Taking taylor expansion of 0 in y
0.200 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
0.201 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.201 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.201 * [taylor]: Taking taylor expansion of 0.5 in y
0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.201 * [taylor]: Taking taylor expansion of y in y
0.202 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.202 * [taylor]: Taking taylor expansion of 1.5 in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.202 * [taylor]: Taking taylor expansion of x in y
0.202 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.202 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of 0.5 in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.202 * [taylor]: Taking taylor expansion of 1.5 in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.202 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of 0.5 in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.202 * [taylor]: Taking taylor expansion of 1.5 in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of (- 1.5) in y
0.204 * [taylor]: Taking taylor expansion of 1.5 in y
0.205 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.205 * [taylor]: Taking taylor expansion of 0.5 in y
0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.205 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of 0 in y
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.216 * * * [progress]: simplifying candidates
0.217 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ x (/ (- x y) 2.0)))
  (log1p (+ x (/ (- x y) 2.0)))
  (* (exp x) (exp (/ (- x y) 2.0)))
  (log (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
  (cbrt (+ x (/ (- x y) 2.0)))
  (* (* (+ x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0))) (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (+ (pow x 3) (pow (/ (- x y) 2.0) 3))
  (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0))))
  (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
  (- x (/ (- x y) 2.0))
  (+ x (/ (- x y) 2.0))
  (+ x (/ x 2.0))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
0.218 * * [simplify]: iteration  0 :  36  enodes  (cost  194 )
0.225 * * [simplify]: iteration  1 :  98  enodes  (cost  186 )
0.240 * * [simplify]: iteration  2 :  234  enodes  (cost  172 )
0.282 * * [simplify]: iteration  3 :  676  enodes  (cost  172 )
0.463 * * [simplify]: iteration  4 :  2709  enodes  (cost  171 )
1.121 * * [simplify]: iteration  done :  5000  enodes  (cost  171 )
1.121 * [simplify]: Simplified to:
   (expm1 (+ x (/ (- x y) 2.0)))
  (log1p (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (log (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
  (cbrt (+ x (/ (- x y) 2.0)))
  (pow (+ x (/ (- x y) 2.0)) 3)
  (sqrt (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (+ (pow x 3) (pow (/ (- x y) 2.0) 3))
  (fma x x (* (/ (- x y) 2.0) (- (/ (- x y) 2.0) x)))
  (fma (/ (- y x) 2.0) (/ (- x y) 2.0) (* x x))
  (- x (/ (- x y) 2.0))
  (+ x (/ (- x y) 2.0))
  (+ x (/ x 2.0))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
1.122 * * * [progress]: adding candidates to table
1.170 * * [progress]: iteration 2 / 4
1.170 * * * [progress]: picking best candidate
1.179 * * * * [pick]: Picked  #<alt (λ (x y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (/ (- x y) 2.0)))>
1.179 * * * [progress]: localizing error
1.188 * * * [progress]: generating rewritten candidates
1.188 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.189 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.189 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.197 * * * [progress]: generating series expansions
1.198 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.198 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.198 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.198 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.198 * [taylor]: Taking taylor expansion of 1/3 in x
1.198 * [taylor]: Taking taylor expansion of (log x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.199 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.199 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.199 * [taylor]: Taking taylor expansion of 1/3 in x
1.199 * [taylor]: Taking taylor expansion of (log x) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.256 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.256 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.256 * [taylor]: Taking taylor expansion of 1/3 in x
1.256 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.256 * [taylor]: Taking taylor expansion of x in x
1.257 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.258 * [taylor]: Taking taylor expansion of 1/3 in x
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.318 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.318 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.318 * [taylor]: Taking taylor expansion of -1 in x
1.319 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.319 * [taylor]: Taking taylor expansion of 1/3 in x
1.319 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.319 * [taylor]: Taking taylor expansion of x in x
1.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.320 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.320 * [taylor]: Taking taylor expansion of -1 in x
1.321 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.321 * [taylor]: Taking taylor expansion of 1/3 in x
1.321 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.321 * [taylor]: Taking taylor expansion of x in x
1.396 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.396 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.396 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.396 * [taylor]: Taking taylor expansion of 1/3 in x
1.396 * [taylor]: Taking taylor expansion of (log x) in x
1.396 * [taylor]: Taking taylor expansion of x in x
1.397 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.397 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.397 * [taylor]: Taking taylor expansion of 1/3 in x
1.397 * [taylor]: Taking taylor expansion of (log x) in x
1.397 * [taylor]: Taking taylor expansion of x in x
1.450 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.450 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.451 * [taylor]: Taking taylor expansion of 1/3 in x
1.451 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.451 * [taylor]: Taking taylor expansion of x in x
1.452 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.452 * [taylor]: Taking taylor expansion of 1/3 in x
1.452 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.452 * [taylor]: Taking taylor expansion of x in x
1.517 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.517 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.517 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.517 * [taylor]: Taking taylor expansion of -1 in x
1.518 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.518 * [taylor]: Taking taylor expansion of 1/3 in x
1.518 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.518 * [taylor]: Taking taylor expansion of x in x
1.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.519 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.519 * [taylor]: Taking taylor expansion of -1 in x
1.520 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.520 * [taylor]: Taking taylor expansion of 1/3 in x
1.520 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.597 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.597 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.597 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.597 * [taylor]: Taking taylor expansion of 1/3 in x
1.597 * [taylor]: Taking taylor expansion of (log x) in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.598 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.598 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.598 * [taylor]: Taking taylor expansion of 1/3 in x
1.598 * [taylor]: Taking taylor expansion of (log x) in x
1.598 * [taylor]: Taking taylor expansion of x in x
1.658 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.659 * [taylor]: Taking taylor expansion of 1/3 in x
1.659 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.660 * [taylor]: Taking taylor expansion of 1/3 in x
1.660 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.723 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.723 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.723 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.723 * [taylor]: Taking taylor expansion of -1 in x
1.725 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.725 * [taylor]: Taking taylor expansion of 1/3 in x
1.725 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.726 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.726 * [taylor]: Taking taylor expansion of -1 in x
1.727 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.727 * [taylor]: Taking taylor expansion of 1/3 in x
1.727 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.727 * [taylor]: Taking taylor expansion of x in x
1.799 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.799 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
1.799 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.799 * [taylor]: Taking taylor expansion of 1/3 in x
1.799 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.799 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.799 * [taylor]: Taking taylor expansion of x in x
1.800 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.801 * [taylor]: Taking taylor expansion of 1/3 in x
1.801 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.801 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.801 * [taylor]: Taking taylor expansion of x in x
1.865 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.866 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.866 * [taylor]: Taking taylor expansion of 1/3 in x
1.866 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.866 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.866 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.866 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.868 * [taylor]: Taking taylor expansion of 1/3 in x
1.868 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.868 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.937 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
1.937 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.937 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.937 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.937 * [taylor]: Taking taylor expansion of -1 in x
1.938 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.938 * [taylor]: Taking taylor expansion of 1/3 in x
1.938 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.938 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.938 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.938 * [taylor]: Taking taylor expansion of x in x
1.940 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.940 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.940 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.940 * [taylor]: Taking taylor expansion of -1 in x
1.941 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.941 * [taylor]: Taking taylor expansion of 1/3 in x
1.941 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.941 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.941 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.941 * [taylor]: Taking taylor expansion of x in x
2.030 * * * [progress]: simplifying candidates
2.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (* (cbrt x) (cbrt x)))
  (log1p (* (cbrt x) (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))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
2.034 * * [simplify]: iteration  0 :  65  enodes  (cost  554 )
2.062 * * [simplify]: iteration  1 :  122  enodes  (cost  495 )
2.100 * * [simplify]: iteration  2 :  367  enodes  (cost  423 )
2.212 * * [simplify]: iteration  3 :  1231  enodes  (cost  405 )
2.849 * * [simplify]: iteration  4 :  4187  enodes  (cost  400 )
6.324 * * [simplify]: iteration  done :  5000  enodes  (cost  400 )
6.325 * [simplify]: Simplified to:
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (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))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (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))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (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))
  (expm1 (pow x 2/3))
  (log1p (pow x 2/3))
  2/3
  2
  (pow x 2)
  (pow x 2/3)
  2
  (log (pow x 2/3))
  (log (pow x 2/3))
  (exp (pow x 2/3))
  (pow x 2)
  (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3)))
  (cbrt (pow x 2/3))
  (pow x 2)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (pow x 2/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt (pow x 2/3)) (cbrt x))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (pow (cbrt (cbrt x)) 5)
  (pow (sqrt (cbrt x)) 3)
  (cbrt x)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (pow (sqrt (cbrt x)) 3)
  (pow x 2/3)
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow x 2/3) (pow (cbrt -1) 2))
6.329 * * * [progress]: adding candidates to table
6.564 * * [progress]: iteration 3 / 4
6.564 * * * [progress]: picking best candidate
6.573 * * * * [pick]: Picked  #<alt (λ (x y) (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))>
6.573 * * * [progress]: localizing error
6.588 * * * [progress]: generating rewritten candidates
6.588 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
6.590 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
6.590 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.592 * * * [progress]: generating series expansions
6.592 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
6.592 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
6.592 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.592 * [taylor]: Taking taylor expansion of 1/3 in x
6.592 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.592 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.592 * [taylor]: Taking taylor expansion of x in x
6.593 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.593 * [taylor]: Taking taylor expansion of 1/3 in x
6.593 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.593 * [taylor]: Taking taylor expansion of x in x
6.651 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
6.651 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.651 * [taylor]: Taking taylor expansion of 1/3 in x
6.651 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.651 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.651 * [taylor]: Taking taylor expansion of x in x
6.653 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.653 * [taylor]: Taking taylor expansion of 1/3 in x
6.653 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.653 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.653 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.653 * [taylor]: Taking taylor expansion of x in x
6.720 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
6.720 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.720 * [taylor]: Taking taylor expansion of 1/3 in x
6.720 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.720 * [taylor]: Taking taylor expansion of x in x
6.722 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.722 * [taylor]: Taking taylor expansion of 1/3 in x
6.722 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.722 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.722 * [taylor]: Taking taylor expansion of x in x
6.790 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
6.790 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.790 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.790 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.790 * [taylor]: Taking taylor expansion of 1/3 in x
6.791 * [taylor]: Taking taylor expansion of (log x) in x
6.791 * [taylor]: Taking taylor expansion of x in x
6.791 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.791 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.791 * [taylor]: Taking taylor expansion of 1/3 in x
6.791 * [taylor]: Taking taylor expansion of (log x) in x
6.792 * [taylor]: Taking taylor expansion of x in x
6.852 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.852 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.852 * [taylor]: Taking taylor expansion of 1/3 in x
6.852 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.852 * [taylor]: Taking taylor expansion of x in x
6.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.853 * [taylor]: Taking taylor expansion of 1/3 in x
6.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.853 * [taylor]: Taking taylor expansion of x in x
6.910 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.910 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.910 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.910 * [taylor]: Taking taylor expansion of -1 in x
6.911 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.911 * [taylor]: Taking taylor expansion of 1/3 in x
6.911 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.911 * [taylor]: Taking taylor expansion of x in x
6.912 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.912 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.912 * [taylor]: Taking taylor expansion of -1 in x
6.913 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.913 * [taylor]: Taking taylor expansion of 1/3 in x
6.913 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.913 * [taylor]: Taking taylor expansion of x in x
6.989 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.989 * [approximate]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in (x y) around 0
6.989 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in y
6.989 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.989 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in y
6.989 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y
6.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y
6.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y
6.989 * [taylor]: Taking taylor expansion of 1/3 in y
6.989 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y
6.989 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.989 * [taylor]: Taking taylor expansion of x in y
6.990 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
6.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
6.990 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
6.990 * [taylor]: Taking taylor expansion of 1/3 in y
6.990 * [taylor]: Taking taylor expansion of (log x) in y
6.990 * [taylor]: Taking taylor expansion of x in y
6.990 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in y
6.990 * [taylor]: Taking taylor expansion of 0.5 in y
6.990 * [taylor]: Taking taylor expansion of (- x y) in y
6.990 * [taylor]: Taking taylor expansion of x in y
6.990 * [taylor]: Taking taylor expansion of y in y
6.990 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
6.990 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.990 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
6.990 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.990 * [taylor]: Taking taylor expansion of 1/3 in x
6.990 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.990 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.990 * [taylor]: Taking taylor expansion of x in x
6.991 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.991 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.991 * [taylor]: Taking taylor expansion of 1/3 in x
6.991 * [taylor]: Taking taylor expansion of (log x) in x
6.991 * [taylor]: Taking taylor expansion of x in x
6.992 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
6.992 * [taylor]: Taking taylor expansion of 0.5 in x
6.992 * [taylor]: Taking taylor expansion of (- x y) in x
6.992 * [taylor]: Taking taylor expansion of x in x
6.992 * [taylor]: Taking taylor expansion of y in x
6.992 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
6.992 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.992 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
6.992 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.993 * [taylor]: Taking taylor expansion of 1/3 in x
6.993 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.993 * [taylor]: Taking taylor expansion of x in x
6.994 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.994 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.994 * [taylor]: Taking taylor expansion of 1/3 in x
6.994 * [taylor]: Taking taylor expansion of (log x) in x
6.994 * [taylor]: Taking taylor expansion of x in x
6.994 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
6.994 * [taylor]: Taking taylor expansion of 0.5 in x
6.994 * [taylor]: Taking taylor expansion of (- x y) in x
6.994 * [taylor]: Taking taylor expansion of x in x
6.994 * [taylor]: Taking taylor expansion of y in x
6.995 * [taylor]: Taking taylor expansion of (- x (* 0.5 y)) in y
6.995 * [taylor]: Taking taylor expansion of x in y
6.995 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.995 * [taylor]: Taking taylor expansion of 0.5 in y
6.995 * [taylor]: Taking taylor expansion of y in y
7.001 * [taylor]: Taking taylor expansion of 0.5 in y
7.004 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in (x y) around 0
7.004 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in y
7.004 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
7.004 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in y
7.004 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
7.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
7.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
7.004 * [taylor]: Taking taylor expansion of 1/3 in y
7.004 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
7.004 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.004 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.004 * [taylor]: Taking taylor expansion of x in y
7.005 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
7.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
7.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
7.005 * [taylor]: Taking taylor expansion of 1/3 in y
7.005 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
7.005 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.005 * [taylor]: Taking taylor expansion of x in y
7.005 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in y
7.005 * [taylor]: Taking taylor expansion of 0.5 in y
7.005 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.005 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.005 * [taylor]: Taking taylor expansion of x in y
7.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.005 * [taylor]: Taking taylor expansion of y in y
7.006 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in x
7.006 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
7.006 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
7.006 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
7.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
7.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
7.006 * [taylor]: Taking taylor expansion of 1/3 in x
7.006 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.006 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.006 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.006 * [taylor]: Taking taylor expansion of x in x
7.007 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.007 * [taylor]: Taking taylor expansion of 1/3 in x
7.007 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.007 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
7.015 * [taylor]: Taking taylor expansion of 0.5 in x
7.015 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
7.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.015 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.015 * [taylor]: Taking taylor expansion of y in x
7.015 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in x
7.015 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
7.015 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
7.015 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
7.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
7.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
7.016 * [taylor]: Taking taylor expansion of 1/3 in x
7.016 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.016 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.016 * [taylor]: Taking taylor expansion of x in x
7.017 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.017 * [taylor]: Taking taylor expansion of 1/3 in x
7.017 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.017 * [taylor]: Taking taylor expansion of x in x
7.018 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
7.018 * [taylor]: Taking taylor expansion of 0.5 in x
7.018 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
7.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.018 * [taylor]: Taking taylor expansion of x in x
7.018 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.018 * [taylor]: Taking taylor expansion of y in x
7.019 * [taylor]: Taking taylor expansion of 0.5 in y
7.021 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.5 (/ 1 y))) in y
7.021 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.021 * [taylor]: Taking taylor expansion of x in y
7.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.021 * [taylor]: Taking taylor expansion of 0.5 in y
7.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.021 * [taylor]: Taking taylor expansion of y in y
7.030 * [taylor]: Taking taylor expansion of 0 in y
7.032 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in (x y) around 0
7.032 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in y
7.033 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
7.033 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in y
7.034 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
7.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
7.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
7.034 * [taylor]: Taking taylor expansion of 1/3 in y
7.034 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
7.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.034 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.034 * [taylor]: Taking taylor expansion of x in y
7.034 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y
7.034 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.034 * [taylor]: Taking taylor expansion of -1 in y
7.035 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
7.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
7.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
7.035 * [taylor]: Taking taylor expansion of 1/3 in y
7.035 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
7.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.035 * [taylor]: Taking taylor expansion of x in y
7.035 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in y
7.035 * [taylor]: Taking taylor expansion of 0.5 in y
7.035 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.035 * [taylor]: Taking taylor expansion of y in y
7.036 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.036 * [taylor]: Taking taylor expansion of x in y
7.036 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in x
7.036 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
7.036 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
7.036 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
7.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
7.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
7.036 * [taylor]: Taking taylor expansion of 1/3 in x
7.036 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.036 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.036 * [taylor]: Taking taylor expansion of x in x
7.038 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
7.038 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.038 * [taylor]: Taking taylor expansion of -1 in x
7.038 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.038 * [taylor]: Taking taylor expansion of 1/3 in x
7.039 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.039 * [taylor]: Taking taylor expansion of x in x
7.039 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
7.040 * [taylor]: Taking taylor expansion of 0.5 in x
7.040 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.040 * [taylor]: Taking taylor expansion of y in x
7.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.040 * [taylor]: Taking taylor expansion of x in x
7.040 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in x
7.040 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
7.040 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
7.040 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
7.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
7.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
7.040 * [taylor]: Taking taylor expansion of 1/3 in x
7.040 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.040 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.040 * [taylor]: Taking taylor expansion of x in x
7.041 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
7.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.042 * [taylor]: Taking taylor expansion of -1 in x
7.042 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.042 * [taylor]: Taking taylor expansion of 1/3 in x
7.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.042 * [taylor]: Taking taylor expansion of x in x
7.043 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
7.043 * [taylor]: Taking taylor expansion of 0.5 in x
7.044 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.044 * [taylor]: Taking taylor expansion of y in x
7.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.044 * [taylor]: Taking taylor expansion of x in x
7.045 * [taylor]: Taking taylor expansion of (- 0.5) in y
7.045 * [taylor]: Taking taylor expansion of 0.5 in y
7.048 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ (cbrt -1) x)) in y
7.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.048 * [taylor]: Taking taylor expansion of 0.5 in y
7.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.048 * [taylor]: Taking taylor expansion of y in y
7.048 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
7.048 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.048 * [taylor]: Taking taylor expansion of -1 in y
7.049 * [taylor]: Taking taylor expansion of x in y
7.059 * [taylor]: Taking taylor expansion of 0 in y
7.061 * * * [progress]: simplifying candidates
7.062 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow x 2)))
  (log1p (cbrt (pow x 2)))
  (log (cbrt (pow x 2)))
  (exp (cbrt (pow x 2)))
  (cbrt (pow (* (cbrt x) (cbrt x)) 2))
  (cbrt (pow (cbrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow 1 2))
  (cbrt (pow x 2))
  (cbrt x)
  (cbrt x)
  (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt 1)
  (cbrt (pow x 2))
  (cbrt (pow x (/ 2 2)))
  (cbrt (pow x (/ 2 2)))
  (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (log1p (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (* (cbrt (pow x 2)) (cbrt x))
  (log (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (exp (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (* (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0))) (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0))))
  (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (* (* (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)) (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0))) (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (sqrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (sqrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 0.5 x) (+ (* (cbrt -1) x) (* 0.5 y)))
7.064 * * [simplify]: iteration  0 :  82  enodes  (cost  411 )
7.079 * * [simplify]: iteration  1 :  149  enodes  (cost  395 )
7.107 * * [simplify]: iteration  2 :  318  enodes  (cost  341 )
7.172 * * [simplify]: iteration  3 :  717  enodes  (cost  334 )
7.352 * * [simplify]: iteration  4 :  2431  enodes  (cost  334 )
8.084 * * [simplify]: iteration  done :  5000  enodes  (cost  334 )
8.084 * [simplify]: Simplified to:
   (expm1 (cbrt (pow x 2)))
  (log1p (cbrt (pow x 2)))
  (log (cbrt (pow x 2)))
  (exp (cbrt (pow x 2)))
  (cbrt (pow x 4/3))
  (cbrt (pow x 2/3))
  (cbrt x)
  (cbrt x)
  1
  (cbrt (pow x 2))
  (cbrt x)
  (cbrt x)
  (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (cbrt (fabs x))
  (cbrt (fabs x))
  1
  (cbrt (pow x 2))
  (cbrt x)
  (cbrt x)
  (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (pow x 2)
  (sqrt (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (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))
  (expm1 (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (log1p (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (* (cbrt (pow x 2)) (cbrt x))
  (log (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (exp (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (* (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0))) (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0))))
  (cbrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (pow (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)) 3)
  (sqrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (sqrt (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* x (- 0.5 (cbrt -1))) (* 0.5 y))
8.084 * * * [progress]: adding candidates to table
8.237 * * [progress]: iteration 4 / 4
8.237 * * * [progress]: picking best candidate
8.244 * * * * [pick]: Picked  #<alt (λ (x y) (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))>
8.244 * * * [progress]: localizing error
8.259 * * * [progress]: generating rewritten candidates
8.259 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
8.260 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
8.263 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
8.266 * * * [progress]: generating series expansions
8.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
8.266 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
8.266 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.266 * [taylor]: Taking taylor expansion of 1/3 in x
8.266 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.266 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.266 * [taylor]: Taking taylor expansion of x in x
8.268 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.268 * [taylor]: Taking taylor expansion of 1/3 in x
8.268 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.268 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.268 * [taylor]: Taking taylor expansion of x in x
8.329 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.329 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.329 * [taylor]: Taking taylor expansion of 1/3 in x
8.329 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.329 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.329 * [taylor]: Taking taylor expansion of x in x
8.331 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.331 * [taylor]: Taking taylor expansion of 1/3 in x
8.331 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.331 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.331 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.331 * [taylor]: Taking taylor expansion of x in x
8.398 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.398 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.398 * [taylor]: Taking taylor expansion of 1/3 in x
8.398 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.398 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.398 * [taylor]: Taking taylor expansion of x in x
8.399 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.399 * [taylor]: Taking taylor expansion of 1/3 in x
8.399 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.399 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.399 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.399 * [taylor]: Taking taylor expansion of x in x
8.465 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
8.465 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
8.466 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.466 * [taylor]: Taking taylor expansion of 1/3 in x
8.466 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.466 * [taylor]: Taking taylor expansion of x in x
8.467 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.467 * [taylor]: Taking taylor expansion of 1/3 in x
8.467 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.467 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.467 * [taylor]: Taking taylor expansion of x in x
8.530 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.530 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.530 * [taylor]: Taking taylor expansion of 1/3 in x
8.530 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.530 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.530 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.530 * [taylor]: Taking taylor expansion of x in x
8.532 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.532 * [taylor]: Taking taylor expansion of 1/3 in x
8.532 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.532 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.532 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.532 * [taylor]: Taking taylor expansion of x in x
8.593 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.593 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.593 * [taylor]: Taking taylor expansion of 1/3 in x
8.593 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.593 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.593 * [taylor]: Taking taylor expansion of x in x
8.595 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.595 * [taylor]: Taking taylor expansion of 1/3 in x
8.595 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.595 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.595 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.595 * [taylor]: Taking taylor expansion of x in x
8.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.662 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
8.662 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.662 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.662 * [taylor]: Taking taylor expansion of 1/3 in x
8.662 * [taylor]: Taking taylor expansion of (log x) in x
8.662 * [taylor]: Taking taylor expansion of x in x
8.663 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.663 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.663 * [taylor]: Taking taylor expansion of 1/3 in x
8.663 * [taylor]: Taking taylor expansion of (log x) in x
8.663 * [taylor]: Taking taylor expansion of x in x
8.722 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.722 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.722 * [taylor]: Taking taylor expansion of 1/3 in x
8.722 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.722 * [taylor]: Taking taylor expansion of x in x
8.723 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.723 * [taylor]: Taking taylor expansion of 1/3 in x
8.723 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.724 * [taylor]: Taking taylor expansion of x in x
8.786 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.786 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.786 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.786 * [taylor]: Taking taylor expansion of -1 in x
8.787 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.787 * [taylor]: Taking taylor expansion of 1/3 in x
8.787 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.787 * [taylor]: Taking taylor expansion of x in x
8.788 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.788 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.789 * [taylor]: Taking taylor expansion of -1 in x
8.789 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.789 * [taylor]: Taking taylor expansion of 1/3 in x
8.789 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.789 * [taylor]: Taking taylor expansion of x in x
8.865 * * * * [progress]: [ 4 / 4 ] generating series at (2)
8.865 * [approximate]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in (x y) around 0
8.865 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in y
8.865 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.865 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in y
8.865 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y
8.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y
8.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y
8.865 * [taylor]: Taking taylor expansion of 1/3 in y
8.865 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y
8.865 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.865 * [taylor]: Taking taylor expansion of x in y
8.866 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
8.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
8.866 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
8.866 * [taylor]: Taking taylor expansion of 1/3 in y
8.866 * [taylor]: Taking taylor expansion of (log x) in y
8.866 * [taylor]: Taking taylor expansion of x in y
8.866 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in y
8.866 * [taylor]: Taking taylor expansion of 0.5 in y
8.866 * [taylor]: Taking taylor expansion of (- x y) in y
8.866 * [taylor]: Taking taylor expansion of x in y
8.866 * [taylor]: Taking taylor expansion of y in y
8.866 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
8.866 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.866 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
8.866 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.866 * [taylor]: Taking taylor expansion of 1/3 in x
8.866 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.866 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.866 * [taylor]: Taking taylor expansion of x in x
8.867 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.867 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.867 * [taylor]: Taking taylor expansion of 1/3 in x
8.867 * [taylor]: Taking taylor expansion of (log x) in x
8.867 * [taylor]: Taking taylor expansion of x in x
8.868 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
8.868 * [taylor]: Taking taylor expansion of 0.5 in x
8.868 * [taylor]: Taking taylor expansion of (- x y) in x
8.868 * [taylor]: Taking taylor expansion of x in x
8.868 * [taylor]: Taking taylor expansion of y in x
8.868 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
8.868 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.868 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
8.868 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.868 * [taylor]: Taking taylor expansion of 1/3 in x
8.868 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.868 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.868 * [taylor]: Taking taylor expansion of x in x
8.869 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.870 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.870 * [taylor]: Taking taylor expansion of 1/3 in x
8.870 * [taylor]: Taking taylor expansion of (log x) in x
8.870 * [taylor]: Taking taylor expansion of x in x
8.870 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
8.870 * [taylor]: Taking taylor expansion of 0.5 in x
8.870 * [taylor]: Taking taylor expansion of (- x y) in x
8.870 * [taylor]: Taking taylor expansion of x in x
8.870 * [taylor]: Taking taylor expansion of y in x
8.871 * [taylor]: Taking taylor expansion of (- x (* 0.5 y)) in y
8.871 * [taylor]: Taking taylor expansion of x in y
8.871 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
8.871 * [taylor]: Taking taylor expansion of 0.5 in y
8.871 * [taylor]: Taking taylor expansion of y in y
8.877 * [taylor]: Taking taylor expansion of 0.5 in y
8.880 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in (x y) around 0
8.880 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in y
8.880 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.880 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in y
8.880 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
8.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
8.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
8.880 * [taylor]: Taking taylor expansion of 1/3 in y
8.880 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
8.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
8.880 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.880 * [taylor]: Taking taylor expansion of x in y
8.880 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
8.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
8.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
8.881 * [taylor]: Taking taylor expansion of 1/3 in y
8.881 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
8.881 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.881 * [taylor]: Taking taylor expansion of x in y
8.881 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in y
8.881 * [taylor]: Taking taylor expansion of 0.5 in y
8.881 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.881 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.881 * [taylor]: Taking taylor expansion of x in y
8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.881 * [taylor]: Taking taylor expansion of y in y
8.881 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in x
8.881 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.881 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
8.881 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.882 * [taylor]: Taking taylor expansion of 1/3 in x
8.882 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.882 * [taylor]: Taking taylor expansion of x in x
8.883 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.883 * [taylor]: Taking taylor expansion of 1/3 in x
8.883 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.883 * [taylor]: Taking taylor expansion of x in x
8.884 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
8.884 * [taylor]: Taking taylor expansion of 0.5 in x
8.884 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.884 * [taylor]: Taking taylor expansion of x in x
8.885 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.885 * [taylor]: Taking taylor expansion of y in x
8.885 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (* 0.5 (- (/ 1 x) (/ 1 y)))) in x
8.885 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.885 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
8.885 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.885 * [taylor]: Taking taylor expansion of 1/3 in x
8.885 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.885 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.885 * [taylor]: Taking taylor expansion of x in x
8.886 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.886 * [taylor]: Taking taylor expansion of 1/3 in x
8.886 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.886 * [taylor]: Taking taylor expansion of x in x
8.887 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
8.887 * [taylor]: Taking taylor expansion of 0.5 in x
8.888 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.888 * [taylor]: Taking taylor expansion of x in x
8.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.888 * [taylor]: Taking taylor expansion of y in x
8.889 * [taylor]: Taking taylor expansion of 0.5 in y
8.890 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.5 (/ 1 y))) in y
8.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.890 * [taylor]: Taking taylor expansion of x in y
8.890 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
8.890 * [taylor]: Taking taylor expansion of 0.5 in y
8.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.890 * [taylor]: Taking taylor expansion of y in y
8.899 * [taylor]: Taking taylor expansion of 0 in y
8.901 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in (x y) around 0
8.901 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in y
8.902 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
8.902 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in y
8.902 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
8.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
8.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
8.902 * [taylor]: Taking taylor expansion of 1/3 in y
8.902 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
8.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
8.902 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.902 * [taylor]: Taking taylor expansion of x in y
8.902 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y
8.902 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.902 * [taylor]: Taking taylor expansion of -1 in y
8.903 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
8.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
8.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
8.903 * [taylor]: Taking taylor expansion of 1/3 in y
8.903 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
8.903 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.903 * [taylor]: Taking taylor expansion of x in y
8.903 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in y
8.903 * [taylor]: Taking taylor expansion of 0.5 in y
8.903 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.903 * [taylor]: Taking taylor expansion of y in y
8.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.904 * [taylor]: Taking taylor expansion of x in y
8.904 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in x
8.904 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
8.904 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
8.904 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.904 * [taylor]: Taking taylor expansion of 1/3 in x
8.904 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.904 * [taylor]: Taking taylor expansion of x in x
8.905 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.906 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.906 * [taylor]: Taking taylor expansion of -1 in x
8.906 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.906 * [taylor]: Taking taylor expansion of 1/3 in x
8.906 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.906 * [taylor]: Taking taylor expansion of x in x
8.907 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
8.907 * [taylor]: Taking taylor expansion of 0.5 in x
8.907 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.907 * [taylor]: Taking taylor expansion of y in x
8.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.908 * [taylor]: Taking taylor expansion of x in x
8.908 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 y) (/ 1 x)))) in x
8.908 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
8.908 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
8.908 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.908 * [taylor]: Taking taylor expansion of 1/3 in x
8.908 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.908 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.908 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.908 * [taylor]: Taking taylor expansion of x in x
8.909 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.909 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.909 * [taylor]: Taking taylor expansion of -1 in x
8.910 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.910 * [taylor]: Taking taylor expansion of 1/3 in x
8.910 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.910 * [taylor]: Taking taylor expansion of x in x
8.911 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
8.911 * [taylor]: Taking taylor expansion of 0.5 in x
8.911 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.911 * [taylor]: Taking taylor expansion of y in x
8.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.911 * [taylor]: Taking taylor expansion of x in x
8.913 * [taylor]: Taking taylor expansion of (- 0.5) in y
8.913 * [taylor]: Taking taylor expansion of 0.5 in y
8.915 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ (cbrt -1) x)) in y
8.915 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
8.915 * [taylor]: Taking taylor expansion of 0.5 in y
8.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.915 * [taylor]: Taking taylor expansion of y in y
8.916 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
8.916 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.916 * [taylor]: Taking taylor expansion of -1 in y
8.917 * [taylor]: Taking taylor expansion of x in y
8.926 * [taylor]: Taking taylor expansion of 0 in y
8.928 * * * [progress]: simplifying candidates
8.930 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow x 2)))
  (log1p (cbrt (pow x 2)))
  (log (cbrt (pow x 2)))
  (exp (cbrt (pow x 2)))
  (cbrt (pow (* (cbrt x) (cbrt x)) 2))
  (cbrt (pow (cbrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow 1 2))
  (cbrt (pow x 2))
  (cbrt x)
  (cbrt x)
  (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt 1)
  (cbrt (pow x 2))
  (cbrt (pow x (/ 2 2)))
  (cbrt (pow x (/ 2 2)))
  (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (expm1 (exp (log (cbrt (pow x 2)))))
  (log1p (exp (log (cbrt (pow x 2)))))
  (exp 1/3)
  (exp 1)
  (exp (* (cbrt (log (cbrt (pow x 2)))) (cbrt (log (cbrt (pow x 2))))))
  (exp (sqrt (log (cbrt (pow x 2)))))
  (exp 1)
  (exp (log (cbrt (pow (* (cbrt x) (cbrt x)) 2))))
  (exp (log (cbrt (pow (cbrt x) 2))))
  (exp (log (cbrt (pow (sqrt x) 2))))
  (exp (log (cbrt (pow (sqrt x) 2))))
  (exp (log (cbrt (pow 1 2))))
  (exp (log (cbrt (pow x 2))))
  (exp (log (cbrt x)))
  (exp (log (cbrt x)))
  (exp (log (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))))
  (exp (log (cbrt (cbrt (pow x 2)))))
  (exp (log (cbrt (sqrt (pow x 2)))))
  (exp (log (cbrt (sqrt (pow x 2)))))
  (exp (log (cbrt 1)))
  (exp (log (cbrt (pow x 2))))
  (exp (log (cbrt (pow x (/ 2 2)))))
  (exp (log (cbrt (pow x (/ 2 2)))))
  (exp (log (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))))
  (exp (log (cbrt (cbrt (pow x 2)))))
  (exp (log (sqrt (cbrt (pow x 2)))))
  (exp (log (sqrt (cbrt (pow x 2)))))
  (exp (log 1))
  (exp (log (cbrt (pow x 2))))
  (log (exp (log (cbrt (pow x 2)))))
  (exp (exp (log (cbrt (pow x 2)))))
  (* (cbrt (exp (log (cbrt (pow x 2))))) (cbrt (exp (log (cbrt (pow x 2))))))
  (cbrt (exp (log (cbrt (pow x 2)))))
  (* (* (exp (log (cbrt (pow x 2)))) (exp (log (cbrt (pow x 2))))) (exp (log (cbrt (pow x 2)))))
  (sqrt (exp (log (cbrt (pow x 2)))))
  (sqrt (exp (log (cbrt (pow x 2)))))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (log1p (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (* (exp (log (cbrt (pow x 2)))) (cbrt x))
  (log (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (exp (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (* (cbrt (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0))) (cbrt (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0))))
  (cbrt (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (* (* (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)) (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0))) (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (sqrt (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (sqrt (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 0.5 x) (+ (* (cbrt -1) x) (* 0.5 y)))
8.933 * * [simplify]: iteration  0 :  124  enodes  (cost  714 )
8.959 * * [simplify]: iteration  1 :  199  enodes  (cost  593 )
8.986 * * [simplify]: iteration  2 :  384  enodes  (cost  506 )