14.412 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (log x))
0.020 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
0.020 * * [simplify]: iteration  1 :  4  enodes  (cost  4 )
0.021 * * [simplify]: iteration  done :  4  enodes  (cost  4 )
0.021 * [simplify]: Simplified to:
   (* x (log x))
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.022 * * * * [pick]: Picked  #<alt (λ (x) (* x (log x)))>
0.022 * * * [progress]: localizing error
0.026 * * * [progress]: generating rewritten candidates
0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.031 * * * [progress]: generating series expansions
0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.031 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0
0.031 * [taylor]: Taking taylor expansion of (* (log x) x) in x
0.031 * [taylor]: Taking taylor expansion of (log x) in x
0.031 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of (* (log x) x) in x
0.032 * [taylor]: Taking taylor expansion of (log x) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.099 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0
0.099 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x
0.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x
0.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.149 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.149 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.151 * [taylor]: Taking taylor expansion of -1 in x
0.151 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.151 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.151 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.151 * [taylor]: Taking taylor expansion of -1 in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.208 * * * [progress]: simplifying candidates
0.209 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (log x)))
  (log1p (* x (log x)))
  (* 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))
  (* (log x) x)
  (* -1 (* x (log (/ 1 x))))
  (* x (- (log -1) (log (/ -1 x))))
