12.667 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (log x))
0.018 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
0.019 * * [simplify]: iteration  1 :  4  enodes  (cost  4 )
0.019 * * [simplify]: iteration  done :  4  enodes  (cost  4 )
0.019 * [simplify]: Simplified to:
   (* x (log x))
0.019 * * [progress]: iteration 1 / 4
0.019 * * * [progress]: picking best candidate
0.021 * * * * [pick]: Picked  #<alt (λ (x) (* x (log x)))>
0.021 * * * [progress]: localizing error
0.025 * * * [progress]: generating rewritten candidates
0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.030 * * * [progress]: generating series expansions
0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.030 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0
0.030 * [taylor]: Taking taylor expansion of (* (log x) x) in x
0.030 * [taylor]: Taking taylor expansion of (log x) in x
0.030 * [taylor]: Taking taylor expansion of x in x
0.031 * [taylor]: Taking taylor expansion of x in x
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.031 * [taylor]: Taking taylor expansion of x in x
0.098 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0
0.098 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x
0.098 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.100 * [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.146 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0
0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.146 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x
0.148 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.205 * * * [progress]: simplifying candidates
0.206 * [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.208 * * [simplify]: iteration  0 :  55  enodes  (cost  213 )
0.216 * * [simplify]: iteration  1 :  97  enodes  (cost  204 )
0.236 * * [simplify]: iteration  2 :  330  enodes  (cost  180 )
0.336 * * [simplify]: iteration  3 :  864  enodes  (cost  173 )
1.130 * * [simplify]: iteration  4 :  3008  enodes  (cost  173 )
15.049 * * [simplify]: iteration  done :  5000  enodes  (cost  173 )
15.049 * [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))
15.050 * * * [progress]: adding candidates to table
15.091 * * [progress]: iteration 2 / 4
15.091 * * * [progress]: picking best candidate
15.099 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))>
15.099 * * * [progress]: localizing error
15.108 * * * [progress]: generating rewritten candidates
15.108 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
15.109 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
15.110 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
15.120 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.129 * * * [progress]: generating series expansions
15.129 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
15.129 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
15.129 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.130 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.130 * [taylor]: Taking taylor expansion of 1/3 in x
15.130 * [taylor]: Taking taylor expansion of (log x) in x
15.130 * [taylor]: Taking taylor expansion of x in x
15.131 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.131 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.131 * [taylor]: Taking taylor expansion of 1/3 in x
15.131 * [taylor]: Taking taylor expansion of (log x) in x
15.131 * [taylor]: Taking taylor expansion of x in x
15.184 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
15.184 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.184 * [taylor]: Taking taylor expansion of 1/3 in x
15.184 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.184 * [taylor]: Taking taylor expansion of x in x
15.185 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.185 * [taylor]: Taking taylor expansion of 1/3 in x
15.185 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.185 * [taylor]: Taking taylor expansion of x in x
15.241 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
15.241 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.241 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.241 * [taylor]: Taking taylor expansion of -1 in x
15.242 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.242 * [taylor]: Taking taylor expansion of 1/3 in x
15.242 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.242 * [taylor]: Taking taylor expansion of x in x
15.243 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.243 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.243 * [taylor]: Taking taylor expansion of -1 in x
15.243 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.244 * [taylor]: Taking taylor expansion of 1/3 in x
15.244 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.244 * [taylor]: Taking taylor expansion of x in x
15.309 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
15.310 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
15.310 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.310 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.310 * [taylor]: Taking taylor expansion of 1/3 in x
15.310 * [taylor]: Taking taylor expansion of (log x) in x
15.310 * [taylor]: Taking taylor expansion of x in x
15.310 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.310 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.310 * [taylor]: Taking taylor expansion of 1/3 in x
15.310 * [taylor]: Taking taylor expansion of (log x) in x
15.310 * [taylor]: Taking taylor expansion of x in x
15.362 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
15.362 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.362 * [taylor]: Taking taylor expansion of 1/3 in x
15.362 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.362 * [taylor]: Taking taylor expansion of x in x
15.363 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.363 * [taylor]: Taking taylor expansion of 1/3 in x
15.363 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.363 * [taylor]: Taking taylor expansion of x in x
15.414 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
15.414 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.414 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.414 * [taylor]: Taking taylor expansion of -1 in x
15.415 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.415 * [taylor]: Taking taylor expansion of 1/3 in x
15.415 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.415 * [taylor]: Taking taylor expansion of x in x
15.416 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.416 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.416 * [taylor]: Taking taylor expansion of -1 in x
15.417 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.417 * [taylor]: Taking taylor expansion of 1/3 in x
15.417 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.417 * [taylor]: Taking taylor expansion of x in x
15.483 * * * * [progress]: [ 3 / 4 ] generating series at (2)
15.483 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0
15.483 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
15.483 * [taylor]: Taking taylor expansion of 3 in x
15.483 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
15.483 * [taylor]: Taking taylor expansion of x in x
15.483 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
15.483 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.483 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.483 * [taylor]: Taking taylor expansion of 1/3 in x
15.483 * [taylor]: Taking taylor expansion of (log x) in x
15.483 * [taylor]: Taking taylor expansion of x in x
15.484 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x
15.484 * [taylor]: Taking taylor expansion of 3 in x
15.484 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
15.484 * [taylor]: Taking taylor expansion of x in x
15.484 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
15.484 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.484 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.484 * [taylor]: Taking taylor expansion of 1/3 in x
15.484 * [taylor]: Taking taylor expansion of (log x) in x
15.484 * [taylor]: Taking taylor expansion of x in x
15.614 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
15.614 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
15.614 * [taylor]: Taking taylor expansion of 3 in x
15.614 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
15.614 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
15.614 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.614 * [taylor]: Taking taylor expansion of 1/3 in x
15.614 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.614 * [taylor]: Taking taylor expansion of x in x
15.615 * [taylor]: Taking taylor expansion of x in x
15.615 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x
15.615 * [taylor]: Taking taylor expansion of 3 in x
15.616 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
15.616 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
15.616 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.616 * [taylor]: Taking taylor expansion of 1/3 in x
15.616 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.616 * [taylor]: Taking taylor expansion of x in x
15.617 * [taylor]: Taking taylor expansion of x in x
15.703 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0
15.703 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
15.703 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
15.703 * [taylor]: Taking taylor expansion of 3 in x
15.703 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
15.703 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
15.703 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.703 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.703 * [taylor]: Taking taylor expansion of -1 in x
15.704 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.704 * [taylor]: Taking taylor expansion of 1/3 in x
15.704 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.704 * [taylor]: Taking taylor expansion of x in x
15.706 * [taylor]: Taking taylor expansion of x in x
15.706 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x
15.706 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
15.706 * [taylor]: Taking taylor expansion of 3 in x
15.706 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
15.706 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
15.706 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
15.706 * [taylor]: Taking taylor expansion of (cbrt -1) in x
15.706 * [taylor]: Taking taylor expansion of -1 in x
15.707 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.707 * [taylor]: Taking taylor expansion of 1/3 in x
15.707 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.707 * [taylor]: Taking taylor expansion of x in x
15.708 * [taylor]: Taking taylor expansion of x in x
15.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.826 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0
15.826 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
15.826 * [taylor]: Taking taylor expansion of 2 in x
15.826 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
15.826 * [taylor]: Taking taylor expansion of x in x
15.826 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
15.826 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.826 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.826 * [taylor]: Taking taylor expansion of 1/3 in x
15.826 * [taylor]: Taking taylor expansion of (log x) in x
15.826 * [taylor]: Taking taylor expansion of x in x
15.827 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x
15.827 * [taylor]: Taking taylor expansion of 2 in x
15.827 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x
15.827 * [taylor]: Taking taylor expansion of x in x
15.827 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
15.827 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
15.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
15.827 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
15.827 * [taylor]: Taking taylor expansion of 1/3 in x
15.827 * [taylor]: Taking taylor expansion of (log x) in x
15.827 * [taylor]: Taking taylor expansion of x in x
15.954 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0
15.954 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
15.954 * [taylor]: Taking taylor expansion of 2 in x
15.954 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
15.955 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
15.955 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.955 * [taylor]: Taking taylor expansion of 1/3 in x
15.955 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.955 * [taylor]: Taking taylor expansion of x in x
15.956 * [taylor]: Taking taylor expansion of x in x
15.956 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x
15.956 * [taylor]: Taking taylor expansion of 2 in x
15.956 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x
15.956 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
15.956 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
15.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
15.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
15.956 * [taylor]: Taking taylor expansion of 1/3 in x
15.956 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
15.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.956 * [taylor]: Taking taylor expansion of x in x
15.957 * [taylor]: Taking taylor expansion of x in x
16.046 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0
16.046 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
16.046 * [taylor]: Taking taylor expansion of -2 in x
16.046 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
16.046 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
16.046 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
16.046 * [taylor]: Taking taylor expansion of (cbrt -1) in x
16.046 * [taylor]: Taking taylor expansion of -1 in x
16.047 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
16.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
16.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
16.047 * [taylor]: Taking taylor expansion of 1/3 in x
16.047 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
16.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.047 * [taylor]: Taking taylor expansion of x in x
16.049 * [taylor]: Taking taylor expansion of x in x
16.049 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
16.049 * [taylor]: Taking taylor expansion of -2 in x
16.049 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
16.049 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
16.049 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
16.049 * [taylor]: Taking taylor expansion of (cbrt -1) in x
16.049 * [taylor]: Taking taylor expansion of -1 in x
16.050 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
16.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
16.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
16.050 * [taylor]: Taking taylor expansion of 1/3 in x
16.050 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
16.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.050 * [taylor]: Taking taylor expansion of x in x
16.052 * [taylor]: Taking taylor expansion of x in x
16.171 * * * [progress]: simplifying candidates
16.173 * [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)))))
16.176 * * [simplify]: iteration  0 :  125  enodes  (cost  867 )
16.199 * * [simplify]: iteration  1 :  309  enodes  (cost  778 )
16.284 * * [simplify]: iteration  2 :  1235  enodes  (cost  586 )
16.794 * * [simplify]: iteration  done :  5000  enodes  (cost  585 )
16.794 * [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 (* (log (cbrt x)) x)))
  (log1p (* 3 (* (log (cbrt x)) x)))
  (exp (* 3 (* (log (cbrt x)) x)))
  (log (* 3 (* (log (cbrt x)) x)))
  (exp (* 3 (* (log (cbrt x)) x)))
  (* (cbrt (* 3 (* (log (cbrt x)) x))) (cbrt (* 3 (* (log (cbrt x)) x))))
  (cbrt (* 3 (* (log (cbrt x)) x)))
  (pow (* 3 (* (log (cbrt x)) x)) 3)
  (sqrt (* 3 (* (log (cbrt x)) x)))
  (sqrt (* 3 (* (log (cbrt x)) x)))
  (+ (pow (* (* 2/3 (log x)) x) 3) (pow (* x (log (cbrt x))) 3))
  (fma (* (* 2/3 (log x)) x) (* (* 2/3 (log x)) x) (* (* (log (cbrt x)) (- x (* 2 x))) (* (log (cbrt x)) x)))
  (* (* (log (cbrt x)) (- (* 2 x) x)) (* 3 (* (log (cbrt x)) x)))
  (* (log (cbrt x)) (- (* 2 x) x))
  (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3)))))
  (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (* (* 2/3 (log x)) x)
  (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt 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)))))
  (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))))
  (* (* 2/3 (log x)) x)
  (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt 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) x) 2)
  (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))
  (* (log (cbrt x)) 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)))))
