18.526 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log x))
0.036 * * [simplify]: iteration  0 :  4  enodes  (cost  2 )
0.037 * * [simplify]: iteration  1 :  4  enodes  (cost  2 )
0.037 * [simplify]: Simplified to:
   (* x (log x))
0.037 * * [progress]: iteration 1 / 4
0.037 * * * [progress]: picking best candidate
0.039 * * * * [pick]: Picked  #<alt (λ (x) (* x (log x)))>
0.039 * * * [progress]: localizing error
0.043 * * * [progress]: generating rewritten candidates
0.043 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.047 * * * [progress]: generating series expansions
0.047 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.048 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0
0.048 * [taylor]: Taking taylor expansion of (* (log x) x) in x
0.048 * [taylor]: Taking taylor expansion of (log x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (* (log x) x) in x
0.048 * [taylor]: Taking taylor expansion of (log x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.055 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0
0.055 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x
0.055 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.055 * [taylor]: Taking taylor expansion of x in x
0.055 * [taylor]: Taking taylor expansion of x in x
0.055 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x
0.055 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.055 * [taylor]: Taking taylor expansion of x in x
0.055 * [taylor]: Taking taylor expansion of x in x
0.059 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0
0.059 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.059 * [taylor]: Taking taylor expansion of -1 in x
0.059 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.059 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.059 * [taylor]: Taking taylor expansion of -1 in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.060 * [taylor]: Taking taylor expansion of -1 in x
0.060 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.060 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.060 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.060 * [taylor]: Taking taylor expansion of -1 in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.064 * * * [progress]: simplifying candidates
0.065 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log x))
  (+ (log x) (log (log x)))
  (log (* x (log x)))
  (exp (* x (log x)))
  (* (* (* x x) x) (* (* (log x) (log x)) (log x)))
  (* (cbrt (* x (log x))) (cbrt (* x (log x))))
  (cbrt (* x (log x)))
  (* (* (* x (log x)) (* x (log x))) (* x (log x)))
  (sqrt (* x (log x)))
  (sqrt (* x (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* x (log (* (cbrt x) (cbrt x))))
  (* x (log (cbrt x)))
  (* x (log (sqrt x)))
  (* x (log (sqrt x)))
  (* x (log 1))
  (* x (log x))
  (* (log (* (cbrt x) (cbrt x))) x)
  (* (log (cbrt x)) x)
  (* (log (sqrt x)) x)
  (* (log (sqrt x)) x)
  (* (log 1) x)
  (* (log x) x)
  (* x 1)
  (* x (* (cbrt (log x)) (cbrt (log x))))
  (* x (sqrt (log x)))
  (* x 1)
  (* (cbrt x) (log x))
  (* (sqrt x) (log x))
  (* x (log x))
  (* x (+ (log 1) (log x)))
  (* (- (log 1) (log (/ 1 x))) x)
  (* x (- (log -1) (log (/ -1 x))))
0.067 * * [simplify]: iteration  0 :  97  enodes  (cost  118 )
0.069 * * [simplify]: iteration  1 :  349  enodes  (cost  97 )
0.075 * * [simplify]: iteration  2 :  1152  enodes  (cost  92 )
0.097 * * [simplify]: iteration  3 :  5002  enodes  (cost  92 )
0.098 * [simplify]: Simplified to:
   (* x (log x))
  (log (* x (log x)))
  (log (* x (log x)))
  (pow x x)
  (pow (* x (log x)) 3)
  (* (cbrt (* x (log x))) (cbrt (* x (log x))))
  (cbrt (* x (log x)))
  (pow (* x (log x)) 3)
  (sqrt (* x (log x)))
  (sqrt (* x (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* x (* 2 (log (cbrt x))))
  (* x (log (cbrt x)))
  (* x (log (sqrt x)))
  (* x (log (sqrt x)))
  0
  (* x (log x))
  (* x (* 2 (log (cbrt x))))
  (* x (log (cbrt x)))
  (* x (log (sqrt x)))
  (* x (log (sqrt x)))
  0
  (* x (log x))
  x
  (* x (* (cbrt (log x)) (cbrt (log x))))
  (* x (sqrt (log x)))
  x
  (* (cbrt x) (log x))
  (* (sqrt x) (log x))
  (* x (log x))
  (* x (log x))
  (* x (log x))
  (* x (log x))
0.098 * * * [progress]: adding candidates to table
0.122 * * [progress]: iteration 2 / 4
0.122 * * * [progress]: picking best candidate
0.134 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))>
0.134 * * * [progress]: localizing error
0.143 * * * [progress]: generating rewritten candidates
0.143 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
0.145 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.154 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.162 * * * [progress]: generating series expansions
0.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.163 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.163 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.163 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.163 * [taylor]: Taking taylor expansion of 1/3 in x
0.163 * [taylor]: Taking taylor expansion of (log x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.163 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.163 * [taylor]: Taking taylor expansion of 1/3 in x
0.163 * [taylor]: Taking taylor expansion of (log x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.170 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.170 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.170 * [taylor]: Taking taylor expansion of 1/3 in x
0.170 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.170 * [taylor]: Taking taylor expansion of 1/3 in x
0.170 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.296 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.296 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.296 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.296 * [taylor]: Taking taylor expansion of -1 in x
0.296 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.296 * [taylor]: Taking taylor expansion of 1/3 in x
0.296 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.297 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.297 * [taylor]: Taking taylor expansion of -1 in x
0.297 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.297 * [taylor]: Taking taylor expansion of 1/3 in x
0.297 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.305 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
0.305 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.305 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.305 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.305 * [taylor]: Taking taylor expansion of 1/3 in x
0.305 * [taylor]: Taking taylor expansion of (log x) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.305 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.305 * [taylor]: Taking taylor expansion of 1/3 in x
0.305 * [taylor]: Taking taylor expansion of (log x) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.311 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.311 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.311 * [taylor]: Taking taylor expansion of 1/3 in x
0.311 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.312 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.312 * [taylor]: Taking taylor expansion of 1/3 in x
0.312 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.318 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.318 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.318 * [taylor]: Taking taylor expansion of -1 in x
0.318 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.318 * [taylor]: Taking taylor expansion of 1/3 in x
0.318 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.318 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.318 * [taylor]: Taking taylor expansion of -1 in x
0.319 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.319 * [taylor]: Taking taylor expansion of 1/3 in x
0.319 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.319 * [taylor]: Taking taylor expansion of x in x
0.326 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.327 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0
0.327 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
0.327 * [taylor]: Taking taylor expansion of 3 in x
0.327 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.327 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.327 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.327 * [taylor]: Taking taylor expansion of 1/3 in x
0.327 * [taylor]: Taking taylor expansion of (log x) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
0.327 * [taylor]: Taking taylor expansion of 3 in x
0.327 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.327 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.327 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.327 * [taylor]: Taking taylor expansion of 1/3 in x
0.327 * [taylor]: Taking taylor expansion of (log x) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.344 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.344 * [taylor]: Taking taylor expansion of 3 in x
0.344 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.344 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.344 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.344 * [taylor]: Taking taylor expansion of 1/3 in x
0.344 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.345 * [taylor]: Taking taylor expansion of 3 in x
0.345 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.345 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.345 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.345 * [taylor]: Taking taylor expansion of 1/3 in x
0.345 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.357 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0
0.357 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
0.357 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.357 * [taylor]: Taking taylor expansion of 3 in x
0.357 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.357 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.357 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.357 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.357 * [taylor]: Taking taylor expansion of -1 in x
0.357 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.357 * [taylor]: Taking taylor expansion of 1/3 in x
0.357 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
0.358 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.358 * [taylor]: Taking taylor expansion of 3 in x
0.358 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.358 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.358 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.358 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.358 * [taylor]: Taking taylor expansion of 1/3 in x
0.358 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.374 * [approximate]: Taking taylor expansion of (* x (log (pow x 1/3))) in (x) around 0
0.374 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.374 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.375 * [taylor]: Taking taylor expansion of 1/3 in x
0.375 * [taylor]: Taking taylor expansion of (log x) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.375 * [taylor]: Taking taylor expansion of 1/3 in x
0.375 * [taylor]: Taking taylor expansion of (log x) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.393 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in (x) around 0
0.393 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.393 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.393 * [taylor]: Taking taylor expansion of 1/3 in x
0.393 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.394 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.394 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.394 * [taylor]: Taking taylor expansion of 1/3 in x
0.394 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.405 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0
0.405 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.406 * [taylor]: Taking taylor expansion of -1 in x
0.406 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.406 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.406 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.406 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.406 * [taylor]: Taking taylor expansion of -1 in x
0.406 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.406 * [taylor]: Taking taylor expansion of 1/3 in x
0.406 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.406 * [taylor]: Taking taylor expansion of -1 in x
0.406 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.406 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.406 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.406 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.406 * [taylor]: Taking taylor expansion of -1 in x
0.407 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.407 * [taylor]: Taking taylor expansion of 1/3 in x
0.407 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.423 * * * [progress]: simplifying candidates
0.424 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (* (exp (* x (* 2 (log (cbrt x))))) (exp (* x (log (cbrt x)))))
  (log (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (exp (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))))
  (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (* (* (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (+ (pow (* x (* 2 (log (cbrt x)))) 3) (pow (* x (log (cbrt x))) 3))
  (+ (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))))
  (- (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* (* x (log (cbrt x))) (* x (log (cbrt x)))))
  (- (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
  (+ (* 2 (log (cbrt x))) (log (cbrt x)))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt (* (cbrt x) (cbrt x))))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt (sqrt x)))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt 1))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (sqrt (cbrt x)))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log 1)))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt (* (cbrt x) (cbrt x)))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt (sqrt x))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt 1)) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (sqrt (cbrt x))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log 1) x))
  (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (cbrt x))))
  (+ (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt x))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
  (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (cbrt x))))
  (+ (* x (* 2 (log (sqrt (cbrt x))))) (* x (log (cbrt x))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
  (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (cbrt x))))
  (+ (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (cbrt x))))
  (+ (* x (* (log (cbrt x)) 2)) (* x (log (cbrt x))))
  (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (cbrt x))))
  (+ (* x (* (log (sqrt (cbrt x))) 2)) (* x (log (cbrt x))))
  (+ (* x (* (log (cbrt x)) 2)) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt (sqrt x)))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (sqrt (cbrt x)))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))
  (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (cbrt x))))
  (+ (* (* (log (cbrt (sqrt x))) 2) x) (* x (log (cbrt x))))
  (+ (* (* (log (cbrt x)) 2) x) (* x (log (cbrt x))))
  (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (cbrt x))))
  (+ (* (* (log (sqrt (cbrt x))) 2) x) (* x (log (cbrt x))))
  (+ (* (* (log (cbrt x)) 2) x) (* x (log (cbrt x))))
  (* x (log (cbrt x)))
  (+ (log x) (log (log (cbrt x))))
  (log (* x (log (cbrt x))))
  (exp (* x (log (cbrt x))))
  (* (* (* x x) x) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))))
  (* (cbrt (* x (log (cbrt x)))) (cbrt (* x (log (cbrt x)))))
  (cbrt (* x (log (cbrt x))))
  (* (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* x (log (cbrt x))))
  (sqrt (* x (log (cbrt x))))
  (sqrt (* x (log (cbrt x))))
  (* (sqrt x) (sqrt (log (cbrt x))))
  (* (sqrt x) (sqrt (log (cbrt x))))
  (* x (log (cbrt (* (cbrt x) (cbrt x)))))
  (* x (log (cbrt (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (log (cbrt 1)))
  (* x (log (cbrt x)))
  (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* x (log (cbrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  (* x (log 1))
  (* x (log (cbrt x)))
  (* (log (cbrt (* (cbrt x) (cbrt x)))) x)
  (* (log (cbrt (cbrt x))) x)
  (* (log (cbrt (sqrt x))) x)
  (* (log (cbrt (sqrt x))) x)
  (* (log (cbrt 1)) x)
  (* (log (cbrt x)) x)
  (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x)
  (* (log (cbrt (cbrt x))) x)
  (* (log (sqrt (cbrt x))) x)
  (* (log (sqrt (cbrt x))) x)
  (* (log 1) x)
  (* (log (cbrt x)) x)
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x)))))
  (* x (sqrt (log (cbrt x))))
  (* x 1)
  (* (cbrt x) (log (cbrt x)))
  (* (sqrt x) (log (cbrt x)))
  (* x (log (cbrt x)))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (* x (+ (log 1) (log x)))
  (* (- (log 1) (log (/ 1 x))) x)
  (* 3 (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))))))
  (* x (+ (* 1/3 (log 1)) (* 1/3 (log x))))
  (* 1/3 (* (- (log 1) (log (/ 1 x))) x))
  (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))
