12.301 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.119 * * * [progress]: [2/2] Setting up program.
1.126 * [progress]: [Phase 2 of 3] Improving.
1.126 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.128 * * [simplify]: iteration  0 :  38  enodes  (cost  11 )
1.129 * * [simplify]: iteration  1 :  101  enodes  (cost  11 )
1.132 * * [simplify]: iteration  2 :  428  enodes  (cost  11 )
1.139 * * [simplify]: iteration  3 :  1514  enodes  (cost  11 )
1.162 * * [simplify]: iteration  4 :  4620  enodes  (cost  11 )
1.198 * * [simplify]: iteration  5 :  5001  enodes  (cost  11 )
1.199 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.199 * * [progress]: iteration 1 / 4
1.199 * * * [progress]: picking best candidate
1.208 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))>
1.208 * * * [progress]: localizing error
1.226 * * * [progress]: generating rewritten candidates
1.226 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1 1 1)
1.230 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
1.239 * * * [progress]: generating series expansions
1.239 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1 1 1)
1.239 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.239 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.239 * [taylor]: Taking taylor expansion of x in y
1.239 * [taylor]: Taking taylor expansion of (log y) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (log y) in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (log y) in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of 0 in y
1.239 * [taylor]: Taking taylor expansion of (log y) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.240 * [taylor]: Taking taylor expansion of 0 in y
1.240 * [taylor]: Taking taylor expansion of 0 in y
1.240 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.240 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.240 * [taylor]: Taking taylor expansion of y in y
1.240 * [taylor]: Taking taylor expansion of x in y
1.241 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.241 * [taylor]: Taking taylor expansion of y in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.241 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.241 * [taylor]: Taking taylor expansion of y in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.241 * [taylor]: Taking taylor expansion of y in y
1.241 * [taylor]: Taking taylor expansion of 0 in y
1.242 * [taylor]: Taking taylor expansion of 0 in y
1.242 * [taylor]: Taking taylor expansion of 0 in y
1.243 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.243 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.243 * [taylor]: Taking taylor expansion of -1 in y
1.243 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.243 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.243 * [taylor]: Taking taylor expansion of -1 in y
1.243 * [taylor]: Taking taylor expansion of y in y
1.243 * [taylor]: Taking taylor expansion of x in y
1.243 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.243 * [taylor]: Taking taylor expansion of -1 in x
1.243 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.243 * [taylor]: Taking taylor expansion of -1 in x
1.243 * [taylor]: Taking taylor expansion of y in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.243 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.243 * [taylor]: Taking taylor expansion of -1 in x
1.243 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.243 * [taylor]: Taking taylor expansion of -1 in x
1.243 * [taylor]: Taking taylor expansion of y in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.243 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.243 * [taylor]: Taking taylor expansion of -1 in y
1.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.244 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.244 * [taylor]: Taking taylor expansion of -1 in y
1.244 * [taylor]: Taking taylor expansion of y in y
1.244 * [taylor]: Taking taylor expansion of 0 in y
1.245 * [taylor]: Taking taylor expansion of 0 in y
1.245 * [taylor]: Taking taylor expansion of 0 in y
1.246 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
1.246 * [approximate]: Taking taylor expansion of (* (- b 0.5) (log c)) in (b c) around 0
1.246 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in c
1.246 * [taylor]: Taking taylor expansion of (- b 0.5) in c
1.246 * [taylor]: Taking taylor expansion of b in c
1.246 * [taylor]: Taking taylor expansion of 0.5 in c
1.246 * [taylor]: Taking taylor expansion of (log c) in c
1.246 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b
1.246 * [taylor]: Taking taylor expansion of (- b 0.5) in b
1.246 * [taylor]: Taking taylor expansion of b in b
1.246 * [taylor]: Taking taylor expansion of 0.5 in b
1.246 * [taylor]: Taking taylor expansion of (log c) in b
1.246 * [taylor]: Taking taylor expansion of c in b
1.246 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b
1.246 * [taylor]: Taking taylor expansion of (- b 0.5) in b
1.246 * [taylor]: Taking taylor expansion of b in b
1.246 * [taylor]: Taking taylor expansion of 0.5 in b
1.246 * [taylor]: Taking taylor expansion of (log c) in b
1.246 * [taylor]: Taking taylor expansion of c in b
1.246 * [taylor]: Taking taylor expansion of (* -0.5 (log c)) in c
1.246 * [taylor]: Taking taylor expansion of -0.5 in c
1.246 * [taylor]: Taking taylor expansion of (log c) in c
1.246 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of (log c) in c
1.246 * [taylor]: Taking taylor expansion of c in c
1.247 * [taylor]: Taking taylor expansion of 0 in c
1.248 * [taylor]: Taking taylor expansion of 0 in c
1.248 * [approximate]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in (b c) around 0
1.248 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in c
1.248 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in c
1.248 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.248 * [taylor]: Taking taylor expansion of b in c
1.248 * [taylor]: Taking taylor expansion of 0.5 in c
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.248 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.248 * [taylor]: Taking taylor expansion of c in c
1.248 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b
1.248 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
1.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.248 * [taylor]: Taking taylor expansion of b in b
1.248 * [taylor]: Taking taylor expansion of 0.5 in b
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.248 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.248 * [taylor]: Taking taylor expansion of c in b
1.248 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b
1.248 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
1.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.248 * [taylor]: Taking taylor expansion of b in b
1.248 * [taylor]: Taking taylor expansion of 0.5 in b
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.248 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.248 * [taylor]: Taking taylor expansion of c in b
1.249 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.249 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.249 * [taylor]: Taking taylor expansion of c in c
1.249 * [taylor]: Taking taylor expansion of (neg (* 0.5 (log (/ 1 c)))) in c
1.249 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in c
1.249 * [taylor]: Taking taylor expansion of 0.5 in c
1.249 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.249 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.249 * [taylor]: Taking taylor expansion of c in c
1.250 * [taylor]: Taking taylor expansion of 0 in c
1.251 * [taylor]: Taking taylor expansion of 0 in c
1.251 * [approximate]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in (b c) around 0
1.251 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in c
1.251 * [taylor]: Taking taylor expansion of -1 in c
1.251 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in c
1.251 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.251 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.251 * [taylor]: Taking taylor expansion of -1 in c
1.251 * [taylor]: Taking taylor expansion of c in c
1.251 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in c
1.251 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.251 * [taylor]: Taking taylor expansion of b in c
1.251 * [taylor]: Taking taylor expansion of 0.5 in c
1.251 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b
1.251 * [taylor]: Taking taylor expansion of -1 in b
1.251 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b
1.251 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.251 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.251 * [taylor]: Taking taylor expansion of -1 in b
1.251 * [taylor]: Taking taylor expansion of c in b
1.251 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
1.251 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.251 * [taylor]: Taking taylor expansion of b in b
1.251 * [taylor]: Taking taylor expansion of 0.5 in b
1.252 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b
1.252 * [taylor]: Taking taylor expansion of -1 in b
1.252 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b
1.252 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.252 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.252 * [taylor]: Taking taylor expansion of -1 in b
1.252 * [taylor]: Taking taylor expansion of c in b
1.252 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
1.252 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.252 * [taylor]: Taking taylor expansion of b in b
1.252 * [taylor]: Taking taylor expansion of 0.5 in b
1.252 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 c))) in c
1.252 * [taylor]: Taking taylor expansion of -1 in c
1.252 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.252 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.252 * [taylor]: Taking taylor expansion of -1 in c
1.252 * [taylor]: Taking taylor expansion of c in c
1.252 * [taylor]: Taking taylor expansion of (neg (* 0.5 (log (/ -1 c)))) in c
1.252 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in c
1.252 * [taylor]: Taking taylor expansion of 0.5 in c
1.252 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.252 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.252 * [taylor]: Taking taylor expansion of -1 in c
1.253 * [taylor]: Taking taylor expansion of c in c
1.253 * [taylor]: Taking taylor expansion of 0 in c
1.255 * [taylor]: Taking taylor expansion of 0 in c
1.255 * * * [progress]: simplifying candidates
1.256 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* (- b 0.5) (log c))
  (+ (log (- b 0.5)) (log (log c)))
  (log (* (- b 0.5) (log c)))
  (exp (* (- b 0.5) (log c)))
  (* (* (* (- b 0.5) (- b 0.5)) (- b 0.5)) (* (* (log c) (log c)) (log c)))
  (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c))))
  (cbrt (* (- b 0.5) (log c)))
  (* (* (* (- b 0.5) (log c)) (* (- b 0.5) (log c))) (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (- b 0.5) (log (* (cbrt c) (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log 1))
  (* (- b 0.5) (log c))
  (* (log (* (cbrt c) (cbrt c))) (- b 0.5))
  (* (log (cbrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log 1) (- b 0.5))
  (* (log c) (- b 0.5))
  (* (- b 0.5) 1)
  (* (- b 0.5) (* (cbrt (log c)) (cbrt (log c))))
  (* (- b 0.5) (sqrt (log c)))
  (* (- b 0.5) 1)
  (* (cbrt (- b 0.5)) (log c))
  (* (sqrt (- b 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (sqrt b) (sqrt 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (pow b 3) (pow 0.5 3)) (log c))
  (* (- (* b b) (* 0.5 0.5)) (log c))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (+ (* (log c) b) (* (log 1) b)) (+ (* 0.5 (log 1)) (* 0.5 (log c))))
  (- (+ (* 0.5 (log (/ 1 c))) (* (log 1) b)) (+ (* 0.5 (log 1)) (* (log (/ 1 c)) b)))
  (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b)))
1.259 * * [simplify]: iteration  0 :  275  enodes  (cost  312 )
1.264 * * [simplify]: iteration  1 :  908  enodes  (cost  273 )
1.279 * * [simplify]: iteration  2 :  3346  enodes  (cost  243 )
1.316 * * [simplify]: iteration  3 :  5001  enodes  (cost  243 )
1.318 * [simplify]: Simplified to:
   (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* (log c) (- b 0.5))
  (log (* (- b 0.5) (log c)))
  (log (* (- b 0.5) (log c)))
  (pow c (- b 0.5))
  (pow (* (- b 0.5) (log c)) 3)
  (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c))))
  (cbrt (* (- b 0.5) (log c)))
  (pow (* (- b 0.5) (log c)) 3)
  (sqrt (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (- b 0.5) (* 2 (log (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  0
  (* (log c) (- b 0.5))
  (* (- b 0.5) (* 2 (log (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  0
  (* (log c) (- b 0.5))
  (- b 0.5)
  (* (- b 0.5) (* (cbrt (log c)) (cbrt (log c))))
  (* (- b 0.5) (sqrt (log c)))
  (- b 0.5)
  (* (cbrt (- b 0.5)) (log c))
  (* (sqrt (- b 0.5)) (log c))
  (* (log c) (- b 0.5))
  (* (- (sqrt b) (sqrt 0.5)) (log c))
  (* (log c) (- b 0.5))
  (* (- (pow b 3) (pow 0.5 3)) (log c))
  (* (- (* b b) (* 0.5 0.5)) (log c))
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (* (log c) (- b 0.5))
  (* (log c) (- b 0.5))
  (- (* (log -1) (- b 0.5)) (- (* (log (/ -1 c)) b) (* 0.5 (log (/ -1 c)))))
1.318 * * * [progress]: adding candidates to table
1.387 * * [progress]: iteration 2 / 4
1.387 * * * [progress]: picking best candidate
1.432 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (* y i)))>
1.432 * * * [progress]: localizing error
1.456 * * * [progress]: generating rewritten candidates
1.456 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1)
1.457 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1)
1.459 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.482 * * * [progress]: generating series expansions
1.482 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1)
1.482 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
1.482 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.482 * [taylor]: Taking taylor expansion of 1/3 in c
1.482 * [taylor]: Taking taylor expansion of (log c) in c
1.482 * [taylor]: Taking taylor expansion of c in c
1.482 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.482 * [taylor]: Taking taylor expansion of 1/3 in c
1.482 * [taylor]: Taking taylor expansion of (log c) in c
1.482 * [taylor]: Taking taylor expansion of c in c
1.489 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
1.489 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.489 * [taylor]: Taking taylor expansion of 1/3 in c
1.489 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.489 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.489 * [taylor]: Taking taylor expansion of c in c
1.489 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.489 * [taylor]: Taking taylor expansion of 1/3 in c
1.489 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.489 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.489 * [taylor]: Taking taylor expansion of c in c
1.496 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
1.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.496 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.496 * [taylor]: Taking taylor expansion of -1 in c
1.496 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.496 * [taylor]: Taking taylor expansion of 1/3 in c
1.496 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.496 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.496 * [taylor]: Taking taylor expansion of c in c
1.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.496 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.496 * [taylor]: Taking taylor expansion of -1 in c
1.496 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.496 * [taylor]: Taking taylor expansion of 1/3 in c
1.496 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.496 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.496 * [taylor]: Taking taylor expansion of c in c
1.504 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1)
1.504 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
1.504 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.504 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.504 * [taylor]: Taking taylor expansion of 1/3 in c
1.504 * [taylor]: Taking taylor expansion of (log c) in c
1.504 * [taylor]: Taking taylor expansion of c in c
1.505 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.505 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.505 * [taylor]: Taking taylor expansion of 1/3 in c
1.505 * [taylor]: Taking taylor expansion of (log c) in c
1.505 * [taylor]: Taking taylor expansion of c in c
1.510 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
1.511 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.511 * [taylor]: Taking taylor expansion of 1/3 in c
1.511 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.511 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.511 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.511 * [taylor]: Taking taylor expansion of 1/3 in c
1.511 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.511 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.517 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
1.517 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.517 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.517 * [taylor]: Taking taylor expansion of -1 in c
1.517 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.517 * [taylor]: Taking taylor expansion of 1/3 in c
1.517 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.517 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.517 * [taylor]: Taking taylor expansion of c in c
1.518 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.518 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.518 * [taylor]: Taking taylor expansion of -1 in c
1.518 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.518 * [taylor]: Taking taylor expansion of 1/3 in c
1.518 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.518 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.518 * [taylor]: Taking taylor expansion of c in c
1.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.526 * [approximate]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in (b c) around 0
1.526 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c
1.526 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c
1.526 * [taylor]: Taking taylor expansion of 3 in c
1.526 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c
1.526 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.526 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.526 * [taylor]: Taking taylor expansion of 1/3 in c
1.526 * [taylor]: Taking taylor expansion of (log c) in c
1.526 * [taylor]: Taking taylor expansion of c in c
1.526 * [taylor]: Taking taylor expansion of b in c
1.526 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.526 * [taylor]: Taking taylor expansion of 1.5 in c
1.526 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.526 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.526 * [taylor]: Taking taylor expansion of 1/3 in c
1.526 * [taylor]: Taking taylor expansion of (log c) in c
1.526 * [taylor]: Taking taylor expansion of c in c
1.527 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.527 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.527 * [taylor]: Taking taylor expansion of 3 in b
1.527 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.527 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.527 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.527 * [taylor]: Taking taylor expansion of 1/3 in b
1.527 * [taylor]: Taking taylor expansion of (log c) in b
1.527 * [taylor]: Taking taylor expansion of c in b
1.527 * [taylor]: Taking taylor expansion of b in b
1.527 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.527 * [taylor]: Taking taylor expansion of 1.5 in b
1.527 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.527 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.527 * [taylor]: Taking taylor expansion of 1/3 in b
1.527 * [taylor]: Taking taylor expansion of (log c) in b
1.527 * [taylor]: Taking taylor expansion of c in b
1.527 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.527 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.527 * [taylor]: Taking taylor expansion of 3 in b
1.527 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.527 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.527 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.527 * [taylor]: Taking taylor expansion of 1/3 in b
1.527 * [taylor]: Taking taylor expansion of (log c) in b
1.527 * [taylor]: Taking taylor expansion of c in b
1.527 * [taylor]: Taking taylor expansion of b in b
1.527 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.527 * [taylor]: Taking taylor expansion of 1.5 in b
1.527 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.527 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.527 * [taylor]: Taking taylor expansion of 1/3 in b
1.528 * [taylor]: Taking taylor expansion of (log c) in b
1.528 * [taylor]: Taking taylor expansion of c in b
1.528 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow c 1/3)))) in c
1.528 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.528 * [taylor]: Taking taylor expansion of 1.5 in c
1.528 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.528 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.528 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.528 * [taylor]: Taking taylor expansion of 1/3 in c
1.528 * [taylor]: Taking taylor expansion of (log c) in c
1.528 * [taylor]: Taking taylor expansion of c in c
1.529 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
1.529 * [taylor]: Taking taylor expansion of 3 in c
1.529 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.529 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.529 * [taylor]: Taking taylor expansion of 1/3 in c
1.529 * [taylor]: Taking taylor expansion of (log c) in c
1.529 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of 0 in c
1.535 * [taylor]: Taking taylor expansion of 0 in c
1.535 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in (b c) around 0
1.535 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.535 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c
1.535 * [taylor]: Taking taylor expansion of 3 in c
1.535 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c
1.535 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.535 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.536 * [taylor]: Taking taylor expansion of 1/3 in c
1.536 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.536 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.536 * [taylor]: Taking taylor expansion of c in c
1.536 * [taylor]: Taking taylor expansion of b in c
1.536 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.536 * [taylor]: Taking taylor expansion of 1.5 in c
1.536 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.536 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.536 * [taylor]: Taking taylor expansion of 1/3 in c
1.536 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.536 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.536 * [taylor]: Taking taylor expansion of c in c
1.536 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.536 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.536 * [taylor]: Taking taylor expansion of 3 in b
1.536 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.536 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.536 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.536 * [taylor]: Taking taylor expansion of 1/3 in b
1.536 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.536 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.536 * [taylor]: Taking taylor expansion of c in b
1.537 * [taylor]: Taking taylor expansion of b in b
1.537 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.537 * [taylor]: Taking taylor expansion of 1.5 in b
1.537 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.537 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.537 * [taylor]: Taking taylor expansion of 1/3 in b
1.537 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.537 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.537 * [taylor]: Taking taylor expansion of c in b
1.537 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.537 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.537 * [taylor]: Taking taylor expansion of 3 in b
1.537 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.537 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.537 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.537 * [taylor]: Taking taylor expansion of 1/3 in b
1.537 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.537 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.537 * [taylor]: Taking taylor expansion of c in b
1.538 * [taylor]: Taking taylor expansion of b in b
1.538 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.538 * [taylor]: Taking taylor expansion of 1.5 in b
1.538 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.538 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.538 * [taylor]: Taking taylor expansion of 1/3 in b
1.538 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.538 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.538 * [taylor]: Taking taylor expansion of c in b
1.538 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
1.538 * [taylor]: Taking taylor expansion of 3 in c
1.538 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.538 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.538 * [taylor]: Taking taylor expansion of 1/3 in c
1.538 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.538 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.538 * [taylor]: Taking taylor expansion of c in c
1.539 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.539 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.539 * [taylor]: Taking taylor expansion of 1.5 in c
1.539 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.539 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.540 * [taylor]: Taking taylor expansion of 1/3 in c
1.540 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.540 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.540 * [taylor]: Taking taylor expansion of c in c
1.542 * [taylor]: Taking taylor expansion of 0 in c
1.545 * [taylor]: Taking taylor expansion of 0 in c
1.545 * [approximate]: Taking taylor expansion of (neg (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in (b c) around 0
1.546 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in c
1.546 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.546 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c
1.546 * [taylor]: Taking taylor expansion of 3 in c
1.546 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c
1.546 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.546 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.546 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.546 * [taylor]: Taking taylor expansion of -1 in c
1.546 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.546 * [taylor]: Taking taylor expansion of 1/3 in c
1.546 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.546 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.546 * [taylor]: Taking taylor expansion of c in c
1.546 * [taylor]: Taking taylor expansion of b in c
1.546 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.546 * [taylor]: Taking taylor expansion of 1.5 in c
1.546 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.546 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.546 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.546 * [taylor]: Taking taylor expansion of -1 in c
1.547 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.547 * [taylor]: Taking taylor expansion of 1/3 in c
1.547 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.547 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.547 * [taylor]: Taking taylor expansion of c in c
1.547 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in b
1.547 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in b
1.547 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.547 * [taylor]: Taking taylor expansion of 3 in b
1.547 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.547 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.547 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.547 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.547 * [taylor]: Taking taylor expansion of -1 in b
1.547 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.547 * [taylor]: Taking taylor expansion of 1/3 in b
1.547 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.547 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.547 * [taylor]: Taking taylor expansion of c in b
1.548 * [taylor]: Taking taylor expansion of b in b
1.548 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.548 * [taylor]: Taking taylor expansion of 1.5 in b
1.548 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.548 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.548 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.548 * [taylor]: Taking taylor expansion of -1 in b
1.548 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.548 * [taylor]: Taking taylor expansion of 1/3 in b
1.548 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.548 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.548 * [taylor]: Taking taylor expansion of c in b
1.548 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in b
1.548 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in b
1.548 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.548 * [taylor]: Taking taylor expansion of 3 in b
1.549 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.549 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.549 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.549 * [taylor]: Taking taylor expansion of -1 in b
1.549 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.549 * [taylor]: Taking taylor expansion of 1/3 in b
1.549 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.549 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.549 * [taylor]: Taking taylor expansion of c in b
1.549 * [taylor]: Taking taylor expansion of b in b
1.549 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.549 * [taylor]: Taking taylor expansion of 1.5 in b
1.549 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.549 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.549 * [taylor]: Taking taylor expansion of -1 in b
1.549 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.549 * [taylor]: Taking taylor expansion of 1/3 in b
1.549 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.550 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.550 * [taylor]: Taking taylor expansion of c in b
1.550 * [taylor]: Taking taylor expansion of (neg (* 3 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.550 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.550 * [taylor]: Taking taylor expansion of 3 in c
1.550 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.550 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.550 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.550 * [taylor]: Taking taylor expansion of -1 in c
1.553 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.554 * [taylor]: Taking taylor expansion of 1/3 in c
1.554 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.554 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.554 * [taylor]: Taking taylor expansion of c in c
1.556 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.556 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.556 * [taylor]: Taking taylor expansion of 1.5 in c
1.556 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.556 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.556 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.556 * [taylor]: Taking taylor expansion of -1 in c
1.556 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.556 * [taylor]: Taking taylor expansion of 1/3 in c
1.556 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.556 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.556 * [taylor]: Taking taylor expansion of c in c
1.559 * [taylor]: Taking taylor expansion of 0 in c
1.565 * [taylor]: Taking taylor expansion of 0 in c
1.565 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.565 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.565 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.565 * [taylor]: Taking taylor expansion of x in y
1.565 * [taylor]: Taking taylor expansion of (log y) in y
1.565 * [taylor]: Taking taylor expansion of y in y
1.565 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (log y) in x
1.565 * [taylor]: Taking taylor expansion of y in x
1.565 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (log y) in x
1.565 * [taylor]: Taking taylor expansion of y in x
1.565 * [taylor]: Taking taylor expansion of 0 in y
1.566 * [taylor]: Taking taylor expansion of (log y) in y
1.566 * [taylor]: Taking taylor expansion of y in y
1.566 * [taylor]: Taking taylor expansion of 0 in y
1.566 * [taylor]: Taking taylor expansion of 0 in y
1.567 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.567 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.567 * [taylor]: Taking taylor expansion of y in y
1.567 * [taylor]: Taking taylor expansion of x in y
1.567 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.567 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.567 * [taylor]: Taking taylor expansion of y in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.567 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.567 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.567 * [taylor]: Taking taylor expansion of y in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.567 * [taylor]: Taking taylor expansion of y in y
1.568 * [taylor]: Taking taylor expansion of 0 in y
1.568 * [taylor]: Taking taylor expansion of 0 in y
1.569 * [taylor]: Taking taylor expansion of 0 in y
1.569 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.569 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.569 * [taylor]: Taking taylor expansion of -1 in y
1.569 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.569 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.569 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.569 * [taylor]: Taking taylor expansion of -1 in y
1.569 * [taylor]: Taking taylor expansion of y in y
1.569 * [taylor]: Taking taylor expansion of x in y
1.569 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.569 * [taylor]: Taking taylor expansion of -1 in x
1.569 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.569 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.569 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.569 * [taylor]: Taking taylor expansion of -1 in x
1.569 * [taylor]: Taking taylor expansion of y in x
1.569 * [taylor]: Taking taylor expansion of x in x
1.569 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.569 * [taylor]: Taking taylor expansion of -1 in x
1.569 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.570 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.570 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.570 * [taylor]: Taking taylor expansion of -1 in x
1.570 * [taylor]: Taking taylor expansion of y in x
1.570 * [taylor]: Taking taylor expansion of x in x
1.570 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.570 * [taylor]: Taking taylor expansion of -1 in y
1.570 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.570 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.570 * [taylor]: Taking taylor expansion of -1 in y
1.570 * [taylor]: Taking taylor expansion of y in y
1.570 * [taylor]: Taking taylor expansion of 0 in y
1.571 * [taylor]: Taking taylor expansion of 0 in y
1.572 * [taylor]: Taking taylor expansion of 0 in y
1.572 * * * [progress]: simplifying candidates
1.574 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (* (exp (* (- b 0.5) (* 2 (log (cbrt c))))) (exp (* (- b 0.5) (log (cbrt c)))))
  (log (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (exp (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (* (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ b 0.5) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ b 0.5) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ b 0.5) (+ b 0.5))
  (+ (pow (* (- b 0.5) (* 2 (log (cbrt c)))) 3) (pow (* (- b 0.5) (log (cbrt c))) 3))
  (+ (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (- (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c)))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (- (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c)))))
  (- (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* 2 (log (cbrt c))) (log (cbrt c)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt (* (cbrt c) (cbrt c))))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt 1))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (sqrt (cbrt c)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log 1)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt (* (cbrt c) (cbrt c)))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt (sqrt c))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt 1)) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (sqrt (cbrt c))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log 1) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (sqrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (sqrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (sqrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (sqrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (sqrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (sqrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (sqrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (sqrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (exp (* 1/3 (+ (log 1) (log c))))
  (exp (* 1/3 (- (log 1) (log (/ 1 c)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (exp (* 1/3 (+ (log 1) (log c))))
  (exp (* 1/3 (- (log 1) (log (/ 1 c)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (- (+ (* (log c) b) (* (log 1) b)) (+ (* 0.5 (log 1)) (* 0.5 (log c))))
  (- (+ (* 0.5 (log (/ 1 c))) (* (log 1) b)) (+ (* 0.5 (log 1)) (* (log (/ 1 c)) b)))
  (- (* 3 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))) b)) (* 1.5 (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1)))))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
1.580 * * [simplify]: iteration  0 :  580  enodes  (cost  891 )
1.590 * * [simplify]: iteration  1 :  2054  enodes  (cost  779 )
1.626 * * [simplify]: iteration  2 :  5001  enodes  (cost  735 )
1.630 * [simplify]: Simplified to:
   (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (pow (pow (cbrt c) (- b 0.5)) 3)
  (+ (log (- b 0.5)) (log (* 3 (log (cbrt c)))))
  (pow (pow (cbrt c) (- b 0.5)) 3)
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* 27 (pow (* (- b 0.5) (log (cbrt c))) 3))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (+ (* 0.5 (+ 0.5 b)) (* b b)) (+ (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c))) (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c))))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (* (+ b 0.5) (+ (* (- (* b b) (* 0.5 0.5)) (log (cbrt c))) (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c))))))
  (* (+ b 0.5) (+ b 0.5))
  (* (pow (- b 0.5) 3) (+ (pow (log (cbrt c)) 3) (pow (* 2 (log (cbrt c))) 3)))
  (+ (* (* (- b 0.5) (log (cbrt c))) (- (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (* 2 (log (cbrt c)))))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))))
  (* (- b 0.5) (* (* 3 (log (cbrt c))) (* (log (cbrt c)) (- (* 2 (- b 0.5)) (- b 0.5)))))
  (* (log (cbrt c)) (- (* 2 (- b 0.5)) (- b 0.5)))
  (* 3 (log (cbrt c)))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (* (cbrt c) (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt 1))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (cbrt c)))))
  (* (- b 0.5) (* (log (cbrt c)) 2))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (* (cbrt c) (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt 1))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (cbrt c)))))
  (* (- b 0.5) (* (log (cbrt c)) 2))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* 3 (* (- b 0.5) (log (cbrt c))))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (pow c 1/3)
  (pow c 1/3)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (pow c 1/3)
  (pow c 1/3)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (* (+ (log 1) (log c)) (- b 0.5))
  (* (+ (log 1) (log c)) (- b 0.5))
  (- (* 3 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))) b)) (* 1.5 (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1)))))
  (* x (log y))
  (* x (log y))
  (* x (log y))
