0.271 * [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.022 * * [simplify]: iteration  4 :  39  enodes  (cost  7 )
0.026 * * [simplify]: iteration  5 :  50  enodes  (cost  7 )
0.032 * * [simplify]: iteration  6 :  64  enodes  (cost  7 )
0.043 * * [simplify]: iteration  7 :  73  enodes  (cost  7 )
0.051 * * [simplify]: iteration  8 :  89  enodes  (cost  7 )
0.061 * * [simplify]: iteration  9 :  111  enodes  (cost  7 )
0.076 * * [simplify]: iteration  10 :  135  enodes  (cost  7 )
0.095 * * [simplify]: iteration  11 :  139  enodes  (cost  7 )
0.114 * * [simplify]: iteration  12 :  143  enodes  (cost  7 )
0.132 * * [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.152 * * [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.174 * * * [progress]: generating series expansions
0.174 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.174 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
0.174 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
0.174 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.174 * [taylor]: Taking taylor expansion of 1.5 in y
0.174 * [taylor]: Taking taylor expansion of x in y
0.174 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.174 * [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.175 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.175 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.175 * [taylor]: Taking taylor expansion of 0.5 in y
0.175 * [taylor]: Taking taylor expansion of y in y
0.177 * [taylor]: Taking taylor expansion of 1.5 in y
0.180 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.184 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
0.184 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
0.184 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.184 * [taylor]: Taking taylor expansion of 1.5 in y
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.184 * [taylor]: Taking taylor expansion of x in y
0.184 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.184 * [taylor]: Taking taylor expansion of 0.5 in y
0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.184 * [taylor]: Taking taylor expansion of y in y
0.184 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.184 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.184 * [taylor]: Taking taylor expansion of 1.5 in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.185 * [taylor]: Taking taylor expansion of 0.5 in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.185 * [taylor]: Taking taylor expansion of y in x
0.185 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.185 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.185 * [taylor]: Taking taylor expansion of 1.5 in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.185 * [taylor]: Taking taylor expansion of 0.5 in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.185 * [taylor]: Taking taylor expansion of y in x
0.186 * [taylor]: Taking taylor expansion of 1.5 in y
0.187 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.187 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.187 * [taylor]: Taking taylor expansion of 0.5 in y
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.187 * [taylor]: Taking taylor expansion of y in y
0.190 * [taylor]: Taking taylor expansion of 0 in y
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
0.197 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.197 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.197 * [taylor]: Taking taylor expansion of 0.5 in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.197 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.198 * [taylor]: Taking taylor expansion of 1.5 in y
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.198 * [taylor]: Taking taylor expansion of 0.5 in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.198 * [taylor]: Taking taylor expansion of 1.5 in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.198 * [taylor]: Taking taylor expansion of 0.5 in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.198 * [taylor]: Taking taylor expansion of 1.5 in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.200 * [taylor]: Taking taylor expansion of (- 1.5) in y
0.200 * [taylor]: Taking taylor expansion of 1.5 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.204 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in y
0.214 * [taylor]: Taking taylor expansion of 0 in y
0.214 * * * [progress]: simplifying candidates
0.215 * [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.216 * * [simplify]: iteration  0 :  36  enodes  (cost  194 )
0.222 * * [simplify]: iteration  1 :  98  enodes  (cost  186 )
0.238 * * [simplify]: iteration  2 :  234  enodes  (cost  172 )
0.281 * * [simplify]: iteration  3 :  676  enodes  (cost  172 )
0.458 * * [simplify]: iteration  4 :  2709  enodes  (cost  171 )
1.115 * * [simplify]: iteration  done :  5000  enodes  (cost  171 )
1.115 * [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.115 * * * [progress]: adding candidates to table
1.160 * * [progress]: iteration 2 / 4
1.160 * * * [progress]: picking best candidate
1.168 * * * * [pick]: Picked  #<alt (λ (x y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (/ (- x y) 2.0)))>
1.169 * * * [progress]: localizing error
1.177 * * * [progress]: generating rewritten candidates
1.177 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.178 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.178 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.187 * * * [progress]: generating series expansions
1.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.187 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.187 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.187 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.187 * [taylor]: Taking taylor expansion of 1/3 in x
1.187 * [taylor]: Taking taylor expansion of (log x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.188 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.188 * [taylor]: Taking taylor expansion of 1/3 in x
1.188 * [taylor]: Taking taylor expansion of (log x) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.242 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.243 * [taylor]: Taking taylor expansion of 1/3 in x
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.244 * [taylor]: Taking taylor expansion of 1/3 in x
1.244 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.298 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.298 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.298 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.298 * [taylor]: Taking taylor expansion of -1 in x
1.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.299 * [taylor]: Taking taylor expansion of 1/3 in x
1.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.299 * [taylor]: Taking taylor expansion of x in x
1.300 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.300 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.300 * [taylor]: Taking taylor expansion of -1 in x
1.301 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.301 * [taylor]: Taking taylor expansion of 1/3 in x
1.301 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.301 * [taylor]: Taking taylor expansion of x in x
1.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.371 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.371 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.371 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.371 * [taylor]: Taking taylor expansion of 1/3 in x
1.371 * [taylor]: Taking taylor expansion of (log x) in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.372 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.372 * [taylor]: Taking taylor expansion of 1/3 in x
1.372 * [taylor]: Taking taylor expansion of (log x) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.425 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.425 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.425 * [taylor]: Taking taylor expansion of 1/3 in x
1.425 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.425 * [taylor]: Taking taylor expansion of x in x
1.426 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.426 * [taylor]: Taking taylor expansion of 1/3 in x
1.426 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.426 * [taylor]: Taking taylor expansion of x in x
1.483 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.483 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.483 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.483 * [taylor]: Taking taylor expansion of -1 in x
1.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.484 * [taylor]: Taking taylor expansion of 1/3 in x
1.484 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.485 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.486 * [taylor]: Taking taylor expansion of -1 in x
1.486 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.486 * [taylor]: Taking taylor expansion of 1/3 in x
1.486 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.556 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.556 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.556 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.556 * [taylor]: Taking taylor expansion of 1/3 in x
1.556 * [taylor]: Taking taylor expansion of (log x) in x
1.556 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.557 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.557 * [taylor]: Taking taylor expansion of 1/3 in x
1.557 * [taylor]: Taking taylor expansion of (log x) in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.607 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.607 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.607 * [taylor]: Taking taylor expansion of 1/3 in x
1.607 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.607 * [taylor]: Taking taylor expansion of x in x
1.608 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.608 * [taylor]: Taking taylor expansion of 1/3 in x
1.608 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.608 * [taylor]: Taking taylor expansion of x in x
1.668 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.668 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.668 * [taylor]: Taking taylor expansion of -1 in x
1.669 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.669 * [taylor]: Taking taylor expansion of 1/3 in x
1.669 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.669 * [taylor]: Taking taylor expansion of x in x
1.670 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.670 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.670 * [taylor]: Taking taylor expansion of -1 in x
1.671 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.671 * [taylor]: Taking taylor expansion of 1/3 in x
1.671 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.671 * [taylor]: Taking taylor expansion of x in x
1.742 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.742 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
1.742 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.742 * [taylor]: Taking taylor expansion of 1/3 in x
1.742 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.742 * [taylor]: Taking taylor expansion of x in x
1.743 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.743 * [taylor]: Taking taylor expansion of 1/3 in x
1.743 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.743 * [taylor]: Taking taylor expansion of x in x
1.803 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.803 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.803 * [taylor]: Taking taylor expansion of 1/3 in x
1.803 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.803 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.803 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.803 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.805 * [taylor]: Taking taylor expansion of 1/3 in x
1.805 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.805 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.805 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.869 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
1.870 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.870 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.870 * [taylor]: Taking taylor expansion of -1 in x
1.871 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.871 * [taylor]: Taking taylor expansion of 1/3 in x
1.871 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.871 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.871 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.871 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.872 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.872 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.872 * [taylor]: Taking taylor expansion of -1 in x
1.873 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.873 * [taylor]: Taking taylor expansion of 1/3 in x
1.873 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.873 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.873 * [taylor]: Taking taylor expansion of x in x
1.957 * * * [progress]: simplifying candidates
1.958 * [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))
1.960 * * [simplify]: iteration  0 :  65  enodes  (cost  554 )
1.974 * * [simplify]: iteration  1 :  122  enodes  (cost  495 )
1.998 * * [simplify]: iteration  2 :  367  enodes  (cost  423 )
2.117 * * [simplify]: iteration  3 :  1231  enodes  (cost  405 )
2.771 * * [simplify]: iteration  4 :  4187  enodes  (cost  400 )
6.183 * * [simplify]: iteration  done :  5000  enodes  (cost  400 )
6.183 * [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.184 * * * [progress]: adding candidates to table
6.416 * * [progress]: iteration 3 / 4
6.416 * * * [progress]: picking best candidate
6.426 * * * * [pick]: Picked  #<alt (λ (x y) (fma (cbrt (pow x 2)) (cbrt x) (/ (- x y) 2.0)))>
6.426 * * * [progress]: localizing error
6.436 * * * [progress]: generating rewritten candidates
6.436 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
6.438 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
6.438 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.439 * * * [progress]: generating series expansions
6.439 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
6.440 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
6.440 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.440 * [taylor]: Taking taylor expansion of 1/3 in x
6.440 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.440 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.440 * [taylor]: Taking taylor expansion of x in x
6.441 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.441 * [taylor]: Taking taylor expansion of 1/3 in x
6.441 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.441 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.441 * [taylor]: Taking taylor expansion of x in x
6.501 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
6.501 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.501 * [taylor]: Taking taylor expansion of 1/3 in x
6.501 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.501 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.501 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.501 * [taylor]: Taking taylor expansion of x in x
6.502 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.502 * [taylor]: Taking taylor expansion of 1/3 in x
6.502 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.502 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.502 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.502 * [taylor]: Taking taylor expansion of x in x
6.567 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
6.567 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.567 * [taylor]: Taking taylor expansion of 1/3 in x
6.567 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.567 * [taylor]: Taking taylor expansion of x in x
6.569 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.569 * [taylor]: Taking taylor expansion of 1/3 in x
6.569 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.569 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.569 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.569 * [taylor]: Taking taylor expansion of x in x
6.634 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
6.634 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.634 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.634 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.634 * [taylor]: Taking taylor expansion of 1/3 in x
6.634 * [taylor]: Taking taylor expansion of (log x) in x
6.634 * [taylor]: Taking taylor expansion of x in x
6.635 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.635 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.635 * [taylor]: Taking taylor expansion of 1/3 in x
6.635 * [taylor]: Taking taylor expansion of (log x) in x
6.635 * [taylor]: Taking taylor expansion of x in x
6.685 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.685 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.686 * [taylor]: Taking taylor expansion of 1/3 in x
6.686 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.686 * [taylor]: Taking taylor expansion of x in x
6.687 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.687 * [taylor]: Taking taylor expansion of 1/3 in x
6.687 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.687 * [taylor]: Taking taylor expansion of x in x
6.748 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.749 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.749 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.749 * [taylor]: Taking taylor expansion of -1 in x
6.749 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.750 * [taylor]: Taking taylor expansion of 1/3 in x
6.750 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.750 * [taylor]: Taking taylor expansion of x in x
6.751 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.751 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.751 * [taylor]: Taking taylor expansion of -1 in x
6.751 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.751 * [taylor]: Taking taylor expansion of 1/3 in x
6.751 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.752 * [taylor]: Taking taylor expansion of x in x
6.825 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.825 * [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.825 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in y
6.825 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.825 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in y
6.825 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y
6.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y
6.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y
6.825 * [taylor]: Taking taylor expansion of 1/3 in y
6.825 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y
6.825 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.825 * [taylor]: Taking taylor expansion of x in y
6.826 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
6.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
6.826 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
6.826 * [taylor]: Taking taylor expansion of 1/3 in y
6.826 * [taylor]: Taking taylor expansion of (log x) in y
6.826 * [taylor]: Taking taylor expansion of x in y
6.826 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in y
6.826 * [taylor]: Taking taylor expansion of 0.5 in y
6.826 * [taylor]: Taking taylor expansion of (- x y) in y
6.826 * [taylor]: Taking taylor expansion of x in y
6.826 * [taylor]: Taking taylor expansion of y in y
6.826 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
6.826 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.826 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
6.826 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.826 * [taylor]: Taking taylor expansion of 1/3 in x
6.826 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.826 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.826 * [taylor]: Taking taylor expansion of x in x
6.827 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.827 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.827 * [taylor]: Taking taylor expansion of 1/3 in x
6.827 * [taylor]: Taking taylor expansion of (log x) in x
6.827 * [taylor]: Taking taylor expansion of x in x
6.828 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
6.828 * [taylor]: Taking taylor expansion of 0.5 in x
6.828 * [taylor]: Taking taylor expansion of (- x y) in x
6.828 * [taylor]: Taking taylor expansion of x in x
6.828 * [taylor]: Taking taylor expansion of y in x
6.828 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
6.828 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
6.828 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
6.828 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.829 * [taylor]: Taking taylor expansion of 1/3 in x
6.829 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.829 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.829 * [taylor]: Taking taylor expansion of x in x
6.830 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.830 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.830 * [taylor]: Taking taylor expansion of 1/3 in x
6.830 * [taylor]: Taking taylor expansion of (log x) in x
6.830 * [taylor]: Taking taylor expansion of x in x
6.830 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
6.830 * [taylor]: Taking taylor expansion of 0.5 in x
6.830 * [taylor]: Taking taylor expansion of (- x y) in x
6.830 * [taylor]: Taking taylor expansion of x in x
6.830 * [taylor]: Taking taylor expansion of y in x
6.831 * [taylor]: Taking taylor expansion of (- x (* 0.5 y)) in y
6.831 * [taylor]: Taking taylor expansion of x in y
6.831 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
6.831 * [taylor]: Taking taylor expansion of 0.5 in y
6.831 * [taylor]: Taking taylor expansion of y in y
6.837 * [taylor]: Taking taylor expansion of 0.5 in y
6.839 * [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
6.840 * [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
6.840 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
6.840 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in y
6.840 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
6.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
6.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
6.840 * [taylor]: Taking taylor expansion of 1/3 in y
6.840 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
6.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.840 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.840 * [taylor]: Taking taylor expansion of x in y
6.840 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
6.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
6.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
6.840 * [taylor]: Taking taylor expansion of 1/3 in y
6.840 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
6.840 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.840 * [taylor]: Taking taylor expansion of x in y
6.840 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in y
6.840 * [taylor]: Taking taylor expansion of 0.5 in y
6.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.840 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.841 * [taylor]: Taking taylor expansion of x in y
6.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.841 * [taylor]: Taking taylor expansion of y in y
6.841 * [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
6.841 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
6.841 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
6.841 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.841 * [taylor]: Taking taylor expansion of 1/3 in x
6.841 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.841 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.841 * [taylor]: Taking taylor expansion of x in x
6.842 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.843 * [taylor]: Taking taylor expansion of 1/3 in x
6.843 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.843 * [taylor]: Taking taylor expansion of x in x
6.843 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
6.843 * [taylor]: Taking taylor expansion of 0.5 in x
6.843 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.844 * [taylor]: Taking taylor expansion of x in x
6.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.844 * [taylor]: Taking taylor expansion of y in x
6.844 * [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
6.844 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
6.844 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
6.844 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.844 * [taylor]: Taking taylor expansion of 1/3 in x
6.844 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.844 * [taylor]: Taking taylor expansion of x in x
6.845 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.845 * [taylor]: Taking taylor expansion of 1/3 in x
6.845 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.845 * [taylor]: Taking taylor expansion of x in x
6.846 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
6.846 * [taylor]: Taking taylor expansion of 0.5 in x
6.846 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.846 * [taylor]: Taking taylor expansion of x in x
6.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.847 * [taylor]: Taking taylor expansion of y in x
6.848 * [taylor]: Taking taylor expansion of 0.5 in y
6.849 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.5 (/ 1 y))) in y
6.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.849 * [taylor]: Taking taylor expansion of x in y
6.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
6.849 * [taylor]: Taking taylor expansion of 0.5 in y
6.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.849 * [taylor]: Taking taylor expansion of y in y
6.857 * [taylor]: Taking taylor expansion of 0 in y
6.859 * [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
6.859 * [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
6.859 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
6.859 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in y
6.859 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
6.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
6.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
6.859 * [taylor]: Taking taylor expansion of 1/3 in y
6.859 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
6.859 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.859 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.859 * [taylor]: Taking taylor expansion of x in y
6.860 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y
6.860 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.860 * [taylor]: Taking taylor expansion of -1 in y
6.861 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
6.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
6.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
6.861 * [taylor]: Taking taylor expansion of 1/3 in y
6.861 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
6.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.861 * [taylor]: Taking taylor expansion of x in y
6.861 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in y
6.861 * [taylor]: Taking taylor expansion of 0.5 in y
6.861 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.861 * [taylor]: Taking taylor expansion of y in y
6.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.861 * [taylor]: Taking taylor expansion of x in y
6.861 * [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
6.862 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
6.862 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.862 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.862 * [taylor]: Taking taylor expansion of 1/3 in x
6.862 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.862 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.862 * [taylor]: Taking taylor expansion of x in x
6.863 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.863 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.863 * [taylor]: Taking taylor expansion of -1 in x
6.864 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.864 * [taylor]: Taking taylor expansion of 1/3 in x
6.864 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.864 * [taylor]: Taking taylor expansion of x in x
6.865 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
6.865 * [taylor]: Taking taylor expansion of 0.5 in x
6.865 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.865 * [taylor]: Taking taylor expansion of y in x
6.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.865 * [taylor]: Taking taylor expansion of x in x
6.865 * [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
6.866 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) (* 0.5 (- (/ 1 y) (/ 1 x))))
6.866 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.866 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.866 * [taylor]: Taking taylor expansion of 1/3 in x
6.866 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.866 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.866 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.866 * [taylor]: Taking taylor expansion of x in x
6.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.867 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.867 * [taylor]: Taking taylor expansion of -1 in x
6.868 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.868 * [taylor]: Taking taylor expansion of 1/3 in x
6.868 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.868 * [taylor]: Taking taylor expansion of x in x
6.869 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
6.869 * [taylor]: Taking taylor expansion of 0.5 in x
6.869 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.869 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.869 * [taylor]: Taking taylor expansion of y in x
6.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.869 * [taylor]: Taking taylor expansion of x in x
6.871 * [taylor]: Taking taylor expansion of (- 0.5) in y
6.871 * [taylor]: Taking taylor expansion of 0.5 in y
6.873 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ (cbrt -1) x)) in y
6.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
6.873 * [taylor]: Taking taylor expansion of 0.5 in y
6.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.873 * [taylor]: Taking taylor expansion of y in y
6.873 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
6.873 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.873 * [taylor]: Taking taylor expansion of -1 in y
6.874 * [taylor]: Taking taylor expansion of x in y
6.889 * [taylor]: Taking taylor expansion of 0 in y
6.891 * * * [progress]: simplifying candidates
6.892 * [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)))
6.894 * * [simplify]: iteration  0 :  82  enodes  (cost  411 )
6.908 * * [simplify]: iteration  1 :  149  enodes  (cost  395 )
6.932 * * [simplify]: iteration  2 :  318  enodes  (cost  341 )
7.002 * * [simplify]: iteration  3 :  717  enodes  (cost  334 )
7.179 * * [simplify]: iteration  4 :  2431  enodes  (cost  334 )
7.905 * * [simplify]: iteration  done :  5000  enodes  (cost  334 )
7.906 * [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))
7.906 * * * [progress]: adding candidates to table
8.057 * * [progress]: iteration 4 / 4
8.057 * * * [progress]: picking best candidate
8.065 * * * * [pick]: Picked  #<alt (λ (x y) (fma (exp (log (cbrt (pow x 2)))) (cbrt x) (/ (- x y) 2.0)))>
8.065 * * * [progress]: localizing error
8.079 * * * [progress]: generating rewritten candidates
8.079 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
8.081 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
8.084 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
8.087 * * * [progress]: generating series expansions
8.087 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
8.087 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
8.087 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.087 * [taylor]: Taking taylor expansion of 1/3 in x
8.087 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.087 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.087 * [taylor]: Taking taylor expansion of x in x
8.088 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.089 * [taylor]: Taking taylor expansion of 1/3 in x
8.089 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.089 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.089 * [taylor]: Taking taylor expansion of x in x
8.149 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.149 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.149 * [taylor]: Taking taylor expansion of 1/3 in x
8.149 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.149 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.149 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.149 * [taylor]: Taking taylor expansion of x in x
8.150 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.151 * [taylor]: Taking taylor expansion of 1/3 in x
8.151 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.151 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.151 * [taylor]: Taking taylor expansion of x in x
8.214 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.214 * [taylor]: Taking taylor expansion of 1/3 in x
8.214 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.214 * [taylor]: Taking taylor expansion of x in x
8.216 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.216 * [taylor]: Taking taylor expansion of 1/3 in x
8.216 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.216 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.216 * [taylor]: Taking taylor expansion of x in x
8.274 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
8.275 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
8.275 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.275 * [taylor]: Taking taylor expansion of 1/3 in x
8.275 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.275 * [taylor]: Taking taylor expansion of x in x
8.276 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.276 * [taylor]: Taking taylor expansion of 1/3 in x
8.276 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.276 * [taylor]: Taking taylor expansion of x in x
8.338 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.338 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.338 * [taylor]: Taking taylor expansion of 1/3 in x
8.338 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.338 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.338 * [taylor]: Taking taylor expansion of x in x
8.339 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.339 * [taylor]: Taking taylor expansion of 1/3 in x
8.339 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.339 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.339 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.339 * [taylor]: Taking taylor expansion of x in x
8.405 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
8.405 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.405 * [taylor]: Taking taylor expansion of 1/3 in x
8.405 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.405 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.405 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.405 * [taylor]: Taking taylor expansion of x in x
8.407 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.407 * [taylor]: Taking taylor expansion of 1/3 in x
8.407 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.407 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.407 * [taylor]: Taking taylor expansion of x in x
8.471 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.471 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
8.472 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.472 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.472 * [taylor]: Taking taylor expansion of 1/3 in x
8.472 * [taylor]: Taking taylor expansion of (log x) in x
8.472 * [taylor]: Taking taylor expansion of x in x
8.472 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.472 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.473 * [taylor]: Taking taylor expansion of 1/3 in x
8.473 * [taylor]: Taking taylor expansion of (log x) in x
8.473 * [taylor]: Taking taylor expansion of x in x
8.531 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.531 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.531 * [taylor]: Taking taylor expansion of 1/3 in x
8.531 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.531 * [taylor]: Taking taylor expansion of x in x
8.532 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.533 * [taylor]: Taking taylor expansion of 1/3 in x
8.533 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.533 * [taylor]: Taking taylor expansion of x in x
8.590 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.590 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.590 * [taylor]: Taking taylor expansion of -1 in x
8.591 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.591 * [taylor]: Taking taylor expansion of 1/3 in x
8.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.591 * [taylor]: Taking taylor expansion of x in x
8.592 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.592 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.592 * [taylor]: Taking taylor expansion of -1 in x
8.593 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.593 * [taylor]: Taking taylor expansion of 1/3 in x
8.593 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.593 * [taylor]: Taking taylor expansion of x in x
8.666 * * * * [progress]: [ 4 / 4 ] generating series at (2)
8.667 * [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.667 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in y
8.667 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.667 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in y
8.667 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y
8.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y
8.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y
8.667 * [taylor]: Taking taylor expansion of 1/3 in y
8.667 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y
8.667 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.667 * [taylor]: Taking taylor expansion of x in y
8.667 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
8.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
8.667 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
8.667 * [taylor]: Taking taylor expansion of 1/3 in y
8.667 * [taylor]: Taking taylor expansion of (log x) in y
8.667 * [taylor]: Taking taylor expansion of x in y
8.667 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in y
8.667 * [taylor]: Taking taylor expansion of 0.5 in y
8.667 * [taylor]: Taking taylor expansion of (- x y) in y
8.668 * [taylor]: Taking taylor expansion of x in y
8.668 * [taylor]: Taking taylor expansion of y in y
8.668 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
8.668 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.668 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
8.668 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.668 * [taylor]: Taking taylor expansion of 1/3 in x
8.668 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.668 * [taylor]: Taking taylor expansion of x in x
8.669 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.669 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.669 * [taylor]: Taking taylor expansion of 1/3 in x
8.669 * [taylor]: Taking taylor expansion of (log x) in x
8.669 * [taylor]: Taking taylor expansion of x in x
8.670 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
8.670 * [taylor]: Taking taylor expansion of 0.5 in x
8.670 * [taylor]: Taking taylor expansion of (- x y) in x
8.670 * [taylor]: Taking taylor expansion of x in x
8.670 * [taylor]: Taking taylor expansion of y in x
8.670 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* 0.5 (- x y))) in x
8.670 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* 0.5 (- x y)))
8.670 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
8.670 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
8.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
8.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
8.670 * [taylor]: Taking taylor expansion of 1/3 in x
8.670 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
8.670 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.670 * [taylor]: Taking taylor expansion of x in x
8.671 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.671 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.671 * [taylor]: Taking taylor expansion of 1/3 in x
8.671 * [taylor]: Taking taylor expansion of (log x) in x
8.671 * [taylor]: Taking taylor expansion of x in x
8.672 * [taylor]: Taking taylor expansion of (* 0.5 (- x y)) in x
8.672 * [taylor]: Taking taylor expansion of 0.5 in x
8.672 * [taylor]: Taking taylor expansion of (- x y) in x
8.672 * [taylor]: Taking taylor expansion of x in x
8.672 * [taylor]: Taking taylor expansion of y in x
8.672 * [taylor]: Taking taylor expansion of (- x (* 0.5 y)) in y
8.672 * [taylor]: Taking taylor expansion of x in y
8.672 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
8.672 * [taylor]: Taking taylor expansion of 0.5 in y
8.672 * [taylor]: Taking taylor expansion of y in y
8.679 * [taylor]: Taking taylor expansion of 0.5 in y
8.682 * [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.682 * [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.682 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.682 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in y
8.682 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
8.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
8.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
8.682 * [taylor]: Taking taylor expansion of 1/3 in y
8.682 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
8.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
8.682 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.682 * [taylor]: Taking taylor expansion of x in y
8.682 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
8.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
8.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
8.682 * [taylor]: Taking taylor expansion of 1/3 in y
8.682 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
8.683 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.683 * [taylor]: Taking taylor expansion of x in y
8.683 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in y
8.683 * [taylor]: Taking taylor expansion of 0.5 in y
8.683 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.683 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.683 * [taylor]: Taking taylor expansion of x in y
8.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.683 * [taylor]: Taking taylor expansion of y in y
8.683 * [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.683 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.683 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
8.683 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.683 * [taylor]: Taking taylor expansion of 1/3 in x
8.684 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.684 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.684 * [taylor]: Taking taylor expansion of x in x
8.685 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.685 * [taylor]: Taking taylor expansion of 1/3 in x
8.685 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.685 * [taylor]: Taking taylor expansion of x in x
8.686 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
8.686 * [taylor]: Taking taylor expansion of 0.5 in x
8.686 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.686 * [taylor]: Taking taylor expansion of x in x
8.686 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.686 * [taylor]: Taking taylor expansion of y in x
8.686 * [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.687 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (* 0.5 (- (/ 1 x) (/ 1 y))))
8.687 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
8.687 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.687 * [taylor]: Taking taylor expansion of 1/3 in x
8.687 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.687 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.687 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.687 * [taylor]: Taking taylor expansion of x in x
8.688 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.688 * [taylor]: Taking taylor expansion of 1/3 in x
8.688 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.688 * [taylor]: Taking taylor expansion of x in x
8.689 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 x) (/ 1 y))) in x
8.689 * [taylor]: Taking taylor expansion of 0.5 in x
8.689 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.689 * [taylor]: Taking taylor expansion of x in x
8.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.690 * [taylor]: Taking taylor expansion of y in x
8.690 * [taylor]: Taking taylor expansion of 0.5 in y
8.692 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.5 (/ 1 y))) in y
8.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.692 * [taylor]: Taking taylor expansion of x in y
8.692 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
8.692 * [taylor]: Taking taylor expansion of 0.5 in y
8.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.692 * [taylor]: Taking taylor expansion of y in y
8.707 * [taylor]: Taking taylor expansion of 0 in y
8.709 * [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.709 * [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.709 * [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.709 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in y
8.709 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
8.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
8.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
8.709 * [taylor]: Taking taylor expansion of 1/3 in y
8.709 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
8.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
8.709 * [taylor]: Taking taylor expansion of (pow x 2) in y
8.710 * [taylor]: Taking taylor expansion of x in y
8.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y
8.710 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.710 * [taylor]: Taking taylor expansion of -1 in y
8.711 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
8.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
8.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
8.711 * [taylor]: Taking taylor expansion of 1/3 in y
8.711 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
8.711 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.711 * [taylor]: Taking taylor expansion of x in y
8.711 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in y
8.711 * [taylor]: Taking taylor expansion of 0.5 in y
8.711 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.711 * [taylor]: Taking taylor expansion of y in y
8.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.712 * [taylor]: Taking taylor expansion of x in y
8.712 * [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.712 * [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.712 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
8.712 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.712 * [taylor]: Taking taylor expansion of 1/3 in x
8.712 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.712 * [taylor]: Taking taylor expansion of x in x
8.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.713 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.713 * [taylor]: Taking taylor expansion of -1 in x
8.714 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.714 * [taylor]: Taking taylor expansion of 1/3 in x
8.714 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.714 * [taylor]: Taking taylor expansion of x in x
8.715 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
8.715 * [taylor]: Taking taylor expansion of 0.5 in x
8.715 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.715 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.715 * [taylor]: Taking taylor expansion of y in x
8.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.715 * [taylor]: Taking taylor expansion of x in x
8.716 * [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.716 * [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.716 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
8.716 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
8.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
8.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
8.716 * [taylor]: Taking taylor expansion of 1/3 in x
8.716 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
8.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.716 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.716 * [taylor]: Taking taylor expansion of x in x
8.717 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.717 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.717 * [taylor]: Taking taylor expansion of -1 in x
8.718 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.718 * [taylor]: Taking taylor expansion of 1/3 in x
8.718 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.718 * [taylor]: Taking taylor expansion of x in x
8.719 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y) (/ 1 x))) in x
8.719 * [taylor]: Taking taylor expansion of 0.5 in x
8.719 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.719 * [taylor]: Taking taylor expansion of y in x
8.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.719 * [taylor]: Taking taylor expansion of x in x
8.721 * [taylor]: Taking taylor expansion of (- 0.5) in y
8.721 * [taylor]: Taking taylor expansion of 0.5 in y
8.723 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ (cbrt -1) x)) in y
8.723 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
8.723 * [taylor]: Taking taylor expansion of 0.5 in y
8.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.724 * [taylor]: Taking taylor expansion of y in y
8.724 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
8.724 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.724 * [taylor]: Taking taylor expansion of -1 in y
8.725 * [taylor]: Taking taylor expansion of x in y
8.734 * [taylor]: Taking taylor expansion of 0 in y
8.737 * * * [progress]: simplifying candidates
8.738 * [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.741 * * [simplify]: iteration  0 :  124  enodes  (cost  714 )
8.761 * * [simplify]: iteration  1 :  199  enodes  (cost  593 )
8.793 * * [simplify]: iteration  2 :  384  enodes  (cost  506 )