0.429 * * [simplify]: iteration  0 :  364  enodes  (cost  765 )
0.436 * * [simplify]: iteration  1 :  1382  enodes  (cost  661 )
0.466 * * [simplify]: iteration  2 :  5002  enodes  (cost  593 )
0.470 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow (pow (cbrt x) x) 3)
  (log (* x (* 3 (log (cbrt x)))))
  (pow (pow (cbrt x) x) 3)
  (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))))
  (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (* 27 (pow (* x (log (cbrt x))) 3))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))
  (* 9 (pow (* x (log (cbrt x))) 3))
  (* (* (* x (log (cbrt x))) (* x (log (cbrt x)))) 3)
  (* (* (* x (log (cbrt x))) (* x (log (cbrt x)))) 3)
  (* x (log (cbrt x)))
  (* 3 (log (cbrt x)))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x))))))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (* (log (cbrt x)) 2))
  (* (* 2 x) (+ (log (cbrt x)) (log (cbrt (cbrt x)))))
  (* x (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x)))))
  (* x (* (log (cbrt x)) 2))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x))))))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (* (log (cbrt x)) 2))
  (* (* 2 x) (+ (log (cbrt x)) (log (cbrt (cbrt x)))))
  (* x (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x)))))
  (* x (* (log (cbrt x)) 2))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x))))
  (* x (* 3 (log (cbrt x))))
  (* x (log (cbrt x)))
  (log (* x (log (cbrt x))))
  (log (* x (log (cbrt x))))
  (pow (cbrt x) x)
  (pow (* x (log (cbrt x))) 3)
  (* (cbrt (* x (log (cbrt x)))) (cbrt (* x (log (cbrt x)))))
  (cbrt (* x (log (cbrt x))))
  (pow (* x (log (cbrt x))) 3)
  (sqrt (* x (log (cbrt x))))
  (sqrt (* x (log (cbrt x))))
  (* (sqrt x) (sqrt (log (cbrt x))))
  (* (sqrt x) (sqrt (log (cbrt x))))
  (* x (log (cbrt (* (cbrt x) (cbrt x)))))
  (* x (log (cbrt (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (log (cbrt (sqrt x))))
  0
  (* x (log (cbrt x)))
  (* x (* (log (cbrt (cbrt x))) 2))
  (* x (log (cbrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  0
  (* x (log (cbrt x)))
  (* x (log (cbrt (* (cbrt x) (cbrt x)))))
  (* x (log (cbrt (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (log (cbrt (sqrt x))))
  0
  (* x (log (cbrt x)))
  (* x (* (log (cbrt (cbrt x))) 2))
  (* x (log (cbrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  (* x (log (sqrt (cbrt x))))
  0
  (* x (log (cbrt x)))
  (* x 1/3)
  x
  (* x (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x)))))
  (* x (sqrt (log (cbrt x))))
  x
  (* (cbrt x) (log (cbrt x)))
  (* (sqrt x) (log (cbrt x)))
  (* x (log (cbrt x)))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (* (log x) x)
  (* (log x) x)
  (* (* 3 (+ (+ (log (cbrt -1)) 0) (* 1/3 (neg (log (/ -1 x)))))) x)
  (* (* 1/3 (log x)) x)
  (* (* 1/3 (log x)) x)
  (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))
0.471 * * * [progress]: adding candidates to table
0.571 * * [progress]: iteration 3 / 4
0.571 * * * [progress]: picking best candidate
0.583 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))>
0.584 * * * [progress]: localizing error
0.600 * * * [progress]: generating rewritten candidates
0.600 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.602 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
0.603 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.614 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.625 * * * [progress]: generating series expansions
0.625 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.625 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.625 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.625 * [taylor]: Taking taylor expansion of 1/3 in x
0.625 * [taylor]: Taking taylor expansion of (log x) in x
0.625 * [taylor]: Taking taylor expansion of x in x
0.626 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.626 * [taylor]: Taking taylor expansion of 1/3 in x
0.626 * [taylor]: Taking taylor expansion of (log x) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.632 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.632 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.632 * [taylor]: Taking taylor expansion of 1/3 in x
0.632 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.632 * [taylor]: Taking taylor expansion of 1/3 in x
0.632 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.638 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 1/3) in (x) around 0
0.638 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x
0.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x
0.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x
0.638 * [taylor]: Taking taylor expansion of 1/3 in x
0.638 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.639 * [taylor]: Taking taylor expansion of -1 in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.639 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x
0.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x
0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x
0.639 * [taylor]: Taking taylor expansion of 1/3 in x
0.639 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.639 * [taylor]: Taking taylor expansion of -1 in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.645 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
0.645 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.645 * [taylor]: Taking taylor expansion of 1/3 in x
0.645 * [taylor]: Taking taylor expansion of (log x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.645 * [taylor]: Taking taylor expansion of 1/3 in x
0.645 * [taylor]: Taking taylor expansion of (log x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.651 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.651 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.651 * [taylor]: Taking taylor expansion of 1/3 in x
0.651 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.652 * [taylor]: Taking taylor expansion of 1/3 in x
0.652 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.658 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.658 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.658 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.658 * [taylor]: Taking taylor expansion of -1 in x
0.658 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of 1/3 in x
0.658 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.659 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.659 * [taylor]: Taking taylor expansion of -1 in x
0.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.659 * [taylor]: Taking taylor expansion of 1/3 in x
0.659 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.666 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.667 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0
0.667 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
0.667 * [taylor]: Taking taylor expansion of 3 in x
0.667 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.667 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.667 * [taylor]: Taking taylor expansion of 1/3 in x
0.667 * [taylor]: Taking taylor expansion of (log x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
0.667 * [taylor]: Taking taylor expansion of 3 in x
0.667 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.667 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.667 * [taylor]: Taking taylor expansion of 1/3 in x
0.667 * [taylor]: Taking taylor expansion of (log x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.684 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
0.684 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.684 * [taylor]: Taking taylor expansion of 3 in x
0.684 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.684 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.684 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.684 * [taylor]: Taking taylor expansion of 1/3 in x
0.684 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.685 * [taylor]: Taking taylor expansion of 3 in x
0.685 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.685 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.685 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.685 * [taylor]: Taking taylor expansion of 1/3 in x
0.685 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.699 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in (x) around 0
0.699 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in x
0.699 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (/ -1 x) 1/3)) x)) in x
0.699 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.699 * [taylor]: Taking taylor expansion of 2 in x
0.699 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.699 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.699 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.699 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.699 * [taylor]: Taking taylor expansion of -1 in x
0.699 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.699 * [taylor]: Taking taylor expansion of 1/3 in x
0.699 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x
0.700 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x
0.700 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x
0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x
0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x
0.700 * [taylor]: Taking taylor expansion of 1/3 in x
0.700 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.700 * [taylor]: Taking taylor expansion of -1 in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in x
0.700 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (/ -1 x) 1/3)) x)) in x
0.700 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.700 * [taylor]: Taking taylor expansion of 2 in x
0.700 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.700 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.700 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.700 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.700 * [taylor]: Taking taylor expansion of -1 in x
0.700 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.700 * [taylor]: Taking taylor expansion of 1/3 in x
0.700 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.701 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x
0.701 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x
0.701 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x
0.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x
0.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x
0.701 * [taylor]: Taking taylor expansion of 1/3 in x
0.701 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.701 * [taylor]: Taking taylor expansion of -1 in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.728 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0
0.728 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
0.728 * [taylor]: Taking taylor expansion of 2 in x
0.728 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.728 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.728 * [taylor]: Taking taylor expansion of 1/3 in x
0.728 * [taylor]: Taking taylor expansion of (log x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
0.729 * [taylor]: Taking taylor expansion of 2 in x
0.729 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.729 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.729 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.729 * [taylor]: Taking taylor expansion of 1/3 in x
0.729 * [taylor]: Taking taylor expansion of (log x) in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.745 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
0.746 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.746 * [taylor]: Taking taylor expansion of 2 in x
0.746 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.746 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.746 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.746 * [taylor]: Taking taylor expansion of 1/3 in x
0.746 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
0.746 * [taylor]: Taking taylor expansion of 2 in x
0.746 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
0.746 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.746 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.746 * [taylor]: Taking taylor expansion of 1/3 in x
0.746 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.758 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0
0.758 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.758 * [taylor]: Taking taylor expansion of -2 in x
0.758 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.758 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.758 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.758 * [taylor]: Taking taylor expansion of -1 in x
0.758 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.758 * [taylor]: Taking taylor expansion of 1/3 in x
0.758 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
0.759 * [taylor]: Taking taylor expansion of -2 in x
0.759 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
0.759 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.759 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.759 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.759 * [taylor]: Taking taylor expansion of -1 in x
0.759 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.759 * [taylor]: Taking taylor expansion of 1/3 in x
0.759 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.775 * * * [progress]: simplifying candidates
0.777 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log x) 1/3)
  (* (log x) 1/3)
  (* 1 1/3)
  (pow x (* (cbrt 1/3) (cbrt 1/3)))
  (pow x (sqrt 1/3))
  (pow x 1)
  (pow (* (cbrt x) (cbrt x)) 1/3)
  (pow (cbrt x) 1/3)
  (pow (sqrt x) 1/3)
  (pow (sqrt x) 1/3)
  (pow 1 1/3)
  (pow x 1/3)
  (log (pow x 1/3))
  (exp (pow x 1/3))
  (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3)))
  (cbrt (pow x 1/3))
  (* (* (pow x 1/3) (pow x 1/3)) (pow x 1/3))
  (sqrt (pow x 1/3))
  (sqrt (pow x 1/3))
  (pow x (/ 1/3 2))
  (pow x (/ 1/3 2))
  (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))
  (* (exp (* x (* 2 (log (cbrt x))))) (exp (* x (log (pow x 1/3)))))
  (log (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (exp (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))))
  (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (* (* (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (+ (pow (* x (* 2 (log (cbrt x)))) 3) (pow (* x (log (pow x 1/3))) 3))
  (+ (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (- (* (* x (log (pow x 1/3))) (* x (log (pow x 1/3)))) (* (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))))
  (- (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* (* x (log (pow x 1/3))) (* x (log (pow x 1/3)))))
  (- (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
  (+ (* 2 (log (cbrt x))) (log (pow x 1/3)))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow (* (cbrt x) (cbrt x)) 1/3))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow (sqrt x) 1/3))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow 1 1/3))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3))))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (sqrt (pow x 1/3)))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log 1)))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x (/ 1/3 2)))))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (pow (* (cbrt x) (cbrt x)) 1/3)) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (pow (sqrt x) 1/3)) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (pow 1 1/3)) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3)))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (sqrt (pow x 1/3))) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log 1) x))
  (+ (* x (* 2 (log (cbrt x)))) (* (log (pow x (/ 1/3 2))) x))
  (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (pow x 1/3))))
  (+ (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (pow x 1/3))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
  (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (pow x 1/3))))
  (+ (* x (* 2 (log (sqrt (cbrt x))))) (* x (log (pow x 1/3))))
  (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
  (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (pow x 1/3))))
  (+ (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (pow x 1/3))))
  (+ (* x (* (log (cbrt x)) 2)) (* x (log (pow x 1/3))))
  (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (pow x 1/3))))
  (+ (* x (* (log (sqrt (cbrt x))) 2)) (* x (log (pow x 1/3))))
  (+ (* x (* (log (cbrt x)) 2)) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (cbrt (sqrt x)))) x) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (sqrt (cbrt x)))) x) (* x (log (pow x 1/3))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (cbrt (sqrt x))) 2) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (cbrt x)) 2) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (sqrt (cbrt x))) 2) x) (* x (log (pow x 1/3))))
  (+ (* (* (log (cbrt x)) 2) x) (* x (log (pow x 1/3))))
  (* x (* 2 (log (cbrt x))))
  (* x (* 2 (log (cbrt x))))
  (+ (log x) (+ (log 2) (log (log (cbrt x)))))
  (+ (log x) (log (* 2 (log (cbrt x)))))
  (log (* x (* 2 (log (cbrt x)))))
  (exp (* x (* 2 (log (cbrt x)))))
  (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))))
  (* (* (* x x) x) (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x)))))
  (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x))))))
  (cbrt (* x (* 2 (log (cbrt x)))))
  (* (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt x)))))
  (sqrt (* x (* 2 (log (cbrt x)))))
  (sqrt (* x (* 2 (log (cbrt x)))))
  (* x (* 2 (log (cbrt (* (cbrt x) (cbrt x))))))
  (* x (* 2 (log (cbrt (cbrt x)))))
  (* x (* 2 (log (cbrt (sqrt x)))))
  (* x (* 2 (log (cbrt (sqrt x)))))
  (* x (* 2 (log (cbrt 1))))
  (* x (* 2 (log (cbrt x))))
  (* x (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))))
  (* x (* 2 (log (cbrt (cbrt x)))))
  (* x (* 2 (log (sqrt (cbrt x)))))
  (* x (* 2 (log (sqrt (cbrt x)))))
  (* x (* 2 (log 1)))
  (* x (* 2 (log (cbrt x))))
  (* x (* (log (cbrt (* (cbrt x) (cbrt x)))) 2))
  (* x (* (log (cbrt (cbrt x))) 2))
  (* x (* (log (cbrt (sqrt x))) 2))
  (* x (* (log (cbrt (sqrt x))) 2))
  (* x (* (log (cbrt 1)) 2))
  (* x (* (log (cbrt x)) 2))
  (* x (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2))
  (* x (* (log (cbrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log 1) 2))
  (* x (* (log (cbrt x)) 2))
  (* (* 2 (log (cbrt (* (cbrt x) (cbrt x))))) x)
  (* (* 2 (log (cbrt (cbrt x)))) x)
  (* (* 2 (log (cbrt (sqrt x)))) x)
  (* (* 2 (log (cbrt (sqrt x)))) x)
  (* (* 2 (log (cbrt 1))) x)
  (* (* 2 (log (cbrt x))) x)
  (* (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) x)
  (* (* 2 (log (cbrt (cbrt x)))) x)
  (* (* 2 (log (sqrt (cbrt x)))) x)
  (* (* 2 (log (sqrt (cbrt x)))) x)
  (* (* 2 (log 1)) x)
  (* (* 2 (log (cbrt x))) x)
  (* (* (log (cbrt (* (cbrt x) (cbrt x)))) 2) x)
  (* (* (log (cbrt (cbrt x))) 2) x)
  (* (* (log (cbrt (sqrt x))) 2) x)
  (* (* (log (cbrt (sqrt x))) 2) x)
  (* (* (log (cbrt 1)) 2) x)
  (* (* (log (cbrt x)) 2) x)
  (* (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2) x)
  (* (* (log (cbrt (cbrt x))) 2) x)
  (* (* (log (sqrt (cbrt x))) 2) x)
  (* (* (log (sqrt (cbrt x))) 2) x)
  (* (* (log 1) 2) x)
  (* (* (log (cbrt x)) 2) x)
  (* x 2)
  (* (cbrt x) (* 2 (log (cbrt x))))
  (* (sqrt x) (* 2 (log (cbrt x))))
  (* x (* 2 (log (cbrt x))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (exp (* 1/3 (- (log -1) (log (/ -1 x)))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (* x (+ (log 1) (log x)))
  (* (- (log 1) (log (/ 1 x))) x)
  (* -1 (* x (- (* 1/3 (log (/ -1 x))) (+ (* 1/3 (log -1)) (* 2 (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))))))
  (* x (+ (* 2/3 (log 1)) (* 2/3 (log x))))
  (* 2/3 (* (- (log 1) (log (/ 1 x))) x))
  (* 2 (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))))))
0.784 * * [simplify]: iteration  0 :  536  enodes  (cost  947 )
0.793 * * [simplify]: iteration  1 :  2113  enodes  (cost  794 )
0.837 * * [simplify]: iteration  2 :  5002  enodes  (cost  632 )
0.843 * [simplify]: Simplified to:
   (log (pow x 1/3))
  (log (pow x 1/3))
  1/3
  (pow x (* (cbrt 1/3) (cbrt 1/3)))
  (pow x (sqrt 1/3))
  x
  (cbrt (pow x 2/3))
  (pow (cbrt x) 1/3)
  (pow (sqrt x) 1/3)
  (pow (sqrt x) 1/3)
  1
  (pow x 1/3)
  (log (pow x 1/3))
  (exp (cbrt x))
  (pow (pow x 1/3) 2/3)
  (pow (cbrt x) 1/3)
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow x 1/6)
  (pow x 1/6)
  (log (pow x 1/3))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (pow (cbrt x) 1/3)
  (pow (sqrt x) 1/3)
  (pow (sqrt x) 1/3)
  1
  (pow x 1/3)
  (pow (pow x 1/3) 2/3)
  (pow (cbrt x) 1/3)
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow (pow (pow x 1/3) x) 3)
  (log (* (log x) x))
  (pow (pow (pow x 1/3) x) 3)
  (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))))
  (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (pow (* (log x) x) 3)
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))
  (* (pow (log (pow x 1/3)) 3) (+ (pow x 3) (* 8 (pow x 3))))
  (* (* x (log (pow x 1/3))) (+ (* 2 (* x (* (log (cbrt x)) 2))) (* (log (pow x 1/3)) (- x (* x 2)))))
  (* (* 1/9 (* (log x) (log x))) (- (* 4 (* x x)) (* x x)))
  (* (log (pow x 1/3)) (- (* x 2) x))
  (log x)
  (* (* x 2) (+ (log (pow x 1/3)) (log (cbrt (pow x 1/3)))))
  (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6))))
  (* (* 2/3 (log x)) x)
  (* (* x 2) (+ (log (pow x 1/3)) (log (cbrt (pow x 1/3)))))
  (* x (+ (* 2 (log (cbrt x))) (log (sqrt (pow x 1/3)))))
  (* (* 2/3 (log x)) x)
  (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6))))
  (* (* x 2) (+ (log (pow x 1/3)) (log (cbrt (pow x 1/3)))))
  (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6))))
  (* (* 2/3 (log x)) x)
  (* (* x 2) (+ (log (pow x 1/3)) (log (cbrt (pow x 1/3)))))
  (* x (+ (* 2 (log (cbrt x))) (log (sqrt (pow x 1/3)))))
  (* (* 2/3 (log x)) x)
  (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6))))
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* (* 2/3 (log x)) x)
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (pow x 1/3))))
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* (* 2/3 (log x)) x)
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (pow x 1/3))))
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* (* 2/3 (log x)) x)
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (pow x 1/3))))
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* (* 2/3 (log x)) x)
  (* (log x) x)
  (* x (+ (* 2/3 (log (pow x 1/3))) (log (pow x 1/3))))
  (* x (+ (* (log (sqrt (cbrt x))) 2) (log (pow x 1/3))))
  (* (log x) x)
  (* (* 2/3 (log x)) x)
  (* (* 2/3 (log x)) x)
  (log (* x (* 2 (log (cbrt x)))))
  (log (* x (* 2 (log (cbrt x)))))
  (log (* x (* 2 (log (cbrt x)))))
  (pow (pow x 2/3) x)
  (* (pow (* (log x) x) 3) 8/27)
  (* (pow (* (log x) x) 3) 8/27)
  (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x))))))
  (cbrt (* x (* 2 (log (cbrt x)))))
  (* (pow (* (log x) x) 3) 8/27)
  (sqrt (* x (* 2 (log (cbrt x)))))
  (sqrt (* x (* 2 (log (cbrt x)))))
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (log (pow x 1/3)))
  (* x (log (pow x 1/3)))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (log (pow x 1/3)))
  (* x (log (pow x 1/3)))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (log (pow x 1/3)))
  (* x (log (pow x 1/3)))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (log (pow x 1/3)))
  (* x (log (pow x 1/3)))
  0
  (* (* 2/3 (log x)) x)
  (* x (* 2/3 (* 2/3 (log x))))
  (* (* x 1/3) (* 2/3 (log x)))
  (* x (* (log (sqrt (cbrt x))) 2))
  (* x (* (log (sqrt (cbrt x))) 2))
  0
  (* (* 2/3 (log x)) x)
  (* x 2)
  (* (* 2/3 (log x)) (pow x 1/3))
  (* (* 2/3 (log x)) (pow x 1/2))
  (* (* 2/3 (log x)) x)
  (pow x 1/3)
  (pow x 1/3)
  (pow x 1/3)
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (* (log x) x)
  (* (log x) x)
  (* -1 (* x (- (* 1/3 (log (/ -1 x))) (+ (* 1/3 (log -1)) (* 2 (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))))))
  (* (* 2/3 (log x)) x)
  (* (* 2/3 (log x)) x)
  (* 2 (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))))))