1.631 * * * [progress]: adding candidates to table
1.788 * * [progress]: iteration 3 / 4
1.788 * * * [progress]: picking best candidate
1.831 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>
1.831 * * * [progress]: localizing error
1.865 * * * [progress]: generating rewritten candidates
1.865 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1)
1.867 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1)
1.869 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.891 * * * [progress]: generating series expansions
1.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1)
1.891 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
1.891 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.892 * [taylor]: Taking taylor expansion of 1/3 in c
1.892 * [taylor]: Taking taylor expansion of (log c) in c
1.892 * [taylor]: Taking taylor expansion of c in c
1.892 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.892 * [taylor]: Taking taylor expansion of 1/3 in c
1.892 * [taylor]: Taking taylor expansion of (log c) in c
1.892 * [taylor]: Taking taylor expansion of c in c
1.898 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
1.898 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.898 * [taylor]: Taking taylor expansion of 1/3 in c
1.898 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.898 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.898 * [taylor]: Taking taylor expansion of c in c
1.898 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.898 * [taylor]: Taking taylor expansion of 1/3 in c
1.898 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.898 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.898 * [taylor]: Taking taylor expansion of c in c
1.905 * [approximate]: Taking taylor expansion of (pow (/ -1 c) 1/3) in (c) around 0
1.905 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.905 * [taylor]: Taking taylor expansion of 1/3 in c
1.905 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.905 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.905 * [taylor]: Taking taylor expansion of -1 in c
1.905 * [taylor]: Taking taylor expansion of c in c
1.905 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.905 * [taylor]: Taking taylor expansion of 1/3 in c
1.905 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.905 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.905 * [taylor]: Taking taylor expansion of -1 in c
1.905 * [taylor]: Taking taylor expansion of c in c
1.912 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1)
1.912 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
1.912 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.912 * [taylor]: Taking taylor expansion of 1/3 in c
1.912 * [taylor]: Taking taylor expansion of (log c) in c
1.912 * [taylor]: Taking taylor expansion of c in c
1.912 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.912 * [taylor]: Taking taylor expansion of 1/3 in c
1.912 * [taylor]: Taking taylor expansion of (log c) in c
1.912 * [taylor]: Taking taylor expansion of c in c
1.918 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
1.918 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.918 * [taylor]: Taking taylor expansion of 1/3 in c
1.918 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.918 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.918 * [taylor]: Taking taylor expansion of c in c
1.919 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.919 * [taylor]: Taking taylor expansion of 1/3 in c
1.919 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.919 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.919 * [taylor]: Taking taylor expansion of c in c
1.930 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
1.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.930 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.930 * [taylor]: Taking taylor expansion of -1 in c
1.930 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.930 * [taylor]: Taking taylor expansion of 1/3 in c
1.930 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.930 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.930 * [taylor]: Taking taylor expansion of c in c
1.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.930 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.930 * [taylor]: Taking taylor expansion of -1 in c
1.930 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.930 * [taylor]: Taking taylor expansion of 1/3 in c
1.930 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.930 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.930 * [taylor]: Taking taylor expansion of c in c
1.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.938 * [approximate]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in (b c) around 0
1.938 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c
1.938 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c
1.938 * [taylor]: Taking taylor expansion of 3 in c
1.938 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c
1.938 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.938 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.938 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.938 * [taylor]: Taking taylor expansion of 1/3 in c
1.938 * [taylor]: Taking taylor expansion of (log c) in c
1.938 * [taylor]: Taking taylor expansion of c in c
1.939 * [taylor]: Taking taylor expansion of b in c
1.939 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.939 * [taylor]: Taking taylor expansion of 1.5 in c
1.939 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.939 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.939 * [taylor]: Taking taylor expansion of 1/3 in c
1.939 * [taylor]: Taking taylor expansion of (log c) in c
1.939 * [taylor]: Taking taylor expansion of c in c
1.939 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.939 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.939 * [taylor]: Taking taylor expansion of 3 in b
1.939 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.939 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.939 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.939 * [taylor]: Taking taylor expansion of 1/3 in b
1.939 * [taylor]: Taking taylor expansion of (log c) in b
1.939 * [taylor]: Taking taylor expansion of c in b
1.939 * [taylor]: Taking taylor expansion of b in b
1.939 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.939 * [taylor]: Taking taylor expansion of 1.5 in b
1.939 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.939 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.940 * [taylor]: Taking taylor expansion of 1/3 in b
1.940 * [taylor]: Taking taylor expansion of (log c) in b
1.940 * [taylor]: Taking taylor expansion of c in b
1.940 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.940 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.940 * [taylor]: Taking taylor expansion of 3 in b
1.940 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.940 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.940 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.940 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.940 * [taylor]: Taking taylor expansion of 1/3 in b
1.940 * [taylor]: Taking taylor expansion of (log c) in b
1.940 * [taylor]: Taking taylor expansion of c in b
1.940 * [taylor]: Taking taylor expansion of b in b
1.940 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.940 * [taylor]: Taking taylor expansion of 1.5 in b
1.940 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.940 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.940 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.940 * [taylor]: Taking taylor expansion of 1/3 in b
1.940 * [taylor]: Taking taylor expansion of (log c) in b
1.940 * [taylor]: Taking taylor expansion of c in b
1.940 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow c 1/3)))) in c
1.941 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.941 * [taylor]: Taking taylor expansion of 1.5 in c
1.941 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.941 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.941 * [taylor]: Taking taylor expansion of 1/3 in c
1.941 * [taylor]: Taking taylor expansion of (log c) in c
1.941 * [taylor]: Taking taylor expansion of c in c
1.942 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
1.942 * [taylor]: Taking taylor expansion of 3 in c
1.942 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.942 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.942 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.942 * [taylor]: Taking taylor expansion of 1/3 in c
1.942 * [taylor]: Taking taylor expansion of (log c) in c
1.942 * [taylor]: Taking taylor expansion of c in c
1.944 * [taylor]: Taking taylor expansion of 0 in c
1.948 * [taylor]: Taking taylor expansion of 0 in c
1.948 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in (b c) around 0
1.948 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.948 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c
1.948 * [taylor]: Taking taylor expansion of 3 in c
1.948 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c
1.948 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.948 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.948 * [taylor]: Taking taylor expansion of 1/3 in c
1.948 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.948 * [taylor]: Taking taylor expansion of c in c
1.949 * [taylor]: Taking taylor expansion of b in c
1.949 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.949 * [taylor]: Taking taylor expansion of 1.5 in c
1.949 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.949 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.949 * [taylor]: Taking taylor expansion of 1/3 in c
1.949 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.949 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.949 * [taylor]: Taking taylor expansion of c in c
1.949 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.949 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.949 * [taylor]: Taking taylor expansion of 3 in b
1.949 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.949 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.949 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.949 * [taylor]: Taking taylor expansion of 1/3 in b
1.949 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.949 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.949 * [taylor]: Taking taylor expansion of c in b
1.949 * [taylor]: Taking taylor expansion of b in b
1.950 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.950 * [taylor]: Taking taylor expansion of 1.5 in b
1.950 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.950 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.950 * [taylor]: Taking taylor expansion of 1/3 in b
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.950 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.950 * [taylor]: Taking taylor expansion of c in b
1.950 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.950 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.950 * [taylor]: Taking taylor expansion of 3 in b
1.950 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.950 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.950 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.950 * [taylor]: Taking taylor expansion of 1/3 in b
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.950 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.950 * [taylor]: Taking taylor expansion of c in b
1.950 * [taylor]: Taking taylor expansion of b in b
1.950 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.950 * [taylor]: Taking taylor expansion of 1.5 in b
1.950 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.950 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.950 * [taylor]: Taking taylor expansion of 1/3 in b
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.950 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.950 * [taylor]: Taking taylor expansion of c in b
1.951 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
1.951 * [taylor]: Taking taylor expansion of 3 in c
1.951 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.951 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.951 * [taylor]: Taking taylor expansion of 1/3 in c
1.951 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.951 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.951 * [taylor]: Taking taylor expansion of c in c
1.952 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.952 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.952 * [taylor]: Taking taylor expansion of 1.5 in c
1.952 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.952 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.952 * [taylor]: Taking taylor expansion of 1/3 in c
1.952 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.952 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.952 * [taylor]: Taking taylor expansion of c in c
1.954 * [taylor]: Taking taylor expansion of 0 in c
1.958 * [taylor]: Taking taylor expansion of 0 in c
1.958 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))))) in (b c) around 0
1.958 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))))) in c
1.958 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)))) in c
1.958 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in c
1.958 * [taylor]: Taking taylor expansion of 0.5 in c
1.958 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
1.958 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.958 * [taylor]: Taking taylor expansion of 1/3 in c
1.958 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.958 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.958 * [taylor]: Taking taylor expansion of -1 in c
1.958 * [taylor]: Taking taylor expansion of c in c
1.959 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))) in c
1.959 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c
1.959 * [taylor]: Taking taylor expansion of 2 in c
1.959 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c
1.959 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.959 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.959 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.959 * [taylor]: Taking taylor expansion of -1 in c
1.959 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.959 * [taylor]: Taking taylor expansion of 1/3 in c
1.959 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.959 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.959 * [taylor]: Taking taylor expansion of c in c
1.959 * [taylor]: Taking taylor expansion of b in c
1.959 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in c
1.959 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.959 * [taylor]: Taking taylor expansion of 1.0 in c
1.959 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.960 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.960 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.960 * [taylor]: Taking taylor expansion of -1 in c
1.960 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.960 * [taylor]: Taking taylor expansion of 1/3 in c
1.960 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.960 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.960 * [taylor]: Taking taylor expansion of c in c
1.960 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in c
1.960 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
1.960 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.960 * [taylor]: Taking taylor expansion of 1/3 in c
1.960 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.960 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.960 * [taylor]: Taking taylor expansion of -1 in c
1.960 * [taylor]: Taking taylor expansion of c in c
1.960 * [taylor]: Taking taylor expansion of b in c
1.961 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))))) in b
1.961 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)))) in b
1.961 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in b
1.961 * [taylor]: Taking taylor expansion of 0.5 in b
1.961 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
1.961 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
1.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
1.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
1.961 * [taylor]: Taking taylor expansion of 1/3 in b
1.961 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.961 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.961 * [taylor]: Taking taylor expansion of -1 in b
1.961 * [taylor]: Taking taylor expansion of c in b
1.961 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))) in b
1.961 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.961 * [taylor]: Taking taylor expansion of 2 in b
1.961 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.961 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.961 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.961 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.961 * [taylor]: Taking taylor expansion of -1 in b
1.961 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.961 * [taylor]: Taking taylor expansion of 1/3 in b
1.961 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.961 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.961 * [taylor]: Taking taylor expansion of c in b
1.962 * [taylor]: Taking taylor expansion of b in b
1.962 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in b
1.962 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.962 * [taylor]: Taking taylor expansion of 1.0 in b
1.962 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.962 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.962 * [taylor]: Taking taylor expansion of -1 in b
1.962 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.962 * [taylor]: Taking taylor expansion of 1/3 in b
1.962 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.962 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.962 * [taylor]: Taking taylor expansion of c in b
1.962 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in b
1.962 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
1.962 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
1.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
1.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
1.962 * [taylor]: Taking taylor expansion of 1/3 in b
1.962 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.962 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.962 * [taylor]: Taking taylor expansion of -1 in b
1.963 * [taylor]: Taking taylor expansion of c in b
1.963 * [taylor]: Taking taylor expansion of b in b
1.963 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))))) in b
1.963 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)))) in b
1.963 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in b
1.963 * [taylor]: Taking taylor expansion of 0.5 in b
1.963 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
1.963 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
1.963 * [taylor]: Taking taylor expansion of 1/3 in b
1.963 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.963 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.963 * [taylor]: Taking taylor expansion of -1 in b
1.963 * [taylor]: Taking taylor expansion of c in b
1.963 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b))) in b
1.963 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.963 * [taylor]: Taking taylor expansion of 2 in b
1.963 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.963 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.963 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.963 * [taylor]: Taking taylor expansion of -1 in b
1.963 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.963 * [taylor]: Taking taylor expansion of 1/3 in b
1.963 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.963 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.963 * [taylor]: Taking taylor expansion of c in b
1.964 * [taylor]: Taking taylor expansion of b in b
1.964 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in b
1.964 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.964 * [taylor]: Taking taylor expansion of 1.0 in b
1.964 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.964 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.964 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.964 * [taylor]: Taking taylor expansion of -1 in b
1.964 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.964 * [taylor]: Taking taylor expansion of 1/3 in b
1.964 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.964 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.964 * [taylor]: Taking taylor expansion of c in b
1.965 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in b
1.965 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
1.965 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
1.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
1.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
1.965 * [taylor]: Taking taylor expansion of 1/3 in b
1.965 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
1.965 * [taylor]: Taking taylor expansion of (/ -1 c) in b
1.965 * [taylor]: Taking taylor expansion of -1 in b
1.965 * [taylor]: Taking taylor expansion of c in b
1.965 * [taylor]: Taking taylor expansion of b in b
1.966 * [taylor]: Taking taylor expansion of (neg (+ (log (pow (/ -1 c) 1/3)) (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in c
1.966 * [taylor]: Taking taylor expansion of (+ (log (pow (/ -1 c) 1/3)) (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.966 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
1.966 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.966 * [taylor]: Taking taylor expansion of 1/3 in c
1.966 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.966 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.966 * [taylor]: Taking taylor expansion of -1 in c
1.966 * [taylor]: Taking taylor expansion of c in c
1.966 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.966 * [taylor]: Taking taylor expansion of 2 in c
1.966 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.966 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.966 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.966 * [taylor]: Taking taylor expansion of -1 in c
1.966 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.966 * [taylor]: Taking taylor expansion of 1/3 in c
1.966 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.966 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.966 * [taylor]: Taking taylor expansion of c in c
1.969 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in c
1.970 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ -1 c) 1/3))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.970 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in c
1.970 * [taylor]: Taking taylor expansion of 0.5 in c
1.970 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
1.970 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
1.970 * [taylor]: Taking taylor expansion of 1/3 in c
1.970 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
1.970 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.970 * [taylor]: Taking taylor expansion of -1 in c
1.970 * [taylor]: Taking taylor expansion of c in c
1.970 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.970 * [taylor]: Taking taylor expansion of 1.0 in c
1.970 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.970 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.970 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.970 * [taylor]: Taking taylor expansion of -1 in c
1.970 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.970 * [taylor]: Taking taylor expansion of 1/3 in c
1.970 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.970 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.970 * [taylor]: Taking taylor expansion of c in c
1.976 * [taylor]: Taking taylor expansion of 0 in c
1.984 * [taylor]: Taking taylor expansion of 0 in c
1.984 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.984 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.984 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.984 * [taylor]: Taking taylor expansion of x in y
1.984 * [taylor]: Taking taylor expansion of (log y) in y
1.985 * [taylor]: Taking taylor expansion of y in y
1.985 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [taylor]: Taking taylor expansion of (log y) in x
1.985 * [taylor]: Taking taylor expansion of y in x
1.985 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [taylor]: Taking taylor expansion of (log y) in x
1.985 * [taylor]: Taking taylor expansion of y in x
1.985 * [taylor]: Taking taylor expansion of 0 in y
1.985 * [taylor]: Taking taylor expansion of (log y) in y
1.985 * [taylor]: Taking taylor expansion of y in y
1.985 * [taylor]: Taking taylor expansion of 0 in y
1.986 * [taylor]: Taking taylor expansion of 0 in y
1.986 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.986 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.986 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of x in y
1.986 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.986 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.986 * [taylor]: Taking taylor expansion of y in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.986 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.986 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.986 * [taylor]: Taking taylor expansion of y in x
1.987 * [taylor]: Taking taylor expansion of x in x
1.987 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.987 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.988 * [taylor]: Taking taylor expansion of 0 in y
1.989 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.989 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.989 * [taylor]: Taking taylor expansion of -1 in y
1.989 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.989 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.989 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.989 * [taylor]: Taking taylor expansion of -1 in y
1.989 * [taylor]: Taking taylor expansion of y in y
1.989 * [taylor]: Taking taylor expansion of x in y
1.989 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.989 * [taylor]: Taking taylor expansion of -1 in x
1.989 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.989 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.989 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.989 * [taylor]: Taking taylor expansion of -1 in x
1.989 * [taylor]: Taking taylor expansion of y in x
1.989 * [taylor]: Taking taylor expansion of x in x
1.989 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.989 * [taylor]: Taking taylor expansion of -1 in x
1.989 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.989 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.989 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.989 * [taylor]: Taking taylor expansion of -1 in x
1.989 * [taylor]: Taking taylor expansion of y in x
1.989 * [taylor]: Taking taylor expansion of x in x
1.989 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.989 * [taylor]: Taking taylor expansion of -1 in y
1.989 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.989 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.989 * [taylor]: Taking taylor expansion of -1 in y
1.989 * [taylor]: Taking taylor expansion of y in y
1.990 * [taylor]: Taking taylor expansion of 0 in y
1.991 * [taylor]: Taking taylor expansion of 0 in y
1.991 * [taylor]: Taking taylor expansion of 0 in y
1.992 * * * [progress]: simplifying candidates
1.993 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log c) 1/3)
  (* (log c) 1/3)
  (* 1 1/3)
  (pow c (* (cbrt 1/3) (cbrt 1/3)))
  (pow c (sqrt 1/3))
  (pow c 1)
  (pow (* (cbrt c) (cbrt c)) 1/3)
  (pow (cbrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow 1 1/3)
  (pow c 1/3)
  (log (pow c 1/3))
  (exp (pow c 1/3))
  (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))
  (cbrt (pow c 1/3))
  (* (* (pow c 1/3) (pow c 1/3)) (pow c 1/3))
  (sqrt (pow c 1/3))
  (sqrt (pow c 1/3))
  (pow c (/ 1/3 2))
  (pow c (/ 1/3 2))
  (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (* (exp (* (- b 0.5) (* 2 (log (cbrt c))))) (exp (* (- b 0.5) (log (pow c 1/3)))))
  (log (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (exp (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (* (* (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (pow b 3) (pow 0.5 3)) (log (pow c 1/3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (pow c 1/3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (pow c 1/3)))))
  (* (+ b 0.5) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ b 0.5) (* (- (* b b) (* 0.5 0.5)) (log (pow c 1/3)))))
  (* (+ b 0.5) (+ b 0.5))
  (+ (pow (* (- b 0.5) (* 2 (log (cbrt c)))) 3) (pow (* (- b 0.5) (log (pow c 1/3))) 3))
  (+ (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (- (* (* (- b 0.5) (log (pow c 1/3))) (* (- b 0.5) (log (pow c 1/3)))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))))
  (- (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (* (* (- b 0.5) (log (pow c 1/3))) (* (- b 0.5) (log (pow c 1/3)))))
  (- (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* 2 (log (cbrt c))) (log (pow c 1/3)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow (* (cbrt c) (cbrt c)) 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow (sqrt c) 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow 1 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3))))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (sqrt (pow c 1/3)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log 1)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c (/ 1/3 2)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (pow (* (cbrt c) (cbrt c)) 1/3)) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (pow (sqrt c) 1/3)) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (pow 1 1/3)) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (sqrt (pow c 1/3))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log 1) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (pow c (/ 1/3 2))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (sqrt c))))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* 2 (log (sqrt (cbrt c))))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (cbrt (sqrt c))) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (sqrt (cbrt c))) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (cbrt (sqrt c)))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (sqrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (cbrt (sqrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (sqrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (exp (* 1/3 (+ (log 1) (log c))))
  (exp (* 1/3 (- (log 1) (log (/ 1 c)))))
  (exp (* 1/3 (- (log -1) (log (/ -1 c)))))
  (exp (* 1/3 (+ (log 1) (log c))))
  (exp (* 1/3 (- (log 1) (log (/ 1 c)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (- (+ (* (log c) b) (* (log 1) b)) (+ (* 0.5 (log 1)) (* 0.5 (log c))))
  (- (+ (* 0.5 (log (/ 1 c))) (* (log 1) b)) (+ (* 0.5 (log 1)) (* (log (/ 1 c)) b)))
  (- (+ (* 2 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))) b)) (+ (* 0.16666666666666666 (log (/ -1 c))) (* 1/3 (* (log -1) b)))) (+ (* 0.16666666666666666 (log -1)) (+ (* 1/3 (* (log (/ -1 c)) b)) (* 1.0 (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1)))))))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
2.001 * * [simplify]: iteration  0 :  686  enodes  (cost  932 )
2.013 * * [simplify]: iteration  1 :  2620  enodes  (cost  812 )
2.064 * * [simplify]: iteration  2 :  5001  enodes  (cost  738 )
2.069 * [simplify]: Simplified to:
   (log (pow c 1/3))
  (log (pow c 1/3))
  1/3
  (pow c (* (cbrt 1/3) (cbrt 1/3)))
  (pow c (sqrt 1/3))
  c
  (cbrt (pow c 2/3))
  (pow (cbrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow (sqrt c) 1/3)
  1
  (pow c 1/3)
  (log (pow c 1/3))
  (exp (cbrt c))
  (pow (pow c 1/3) 2/3)
  (pow (cbrt c) 1/3)
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (pow c 1/6)
  (pow c 1/6)
  (log (pow c 1/3))
  (exp (cbrt c))
  (cbrt (pow c 2/3))
  (pow (cbrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow (sqrt c) 1/3)
  1
  (pow c 1/3)
  (pow (pow c 1/3) 2/3)
  (pow (cbrt c) 1/3)
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (pow (pow (pow c 1/3) (- b 0.5)) 3)
  (+ (log 3) (log (* (- b 0.5) (log (pow c 1/3)))))
  (pow (pow (pow c 1/3) (- b 0.5)) 3)
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (pow (* 3 (* (- b 0.5) (log (pow c 1/3)))) 3)
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))))
  (* (+ (* 0.5 (+ 0.5 b)) (* b b)) (+ (* (- (pow b 3) (pow 0.5 3)) (log (pow c 1/3))) (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c))))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (pow c 1/3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (pow c 1/3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (* (+ b 0.5) (+ (* (- (* b b) (* 0.5 0.5)) (log (pow c 1/3))) (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c))))))
  (* (+ b 0.5) (+ b 0.5))
  (* (pow (- b 0.5) 3) (+ (pow (log (pow c 1/3)) 3) (pow (* 2 (log (cbrt c))) 3)))
  (+ (* (* (- b 0.5) (log (pow c 1/3))) (- (* (- b 0.5) (log (pow c 1/3))) (* (- b 0.5) (* 2 (log (cbrt c)))))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))))
  (* (- b 0.5) (* (* 3 (log (pow c 1/3))) (* (log (pow c 1/3)) (- (* 2 (- b 0.5)) (- b 0.5)))))
  (* (log (pow c 1/3)) (- (* 2 (- b 0.5)) (- b 0.5)))
  (* 3 (log (pow c 1/3)))
  (* (- b 0.5) (+ (* 1/3 (log (pow c 2/3))) (* 2 (log (cbrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (pow c (/ 1/3 2)))))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (- b 0.5) (+ (* 1/3 (log (pow c 2/3))) (* 2 (log (cbrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (pow c 1/3)))))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (pow c (/ 1/3 2)))))
  (* (- b 0.5) (+ (* 1/3 (log (pow c 2/3))) (* 2 (log (cbrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (pow c (/ 1/3 2)))))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (- b 0.5) (+ (* 1/3 (log (pow c 2/3))) (* 2 (log (cbrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (pow c 1/3)))))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (pow c (/ 1/3 2)))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (pow c 1/3))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (pow c 1/3))))
  (* 3 (* (- b 0.5) (log (pow c 1/3))))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (pow c 1/3)
  (pow c 1/3)
  (pow c 1/3)
  (pow c 1/3)
  (pow c 1/3)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))
  (* (log c) (- b 0.5))
  (* (log c) (- b 0.5))
  (- (+ (* 2 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1))) b)) (+ (* 0.16666666666666666 (log (/ -1 c))) (* 1/3 (* (log -1) b)))) (+ (* 0.16666666666666666 (log -1)) (+ (* 1/3 (* (log (/ -1 c)) b)) (* 1.0 (log (* (exp (* 1/3 (- (log 1) (log (/ -1 c))))) (cbrt -1)))))))
  (* x (log y))
  (* x (log y))
  (* x (log y))