16.795 * * * [progress]: adding candidates to table
17.011 * * [progress]: iteration 3 / 4
17.011 * * * [progress]: picking best candidate
17.022 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (log (cbrt (cbrt x))) x)))>
17.022 * * * [progress]: localizing error
17.040 * * * [progress]: generating rewritten candidates
17.040 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
17.041 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3 2 1)
17.042 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
17.042 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 3 2 1 1)
17.044 * * * [progress]: generating series expansions
17.044 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
17.044 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
17.044 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
17.044 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
17.044 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
17.044 * [taylor]: Taking taylor expansion of 1/9 in x
17.044 * [taylor]: Taking taylor expansion of (log x) in x
17.044 * [taylor]: Taking taylor expansion of x in x
17.045 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
17.045 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
17.045 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
17.045 * [taylor]: Taking taylor expansion of 1/9 in x
17.045 * [taylor]: Taking taylor expansion of (log x) in x
17.045 * [taylor]: Taking taylor expansion of x in x
17.093 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
17.093 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.093 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.093 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.093 * [taylor]: Taking taylor expansion of 1/9 in x
17.093 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.093 * [taylor]: Taking taylor expansion of x in x
17.094 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.094 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.094 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.094 * [taylor]: Taking taylor expansion of 1/9 in x
17.094 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.094 * [taylor]: Taking taylor expansion of x in x
17.151 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
17.151 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
17.151 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
17.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
17.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
17.151 * [taylor]: Taking taylor expansion of 1/3 in x
17.151 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
17.151 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.151 * [taylor]: Taking taylor expansion of -1 in x
17.155 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.155 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.155 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.155 * [taylor]: Taking taylor expansion of 1/9 in x
17.155 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.155 * [taylor]: Taking taylor expansion of x in x
17.156 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
17.156 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
17.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
17.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
17.156 * [taylor]: Taking taylor expansion of 1/3 in x
17.156 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
17.156 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.156 * [taylor]: Taking taylor expansion of -1 in x
17.159 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.160 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.160 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.160 * [taylor]: Taking taylor expansion of 1/9 in x
17.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.160 * [taylor]: Taking taylor expansion of x in x
17.284 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3 2 1)
17.284 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
17.284 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
17.284 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
17.284 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
17.284 * [taylor]: Taking taylor expansion of 1/9 in x
17.285 * [taylor]: Taking taylor expansion of (log x) in x
17.285 * [taylor]: Taking taylor expansion of x in x
17.285 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
17.285 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
17.285 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
17.285 * [taylor]: Taking taylor expansion of 1/9 in x
17.285 * [taylor]: Taking taylor expansion of (log x) in x
17.285 * [taylor]: Taking taylor expansion of x in x
17.337 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
17.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.337 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.337 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.337 * [taylor]: Taking taylor expansion of 1/9 in x
17.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.337 * [taylor]: Taking taylor expansion of x in x
17.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.338 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.338 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.338 * [taylor]: Taking taylor expansion of 1/9 in x
17.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.338 * [taylor]: Taking taylor expansion of x in x
17.389 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
17.390 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
17.390 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
17.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
17.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
17.390 * [taylor]: Taking taylor expansion of 1/3 in x
17.390 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
17.390 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.390 * [taylor]: Taking taylor expansion of -1 in x
17.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.393 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.393 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.393 * [taylor]: Taking taylor expansion of 1/9 in x
17.393 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.393 * [taylor]: Taking taylor expansion of x in x
17.394 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
17.394 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
17.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
17.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
17.394 * [taylor]: Taking taylor expansion of 1/3 in x
17.394 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
17.394 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.394 * [taylor]: Taking taylor expansion of -1 in x
17.398 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
17.398 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
17.398 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
17.398 * [taylor]: Taking taylor expansion of 1/9 in x
17.398 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.398 * [taylor]: Taking taylor expansion of x in x
17.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
17.526 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
17.526 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
17.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
17.526 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
17.527 * [taylor]: Taking taylor expansion of 1/3 in x
17.527 * [taylor]: Taking taylor expansion of (log x) in x
17.527 * [taylor]: Taking taylor expansion of x in x
17.527 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
17.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
17.527 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
17.527 * [taylor]: Taking taylor expansion of 1/3 in x
17.527 * [taylor]: Taking taylor expansion of (log x) in x
17.527 * [taylor]: Taking taylor expansion of x in x
17.582 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
17.582 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.582 * [taylor]: Taking taylor expansion of 1/3 in x
17.582 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.582 * [taylor]: Taking taylor expansion of x in x
17.583 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.583 * [taylor]: Taking taylor expansion of 1/3 in x
17.583 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.583 * [taylor]: Taking taylor expansion of x in x
17.634 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
17.634 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
17.634 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.634 * [taylor]: Taking taylor expansion of -1 in x
17.635 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.635 * [taylor]: Taking taylor expansion of 1/3 in x
17.635 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.635 * [taylor]: Taking taylor expansion of x in x
17.636 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
17.636 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.636 * [taylor]: Taking taylor expansion of -1 in x
17.643 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.643 * [taylor]: Taking taylor expansion of 1/3 in x
17.643 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.643 * [taylor]: Taking taylor expansion of x in x
17.705 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 3 2 1 1)
17.705 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
17.705 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
17.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
17.705 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
17.705 * [taylor]: Taking taylor expansion of 1/3 in x
17.705 * [taylor]: Taking taylor expansion of (log x) in x
17.705 * [taylor]: Taking taylor expansion of x in x
17.706 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
17.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
17.706 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
17.706 * [taylor]: Taking taylor expansion of 1/3 in x
17.706 * [taylor]: Taking taylor expansion of (log x) in x
17.706 * [taylor]: Taking taylor expansion of x in x
17.759 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
17.759 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.759 * [taylor]: Taking taylor expansion of 1/3 in x
17.759 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.760 * [taylor]: Taking taylor expansion of x in x
17.760 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.760 * [taylor]: Taking taylor expansion of 1/3 in x
17.760 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.760 * [taylor]: Taking taylor expansion of x in x
17.818 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
17.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
17.818 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.818 * [taylor]: Taking taylor expansion of -1 in x
17.819 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.819 * [taylor]: Taking taylor expansion of 1/3 in x
17.819 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.819 * [taylor]: Taking taylor expansion of x in x
17.820 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
17.820 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.820 * [taylor]: Taking taylor expansion of -1 in x
17.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
17.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
17.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
17.821 * [taylor]: Taking taylor expansion of 1/3 in x
17.821 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
17.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.821 * [taylor]: Taking taylor expansion of x in x
17.889 * * * [progress]: simplifying candidates
17.890 * [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))
17.891 * * [simplify]: iteration  0 :  46  enodes  (cost  374 )
17.899 * * [simplify]: iteration  1 :  79  enodes  (cost  358 )
17.913 * * [simplify]: iteration  2 :  154  enodes  (cost  328 )
17.952 * * [simplify]: iteration  3 :  371  enodes  (cost  316 )
18.071 * * [simplify]: iteration  4 :  1225  enodes  (cost  316 )
18.462 * * [simplify]: iteration  done :  5001  enodes  (cost  316 )
18.462 * [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)))
  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)))
  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)))