0.211 * * [simplify]: iteration  0 :  55  enodes  (cost  213 )
0.224 * * [simplify]: iteration  1 :  95  enodes  (cost  204 )
0.237 * * [simplify]: iteration  2 :  181  enodes  (cost  180 )
0.289 * * [simplify]: iteration  3 :  269  enodes  (cost  175 )
0.447 * * [simplify]: iteration  4 :  826  enodes  (cost  173 )
1.688 * * [simplify]: iteration  5 :  2709  enodes  (cost  173 )
3.740 * * [simplify]: iteration  done :  5000  enodes  (cost  173 )
3.740 * [simplify]: Simplified to:
   (expm1 (* x (log x)))
  (log1p (* x (log x)))
  (* x (log x))
  (log (* x (log x)))
  (log (* x (log x)))
  (pow x x)
  (pow (* (log x) x) 3)
  (* (cbrt (* x (log x))) (cbrt (* x (log x))))
  (cbrt (* x (log x)))
  (pow (* (log x) x) 3)
  (sqrt (* x (log x)))
  (sqrt (* x (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* (sqrt x) (sqrt (log x)))
  (* (* 2 (log (cbrt x))) x)
  (* x (log (cbrt x)))
  (* x (log (sqrt x)))
  (* x (log (sqrt x)))
  0
  (* x (log x))
  (* (* 2 (log (cbrt x))) 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))
3.740 * * * [progress]: adding candidates to table
3.784 * * [progress]: iteration 2 / 4
3.784 * * * [progress]: picking best candidate
3.795 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))>
3.795 * * * [progress]: localizing error
3.804 * * * [progress]: generating rewritten candidates
3.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
3.804 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
3.805 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.825 * * * [progress]: generating series expansions
3.825 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
3.825 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
3.825 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.825 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.825 * [taylor]: Taking taylor expansion of 1/3 in x
3.825 * [taylor]: Taking taylor expansion of (log x) in x
3.825 * [taylor]: Taking taylor expansion of x in x
3.826 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.827 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.827 * [taylor]: Taking taylor expansion of 1/3 in x
3.827 * [taylor]: Taking taylor expansion of (log x) in x
3.827 * [taylor]: Taking taylor expansion of x in x
3.878 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
3.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.878 * [taylor]: Taking taylor expansion of 1/3 in x
3.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.878 * [taylor]: Taking taylor expansion of x in x
3.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.879 * [taylor]: Taking taylor expansion of 1/3 in x
3.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.879 * [taylor]: Taking taylor expansion of x in x
3.934 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
3.934 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.934 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.934 * [taylor]: Taking taylor expansion of -1 in x
3.935 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.935 * [taylor]: Taking taylor expansion of 1/3 in x
3.935 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.935 * [taylor]: Taking taylor expansion of x in x
3.936 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.936 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.936 * [taylor]: Taking taylor expansion of -1 in x
3.936 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.936 * [taylor]: Taking taylor expansion of 1/3 in x
3.936 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.936 * [taylor]: Taking taylor expansion of x in x
4.001 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
4.002 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.002 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.002 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.002 * [taylor]: Taking taylor expansion of 1/3 in x
4.002 * [taylor]: Taking taylor expansion of (log x) in x
4.002 * [taylor]: Taking taylor expansion of x in x
4.002 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.002 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.002 * [taylor]: Taking taylor expansion of 1/3 in x
4.002 * [taylor]: Taking taylor expansion of (log x) in x
4.002 * [taylor]: Taking taylor expansion of x in x
4.054 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.054 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.054 * [taylor]: Taking taylor expansion of 1/3 in x
4.054 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.054 * [taylor]: Taking taylor expansion of x in x
4.055 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.055 * [taylor]: Taking taylor expansion of 1/3 in x
4.055 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.055 * [taylor]: Taking taylor expansion of x in x
4.107 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.107 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.107 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.107 * [taylor]: Taking taylor expansion of -1 in x
4.108 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.108 * [taylor]: Taking taylor expansion of 1/3 in x
4.108 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.108 * [taylor]: Taking taylor expansion of x in x
4.109 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.109 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.109 * [taylor]: Taking taylor expansion of -1 in x
4.110 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.110 * [taylor]: Taking taylor expansion of 1/3 in x
4.110 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.110 * [taylor]: Taking taylor expansion of x in x
4.175 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.175 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0
4.175 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
4.175 * [taylor]: Taking taylor expansion of 3 in x
4.175 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
4.175 * [taylor]: Taking taylor expansion of x in x
4.175 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
4.175 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.175 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.175 * [taylor]: Taking taylor expansion of 1/3 in x
4.175 * [taylor]: Taking taylor expansion of (log x) in x
4.175 * [taylor]: Taking taylor expansion of x in x
4.176 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
4.176 * [taylor]: Taking taylor expansion of 3 in x
4.176 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
4.176 * [taylor]: Taking taylor expansion of x in x
4.176 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
4.176 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.176 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.176 * [taylor]: Taking taylor expansion of 1/3 in x
4.176 * [taylor]: Taking taylor expansion of (log x) in x
4.176 * [taylor]: Taking taylor expansion of x in x
4.306 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
4.306 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
4.306 * [taylor]: Taking taylor expansion of 3 in x
4.306 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
4.306 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
4.306 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.306 * [taylor]: Taking taylor expansion of 1/3 in x
4.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.306 * [taylor]: Taking taylor expansion of x in x
4.307 * [taylor]: Taking taylor expansion of x in x
4.307 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
4.307 * [taylor]: Taking taylor expansion of 3 in x
4.307 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
4.307 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
4.307 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.307 * [taylor]: Taking taylor expansion of 1/3 in x
4.307 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.307 * [taylor]: Taking taylor expansion of x in x
4.308 * [taylor]: Taking taylor expansion of x in x
4.396 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0
4.396 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
4.396 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
4.396 * [taylor]: Taking taylor expansion of 3 in x
4.396 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
4.396 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
4.396 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.396 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.396 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.397 * [taylor]: Taking taylor expansion of 1/3 in x
4.397 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.397 * [taylor]: Taking taylor expansion of x in x
4.399 * [taylor]: Taking taylor expansion of x in x
4.399 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
4.399 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
4.399 * [taylor]: Taking taylor expansion of 3 in x
4.399 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
4.399 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
4.400 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.400 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.400 * [taylor]: Taking taylor expansion of -1 in x
4.400 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.400 * [taylor]: Taking taylor expansion of 1/3 in x
4.400 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.400 * [taylor]: Taking taylor expansion of x in x
4.402 * [taylor]: Taking taylor expansion of x in x
4.524 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.524 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0
4.524 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
4.524 * [taylor]: Taking taylor expansion of 2 in x
4.524 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
4.524 * [taylor]: Taking taylor expansion of x in x
4.524 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
4.524 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.524 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.524 * [taylor]: Taking taylor expansion of 1/3 in x
4.524 * [taylor]: Taking taylor expansion of (log x) in x
4.524 * [taylor]: Taking taylor expansion of x in x
4.525 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
4.525 * [taylor]: Taking taylor expansion of 2 in x
4.525 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
4.525 * [taylor]: Taking taylor expansion of x in x
4.525 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
4.525 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.525 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.525 * [taylor]: Taking taylor expansion of 1/3 in x
4.525 * [taylor]: Taking taylor expansion of (log x) in x
4.525 * [taylor]: Taking taylor expansion of x in x
4.654 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
4.654 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
4.654 * [taylor]: Taking taylor expansion of 2 in x
4.654 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
4.654 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
4.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.654 * [taylor]: Taking taylor expansion of 1/3 in x
4.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.655 * [taylor]: Taking taylor expansion of x in x
4.655 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
4.655 * [taylor]: Taking taylor expansion of 2 in x
4.655 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
4.655 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
4.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.655 * [taylor]: Taking taylor expansion of 1/3 in x
4.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.655 * [taylor]: Taking taylor expansion of x in x
4.656 * [taylor]: Taking taylor expansion of x in x
4.745 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0
4.745 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
4.745 * [taylor]: Taking taylor expansion of -2 in x
4.745 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
4.745 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
4.745 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.745 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.745 * [taylor]: Taking taylor expansion of -1 in x
4.751 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.751 * [taylor]: Taking taylor expansion of 1/3 in x
4.751 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.751 * [taylor]: Taking taylor expansion of x in x
4.753 * [taylor]: Taking taylor expansion of x in x
4.753 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
4.753 * [taylor]: Taking taylor expansion of -2 in x
4.753 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
4.753 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
4.753 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.753 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.753 * [taylor]: Taking taylor expansion of -1 in x
4.754 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.754 * [taylor]: Taking taylor expansion of 1/3 in x
4.754 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.754 * [taylor]: Taking taylor expansion of x in x
4.756 * [taylor]: Taking taylor expansion of x in x
4.870 * * * [progress]: simplifying candidates
4.871 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (log1p (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (* (exp (* (* 2 (log (cbrt x))) x)) (exp (* x (log (cbrt x)))))
  (log (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (exp (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (* (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))))
  (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (* (* (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))
  (+ (pow (* (* 2 (log (cbrt x))) x) 3) (pow (* x (log (cbrt x))) 3))
  (+ (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))))
  (- (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* x (log (cbrt x))) (* x (log (cbrt x)))))
  (- (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (* (cbrt x) (cbrt x))))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (sqrt x)))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt 1))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log (sqrt (cbrt x)))))
  (+ (* (* 2 (log (cbrt x))) x) (* x (log 1)))
  (+ (* (* 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))
  (expm1 (* (* 2 (log (cbrt x))) x))
  (log1p (* (* 2 (log (cbrt x))) x))
  (* (* 2 (log (cbrt x))) x)
  (* (* 2 (log (cbrt x))) x)
  (+ (+ (log 2) (log (log (cbrt x)))) (log x))
  (+ (log (* 2 (log (cbrt x)))) (log x))
  (log (* (* 2 (log (cbrt x))) x))
  (exp (* (* 2 (log (cbrt 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)))) (* (* x x) x))
  (* (cbrt (* (* 2 (log (cbrt x))) x)) (cbrt (* (* 2 (log (cbrt x))) x)))
  (cbrt (* (* 2 (log (cbrt x))) x))
  (* (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x))
  (sqrt (* (* 2 (log (cbrt x))) x))
  (sqrt (* (* 2 (log (cbrt x))) x))
  (* (* 2 (log (cbrt x))) (* (cbrt x) (cbrt x)))
  (* (* 2 (log (cbrt x))) (sqrt x))
  (* (* 2 (log (cbrt x))) 1)
  (* (log (cbrt x)) x)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (* 3 (* x (log (pow x 1/3))))
  (* 3 (* (log (pow (/ 1 x) -1/3)) x))
  (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1)))))
  (* 2 (* x (log (pow x 1/3))))
  (* 2 (* (log (pow (/ 1 x) -1/3)) x))
  (* 2 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1)))))