2.070 * * * [progress]: adding candidates to table
2.279 * * [progress]: iteration 4 / 4
2.279 * * * [progress]: picking best candidate
2.317 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))>
2.317 * * * [progress]: localizing error
2.342 * * * [progress]: generating rewritten candidates
2.342 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1)
2.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
2.349 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
2.354 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.367 * * * [progress]: generating series expansions
2.367 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1)
2.367 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
2.367 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.367 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.367 * [taylor]: Taking taylor expansion of 1/3 in c
2.367 * [taylor]: Taking taylor expansion of (log c) in c
2.367 * [taylor]: Taking taylor expansion of c in c
2.367 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.367 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.367 * [taylor]: Taking taylor expansion of 1/3 in c
2.367 * [taylor]: Taking taylor expansion of (log c) in c
2.367 * [taylor]: Taking taylor expansion of c in c
2.373 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
2.373 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.373 * [taylor]: Taking taylor expansion of 1/3 in c
2.373 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.373 * [taylor]: Taking taylor expansion of c in c
2.374 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.374 * [taylor]: Taking taylor expansion of 1/3 in c
2.374 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.374 * [taylor]: Taking taylor expansion of c in c
2.380 * [approximate]: Taking taylor expansion of (pow (/ -1 c) 1/3) in (c) around 0
2.380 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.380 * [taylor]: Taking taylor expansion of 1/3 in c
2.380 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.380 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.380 * [taylor]: Taking taylor expansion of -1 in c
2.380 * [taylor]: Taking taylor expansion of c in c
2.380 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.380 * [taylor]: Taking taylor expansion of 1/3 in c
2.380 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.380 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.380 * [taylor]: Taking taylor expansion of -1 in c
2.380 * [taylor]: Taking taylor expansion of c in c
2.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
2.389 * [approximate]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in (c) around 0
2.389 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
2.389 * [taylor]: Taking taylor expansion of 3 in c
2.389 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.389 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.389 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.389 * [taylor]: Taking taylor expansion of 1/3 in c
2.389 * [taylor]: Taking taylor expansion of (log c) in c
2.389 * [taylor]: Taking taylor expansion of c in c
2.389 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
2.390 * [taylor]: Taking taylor expansion of 3 in c
2.390 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.390 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.390 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.390 * [taylor]: Taking taylor expansion of 1/3 in c
2.390 * [taylor]: Taking taylor expansion of (log c) in c
2.390 * [taylor]: Taking taylor expansion of c in c
2.400 * [approximate]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in (c) around 0
2.400 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
2.400 * [taylor]: Taking taylor expansion of 3 in c
2.400 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.400 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.400 * [taylor]: Taking taylor expansion of 1/3 in c
2.400 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.400 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.400 * [taylor]: Taking taylor expansion of c in c
2.400 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
2.401 * [taylor]: Taking taylor expansion of 3 in c
2.401 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.401 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.401 * [taylor]: Taking taylor expansion of 1/3 in c
2.401 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.401 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.401 * [taylor]: Taking taylor expansion of c in c
2.412 * [approximate]: Taking taylor expansion of (* 3 (log (pow (/ -1 c) 1/3))) in (c) around 0
2.412 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ -1 c) 1/3))) in c
2.412 * [taylor]: Taking taylor expansion of 3 in c
2.412 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
2.412 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.412 * [taylor]: Taking taylor expansion of 1/3 in c
2.412 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.412 * [taylor]: Taking taylor expansion of -1 in c
2.412 * [taylor]: Taking taylor expansion of c in c
2.412 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ -1 c) 1/3))) in c
2.412 * [taylor]: Taking taylor expansion of 3 in c
2.412 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
2.412 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.412 * [taylor]: Taking taylor expansion of 1/3 in c
2.412 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.412 * [taylor]: Taking taylor expansion of -1 in c
2.412 * [taylor]: Taking taylor expansion of c in c
2.423 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
2.423 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
2.424 * [taylor]: Taking taylor expansion of (* x (log y)) in y
2.424 * [taylor]: Taking taylor expansion of x in y
2.424 * [taylor]: Taking taylor expansion of (log y) in y
2.424 * [taylor]: Taking taylor expansion of y in y
2.424 * [taylor]: Taking taylor expansion of (* x (log y)) in x
2.424 * [taylor]: Taking taylor expansion of x in x
2.424 * [taylor]: Taking taylor expansion of (log y) in x
2.424 * [taylor]: Taking taylor expansion of y in x
2.424 * [taylor]: Taking taylor expansion of (* x (log y)) in x
2.424 * [taylor]: Taking taylor expansion of x in x
2.424 * [taylor]: Taking taylor expansion of (log y) in x
2.424 * [taylor]: Taking taylor expansion of y in x
2.424 * [taylor]: Taking taylor expansion of 0 in y
2.424 * [taylor]: Taking taylor expansion of (log y) in y
2.424 * [taylor]: Taking taylor expansion of y in y
2.424 * [taylor]: Taking taylor expansion of 0 in y
2.425 * [taylor]: Taking taylor expansion of 0 in y
2.425 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
2.425 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
2.425 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.425 * [taylor]: Taking taylor expansion of y in y
2.425 * [taylor]: Taking taylor expansion of x in y
2.425 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
2.425 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.425 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.425 * [taylor]: Taking taylor expansion of y in x
2.425 * [taylor]: Taking taylor expansion of x in x
2.425 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
2.425 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.425 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.425 * [taylor]: Taking taylor expansion of y in x
2.425 * [taylor]: Taking taylor expansion of x in x
2.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.426 * [taylor]: Taking taylor expansion of y in y
2.426 * [taylor]: Taking taylor expansion of 0 in y
2.426 * [taylor]: Taking taylor expansion of 0 in y
2.427 * [taylor]: Taking taylor expansion of 0 in y
2.427 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
2.427 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
2.427 * [taylor]: Taking taylor expansion of -1 in y
2.427 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
2.427 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.427 * [taylor]: Taking taylor expansion of -1 in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.427 * [taylor]: Taking taylor expansion of x in y
2.428 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
2.428 * [taylor]: Taking taylor expansion of -1 in x
2.428 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
2.428 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.428 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.428 * [taylor]: Taking taylor expansion of -1 in x
2.428 * [taylor]: Taking taylor expansion of y in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
2.428 * [taylor]: Taking taylor expansion of -1 in x
2.428 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
2.428 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.428 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.428 * [taylor]: Taking taylor expansion of -1 in x
2.428 * [taylor]: Taking taylor expansion of y in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
2.428 * [taylor]: Taking taylor expansion of -1 in y
2.428 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.428 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.428 * [taylor]: Taking taylor expansion of -1 in y
2.428 * [taylor]: Taking taylor expansion of y in y
2.429 * [taylor]: Taking taylor expansion of 0 in y
2.429 * [taylor]: Taking taylor expansion of 0 in y
2.430 * [taylor]: Taking taylor expansion of 0 in y
2.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.430 * [approximate]: Taking taylor expansion of (* 3 (* (- b 0.5) (log (pow c 1/3)))) in (b c) around 0
2.430 * [taylor]: Taking taylor expansion of (* 3 (* (- b 0.5) (log (pow c 1/3)))) in c
2.430 * [taylor]: Taking taylor expansion of 3 in c
2.430 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log (pow c 1/3))) in c
2.430 * [taylor]: Taking taylor expansion of (- b 0.5) in c
2.430 * [taylor]: Taking taylor expansion of b in c
2.430 * [taylor]: Taking taylor expansion of 0.5 in c
2.430 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.430 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.430 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.430 * [taylor]: Taking taylor expansion of 1/3 in c
2.430 * [taylor]: Taking taylor expansion of (log c) in c
2.430 * [taylor]: Taking taylor expansion of c in c
2.431 * [taylor]: Taking taylor expansion of (* 3 (* (- b 0.5) (log (pow c 1/3)))) in b
2.431 * [taylor]: Taking taylor expansion of 3 in b
2.431 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log (pow c 1/3))) in b
2.431 * [taylor]: Taking taylor expansion of (- b 0.5) in b
2.431 * [taylor]: Taking taylor expansion of b in b
2.431 * [taylor]: Taking taylor expansion of 0.5 in b
2.431 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
2.431 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
2.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
2.431 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
2.431 * [taylor]: Taking taylor expansion of 1/3 in b
2.431 * [taylor]: Taking taylor expansion of (log c) in b
2.431 * [taylor]: Taking taylor expansion of c in b
2.431 * [taylor]: Taking taylor expansion of (* 3 (* (- b 0.5) (log (pow c 1/3)))) in b
2.431 * [taylor]: Taking taylor expansion of 3 in b
2.431 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log (pow c 1/3))) in b
2.431 * [taylor]: Taking taylor expansion of (- b 0.5) in b
2.431 * [taylor]: Taking taylor expansion of b in b
2.431 * [taylor]: Taking taylor expansion of 0.5 in b
2.431 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
2.431 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
2.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
2.431 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
2.431 * [taylor]: Taking taylor expansion of 1/3 in b
2.431 * [taylor]: Taking taylor expansion of (log c) in b
2.431 * [taylor]: Taking taylor expansion of c in b
2.432 * [taylor]: Taking taylor expansion of (* -1.5 (log (pow c 1/3))) in c
2.432 * [taylor]: Taking taylor expansion of -1.5 in c
2.432 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.432 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.432 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.432 * [taylor]: Taking taylor expansion of 1/3 in c
2.432 * [taylor]: Taking taylor expansion of (log c) in c
2.432 * [taylor]: Taking taylor expansion of c in c
2.432 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
2.432 * [taylor]: Taking taylor expansion of 3 in c
2.432 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.433 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.433 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.433 * [taylor]: Taking taylor expansion of 1/3 in c
2.433 * [taylor]: Taking taylor expansion of (log c) in c
2.433 * [taylor]: Taking taylor expansion of c in c
2.434 * [taylor]: Taking taylor expansion of 0 in c
2.436 * [taylor]: Taking taylor expansion of 0 in c
2.437 * [approximate]: Taking taylor expansion of (* 3 (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3)))) in (b c) around 0
2.437 * [taylor]: Taking taylor expansion of (* 3 (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3)))) in c
2.437 * [taylor]: Taking taylor expansion of 3 in c
2.437 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3))) in c
2.437 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in c
2.437 * [taylor]: Taking taylor expansion of (/ 1 b) in c
2.437 * [taylor]: Taking taylor expansion of b in c
2.437 * [taylor]: Taking taylor expansion of 0.5 in c
2.437 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.437 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.437 * [taylor]: Taking taylor expansion of 1/3 in c
2.437 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.437 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.437 * [taylor]: Taking taylor expansion of c in c
2.437 * [taylor]: Taking taylor expansion of (* 3 (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3)))) in b
2.437 * [taylor]: Taking taylor expansion of 3 in b
2.437 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3))) in b
2.437 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
2.437 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.437 * [taylor]: Taking taylor expansion of b in b
2.437 * [taylor]: Taking taylor expansion of 0.5 in b
2.437 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
2.437 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
2.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
2.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
2.437 * [taylor]: Taking taylor expansion of 1/3 in b
2.437 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
2.437 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.437 * [taylor]: Taking taylor expansion of c in b
2.438 * [taylor]: Taking taylor expansion of (* 3 (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3)))) in b
2.438 * [taylor]: Taking taylor expansion of 3 in b
2.438 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (pow (/ 1 c) 1/3))) in b
2.438 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
2.438 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.438 * [taylor]: Taking taylor expansion of b in b
2.438 * [taylor]: Taking taylor expansion of 0.5 in b
2.438 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
2.438 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
2.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
2.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
2.438 * [taylor]: Taking taylor expansion of 1/3 in b
2.438 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
2.438 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.438 * [taylor]: Taking taylor expansion of c in b
2.438 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
2.438 * [taylor]: Taking taylor expansion of 3 in c
2.438 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.438 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.438 * [taylor]: Taking taylor expansion of 1/3 in c
2.438 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.438 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.438 * [taylor]: Taking taylor expansion of c in c
2.439 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
2.439 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
2.439 * [taylor]: Taking taylor expansion of 1.5 in c
2.439 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.439 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.439 * [taylor]: Taking taylor expansion of 1/3 in c
2.439 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.439 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.439 * [taylor]: Taking taylor expansion of c in c
2.441 * [taylor]: Taking taylor expansion of 0 in c
2.444 * [taylor]: Taking taylor expansion of 0 in c
2.444 * [approximate]: Taking taylor expansion of (* -3 (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5))) in (b c) around 0
2.444 * [taylor]: Taking taylor expansion of (* -3 (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5))) in c
2.444 * [taylor]: Taking taylor expansion of -3 in c
2.444 * [taylor]: Taking taylor expansion of (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5)) in c
2.444 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
2.444 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.444 * [taylor]: Taking taylor expansion of 1/3 in c
2.444 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.444 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.444 * [taylor]: Taking taylor expansion of -1 in c
2.444 * [taylor]: Taking taylor expansion of c in c
2.445 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in c
2.445 * [taylor]: Taking taylor expansion of (/ 1 b) in c
2.445 * [taylor]: Taking taylor expansion of b in c
2.445 * [taylor]: Taking taylor expansion of 0.5 in c
2.445 * [taylor]: Taking taylor expansion of (* -3 (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5))) in b
2.445 * [taylor]: Taking taylor expansion of -3 in b
2.445 * [taylor]: Taking taylor expansion of (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5)) in b
2.445 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
2.445 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
2.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
2.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
2.445 * [taylor]: Taking taylor expansion of 1/3 in b
2.445 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
2.445 * [taylor]: Taking taylor expansion of (/ -1 c) in b
2.445 * [taylor]: Taking taylor expansion of -1 in b
2.445 * [taylor]: Taking taylor expansion of c in b
2.445 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
2.445 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.445 * [taylor]: Taking taylor expansion of b in b
2.445 * [taylor]: Taking taylor expansion of 0.5 in b
2.445 * [taylor]: Taking taylor expansion of (* -3 (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5))) in b
2.445 * [taylor]: Taking taylor expansion of -3 in b
2.445 * [taylor]: Taking taylor expansion of (* (log (pow (/ -1 c) 1/3)) (+ (/ 1 b) 0.5)) in b
2.445 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b
2.445 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b
2.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b
2.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b
2.445 * [taylor]: Taking taylor expansion of 1/3 in b
2.445 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
2.445 * [taylor]: Taking taylor expansion of (/ -1 c) in b
2.445 * [taylor]: Taking taylor expansion of -1 in b
2.445 * [taylor]: Taking taylor expansion of c in b
2.445 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
2.445 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.446 * [taylor]: Taking taylor expansion of b in b
2.446 * [taylor]: Taking taylor expansion of 0.5 in b
2.446 * [taylor]: Taking taylor expansion of (* -3 (log (pow (/ -1 c) 1/3))) in c
2.446 * [taylor]: Taking taylor expansion of -3 in c
2.446 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
2.446 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.446 * [taylor]: Taking taylor expansion of 1/3 in c
2.446 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.446 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.446 * [taylor]: Taking taylor expansion of -1 in c
2.446 * [taylor]: Taking taylor expansion of c in c
2.447 * [taylor]: Taking taylor expansion of (neg (* 1.5 (log (pow (/ -1 c) 1/3)))) in c
2.447 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ -1 c) 1/3))) in c
2.447 * [taylor]: Taking taylor expansion of 1.5 in c
2.447 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c
2.447 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c
2.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c
2.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c
2.447 * [taylor]: Taking taylor expansion of 1/3 in c
2.447 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
2.447 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.447 * [taylor]: Taking taylor expansion of -1 in c
2.447 * [taylor]: Taking taylor expansion of c in c
2.449 * [taylor]: Taking taylor expansion of 0 in c
2.451 * [taylor]: Taking taylor expansion of 0 in c
2.452 * * * [progress]: simplifying candidates
2.454 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log c) 1/3)
  (* (log c) 1/3)
  (* 1 1/3)
  (pow c (* (cbrt 1/3) (cbrt 1/3)))
  (pow c (sqrt 1/3))
  (pow c 1)
  (pow (* (cbrt c) (cbrt c)) 1/3)
  (pow (cbrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow 1 1/3)
  (pow c 1/3)
  (log (pow c 1/3))
  (exp (pow c 1/3))
  (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))
  (cbrt (pow c 1/3))
  (* (* (pow c 1/3) (pow c 1/3)) (pow c 1/3))
  (sqrt (pow c 1/3))
  (sqrt (pow c 1/3))
  (pow c (/ 1/3 2))
  (pow c (/ 1/3 2))
  (* 3 (log (pow c 1/3)))
  (+ (log 3) (log (log (pow c 1/3))))
  (log (* 3 (log (pow c 1/3))))
  (exp (* 3 (log (pow c 1/3))))
  (* (* (* 3 3) 3) (* (* (log (pow c 1/3)) (log (pow c 1/3))) (log (pow c 1/3))))
  (* (cbrt (* 3 (log (pow c 1/3)))) (cbrt (* 3 (log (pow c 1/3)))))
  (cbrt (* 3 (log (pow c 1/3))))
  (* (* (* 3 (log (pow c 1/3))) (* 3 (log (pow c 1/3)))) (* 3 (log (pow c 1/3))))
  (sqrt (* 3 (log (pow c 1/3))))
  (sqrt (* 3 (log (pow c 1/3))))
  (* (sqrt 3) (sqrt (log (pow c 1/3))))
  (* (sqrt 3) (sqrt (log (pow c 1/3))))
  (* 3 (log (pow (* (cbrt c) (cbrt c)) 1/3)))
  (* 3 (log (pow (cbrt c) 1/3)))
  (* 3 (log (pow (sqrt c) 1/3)))
  (* 3 (log (pow (sqrt c) 1/3)))
  (* 3 (log (pow 1 1/3)))
  (* 3 (log (pow c 1/3)))
  (* 3 (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))))
  (* 3 (log (cbrt (pow c 1/3))))
  (* 3 (log (sqrt (pow c 1/3))))
  (* 3 (log (sqrt (pow c 1/3))))
  (* 3 (log 1))
  (* 3 (log (pow c 1/3)))
  (* 3 (log (pow c (/ 1/3 2))))
  (* 3 (log (pow c (/ 1/3 2))))
  (* (log (pow (* (cbrt c) (cbrt c)) 1/3)) 3)
  (* (log (pow (cbrt c) 1/3)) 3)
  (* (log (pow (sqrt c) 1/3)) 3)
  (* (log (pow (sqrt c) 1/3)) 3)
  (* (log (pow 1 1/3)) 3)
  (* (log (pow c 1/3)) 3)
  (* (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))) 3)
  (* (log (cbrt (pow c 1/3))) 3)
  (* (log (sqrt (pow c 1/3))) 3)
  (* (log (sqrt (pow c 1/3))) 3)
  (* (log 1) 3)
  (* (log (pow c 1/3)) 3)
  (* (log (pow c (/ 1/3 2))) 3)
  (* (log (pow c (/ 1/3 2))) 3)
  (* 3 1/3)
  (* 3 (* (cbrt (log (pow c 1/3))) (cbrt (log (pow c 1/3)))))
  (* 3 (sqrt (log (pow c 1/3))))
  (* 3 1)
  (* (cbrt 3) (log (pow c 1/3)))
  (* (sqrt 3) (log (pow c 1/3)))
  (* 3 (log (pow c 1/3)))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (+ (log (- b 0.5)) (+ (log 3) (log (log (pow c 1/3)))))
  (+ (log (- b 0.5)) (log (* 3 (log (pow c 1/3)))))
  (log (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (exp (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (* (* (* (- b 0.5) (- b 0.5)) (- b 0.5)) (* (* (* 3 3) 3) (* (* (log (pow c 1/3)) (log (pow c 1/3))) (log (pow c 1/3)))))
  (* (* (* (- b 0.5) (- b 0.5)) (- b 0.5)) (* (* (* 3 (log (pow c 1/3))) (* 3 (log (pow c 1/3)))) (* 3 (log (pow c 1/3)))))
  (* (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3))))) (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3))))))
  (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (* (* (* (- b 0.5) (* 3 (log (pow c 1/3)))) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (sqrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (sqrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (* (- b 0.5) (* 3 (log (pow (* (cbrt c) (cbrt c)) 1/3))))
  (* (- b 0.5) (* 3 (log (pow (cbrt c) 1/3))))
  (* (- b 0.5) (* 3 (log (pow (sqrt c) 1/3))))
  (* (- b 0.5) (* 3 (log (pow (sqrt c) 1/3))))
  (* (- b 0.5) (* 3 (log (pow 1 1/3))))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (* 3 (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3))))))
  (* (- b 0.5) (* 3 (log (cbrt (pow c 1/3)))))
  (* (- b 0.5) (* 3 (log (sqrt (pow c 1/3)))))
  (* (- b 0.5) (* 3 (log (sqrt (pow c 1/3)))))
  (* (- b 0.5) (* 3 (log 1)))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (* 3 (log (pow c (/ 1/3 2)))))
  (* (- b 0.5) (* 3 (log (pow c (/ 1/3 2)))))
  (* (- b 0.5) (* (log (pow (* (cbrt c) (cbrt c)) 1/3)) 3))
  (* (- b 0.5) (* (log (pow (cbrt c) 1/3)) 3))
  (* (- b 0.5) (* (log (pow (sqrt c) 1/3)) 3))
  (* (- b 0.5) (* (log (pow (sqrt c) 1/3)) 3))
  (* (- b 0.5) (* (log (pow 1 1/3)) 3))
  (* (- b 0.5) (* (log (pow c 1/3)) 3))
  (* (- b 0.5) (* (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))) 3))
  (* (- b 0.5) (* (log (cbrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log 1) 3))
  (* (- b 0.5) (* (log (pow c 1/3)) 3))
  (* (- b 0.5) (* (log (pow c (/ 1/3 2))) 3))
  (* (- b 0.5) (* (log (pow c (/ 1/3 2))) 3))
  (* (* 3 (log (pow (* (cbrt c) (cbrt c)) 1/3))) (- b 0.5))
  (* (* 3 (log (pow (cbrt c) 1/3))) (- b 0.5))
  (* (* 3 (log (pow (sqrt c) 1/3))) (- b 0.5))
  (* (* 3 (log (pow (sqrt c) 1/3))) (- b 0.5))
  (* (* 3 (log (pow 1 1/3))) (- b 0.5))
  (* (* 3 (log (pow c 1/3))) (- b 0.5))
  (* (* 3 (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3))))) (- b 0.5))
  (* (* 3 (log (cbrt (pow c 1/3)))) (- b 0.5))
  (* (* 3 (log (sqrt (pow c 1/3)))) (- b 0.5))
  (* (* 3 (log (sqrt (pow c 1/3)))) (- b 0.5))
  (* (* 3 (log 1)) (- b 0.5))
  (* (* 3 (log (pow c 1/3))) (- b 0.5))
  (* (* 3 (log (pow c (/ 1/3 2)))) (- b 0.5))
  (* (* 3 (log (pow c (/ 1/3 2)))) (- b 0.5))
  (* (* (log (pow (* (cbrt c) (cbrt c)) 1/3)) 3) (- b 0.5))
  (* (* (log (pow (cbrt c) 1/3)) 3) (- b 0.5))
  (* (* (log (pow (sqrt c) 1/3)) 3) (- b 0.5))
  (* (* (log (pow (sqrt c) 1/3)) 3) (- b 0.5))
  (* (* (log (pow 1 1/3)) 3) (- b 0.5))
  (* (* (log (pow c 1/3)) 3) (- b 0.5))
  (* (* (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))) 3) (- b 0.5))
  (* (* (log (cbrt (pow c 1/3))) 3) (- b 0.5))
  (* (* (log (sqrt (pow c 1/3))) 3) (- b 0.5))
  (* (* (log (sqrt (pow c 1/3))) 3) (- b 0.5))
  (* (* (log 1) 3) (- b 0.5))
  (* (* (log (pow c 1/3)) 3) (- b 0.5))
  (* (* (log (pow c (/ 1/3 2))) 3) (- b 0.5))
  (* (* (log (pow c (/ 1/3 2))) 3) (- b 0.5))
  (* (- b 0.5) 3)
  (* (cbrt (- b 0.5)) (* 3 (log (pow c 1/3))))
  (* (sqrt (- b 0.5)) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (* (- (sqrt b) (sqrt 0.5)) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (* 3 (log (pow c 1/3))))
  (* (- (pow b 3) (pow 0.5 3)) (* 3 (log (pow c 1/3))))
  (* (- (* b b) (* 0.5 0.5)) (* 3 (log (pow c 1/3))))
  (exp (* 1/3 (+ (log 1) (log c))))
  (exp (* 1/3 (- (log 1) (log (/ 1 c)))))
  (exp (* 1/3 (- (log -1) (log (/ -1 c)))))
  (+ (log 1) (log c))
  (- (log 1) (log (/ 1 c)))
  (- (log -1) (log (/ -1 c)))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (+ (* (log c) b) (* (log 1) b)) (+ (* 0.5 (log 1)) (* 0.5 (log c))))
  (- (+ (* 0.5 (log (/ 1 c))) (* (log 1) b)) (+ (* 0.5 (log 1)) (* (log (/ 1 c)) b)))
  (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b)))