0.844 * * * [progress]: adding candidates to table
0.997 * * [progress]: iteration 4 / 4
0.997 * * * [progress]: picking best candidate
1.014 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x))))))>
1.014 * * * [progress]: localizing error
1.028 * * * [progress]: generating rewritten candidates
1.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 1)
1.029 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.031 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
1.033 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.040 * * * [progress]: generating series expansions
1.040 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 1)
1.041 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.041 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.041 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.041 * [taylor]: Taking taylor expansion of 1/3 in x
1.041 * [taylor]: Taking taylor expansion of (log x) in x
1.041 * [taylor]: Taking taylor expansion of x in x
1.041 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.041 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.041 * [taylor]: Taking taylor expansion of 1/3 in x
1.041 * [taylor]: Taking taylor expansion of (log x) in x
1.041 * [taylor]: Taking taylor expansion of x in x
1.047 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.047 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.047 * [taylor]: Taking taylor expansion of 1/3 in x
1.047 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.047 * [taylor]: Taking taylor expansion of 1/3 in x
1.047 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.054 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.054 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.054 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.054 * [taylor]: Taking taylor expansion of -1 in x
1.054 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.054 * [taylor]: Taking taylor expansion of 1/3 in x
1.054 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.054 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.054 * [taylor]: Taking taylor expansion of -1 in x
1.054 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.054 * [taylor]: Taking taylor expansion of 1/3 in x
1.054 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.062 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.062 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
1.062 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.062 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.062 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.062 * [taylor]: Taking taylor expansion of 1/6 in x
1.062 * [taylor]: Taking taylor expansion of (log x) in x
1.062 * [taylor]: Taking taylor expansion of x in x
1.063 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.063 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.063 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.063 * [taylor]: Taking taylor expansion of 1/6 in x
1.063 * [taylor]: Taking taylor expansion of (log x) in x
1.063 * [taylor]: Taking taylor expansion of x in x
1.069 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
1.069 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.069 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.069 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.069 * [taylor]: Taking taylor expansion of 1/6 in x
1.069 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.069 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.069 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.069 * [taylor]: Taking taylor expansion of 1/6 in x
1.069 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.076 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
1.076 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.076 * [taylor]: Taking taylor expansion of 1/3 in x
1.076 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.076 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.076 * [taylor]: Taking taylor expansion of -1 in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.076 * [taylor]: Taking taylor expansion of 1/3 in x
1.076 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.076 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.076 * [taylor]: Taking taylor expansion of -1 in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.079 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
1.079 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
1.079 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.079 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.079 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.079 * [taylor]: Taking taylor expansion of 1/6 in x
1.079 * [taylor]: Taking taylor expansion of (log x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.079 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.079 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.079 * [taylor]: Taking taylor expansion of 1/6 in x
1.079 * [taylor]: Taking taylor expansion of (log x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.085 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
1.085 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.085 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.085 * [taylor]: Taking taylor expansion of 1/6 in x
1.085 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.086 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.086 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.086 * [taylor]: Taking taylor expansion of 1/6 in x
1.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.095 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
1.095 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.095 * [taylor]: Taking taylor expansion of 1/3 in x
1.095 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.095 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.095 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.095 * [taylor]: Taking taylor expansion of -1 in x
1.095 * [taylor]: Taking taylor expansion of x in x
1.095 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.095 * [taylor]: Taking taylor expansion of 1/3 in x
1.095 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.095 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.095 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.095 * [taylor]: Taking taylor expansion of -1 in x
1.095 * [taylor]: Taking taylor expansion of x in x
1.097 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.097 * [approximate]: Taking taylor expansion of (* x (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6)))) in (x) around 0
1.097 * [taylor]: Taking taylor expansion of (* x (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6)))) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6))) in x
1.097 * [taylor]: Taking taylor expansion of (* 2 (log (pow x 1/3))) in x
1.097 * [taylor]: Taking taylor expansion of 2 in x
1.097 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.097 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.097 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.097 * [taylor]: Taking taylor expansion of 1/3 in x
1.097 * [taylor]: Taking taylor expansion of (log x) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x
1.098 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.098 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.098 * [taylor]: Taking taylor expansion of 1/6 in x
1.098 * [taylor]: Taking taylor expansion of (log x) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (* x (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6)))) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6))) in x
1.098 * [taylor]: Taking taylor expansion of (* 2 (log (pow x 1/3))) in x
1.098 * [taylor]: Taking taylor expansion of 2 in x
1.098 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.098 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.098 * [taylor]: Taking taylor expansion of 1/3 in x
1.098 * [taylor]: Taking taylor expansion of (log x) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x
1.098 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
1.098 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
1.098 * [taylor]: Taking taylor expansion of 1/6 in x
1.099 * [taylor]: Taking taylor expansion of (log x) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.131 * [approximate]: Taking taylor expansion of (/ (+ (log (pow (/ 1 x) 1/6)) (* 2 (log (pow (/ 1 x) 1/3)))) x) in (x) around 0
1.131 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 x) 1/6)) (* 2 (log (pow (/ 1 x) 1/3)))) x) in x
1.131 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 x) 1/6)) (* 2 (log (pow (/ 1 x) 1/3)))) in x
1.131 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x
1.131 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.131 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.131 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.131 * [taylor]: Taking taylor expansion of 1/6 in x
1.131 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 x) 1/3))) in x
1.131 * [taylor]: Taking taylor expansion of 2 in x
1.131 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.131 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.131 * [taylor]: Taking taylor expansion of 1/3 in x
1.131 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 x) 1/6)) (* 2 (log (pow (/ 1 x) 1/3)))) x) in x
1.132 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 x) 1/6)) (* 2 (log (pow (/ 1 x) 1/3)))) in x
1.132 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x
1.132 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.132 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.132 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.132 * [taylor]: Taking taylor expansion of 1/6 in x
1.132 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 x) 1/3))) in x
1.132 * [taylor]: Taking taylor expansion of 2 in x
1.132 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.132 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.132 * [taylor]: Taking taylor expansion of 1/3 in x
1.132 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.155 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) x)) in (x) around 0
1.155 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) x)) in x
1.155 * [taylor]: Taking taylor expansion of -1 in x
1.155 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) x) in x
1.155 * [taylor]: Taking taylor expansion of (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) in x
1.155 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.155 * [taylor]: Taking taylor expansion of 2 in x
1.155 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.155 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.155 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.155 * [taylor]: Taking taylor expansion of -1 in x
1.155 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.155 * [taylor]: Taking taylor expansion of 1/3 in x
1.155 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.155 * [taylor]: Taking taylor expansion of x in x
1.155 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x
1.155 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.155 * [taylor]: Taking taylor expansion of 1/3 in x
1.155 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.156 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.156 * [taylor]: Taking taylor expansion of -1 in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.156 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) x)) in x
1.156 * [taylor]: Taking taylor expansion of -1 in x
1.156 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) x) in x
1.156 * [taylor]: Taking taylor expansion of (+ (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (log (pow (sqrt (/ -1 x)) 1/3))) in x
1.156 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.156 * [taylor]: Taking taylor expansion of 2 in x
1.156 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.156 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.156 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.156 * [taylor]: Taking taylor expansion of -1 in x
1.156 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.157 * [taylor]: Taking taylor expansion of 1/3 in x
1.157 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x
1.157 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.157 * [taylor]: Taking taylor expansion of 1/3 in x
1.157 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.157 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.157 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.157 * [taylor]: Taking taylor expansion of -1 in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.164 * * * [progress]: simplifying candidates
1.165 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt 1))
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt 1))
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (+ (log x) (log (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (log (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (exp (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (* (* x x) x) (* (* (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))) (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))))
  (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (* (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))) (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (sqrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (sqrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (sqrt x) (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (sqrt x) (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* x (* 2 (log (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* (* 2 (log (cbrt x))) x)
  (* (log (cbrt (sqrt x))) x)
  (* x (* (cbrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (cbrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))))
  (* x (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* x 1)
  (* (cbrt x) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* (sqrt x) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (+ (pow (* 2 (log (cbrt x))) 3) (pow (log (cbrt (sqrt x))) 3)))
  (* x (- (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* (log (cbrt (sqrt x))) (log (cbrt (sqrt x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/6 (+ (log 1) (log x))))
  (exp (* 1/6 (- (log 1) (log (/ 1 x)))))
  (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3))))
  (exp (* 1/6 (+ (log 1) (log x))))
  (exp (* 1/6 (- (log 1) (log (/ 1 x)))))
  (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3))))
  (* x (+ (* 5/6 (log 1)) (* 5/6 (log x))))
  (* x (- (* 5/6 (log 1)) (* 5/6 (log (/ 1 x)))))
  (- (+ (* x (log (pow NAN 1/3))) (+ (* 2 (* x (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))) (* 1/6 (/ (pow NAN 4) x)))) (* 1/3 (pow NAN 2)))
1.169 * * [simplify]: iteration  0 :  343  enodes  (cost  514 )
1.176 * * [simplify]: iteration  1 :  1346  enodes  (cost  447 )
1.203 * * [simplify]: iteration  2 :  5001  enodes  (cost  418 )
1.206 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (pow x 1/6)
  (pow x 1/6)
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (sqrt x)
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (sqrt x)
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (log (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (log (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (pow (cbrt (sqrt x)) x) (pow (cbrt x) (* 2 x)))
  (pow (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) 3)
  (* (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))) (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))))
  (cbrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (pow (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) 3)
  (sqrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (sqrt (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  (* (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (pow x 1/2))
  (* (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (pow x 1/2))
  (* x (* 2 (log (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (* 2 (log (cbrt x))))
  (* x (log (cbrt (sqrt x))))
  (* x (* (cbrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (cbrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))))
  (* x (sqrt (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))))
  x
  (* (cbrt x) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* (sqrt x) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x)))))
  (* x (+ (pow (* 2 (log (cbrt x))) 3) (pow (log (cbrt (sqrt x))) 3)))
  (* x (- (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* (log (cbrt (sqrt x))) (log (cbrt (sqrt x))))))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (pow x 1/6)
  (pow x 1/6)
  (+ (+ (* -1/3 (/ (pow (pow NAN 7) 1/3) x)) (/ (* 2/9 (pow (pow NAN 13) 1/3)) (pow x 2))) (pow NAN 1/3))
  (pow x 1/6)
  (pow x 1/6)
  (+ (+ (* -1/3 (/ (pow (pow NAN 7) 1/3) x)) (/ (* 2/9 (pow (pow NAN 13) 1/3)) (pow x 2))) (pow NAN 1/3))
  (* (* 5/6 (log x)) x)
  (* (* 5/6 (log x)) x)
  (+ (+ (* -1/3 (pow NAN 2)) (* x (+ (* (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))) 2) (log (pow NAN 1/3))))) (* 1/6 (/ (pow NAN 4) x)))
1.206 * * * [progress]: adding candidates to table
1.286 * [progress]: [Phase 3 of 3] Extracting.
1.286 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* x (* 3 (log (cbrt x)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (log (cbrt (cbrt x))))))> #<alt (λ (x) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x))))))>)
1.288 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x)
1.288 * * * * [regimes]: Trying to branch on (* x (log x)) from (#<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* x (* 3 (log (cbrt x)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (log (cbrt (cbrt x))))))> #<alt (λ (x) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x))))))>)
1.330 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* x (* 3 (log (cbrt x)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (log (cbrt (cbrt x))))))> #<alt (λ (x) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))> #<alt (λ (x) (+ (* x (+ (* 2 (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x))))))>)
1.367 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.367 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log x))
1.367 * * [simplify]: iteration  0 :  4  enodes  (cost  2 )
1.368 * * [simplify]: iteration  1 :  4  enodes  (cost  2 )
1.368 * [simplify]: Simplified to:
   (* x (log x))
2.440 * [regime-testing]: Baseline error score: 0.2676584573071634
2.440 * [regime-testing]: Oracle error score: 0.011376422052756595
2.442 * [regime-testing]: End program error score: 0.2676584573071634