5.053 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.126 * * * [progress]: [2/2] Setting up program. 0.130 * [progress]: [Phase 2 of 3] Improving. 0.131 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)) 0.132 * * [simplify]: iteration 0 : 20 enodes (cost 21 ) 0.134 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 0.139 * * [simplify]: iteration 2 : 97 enodes (cost 21 ) 0.166 * * [simplify]: iteration 3 : 358 enodes (cost 21 ) 0.369 * * [simplify]: iteration 4 : 1139 enodes (cost 21 ) 1.658 * * [simplify]: iteration 5 : 2745 enodes (cost 21 ) 6.706 * * [simplify]: iteration 6 : 4109 enodes (cost 21 ) 7.977 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 7.977 * [simplify]: Simplified to: (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)) 7.977 * * [progress]: iteration 1 / 4 7.977 * * * [progress]: picking best candidate 7.980 * * * * [pick]: Picked # 7.981 * * * [progress]: localizing error 8.000 * * * [progress]: generating rewritten candidates 8.000 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 8.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.019 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 8.302 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 8.320 * * * [progress]: generating series expansions 8.320 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 8.320 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 8.320 * [taylor]: Taking taylor expansion of (* x (log y)) in y 8.320 * [taylor]: Taking taylor expansion of x in y 8.320 * [taylor]: Taking taylor expansion of (log y) in y 8.320 * [taylor]: Taking taylor expansion of y in y 8.321 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.321 * [taylor]: Taking taylor expansion of x in x 8.321 * [taylor]: Taking taylor expansion of (log y) in x 8.321 * [taylor]: Taking taylor expansion of y in x 8.321 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.321 * [taylor]: Taking taylor expansion of x in x 8.321 * [taylor]: Taking taylor expansion of (log y) in x 8.321 * [taylor]: Taking taylor expansion of y in x 8.321 * [taylor]: Taking taylor expansion of 0 in y 8.322 * [taylor]: Taking taylor expansion of (log y) in y 8.322 * [taylor]: Taking taylor expansion of y in y 8.324 * [taylor]: Taking taylor expansion of 0 in y 8.328 * [taylor]: Taking taylor expansion of 0 in y 8.328 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 8.328 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 8.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.328 * [taylor]: Taking taylor expansion of y in y 8.329 * [taylor]: Taking taylor expansion of x in y 8.329 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.329 * [taylor]: Taking taylor expansion of y in x 8.330 * [taylor]: Taking taylor expansion of x in x 8.330 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.330 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.330 * [taylor]: Taking taylor expansion of y in x 8.330 * [taylor]: Taking taylor expansion of x in x 8.330 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.330 * [taylor]: Taking taylor expansion of y in y 8.332 * [taylor]: Taking taylor expansion of 0 in y 8.335 * [taylor]: Taking taylor expansion of 0 in y 8.340 * [taylor]: Taking taylor expansion of 0 in y 8.340 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 8.340 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 8.340 * [taylor]: Taking taylor expansion of -1 in y 8.340 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 8.340 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.340 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.340 * [taylor]: Taking taylor expansion of -1 in y 8.340 * [taylor]: Taking taylor expansion of y in y 8.341 * [taylor]: Taking taylor expansion of x in y 8.342 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 8.342 * [taylor]: Taking taylor expansion of -1 in x 8.342 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.342 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.342 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.342 * [taylor]: Taking taylor expansion of -1 in x 8.342 * [taylor]: Taking taylor expansion of y in x 8.342 * [taylor]: Taking taylor expansion of x in x 8.342 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 8.342 * [taylor]: Taking taylor expansion of -1 in x 8.342 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.343 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.343 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.343 * [taylor]: Taking taylor expansion of -1 in x 8.343 * [taylor]: Taking taylor expansion of y in x 8.343 * [taylor]: Taking taylor expansion of x in x 8.343 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 8.343 * [taylor]: Taking taylor expansion of -1 in y 8.343 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.343 * [taylor]: Taking taylor expansion of -1 in y 8.343 * [taylor]: Taking taylor expansion of y in y 8.346 * [taylor]: Taking taylor expansion of 0 in y 8.354 * [taylor]: Taking taylor expansion of 0 in y 8.362 * [taylor]: Taking taylor expansion of 0 in y 8.362 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 8.362 * [approximate]: Taking taylor expansion of (* (- b 0.5) (log c)) in (b c) around 0 8.362 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in c 8.362 * [taylor]: Taking taylor expansion of (- b 0.5) in c 8.362 * [taylor]: Taking taylor expansion of b in c 8.362 * [taylor]: Taking taylor expansion of 0.5 in c 8.362 * [taylor]: Taking taylor expansion of (log c) in c 8.362 * [taylor]: Taking taylor expansion of c in c 8.363 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b 8.363 * [taylor]: Taking taylor expansion of (- b 0.5) in b 8.363 * [taylor]: Taking taylor expansion of b in b 8.363 * [taylor]: Taking taylor expansion of 0.5 in b 8.363 * [taylor]: Taking taylor expansion of (log c) in b 8.363 * [taylor]: Taking taylor expansion of c in b 8.363 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b 8.363 * [taylor]: Taking taylor expansion of (- b 0.5) in b 8.363 * [taylor]: Taking taylor expansion of b in b 8.363 * [taylor]: Taking taylor expansion of 0.5 in b 8.363 * [taylor]: Taking taylor expansion of (log c) in b 8.363 * [taylor]: Taking taylor expansion of c in b 8.364 * [taylor]: Taking taylor expansion of (* -0.5 (log c)) in c 8.364 * [taylor]: Taking taylor expansion of -0.5 in c 8.364 * [taylor]: Taking taylor expansion of (log c) in c 8.364 * [taylor]: Taking taylor expansion of c in c 8.366 * [taylor]: Taking taylor expansion of (log c) in c 8.366 * [taylor]: Taking taylor expansion of c in c 8.370 * [taylor]: Taking taylor expansion of 0 in c 8.376 * [taylor]: Taking taylor expansion of 0 in c 8.376 * [approximate]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in (b c) around 0 8.376 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in c 8.376 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in c 8.376 * [taylor]: Taking taylor expansion of (/ 1 b) in c 8.376 * [taylor]: Taking taylor expansion of b in c 8.376 * [taylor]: Taking taylor expansion of 0.5 in c 8.376 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.376 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.376 * [taylor]: Taking taylor expansion of c in c 8.377 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b 8.377 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.377 * [taylor]: Taking taylor expansion of b in b 8.377 * [taylor]: Taking taylor expansion of 0.5 in b 8.377 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.377 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.377 * [taylor]: Taking taylor expansion of c in b 8.377 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b 8.377 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.377 * [taylor]: Taking taylor expansion of b in b 8.377 * [taylor]: Taking taylor expansion of 0.5 in b 8.377 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.377 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.378 * [taylor]: Taking taylor expansion of c in b 8.378 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.378 * [taylor]: Taking taylor expansion of c in c 8.381 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ 1 c)))) in c 8.381 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in c 8.381 * [taylor]: Taking taylor expansion of 0.5 in c 8.381 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.381 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.381 * [taylor]: Taking taylor expansion of c in c 8.386 * [taylor]: Taking taylor expansion of 0 in c 8.393 * [taylor]: Taking taylor expansion of 0 in c 8.394 * [approximate]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in (b c) around 0 8.394 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in c 8.394 * [taylor]: Taking taylor expansion of -1 in c 8.394 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in c 8.394 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.394 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.394 * [taylor]: Taking taylor expansion of -1 in c 8.394 * [taylor]: Taking taylor expansion of c in c 8.394 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in c 8.394 * [taylor]: Taking taylor expansion of (/ 1 b) in c 8.394 * [taylor]: Taking taylor expansion of b in c 8.395 * [taylor]: Taking taylor expansion of 0.5 in c 8.395 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b 8.395 * [taylor]: Taking taylor expansion of -1 in b 8.395 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b 8.395 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.395 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.395 * [taylor]: Taking taylor expansion of -1 in b 8.395 * [taylor]: Taking taylor expansion of c in b 8.395 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b 8.395 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.395 * [taylor]: Taking taylor expansion of b in b 8.395 * [taylor]: Taking taylor expansion of 0.5 in b 8.395 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b 8.395 * [taylor]: Taking taylor expansion of -1 in b 8.395 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b 8.395 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.395 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.395 * [taylor]: Taking taylor expansion of -1 in b 8.395 * [taylor]: Taking taylor expansion of c in b 8.395 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b 8.395 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.395 * [taylor]: Taking taylor expansion of b in b 8.396 * [taylor]: Taking taylor expansion of 0.5 in b 8.396 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 c))) in c 8.396 * [taylor]: Taking taylor expansion of -1 in c 8.396 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.396 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.396 * [taylor]: Taking taylor expansion of -1 in c 8.396 * [taylor]: Taking taylor expansion of c in c 8.400 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ -1 c)))) in c 8.400 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in c 8.400 * [taylor]: Taking taylor expansion of 0.5 in c 8.400 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.400 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.400 * [taylor]: Taking taylor expansion of -1 in c 8.400 * [taylor]: Taking taylor expansion of c in c 8.407 * [taylor]: Taking taylor expansion of 0 in c 8.417 * [taylor]: Taking taylor expansion of 0 in c 8.418 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 8.419 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in (x y z t a b c) around 0 8.419 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in c 8.419 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in c 8.419 * [taylor]: Taking taylor expansion of (* x (log y)) in c 8.419 * [taylor]: Taking taylor expansion of x in c 8.419 * [taylor]: Taking taylor expansion of (log y) in c 8.419 * [taylor]: Taking taylor expansion of y in c 8.419 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in c 8.419 * [taylor]: Taking taylor expansion of t in c 8.419 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in c 8.419 * [taylor]: Taking taylor expansion of z in c 8.419 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in c 8.419 * [taylor]: Taking taylor expansion of (* (log c) b) in c 8.419 * [taylor]: Taking taylor expansion of (log c) in c 8.419 * [taylor]: Taking taylor expansion of c in c 8.419 * [taylor]: Taking taylor expansion of b in c 8.419 * [taylor]: Taking taylor expansion of a in c 8.419 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in c 8.419 * [taylor]: Taking taylor expansion of 0.5 in c 8.419 * [taylor]: Taking taylor expansion of (log c) in c 8.419 * [taylor]: Taking taylor expansion of c in c 8.419 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in b 8.420 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in b 8.420 * [taylor]: Taking taylor expansion of (* x (log y)) in b 8.420 * [taylor]: Taking taylor expansion of x in b 8.420 * [taylor]: Taking taylor expansion of (log y) in b 8.420 * [taylor]: Taking taylor expansion of y in b 8.420 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in b 8.420 * [taylor]: Taking taylor expansion of t in b 8.420 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in b 8.420 * [taylor]: Taking taylor expansion of z in b 8.420 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in b 8.420 * [taylor]: Taking taylor expansion of (* (log c) b) in b 8.420 * [taylor]: Taking taylor expansion of (log c) in b 8.420 * [taylor]: Taking taylor expansion of c in b 8.420 * [taylor]: Taking taylor expansion of b in b 8.420 * [taylor]: Taking taylor expansion of a in b 8.420 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in b 8.420 * [taylor]: Taking taylor expansion of 0.5 in b 8.420 * [taylor]: Taking taylor expansion of (log c) in b 8.420 * [taylor]: Taking taylor expansion of c in b 8.420 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in a 8.420 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in a 8.420 * [taylor]: Taking taylor expansion of (* x (log y)) in a 8.420 * [taylor]: Taking taylor expansion of x in a 8.420 * [taylor]: Taking taylor expansion of (log y) in a 8.420 * [taylor]: Taking taylor expansion of y in a 8.420 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in a 8.420 * [taylor]: Taking taylor expansion of t in a 8.420 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in a 8.420 * [taylor]: Taking taylor expansion of z in a 8.420 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in a 8.420 * [taylor]: Taking taylor expansion of (* (log c) b) in a 8.420 * [taylor]: Taking taylor expansion of (log c) in a 8.420 * [taylor]: Taking taylor expansion of c in a 8.420 * [taylor]: Taking taylor expansion of b in a 8.420 * [taylor]: Taking taylor expansion of a in a 8.420 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in a 8.420 * [taylor]: Taking taylor expansion of 0.5 in a 8.420 * [taylor]: Taking taylor expansion of (log c) in a 8.420 * [taylor]: Taking taylor expansion of c in a 8.420 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in t 8.420 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in t 8.420 * [taylor]: Taking taylor expansion of (* x (log y)) in t 8.420 * [taylor]: Taking taylor expansion of x in t 8.420 * [taylor]: Taking taylor expansion of (log y) in t 8.420 * [taylor]: Taking taylor expansion of y in t 8.420 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in t 8.420 * [taylor]: Taking taylor expansion of t in t 8.420 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in t 8.420 * [taylor]: Taking taylor expansion of z in t 8.420 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in t 8.421 * [taylor]: Taking taylor expansion of (* (log c) b) in t 8.421 * [taylor]: Taking taylor expansion of (log c) in t 8.421 * [taylor]: Taking taylor expansion of c in t 8.421 * [taylor]: Taking taylor expansion of b in t 8.421 * [taylor]: Taking taylor expansion of a in t 8.421 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in t 8.421 * [taylor]: Taking taylor expansion of 0.5 in t 8.421 * [taylor]: Taking taylor expansion of (log c) in t 8.421 * [taylor]: Taking taylor expansion of c in t 8.421 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in z 8.421 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in z 8.421 * [taylor]: Taking taylor expansion of (* x (log y)) in z 8.421 * [taylor]: Taking taylor expansion of x in z 8.421 * [taylor]: Taking taylor expansion of (log y) in z 8.421 * [taylor]: Taking taylor expansion of y in z 8.421 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in z 8.421 * [taylor]: Taking taylor expansion of t in z 8.421 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in z 8.421 * [taylor]: Taking taylor expansion of z in z 8.421 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in z 8.421 * [taylor]: Taking taylor expansion of (* (log c) b) in z 8.421 * [taylor]: Taking taylor expansion of (log c) in z 8.421 * [taylor]: Taking taylor expansion of c in z 8.421 * [taylor]: Taking taylor expansion of b in z 8.421 * [taylor]: Taking taylor expansion of a in z 8.421 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in z 8.421 * [taylor]: Taking taylor expansion of 0.5 in z 8.421 * [taylor]: Taking taylor expansion of (log c) in z 8.421 * [taylor]: Taking taylor expansion of c in z 8.421 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in y 8.421 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in y 8.421 * [taylor]: Taking taylor expansion of (* x (log y)) in y 8.421 * [taylor]: Taking taylor expansion of x in y 8.421 * [taylor]: Taking taylor expansion of (log y) in y 8.421 * [taylor]: Taking taylor expansion of y in y 8.421 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in y 8.421 * [taylor]: Taking taylor expansion of t in y 8.421 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in y 8.422 * [taylor]: Taking taylor expansion of z in y 8.422 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in y 8.422 * [taylor]: Taking taylor expansion of (* (log c) b) in y 8.422 * [taylor]: Taking taylor expansion of (log c) in y 8.422 * [taylor]: Taking taylor expansion of c in y 8.422 * [taylor]: Taking taylor expansion of b in y 8.422 * [taylor]: Taking taylor expansion of a in y 8.422 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in y 8.422 * [taylor]: Taking taylor expansion of 0.5 in y 8.422 * [taylor]: Taking taylor expansion of (log c) in y 8.422 * [taylor]: Taking taylor expansion of c in y 8.422 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in x 8.422 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in x 8.422 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.422 * [taylor]: Taking taylor expansion of (log y) in x 8.422 * [taylor]: Taking taylor expansion of y in x 8.422 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in x 8.422 * [taylor]: Taking taylor expansion of t in x 8.422 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in x 8.422 * [taylor]: Taking taylor expansion of z in x 8.422 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in x 8.422 * [taylor]: Taking taylor expansion of (* (log c) b) in x 8.422 * [taylor]: Taking taylor expansion of (log c) in x 8.422 * [taylor]: Taking taylor expansion of c in x 8.422 * [taylor]: Taking taylor expansion of b in x 8.422 * [taylor]: Taking taylor expansion of a in x 8.422 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in x 8.422 * [taylor]: Taking taylor expansion of 0.5 in x 8.422 * [taylor]: Taking taylor expansion of (log c) in x 8.422 * [taylor]: Taking taylor expansion of c in x 8.422 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) (* 0.5 (log c))) in x 8.422 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t (+ z (+ (* (log c) b) a)))) in x 8.422 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.422 * [taylor]: Taking taylor expansion of (log y) in x 8.422 * [taylor]: Taking taylor expansion of y in x 8.422 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in x 8.422 * [taylor]: Taking taylor expansion of t in x 8.422 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in x 8.422 * [taylor]: Taking taylor expansion of z in x 8.422 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in x 8.422 * [taylor]: Taking taylor expansion of (* (log c) b) in x 8.422 * [taylor]: Taking taylor expansion of (log c) in x 8.422 * [taylor]: Taking taylor expansion of c in x 8.422 * [taylor]: Taking taylor expansion of b in x 8.422 * [taylor]: Taking taylor expansion of a in x 8.422 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in x 8.422 * [taylor]: Taking taylor expansion of 0.5 in x 8.422 * [taylor]: Taking taylor expansion of (log c) in x 8.423 * [taylor]: Taking taylor expansion of c in x 8.423 * [taylor]: Taking taylor expansion of (- (+ t (+ z (+ (* (log c) b) a))) (* 0.5 (log c))) in y 8.423 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in y 8.423 * [taylor]: Taking taylor expansion of t in y 8.423 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in y 8.423 * [taylor]: Taking taylor expansion of z in y 8.423 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in y 8.423 * [taylor]: Taking taylor expansion of (* (log c) b) in y 8.423 * [taylor]: Taking taylor expansion of (log c) in y 8.423 * [taylor]: Taking taylor expansion of c in y 8.423 * [taylor]: Taking taylor expansion of b in y 8.423 * [taylor]: Taking taylor expansion of a in y 8.423 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in y 8.423 * [taylor]: Taking taylor expansion of 0.5 in y 8.424 * [taylor]: Taking taylor expansion of (log c) in y 8.424 * [taylor]: Taking taylor expansion of c in y 8.424 * [taylor]: Taking taylor expansion of (- (+ t (+ z (+ (* (log c) b) a))) (* 0.5 (log c))) in z 8.424 * [taylor]: Taking taylor expansion of (+ t (+ z (+ (* (log c) b) a))) in z 8.424 * [taylor]: Taking taylor expansion of t in z 8.424 * [taylor]: Taking taylor expansion of (+ z (+ (* (log c) b) a)) in z 8.424 * [taylor]: Taking taylor expansion of z in z 8.424 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in z 8.424 * [taylor]: Taking taylor expansion of (* (log c) b) in z 8.424 * [taylor]: Taking taylor expansion of (log c) in z 8.424 * [taylor]: Taking taylor expansion of c in z 8.424 * [taylor]: Taking taylor expansion of b in z 8.424 * [taylor]: Taking taylor expansion of a in z 8.424 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in z 8.424 * [taylor]: Taking taylor expansion of 0.5 in z 8.424 * [taylor]: Taking taylor expansion of (log c) in z 8.424 * [taylor]: Taking taylor expansion of c in z 8.425 * [taylor]: Taking taylor expansion of (- (+ t (+ (* (log c) b) a)) (* 0.5 (log c))) in t 8.425 * [taylor]: Taking taylor expansion of (+ t (+ (* (log c) b) a)) in t 8.425 * [taylor]: Taking taylor expansion of t in t 8.425 * [taylor]: Taking taylor expansion of (+ (* (log c) b) a) in t 8.425 * [taylor]: Taking taylor expansion of (* (log c) b) in t 8.425 * [taylor]: Taking taylor expansion of (log c) in t 8.425 * [taylor]: Taking taylor expansion of c in t 8.425 * [taylor]: Taking taylor expansion of b in t 8.425 * [taylor]: Taking taylor expansion of a in t 8.425 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in t 8.425 * [taylor]: Taking taylor expansion of 0.5 in t 8.425 * [taylor]: Taking taylor expansion of (log c) in t 8.425 * [taylor]: Taking taylor expansion of c in t 8.425 * [taylor]: Taking taylor expansion of (- (+ a (* (log c) b)) (* 0.5 (log c))) in a 8.425 * [taylor]: Taking taylor expansion of (+ a (* (log c) b)) in a 8.425 * [taylor]: Taking taylor expansion of a in a 8.425 * [taylor]: Taking taylor expansion of (* (log c) b) in a 8.425 * [taylor]: Taking taylor expansion of (log c) in a 8.425 * [taylor]: Taking taylor expansion of c in a 8.425 * [taylor]: Taking taylor expansion of b in a 8.425 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in a 8.425 * [taylor]: Taking taylor expansion of 0.5 in a 8.425 * [taylor]: Taking taylor expansion of (log c) in a 8.425 * [taylor]: Taking taylor expansion of c in a 8.426 * [taylor]: Taking taylor expansion of (- (* (log c) b) (* 0.5 (log c))) in b 8.426 * [taylor]: Taking taylor expansion of (* (log c) b) in b 8.426 * [taylor]: Taking taylor expansion of (log c) in b 8.426 * [taylor]: Taking taylor expansion of c in b 8.426 * [taylor]: Taking taylor expansion of b in b 8.426 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in b 8.426 * [taylor]: Taking taylor expansion of 0.5 in b 8.426 * [taylor]: Taking taylor expansion of (log c) in b 8.426 * [taylor]: Taking taylor expansion of c in b 8.426 * [taylor]: Taking taylor expansion of (- (* 0.5 (log c))) in c 8.426 * [taylor]: Taking taylor expansion of (* 0.5 (log c)) in c 8.426 * [taylor]: Taking taylor expansion of 0.5 in c 8.426 * [taylor]: Taking taylor expansion of (log c) in c 8.426 * [taylor]: Taking taylor expansion of c in c 8.430 * [taylor]: Taking taylor expansion of (log y) in y 8.430 * [taylor]: Taking taylor expansion of y in y 8.431 * [taylor]: Taking taylor expansion of (log y) in z 8.431 * [taylor]: Taking taylor expansion of y in z 8.431 * [taylor]: Taking taylor expansion of (log y) in t 8.431 * [taylor]: Taking taylor expansion of y in t 8.431 * [taylor]: Taking taylor expansion of (log y) in a 8.431 * [taylor]: Taking taylor expansion of y in a 8.431 * [taylor]: Taking taylor expansion of (log y) in b 8.431 * [taylor]: Taking taylor expansion of y in b 8.431 * [taylor]: Taking taylor expansion of (log y) in c 8.431 * [taylor]: Taking taylor expansion of y in c 8.433 * [taylor]: Taking taylor expansion of 0 in z 8.433 * [taylor]: Taking taylor expansion of 0 in t 8.433 * [taylor]: Taking taylor expansion of 0 in a 8.433 * [taylor]: Taking taylor expansion of 0 in b 8.433 * [taylor]: Taking taylor expansion of 0 in c 8.436 * [taylor]: Taking taylor expansion of 1 in t 8.436 * [taylor]: Taking taylor expansion of 1 in a 8.436 * [taylor]: Taking taylor expansion of 1 in b 8.436 * [taylor]: Taking taylor expansion of 1 in c 8.437 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in (x y z t a b c) around 0 8.437 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in c 8.437 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in c 8.437 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in c 8.437 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in c 8.437 * [taylor]: Taking taylor expansion of (/ 1 y) in c 8.437 * [taylor]: Taking taylor expansion of y in c 8.437 * [taylor]: Taking taylor expansion of x in c 8.437 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in c 8.437 * [taylor]: Taking taylor expansion of (/ 1 z) in c 8.437 * [taylor]: Taking taylor expansion of z in c 8.437 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in c 8.437 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in c 8.437 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.437 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.437 * [taylor]: Taking taylor expansion of c in c 8.438 * [taylor]: Taking taylor expansion of b in c 8.439 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in c 8.439 * [taylor]: Taking taylor expansion of (/ 1 a) in c 8.439 * [taylor]: Taking taylor expansion of a in c 8.439 * [taylor]: Taking taylor expansion of (/ 1 t) in c 8.439 * [taylor]: Taking taylor expansion of t in c 8.441 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in c 8.441 * [taylor]: Taking taylor expansion of 0.5 in c 8.442 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.442 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.442 * [taylor]: Taking taylor expansion of c in c 8.442 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in b 8.442 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in b 8.442 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in b 8.442 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in b 8.442 * [taylor]: Taking taylor expansion of (/ 1 y) in b 8.442 * [taylor]: Taking taylor expansion of y in b 8.442 * [taylor]: Taking taylor expansion of x in b 8.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in b 8.443 * [taylor]: Taking taylor expansion of (/ 1 z) in b 8.443 * [taylor]: Taking taylor expansion of z in b 8.443 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in b 8.443 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in b 8.443 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.443 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.443 * [taylor]: Taking taylor expansion of c in b 8.443 * [taylor]: Taking taylor expansion of b in b 8.443 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in b 8.443 * [taylor]: Taking taylor expansion of (/ 1 a) in b 8.443 * [taylor]: Taking taylor expansion of a in b 8.443 * [taylor]: Taking taylor expansion of (/ 1 t) in b 8.443 * [taylor]: Taking taylor expansion of t in b 8.443 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in b 8.443 * [taylor]: Taking taylor expansion of 0.5 in b 8.443 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.443 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.443 * [taylor]: Taking taylor expansion of c in b 8.443 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in a 8.443 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in a 8.443 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in a 8.443 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in a 8.443 * [taylor]: Taking taylor expansion of (/ 1 y) in a 8.443 * [taylor]: Taking taylor expansion of y in a 8.443 * [taylor]: Taking taylor expansion of x in a 8.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in a 8.443 * [taylor]: Taking taylor expansion of (/ 1 z) in a 8.443 * [taylor]: Taking taylor expansion of z in a 8.443 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in a 8.443 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in a 8.443 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in a 8.443 * [taylor]: Taking taylor expansion of (/ 1 c) in a 8.443 * [taylor]: Taking taylor expansion of c in a 8.443 * [taylor]: Taking taylor expansion of b in a 8.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in a 8.444 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.444 * [taylor]: Taking taylor expansion of a in a 8.444 * [taylor]: Taking taylor expansion of (/ 1 t) in a 8.444 * [taylor]: Taking taylor expansion of t in a 8.444 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in a 8.444 * [taylor]: Taking taylor expansion of 0.5 in a 8.444 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in a 8.444 * [taylor]: Taking taylor expansion of (/ 1 c) in a 8.444 * [taylor]: Taking taylor expansion of c in a 8.444 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in t 8.444 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in t 8.444 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 8.444 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 8.444 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.444 * [taylor]: Taking taylor expansion of y in t 8.444 * [taylor]: Taking taylor expansion of x in t 8.444 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in t 8.444 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.444 * [taylor]: Taking taylor expansion of z in t 8.444 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in t 8.444 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in t 8.444 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in t 8.444 * [taylor]: Taking taylor expansion of (/ 1 c) in t 8.444 * [taylor]: Taking taylor expansion of c in t 8.444 * [taylor]: Taking taylor expansion of b in t 8.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in t 8.445 * [taylor]: Taking taylor expansion of (/ 1 a) in t 8.445 * [taylor]: Taking taylor expansion of a in t 8.445 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.445 * [taylor]: Taking taylor expansion of t in t 8.445 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in t 8.445 * [taylor]: Taking taylor expansion of 0.5 in t 8.445 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in t 8.445 * [taylor]: Taking taylor expansion of (/ 1 c) in t 8.445 * [taylor]: Taking taylor expansion of c in t 8.445 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in z 8.445 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in z 8.445 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 8.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.445 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.445 * [taylor]: Taking taylor expansion of y in z 8.445 * [taylor]: Taking taylor expansion of x in z 8.445 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in z 8.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.445 * [taylor]: Taking taylor expansion of z in z 8.446 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in z 8.446 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in z 8.446 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in z 8.446 * [taylor]: Taking taylor expansion of (/ 1 c) in z 8.446 * [taylor]: Taking taylor expansion of c in z 8.446 * [taylor]: Taking taylor expansion of b in z 8.446 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in z 8.446 * [taylor]: Taking taylor expansion of (/ 1 a) in z 8.446 * [taylor]: Taking taylor expansion of a in z 8.446 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.446 * [taylor]: Taking taylor expansion of t in z 8.446 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in z 8.446 * [taylor]: Taking taylor expansion of 0.5 in z 8.446 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in z 8.446 * [taylor]: Taking taylor expansion of (/ 1 c) in z 8.446 * [taylor]: Taking taylor expansion of c in z 8.446 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in y 8.446 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in y 8.446 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 8.446 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.446 * [taylor]: Taking taylor expansion of y in y 8.447 * [taylor]: Taking taylor expansion of x in y 8.447 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in y 8.447 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.447 * [taylor]: Taking taylor expansion of z in y 8.447 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in y 8.447 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in y 8.447 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in y 8.447 * [taylor]: Taking taylor expansion of (/ 1 c) in y 8.447 * [taylor]: Taking taylor expansion of c in y 8.448 * [taylor]: Taking taylor expansion of b in y 8.448 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in y 8.448 * [taylor]: Taking taylor expansion of (/ 1 a) in y 8.448 * [taylor]: Taking taylor expansion of a in y 8.448 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.448 * [taylor]: Taking taylor expansion of t in y 8.448 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in y 8.448 * [taylor]: Taking taylor expansion of 0.5 in y 8.448 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in y 8.448 * [taylor]: Taking taylor expansion of (/ 1 c) in y 8.448 * [taylor]: Taking taylor expansion of c in y 8.448 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in x 8.448 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in x 8.448 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.448 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.448 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.448 * [taylor]: Taking taylor expansion of y in x 8.448 * [taylor]: Taking taylor expansion of x in x 8.448 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in x 8.448 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.448 * [taylor]: Taking taylor expansion of z in x 8.448 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in x 8.448 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in x 8.448 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in x 8.448 * [taylor]: Taking taylor expansion of (/ 1 c) in x 8.448 * [taylor]: Taking taylor expansion of c in x 8.448 * [taylor]: Taking taylor expansion of b in x 8.448 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in x 8.448 * [taylor]: Taking taylor expansion of (/ 1 a) in x 8.448 * [taylor]: Taking taylor expansion of a in x 8.448 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.448 * [taylor]: Taking taylor expansion of t in x 8.448 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in x 8.448 * [taylor]: Taking taylor expansion of 0.5 in x 8.448 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 c) in x 8.449 * [taylor]: Taking taylor expansion of c in x 8.449 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) (* 0.5 (log (/ 1 c)))) in x 8.449 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))))) in x 8.449 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.449 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.449 * [taylor]: Taking taylor expansion of y in x 8.449 * [taylor]: Taking taylor expansion of x in x 8.449 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t)))) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.449 * [taylor]: Taking taylor expansion of z in x 8.449 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in x 8.449 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in x 8.449 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 c) in x 8.449 * [taylor]: Taking taylor expansion of c in x 8.449 * [taylor]: Taking taylor expansion of b in x 8.449 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 a) in x 8.449 * [taylor]: Taking taylor expansion of a in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.449 * [taylor]: Taking taylor expansion of t in x 8.449 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in x 8.449 * [taylor]: Taking taylor expansion of 0.5 in x 8.449 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in x 8.449 * [taylor]: Taking taylor expansion of (/ 1 c) in x 8.449 * [taylor]: Taking taylor expansion of c in x 8.449 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.450 * [taylor]: Taking taylor expansion of y in y 8.450 * [taylor]: Taking taylor expansion of (- (log y)) in z 8.450 * [taylor]: Taking taylor expansion of (log y) in z 8.450 * [taylor]: Taking taylor expansion of y in z 8.453 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 t) (+ (/ 1 a) (/ (log (/ 1 c)) b)))) (* 0.5 (log (/ 1 c)))) in y 8.453 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 t) (+ (/ 1 a) (/ (log (/ 1 c)) b)))) in y 8.453 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.453 * [taylor]: Taking taylor expansion of z in y 8.453 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 a) (/ (log (/ 1 c)) b))) in y 8.453 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.453 * [taylor]: Taking taylor expansion of t in y 8.453 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ (log (/ 1 c)) b)) in y 8.453 * [taylor]: Taking taylor expansion of (/ 1 a) in y 8.453 * [taylor]: Taking taylor expansion of a in y 8.453 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in y 8.453 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in y 8.453 * [taylor]: Taking taylor expansion of (/ 1 c) in y 8.453 * [taylor]: Taking taylor expansion of c in y 8.453 * [taylor]: Taking taylor expansion of b in y 8.453 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in y 8.453 * [taylor]: Taking taylor expansion of 0.5 in y 8.453 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in y 8.453 * [taylor]: Taking taylor expansion of (/ 1 c) in y 8.453 * [taylor]: Taking taylor expansion of c in y 8.454 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 c)) b) (+ (/ 1 z) (+ (/ 1 a) (/ 1 t)))) (* 0.5 (log (/ 1 c)))) in z 8.454 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 z) (+ (/ 1 a) (/ 1 t)))) in z 8.454 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in z 8.454 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in z 8.454 * [taylor]: Taking taylor expansion of (/ 1 c) in z 8.454 * [taylor]: Taking taylor expansion of c in z 8.454 * [taylor]: Taking taylor expansion of b in z 8.454 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 a) (/ 1 t))) in z 8.454 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.455 * [taylor]: Taking taylor expansion of z in z 8.455 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in z 8.455 * [taylor]: Taking taylor expansion of (/ 1 a) in z 8.455 * [taylor]: Taking taylor expansion of a in z 8.455 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.455 * [taylor]: Taking taylor expansion of t in z 8.455 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in z 8.455 * [taylor]: Taking taylor expansion of 0.5 in z 8.455 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in z 8.455 * [taylor]: Taking taylor expansion of (/ 1 c) in z 8.455 * [taylor]: Taking taylor expansion of c in z 8.456 * [taylor]: Taking taylor expansion of 1 in t 8.457 * [taylor]: Taking taylor expansion of 0 in z 8.457 * [taylor]: Taking taylor expansion of (- (log y)) in t 8.457 * [taylor]: Taking taylor expansion of (log y) in t 8.457 * [taylor]: Taking taylor expansion of y in t 8.463 * [taylor]: Taking taylor expansion of 0 in y 8.463 * [taylor]: Taking taylor expansion of 0 in z 8.466 * [taylor]: Taking taylor expansion of 0 in z 8.468 * [taylor]: Taking taylor expansion of 0 in z 8.469 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) (* 0.5 (log (/ 1 c)))) in t 8.469 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (+ (/ 1 a) (/ 1 t))) in t 8.469 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in t 8.469 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in t 8.469 * [taylor]: Taking taylor expansion of (/ 1 c) in t 8.469 * [taylor]: Taking taylor expansion of c in t 8.469 * [taylor]: Taking taylor expansion of b in t 8.469 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 t)) in t 8.469 * [taylor]: Taking taylor expansion of (/ 1 a) in t 8.469 * [taylor]: Taking taylor expansion of a in t 8.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.469 * [taylor]: Taking taylor expansion of t in t 8.469 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in t 8.469 * [taylor]: Taking taylor expansion of 0.5 in t 8.469 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in t 8.469 * [taylor]: Taking taylor expansion of (/ 1 c) in t 8.469 * [taylor]: Taking taylor expansion of c in t 8.470 * [taylor]: Taking taylor expansion of 1 in a 8.470 * [taylor]: Taking taylor expansion of 0 in t 8.471 * [taylor]: Taking taylor expansion of 0 in t 8.471 * [taylor]: Taking taylor expansion of 1 in a 8.471 * [taylor]: Taking taylor expansion of (- (log y)) in a 8.471 * [taylor]: Taking taylor expansion of (log y) in a 8.471 * [taylor]: Taking taylor expansion of y in a 8.479 * [taylor]: Taking taylor expansion of 0 in y 8.479 * [taylor]: Taking taylor expansion of 0 in z 8.479 * [taylor]: Taking taylor expansion of 0 in z 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.487 * [taylor]: Taking taylor expansion of 0 in z 8.487 * [taylor]: Taking taylor expansion of 0 in t 8.487 * [taylor]: Taking taylor expansion of 0 in t 8.487 * [taylor]: Taking taylor expansion of 0 in t 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.491 * [taylor]: Taking taylor expansion of 0 in t 8.492 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 c)) b) (/ 1 a)) (* 0.5 (log (/ 1 c)))) in a 8.492 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 c)) b) (/ 1 a)) in a 8.492 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in a 8.492 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in a 8.492 * [taylor]: Taking taylor expansion of (/ 1 c) in a 8.492 * [taylor]: Taking taylor expansion of c in a 8.493 * [taylor]: Taking taylor expansion of b in a 8.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.493 * [taylor]: Taking taylor expansion of a in a 8.493 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in a 8.493 * [taylor]: Taking taylor expansion of 0.5 in a 8.493 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in a 8.493 * [taylor]: Taking taylor expansion of (/ 1 c) in a 8.493 * [taylor]: Taking taylor expansion of c in a 8.494 * [taylor]: Taking taylor expansion of 1 in b 8.494 * [taylor]: Taking taylor expansion of 0 in a 8.494 * [taylor]: Taking taylor expansion of 0 in a 8.494 * [taylor]: Taking taylor expansion of 0 in a 8.494 * [taylor]: Taking taylor expansion of 0 in a 8.495 * [taylor]: Taking taylor expansion of 1 in b 8.495 * [taylor]: Taking taylor expansion of 1 in b 8.495 * [taylor]: Taking taylor expansion of (- (log y)) in b 8.495 * [taylor]: Taking taylor expansion of (log y) in b 8.495 * [taylor]: Taking taylor expansion of y in b 8.506 * [taylor]: Taking taylor expansion of 0 in y 8.506 * [taylor]: Taking taylor expansion of 0 in z 8.506 * [taylor]: Taking taylor expansion of 0 in z 8.506 * [taylor]: Taking taylor expansion of 0 in z 8.512 * [taylor]: Taking taylor expansion of 0 in z 8.518 * [taylor]: Taking taylor expansion of 0 in z 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.525 * [taylor]: Taking taylor expansion of 0 in t 8.525 * [taylor]: Taking taylor expansion of 0 in a 8.525 * [taylor]: Taking taylor expansion of 0 in a 8.525 * [taylor]: Taking taylor expansion of 0 in a 8.525 * [taylor]: Taking taylor expansion of 0 in a 8.526 * [taylor]: Taking taylor expansion of 0 in a 8.526 * [taylor]: Taking taylor expansion of 0 in a 8.528 * [taylor]: Taking taylor expansion of 0 in a 8.529 * [taylor]: Taking taylor expansion of 0 in a 8.529 * [taylor]: Taking taylor expansion of 0 in a 8.529 * [taylor]: Taking taylor expansion of 0 in a 8.533 * [taylor]: Taking taylor expansion of 0 in a 8.534 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 c)) b) (* 0.5 (log (/ 1 c)))) in b 8.534 * [taylor]: Taking taylor expansion of (/ (log (/ 1 c)) b) in b 8.534 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.534 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.534 * [taylor]: Taking taylor expansion of c in b 8.534 * [taylor]: Taking taylor expansion of b in b 8.534 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in b 8.535 * [taylor]: Taking taylor expansion of 0.5 in b 8.535 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 8.535 * [taylor]: Taking taylor expansion of (/ 1 c) in b 8.535 * [taylor]: Taking taylor expansion of c in b 8.535 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 8.535 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.535 * [taylor]: Taking taylor expansion of c in c 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.536 * [taylor]: Taking taylor expansion of 0 in b 8.537 * [taylor]: Taking taylor expansion of 0 in b 8.537 * [taylor]: Taking taylor expansion of 1 in c 8.537 * [taylor]: Taking taylor expansion of 1 in c 8.539 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in (x y z t a b c) around 0 8.539 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in c 8.539 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in c 8.539 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in c 8.539 * [taylor]: Taking taylor expansion of 0.5 in c 8.539 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.539 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.539 * [taylor]: Taking taylor expansion of -1 in c 8.539 * [taylor]: Taking taylor expansion of c in c 8.539 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in c 8.539 * [taylor]: Taking taylor expansion of (/ 1 z) in c 8.539 * [taylor]: Taking taylor expansion of z in c 8.540 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in c 8.540 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in c 8.540 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in c 8.540 * [taylor]: Taking taylor expansion of (/ -1 y) in c 8.540 * [taylor]: Taking taylor expansion of -1 in c 8.540 * [taylor]: Taking taylor expansion of y in c 8.540 * [taylor]: Taking taylor expansion of x in c 8.540 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in c 8.540 * [taylor]: Taking taylor expansion of (/ 1 a) in c 8.540 * [taylor]: Taking taylor expansion of a in c 8.540 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in c 8.540 * [taylor]: Taking taylor expansion of (/ 1 t) in c 8.540 * [taylor]: Taking taylor expansion of t in c 8.540 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in c 8.540 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.540 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.540 * [taylor]: Taking taylor expansion of -1 in c 8.540 * [taylor]: Taking taylor expansion of c in c 8.541 * [taylor]: Taking taylor expansion of b in c 8.542 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in b 8.542 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in b 8.542 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in b 8.542 * [taylor]: Taking taylor expansion of 0.5 in b 8.542 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.542 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.542 * [taylor]: Taking taylor expansion of -1 in b 8.542 * [taylor]: Taking taylor expansion of c in b 8.542 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in b 8.542 * [taylor]: Taking taylor expansion of (/ 1 z) in b 8.542 * [taylor]: Taking taylor expansion of z in b 8.542 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in b 8.542 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in b 8.542 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in b 8.543 * [taylor]: Taking taylor expansion of (/ -1 y) in b 8.543 * [taylor]: Taking taylor expansion of -1 in b 8.543 * [taylor]: Taking taylor expansion of y in b 8.543 * [taylor]: Taking taylor expansion of x in b 8.543 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in b 8.543 * [taylor]: Taking taylor expansion of (/ 1 a) in b 8.543 * [taylor]: Taking taylor expansion of a in b 8.543 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in b 8.543 * [taylor]: Taking taylor expansion of (/ 1 t) in b 8.543 * [taylor]: Taking taylor expansion of t in b 8.543 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in b 8.543 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.543 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.543 * [taylor]: Taking taylor expansion of -1 in b 8.543 * [taylor]: Taking taylor expansion of c in b 8.543 * [taylor]: Taking taylor expansion of b in b 8.543 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in a 8.543 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in a 8.543 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in a 8.543 * [taylor]: Taking taylor expansion of 0.5 in a 8.543 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in a 8.543 * [taylor]: Taking taylor expansion of (/ -1 c) in a 8.543 * [taylor]: Taking taylor expansion of -1 in a 8.543 * [taylor]: Taking taylor expansion of c in a 8.543 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in a 8.543 * [taylor]: Taking taylor expansion of (/ 1 z) in a 8.543 * [taylor]: Taking taylor expansion of z in a 8.543 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in a 8.543 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in a 8.543 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in a 8.543 * [taylor]: Taking taylor expansion of (/ -1 y) in a 8.543 * [taylor]: Taking taylor expansion of -1 in a 8.543 * [taylor]: Taking taylor expansion of y in a 8.543 * [taylor]: Taking taylor expansion of x in a 8.543 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in a 8.543 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.544 * [taylor]: Taking taylor expansion of a in a 8.544 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in a 8.544 * [taylor]: Taking taylor expansion of (/ 1 t) in a 8.544 * [taylor]: Taking taylor expansion of t in a 8.544 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in a 8.544 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in a 8.544 * [taylor]: Taking taylor expansion of (/ -1 c) in a 8.544 * [taylor]: Taking taylor expansion of -1 in a 8.544 * [taylor]: Taking taylor expansion of c in a 8.544 * [taylor]: Taking taylor expansion of b in a 8.544 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in t 8.544 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in t 8.544 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in t 8.544 * [taylor]: Taking taylor expansion of 0.5 in t 8.544 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in t 8.544 * [taylor]: Taking taylor expansion of (/ -1 c) in t 8.544 * [taylor]: Taking taylor expansion of -1 in t 8.544 * [taylor]: Taking taylor expansion of c in t 8.544 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in t 8.544 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.544 * [taylor]: Taking taylor expansion of z in t 8.544 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in t 8.544 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 8.544 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 8.544 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.544 * [taylor]: Taking taylor expansion of -1 in t 8.544 * [taylor]: Taking taylor expansion of y in t 8.544 * [taylor]: Taking taylor expansion of x in t 8.545 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in t 8.545 * [taylor]: Taking taylor expansion of (/ 1 a) in t 8.545 * [taylor]: Taking taylor expansion of a in t 8.545 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in t 8.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.545 * [taylor]: Taking taylor expansion of t in t 8.545 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in t 8.545 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in t 8.545 * [taylor]: Taking taylor expansion of (/ -1 c) in t 8.545 * [taylor]: Taking taylor expansion of -1 in t 8.545 * [taylor]: Taking taylor expansion of c in t 8.545 * [taylor]: Taking taylor expansion of b in t 8.545 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in z 8.545 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in z 8.545 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in z 8.545 * [taylor]: Taking taylor expansion of 0.5 in z 8.545 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in z 8.545 * [taylor]: Taking taylor expansion of (/ -1 c) in z 8.545 * [taylor]: Taking taylor expansion of -1 in z 8.545 * [taylor]: Taking taylor expansion of c in z 8.545 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in z 8.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.545 * [taylor]: Taking taylor expansion of z in z 8.546 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in z 8.546 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 8.546 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.546 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.546 * [taylor]: Taking taylor expansion of -1 in z 8.546 * [taylor]: Taking taylor expansion of y in z 8.546 * [taylor]: Taking taylor expansion of x in z 8.546 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in z 8.546 * [taylor]: Taking taylor expansion of (/ 1 a) in z 8.546 * [taylor]: Taking taylor expansion of a in z 8.546 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in z 8.546 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.546 * [taylor]: Taking taylor expansion of t in z 8.546 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in z 8.546 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in z 8.546 * [taylor]: Taking taylor expansion of (/ -1 c) in z 8.546 * [taylor]: Taking taylor expansion of -1 in z 8.546 * [taylor]: Taking taylor expansion of c in z 8.546 * [taylor]: Taking taylor expansion of b in z 8.546 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in y 8.546 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in y 8.546 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in y 8.546 * [taylor]: Taking taylor expansion of 0.5 in y 8.546 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in y 8.546 * [taylor]: Taking taylor expansion of (/ -1 c) in y 8.546 * [taylor]: Taking taylor expansion of -1 in y 8.546 * [taylor]: Taking taylor expansion of c in y 8.546 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in y 8.546 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.546 * [taylor]: Taking taylor expansion of z in y 8.546 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in y 8.546 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 8.546 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.547 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.547 * [taylor]: Taking taylor expansion of -1 in y 8.547 * [taylor]: Taking taylor expansion of y in y 8.547 * [taylor]: Taking taylor expansion of x in y 8.548 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in y 8.548 * [taylor]: Taking taylor expansion of (/ 1 a) in y 8.548 * [taylor]: Taking taylor expansion of a in y 8.549 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in y 8.549 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.549 * [taylor]: Taking taylor expansion of t in y 8.549 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in y 8.549 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in y 8.549 * [taylor]: Taking taylor expansion of (/ -1 c) in y 8.549 * [taylor]: Taking taylor expansion of -1 in y 8.549 * [taylor]: Taking taylor expansion of c in y 8.549 * [taylor]: Taking taylor expansion of b in y 8.549 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in x 8.549 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in x 8.549 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in x 8.549 * [taylor]: Taking taylor expansion of 0.5 in x 8.549 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in x 8.549 * [taylor]: Taking taylor expansion of (/ -1 c) in x 8.549 * [taylor]: Taking taylor expansion of -1 in x 8.549 * [taylor]: Taking taylor expansion of c in x 8.549 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in x 8.549 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.549 * [taylor]: Taking taylor expansion of z in x 8.549 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in x 8.549 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.549 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.549 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.549 * [taylor]: Taking taylor expansion of -1 in x 8.549 * [taylor]: Taking taylor expansion of y in x 8.549 * [taylor]: Taking taylor expansion of x in x 8.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in x 8.549 * [taylor]: Taking taylor expansion of (/ 1 a) in x 8.549 * [taylor]: Taking taylor expansion of a in x 8.549 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in x 8.549 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.549 * [taylor]: Taking taylor expansion of t in x 8.549 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in x 8.549 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in x 8.549 * [taylor]: Taking taylor expansion of (/ -1 c) in x 8.549 * [taylor]: Taking taylor expansion of -1 in x 8.549 * [taylor]: Taking taylor expansion of c in x 8.550 * [taylor]: Taking taylor expansion of b in x 8.550 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))))) in x 8.550 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in x 8.550 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in x 8.550 * [taylor]: Taking taylor expansion of 0.5 in x 8.550 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in x 8.550 * [taylor]: Taking taylor expansion of (/ -1 c) in x 8.550 * [taylor]: Taking taylor expansion of -1 in x 8.550 * [taylor]: Taking taylor expansion of c in x 8.550 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in x 8.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.550 * [taylor]: Taking taylor expansion of z in x 8.550 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in x 8.550 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.550 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.550 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.550 * [taylor]: Taking taylor expansion of -1 in x 8.550 * [taylor]: Taking taylor expansion of y in x 8.550 * [taylor]: Taking taylor expansion of x in x 8.550 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in x 8.550 * [taylor]: Taking taylor expansion of (/ 1 a) in x 8.550 * [taylor]: Taking taylor expansion of a in x 8.550 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in x 8.550 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.550 * [taylor]: Taking taylor expansion of t in x 8.550 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in x 8.550 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in x 8.550 * [taylor]: Taking taylor expansion of (/ -1 c) in x 8.550 * [taylor]: Taking taylor expansion of -1 in x 8.550 * [taylor]: Taking taylor expansion of c in x 8.550 * [taylor]: Taking taylor expansion of b in x 8.551 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 8.551 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.551 * [taylor]: Taking taylor expansion of -1 in y 8.551 * [taylor]: Taking taylor expansion of y in y 8.552 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 8.552 * [taylor]: Taking taylor expansion of (log y) in z 8.552 * [taylor]: Taking taylor expansion of y in z 8.552 * [taylor]: Taking taylor expansion of (log -1) in z 8.552 * [taylor]: Taking taylor expansion of -1 in z 8.555 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in y 8.555 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in y 8.555 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in y 8.555 * [taylor]: Taking taylor expansion of 0.5 in y 8.555 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in y 8.555 * [taylor]: Taking taylor expansion of (/ -1 c) in y 8.555 * [taylor]: Taking taylor expansion of -1 in y 8.555 * [taylor]: Taking taylor expansion of c in y 8.555 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.555 * [taylor]: Taking taylor expansion of z in y 8.555 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 a) in y 8.555 * [taylor]: Taking taylor expansion of a in y 8.555 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.555 * [taylor]: Taking taylor expansion of t in y 8.555 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in y 8.555 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in y 8.555 * [taylor]: Taking taylor expansion of (/ -1 c) in y 8.555 * [taylor]: Taking taylor expansion of -1 in y 8.555 * [taylor]: Taking taylor expansion of c in y 8.555 * [taylor]: Taking taylor expansion of b in y 8.556 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))))) in z 8.556 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in z 8.556 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in z 8.556 * [taylor]: Taking taylor expansion of 0.5 in z 8.556 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in z 8.556 * [taylor]: Taking taylor expansion of (/ -1 c) in z 8.556 * [taylor]: Taking taylor expansion of -1 in z 8.556 * [taylor]: Taking taylor expansion of c in z 8.556 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in z 8.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.556 * [taylor]: Taking taylor expansion of z in z 8.557 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in z 8.557 * [taylor]: Taking taylor expansion of (/ 1 a) in z 8.557 * [taylor]: Taking taylor expansion of a in z 8.557 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in z 8.557 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.557 * [taylor]: Taking taylor expansion of t in z 8.557 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in z 8.557 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in z 8.557 * [taylor]: Taking taylor expansion of (/ -1 c) in z 8.557 * [taylor]: Taking taylor expansion of -1 in z 8.557 * [taylor]: Taking taylor expansion of c in z 8.557 * [taylor]: Taking taylor expansion of b in z 8.558 * [taylor]: Taking taylor expansion of -1 in t 8.560 * [taylor]: Taking taylor expansion of 0 in z 8.561 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 8.561 * [taylor]: Taking taylor expansion of (log y) in t 8.561 * [taylor]: Taking taylor expansion of y in t 8.561 * [taylor]: Taking taylor expansion of (log -1) in t 8.561 * [taylor]: Taking taylor expansion of -1 in t 8.567 * [taylor]: Taking taylor expansion of 0 in y 8.567 * [taylor]: Taking taylor expansion of 0 in z 8.570 * [taylor]: Taking taylor expansion of 0 in z 8.572 * [taylor]: Taking taylor expansion of 0 in z 8.573 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))))) in t 8.573 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b)))) in t 8.573 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in t 8.573 * [taylor]: Taking taylor expansion of 0.5 in t 8.573 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in t 8.573 * [taylor]: Taking taylor expansion of (/ -1 c) in t 8.573 * [taylor]: Taking taylor expansion of -1 in t 8.573 * [taylor]: Taking taylor expansion of c in t 8.573 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 t) (/ (log (/ -1 c)) b))) in t 8.573 * [taylor]: Taking taylor expansion of (/ 1 a) in t 8.573 * [taylor]: Taking taylor expansion of a in t 8.573 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ (log (/ -1 c)) b)) in t 8.573 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.573 * [taylor]: Taking taylor expansion of t in t 8.574 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in t 8.574 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in t 8.574 * [taylor]: Taking taylor expansion of (/ -1 c) in t 8.574 * [taylor]: Taking taylor expansion of -1 in t 8.574 * [taylor]: Taking taylor expansion of c in t 8.574 * [taylor]: Taking taylor expansion of b in t 8.575 * [taylor]: Taking taylor expansion of -1 in a 8.575 * [taylor]: Taking taylor expansion of 0 in t 8.577 * [taylor]: Taking taylor expansion of 0 in t 8.577 * [taylor]: Taking taylor expansion of -1 in a 8.578 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in a 8.578 * [taylor]: Taking taylor expansion of (log y) in a 8.578 * [taylor]: Taking taylor expansion of y in a 8.578 * [taylor]: Taking taylor expansion of (log -1) in a 8.578 * [taylor]: Taking taylor expansion of -1 in a 8.586 * [taylor]: Taking taylor expansion of 0 in y 8.586 * [taylor]: Taking taylor expansion of 0 in z 8.586 * [taylor]: Taking taylor expansion of 0 in z 8.591 * [taylor]: Taking taylor expansion of 0 in z 8.594 * [taylor]: Taking taylor expansion of 0 in z 8.594 * [taylor]: Taking taylor expansion of 0 in t 8.594 * [taylor]: Taking taylor expansion of 0 in t 8.594 * [taylor]: Taking taylor expansion of 0 in t 8.597 * [taylor]: Taking taylor expansion of 0 in t 8.597 * [taylor]: Taking taylor expansion of 0 in t 8.600 * [taylor]: Taking taylor expansion of 0 in t 8.601 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 a) (/ (log (/ -1 c)) b)))) in a 8.601 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (+ (/ 1 a) (/ (log (/ -1 c)) b))) in a 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in a 8.601 * [taylor]: Taking taylor expansion of 0.5 in a 8.601 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in a 8.601 * [taylor]: Taking taylor expansion of (/ -1 c) in a 8.601 * [taylor]: Taking taylor expansion of -1 in a 8.601 * [taylor]: Taking taylor expansion of c in a 8.602 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ (log (/ -1 c)) b)) in a 8.602 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.602 * [taylor]: Taking taylor expansion of a in a 8.602 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in a 8.602 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in a 8.602 * [taylor]: Taking taylor expansion of (/ -1 c) in a 8.602 * [taylor]: Taking taylor expansion of -1 in a 8.602 * [taylor]: Taking taylor expansion of c in a 8.602 * [taylor]: Taking taylor expansion of b in a 8.603 * [taylor]: Taking taylor expansion of -1 in b 8.603 * [taylor]: Taking taylor expansion of 0 in a 8.603 * [taylor]: Taking taylor expansion of 0 in a 8.603 * [taylor]: Taking taylor expansion of 0 in a 8.605 * [taylor]: Taking taylor expansion of 0 in a 8.605 * [taylor]: Taking taylor expansion of -1 in b 8.605 * [taylor]: Taking taylor expansion of -1 in b 8.606 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in b 8.606 * [taylor]: Taking taylor expansion of (log y) in b 8.606 * [taylor]: Taking taylor expansion of y in b 8.606 * [taylor]: Taking taylor expansion of (log -1) in b 8.606 * [taylor]: Taking taylor expansion of -1 in b 8.617 * [taylor]: Taking taylor expansion of 0 in y 8.617 * [taylor]: Taking taylor expansion of 0 in z 8.617 * [taylor]: Taking taylor expansion of 0 in z 8.617 * [taylor]: Taking taylor expansion of 0 in z 8.627 * [taylor]: Taking taylor expansion of 0 in z 8.633 * [taylor]: Taking taylor expansion of 0 in z 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.634 * [taylor]: Taking taylor expansion of 0 in t 8.639 * [taylor]: Taking taylor expansion of 0 in t 8.639 * [taylor]: Taking taylor expansion of 0 in t 8.644 * [taylor]: Taking taylor expansion of 0 in t 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.644 * [taylor]: Taking taylor expansion of 0 in a 8.647 * [taylor]: Taking taylor expansion of 0 in a 8.647 * [taylor]: Taking taylor expansion of 0 in a 8.647 * [taylor]: Taking taylor expansion of 0 in a 8.647 * [taylor]: Taking taylor expansion of 0 in a 8.650 * [taylor]: Taking taylor expansion of 0 in a 8.651 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log (/ -1 c))) (/ (log (/ -1 c)) b))) in b 8.651 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 c))) (/ (log (/ -1 c)) b)) in b 8.651 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in b 8.651 * [taylor]: Taking taylor expansion of 0.5 in b 8.651 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.651 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.651 * [taylor]: Taking taylor expansion of -1 in b 8.651 * [taylor]: Taking taylor expansion of c in b 8.651 * [taylor]: Taking taylor expansion of (/ (log (/ -1 c)) b) in b 8.651 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 8.651 * [taylor]: Taking taylor expansion of (/ -1 c) in b 8.651 * [taylor]: Taking taylor expansion of -1 in b 8.651 * [taylor]: Taking taylor expansion of c in b 8.651 * [taylor]: Taking taylor expansion of b in b 8.652 * [taylor]: Taking taylor expansion of (- (log (/ -1 c))) in c 8.652 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 8.652 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.652 * [taylor]: Taking taylor expansion of -1 in c 8.652 * [taylor]: Taking taylor expansion of c in c 8.653 * [taylor]: Taking taylor expansion of 0 in b 8.653 * [taylor]: Taking taylor expansion of 0 in b 8.653 * [taylor]: Taking taylor expansion of 0 in b 8.653 * [taylor]: Taking taylor expansion of 0 in b 8.653 * [taylor]: Taking taylor expansion of 0 in b 8.654 * [taylor]: Taking taylor expansion of 0 in b 8.655 * [taylor]: Taking taylor expansion of 0 in b 8.655 * [taylor]: Taking taylor expansion of -1 in c 8.655 * [taylor]: Taking taylor expansion of -1 in c 8.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 8.657 * [approximate]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in (x y z t) around 0 8.657 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in t 8.657 * [taylor]: Taking taylor expansion of (* x (log y)) in t 8.657 * [taylor]: Taking taylor expansion of x in t 8.657 * [taylor]: Taking taylor expansion of (log y) in t 8.657 * [taylor]: Taking taylor expansion of y in t 8.657 * [taylor]: Taking taylor expansion of (+ t z) in t 8.657 * [taylor]: Taking taylor expansion of t in t 8.657 * [taylor]: Taking taylor expansion of z in t 8.658 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in z 8.658 * [taylor]: Taking taylor expansion of (* x (log y)) in z 8.658 * [taylor]: Taking taylor expansion of x in z 8.658 * [taylor]: Taking taylor expansion of (log y) in z 8.658 * [taylor]: Taking taylor expansion of y in z 8.658 * [taylor]: Taking taylor expansion of (+ t z) in z 8.658 * [taylor]: Taking taylor expansion of t in z 8.658 * [taylor]: Taking taylor expansion of z in z 8.658 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in y 8.658 * [taylor]: Taking taylor expansion of (* x (log y)) in y 8.658 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of (log y) in y 8.658 * [taylor]: Taking taylor expansion of y in y 8.658 * [taylor]: Taking taylor expansion of (+ t z) in y 8.658 * [taylor]: Taking taylor expansion of t in y 8.658 * [taylor]: Taking taylor expansion of z in y 8.658 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in x 8.658 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.658 * [taylor]: Taking taylor expansion of x in x 8.658 * [taylor]: Taking taylor expansion of (log y) in x 8.658 * [taylor]: Taking taylor expansion of y in x 8.658 * [taylor]: Taking taylor expansion of (+ t z) in x 8.658 * [taylor]: Taking taylor expansion of t in x 8.658 * [taylor]: Taking taylor expansion of z in x 8.658 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in x 8.658 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.658 * [taylor]: Taking taylor expansion of x in x 8.658 * [taylor]: Taking taylor expansion of (log y) in x 8.658 * [taylor]: Taking taylor expansion of y in x 8.658 * [taylor]: Taking taylor expansion of (+ t z) in x 8.658 * [taylor]: Taking taylor expansion of t in x 8.658 * [taylor]: Taking taylor expansion of z in x 8.658 * [taylor]: Taking taylor expansion of (+ t z) in y 8.658 * [taylor]: Taking taylor expansion of t in y 8.659 * [taylor]: Taking taylor expansion of z in y 8.659 * [taylor]: Taking taylor expansion of (+ t z) in z 8.659 * [taylor]: Taking taylor expansion of t in z 8.659 * [taylor]: Taking taylor expansion of z in z 8.659 * [taylor]: Taking taylor expansion of t in t 8.660 * [taylor]: Taking taylor expansion of (log y) in y 8.660 * [taylor]: Taking taylor expansion of y in y 8.660 * [taylor]: Taking taylor expansion of (log y) in z 8.661 * [taylor]: Taking taylor expansion of y in z 8.661 * [taylor]: Taking taylor expansion of (log y) in t 8.661 * [taylor]: Taking taylor expansion of y in t 8.661 * [taylor]: Taking taylor expansion of 0 in z 8.661 * [taylor]: Taking taylor expansion of 0 in t 8.661 * [taylor]: Taking taylor expansion of 1 in t 8.662 * [approximate]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in (x y z t) around 0 8.662 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in t 8.662 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 8.662 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 8.662 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.662 * [taylor]: Taking taylor expansion of y in t 8.662 * [taylor]: Taking taylor expansion of x in t 8.662 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t 8.662 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.662 * [taylor]: Taking taylor expansion of z in t 8.662 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.662 * [taylor]: Taking taylor expansion of t in t 8.663 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in z 8.663 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 8.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.663 * [taylor]: Taking taylor expansion of y in z 8.663 * [taylor]: Taking taylor expansion of x in z 8.663 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z 8.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.663 * [taylor]: Taking taylor expansion of z in z 8.663 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.663 * [taylor]: Taking taylor expansion of t in z 8.663 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in y 8.663 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 8.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.663 * [taylor]: Taking taylor expansion of y in y 8.664 * [taylor]: Taking taylor expansion of x in y 8.664 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y 8.664 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.664 * [taylor]: Taking taylor expansion of z in y 8.664 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.664 * [taylor]: Taking taylor expansion of t in y 8.664 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in x 8.665 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.665 * [taylor]: Taking taylor expansion of y in x 8.665 * [taylor]: Taking taylor expansion of x in x 8.665 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.665 * [taylor]: Taking taylor expansion of z in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.665 * [taylor]: Taking taylor expansion of t in x 8.665 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in x 8.665 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.665 * [taylor]: Taking taylor expansion of y in x 8.665 * [taylor]: Taking taylor expansion of x in x 8.665 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.665 * [taylor]: Taking taylor expansion of z in x 8.665 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.665 * [taylor]: Taking taylor expansion of t in x 8.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.665 * [taylor]: Taking taylor expansion of y in y 8.666 * [taylor]: Taking taylor expansion of (- (log y)) in z 8.666 * [taylor]: Taking taylor expansion of (log y) in z 8.666 * [taylor]: Taking taylor expansion of y in z 8.667 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.667 * [taylor]: Taking taylor expansion of z in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.667 * [taylor]: Taking taylor expansion of t in y 8.668 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z 8.668 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.668 * [taylor]: Taking taylor expansion of z in z 8.668 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.668 * [taylor]: Taking taylor expansion of t in z 8.668 * [taylor]: Taking taylor expansion of 1 in t 8.669 * [taylor]: Taking taylor expansion of 0 in z 8.669 * [taylor]: Taking taylor expansion of (- (log y)) in t 8.669 * [taylor]: Taking taylor expansion of (log y) in t 8.669 * [taylor]: Taking taylor expansion of y in t 8.672 * [taylor]: Taking taylor expansion of 0 in y 8.672 * [taylor]: Taking taylor expansion of 0 in z 8.672 * [taylor]: Taking taylor expansion of 0 in z 8.674 * [taylor]: Taking taylor expansion of 0 in z 8.675 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.675 * [taylor]: Taking taylor expansion of t in t 8.675 * [taylor]: Taking taylor expansion of 0 in t 8.676 * [taylor]: Taking taylor expansion of 0 in t 8.677 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in (x y z t) around 0 8.677 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in t 8.677 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in t 8.677 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.677 * [taylor]: Taking taylor expansion of z in t 8.677 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in t 8.677 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 8.677 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 8.677 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.677 * [taylor]: Taking taylor expansion of -1 in t 8.677 * [taylor]: Taking taylor expansion of y in t 8.677 * [taylor]: Taking taylor expansion of x in t 8.677 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.677 * [taylor]: Taking taylor expansion of t in t 8.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in z 8.678 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in z 8.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.678 * [taylor]: Taking taylor expansion of z in z 8.678 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in z 8.678 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 8.678 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.678 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.678 * [taylor]: Taking taylor expansion of -1 in z 8.678 * [taylor]: Taking taylor expansion of y in z 8.678 * [taylor]: Taking taylor expansion of x in z 8.678 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.678 * [taylor]: Taking taylor expansion of t in z 8.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in y 8.678 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in y 8.678 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.678 * [taylor]: Taking taylor expansion of z in y 8.678 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in y 8.678 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 8.678 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.678 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.678 * [taylor]: Taking taylor expansion of -1 in y 8.678 * [taylor]: Taking taylor expansion of y in y 8.679 * [taylor]: Taking taylor expansion of x in y 8.681 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.681 * [taylor]: Taking taylor expansion of t in y 8.681 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in x 8.681 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in x 8.681 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.681 * [taylor]: Taking taylor expansion of z in x 8.681 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in x 8.681 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.681 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.681 * [taylor]: Taking taylor expansion of -1 in x 8.681 * [taylor]: Taking taylor expansion of y in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.681 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.681 * [taylor]: Taking taylor expansion of t in x 8.681 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in x 8.681 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in x 8.681 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.681 * [taylor]: Taking taylor expansion of z in x 8.681 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in x 8.681 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.681 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.681 * [taylor]: Taking taylor expansion of -1 in x 8.681 * [taylor]: Taking taylor expansion of y in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.681 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.681 * [taylor]: Taking taylor expansion of t in x 8.682 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 8.682 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.682 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.682 * [taylor]: Taking taylor expansion of -1 in y 8.682 * [taylor]: Taking taylor expansion of y in y 8.683 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 8.683 * [taylor]: Taking taylor expansion of (log y) in z 8.683 * [taylor]: Taking taylor expansion of y in z 8.683 * [taylor]: Taking taylor expansion of (log -1) in z 8.683 * [taylor]: Taking taylor expansion of -1 in z 8.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 t))) in y 8.685 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y 8.685 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.685 * [taylor]: Taking taylor expansion of z in y 8.685 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.685 * [taylor]: Taking taylor expansion of t in y 8.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 t))) in z 8.685 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z 8.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.685 * [taylor]: Taking taylor expansion of z in z 8.685 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.685 * [taylor]: Taking taylor expansion of t in z 8.686 * [taylor]: Taking taylor expansion of -1 in t 8.687 * [taylor]: Taking taylor expansion of 0 in z 8.688 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 8.688 * [taylor]: Taking taylor expansion of (log y) in t 8.688 * [taylor]: Taking taylor expansion of y in t 8.688 * [taylor]: Taking taylor expansion of (log -1) in t 8.688 * [taylor]: Taking taylor expansion of -1 in t 8.692 * [taylor]: Taking taylor expansion of 0 in y 8.692 * [taylor]: Taking taylor expansion of 0 in z 8.692 * [taylor]: Taking taylor expansion of 0 in z 8.694 * [taylor]: Taking taylor expansion of 0 in z 8.695 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.695 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.695 * [taylor]: Taking taylor expansion of t in t 8.696 * [taylor]: Taking taylor expansion of 0 in t 8.697 * [taylor]: Taking taylor expansion of 0 in t 8.700 * * * [progress]: simplifying candidates 8.701 * [simplify]: Simplifying using # : (* 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)) (* (* (* (* (exp (* x (log y))) (exp z)) (exp t)) (exp a)) (exp (* (- b 0.5) (log c)))) (* (* (* (exp (+ (* x (log y)) z)) (exp t)) (exp a)) (exp (* (- b 0.5) (log c)))) (* (* (exp (+ (+ (* x (log y)) z) t)) (exp a)) (exp (* (- b 0.5) (log c)))) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (exp (* (- b 0.5) (log c)))) (log (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (exp (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (* (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))))) (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (* (* (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (sqrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (sqrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (+ (* (+ (pow (+ (+ (* x (log y)) z) t) 3) (pow a 3)) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (- (* a a) (* (+ (+ (* x (log y)) z) t) a))) (* (- (pow b 3) (pow 0.5 3)) (log c)))) (* (+ (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (- (* a a) (* (+ (+ (* x (log y)) z) t) a))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (+ (* (+ (pow (+ (+ (* x (log y)) z) t) 3) (pow a 3)) (+ b 0.5)) (* (+ (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (- (* a a) (* (+ (+ (* x (log y)) z) t) a))) (* (- (* b b) (* 0.5 0.5)) (log c)))) (* (+ (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (- (* a a) (* (+ (+ (* x (log y)) z) t) a))) (+ b 0.5)) (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (pow b 3) (pow 0.5 3)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ b 0.5)) (+ (pow (+ (+ (+ (* x (log y)) z) t) a) 3) (pow (* (- b 0.5) (log c)) 3)) (+ (* (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (* x (log y)) z) t) a)) (- (* (* (- b 0.5) (log c)) (* (- b 0.5) (log c))) (* (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))))) (- (* (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (* x (log y)) z) t) a)) (* (* (- b 0.5) (log c)) (* (- b 0.5) (log c)))) (- (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log (* (cbrt c) (cbrt c))))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log (sqrt c)))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log 1))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (* (cbrt c) (cbrt c))) (- b 0.5))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log 1) (- b 0.5))) (+ a (* (- b 0.5) (log c))) (* (* (exp (* x (log y))) (exp z)) (exp t)) (* (exp (+ (* x (log y)) z)) (exp t)) (log (+ (+ (* x (log y)) z) t)) (exp (+ (+ (* x (log y)) z) t)) (* (cbrt (+ (+ (* x (log y)) z) t)) (cbrt (+ (+ (* x (log y)) z) t))) (cbrt (+ (+ (* x (log y)) z) t)) (* (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (+ (+ (* x (log y)) z) t)) (sqrt (+ (+ (* x (log y)) z) t)) (sqrt (+ (+ (* x (log y)) z) t)) (+ (pow (+ (* x (log y)) z) 3) (pow t 3)) (+ (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (- (* t t) (* (+ (* x (log y)) z) t))) (- (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (* t t)) (- (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t) (+ z t) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* (log c) b) (* 0.5 (log c))) (- (* 0.5 (log (/ 1 c))) (* (log (/ 1 c)) b)) (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b))) (- (+ (* x (log y)) z) (* 0.5 (log c))) (- (+ t a) (* (log (/ 1 c)) b)) (- (+ t (+ a (* (log -1) b))) (* (log (/ -1 c)) b)) (+ (* x (log y)) (+ t z)) (- (+ t z) (* x (log (/ 1 y)))) (- (+ t (+ (* (log -1) x) z)) (* x (log (/ -1 y)))) 8.707 * * [simplify]: iteration 0 : 240 enodes (cost 1648 ) 8.754 * * [simplify]: iteration 1 : 608 enodes (cost 1560 ) 8.896 * * [simplify]: iteration 2 : 2124 enodes (cost 1457 ) 9.405 * * [simplify]: iteration done : 5000 enodes (cost 1455 ) 9.406 * [simplify]: Simplified to: (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (* (pow x 3) (pow (log y) 3)) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (pow x 3) (pow (log y) 3)) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* 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 (* (log c) (- b 0.5)) 3) (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))) (pow (* (log c) (- b 0.5)) 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))) (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (sqrt c))) (* (- b 0.5) (log (sqrt c))) 0 (* (log c) (- b 0.5)) (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- 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)) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (pow c (- b 0.5))) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (pow c (- b 0.5))) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (pow c (- b 0.5))) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (pow c (- b 0.5))) (log (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (* (exp (+ (+ (+ (* x (log y)) z) t) a)) (pow c (- b 0.5))) (* (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))))) (cbrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (pow (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) 3) (sqrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (sqrt (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))) (+ (* (+ (* a (- a (+ (* x (log y)) (+ t z)))) (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t))) (* (- (pow b 3) (pow 0.5 3)) (log c))) (* (+ (pow (+ (+ (* x (log y)) z) t) 3) (pow a 3)) (+ (* 0.5 (+ b 0.5)) (* b b)))) (* (+ (* 0.5 (+ b 0.5)) (* b b)) (+ (* a (- a (+ (* x (log y)) (+ t z)))) (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)))) (+ (* (+ (pow (+ (+ (* x (log y)) z) t) 3) (pow a 3)) (+ b 0.5)) (* (* (+ (* a (- a (+ (* x (log y)) (+ t z)))) (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t))) (- (* b b) (* 0.5 0.5))) (log c))) (* (+ (* a (- a (+ (* x (log y)) (+ t z)))) (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t))) (+ b 0.5)) (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ (* 0.5 (+ b 0.5)) (* b b))) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (pow b 3) (pow 0.5 3)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ (* 0.5 (+ b 0.5)) (* b b))) (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ b 0.5)) (+ (pow (+ (+ (+ (* x (log y)) z) t) a) 3) (pow (* (- b 0.5) (log c)) 3)) (+ (* (* (log c) (- b 0.5)) (- (* (log c) (- b 0.5)) (+ (+ (+ (* x (log y)) z) t) a))) (* (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (* x (log y)) z) t) a))) (- (* (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (* x (log y)) z) t) a)) (* (* (- b 0.5) (log c)) (* (- b 0.5) (log c)))) (- (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (+ (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (+ (* x (log y)) (+ t z))) a) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log (sqrt c)))) (+ (+ (* x (log y)) (+ t z)) (+ a 0)) (+ (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (+ (* x (log y)) (+ t z))) a) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log (sqrt c)))) (+ (+ (* x (log y)) (+ t z)) (+ a 0)) (+ a (* (- b 0.5) (log c))) (* (exp (+ t z)) (pow y x)) (* (exp (+ t z)) (pow y x)) (log (+ (+ (* x (log y)) z) t)) (* (exp (+ t z)) (pow y x)) (* (cbrt (+ (+ (* x (log y)) z) t)) (cbrt (+ (+ (* x (log y)) z) t))) (cbrt (+ (+ (* x (log y)) z) t)) (pow (+ (* x (log y)) (+ t z)) 3) (sqrt (+ (+ (* x (log y)) z) t)) (sqrt (+ (+ (* x (log y)) z) t)) (+ (pow (+ (* x (log y)) z) 3) (pow t 3)) (+ (* t (- t (+ (* x (log y)) z))) (* (+ (* x (log y)) z) (+ (* x (log y)) z))) (- (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (* t t)) (- (+ (* x (log y)) z) t) (+ (* x (log y)) (+ t z)) (+ t z) (* x (log y)) (- (* (- (log y)) x)) (* x (- (log -1) (log (/ -1 y)))) (* (log c) (- b 0.5)) (* (- (log c)) (- 0.5 b)) (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b))) (- (+ (* x (log y)) z) (* 0.5 (log c))) (- (+ t a) (* b (- (log c)))) (- (+ t (+ a (* (log -1) b))) (* (log (/ -1 c)) b)) (+ (* x (log y)) (+ t z)) (- (+ t z) (* (- (log y)) x)) (+ (+ t z) (* (- (log -1) (log (/ -1 y))) x)) 9.406 * * * [progress]: adding candidates to table 9.807 * * [progress]: iteration 2 / 4 9.807 * * * [progress]: picking best candidate 9.844 * * * * [pick]: Picked # 9.844 * * * [progress]: localizing error 9.872 * * * [progress]: generating rewritten candidates 9.872 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 9.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1) 9.873 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 9.887 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 9.894 * * * [progress]: generating series expansions 9.894 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 9.895 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0 9.895 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 9.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 9.895 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 9.895 * [taylor]: Taking taylor expansion of 1/3 in c 9.895 * [taylor]: Taking taylor expansion of (log c) in c 9.895 * [taylor]: Taking taylor expansion of c in c 9.896 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 9.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 9.896 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 9.896 * [taylor]: Taking taylor expansion of 1/3 in c 9.896 * [taylor]: Taking taylor expansion of (log c) in c 9.896 * [taylor]: Taking taylor expansion of c in c 9.947 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0 9.947 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 9.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 9.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 9.947 * [taylor]: Taking taylor expansion of 1/3 in c 9.947 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 9.947 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.947 * [taylor]: Taking taylor expansion of c in c 9.948 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 9.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 9.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 9.948 * [taylor]: Taking taylor expansion of 1/3 in c 9.948 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 9.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.948 * [taylor]: Taking taylor expansion of c in c 10.004 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0 10.004 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.004 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.004 * [taylor]: Taking taylor expansion of -1 in c 10.005 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.005 * [taylor]: Taking taylor expansion of 1/3 in c 10.005 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.005 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.005 * [taylor]: Taking taylor expansion of c in c 10.006 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.006 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.006 * [taylor]: Taking taylor expansion of -1 in c 10.007 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.007 * [taylor]: Taking taylor expansion of 1/3 in c 10.007 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.007 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.007 * [taylor]: Taking taylor expansion of c in c 10.075 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1) 10.075 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0 10.075 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.075 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.075 * [taylor]: Taking taylor expansion of 1/3 in c 10.075 * [taylor]: Taking taylor expansion of (log c) in c 10.075 * [taylor]: Taking taylor expansion of c in c 10.076 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.076 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.076 * [taylor]: Taking taylor expansion of 1/3 in c 10.076 * [taylor]: Taking taylor expansion of (log c) in c 10.076 * [taylor]: Taking taylor expansion of c in c 10.131 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0 10.131 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.131 * [taylor]: Taking taylor expansion of 1/3 in c 10.131 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.131 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.131 * [taylor]: Taking taylor expansion of c in c 10.132 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.132 * [taylor]: Taking taylor expansion of 1/3 in c 10.132 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.132 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.132 * [taylor]: Taking taylor expansion of c in c 10.190 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0 10.190 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.190 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.190 * [taylor]: Taking taylor expansion of -1 in c 10.191 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.191 * [taylor]: Taking taylor expansion of 1/3 in c 10.191 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.191 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.191 * [taylor]: Taking taylor expansion of c in c 10.192 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.192 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.192 * [taylor]: Taking taylor expansion of -1 in c 10.193 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.193 * [taylor]: Taking taylor expansion of 1/3 in c 10.193 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.193 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.193 * [taylor]: Taking taylor expansion of c in c 10.258 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 10.258 * [approximate]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in (c b) around 0 10.258 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b 10.258 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b 10.258 * [taylor]: Taking taylor expansion of 3 in b 10.258 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b 10.258 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 10.258 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 10.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 10.258 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 10.258 * [taylor]: Taking taylor expansion of 1/3 in b 10.258 * [taylor]: Taking taylor expansion of (log c) in b 10.258 * [taylor]: Taking taylor expansion of c in b 10.258 * [taylor]: Taking taylor expansion of b in b 10.258 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b 10.258 * [taylor]: Taking taylor expansion of 1.5 in b 10.258 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 10.258 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 10.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 10.258 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 10.258 * [taylor]: Taking taylor expansion of 1/3 in b 10.258 * [taylor]: Taking taylor expansion of (log c) in b 10.258 * [taylor]: Taking taylor expansion of c in b 10.259 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c 10.259 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c 10.259 * [taylor]: Taking taylor expansion of 3 in c 10.259 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c 10.259 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 10.259 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.259 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.259 * [taylor]: Taking taylor expansion of 1/3 in c 10.259 * [taylor]: Taking taylor expansion of (log c) in c 10.259 * [taylor]: Taking taylor expansion of c in c 10.259 * [taylor]: Taking taylor expansion of b in c 10.259 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c 10.259 * [taylor]: Taking taylor expansion of 1.5 in c 10.259 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 10.260 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.260 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.260 * [taylor]: Taking taylor expansion of 1/3 in c 10.260 * [taylor]: Taking taylor expansion of (log c) in c 10.260 * [taylor]: Taking taylor expansion of c in c 10.260 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c 10.260 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c 10.260 * [taylor]: Taking taylor expansion of 3 in c 10.260 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c 10.260 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 10.260 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.260 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.260 * [taylor]: Taking taylor expansion of 1/3 in c 10.260 * [taylor]: Taking taylor expansion of (log c) in c 10.260 * [taylor]: Taking taylor expansion of c in c 10.267 * [taylor]: Taking taylor expansion of b in c 10.267 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c 10.267 * [taylor]: Taking taylor expansion of 1.5 in c 10.268 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 10.268 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 10.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 10.268 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 10.268 * [taylor]: Taking taylor expansion of 1/3 in c 10.268 * [taylor]: Taking taylor expansion of (log c) in c 10.268 * [taylor]: Taking taylor expansion of c in c 10.269 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b 10.269 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b 10.269 * [taylor]: Taking taylor expansion of 3 in b 10.269 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b 10.269 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 10.269 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 10.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 10.269 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 10.269 * [taylor]: Taking taylor expansion of 1/3 in b 10.269 * [taylor]: Taking taylor expansion of (log c) in b 10.269 * [taylor]: Taking taylor expansion of c in b 10.269 * [taylor]: Taking taylor expansion of b in b 10.269 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b 10.269 * [taylor]: Taking taylor expansion of 1.5 in b 10.269 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 10.269 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 10.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 10.269 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 10.269 * [taylor]: Taking taylor expansion of 1/3 in b 10.269 * [taylor]: Taking taylor expansion of (log c) in b 10.269 * [taylor]: Taking taylor expansion of c in b 10.277 * [taylor]: Taking taylor expansion of 0 in b 10.292 * [taylor]: Taking taylor expansion of 0 in b 10.316 * [taylor]: Taking taylor expansion of 0 in b 10.316 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in (c b) around 0 10.316 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b 10.316 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b 10.316 * [taylor]: Taking taylor expansion of 3 in b 10.316 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b 10.316 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b 10.316 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.316 * [taylor]: Taking taylor expansion of 1/3 in b 10.317 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.317 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.317 * [taylor]: Taking taylor expansion of c in b 10.317 * [taylor]: Taking taylor expansion of b in b 10.317 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b 10.317 * [taylor]: Taking taylor expansion of 1.5 in b 10.317 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b 10.317 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.317 * [taylor]: Taking taylor expansion of 1/3 in b 10.317 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.317 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.317 * [taylor]: Taking taylor expansion of c in b 10.317 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c 10.317 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c 10.317 * [taylor]: Taking taylor expansion of 3 in c 10.317 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c 10.317 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 10.317 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.317 * [taylor]: Taking taylor expansion of 1/3 in c 10.317 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.317 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.317 * [taylor]: Taking taylor expansion of c in c 10.318 * [taylor]: Taking taylor expansion of b in c 10.318 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c 10.318 * [taylor]: Taking taylor expansion of 1.5 in c 10.318 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 10.318 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.319 * [taylor]: Taking taylor expansion of 1/3 in c 10.319 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.319 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.319 * [taylor]: Taking taylor expansion of c in c 10.319 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c 10.319 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c 10.320 * [taylor]: Taking taylor expansion of 3 in c 10.320 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c 10.320 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 10.320 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.320 * [taylor]: Taking taylor expansion of 1/3 in c 10.320 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.320 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.320 * [taylor]: Taking taylor expansion of c in c 10.321 * [taylor]: Taking taylor expansion of b in c 10.321 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c 10.321 * [taylor]: Taking taylor expansion of 1.5 in c 10.321 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 10.321 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.321 * [taylor]: Taking taylor expansion of 1/3 in c 10.321 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.321 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.321 * [taylor]: Taking taylor expansion of c in c 10.322 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow c -1/3)) b)) (* 1.5 (log (pow c -1/3)))) in b 10.322 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow c -1/3)) b)) in b 10.322 * [taylor]: Taking taylor expansion of 3 in b 10.322 * [taylor]: Taking taylor expansion of (/ (log (pow c -1/3)) b) in b 10.322 * [taylor]: Taking taylor expansion of (log (pow c -1/3)) in b 10.322 * [taylor]: Taking taylor expansion of (pow c -1/3) in b 10.322 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log c))) in b 10.322 * [taylor]: Taking taylor expansion of (* -1/3 (log c)) in b 10.322 * [taylor]: Taking taylor expansion of -1/3 in b 10.322 * [taylor]: Taking taylor expansion of (log c) in b 10.322 * [taylor]: Taking taylor expansion of c in b 10.322 * [taylor]: Taking taylor expansion of b in b 10.323 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c -1/3))) in b 10.323 * [taylor]: Taking taylor expansion of 1.5 in b 10.323 * [taylor]: Taking taylor expansion of (log (pow c -1/3)) in b 10.323 * [taylor]: Taking taylor expansion of (pow c -1/3) in b 10.323 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log c))) in b 10.323 * [taylor]: Taking taylor expansion of (* -1/3 (log c)) in b 10.323 * [taylor]: Taking taylor expansion of -1/3 in b 10.323 * [taylor]: Taking taylor expansion of (log c) in b 10.323 * [taylor]: Taking taylor expansion of c in b 10.330 * [taylor]: Taking taylor expansion of 0 in b 10.344 * [taylor]: Taking taylor expansion of 0 in b 10.373 * [taylor]: Taking taylor expansion of 0 in b 10.410 * [taylor]: Taking taylor expansion of 0 in b 10.410 * [approximate]: 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 b) around 0 10.410 * [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 10.410 * [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 10.411 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b 10.411 * [taylor]: Taking taylor expansion of 3 in b 10.411 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b 10.411 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 10.411 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 10.411 * [taylor]: Taking taylor expansion of (cbrt -1) in b 10.411 * [taylor]: Taking taylor expansion of -1 in b 10.411 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.411 * [taylor]: Taking taylor expansion of 1/3 in b 10.411 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.411 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.411 * [taylor]: Taking taylor expansion of c in b 10.412 * [taylor]: Taking taylor expansion of b in b 10.413 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b 10.413 * [taylor]: Taking taylor expansion of 1.5 in b 10.413 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 10.413 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 10.413 * [taylor]: Taking taylor expansion of (cbrt -1) in b 10.413 * [taylor]: Taking taylor expansion of -1 in b 10.414 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.414 * [taylor]: Taking taylor expansion of 1/3 in b 10.414 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.414 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.414 * [taylor]: Taking taylor expansion of c in b 10.415 * [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 10.415 * [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 10.415 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c 10.415 * [taylor]: Taking taylor expansion of 3 in c 10.415 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c 10.415 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 10.415 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.415 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.415 * [taylor]: Taking taylor expansion of -1 in c 10.416 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.416 * [taylor]: Taking taylor expansion of 1/3 in c 10.416 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.416 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.416 * [taylor]: Taking taylor expansion of c in c 10.417 * [taylor]: Taking taylor expansion of b in c 10.418 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c 10.418 * [taylor]: Taking taylor expansion of 1.5 in c 10.418 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 10.418 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.418 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.418 * [taylor]: Taking taylor expansion of -1 in c 10.418 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.419 * [taylor]: Taking taylor expansion of 1/3 in c 10.419 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.419 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.419 * [taylor]: Taking taylor expansion of c in c 10.420 * [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 10.420 * [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 10.420 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c 10.420 * [taylor]: Taking taylor expansion of 3 in c 10.420 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c 10.420 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 10.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.420 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.420 * [taylor]: Taking taylor expansion of -1 in c 10.421 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.421 * [taylor]: Taking taylor expansion of 1/3 in c 10.421 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.421 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.421 * [taylor]: Taking taylor expansion of c in c 10.423 * [taylor]: Taking taylor expansion of b in c 10.423 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c 10.423 * [taylor]: Taking taylor expansion of 1.5 in c 10.423 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 10.423 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 10.423 * [taylor]: Taking taylor expansion of (cbrt -1) in c 10.423 * [taylor]: Taking taylor expansion of -1 in c 10.424 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 10.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 10.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 10.424 * [taylor]: Taking taylor expansion of 1/3 in c 10.424 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 10.424 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.424 * [taylor]: Taking taylor expansion of c in c 10.428 * [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 10.428 * [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 10.429 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b 10.429 * [taylor]: Taking taylor expansion of 3 in b 10.429 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b 10.429 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 10.429 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 10.429 * [taylor]: Taking taylor expansion of (cbrt -1) in b 10.429 * [taylor]: Taking taylor expansion of -1 in b 10.429 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.429 * [taylor]: Taking taylor expansion of 1/3 in b 10.429 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.429 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.429 * [taylor]: Taking taylor expansion of c in b 10.430 * [taylor]: Taking taylor expansion of b in b 10.431 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b 10.431 * [taylor]: Taking taylor expansion of 1.5 in b 10.431 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 10.431 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 10.431 * [taylor]: Taking taylor expansion of (cbrt -1) in b 10.431 * [taylor]: Taking taylor expansion of -1 in b 10.432 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 10.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 10.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 10.432 * [taylor]: Taking taylor expansion of 1/3 in b 10.432 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 10.432 * [taylor]: Taking taylor expansion of (/ 1 c) in b 10.432 * [taylor]: Taking taylor expansion of c in b 10.450 * [taylor]: Taking taylor expansion of 0 in b 10.472 * [taylor]: Taking taylor expansion of 0 in b 10.506 * [taylor]: Taking taylor expansion of 0 in b 10.564 * [taylor]: Taking taylor expansion of 0 in b 10.565 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 10.565 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 10.565 * [taylor]: Taking taylor expansion of (* x (log y)) in y 10.566 * [taylor]: Taking taylor expansion of x in y 10.566 * [taylor]: Taking taylor expansion of (log y) in y 10.566 * [taylor]: Taking taylor expansion of y in y 10.566 * [taylor]: Taking taylor expansion of (* x (log y)) in x 10.566 * [taylor]: Taking taylor expansion of x in x 10.566 * [taylor]: Taking taylor expansion of (log y) in x 10.566 * [taylor]: Taking taylor expansion of y in x 10.566 * [taylor]: Taking taylor expansion of (* x (log y)) in x 10.566 * [taylor]: Taking taylor expansion of x in x 10.566 * [taylor]: Taking taylor expansion of (log y) in x 10.566 * [taylor]: Taking taylor expansion of y in x 10.566 * [taylor]: Taking taylor expansion of 0 in y 10.567 * [taylor]: Taking taylor expansion of (log y) in y 10.567 * [taylor]: Taking taylor expansion of y in y 10.569 * [taylor]: Taking taylor expansion of 0 in y 10.572 * [taylor]: Taking taylor expansion of 0 in y 10.572 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 10.572 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 10.572 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.572 * [taylor]: Taking taylor expansion of y in y 10.573 * [taylor]: Taking taylor expansion of x in y 10.574 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 10.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.574 * [taylor]: Taking taylor expansion of y in x 10.574 * [taylor]: Taking taylor expansion of x in x 10.574 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 10.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.574 * [taylor]: Taking taylor expansion of y in x 10.574 * [taylor]: Taking taylor expansion of x in x 10.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.574 * [taylor]: Taking taylor expansion of y in y 10.576 * [taylor]: Taking taylor expansion of 0 in y 10.579 * [taylor]: Taking taylor expansion of 0 in y 10.584 * [taylor]: Taking taylor expansion of 0 in y 10.584 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 10.584 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 10.584 * [taylor]: Taking taylor expansion of -1 in y 10.584 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 10.584 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.584 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.584 * [taylor]: Taking taylor expansion of -1 in y 10.584 * [taylor]: Taking taylor expansion of y in y 10.585 * [taylor]: Taking taylor expansion of x in y 10.586 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 10.586 * [taylor]: Taking taylor expansion of -1 in x 10.586 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 10.586 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.586 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.586 * [taylor]: Taking taylor expansion of -1 in x 10.586 * [taylor]: Taking taylor expansion of y in x 10.586 * [taylor]: Taking taylor expansion of x in x 10.587 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 10.587 * [taylor]: Taking taylor expansion of -1 in x 10.587 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 10.587 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.587 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.587 * [taylor]: Taking taylor expansion of -1 in x 10.587 * [taylor]: Taking taylor expansion of y in x 10.587 * [taylor]: Taking taylor expansion of x in x 10.587 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 10.587 * [taylor]: Taking taylor expansion of -1 in y 10.587 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.587 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.587 * [taylor]: Taking taylor expansion of -1 in y 10.587 * [taylor]: Taking taylor expansion of y in y 10.590 * [taylor]: Taking taylor expansion of 0 in y 10.595 * [taylor]: Taking taylor expansion of 0 in y 10.603 * [taylor]: Taking taylor expansion of 0 in y 10.603 * * * [progress]: simplifying candidates 10.605 * [simplify]: Simplifying using # : (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 (* (* 2 (log (cbrt c))) (- b 0.5))) (exp (* (- b 0.5) (log (cbrt c))))) (log (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (exp (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (* (cbrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (cbrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c)))))) (cbrt (+ (* (* 2 (log (cbrt 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 c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (sqrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (sqrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))) (+ (* (* (* 2 (log (cbrt c))) (- (pow b 3) (pow 0.5 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)) (log (cbrt c))))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (+ (* (* (* 2 (log (cbrt c))) (- (pow b 3) (pow 0.5 3))) (+ 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)) (+ (* (* (* 2 (log (cbrt c))) (- (* b b) (* 0.5 0.5))) (+ (* 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)))) (+ (* (* (* 2 (log (cbrt c))) (- (* b b) (* 0.5 0.5))) (+ b 0.5)) (* (+ b 0.5) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c))))) (* (+ b 0.5) (+ b 0.5)) (+ (pow (* (* 2 (log (cbrt c))) (- b 0.5)) 3) (pow (* (- b 0.5) (log (cbrt c))) 3)) (+ (* (* (* 2 (log (cbrt c))) (- b 0.5)) (* (* 2 (log (cbrt c))) (- b 0.5))) (- (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c)))) (* (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c)))))) (- (* (* (* 2 (log (cbrt c))) (- b 0.5)) (* (* 2 (log (cbrt c))) (- b 0.5))) (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c))))) (- (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c)))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt (* (cbrt c) (cbrt c)))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt (sqrt c))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (* (cbrt (cbrt c)) (cbrt (cbrt c)))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (sqrt (cbrt c))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log 1))) (+ (* (* 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))) (- 0.5)) (* (- b 0.5) (log (cbrt c)))) (+ (* (* 2 (log (cbrt c))) (- 0.5)) (* (- b 0.5) (log (cbrt c)))) (+ (* (- 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))) (+ (* (- 0.5) (* 2 (log (cbrt c)))) (* (- 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)) (pow c 1/3) (pow (/ 1 c) -1/3) (* (pow (* -1 c) 1/3) (cbrt -1)) (pow c 1/3) (pow (/ 1 c) -1/3) (* (pow (* -1 c) 1/3) (cbrt -1)) (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) (- (* 3 (* b (log (pow (/ 1 c) -1/3)))) (* 1.5 (log (pow (/ 1 c) -1/3)))) (- (* 3 (* b (log (* (pow (* -1 c) 1/3) (cbrt -1))))) (* 1.5 (log (* (pow (* -1 c) 1/3) (cbrt -1))))) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) 10.609 * * [simplify]: iteration 0 : 188 enodes (cost 1229 ) 10.650 * * [simplify]: iteration 1 : 470 enodes (cost 1127 ) 10.788 * * [simplify]: iteration 2 : 1526 enodes (cost 880 ) 11.247 * * [simplify]: iteration done : 5000 enodes (cost 866 ) 11.248 * [simplify]: Simplified to: (log (cbrt c)) (exp (cbrt c)) (cbrt (pow c 2/3)) (cbrt (cbrt c)) (cbrt (sqrt c)) (cbrt (sqrt c)) 1 (cbrt c) (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c)) (pow (cbrt c) 3) (sqrt (cbrt c)) (sqrt (cbrt c)) (log (cbrt c)) (exp (cbrt c)) (cbrt (pow c 2/3)) (cbrt (cbrt c)) (cbrt (sqrt c)) (cbrt (sqrt c)) 1 (cbrt c) (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c)) (pow (cbrt c) 3) (sqrt (cbrt c)) (sqrt (cbrt c)) (exp (* 1 (* (log c) (- b 0.5)))) (log (* 1 (* (log c) (- b 0.5)))) (exp (* 1 (* (log c) (- b 0.5)))) (* (cbrt (* 1 (* (log c) (- b 0.5)))) (cbrt (* 1 (* (log c) (- b 0.5))))) (cbrt (* 1 (* (log c) (- b 0.5)))) (pow (* 1 (* (log c) (- b 0.5))) 3) (sqrt (* 1 (* (log c) (- b 0.5)))) (sqrt (* 1 (* (log c) (- b 0.5)))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c))) (* (- (pow b 3) (pow 0.5 3)) (* 2/3 (log c))))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ (* b b) (* 0.5 (+ b 0.5)))) (+ (* (* (- (* b b) (* 0.5 0.5)) (log (cbrt c))) (+ (* b b) (* 0.5 (+ b 0.5)))) (* (* (+ b 0.5) (- (pow b 3) (pow 0.5 3))) (* 2/3 (log c)))) (* (+ b 0.5) (+ (* b b) (* 0.5 (+ b 0.5)))) (+ (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))) (* (* (+ (* b b) (* 0.5 (+ b 0.5))) (* 2/3 (log c))) (- (* b b) (* 0.5 0.5)))) (* (+ b 0.5) (+ (* b b) (* 0.5 (+ b 0.5)))) (* (+ b 0.5) (+ (* (- (* b b) (* 0.5 0.5)) (log (cbrt c))) (* (+ b 0.5) (* (* 2/3 (log c)) (- b 0.5))))) (* (+ b 0.5) (+ b 0.5)) (+ (pow (* (* 2/3 (log c)) (- b 0.5)) 3) (pow (* (- b 0.5) (log (cbrt c))) 3)) (+ (* (* (- b 0.5) (- b 0.5)) (* 4 (* (log (cbrt c)) (log (cbrt c))))) (* (- b 0.5) (* (log (cbrt c)) (* (- b 0.5) (- (log (cbrt c)) (* 2/3 (log c))))))) (* (- b 0.5) (* (- (* 2/3 (log c)) (log (cbrt c))) (* 1 (* (log c) (- b 0.5))))) (* (- b 0.5) (- (* 2/3 (log c)) (log (cbrt c)))) (* (+ (log (cbrt (pow c 2/3))) (* 2/3 (log c))) (- b 0.5)) (* (- b 0.5) (+ (* 2/3 (log c)) (log (cbrt (sqrt c))))) (* (* 2/3 (log c)) (- b 0.5)) (* (+ (* 2 (log (cbrt (cbrt c)))) (* 2/3 (log c))) (- b 0.5)) (* (+ (* 2/3 (log c)) (log (sqrt (cbrt c)))) (- b 0.5)) (* (* 2/3 (log c)) (- b 0.5)) (* (+ (log (cbrt (pow c 2/3))) (* 2/3 (log c))) (- b 0.5)) (* (- b 0.5) (+ (* 2/3 (log c)) (log (cbrt (sqrt c))))) (* (* 2/3 (log c)) (- b 0.5)) (* (+ (* 2 (log (cbrt (cbrt c)))) (* 2/3 (log c))) (- b 0.5)) (* (+ (* 2/3 (log c)) (log (sqrt (cbrt c)))) (- b 0.5)) (* (* 2/3 (log c)) (- b 0.5)) (* (log (cbrt c)) (- (- b 0.5) (* 0.5 2))) (* (log (cbrt c)) (- (- b 0.5) (* 0.5 2))) (* (log (cbrt c)) (- (- b 0.5) (* 0.5 2))) (* (log (cbrt c)) (- (- b 0.5) (* 0.5 2))) (* 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)))) (* (log (cbrt y)) x) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* x (* 2 (log (cbrt y)))) (* (log (cbrt y)) x) (* 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)) (cbrt c) (pow (/ 1 c) -1/3) (* (cbrt -1) (cbrt (- c))) (cbrt c) (pow (/ 1 c) -1/3) (* (cbrt -1) (cbrt (- c))) (- (* b (* 1 (log c))) (* 1.5 (log (cbrt c)))) (* (* (- (log c)) -1/3) (- (* 3 b) 1.5)) (* (log (* (cbrt -1) (cbrt (- c)))) (- (* 3 b) 1.5)) (* x (log y)) (- (* x (- (log y)))) (* (- (log -1) (log (/ -1 y))) x) 11.248 * * * [progress]: adding candidates to table 11.705 * * [progress]: iteration 3 / 4 11.706 * * * [progress]: picking best candidate 11.742 * * * * [pick]: Picked # 11.742 * * * [progress]: localizing error 11.775 * * * [progress]: generating rewritten candidates 11.775 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 11.776 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1) 11.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 11.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 11.802 * * * [progress]: generating series expansions 11.802 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 11.802 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0 11.802 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 11.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 11.802 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 11.802 * [taylor]: Taking taylor expansion of 1/3 in c 11.802 * [taylor]: Taking taylor expansion of (log c) in c 11.802 * [taylor]: Taking taylor expansion of c in c 11.803 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 11.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 11.803 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 11.803 * [taylor]: Taking taylor expansion of 1/3 in c 11.803 * [taylor]: Taking taylor expansion of (log c) in c 11.803 * [taylor]: Taking taylor expansion of c in c 11.852 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0 11.852 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 11.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 11.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 11.852 * [taylor]: Taking taylor expansion of 1/3 in c 11.852 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 11.852 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.852 * [taylor]: Taking taylor expansion of c in c 11.853 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 11.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 11.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 11.853 * [taylor]: Taking taylor expansion of 1/3 in c 11.853 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 11.853 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.853 * [taylor]: Taking taylor expansion of c in c 11.913 * [approximate]: Taking taylor expansion of (pow (/ -1 c) 1/3) in (c) around 0 11.913 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 11.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 11.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 11.913 * [taylor]: Taking taylor expansion of 1/3 in c 11.913 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 11.913 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.913 * [taylor]: Taking taylor expansion of -1 in c 11.913 * [taylor]: Taking taylor expansion of c in c 11.915 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 11.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 11.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 11.915 * [taylor]: Taking taylor expansion of 1/3 in c 11.915 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 11.915 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.915 * [taylor]: Taking taylor expansion of -1 in c 11.915 * [taylor]: Taking taylor expansion of c in c 11.984 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1) 11.984 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0 11.984 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 11.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 11.984 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 11.984 * [taylor]: Taking taylor expansion of 1/3 in c 11.984 * [taylor]: Taking taylor expansion of (log c) in c 11.984 * [taylor]: Taking taylor expansion of c in c 11.985 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 11.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 11.985 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 11.985 * [taylor]: Taking taylor expansion of 1/3 in c 11.985 * [taylor]: Taking taylor expansion of (log c) in c 11.985 * [taylor]: Taking taylor expansion of c in c 12.043 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0 12.043 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.044 * [taylor]: Taking taylor expansion of 1/3 in c 12.044 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.044 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.044 * [taylor]: Taking taylor expansion of c in c 12.045 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.045 * [taylor]: Taking taylor expansion of 1/3 in c 12.045 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.045 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.045 * [taylor]: Taking taylor expansion of c in c 12.098 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0 12.098 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.098 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.098 * [taylor]: Taking taylor expansion of -1 in c 12.099 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.099 * [taylor]: Taking taylor expansion of 1/3 in c 12.099 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.099 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.099 * [taylor]: Taking taylor expansion of c in c 12.100 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.100 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.100 * [taylor]: Taking taylor expansion of -1 in c 12.101 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.101 * [taylor]: Taking taylor expansion of 1/3 in c 12.101 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.101 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.101 * [taylor]: Taking taylor expansion of c in c 12.173 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 12.173 * [approximate]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in (c b) around 0 12.173 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b 12.173 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b 12.174 * [taylor]: Taking taylor expansion of 3 in b 12.174 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b 12.174 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 12.174 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 12.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 12.174 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 12.174 * [taylor]: Taking taylor expansion of 1/3 in b 12.174 * [taylor]: Taking taylor expansion of (log c) in b 12.174 * [taylor]: Taking taylor expansion of c in b 12.174 * [taylor]: Taking taylor expansion of b in b 12.174 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b 12.174 * [taylor]: Taking taylor expansion of 1.5 in b 12.174 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 12.174 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 12.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 12.174 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 12.174 * [taylor]: Taking taylor expansion of 1/3 in b 12.174 * [taylor]: Taking taylor expansion of (log c) in b 12.174 * [taylor]: Taking taylor expansion of c in b 12.174 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c 12.174 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c 12.174 * [taylor]: Taking taylor expansion of 3 in c 12.174 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c 12.174 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 12.174 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 12.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 12.174 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 12.174 * [taylor]: Taking taylor expansion of 1/3 in c 12.174 * [taylor]: Taking taylor expansion of (log c) in c 12.174 * [taylor]: Taking taylor expansion of c in c 12.175 * [taylor]: Taking taylor expansion of b in c 12.175 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c 12.175 * [taylor]: Taking taylor expansion of 1.5 in c 12.176 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 12.176 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 12.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 12.176 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 12.176 * [taylor]: Taking taylor expansion of 1/3 in c 12.176 * [taylor]: Taking taylor expansion of (log c) in c 12.176 * [taylor]: Taking taylor expansion of c in c 12.176 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c 12.176 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c 12.176 * [taylor]: Taking taylor expansion of 3 in c 12.176 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c 12.176 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 12.176 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 12.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 12.176 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 12.176 * [taylor]: Taking taylor expansion of 1/3 in c 12.176 * [taylor]: Taking taylor expansion of (log c) in c 12.176 * [taylor]: Taking taylor expansion of c in c 12.177 * [taylor]: Taking taylor expansion of b in c 12.177 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c 12.177 * [taylor]: Taking taylor expansion of 1.5 in c 12.177 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c 12.177 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 12.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 12.177 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 12.177 * [taylor]: Taking taylor expansion of 1/3 in c 12.177 * [taylor]: Taking taylor expansion of (log c) in c 12.177 * [taylor]: Taking taylor expansion of c in c 12.178 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b 12.178 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b 12.178 * [taylor]: Taking taylor expansion of 3 in b 12.179 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b 12.179 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 12.179 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 12.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 12.179 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 12.179 * [taylor]: Taking taylor expansion of 1/3 in b 12.179 * [taylor]: Taking taylor expansion of (log c) in b 12.179 * [taylor]: Taking taylor expansion of c in b 12.179 * [taylor]: Taking taylor expansion of b in b 12.179 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b 12.179 * [taylor]: Taking taylor expansion of 1.5 in b 12.179 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b 12.179 * [taylor]: Taking taylor expansion of (pow c 1/3) in b 12.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b 12.179 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b 12.179 * [taylor]: Taking taylor expansion of 1/3 in b 12.179 * [taylor]: Taking taylor expansion of (log c) in b 12.179 * [taylor]: Taking taylor expansion of c in b 12.186 * [taylor]: Taking taylor expansion of 0 in b 12.208 * [taylor]: Taking taylor expansion of 0 in b 12.233 * [taylor]: Taking taylor expansion of 0 in b 12.233 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in (c b) around 0 12.233 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b 12.233 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b 12.233 * [taylor]: Taking taylor expansion of 3 in b 12.233 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b 12.234 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b 12.234 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.234 * [taylor]: Taking taylor expansion of 1/3 in b 12.234 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.234 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.234 * [taylor]: Taking taylor expansion of c in b 12.234 * [taylor]: Taking taylor expansion of b in b 12.234 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b 12.234 * [taylor]: Taking taylor expansion of 1.5 in b 12.234 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b 12.234 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.234 * [taylor]: Taking taylor expansion of 1/3 in b 12.234 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.234 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.234 * [taylor]: Taking taylor expansion of c in b 12.234 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c 12.234 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c 12.234 * [taylor]: Taking taylor expansion of 3 in c 12.234 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c 12.234 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 12.234 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.234 * [taylor]: Taking taylor expansion of 1/3 in c 12.234 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.234 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.234 * [taylor]: Taking taylor expansion of c in c 12.235 * [taylor]: Taking taylor expansion of b in c 12.236 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c 12.236 * [taylor]: Taking taylor expansion of 1.5 in c 12.236 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 12.236 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.236 * [taylor]: Taking taylor expansion of 1/3 in c 12.236 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.236 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.236 * [taylor]: Taking taylor expansion of c in c 12.237 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c 12.237 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c 12.237 * [taylor]: Taking taylor expansion of 3 in c 12.237 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c 12.237 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 12.237 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.237 * [taylor]: Taking taylor expansion of 1/3 in c 12.237 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.237 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.237 * [taylor]: Taking taylor expansion of c in c 12.238 * [taylor]: Taking taylor expansion of b in c 12.238 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c 12.238 * [taylor]: Taking taylor expansion of 1.5 in c 12.238 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c 12.238 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.238 * [taylor]: Taking taylor expansion of 1/3 in c 12.238 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.238 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.238 * [taylor]: Taking taylor expansion of c in c 12.239 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow c -1/3)) b)) (* 1.5 (log (pow c -1/3)))) in b 12.239 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow c -1/3)) b)) in b 12.239 * [taylor]: Taking taylor expansion of 3 in b 12.239 * [taylor]: Taking taylor expansion of (/ (log (pow c -1/3)) b) in b 12.239 * [taylor]: Taking taylor expansion of (log (pow c -1/3)) in b 12.239 * [taylor]: Taking taylor expansion of (pow c -1/3) in b 12.239 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log c))) in b 12.239 * [taylor]: Taking taylor expansion of (* -1/3 (log c)) in b 12.239 * [taylor]: Taking taylor expansion of -1/3 in b 12.239 * [taylor]: Taking taylor expansion of (log c) in b 12.239 * [taylor]: Taking taylor expansion of c in b 12.240 * [taylor]: Taking taylor expansion of b in b 12.240 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c -1/3))) in b 12.240 * [taylor]: Taking taylor expansion of 1.5 in b 12.240 * [taylor]: Taking taylor expansion of (log (pow c -1/3)) in b 12.240 * [taylor]: Taking taylor expansion of (pow c -1/3) in b 12.240 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log c))) in b 12.240 * [taylor]: Taking taylor expansion of (* -1/3 (log c)) in b 12.240 * [taylor]: Taking taylor expansion of -1/3 in b 12.240 * [taylor]: Taking taylor expansion of (log c) in b 12.240 * [taylor]: Taking taylor expansion of c in b 12.247 * [taylor]: Taking taylor expansion of 0 in b 12.262 * [taylor]: Taking taylor expansion of 0 in b 12.285 * [taylor]: Taking taylor expansion of 0 in b 12.329 * [taylor]: Taking taylor expansion of 0 in b 12.330 * [approximate]: 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 b) around 0 12.330 * [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 12.330 * [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 12.330 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in b 12.330 * [taylor]: Taking taylor expansion of 0.5 in b 12.330 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b 12.330 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b 12.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b 12.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b 12.330 * [taylor]: Taking taylor expansion of 1/3 in b 12.330 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 12.330 * [taylor]: Taking taylor expansion of (/ -1 c) in b 12.330 * [taylor]: Taking taylor expansion of -1 in b 12.330 * [taylor]: Taking taylor expansion of c in b 12.330 * [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 12.330 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b 12.331 * [taylor]: Taking taylor expansion of 2 in b 12.331 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b 12.331 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 12.331 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 12.331 * [taylor]: Taking taylor expansion of (cbrt -1) in b 12.331 * [taylor]: Taking taylor expansion of -1 in b 12.331 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.331 * [taylor]: Taking taylor expansion of 1/3 in b 12.331 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.331 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.331 * [taylor]: Taking taylor expansion of c in b 12.332 * [taylor]: Taking taylor expansion of b in b 12.333 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in b 12.333 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b 12.333 * [taylor]: Taking taylor expansion of 1.0 in b 12.333 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 12.333 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 12.333 * [taylor]: Taking taylor expansion of (cbrt -1) in b 12.333 * [taylor]: Taking taylor expansion of -1 in b 12.334 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.334 * [taylor]: Taking taylor expansion of 1/3 in b 12.334 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.334 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.334 * [taylor]: Taking taylor expansion of c in b 12.335 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in b 12.335 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in b 12.335 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in b 12.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in b 12.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in b 12.335 * [taylor]: Taking taylor expansion of 1/3 in b 12.335 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b 12.335 * [taylor]: Taking taylor expansion of (/ -1 c) in b 12.335 * [taylor]: Taking taylor expansion of -1 in b 12.335 * [taylor]: Taking taylor expansion of c in b 12.335 * [taylor]: Taking taylor expansion of b in b 12.335 * [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 12.335 * [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 12.335 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in c 12.335 * [taylor]: Taking taylor expansion of 0.5 in c 12.335 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c 12.335 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 12.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 12.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 12.335 * [taylor]: Taking taylor expansion of 1/3 in c 12.335 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 12.335 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.335 * [taylor]: Taking taylor expansion of -1 in c 12.335 * [taylor]: Taking taylor expansion of c in c 12.337 * [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 12.337 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c 12.337 * [taylor]: Taking taylor expansion of 2 in c 12.337 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c 12.337 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 12.337 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.337 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.337 * [taylor]: Taking taylor expansion of -1 in c 12.338 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.338 * [taylor]: Taking taylor expansion of 1/3 in c 12.338 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.338 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.338 * [taylor]: Taking taylor expansion of c in c 12.340 * [taylor]: Taking taylor expansion of b in c 12.340 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in c 12.340 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c 12.340 * [taylor]: Taking taylor expansion of 1.0 in c 12.340 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 12.340 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.340 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.340 * [taylor]: Taking taylor expansion of -1 in c 12.341 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.341 * [taylor]: Taking taylor expansion of 1/3 in c 12.341 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.341 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.341 * [taylor]: Taking taylor expansion of c in c 12.343 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in c 12.343 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c 12.343 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 12.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 12.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 12.343 * [taylor]: Taking taylor expansion of 1/3 in c 12.343 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 12.343 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.343 * [taylor]: Taking taylor expansion of -1 in c 12.343 * [taylor]: Taking taylor expansion of c in c 12.345 * [taylor]: Taking taylor expansion of b in c 12.345 * [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 12.345 * [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 12.345 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ -1 c) 1/3))) in c 12.345 * [taylor]: Taking taylor expansion of 0.5 in c 12.345 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c 12.345 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 12.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 12.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 12.346 * [taylor]: Taking taylor expansion of 1/3 in c 12.346 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 12.346 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.346 * [taylor]: Taking taylor expansion of -1 in c 12.346 * [taylor]: Taking taylor expansion of c in c 12.348 * [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 12.348 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c 12.348 * [taylor]: Taking taylor expansion of 2 in c 12.348 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c 12.348 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 12.348 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.348 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.348 * [taylor]: Taking taylor expansion of -1 in c 12.349 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.349 * [taylor]: Taking taylor expansion of 1/3 in c 12.349 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.349 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.349 * [taylor]: Taking taylor expansion of c in c 12.351 * [taylor]: Taking taylor expansion of b in c 12.351 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (/ (log (pow (/ -1 c) 1/3)) b)) in c 12.351 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c 12.351 * [taylor]: Taking taylor expansion of 1.0 in c 12.351 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c 12.351 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 12.351 * [taylor]: Taking taylor expansion of (cbrt -1) in c 12.351 * [taylor]: Taking taylor expansion of -1 in c 12.352 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 12.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 12.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 12.352 * [taylor]: Taking taylor expansion of 1/3 in c 12.352 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 12.352 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.352 * [taylor]: Taking taylor expansion of c in c 12.354 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 c) 1/3)) b) in c 12.354 * [taylor]: Taking taylor expansion of (log (pow (/ -1 c) 1/3)) in c 12.354 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 1/3) in c 12.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 c)))) in c 12.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 c))) in c 12.354 * [taylor]: Taking taylor expansion of 1/3 in c 12.354 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c 12.354 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.354 * [taylor]: Taking taylor expansion of -1 in c 12.354 * [taylor]: Taking taylor expansion of c in c 12.356 * [taylor]: Taking taylor expansion of b in c 12.363 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log c)) (* 1/3 (/ (log c) b))) (+ (* 0.16666666666666666 (log -1)) (+ (* 1/3 (/ (log -1) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)))))) in b 12.363 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log c)) (* 1/3 (/ (log c) b))) in b 12.364 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log c)) in b 12.364 * [taylor]: Taking taylor expansion of 0.16666666666666666 in b 12.364 * [taylor]: Taking taylor expansion of (log c) in b 12.364 * [taylor]: Taking taylor expansion of c in b 12.364 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log c) b)) in b 12.364 * [taylor]: Taking taylor expansion of 1/3 in b 12.364 * [taylor]: Taking taylor expansion of (/ (log c) b) in b 12.364 * [taylor]: Taking taylor expansion of (log c) in b 12.364 * [taylor]: Taking taylor expansion of c in b 12.364 * [taylor]: Taking taylor expansion of b in b 12.364 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log -1)) (+ (* 1/3 (/ (log -1) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b))))) in b 12.364 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log -1)) in b 12.364 * [taylor]: Taking taylor expansion of 0.16666666666666666 in b 12.364 * [taylor]: Taking taylor expansion of (log -1) in b 12.364 * [taylor]: Taking taylor expansion of -1 in b 12.364 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log -1) b)) (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)))) in b 12.364 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log -1) b)) in b 12.364 * [taylor]: Taking taylor expansion of 1/3 in b 12.364 * [taylor]: Taking taylor expansion of (/ (log -1) b) in b 12.364 * [taylor]: Taking taylor expansion of (log -1) in b 12.364 * [taylor]: Taking taylor expansion of -1 in b 12.365 * [taylor]: Taking taylor expansion of b in b 12.365 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b))) in b 12.365 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b 12.365 * [taylor]: Taking taylor expansion of 1.0 in b 12.365 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 12.365 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 12.365 * [taylor]: Taking taylor expansion of (cbrt -1) in b 12.365 * [taylor]: Taking taylor expansion of -1 in b 12.366 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.366 * [taylor]: Taking taylor expansion of 1/3 in b 12.366 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.366 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.366 * [taylor]: Taking taylor expansion of c in b 12.367 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b 12.367 * [taylor]: Taking taylor expansion of 2 in b 12.367 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b 12.367 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b 12.367 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b 12.367 * [taylor]: Taking taylor expansion of (cbrt -1) in b 12.367 * [taylor]: Taking taylor expansion of -1 in b 12.368 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b 12.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b 12.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b 12.368 * [taylor]: Taking taylor expansion of 1/3 in b 12.368 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b 12.368 * [taylor]: Taking taylor expansion of (/ 1 c) in b 12.368 * [taylor]: Taking taylor expansion of c in b 12.369 * [taylor]: Taking taylor expansion of b in b 12.402 * [taylor]: Taking taylor expansion of 0 in b 12.445 * [taylor]: Taking taylor expansion of 0 in b 12.512 * [taylor]: Taking taylor expansion of 0 in b 12.614 * [taylor]: Taking taylor expansion of 0 in b 12.617 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 12.617 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 12.617 * [taylor]: Taking taylor expansion of (* x (log y)) in y 12.617 * [taylor]: Taking taylor expansion of x in y 12.617 * [taylor]: Taking taylor expansion of (log y) in y 12.617 * [taylor]: Taking taylor expansion of y in y 12.617 * [taylor]: Taking taylor expansion of (* x (log y)) in x 12.617 * [taylor]: Taking taylor expansion of x in x 12.617 * [taylor]: Taking taylor expansion of (log y) in x 12.617 * [taylor]: Taking taylor expansion of y in x 12.617 * [taylor]: Taking taylor expansion of (* x (log y)) in x 12.617 * [taylor]: Taking taylor expansion of x in x 12.617 * [taylor]: Taking taylor expansion of (log y) in x 12.617 * [taylor]: Taking taylor expansion of y in x 12.618 * [taylor]: Taking taylor expansion of 0 in y 12.618 * [taylor]: Taking taylor expansion of (log y) in y 12.619 * [taylor]: Taking taylor expansion of y in y 12.621 * [taylor]: Taking taylor expansion of 0 in y 12.624 * [taylor]: Taking taylor expansion of 0 in y 12.625 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 12.625 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 12.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.625 * [taylor]: Taking taylor expansion of y in y 12.625 * [taylor]: Taking taylor expansion of x in y 12.626 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 12.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.626 * [taylor]: Taking taylor expansion of y in x 12.626 * [taylor]: Taking taylor expansion of x in x 12.626 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 12.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.626 * [taylor]: Taking taylor expansion of y in x 12.626 * [taylor]: Taking taylor expansion of x in x 12.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.626 * [taylor]: Taking taylor expansion of y in y 12.628 * [taylor]: Taking taylor expansion of 0 in y 12.631 * [taylor]: Taking taylor expansion of 0 in y 12.636 * [taylor]: Taking taylor expansion of 0 in y 12.637 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 12.637 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 12.637 * [taylor]: Taking taylor expansion of -1 in y 12.637 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 12.637 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.637 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.637 * [taylor]: Taking taylor expansion of -1 in y 12.637 * [taylor]: Taking taylor expansion of y in y 12.637 * [taylor]: Taking taylor expansion of x in y 12.639 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 12.639 * [taylor]: Taking taylor expansion of -1 in x 12.639 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 12.639 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.639 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.639 * [taylor]: Taking taylor expansion of -1 in x 12.639 * [taylor]: Taking taylor expansion of y in x 12.639 * [taylor]: Taking taylor expansion of x in x 12.639 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 12.639 * [taylor]: Taking taylor expansion of -1 in x 12.639 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 12.639 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.639 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.639 * [taylor]: Taking taylor expansion of -1 in x 12.639 * [taylor]: Taking taylor expansion of y in x 12.639 * [taylor]: Taking taylor expansion of x in x 12.639 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 12.639 * [taylor]: Taking taylor expansion of -1 in y 12.639 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.639 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.639 * [taylor]: Taking taylor expansion of -1 in y 12.639 * [taylor]: Taking taylor expansion of y in y 12.643 * [taylor]: Taking taylor expansion of 0 in y 12.647 * [taylor]: Taking taylor expansion of 0 in y 12.663 * [taylor]: Taking taylor expansion of 0 in y 12.663 * * * [progress]: simplifying candidates 12.665 * [simplify]: Simplifying using # : (* (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 (* (* 2 (log (cbrt c))) (- b 0.5))) (exp (* (- b 0.5) (log (pow c 1/3))))) (log (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))) (exp (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))) (* (cbrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))) (cbrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3)))))) (cbrt (+ (* (* 2 (log (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)))) (+ (* (* 2 (log (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))))) (sqrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))) (sqrt (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c 1/3))))) (+ (* (* (* 2 (log (cbrt c))) (- (pow b 3) (pow 0.5 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)) (log (pow c 1/3))))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (+ (* (* (* 2 (log (cbrt c))) (- (pow b 3) (pow 0.5 3))) (+ 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)) (+ (* (* (* 2 (log (cbrt c))) (- (* b b) (* 0.5 0.5))) (+ (* 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)))) (+ (* (* (* 2 (log (cbrt c))) (- (* b b) (* 0.5 0.5))) (+ b 0.5)) (* (+ b 0.5) (* (- (* b b) (* 0.5 0.5)) (log (pow c 1/3))))) (* (+ b 0.5) (+ b 0.5)) (+ (pow (* (* 2 (log (cbrt c))) (- b 0.5)) 3) (pow (* (- b 0.5) (log (pow c 1/3))) 3)) (+ (* (* (* 2 (log (cbrt c))) (- b 0.5)) (* (* 2 (log (cbrt c))) (- b 0.5))) (- (* (* (- b 0.5) (log (pow c 1/3))) (* (- 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 c))) (- b 0.5)) (* (* 2 (log (cbrt c))) (- b 0.5))) (* (* (- b 0.5) (log (pow c 1/3))) (* (- 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 c))) (- b 0.5)) (* (- b 0.5) (log (pow (* (cbrt c) (cbrt c)) 1/3)))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow (sqrt c) 1/3)))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow 1 1/3)))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (* (cbrt (pow c 1/3)) (cbrt (pow c 1/3)))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (sqrt (pow c 1/3))))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log 1))) (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (pow c (/ 1/3 2))))) (+ (* (* 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))) (- 0.5)) (* (- b 0.5) (log (pow c 1/3)))) (+ (* (* 2 (log (cbrt c))) (- 0.5)) (* (- b 0.5) (log (pow c 1/3)))) (+ (* (- 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3)))) (+ (* (- 0.5) (* 2 (log (cbrt c)))) (* (- 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)) (pow c 1/3) (pow (/ 1 c) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 c))))) (pow c 1/3) (pow (/ 1 c) -1/3) (* (pow (* -1 c) 1/3) (cbrt -1)) (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) (- (* 3 (* b (log (pow (/ 1 c) -1/3)))) (* 1.5 (log (pow (/ 1 c) -1/3)))) (- (+ (* 0.16666666666666666 (log (/ -1 c))) (+ (* 1/3 (* (log -1) b)) (* 2 (* b (log (* (pow (* -1 c) 1/3) (cbrt -1))))))) (+ (* 0.16666666666666666 (log -1)) (+ (* 1/3 (* (log (/ -1 c)) b)) (* 1.0 (log (* (pow (* -1 c) 1/3) (cbrt -1))))))) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) 12.670 * * [simplify]: iteration 0 : 231 enodes (cost 1388 ) 12.724 * * [simplify]: iteration 1 : 577 enodes (cost 1200 ) 12.894 * * [simplify]: iteration 2 : 1808 enodes (cost 1009 ) 13.393 * * [simplify]: iteration done : 5000 enodes (cost 1009 ) 13.393 * [simplify]: Simplified to: (log (cbrt c)) (log (cbrt c)) 1/3 (pow c (* (cbrt 1/3) (cbrt 1/3))) (pow c (sqrt 1/3)) c (cbrt (pow c 2/3)) (cbrt (cbrt c)) (cbrt (sqrt c)) (cbrt (sqrt c)) 1 (cbrt c) (log (cbrt c)) (exp (cbrt c)) (pow (cbrt c) 2/3) (cbrt (cbrt c)) (pow (cbrt c) 3) (sqrt (cbrt c)) (sqrt (cbrt c)) (pow c 1/6) (pow c 1/6) (log (cbrt c)) (exp (cbrt c)) (cbrt (pow c 2/3)) (cbrt (cbrt c)) (cbrt (sqrt c)) (cbrt (sqrt c)) 1 (cbrt c) (pow (cbrt c) 2/3) (cbrt (cbrt c)) (pow (cbrt c) 3) (sqrt (cbrt c)) (sqrt (cbrt c)) (exp (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (log (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (exp (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (* (cbrt (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (cbrt (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c)))))) (cbrt (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (pow (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c)))) 3) (sqrt (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (sqrt (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ (* (- (pow b 3) (pow 0.5 3)) (* 2/3 (log c))) (* (log (cbrt c)) (- (pow b 3) (pow 0.5 3))))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ (* b b) (* 0.5 (+ b 0.5)))) (+ (* (* (+ (* b b) (* 0.5 (+ b 0.5))) (- (* b b) (* 0.5 0.5))) (log (cbrt c))) (* (* (- (pow b 3) (pow 0.5 3)) (* 2/3 (log c))) (+ b 0.5))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ b 0.5)) (+ (* (+ b 0.5) (* (log (cbrt c)) (- (pow b 3) (pow 0.5 3)))) (* (* (- (* b b) (* 0.5 0.5)) (* 2/3 (log c))) (+ (* b b) (* 0.5 (+ b 0.5))))) (* (+ (* b b) (* 0.5 (+ b 0.5))) (+ b 0.5)) (* (+ b 0.5) (+ (* (log (cbrt c)) (- (* b b) (* 0.5 0.5))) (* (- (* b b) (* 0.5 0.5)) (* 2/3 (log c))))) (* (+ b 0.5) (+ b 0.5)) (+ (pow (* (- b 0.5) (* 2/3 (log c))) 3) (pow (* (- b 0.5) (log (cbrt c))) 3)) (+ (* (* (- b 0.5) (- b 0.5)) (* (* 2/3 (log c)) (* 2/3 (log c)))) (* (- b 0.5) (* (log (cbrt c)) (* (- b 0.5) (- (log (cbrt c)) (log (pow c 2/3))))))) (* (* (- b 0.5) (- (log (pow c 2/3)) (log (cbrt c)))) (* (- b 0.5) (+ (log (pow c 2/3)) (log (cbrt c))))) (* (- b 0.5) (- (log (pow c 2/3)) (log (cbrt c)))) (* (- b 0.5) (+ (log (pow c 2/3)) (log (pow (cbrt c) 2/3)))) (* (- b 0.5) (+ (* 2/3 (log c)) (log (cbrt (sqrt c))))) (* (- b 0.5) (* 2/3 (log c))) (* (- b 0.5) (+ (log (pow c 2/3)) (log (pow (cbrt c) 2/3)))) (* (- b 0.5) (+ (log (sqrt (cbrt c))) (log (pow c 2/3)))) (* (- b 0.5) (* 2/3 (log c))) (* (- b 0.5) (+ (* 1/6 (log c)) (log (pow c 2/3)))) (* (- b 0.5) (+ (log (pow c 2/3)) (log (pow (cbrt c) 2/3)))) (* (- b 0.5) (+ (* 2/3 (log c)) (log (cbrt (sqrt c))))) (* (- b 0.5) (* 2/3 (log c))) (* (- b 0.5) (+ (log (pow c 2/3)) (log (pow (cbrt c) 2/3)))) (* (- b 0.5) (+ (log (sqrt (cbrt c))) (log (pow c 2/3)))) (* (- b 0.5) (* 2/3 (log c))) (* (- b 0.5) (+ (* 1/6 (log c)) (log (pow c 2/3)))) (- (* (- b 0.5) (log (cbrt c))) (* (* 2/3 (log c)) 0.5)) (- (* (- b 0.5) (log (cbrt c))) (* (* 2/3 (log c)) 0.5)) (- (* (- b 0.5) (log (cbrt c))) (* (* 2/3 (log c)) 0.5)) (- (* (- b 0.5) (log (cbrt c))) (* (* 2/3 (log c)) 0.5)) (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (* (pow (log y) 3) (pow x 3)) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (pow (log y) 3) (pow x 3)) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* 0 x) (* x (log y)) (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* 0 x) (* 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)) (cbrt c) (pow (/ 1 c) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 c))))) (cbrt c) (pow (/ 1 c) -1/3) (* (cbrt -1) (cbrt (- c))) (- (* b (* 1 (log c))) (* (log (cbrt c)) 1.5)) (* (* (- (log c)) -1/3) (- (* 3 b) 1.5)) (- (+ (+ (* 0.16666666666666666 (log (/ -1 c))) (* 1/3 (* (log -1) b))) (* (* 2 b) (log (* (cbrt -1) (cbrt (- c)))))) (+ (+ (* 0.16666666666666666 (log -1)) (* 1/3 (* (log (/ -1 c)) b))) (* (log (* (cbrt -1) (cbrt (- c)))) 1.0))) (* x (log y)) (- (* x (- (log y)))) (* (- (log -1) (log (/ -1 y))) x) 13.394 * * * [progress]: adding candidates to table 13.954 * * [progress]: iteration 4 / 4 13.954 * * * [progress]: picking best candidate 13.991 * * * * [pick]: Picked # 13.991 * * * [progress]: localizing error 14.024 * * * [progress]: generating rewritten candidates 14.024 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 1 2) 14.025 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1 2) 14.026 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 1 1 1) 14.027 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1) 14.028 * * * [progress]: generating series expansions 14.028 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 1 2) 14.028 * [approximate]: Taking taylor expansion of (pow c 1/9) in (c) around 0 14.028 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.028 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.028 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.029 * [taylor]: Taking taylor expansion of 1/9 in c 14.029 * [taylor]: Taking taylor expansion of (log c) in c 14.029 * [taylor]: Taking taylor expansion of c in c 14.029 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.030 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.030 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.030 * [taylor]: Taking taylor expansion of 1/9 in c 14.030 * [taylor]: Taking taylor expansion of (log c) in c 14.030 * [taylor]: Taking taylor expansion of c in c 14.085 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/9) in (c) around 0 14.085 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.085 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.085 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.085 * [taylor]: Taking taylor expansion of 1/9 in c 14.085 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.085 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.085 * [taylor]: Taking taylor expansion of c in c 14.086 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.086 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.086 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.086 * [taylor]: Taking taylor expansion of 1/9 in c 14.086 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.086 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.086 * [taylor]: Taking taylor expansion of c in c 14.145 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in (c) around 0 14.145 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.145 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.145 * [taylor]: Taking taylor expansion of 1/3 in c 14.145 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.145 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.145 * [taylor]: Taking taylor expansion of -1 in c 14.149 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.149 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.149 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.149 * [taylor]: Taking taylor expansion of 1/9 in c 14.149 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.149 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.149 * [taylor]: Taking taylor expansion of c in c 14.150 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.150 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.150 * [taylor]: Taking taylor expansion of 1/3 in c 14.150 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.150 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.150 * [taylor]: Taking taylor expansion of -1 in c 14.153 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.153 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.153 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.153 * [taylor]: Taking taylor expansion of 1/9 in c 14.153 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.154 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.154 * [taylor]: Taking taylor expansion of c in c 14.283 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1 2) 14.283 * [approximate]: Taking taylor expansion of (pow c 1/9) in (c) around 0 14.283 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.283 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.283 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.283 * [taylor]: Taking taylor expansion of 1/9 in c 14.283 * [taylor]: Taking taylor expansion of (log c) in c 14.283 * [taylor]: Taking taylor expansion of c in c 14.284 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.284 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.284 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.284 * [taylor]: Taking taylor expansion of 1/9 in c 14.284 * [taylor]: Taking taylor expansion of (log c) in c 14.284 * [taylor]: Taking taylor expansion of c in c 14.332 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/9) in (c) around 0 14.332 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.332 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.332 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.332 * [taylor]: Taking taylor expansion of 1/9 in c 14.332 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.332 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.332 * [taylor]: Taking taylor expansion of c in c 14.333 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.333 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.333 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.333 * [taylor]: Taking taylor expansion of 1/9 in c 14.333 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.333 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.333 * [taylor]: Taking taylor expansion of c in c 14.390 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in (c) around 0 14.390 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.390 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.391 * [taylor]: Taking taylor expansion of 1/3 in c 14.391 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.391 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.391 * [taylor]: Taking taylor expansion of -1 in c 14.394 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.394 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.394 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.394 * [taylor]: Taking taylor expansion of 1/9 in c 14.394 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.394 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.394 * [taylor]: Taking taylor expansion of c in c 14.395 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.395 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.395 * [taylor]: Taking taylor expansion of 1/3 in c 14.395 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.395 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.395 * [taylor]: Taking taylor expansion of -1 in c 14.399 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.399 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.399 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.399 * [taylor]: Taking taylor expansion of 1/9 in c 14.399 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.399 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.399 * [taylor]: Taking taylor expansion of c in c 14.527 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 1 1 1) 14.528 * [approximate]: Taking taylor expansion of (pow c 1/9) in (c) around 0 14.528 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.528 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.528 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.528 * [taylor]: Taking taylor expansion of 1/9 in c 14.528 * [taylor]: Taking taylor expansion of (log c) in c 14.528 * [taylor]: Taking taylor expansion of c in c 14.528 * [taylor]: Taking taylor expansion of (pow c 1/9) in c 14.528 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log c))) in c 14.528 * [taylor]: Taking taylor expansion of (* 1/9 (log c)) in c 14.528 * [taylor]: Taking taylor expansion of 1/9 in c 14.528 * [taylor]: Taking taylor expansion of (log c) in c 14.528 * [taylor]: Taking taylor expansion of c in c 14.577 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/9) in (c) around 0 14.577 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.577 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.577 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.577 * [taylor]: Taking taylor expansion of 1/9 in c 14.577 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.577 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.577 * [taylor]: Taking taylor expansion of c in c 14.578 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.578 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.578 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.578 * [taylor]: Taking taylor expansion of 1/9 in c 14.578 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.578 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.578 * [taylor]: Taking taylor expansion of c in c 14.637 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in (c) around 0 14.637 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.637 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.637 * [taylor]: Taking taylor expansion of 1/3 in c 14.637 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.637 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.637 * [taylor]: Taking taylor expansion of -1 in c 14.641 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.641 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.641 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.641 * [taylor]: Taking taylor expansion of 1/9 in c 14.641 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.641 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.641 * [taylor]: Taking taylor expansion of c in c 14.642 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 c) 1/9)) in c 14.642 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in c 14.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in c 14.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in c 14.642 * [taylor]: Taking taylor expansion of 1/3 in c 14.642 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in c 14.642 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.642 * [taylor]: Taking taylor expansion of -1 in c 14.646 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/9) in c 14.646 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 c)))) in c 14.646 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 c))) in c 14.646 * [taylor]: Taking taylor expansion of 1/9 in c 14.646 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.646 * [taylor]: Taking taylor expansion of c in c 14.777 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1) 14.777 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0 14.777 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 14.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 14.777 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 14.777 * [taylor]: Taking taylor expansion of 1/3 in c 14.778 * [taylor]: Taking taylor expansion of (log c) in c 14.778 * [taylor]: Taking taylor expansion of c in c 14.778 * [taylor]: Taking taylor expansion of (pow c 1/3) in c 14.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c 14.778 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c 14.778 * [taylor]: Taking taylor expansion of 1/3 in c 14.778 * [taylor]: Taking taylor expansion of (log c) in c 14.778 * [taylor]: Taking taylor expansion of c in c 14.833 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0 14.833 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 14.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 14.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 14.833 * [taylor]: Taking taylor expansion of 1/3 in c 14.833 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.833 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.833 * [taylor]: Taking taylor expansion of c in c 14.834 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 14.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 14.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 14.834 * [taylor]: Taking taylor expansion of 1/3 in c 14.834 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.834 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.834 * [taylor]: Taking taylor expansion of c in c 14.888 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0 14.888 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 14.888 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.888 * [taylor]: Taking taylor expansion of -1 in c 14.889 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 14.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 14.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 14.889 * [taylor]: Taking taylor expansion of 1/3 in c 14.889 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.889 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.889 * [taylor]: Taking taylor expansion of c in c 14.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c 14.890 * [taylor]: Taking taylor expansion of (cbrt -1) in c 14.890 * [taylor]: Taking taylor expansion of -1 in c 14.890 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c 14.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c 14.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c 14.890 * [taylor]: Taking taylor expansion of 1/3 in c 14.890 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 14.890 * [taylor]: Taking taylor expansion of (/ 1 c) in c 14.890 * [taylor]: Taking taylor expansion of c in c 14.960 * * * [progress]: simplifying candidates 14.961 * [simplify]: Simplifying using # : (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (* (cbrt c) (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt 1)) (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt 1) (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (* (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (* (cbrt c) (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt 1)) (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt 1) (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (* (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (* (cbrt c) (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt 1)) (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt 1) (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (* (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (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)) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (* -1 c) 1/9) (pow (cbrt -1) 1/3)) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (* -1 c) 1/9) (pow (cbrt -1) 1/3)) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (* -1 c) 1/9) (pow (cbrt -1) 1/3)) (pow c 1/3) (pow (/ 1 c) -1/3) (* (pow (* -1 c) 1/3) (cbrt -1)) 14.963 * * [simplify]: iteration 0 : 42 enodes (cost 389 ) 14.970 * * [simplify]: iteration 1 : 75 enodes (cost 370 ) 14.988 * * [simplify]: iteration 2 : 147 enodes (cost 340 ) 15.012 * * [simplify]: iteration 3 : 306 enodes (cost 328 ) 15.081 * * [simplify]: iteration 4 : 845 enodes (cost 328 ) 15.690 * * [simplify]: iteration 5 : 3485 enodes (cost 328 ) 17.071 * * [simplify]: iteration done : 5000 enodes (cost 328 ) 17.072 * [simplify]: Simplified to: (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (pow c 2/3))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) 1 (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) 1 (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt c) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (pow c 2/3))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) 1 (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) 1 (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt c) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (log (cbrt (cbrt c))) (exp (cbrt (cbrt c))) (cbrt (cbrt (pow c 2/3))) (cbrt (cbrt (cbrt c))) (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))) 1 (cbrt (cbrt c)) (cbrt (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt (sqrt (cbrt c))) (cbrt (sqrt (cbrt c))) 1 (cbrt (cbrt c)) (* (cbrt (cbrt (cbrt c))) (cbrt (cbrt (cbrt c)))) (cbrt (cbrt (cbrt c))) (cbrt c) (sqrt (cbrt (cbrt c))) (sqrt (cbrt (cbrt c))) (log (cbrt c)) (exp (cbrt c)) (cbrt (pow c 2/3)) (cbrt (cbrt c)) (cbrt (sqrt c)) (cbrt (sqrt c)) 1 (cbrt c) (* (cbrt (cbrt c)) (cbrt (cbrt c))) (cbrt (cbrt c)) c (sqrt (cbrt c)) (sqrt (cbrt c)) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (- c) 1/9) (cbrt (cbrt -1))) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (- c) 1/9) (cbrt (cbrt -1))) (pow c 1/9) (pow (/ 1 c) -1/9) (* (pow (- c) 1/9) (cbrt (cbrt -1))) (cbrt c) (pow (/ 1 c) -1/3) (* (cbrt (- c)) (cbrt -1)) 17.072 * * * [progress]: adding candidates to table 17.482 * [progress]: [Phase 3 of 3] Extracting. 17.482 * * [regime]: Finding splitpoints for: (# # # # # # #) 17.489 * * * [regime-changes]: Trying 11 branch expressions: ((log c) (- b 0.5) (* (- b 0.5) (log c)) i c b a t z y x) 17.489 * * * * [regimes]: Trying to branch on (log c) from (# # # # # # #) 17.551 * * * * [regimes]: Trying to branch on (log c) from (# # # #) 17.586 * * * * [regimes]: Trying to branch on (- b 0.5) from (# # # # # # #) 17.640 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (# # # # # # #) 17.696 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (# # #) 17.730 * * * * [regimes]: Trying to branch on i from (# # # # # # #) 17.781 * * * * [regimes]: Trying to branch on c from (# # # # # # #) 17.833 * * * * [regimes]: Trying to branch on b from (# # # # # # #) 17.883 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 17.934 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 17.984 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 18.036 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 18.087 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 18.331 * * * [regime]: Found split indices: #