18.462 * * * [progress]: adding candidates to table
18.710 * * [progress]: iteration 4 / 4
18.710 * * * [progress]: picking best candidate
18.720 * * * * [pick]: Picked  #<alt (λ (x) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))>
18.720 * * * [progress]: localizing error
18.730 * * * [progress]: generating rewritten candidates
18.730 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
18.731 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
18.750 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
18.756 * * * [progress]: generating series expansions
18.756 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
18.756 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0
18.756 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
18.756 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.756 * [taylor]: Taking taylor expansion of -1 in x
18.757 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
18.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
18.757 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
18.757 * [taylor]: Taking taylor expansion of 1/3 in x
18.757 * [taylor]: Taking taylor expansion of (log x) in x
18.757 * [taylor]: Taking taylor expansion of x in x
18.758 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
18.758 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.758 * [taylor]: Taking taylor expansion of -1 in x
18.759 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
18.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
18.759 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
18.759 * [taylor]: Taking taylor expansion of 1/3 in x
18.759 * [taylor]: Taking taylor expansion of (log x) in x
18.759 * [taylor]: Taking taylor expansion of x in x
18.824 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
18.824 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
18.824 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.824 * [taylor]: Taking taylor expansion of -1 in x
18.825 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
18.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
18.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
18.825 * [taylor]: Taking taylor expansion of 1/3 in x
18.825 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
18.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.825 * [taylor]: Taking taylor expansion of x in x
18.826 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
18.826 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.826 * [taylor]: Taking taylor expansion of -1 in x
18.827 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
18.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
18.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
18.827 * [taylor]: Taking taylor expansion of 1/3 in x
18.827 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
18.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.827 * [taylor]: Taking taylor expansion of x in x
18.890 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
18.890 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
18.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
18.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
18.890 * [taylor]: Taking taylor expansion of 1/3 in x
18.890 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
18.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.890 * [taylor]: Taking taylor expansion of x in x
18.891 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
18.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
18.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
18.891 * [taylor]: Taking taylor expansion of 1/3 in x
18.891 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
18.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.891 * [taylor]: Taking taylor expansion of x in x
18.948 * * * * [progress]: [ 2 / 3 ] generating series at (2)
18.948 * [approximate]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in (x) around 0
18.948 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x
18.948 * [taylor]: Taking taylor expansion of 3 in x
18.948 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x
18.948 * [taylor]: Taking taylor expansion of x in x
18.948 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x
18.948 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x
18.948 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
18.948 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.948 * [taylor]: Taking taylor expansion of -1 in x
18.949 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
18.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
18.949 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
18.949 * [taylor]: Taking taylor expansion of 1/3 in x
18.949 * [taylor]: Taking taylor expansion of (log x) in x
18.949 * [taylor]: Taking taylor expansion of x in x
18.952 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x
18.952 * [taylor]: Taking taylor expansion of 3 in x
18.952 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x
18.952 * [taylor]: Taking taylor expansion of x in x
18.952 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x
18.952 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x
18.952 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
18.952 * [taylor]: Taking taylor expansion of (cbrt -1) in x
18.952 * [taylor]: Taking taylor expansion of -1 in x
18.953 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
18.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
18.953 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
18.953 * [taylor]: Taking taylor expansion of 1/3 in x
18.953 * [taylor]: Taking taylor expansion of (log x) in x
18.953 * [taylor]: Taking taylor expansion of x in x
19.155 * [approximate]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in (x) around 0
19.155 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x
19.155 * [taylor]: Taking taylor expansion of 3 in x
19.155 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x
19.155 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x
19.155 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x
19.155 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.155 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.155 * [taylor]: Taking taylor expansion of -1 in x
19.156 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.156 * [taylor]: Taking taylor expansion of 1/3 in x
19.156 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.156 * [taylor]: Taking taylor expansion of x in x
19.159 * [taylor]: Taking taylor expansion of x in x
19.160 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x
19.160 * [taylor]: Taking taylor expansion of 3 in x
19.160 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x
19.160 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x
19.160 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x
19.160 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.160 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.160 * [taylor]: Taking taylor expansion of -1 in x
19.161 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.161 * [taylor]: Taking taylor expansion of 1/3 in x
19.161 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.161 * [taylor]: Taking taylor expansion of x in x
19.164 * [taylor]: Taking taylor expansion of x in x
19.305 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0
19.305 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
19.305 * [taylor]: Taking taylor expansion of -3 in x
19.305 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
19.305 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
19.305 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
19.305 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.305 * [taylor]: Taking taylor expansion of -1 in x
19.306 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.306 * [taylor]: Taking taylor expansion of 1/3 in x
19.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.306 * [taylor]: Taking taylor expansion of x in x
19.308 * [taylor]: Taking taylor expansion of x in x
19.308 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x
19.308 * [taylor]: Taking taylor expansion of -3 in x
19.308 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x
19.308 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
19.308 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
19.308 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.309 * [taylor]: Taking taylor expansion of -1 in x
19.309 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.309 * [taylor]: Taking taylor expansion of 1/3 in x
19.309 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.309 * [taylor]: Taking taylor expansion of x in x
19.311 * [taylor]: Taking taylor expansion of x in x
19.426 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
19.426 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in (x) around 0
19.426 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x
19.426 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x
19.426 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.426 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.426 * [taylor]: Taking taylor expansion of -1 in x
19.427 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
19.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
19.427 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
19.427 * [taylor]: Taking taylor expansion of 1/3 in x
19.427 * [taylor]: Taking taylor expansion of (log x) in x
19.427 * [taylor]: Taking taylor expansion of x in x
19.430 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x
19.430 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x
19.430 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.430 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.430 * [taylor]: Taking taylor expansion of -1 in x
19.431 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
19.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
19.431 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
19.431 * [taylor]: Taking taylor expansion of 1/3 in x
19.431 * [taylor]: Taking taylor expansion of (log x) in x
19.431 * [taylor]: Taking taylor expansion of x in x
19.542 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in (x) around 0
19.542 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x
19.542 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x
19.542 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.542 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.542 * [taylor]: Taking taylor expansion of -1 in x
19.543 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.543 * [taylor]: Taking taylor expansion of 1/3 in x
19.543 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.543 * [taylor]: Taking taylor expansion of x in x
19.551 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x
19.551 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x
19.551 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
19.551 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.551 * [taylor]: Taking taylor expansion of -1 in x
19.552 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.552 * [taylor]: Taking taylor expansion of 1/3 in x
19.552 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.552 * [taylor]: Taking taylor expansion of x in x
19.666 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
19.666 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
19.666 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
19.666 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.666 * [taylor]: Taking taylor expansion of -1 in x
19.667 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.667 * [taylor]: Taking taylor expansion of 1/3 in x
19.667 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.667 * [taylor]: Taking taylor expansion of x in x
19.668 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
19.669 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
19.669 * [taylor]: Taking taylor expansion of (cbrt -1) in x
19.669 * [taylor]: Taking taylor expansion of -1 in x
19.669 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
19.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
19.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
19.669 * [taylor]: Taking taylor expansion of 1/3 in x
19.669 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
19.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.670 * [taylor]: Taking taylor expansion of x in x
19.768 * * * [progress]: simplifying candidates
19.769 * [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 -1)
  (cbrt x)
  (cbrt (- (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt (- 1))
  (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 (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (log1p (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (+ (+ (log 3) (log x)) (log (log (* (cbrt -1) (cbrt (- x))))))
  (+ (log (* 3 x)) (log (log (* (cbrt -1) (cbrt (- x))))))
  (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (exp (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* (* (* 3 3) 3) (* (* x x) x)) (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* (* (* 3 x) (* 3 x)) (* 3 x)) (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x))))))
  (* (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))))
  (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* 3 x) (log (cbrt -1)))
  (* (* 3 x) (log (cbrt (- x))))
  (* (log (cbrt -1)) (* 3 x))
  (* (log (cbrt (- x))) (* 3 x))
  (* (* 3 x) 1/3)
  (* (* 3 x) 1)
  (* (* 3 x) 1)
  (* (* 3 x) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x)))))))
  (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x))))))
  (* (* 3 x) 1)
  (* x (log (* (cbrt -1) (cbrt (- x)))))
  (expm1 (log (* (cbrt -1) (cbrt (- x)))))
  (log1p (log (* (cbrt -1) (cbrt (- x)))))
  (log (cbrt -1))
  (log (cbrt (- x)))
  (log (* -1 (- x)))
  (log (* (cbrt -1) (cbrt (- x))))
  (log (* (cbrt -1) (cbrt (- x))))
  (log (log (* (cbrt -1) (cbrt (- x)))))
  (exp (log (* (cbrt -1) (cbrt (- x)))))
  (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))))
  (cbrt (log (* (cbrt -1) (cbrt (- x)))))
  (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x)))))
  (sqrt (log (* (cbrt -1) (cbrt (- x)))))
  (sqrt (log (* (cbrt -1) (cbrt (- x)))))
  (* (cbrt -1) (pow x 1/3))
  (* (cbrt -1) (pow x 1/3))
  (pow (/ -1 x) -1/3)
  (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))))
  (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))))
  (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1)))))
  (log (* (pow (cbrt -1) 2) (pow x 1/3)))
  (log (* (pow (cbrt -1) 2) (pow x 1/3)))
  (log (* (pow (* -1 x) 1/3) (cbrt -1)))