2.461 * * [simplify]: iteration  0 :  532  enodes  (cost  898 )
2.470 * * [simplify]: iteration  1 :  2131  enodes  (cost  669 )
2.512 * * [simplify]: iteration  2 :  5002  enodes  (cost  576 )
2.517 * [simplify]: Simplified to:
   (log (pow c 1/3))
  (log (pow c 1/3))
  1/3
  (pow c (* (cbrt 1/3) (cbrt 1/3)))
  (pow c (sqrt 1/3))
  c
  (cbrt (pow c 2/3))
  (pow (cbrt c) 1/3)
  (pow (sqrt c) 1/3)
  (pow (sqrt c) 1/3)
  1
  (pow c 1/3)
  (log (pow c 1/3))
  (exp (pow c 1/3))
  (pow (pow c 1/3) 2/3)
  (pow (cbrt c) 1/3)
  c
  (sqrt (pow c 1/3))
  (sqrt (pow c 1/3))
  (pow c 1/6)
  (pow c 1/6)
  (log c)
  (log (log c))
  (log (log c))
  c
  (pow (* 3 (log (pow c 1/3))) 3)
  (* (cbrt (* 3 (log (pow c 1/3)))) (cbrt (* 3 (log (pow c 1/3)))))
  (cbrt (* 3 (log (pow c 1/3))))
  (pow (* 3 (log (pow c 1/3))) 3)
  (sqrt (* 3 (log (pow c 1/3))))
  (sqrt (* 3 (log (pow c 1/3))))
  (* (sqrt 3) (sqrt (log (pow c 1/3))))
  (* (sqrt 3) (sqrt (log (pow c 1/3))))
  (* 2/3 (log c))
  (log (pow c 1/3))
  (log (pow c 1/2))
  (log (pow c 1/2))
  0
  (log c)
  (* 2/3 (log c))
  (log (pow c 1/3))
  (* 3 (log (sqrt (pow c 1/3))))
  (* 3 (log (sqrt (pow c 1/3))))
  0
  (log c)
  (log (pow c 1/2))
  (log (pow c 1/2))
  (* 2/3 (log c))
  (log (pow c 1/3))
  (log (pow c 1/2))
  (log (pow c 1/2))
  0
  (log c)
  (* 2/3 (log c))
  (log (pow c 1/3))
  (* 3 (log (sqrt (pow c 1/3))))
  (* 3 (log (sqrt (pow c 1/3))))
  0
  (log c)
  (log (pow c 1/2))
  (log (pow c 1/2))
  1
  (* 3 (* (cbrt (log (pow c 1/3))) (cbrt (log (pow c 1/3)))))
  (* 3 (sqrt (log (pow c 1/3))))
  3
  (* (cbrt 3) (log (pow c 1/3)))
  (* (sqrt 3) (log (pow c 1/3)))
  (log c)
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* (- b 0.5) (log c))
  (* (- b 0.5) (log c))
  (log (* (- b 0.5) (log c)))
  (log (* (- b 0.5) (log c)))
  (log (* (- b 0.5) (log c)))
  (pow c (- b 0.5))
  (pow (* (- b 0.5) (* (log (pow c 1/3)) 3)) 3)
  (pow (* (- b 0.5) (* (log (pow c 1/3)) 3)) 3)
  (* (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3))))) (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3))))))
  (cbrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (pow (* (- b 0.5) (* (log (pow c 1/3)) 3)) 3)
  (sqrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (sqrt (* (- b 0.5) (* 3 (log (pow c 1/3)))))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  0
  (* (- b 0.5) (log c))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  0
  (* (- b 0.5) (log c))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  0
  (* (- b 0.5) (log c))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  0
  (* (- b 0.5) (log c))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  0
  (* (- b 0.5) (log c))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  0
  (* (- b 0.5) (log c))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  0
  (* (- b 0.5) (log c))
  (* (* 2/3 (log c)) (- b 0.5))
  (* (log (pow c 1/3)) (- b 0.5))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  (* (- b 0.5) (* (log (sqrt (pow c 1/3))) 3))
  0
  (* (- b 0.5) (log c))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (- b 0.5) 3)
  (* (cbrt (- b 0.5)) (* 3 (log (pow c 1/3))))
  (* (sqrt (- b 0.5)) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (log c))
  (* (- (sqrt b) (sqrt 0.5)) (* 3 (log (pow c 1/3))))
  (* (- b 0.5) (log c))
  (* (- (pow b 3) (pow 0.5 3)) (* 3 (log (pow c 1/3))))
  (* (* (* 1 (log c)) (+ b 0.5)) (- b 0.5))
  (pow c 1/3)
  (pow c 1/3)
  (pow c 1/3)
  (log c)
  (log c)
  (log c)
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (* (- b 0.5) (log c))
  (* (- b 0.5) (log c))
  (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b)))
2.517 * * * [progress]: adding candidates to table
2.657 * [progress]: [Phase 3 of 3] Extracting.
2.657 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
2.661 * * * [regime-changes]: Trying 11 branch expressions: ((log c) (- b 0.5) (* (- b 0.5) (log c)) i c b a t z y x)
2.661 * * * * [regimes]: Trying to branch on (log c) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
2.779 * * * * [regimes]: Trying to branch on (log c) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))>)
2.872 * * * * [regimes]: Trying to branch on (- b 0.5) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
2.977 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.092 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))>)
3.188 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.299 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.408 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.516 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.625 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.735 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.844 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
3.953 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (* 3 (log (pow c 1/3))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (cbrt (pow (* 3 (log (pow c 1/3))) 3)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (sqrt x) (* (sqrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* x (sqrt (log y))) (sqrt (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i)))>)
4.063 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
4.063 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i))
4.064 * * [simplify]: iteration  0 :  39  enodes  (cost  18 )
4.065 * * [simplify]: iteration  1 :  39  enodes  (cost  18 )
4.065 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))) (* y i))
8.837 * [regime-testing]: End program error score: 0.11710920310074013