4.875 * * [simplify]: iteration  0 :  125  enodes  (cost  867 )
4.906 * * [simplify]: iteration  1 :  307  enodes  (cost  778 )
5.065 * * [simplify]: iteration  2 :  1110  enodes  (cost  592 )
5.920 * * [simplify]: iteration  done :  5000  enodes  (cost  576 )
5.920 * [simplify]: Simplified to:
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* 3 (* x (log (cbrt x)))))
  (log1p (* 3 (* x (log (cbrt x)))))
  (exp (* 3 (* x (log (cbrt x)))))
  (log (* 3 (* x (log (cbrt x)))))
  (exp (* 3 (* x (log (cbrt x)))))
  (* (cbrt (* 3 (* x (log (cbrt x))))) (cbrt (* 3 (* x (log (cbrt x))))))
  (cbrt (* 3 (* x (log (cbrt x)))))
  (pow (* 3 (* x (log (cbrt x)))) 3)
  (sqrt (* 3 (* x (log (cbrt x)))))
  (sqrt (* 3 (* x (log (cbrt x)))))
  (* (+ 8 1) (pow (* x (log (cbrt x))) 3))
  (* (* x (log (cbrt x))) (+ (* (* (log (cbrt x)) 4) x) (* (* (log x) (- 1/3 2/3)) x)))
  (* (* x (* 3 (* x (log (cbrt x))))) (* (log x) (- 2/3 1/3)))
  (* (* (log x) (- 2/3 1/3)) x)
  (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3)))))
  (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x)
  (* (fma (log (cbrt x)) 2 (log 1)) x)
  (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x)
  (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x)
  (* (* 2/3 (log x)) x)
  (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3)))))
  (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x)
  (* (fma (log (cbrt x)) 2 (log 1)) x)
  (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x)
  (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x)
  (* (* 2/3 (log x)) x)
  (expm1 (* (* 2/3 (log x)) x))
  (log1p (* (* 2/3 (log x)) x))
  (* (* 2/3 (log x)) x)
  (* (* 2/3 (log x)) x)
  (log (* (* 2/3 (log x)) x))
  (log (* (* 2/3 (log x)) x))
  (log (* (* 2/3 (log x)) x))
  (pow (pow (cbrt x) 2) x)
  (pow (* (* 2/3 (log x)) x) 3)
  (pow (* (* 2/3 (log x)) x) 3)
  (* (cbrt (* (* 2/3 (log x)) x)) (cbrt (* (* 2/3 (log x)) x)))
  (cbrt (* (* 2/3 (log x)) x))
  (pow (* (* 2/3 (log x)) x) 3)
  (sqrt (* (* 2/3 (log x)) x))
  (sqrt (* (* 2/3 (log x)) x))
  (* (pow x 2/3) (* 2/3 (log x)))
  (* (* 2/3 (log x)) (sqrt x))
  (* 2/3 (log x))
  (* x (log (cbrt x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (* (* (log (cbrt x)) x) 3)
  (* (- x) (- (log x)))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (* (* 2/3 (log x)) x)
  (* x (* -2/3 (- (log x))))
  (* (* 2 x) (log (* (cbrt -1) (cbrt (- x)))))
5.921 * * * [progress]: adding candidates to table
6.154 * * [progress]: iteration 3 / 4
6.154 * * * [progress]: picking best candidate
6.164 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x) (* (log (cbrt (cbrt x))) x)))>
6.164 * * * [progress]: localizing error
6.178 * * * [progress]: generating rewritten candidates
6.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
6.179 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
6.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
6.183 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1)
6.185 * * * [progress]: generating series expansions
6.185 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
6.185 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
6.185 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
6.185 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
6.185 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
6.185 * [taylor]: Taking taylor expansion of 1/9 in x
6.185 * [taylor]: Taking taylor expansion of (log x) in x
6.185 * [taylor]: Taking taylor expansion of x in x
6.186 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
6.186 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
6.186 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
6.186 * [taylor]: Taking taylor expansion of 1/9 in x
6.186 * [taylor]: Taking taylor expansion of (log x) in x
6.186 * [taylor]: Taking taylor expansion of x in x
6.234 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
6.235 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.235 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.235 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.235 * [taylor]: Taking taylor expansion of 1/9 in x
6.235 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.235 * [taylor]: Taking taylor expansion of x in x
6.236 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.236 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.236 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.236 * [taylor]: Taking taylor expansion of 1/9 in x
6.236 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.236 * [taylor]: Taking taylor expansion of x in x
6.292 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
6.292 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
6.292 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
6.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
6.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
6.292 * [taylor]: Taking taylor expansion of 1/3 in x
6.292 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.292 * [taylor]: Taking taylor expansion of -1 in x
6.296 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.296 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.296 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.296 * [taylor]: Taking taylor expansion of 1/9 in x
6.296 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.296 * [taylor]: Taking taylor expansion of x in x
6.297 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
6.297 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
6.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
6.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
6.297 * [taylor]: Taking taylor expansion of 1/3 in x
6.297 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.297 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.297 * [taylor]: Taking taylor expansion of -1 in x
6.300 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.300 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.300 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.300 * [taylor]: Taking taylor expansion of 1/9 in x
6.300 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.300 * [taylor]: Taking taylor expansion of x in x
6.426 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
6.426 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
6.426 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
6.426 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
6.426 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
6.426 * [taylor]: Taking taylor expansion of 1/9 in x
6.426 * [taylor]: Taking taylor expansion of (log x) in x
6.426 * [taylor]: Taking taylor expansion of x in x
6.427 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
6.427 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
6.427 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
6.427 * [taylor]: Taking taylor expansion of 1/9 in x
6.427 * [taylor]: Taking taylor expansion of (log x) in x
6.427 * [taylor]: Taking taylor expansion of x in x
6.475 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
6.476 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.476 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.476 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.476 * [taylor]: Taking taylor expansion of 1/9 in x
6.476 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.476 * [taylor]: Taking taylor expansion of x in x
6.477 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.477 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.477 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.477 * [taylor]: Taking taylor expansion of 1/9 in x
6.477 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.477 * [taylor]: Taking taylor expansion of x in x
6.533 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
6.533 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
6.533 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
6.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
6.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
6.534 * [taylor]: Taking taylor expansion of 1/3 in x
6.534 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.534 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.534 * [taylor]: Taking taylor expansion of -1 in x
6.537 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.537 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.537 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.537 * [taylor]: Taking taylor expansion of 1/9 in x
6.537 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.537 * [taylor]: Taking taylor expansion of x in x
6.538 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
6.538 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
6.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
6.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
6.538 * [taylor]: Taking taylor expansion of 1/3 in x
6.538 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.538 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.538 * [taylor]: Taking taylor expansion of -1 in x
6.541 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
6.542 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
6.542 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
6.542 * [taylor]: Taking taylor expansion of 1/9 in x
6.542 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.542 * [taylor]: Taking taylor expansion of x in x
6.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
6.668 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.668 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.668 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.668 * [taylor]: Taking taylor expansion of 1/3 in x
6.668 * [taylor]: Taking taylor expansion of (log x) in x
6.668 * [taylor]: Taking taylor expansion of x in x
6.669 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.669 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.669 * [taylor]: Taking taylor expansion of 1/3 in x
6.669 * [taylor]: Taking taylor expansion of (log x) in x
6.669 * [taylor]: Taking taylor expansion of x in x
6.724 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.724 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.724 * [taylor]: Taking taylor expansion of 1/3 in x
6.724 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.724 * [taylor]: Taking taylor expansion of x in x
6.725 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.725 * [taylor]: Taking taylor expansion of 1/3 in x
6.725 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.725 * [taylor]: Taking taylor expansion of x in x
6.777 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.777 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.777 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.777 * [taylor]: Taking taylor expansion of -1 in x
6.777 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.777 * [taylor]: Taking taylor expansion of 1/3 in x
6.777 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.778 * [taylor]: Taking taylor expansion of x in x
6.778 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.778 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.778 * [taylor]: Taking taylor expansion of -1 in x
6.779 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.779 * [taylor]: Taking taylor expansion of 1/3 in x
6.779 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.779 * [taylor]: Taking taylor expansion of x in x
6.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1)
6.848 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.848 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.848 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.848 * [taylor]: Taking taylor expansion of 1/3 in x
6.848 * [taylor]: Taking taylor expansion of (log x) in x
6.848 * [taylor]: Taking taylor expansion of x in x
6.849 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.849 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.849 * [taylor]: Taking taylor expansion of 1/3 in x
6.849 * [taylor]: Taking taylor expansion of (log x) in x
6.849 * [taylor]: Taking taylor expansion of x in x
6.903 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.903 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.903 * [taylor]: Taking taylor expansion of 1/3 in x
6.903 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.903 * [taylor]: Taking taylor expansion of x in x
6.904 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.904 * [taylor]: Taking taylor expansion of 1/3 in x
6.904 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.904 * [taylor]: Taking taylor expansion of x in x
6.960 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.961 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.961 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.961 * [taylor]: Taking taylor expansion of -1 in x
6.961 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.961 * [taylor]: Taking taylor expansion of 1/3 in x
6.961 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.961 * [taylor]: Taking taylor expansion of x in x
6.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.962 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.962 * [taylor]: Taking taylor expansion of -1 in x
6.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.963 * [taylor]: Taking taylor expansion of 1/3 in x
6.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.963 * [taylor]: Taking taylor expansion of x in x
7.032 * * * [progress]: simplifying candidates
7.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (cbrt x)))
  (log1p (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt 1))
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (expm1 (cbrt (cbrt x)))
  (log1p (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt 1))
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow x 1/9)
  (pow (/ 1 x) -1/9)
  (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3))
  (pow x 1/9)
  (pow (/ 1 x) -1/9)
  (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
7.035 * * [simplify]: iteration  0 :  46  enodes  (cost  374 )
7.042 * * [simplify]: iteration  1 :  79  enodes  (cost  358 )
7.055 * * [simplify]: iteration  2 :  151  enodes  (cost  330 )
7.085 * * [simplify]: iteration  3 :  303  enodes  (cost  318 )
7.159 * * [simplify]: iteration  4 :  863  enodes  (cost  318 )
7.802 * * [simplify]: iteration  5 :  3549  enodes  (cost  318 )
9.175 * * [simplify]: iteration  done :  5001  enodes  (cost  318 )
9.176 * [simplify]: Simplified to:
   (expm1 (cbrt (cbrt x)))
  (log1p (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (pow x 2/3)))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  1
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt x)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (expm1 (cbrt (cbrt x)))
  (log1p (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (pow x 2/3)))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  1
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt x)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow x 1/9)
  (pow (/ 1 x) -1/9)
  (* (pow (- x) 1/9) (cbrt (cbrt -1)))
  (pow x 1/9)
  (pow (/ 1 x) -1/9)
  (* (pow (- x) 1/9) (cbrt (cbrt -1)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
9.176 * * * [progress]: adding candidates to table
9.434 * * [progress]: iteration 4 / 4
9.434 * * * [progress]: picking best candidate
9.442 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x)))>
9.442 * * * [progress]: localizing error
9.460 * * * [progress]: generating rewritten candidates
9.460 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
9.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3 1)
9.462 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
9.463 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
9.464 * * * [progress]: generating series expansions
9.464 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
9.464 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
9.464 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.464 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.464 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.464 * [taylor]: Taking taylor expansion of 1/6 in x
9.464 * [taylor]: Taking taylor expansion of (log x) in x
9.464 * [taylor]: Taking taylor expansion of x in x
9.465 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.465 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.465 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.465 * [taylor]: Taking taylor expansion of 1/6 in x
9.465 * [taylor]: Taking taylor expansion of (log x) in x
9.465 * [taylor]: Taking taylor expansion of x in x
9.514 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
9.514 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
9.514 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
9.514 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
9.514 * [taylor]: Taking taylor expansion of 1/6 in x
9.514 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.515 * [taylor]: Taking taylor expansion of x in x
9.515 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
9.515 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
9.515 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
9.515 * [taylor]: Taking taylor expansion of 1/6 in x
9.515 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.516 * [taylor]: Taking taylor expansion of x in x
9.572 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
9.573 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
9.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
9.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
9.573 * [taylor]: Taking taylor expansion of 1/3 in x
9.573 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
9.573 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
9.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.573 * [taylor]: Taking taylor expansion of -1 in x
9.573 * [taylor]: Taking taylor expansion of x in x
9.576 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
9.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
9.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
9.576 * [taylor]: Taking taylor expansion of 1/3 in x
9.576 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
9.576 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
9.576 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.576 * [taylor]: Taking taylor expansion of -1 in x
9.576 * [taylor]: Taking taylor expansion of x in x
9.616 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3 1)
9.616 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
9.616 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.616 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.616 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.616 * [taylor]: Taking taylor expansion of 1/6 in x
9.616 * [taylor]: Taking taylor expansion of (log x) in x
9.616 * [taylor]: Taking taylor expansion of x in x
9.617 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.617 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.617 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.617 * [taylor]: Taking taylor expansion of 1/6 in x
9.617 * [taylor]: Taking taylor expansion of (log x) in x
9.617 * [taylor]: Taking taylor expansion of x in x
9.665 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
9.665 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
9.665 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
9.665 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
9.666 * [taylor]: Taking taylor expansion of 1/6 in x
9.666 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.666 * [taylor]: Taking taylor expansion of x in x
9.666 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
9.666 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
9.666 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
9.666 * [taylor]: Taking taylor expansion of 1/6 in x
9.667 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.667 * [taylor]: Taking taylor expansion of x in x
9.724 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
9.724 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
9.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
9.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
9.724 * [taylor]: Taking taylor expansion of 1/3 in x
9.724 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
9.724 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
9.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.724 * [taylor]: Taking taylor expansion of -1 in x
9.724 * [taylor]: Taking taylor expansion of x in x
9.727 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
9.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
9.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
9.727 * [taylor]: Taking taylor expansion of 1/3 in x
9.727 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
9.727 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
9.727 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.727 * [taylor]: Taking taylor expansion of -1 in x
9.727 * [taylor]: Taking taylor expansion of x in x
9.768 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
9.768 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
9.768 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.768 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.768 * [taylor]: Taking taylor expansion of 1/3 in x
9.768 * [taylor]: Taking taylor expansion of (log x) in x
9.768 * [taylor]: Taking taylor expansion of x in x
9.769 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.769 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.769 * [taylor]: Taking taylor expansion of 1/3 in x
9.769 * [taylor]: Taking taylor expansion of (log x) in x
9.769 * [taylor]: Taking taylor expansion of x in x
9.818 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
9.818 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.818 * [taylor]: Taking taylor expansion of 1/3 in x
9.818 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.818 * [taylor]: Taking taylor expansion of x in x
9.819 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.819 * [taylor]: Taking taylor expansion of 1/3 in x
9.819 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.819 * [taylor]: Taking taylor expansion of x in x
9.877 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
9.877 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.877 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.877 * [taylor]: Taking taylor expansion of -1 in x
9.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.878 * [taylor]: Taking taylor expansion of 1/3 in x
9.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.878 * [taylor]: Taking taylor expansion of x in x
9.878 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.879 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.879 * [taylor]: Taking taylor expansion of -1 in x
9.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.879 * [taylor]: Taking taylor expansion of 1/3 in x
9.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.879 * [taylor]: Taking taylor expansion of x in x
9.948 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
9.948 * [approximate]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in (x) around 0
9.949 * [taylor]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in x
9.949 * [taylor]: Rewrote expression to (+ (* (log (pow x 1/3)) 2) (log (pow x 1/6)))
9.949 * [taylor]: Taking taylor expansion of (* (log (pow x 1/3)) 2) in x
9.949 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
9.949 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.949 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.949 * [taylor]: Taking taylor expansion of 1/3 in x
9.949 * [taylor]: Taking taylor expansion of (log x) in x
9.949 * [taylor]: Taking taylor expansion of x in x
9.949 * [taylor]: Taking taylor expansion of 2 in x
9.950 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x
9.950 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.950 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.950 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.950 * [taylor]: Taking taylor expansion of 1/6 in x
9.950 * [taylor]: Taking taylor expansion of (log x) in x
9.950 * [taylor]: Taking taylor expansion of x in x
9.950 * [taylor]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in x
9.950 * [taylor]: Rewrote expression to (+ (* (log (pow x 1/3)) 2) (log (pow x 1/6)))
9.950 * [taylor]: Taking taylor expansion of (* (log (pow x 1/3)) 2) in x
9.950 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
9.950 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.951 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.951 * [taylor]: Taking taylor expansion of 1/3 in x
9.951 * [taylor]: Taking taylor expansion of (log x) in x
9.951 * [taylor]: Taking taylor expansion of x in x
9.951 * [taylor]: Taking taylor expansion of 2 in x
9.951 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x
9.951 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
9.951 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
9.951 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
9.951 * [taylor]: Taking taylor expansion of 1/6 in x
9.951 * [taylor]: Taking taylor expansion of (log x) in x
9.951 * [taylor]: Taking taylor expansion of x in x
10.102 * [approximate]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in (x) around 0
10.102 * [taylor]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in x
10.102 * [taylor]: Rewrote expression to (+ (* (log (pow (/ 1 x) 1/3)) 2) (log (pow (/ 1 x) 1/6)))
10.102 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) 1/3)) 2) in x
10.102 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
10.102 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.102 * [taylor]: Taking taylor expansion of 1/3 in x
10.102 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.102 * [taylor]: Taking taylor expansion of x in x
10.103 * [taylor]: Taking taylor expansion of 2 in x
10.103 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x
10.103 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
10.103 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
10.103 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
10.103 * [taylor]: Taking taylor expansion of 1/6 in x
10.103 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.103 * [taylor]: Taking taylor expansion of x in x
10.104 * [taylor]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in x
10.104 * [taylor]: Rewrote expression to (+ (* (log (pow (/ 1 x) 1/3)) 2) (log (pow (/ 1 x) 1/6)))
10.104 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) 1/3)) 2) in x
10.104 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
10.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.104 * [taylor]: Taking taylor expansion of 1/3 in x
10.104 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.104 * [taylor]: Taking taylor expansion of x in x
10.105 * [taylor]: Taking taylor expansion of 2 in x
10.105 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x
10.105 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
10.105 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
10.105 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
10.105 * [taylor]: Taking taylor expansion of 1/6 in x
10.105 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.105 * [taylor]: Taking taylor expansion of x in x
10.261 * [approximate]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (sqrt (/ -1 x)) 1/3))) in (x) around 0
10.261 * [taylor]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (sqrt (/ -1 x)) 1/3))) in x
10.261 * [taylor]: Rewrote expression to (+ (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) (log (pow (sqrt (/ -1 x)) 1/3)))
10.261 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x
10.261 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
10.261 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.261 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.261 * [taylor]: Taking taylor expansion of -1 in x
10.262 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.262 * [taylor]: Taking taylor expansion of 1/3 in x
10.262 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.262 * [taylor]: Taking taylor expansion of x in x
10.263 * [taylor]: Taking taylor expansion of 2 in x
10.264 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x
10.264 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
10.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
10.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
10.264 * [taylor]: Taking taylor expansion of 1/3 in x
10.264 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
10.264 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.264 * [taylor]: Taking taylor expansion of -1 in x
10.264 * [taylor]: Taking taylor expansion of x in x
10.267 * [taylor]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (sqrt (/ -1 x)) 1/3))) in x
10.267 * [taylor]: Rewrote expression to (+ (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) (log (pow (sqrt (/ -1 x)) 1/3)))
10.267 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x
10.268 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
10.268 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.268 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.268 * [taylor]: Taking taylor expansion of -1 in x
10.268 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.268 * [taylor]: Taking taylor expansion of 1/3 in x
10.268 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.268 * [taylor]: Taking taylor expansion of x in x
10.270 * [taylor]: Taking taylor expansion of 2 in x
10.270 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x
10.270 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
10.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
10.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
10.270 * [taylor]: Taking taylor expansion of 1/3 in x
10.270 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
10.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.270 * [taylor]: Taking taylor expansion of -1 in x
10.270 * [taylor]: Taking taylor expansion of x in x
10.345 * * * [progress]: simplifying candidates
10.346 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (sqrt x)))
  (log1p (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)))
  (expm1 (cbrt (sqrt x)))
  (log1p (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)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (log1p (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (* (log (cbrt x)) 2)
  (log (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (exp (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (* (cbrt (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (cbrt (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))))
  (cbrt (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (* (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (sqrt (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (sqrt (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6)))
  (+ (log (pow (/ 1 x) -1/6)) (* 2 (log (pow (/ 1 x) -1/3))))
  (- (+ (log (pow +nan.0 1/3)) (* 2 (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
10.348 * * [simplify]: iteration  0 :  87  enodes  (cost  517 )
10.363 * * [simplify]: iteration  1 :  177  enodes  (cost  489 )
10.407 * * [simplify]: iteration  2 :  432  enodes  (cost  427 )
10.559 * * [simplify]: iteration  3 :  1346  enodes  (cost  396 )
11.841 * * [simplify]: iteration  done :  5000  enodes  (cost  392 )
11.842 * [simplify]: Simplified to:
   (expm1 (cbrt (sqrt x)))
  (log1p (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (fabs (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)))
  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)))
  (expm1 (cbrt (sqrt x)))
  (log1p (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (fabs (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)))
  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)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (log1p (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (* 2/3 (log x))
  (log (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (* (pow (cbrt x) 2) (cbrt (sqrt x)))
  (* (cbrt (fma 2/3 (log x) (log (cbrt (sqrt x))))) (cbrt (fma 2/3 (log x) (log (cbrt (sqrt x))))))
  (cbrt (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (pow (fma 2/3 (log x) (log (cbrt (sqrt x)))) 3)
  (sqrt (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (sqrt (fma 2/3 (log x) (log (cbrt (sqrt x)))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (cbrt +nan.0) (* (/ (cbrt +nan.0) x) (- +nan.0 (/ +nan.0 x))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (cbrt +nan.0) (* (/ (cbrt +nan.0) x) (- +nan.0 (/ +nan.0 x))))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (* (log x) 5/6)
  (* (- (log x)) -5/6)
  (- (fma 2 (log (* (cbrt -1) (cbrt (- x)))) (log (cbrt +nan.0))) (/ (- (/ +nan.0 x) +nan.0) x))
11.842 * * * [progress]: adding candidates to table
12.102 * [progress]: [Phase 3 of 3] Extracting.
12.102 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x)))))> #<alt (λ (x) (+ (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x)))>)
12.103 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x)
12.103 * * * * [regimes]: Trying to branch on (* x (log x)) from (#<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x)))))> #<alt (λ (x) (+ (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x)))>)
12.129 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* x (log x)))> #<alt (λ (x) (* (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x)))))> #<alt (λ (x) (+ (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* (sqrt x) (* (sqrt x) (log x))))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x)))>)
12.150 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (log x))
12.151 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
12.151 * * [simplify]: iteration  1 :  4  enodes  (cost  4 )
12.151 * * [simplify]: iteration  done :  4  enodes  (cost  4 )
12.151 * [simplify]: Simplified to:
   (* x (log x))
12.861 * [regime-testing]: Baseline error score: 0.2632829103637955
12.861 * [regime-testing]: Oracle error score: 0.021377672209026127
12.862 * [regime-testing]: End program error score: 0.2632829103637955