19.772 * * [simplify]: iteration  0 :  101  enodes  (cost  681 )
19.795 * * [simplify]: iteration  1 :  214  enodes  (cost  650 )
19.849 * * [simplify]: iteration  2 :  822  enodes  (cost  557 )
20.250 * * [simplify]: iteration  3 :  4666  enodes  (cost  546 )
23.408 * * [simplify]: iteration  done :  5000  enodes  (cost  546 )
23.408 * [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 -1)
  (cbrt x)
  (cbrt (- (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt -1)
  (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 (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (log1p (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (pow (* (cbrt -1) (cbrt (- x))) (* 3 x))
  (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3)
  (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3)
  (* (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))))
  (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3)
  (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))
  (* (log (cbrt -1)) (* 3 x))
  (* x (log (- x)))
  (* (log (cbrt -1)) (* 3 x))
  (* x (log (- x)))
  x
  (* 3 x)
  (* 3 x)
  (* (* 3 x) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x)))))))
  (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x))))))
  (* 3 x)
  (* x (log (* (cbrt -1) (cbrt (- x)))))
  (expm1 (log (* (cbrt -1) (cbrt (- x)))))
  (log1p (log (* (cbrt -1) (cbrt (- x)))))
  (log (cbrt -1))
  (log (cbrt (- x)))
  (log x)
  (log (* (cbrt -1) (cbrt (- x))))
  (log (* (cbrt -1) (cbrt (- x))))
  (log (log (* (cbrt -1) (cbrt (- x)))))
  (* (cbrt -1) (cbrt (- x)))
  (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))))
  (cbrt (log (* (cbrt -1) (cbrt (- x)))))
  (pow (log (* (cbrt -1) (cbrt (- x)))) 3)
  (sqrt (log (* (cbrt -1) (cbrt (- x)))))
  (sqrt (log (* (cbrt -1) (cbrt (- x)))))
  (* (cbrt x) (cbrt -1))
  (* (cbrt x) (cbrt -1))
  (pow (/ -1 x) -1/3)
  (* (* 3 x) (log (* (pow (cbrt -1) 2) (cbrt x))))
  (* (* 3 x) (log (* (pow (cbrt -1) 2) (cbrt x))))
  (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))
  (log (* (pow (cbrt -1) 2) (cbrt x)))
  (log (* (pow (cbrt -1) 2) (cbrt x)))
  (log (* (cbrt -1) (cbrt (- x))))
23.409 * * * [progress]: adding candidates to table
23.692 * [progress]: [Phase 3 of 3] Extracting.
23.692 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (+ (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (log (sqrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))))> #<alt (λ (x) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))> #<alt (λ (x) (* (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (log (* (cbrt -1) (cbrt (- x)))))))>)
23.694 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x)
23.695 * * * * [regimes]: Trying to branch on (* x (log x)) from (#<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (+ (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (log (sqrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))))> #<alt (λ (x) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))> #<alt (λ (x) (* (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (log (* (cbrt -1) (cbrt (- x)))))))>)
23.726 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))> #<alt (λ (x) (* x (log x)))> #<alt (λ (x) (+ (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (log (cbrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (log (sqrt (cbrt x))) x)))> #<alt (λ (x) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))))> #<alt (λ (x) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))> #<alt (λ (x) (* (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (log (* (cbrt -1) (cbrt (- x)))))))>)
23.750 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
23.751 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (log x))
23.751 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
23.751 * * [simplify]: iteration  1 :  4  enodes  (cost  4 )
23.751 * * [simplify]: iteration  done :  4  enodes  (cost  4 )
23.751 * [simplify]: Simplified to:
   (* x (log x))
24.490 * [regime-testing]: Baseline error score: 0.26790848856107013
24.490 * [regime-testing]: Oracle error score: 0.007375921990248781
24.491 * [regime-testing]: End program error score: 0.26790848856107013