12.960 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.035 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.036 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.038 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 0.047 * * [simplify]: iteration 3 : 163 enodes (cost 12 ) 0.091 * * [simplify]: iteration 4 : 484 enodes (cost 12 ) 0.197 * * [simplify]: iteration 5 : 874 enodes (cost 12 ) 0.430 * * [simplify]: iteration 6 : 1423 enodes (cost 12 ) 0.895 * * [simplify]: iteration 7 : 1994 enodes (cost 12 ) 1.540 * * [simplify]: iteration 8 : 2166 enodes (cost 12 ) 2.265 * * [simplify]: iteration 9 : 2268 enodes (cost 12 ) 3.056 * * [simplify]: iteration 10 : 2463 enodes (cost 12 ) 3.997 * * [simplify]: iteration 11 : 2556 enodes (cost 12 ) 5.116 * * [simplify]: iteration 12 : 2651 enodes (cost 12 ) 6.426 * * [simplify]: iteration 13 : 2783 enodes (cost 12 ) 8.147 * * [simplify]: iteration 14 : 2898 enodes (cost 12 ) 9.978 * * [simplify]: iteration 15 : 2902 enodes (cost 12 ) 11.851 * * [simplify]: iteration done : 2902 enodes (cost 12 ) 11.852 * [simplify]: Simplified to: (- (+ (- x (* (+ y 0.5) (log y))) y) z) 11.852 * * [progress]: iteration 1 / 4 11.852 * * * [progress]: picking best candidate 11.854 * * * * [pick]: Picked # 11.854 * * * [progress]: localizing error 11.863 * * * [progress]: generating rewritten candidates 11.863 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 11.874 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 11.883 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 11.938 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 11.943 * * * [progress]: generating series expansions 11.943 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 11.943 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 11.943 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 11.943 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.943 * [taylor]: Taking taylor expansion of y in y 11.943 * [taylor]: Taking taylor expansion of 0.5 in y 11.943 * [taylor]: Taking taylor expansion of (log y) in y 11.943 * [taylor]: Taking taylor expansion of y in y 11.944 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 11.944 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.944 * [taylor]: Taking taylor expansion of y in y 11.944 * [taylor]: Taking taylor expansion of 0.5 in y 11.944 * [taylor]: Taking taylor expansion of (log y) in y 11.944 * [taylor]: Taking taylor expansion of y in y 12.011 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 12.012 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 12.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.012 * [taylor]: Taking taylor expansion of y in y 12.012 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 12.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.012 * [taylor]: Taking taylor expansion of y in y 12.012 * [taylor]: Taking taylor expansion of 0.5 in y 12.012 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 12.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.012 * [taylor]: Taking taylor expansion of y in y 12.013 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 12.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.013 * [taylor]: Taking taylor expansion of y in y 12.013 * [taylor]: Taking taylor expansion of 0.5 in y 12.086 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 12.086 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 12.086 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 12.086 * [taylor]: Taking taylor expansion of 0.5 in y 12.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.086 * [taylor]: Taking taylor expansion of y in y 12.086 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.086 * [taylor]: Taking taylor expansion of -1 in y 12.086 * [taylor]: Taking taylor expansion of y in y 12.087 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 12.087 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 12.087 * [taylor]: Taking taylor expansion of 0.5 in y 12.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.087 * [taylor]: Taking taylor expansion of y in y 12.087 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.087 * [taylor]: Taking taylor expansion of -1 in y 12.087 * [taylor]: Taking taylor expansion of y in y 12.171 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 12.171 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 12.171 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 12.171 * [taylor]: Taking taylor expansion of (+ x y) in y 12.171 * [taylor]: Taking taylor expansion of x in y 12.171 * [taylor]: Taking taylor expansion of y in y 12.171 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.171 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.171 * [taylor]: Taking taylor expansion of 0.5 in y 12.171 * [taylor]: Taking taylor expansion of (log y) in y 12.171 * [taylor]: Taking taylor expansion of y in y 12.172 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.172 * [taylor]: Taking taylor expansion of y in y 12.172 * [taylor]: Taking taylor expansion of (log y) in y 12.172 * [taylor]: Taking taylor expansion of y in y 12.172 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 12.172 * [taylor]: Taking taylor expansion of (+ x y) in x 12.172 * [taylor]: Taking taylor expansion of x in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.172 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.172 * [taylor]: Taking taylor expansion of 0.5 in x 12.172 * [taylor]: Taking taylor expansion of (log y) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (log y) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 12.172 * [taylor]: Taking taylor expansion of (+ x y) in x 12.172 * [taylor]: Taking taylor expansion of x in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.172 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.172 * [taylor]: Taking taylor expansion of 0.5 in x 12.172 * [taylor]: Taking taylor expansion of (log y) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.172 * [taylor]: Taking taylor expansion of (log y) in x 12.172 * [taylor]: Taking taylor expansion of y in x 12.173 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 12.173 * [taylor]: Taking taylor expansion of y in y 12.173 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.173 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.173 * [taylor]: Taking taylor expansion of 0.5 in y 12.173 * [taylor]: Taking taylor expansion of (log y) in y 12.173 * [taylor]: Taking taylor expansion of y in y 12.173 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.173 * [taylor]: Taking taylor expansion of y in y 12.173 * [taylor]: Taking taylor expansion of (log y) in y 12.173 * [taylor]: Taking taylor expansion of y in y 12.177 * [taylor]: Taking taylor expansion of 1 in y 12.180 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 12.180 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.180 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 12.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.180 * [taylor]: Taking taylor expansion of y in y 12.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.180 * [taylor]: Taking taylor expansion of x in y 12.180 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.180 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.180 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.180 * [taylor]: Taking taylor expansion of y in y 12.181 * [taylor]: Taking taylor expansion of y in y 12.181 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.181 * [taylor]: Taking taylor expansion of 0.5 in y 12.181 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.181 * [taylor]: Taking taylor expansion of y in y 12.182 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.182 * [taylor]: Taking taylor expansion of y in x 12.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.182 * [taylor]: Taking taylor expansion of x in x 12.182 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.182 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.182 * [taylor]: Taking taylor expansion of y in x 12.182 * [taylor]: Taking taylor expansion of y in x 12.182 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.182 * [taylor]: Taking taylor expansion of 0.5 in x 12.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.182 * [taylor]: Taking taylor expansion of y in x 12.182 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.182 * [taylor]: Taking taylor expansion of y in x 12.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.183 * [taylor]: Taking taylor expansion of x in x 12.183 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.183 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.183 * [taylor]: Taking taylor expansion of y in x 12.183 * [taylor]: Taking taylor expansion of y in x 12.183 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.183 * [taylor]: Taking taylor expansion of 0.5 in x 12.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.183 * [taylor]: Taking taylor expansion of y in x 12.184 * [taylor]: Taking taylor expansion of 1 in y 12.184 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.185 * [taylor]: Taking taylor expansion of y in y 12.185 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.185 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.185 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.185 * [taylor]: Taking taylor expansion of y in y 12.185 * [taylor]: Taking taylor expansion of y in y 12.186 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.186 * [taylor]: Taking taylor expansion of 0.5 in y 12.186 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.186 * [taylor]: Taking taylor expansion of y in y 12.189 * [taylor]: Taking taylor expansion of 0 in y 12.192 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 12.192 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 12.192 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.193 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.193 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.193 * [taylor]: Taking taylor expansion of -1 in y 12.193 * [taylor]: Taking taylor expansion of y in y 12.193 * [taylor]: Taking taylor expansion of y in y 12.194 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 12.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.194 * [taylor]: Taking taylor expansion of y in y 12.195 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 12.195 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.195 * [taylor]: Taking taylor expansion of 0.5 in y 12.195 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.195 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.195 * [taylor]: Taking taylor expansion of -1 in y 12.195 * [taylor]: Taking taylor expansion of y in y 12.195 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.195 * [taylor]: Taking taylor expansion of x in y 12.195 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.195 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.195 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.195 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.195 * [taylor]: Taking taylor expansion of -1 in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.196 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.196 * [taylor]: Taking taylor expansion of 0.5 in x 12.196 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.196 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.196 * [taylor]: Taking taylor expansion of -1 in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.196 * [taylor]: Taking taylor expansion of x in x 12.196 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.196 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.196 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.196 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.196 * [taylor]: Taking taylor expansion of -1 in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.197 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.197 * [taylor]: Taking taylor expansion of 0.5 in x 12.197 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.197 * [taylor]: Taking taylor expansion of -1 in x 12.197 * [taylor]: Taking taylor expansion of y in x 12.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.197 * [taylor]: Taking taylor expansion of x in x 12.198 * [taylor]: Taking taylor expansion of -1 in y 12.199 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 12.199 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.199 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.199 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.199 * [taylor]: Taking taylor expansion of -1 in y 12.199 * [taylor]: Taking taylor expansion of y in y 12.199 * [taylor]: Taking taylor expansion of y in y 12.201 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 12.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.201 * [taylor]: Taking taylor expansion of y in y 12.201 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.201 * [taylor]: Taking taylor expansion of 0.5 in y 12.201 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.201 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.201 * [taylor]: Taking taylor expansion of -1 in y 12.201 * [taylor]: Taking taylor expansion of y in y 12.205 * [taylor]: Taking taylor expansion of 0 in y 12.212 * * * * [progress]: [ 3 / 4 ] generating series at (2) 12.212 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 12.212 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 12.212 * [taylor]: Taking taylor expansion of (+ x y) in z 12.212 * [taylor]: Taking taylor expansion of x in z 12.212 * [taylor]: Taking taylor expansion of y in z 12.212 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 12.212 * [taylor]: Taking taylor expansion of z in z 12.212 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 12.212 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 12.212 * [taylor]: Taking taylor expansion of 0.5 in z 12.212 * [taylor]: Taking taylor expansion of (log y) in z 12.212 * [taylor]: Taking taylor expansion of y in z 12.212 * [taylor]: Taking taylor expansion of (* y (log y)) in z 12.212 * [taylor]: Taking taylor expansion of y in z 12.212 * [taylor]: Taking taylor expansion of (log y) in z 12.212 * [taylor]: Taking taylor expansion of y in z 12.212 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 12.212 * [taylor]: Taking taylor expansion of (+ x y) in y 12.212 * [taylor]: Taking taylor expansion of x in y 12.213 * [taylor]: Taking taylor expansion of y in y 12.213 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 12.213 * [taylor]: Taking taylor expansion of z in y 12.213 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.213 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.213 * [taylor]: Taking taylor expansion of 0.5 in y 12.213 * [taylor]: Taking taylor expansion of (log y) in y 12.213 * [taylor]: Taking taylor expansion of y in y 12.213 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.213 * [taylor]: Taking taylor expansion of y in y 12.213 * [taylor]: Taking taylor expansion of (log y) in y 12.213 * [taylor]: Taking taylor expansion of y in y 12.213 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 12.213 * [taylor]: Taking taylor expansion of (+ x y) in x 12.213 * [taylor]: Taking taylor expansion of x in x 12.213 * [taylor]: Taking taylor expansion of y in x 12.213 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 12.213 * [taylor]: Taking taylor expansion of z in x 12.213 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.213 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.213 * [taylor]: Taking taylor expansion of 0.5 in x 12.213 * [taylor]: Taking taylor expansion of (log y) in x 12.213 * [taylor]: Taking taylor expansion of y in x 12.213 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.213 * [taylor]: Taking taylor expansion of y in x 12.213 * [taylor]: Taking taylor expansion of (log y) in x 12.213 * [taylor]: Taking taylor expansion of y in x 12.214 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 12.214 * [taylor]: Taking taylor expansion of (+ x y) in x 12.214 * [taylor]: Taking taylor expansion of x in x 12.214 * [taylor]: Taking taylor expansion of y in x 12.214 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 12.214 * [taylor]: Taking taylor expansion of z in x 12.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.214 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.214 * [taylor]: Taking taylor expansion of 0.5 in x 12.214 * [taylor]: Taking taylor expansion of (log y) in x 12.214 * [taylor]: Taking taylor expansion of y in x 12.214 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.214 * [taylor]: Taking taylor expansion of y in x 12.214 * [taylor]: Taking taylor expansion of (log y) in x 12.214 * [taylor]: Taking taylor expansion of y in x 12.214 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 12.214 * [taylor]: Taking taylor expansion of y in y 12.214 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 12.214 * [taylor]: Taking taylor expansion of z in y 12.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.214 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.214 * [taylor]: Taking taylor expansion of 0.5 in y 12.214 * [taylor]: Taking taylor expansion of (log y) in y 12.214 * [taylor]: Taking taylor expansion of y in y 12.215 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.215 * [taylor]: Taking taylor expansion of y in y 12.215 * [taylor]: Taking taylor expansion of (log y) in y 12.215 * [taylor]: Taking taylor expansion of y in y 12.216 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 12.216 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 12.216 * [taylor]: Taking taylor expansion of z in z 12.216 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 12.216 * [taylor]: Taking taylor expansion of 0.5 in z 12.216 * [taylor]: Taking taylor expansion of (log y) in z 12.216 * [taylor]: Taking taylor expansion of y in z 12.219 * [taylor]: Taking taylor expansion of 1 in y 12.219 * [taylor]: Taking taylor expansion of 1 in z 12.221 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 12.221 * [taylor]: Taking taylor expansion of 1 in z 12.221 * [taylor]: Taking taylor expansion of (log y) in z 12.221 * [taylor]: Taking taylor expansion of y in z 12.222 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in (x y z) around 0 12.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 12.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 12.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.222 * [taylor]: Taking taylor expansion of y in z 12.222 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.222 * [taylor]: Taking taylor expansion of x in z 12.222 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 12.222 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 12.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 12.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.222 * [taylor]: Taking taylor expansion of y in z 12.222 * [taylor]: Taking taylor expansion of y in z 12.222 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 12.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.222 * [taylor]: Taking taylor expansion of z in z 12.222 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 12.222 * [taylor]: Taking taylor expansion of 0.5 in z 12.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 12.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.222 * [taylor]: Taking taylor expansion of y in z 12.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 12.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 12.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.223 * [taylor]: Taking taylor expansion of y in y 12.223 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.223 * [taylor]: Taking taylor expansion of x in y 12.223 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 12.223 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.223 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.223 * [taylor]: Taking taylor expansion of y in y 12.223 * [taylor]: Taking taylor expansion of y in y 12.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 12.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.224 * [taylor]: Taking taylor expansion of z in y 12.224 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.224 * [taylor]: Taking taylor expansion of 0.5 in y 12.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.224 * [taylor]: Taking taylor expansion of y in y 12.225 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 12.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.225 * [taylor]: Taking taylor expansion of y in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.225 * [taylor]: Taking taylor expansion of x in x 12.225 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 12.225 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.225 * [taylor]: Taking taylor expansion of y in x 12.225 * [taylor]: Taking taylor expansion of y in x 12.225 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.225 * [taylor]: Taking taylor expansion of z in x 12.225 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.225 * [taylor]: Taking taylor expansion of 0.5 in x 12.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.225 * [taylor]: Taking taylor expansion of y in x 12.225 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 12.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.226 * [taylor]: Taking taylor expansion of x in x 12.226 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 12.226 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.226 * [taylor]: Taking taylor expansion of z in x 12.226 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.226 * [taylor]: Taking taylor expansion of 0.5 in x 12.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.227 * [taylor]: Taking taylor expansion of 1 in y 12.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 12.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.228 * [taylor]: Taking taylor expansion of y in y 12.228 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 12.228 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.228 * [taylor]: Taking taylor expansion of y in y 12.229 * [taylor]: Taking taylor expansion of y in y 12.230 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 12.230 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.230 * [taylor]: Taking taylor expansion of z in y 12.230 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.230 * [taylor]: Taking taylor expansion of 0.5 in y 12.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.230 * [taylor]: Taking taylor expansion of y in y 12.230 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 12.230 * [taylor]: Taking taylor expansion of (log y) in z 12.230 * [taylor]: Taking taylor expansion of y in z 12.230 * [taylor]: Taking taylor expansion of 1 in z 12.230 * [taylor]: Taking taylor expansion of 1 in z 12.234 * [taylor]: Taking taylor expansion of 0 in y 12.236 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 12.236 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 12.236 * [taylor]: Taking taylor expansion of 0.5 in z 12.236 * [taylor]: Taking taylor expansion of (log y) in z 12.236 * [taylor]: Taking taylor expansion of y in z 12.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.236 * [taylor]: Taking taylor expansion of z in z 12.237 * [taylor]: Taking taylor expansion of 0 in z 12.238 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y z) around 0 12.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 12.238 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 12.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.238 * [taylor]: Taking taylor expansion of z in z 12.238 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 12.238 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 12.238 * [taylor]: Taking taylor expansion of (/ -1 y) in z 12.238 * [taylor]: Taking taylor expansion of -1 in z 12.238 * [taylor]: Taking taylor expansion of y in z 12.238 * [taylor]: Taking taylor expansion of y in z 12.238 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 12.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.239 * [taylor]: Taking taylor expansion of y in z 12.239 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 12.239 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 12.239 * [taylor]: Taking taylor expansion of 0.5 in z 12.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 12.239 * [taylor]: Taking taylor expansion of (/ -1 y) in z 12.239 * [taylor]: Taking taylor expansion of -1 in z 12.239 * [taylor]: Taking taylor expansion of y in z 12.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.239 * [taylor]: Taking taylor expansion of x in z 12.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 12.239 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 12.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.239 * [taylor]: Taking taylor expansion of z in y 12.239 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.239 * [taylor]: Taking taylor expansion of -1 in y 12.239 * [taylor]: Taking taylor expansion of y in y 12.239 * [taylor]: Taking taylor expansion of y in y 12.241 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 12.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.241 * [taylor]: Taking taylor expansion of y in y 12.241 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 12.241 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.241 * [taylor]: Taking taylor expansion of 0.5 in y 12.241 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.241 * [taylor]: Taking taylor expansion of -1 in y 12.241 * [taylor]: Taking taylor expansion of y in y 12.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.242 * [taylor]: Taking taylor expansion of x in y 12.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.242 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 12.242 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.242 * [taylor]: Taking taylor expansion of z in x 12.242 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.242 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.242 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.242 * [taylor]: Taking taylor expansion of -1 in x 12.242 * [taylor]: Taking taylor expansion of y in x 12.242 * [taylor]: Taking taylor expansion of y in x 12.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.242 * [taylor]: Taking taylor expansion of y in x 12.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.242 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.242 * [taylor]: Taking taylor expansion of 0.5 in x 12.242 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.242 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.242 * [taylor]: Taking taylor expansion of -1 in x 12.242 * [taylor]: Taking taylor expansion of y in x 12.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.242 * [taylor]: Taking taylor expansion of x in x 12.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.243 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 12.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.243 * [taylor]: Taking taylor expansion of z in x 12.243 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.243 * [taylor]: Taking taylor expansion of -1 in x 12.243 * [taylor]: Taking taylor expansion of y in x 12.243 * [taylor]: Taking taylor expansion of y in x 12.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.243 * [taylor]: Taking taylor expansion of y in x 12.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.243 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.243 * [taylor]: Taking taylor expansion of 0.5 in x 12.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.243 * [taylor]: Taking taylor expansion of -1 in x 12.243 * [taylor]: Taking taylor expansion of y in x 12.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.243 * [taylor]: Taking taylor expansion of x in x 12.244 * [taylor]: Taking taylor expansion of -1 in y 12.245 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 12.245 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 12.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.245 * [taylor]: Taking taylor expansion of z in y 12.245 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.245 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.245 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.245 * [taylor]: Taking taylor expansion of -1 in y 12.245 * [taylor]: Taking taylor expansion of y in y 12.246 * [taylor]: Taking taylor expansion of y in y 12.247 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 12.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.247 * [taylor]: Taking taylor expansion of y in y 12.248 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.248 * [taylor]: Taking taylor expansion of 0.5 in y 12.248 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.248 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.248 * [taylor]: Taking taylor expansion of -1 in y 12.248 * [taylor]: Taking taylor expansion of y in y 12.249 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 12.249 * [taylor]: Taking taylor expansion of (log -1) in z 12.249 * [taylor]: Taking taylor expansion of -1 in z 12.250 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 12.250 * [taylor]: Taking taylor expansion of (log y) in z 12.250 * [taylor]: Taking taylor expansion of y in z 12.250 * [taylor]: Taking taylor expansion of 1 in z 12.250 * [taylor]: Taking taylor expansion of -1 in z 12.253 * [taylor]: Taking taylor expansion of 0 in y 12.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 12.260 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 12.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.260 * [taylor]: Taking taylor expansion of z in z 12.261 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 12.261 * [taylor]: Taking taylor expansion of 0.5 in z 12.261 * [taylor]: Taking taylor expansion of (log y) in z 12.261 * [taylor]: Taking taylor expansion of y in z 12.261 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 12.261 * [taylor]: Taking taylor expansion of 0.5 in z 12.261 * [taylor]: Taking taylor expansion of (log -1) in z 12.261 * [taylor]: Taking taylor expansion of -1 in z 12.262 * [taylor]: Taking taylor expansion of 0 in z 12.263 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 12.263 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 12.263 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 12.263 * [taylor]: Taking taylor expansion of x in y 12.263 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.263 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.263 * [taylor]: Taking taylor expansion of 0.5 in y 12.263 * [taylor]: Taking taylor expansion of (log y) in y 12.263 * [taylor]: Taking taylor expansion of y in y 12.264 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.264 * [taylor]: Taking taylor expansion of y in y 12.264 * [taylor]: Taking taylor expansion of (log y) in y 12.264 * [taylor]: Taking taylor expansion of y in y 12.264 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 12.264 * [taylor]: Taking taylor expansion of x in x 12.264 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.264 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.264 * [taylor]: Taking taylor expansion of 0.5 in x 12.264 * [taylor]: Taking taylor expansion of (log y) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.264 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.264 * [taylor]: Taking taylor expansion of (log y) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.264 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 12.264 * [taylor]: Taking taylor expansion of x in x 12.264 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.264 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.264 * [taylor]: Taking taylor expansion of 0.5 in x 12.264 * [taylor]: Taking taylor expansion of (log y) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.264 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.264 * [taylor]: Taking taylor expansion of (log y) in x 12.264 * [taylor]: Taking taylor expansion of y in x 12.265 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 12.265 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 12.265 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.265 * [taylor]: Taking taylor expansion of y in y 12.265 * [taylor]: Taking taylor expansion of (log y) in y 12.265 * [taylor]: Taking taylor expansion of y in y 12.265 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.265 * [taylor]: Taking taylor expansion of 0.5 in y 12.265 * [taylor]: Taking taylor expansion of (log y) in y 12.265 * [taylor]: Taking taylor expansion of y in y 12.268 * [taylor]: Taking taylor expansion of 1 in y 12.271 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 12.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.271 * [taylor]: Taking taylor expansion of x in y 12.271 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.271 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.271 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.271 * [taylor]: Taking taylor expansion of y in y 12.272 * [taylor]: Taking taylor expansion of y in y 12.272 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.272 * [taylor]: Taking taylor expansion of 0.5 in y 12.272 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.272 * [taylor]: Taking taylor expansion of y in y 12.273 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.273 * [taylor]: Taking taylor expansion of x in x 12.273 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.273 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.273 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.273 * [taylor]: Taking taylor expansion of y in x 12.273 * [taylor]: Taking taylor expansion of y in x 12.273 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.273 * [taylor]: Taking taylor expansion of 0.5 in x 12.273 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.273 * [taylor]: Taking taylor expansion of y in x 12.273 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.273 * [taylor]: Taking taylor expansion of x in x 12.274 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.274 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.274 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.274 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.274 * [taylor]: Taking taylor expansion of y in x 12.274 * [taylor]: Taking taylor expansion of y in x 12.274 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.274 * [taylor]: Taking taylor expansion of 0.5 in x 12.274 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.274 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.274 * [taylor]: Taking taylor expansion of y in x 12.274 * [taylor]: Taking taylor expansion of 1 in y 12.275 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.275 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.275 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.275 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.275 * [taylor]: Taking taylor expansion of y in y 12.276 * [taylor]: Taking taylor expansion of y in y 12.276 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.276 * [taylor]: Taking taylor expansion of 0.5 in y 12.277 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.277 * [taylor]: Taking taylor expansion of y in y 12.280 * [taylor]: Taking taylor expansion of 0 in y 12.282 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 12.282 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 12.282 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.282 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.282 * [taylor]: Taking taylor expansion of -1 in y 12.282 * [taylor]: Taking taylor expansion of y in y 12.283 * [taylor]: Taking taylor expansion of y in y 12.284 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 12.284 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.284 * [taylor]: Taking taylor expansion of 0.5 in y 12.284 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.284 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.284 * [taylor]: Taking taylor expansion of -1 in y 12.284 * [taylor]: Taking taylor expansion of y in y 12.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.285 * [taylor]: Taking taylor expansion of x in y 12.285 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.285 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.285 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.285 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.285 * [taylor]: Taking taylor expansion of -1 in x 12.285 * [taylor]: Taking taylor expansion of y in x 12.285 * [taylor]: Taking taylor expansion of y in x 12.285 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.285 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.285 * [taylor]: Taking taylor expansion of 0.5 in x 12.285 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.285 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.285 * [taylor]: Taking taylor expansion of -1 in x 12.285 * [taylor]: Taking taylor expansion of y in x 12.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.285 * [taylor]: Taking taylor expansion of x in x 12.286 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.286 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.286 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.286 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.286 * [taylor]: Taking taylor expansion of -1 in x 12.286 * [taylor]: Taking taylor expansion of y in x 12.286 * [taylor]: Taking taylor expansion of y in x 12.286 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.286 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.286 * [taylor]: Taking taylor expansion of 0.5 in x 12.286 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.286 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.286 * [taylor]: Taking taylor expansion of -1 in x 12.286 * [taylor]: Taking taylor expansion of y in x 12.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.286 * [taylor]: Taking taylor expansion of x in x 12.287 * [taylor]: Taking taylor expansion of -1 in y 12.288 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 12.288 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.288 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.288 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.288 * [taylor]: Taking taylor expansion of -1 in y 12.288 * [taylor]: Taking taylor expansion of y in y 12.288 * [taylor]: Taking taylor expansion of y in y 12.290 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.290 * [taylor]: Taking taylor expansion of 0.5 in y 12.290 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.290 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.290 * [taylor]: Taking taylor expansion of -1 in y 12.290 * [taylor]: Taking taylor expansion of y in y 12.293 * [taylor]: Taking taylor expansion of 0 in y 12.299 * * * [progress]: simplifying candidates 12.300 * [simplify]: Simplifying using # : (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 12.304 * * [simplify]: iteration 0 : 172 enodes (cost 1294 ) 12.337 * * [simplify]: iteration 1 : 439 enodes (cost 1175 ) 12.428 * * [simplify]: iteration 2 : 1336 enodes (cost 1094 ) 12.746 * * [simplify]: iteration done : 5000 enodes (cost 1068 ) 12.746 * [simplify]: Simplified to: (* (log y) (+ y 0.5)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (log y) (+ y 0.5)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (log y) (+ y 0.5)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (log y) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (log y) (+ y 0.5)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (- (* y y) (* (- x (* (log y) (+ y 0.5))) (- y (- x (* (+ y 0.5) (log y)))))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (- (+ x y) (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* z z) (* (- (+ x y) (* (log y) (+ y 0.5))) (+ (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* (* (log y) (+ y 0.5)) (+ x (* (+ y 0.5) (log y)))) (* x x)) (* (- (log y)) (+ y 0.5)) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (* (- (log y)) (+ y 0.5)) (* (log y) (+ y 0.5)) (- (* (- (log y)) (+ y 0.5))) (* (+ y 0.5) (+ (- (log (/ -1 y))) (log -1))) (- (+ x y) (* (log y) (+ y 0.5))) (- (+ x y) (* (log y) (+ y 0.5))) (+ (+ y (* (+ y 0.5) (- (* (log (/ -1 y)) 1) (log -1)))) x) (- (+ x y) (* (log y) (+ y 0.5))) (- (- (+ x y) (* y (log y))) z) (- (* y (- (+ (log (/ -1 y)) 1) (log -1))) (- z x)) (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5))) (+ (* (+ y 0.5) (- (* (log (/ -1 y)) 1) (log -1))) x) 12.747 * * * [progress]: adding candidates to table 12.959 * * [progress]: iteration 2 / 4 12.959 * * * [progress]: picking best candidate 12.975 * * * * [pick]: Picked # 12.975 * * * [progress]: localizing error 12.993 * * * [progress]: generating rewritten candidates 12.993 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 12.993 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 12.994 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 13.006 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 13.021 * * * [progress]: generating series expansions 13.021 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 13.021 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.022 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.022 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.022 * [taylor]: Taking taylor expansion of 1/3 in y 13.022 * [taylor]: Taking taylor expansion of (log y) in y 13.022 * [taylor]: Taking taylor expansion of y in y 13.023 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.023 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.023 * [taylor]: Taking taylor expansion of 1/3 in y 13.023 * [taylor]: Taking taylor expansion of (log y) in y 13.023 * [taylor]: Taking taylor expansion of y in y 13.076 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.076 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.076 * [taylor]: Taking taylor expansion of 1/3 in y 13.076 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.076 * [taylor]: Taking taylor expansion of y in y 13.077 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.077 * [taylor]: Taking taylor expansion of 1/3 in y 13.077 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.077 * [taylor]: Taking taylor expansion of y in y 13.129 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.130 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.130 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.130 * [taylor]: Taking taylor expansion of -1 in y 13.130 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.130 * [taylor]: Taking taylor expansion of 1/3 in y 13.130 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.130 * [taylor]: Taking taylor expansion of y in y 13.131 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.131 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.131 * [taylor]: Taking taylor expansion of -1 in y 13.132 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.132 * [taylor]: Taking taylor expansion of 1/3 in y 13.132 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.132 * [taylor]: Taking taylor expansion of y in y 13.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 13.199 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.199 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.199 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.199 * [taylor]: Taking taylor expansion of 1/3 in y 13.199 * [taylor]: Taking taylor expansion of (log y) in y 13.199 * [taylor]: Taking taylor expansion of y in y 13.200 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.200 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.200 * [taylor]: Taking taylor expansion of 1/3 in y 13.200 * [taylor]: Taking taylor expansion of (log y) in y 13.200 * [taylor]: Taking taylor expansion of y in y 13.253 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.253 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.253 * [taylor]: Taking taylor expansion of 1/3 in y 13.253 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.253 * [taylor]: Taking taylor expansion of y in y 13.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.254 * [taylor]: Taking taylor expansion of 1/3 in y 13.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.254 * [taylor]: Taking taylor expansion of y in y 13.310 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.310 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.310 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.310 * [taylor]: Taking taylor expansion of -1 in y 13.311 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.311 * [taylor]: Taking taylor expansion of 1/3 in y 13.311 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.311 * [taylor]: Taking taylor expansion of y in y 13.312 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.312 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.312 * [taylor]: Taking taylor expansion of -1 in y 13.313 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.313 * [taylor]: Taking taylor expansion of 1/3 in y 13.313 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.313 * [taylor]: Taking taylor expansion of y in y 13.379 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 13.379 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 13.379 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.379 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.379 * [taylor]: Taking taylor expansion of 3 in y 13.379 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.379 * [taylor]: Taking taylor expansion of y in y 13.379 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.379 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.379 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.379 * [taylor]: Taking taylor expansion of 1/3 in y 13.379 * [taylor]: Taking taylor expansion of (log y) in y 13.379 * [taylor]: Taking taylor expansion of y in y 13.380 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.380 * [taylor]: Taking taylor expansion of 1.5 in y 13.380 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.380 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.380 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.380 * [taylor]: Taking taylor expansion of 1/3 in y 13.380 * [taylor]: Taking taylor expansion of (log y) in y 13.380 * [taylor]: Taking taylor expansion of y in y 13.381 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.381 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.381 * [taylor]: Taking taylor expansion of 3 in y 13.381 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.381 * [taylor]: Taking taylor expansion of y in y 13.381 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.381 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.381 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.381 * [taylor]: Taking taylor expansion of 1/3 in y 13.381 * [taylor]: Taking taylor expansion of (log y) in y 13.381 * [taylor]: Taking taylor expansion of y in y 13.382 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.382 * [taylor]: Taking taylor expansion of 1.5 in y 13.382 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.382 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.382 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.382 * [taylor]: Taking taylor expansion of 1/3 in y 13.382 * [taylor]: Taking taylor expansion of (log y) in y 13.382 * [taylor]: Taking taylor expansion of y in y 13.631 * [approximate]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in (y) around 0 13.631 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.631 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.631 * [taylor]: Taking taylor expansion of 1.5 in y 13.631 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.631 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.631 * [taylor]: Taking taylor expansion of 1/3 in y 13.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.631 * [taylor]: Taking taylor expansion of y in y 13.632 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.632 * [taylor]: Taking taylor expansion of 3 in y 13.632 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.632 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.632 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.632 * [taylor]: Taking taylor expansion of 1/3 in y 13.632 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.632 * [taylor]: Taking taylor expansion of y in y 13.633 * [taylor]: Taking taylor expansion of y in y 13.633 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.633 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.633 * [taylor]: Taking taylor expansion of 1.5 in y 13.633 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.633 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.633 * [taylor]: Taking taylor expansion of 1/3 in y 13.633 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.633 * [taylor]: Taking taylor expansion of y in y 13.634 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.634 * [taylor]: Taking taylor expansion of 3 in y 13.634 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.634 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.634 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.634 * [taylor]: Taking taylor expansion of 1/3 in y 13.634 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.634 * [taylor]: Taking taylor expansion of y in y 13.635 * [taylor]: Taking taylor expansion of y in y 13.861 * [approximate]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in (y) around 0 13.861 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 13.861 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.861 * [taylor]: Taking taylor expansion of 1.5 in y 13.861 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.861 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.861 * [taylor]: Taking taylor expansion of -1 in y 13.862 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.862 * [taylor]: Taking taylor expansion of 1/3 in y 13.862 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.862 * [taylor]: Taking taylor expansion of y in y 13.864 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.864 * [taylor]: Taking taylor expansion of 3 in y 13.864 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.864 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.864 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.864 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.864 * [taylor]: Taking taylor expansion of -1 in y 13.864 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.865 * [taylor]: Taking taylor expansion of 1/3 in y 13.865 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.865 * [taylor]: Taking taylor expansion of y in y 13.866 * [taylor]: Taking taylor expansion of y in y 13.867 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 13.867 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.867 * [taylor]: Taking taylor expansion of 1.5 in y 13.867 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.867 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.867 * [taylor]: Taking taylor expansion of -1 in y 13.867 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.868 * [taylor]: Taking taylor expansion of 1/3 in y 13.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.868 * [taylor]: Taking taylor expansion of y in y 13.869 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.869 * [taylor]: Taking taylor expansion of 3 in y 13.869 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.869 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.869 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.869 * [taylor]: Taking taylor expansion of -1 in y 13.870 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.870 * [taylor]: Taking taylor expansion of 1/3 in y 13.870 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.870 * [taylor]: Taking taylor expansion of y in y 13.872 * [taylor]: Taking taylor expansion of y in y 14.157 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 14.157 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 14.157 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 14.157 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.157 * [taylor]: Taking taylor expansion of y in y 14.157 * [taylor]: Taking taylor expansion of 0.5 in y 14.157 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 14.157 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.157 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.157 * [taylor]: Taking taylor expansion of 1/3 in y 14.157 * [taylor]: Taking taylor expansion of (log y) in y 14.157 * [taylor]: Taking taylor expansion of y in y 14.158 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 14.158 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.158 * [taylor]: Taking taylor expansion of y in y 14.158 * [taylor]: Taking taylor expansion of 0.5 in y 14.158 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 14.158 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.163 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.163 * [taylor]: Taking taylor expansion of 1/3 in y 14.163 * [taylor]: Taking taylor expansion of (log y) in y 14.163 * [taylor]: Taking taylor expansion of y in y 14.287 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 14.287 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 14.287 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 14.287 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.287 * [taylor]: Taking taylor expansion of 1/3 in y 14.288 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.288 * [taylor]: Taking taylor expansion of y in y 14.288 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.288 * [taylor]: Taking taylor expansion of y in y 14.289 * [taylor]: Taking taylor expansion of 0.5 in y 14.289 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 14.289 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 14.289 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.289 * [taylor]: Taking taylor expansion of 1/3 in y 14.289 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.289 * [taylor]: Taking taylor expansion of y in y 14.290 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.290 * [taylor]: Taking taylor expansion of y in y 14.290 * [taylor]: Taking taylor expansion of 0.5 in y 14.437 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 14.437 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 14.437 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.438 * [taylor]: Taking taylor expansion of 0.5 in y 14.438 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.438 * [taylor]: Taking taylor expansion of y in y 14.438 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 14.438 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.438 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.438 * [taylor]: Taking taylor expansion of -1 in y 14.439 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.439 * [taylor]: Taking taylor expansion of 1/3 in y 14.439 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.439 * [taylor]: Taking taylor expansion of y in y 14.440 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 14.440 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.440 * [taylor]: Taking taylor expansion of 0.5 in y 14.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.440 * [taylor]: Taking taylor expansion of y in y 14.441 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 14.441 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.441 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.441 * [taylor]: Taking taylor expansion of -1 in y 14.441 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.442 * [taylor]: Taking taylor expansion of 1/3 in y 14.442 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.442 * [taylor]: Taking taylor expansion of y in y 14.614 * * * [progress]: simplifying candidates 14.616 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (+ y 0.5) (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5)) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log 1))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (+ y 0.5) (log (cbrt y)))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (+ (log (+ y 0.5)) (log (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (exp (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt 1))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 14.620 * * [simplify]: iteration 0 : 167 enodes (cost 1466 ) 14.662 * * [simplify]: iteration 1 : 474 enodes (cost 1331 ) 14.819 * * [simplify]: iteration 2 : 1774 enodes (cost 1072 ) 15.396 * * [simplify]: iteration done : 5000 enodes (cost 1072 ) 15.397 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (log (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (pow (* 3 (* (+ y 0.5) (log (cbrt y)))) 3) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (+ (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (* (- y 0.5) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5)) (+ (* (* (+ (* y y) (* 0.5 (- 0.5 y))) (- (* y y) (* 0.5 0.5))) (* 2/3 (log y))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5)) (* (- y 0.5) (+ (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (- (log (cbrt y)) (* 2/3 (log y))))) (* 4 (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))))) (* (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5)) (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y)))) (* (+ y 0.5) (* 2/3 (log y))) (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5)) (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y)))) (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ (* 0.5 2) (+ y 0.5))) (* (log (cbrt y)) (+ (* 0.5 2) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))) (log (* (+ y 0.5) (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (pow (cbrt y) (+ y 0.5)) (pow (* (+ y 0.5) (log (cbrt y))) 3) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (pow (* (+ y 0.5) (log (cbrt y))) 3) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (pow y 2/3)))) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt (pow y 2/3)))) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) 1/3) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (* (- (log y)) -1/3) (+ (* 3 y) 1.5)) (+ (* (log (* (cbrt (- y)) (cbrt -1))) 1.5) (* 3 (* (log (* (cbrt (- y)) (cbrt -1))) y))) (* (+ y 0.5) (log (cbrt y))) (* -1/3 (* (- (log y)) (+ y 0.5))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 15.398 * * * [progress]: adding candidates to table 15.727 * * [progress]: iteration 3 / 4 15.727 * * * [progress]: picking best candidate 15.746 * * * * [pick]: Picked # 15.746 * * * [progress]: localizing error 15.765 * * * [progress]: generating rewritten candidates 15.765 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 15.765 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 15.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 15.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1) 15.806 * * * [progress]: generating series expansions 15.806 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2 1) 15.806 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 15.806 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.807 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.807 * [taylor]: Taking taylor expansion of 1/3 in y 15.807 * [taylor]: Taking taylor expansion of (log y) in y 15.807 * [taylor]: Taking taylor expansion of y in y 15.807 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.807 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.808 * [taylor]: Taking taylor expansion of 1/3 in y 15.808 * [taylor]: Taking taylor expansion of (log y) in y 15.808 * [taylor]: Taking taylor expansion of y in y 15.861 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.861 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.861 * [taylor]: Taking taylor expansion of 1/3 in y 15.861 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.861 * [taylor]: Taking taylor expansion of y in y 15.862 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.862 * [taylor]: Taking taylor expansion of 1/3 in y 15.862 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.862 * [taylor]: Taking taylor expansion of y in y 15.922 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 15.922 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.922 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.922 * [taylor]: Taking taylor expansion of -1 in y 15.923 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.923 * [taylor]: Taking taylor expansion of 1/3 in y 15.923 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.923 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.923 * [taylor]: Taking taylor expansion of y in y 15.924 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.924 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.924 * [taylor]: Taking taylor expansion of -1 in y 15.924 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.925 * [taylor]: Taking taylor expansion of 1/3 in y 15.925 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.925 * [taylor]: Taking taylor expansion of y in y 15.994 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 15.994 * [approximate]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in (y) around 0 15.994 * [taylor]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in y 15.994 * [taylor]: Taking taylor expansion of 1/3 in y 15.994 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.994 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.994 * [taylor]: Taking taylor expansion of y in y 15.994 * [taylor]: Taking taylor expansion of 0.5 in y 15.994 * [taylor]: Taking taylor expansion of (log y) in y 15.994 * [taylor]: Taking taylor expansion of y in y 15.995 * [taylor]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in y 15.995 * [taylor]: Taking taylor expansion of 1/3 in y 15.995 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.995 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.995 * [taylor]: Taking taylor expansion of y in y 15.995 * [taylor]: Taking taylor expansion of 0.5 in y 15.995 * [taylor]: Taking taylor expansion of (log y) in y 15.995 * [taylor]: Taking taylor expansion of y in y 16.075 * [approximate]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in (y) around 0 16.075 * [taylor]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 16.075 * [taylor]: Taking taylor expansion of 1/3 in y 16.075 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 16.075 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.075 * [taylor]: Taking taylor expansion of y in y 16.075 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 16.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.076 * [taylor]: Taking taylor expansion of y in y 16.076 * [taylor]: Taking taylor expansion of 0.5 in y 16.076 * [taylor]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 16.076 * [taylor]: Taking taylor expansion of 1/3 in y 16.076 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 16.076 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.076 * [taylor]: Taking taylor expansion of y in y 16.076 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 16.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.076 * [taylor]: Taking taylor expansion of y in y 16.077 * [taylor]: Taking taylor expansion of 0.5 in y 16.161 * [approximate]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in (y) around 0 16.162 * [taylor]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 16.162 * [taylor]: Taking taylor expansion of 1/3 in y 16.162 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 16.162 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 16.162 * [taylor]: Taking taylor expansion of 0.5 in y 16.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.162 * [taylor]: Taking taylor expansion of y in y 16.162 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.162 * [taylor]: Taking taylor expansion of -1 in y 16.162 * [taylor]: Taking taylor expansion of y in y 16.163 * [taylor]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 16.163 * [taylor]: Taking taylor expansion of 1/3 in y 16.163 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 16.163 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 16.163 * [taylor]: Taking taylor expansion of 0.5 in y 16.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.163 * [taylor]: Taking taylor expansion of y in y 16.163 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.163 * [taylor]: Taking taylor expansion of -1 in y 16.163 * [taylor]: Taking taylor expansion of y in y 16.266 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 16.266 * [approximate]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in (y) around 0 16.266 * [taylor]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in y 16.266 * [taylor]: Taking taylor expansion of (* 2 (* y (log (pow y 1/3)))) in y 16.266 * [taylor]: Taking taylor expansion of 2 in y 16.266 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 16.266 * [taylor]: Taking taylor expansion of y in y 16.266 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.266 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.266 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.266 * [taylor]: Taking taylor expansion of 1/3 in y 16.266 * [taylor]: Taking taylor expansion of (log y) in y 16.266 * [taylor]: Taking taylor expansion of y in y 16.267 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y))))) in y 16.267 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log y)) in y 16.267 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 16.267 * [taylor]: Taking taylor expansion of (log y) in y 16.267 * [taylor]: Taking taylor expansion of y in y 16.267 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))) in y 16.267 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 1/3))) in y 16.267 * [taylor]: Taking taylor expansion of 1.0 in y 16.267 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.267 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.267 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.267 * [taylor]: Taking taylor expansion of 1/3 in y 16.267 * [taylor]: Taking taylor expansion of (log y) in y 16.267 * [taylor]: Taking taylor expansion of y in y 16.268 * [taylor]: Taking taylor expansion of (* 1/3 (* y (log y))) in y 16.268 * [taylor]: Taking taylor expansion of 1/3 in y 16.268 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.268 * [taylor]: Taking taylor expansion of y in y 16.268 * [taylor]: Taking taylor expansion of (log y) in y 16.268 * [taylor]: Taking taylor expansion of y in y 16.268 * [taylor]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in y 16.268 * [taylor]: Taking taylor expansion of (* 2 (* y (log (pow y 1/3)))) in y 16.268 * [taylor]: Taking taylor expansion of 2 in y 16.268 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 16.268 * [taylor]: Taking taylor expansion of y in y 16.268 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.268 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.268 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.268 * [taylor]: Taking taylor expansion of 1/3 in y 16.268 * [taylor]: Taking taylor expansion of (log y) in y 16.268 * [taylor]: Taking taylor expansion of y in y 16.269 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y))))) in y 16.269 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log y)) in y 16.269 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 16.269 * [taylor]: Taking taylor expansion of (log y) in y 16.269 * [taylor]: Taking taylor expansion of y in y 16.269 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))) in y 16.270 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 1/3))) in y 16.270 * [taylor]: Taking taylor expansion of 1.0 in y 16.270 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.270 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.270 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.270 * [taylor]: Taking taylor expansion of 1/3 in y 16.270 * [taylor]: Taking taylor expansion of (log y) in y 16.270 * [taylor]: Taking taylor expansion of y in y 16.270 * [taylor]: Taking taylor expansion of (* 1/3 (* y (log y))) in y 16.270 * [taylor]: Taking taylor expansion of 1/3 in y 16.270 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.270 * [taylor]: Taking taylor expansion of y in y 16.270 * [taylor]: Taking taylor expansion of (log y) in y 16.270 * [taylor]: Taking taylor expansion of y in y 16.688 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in (y) around 0 16.688 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in y 16.688 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ 1 y)) y)) in y 16.688 * [taylor]: Taking taylor expansion of 1/3 in y 16.688 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.688 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.688 * [taylor]: Taking taylor expansion of y in y 16.689 * [taylor]: Taking taylor expansion of y in y 16.689 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 16.690 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ 1 y) 1/3))) in y 16.690 * [taylor]: Taking taylor expansion of 1.0 in y 16.690 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 16.690 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.690 * [taylor]: Taking taylor expansion of 1/3 in y 16.690 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.690 * [taylor]: Taking taylor expansion of y in y 16.691 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))) in y 16.691 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ 1 y))) in y 16.691 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 16.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.691 * [taylor]: Taking taylor expansion of y in y 16.691 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) y)) in y 16.691 * [taylor]: Taking taylor expansion of 2 in y 16.691 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 16.691 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 16.691 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.691 * [taylor]: Taking taylor expansion of 1/3 in y 16.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.691 * [taylor]: Taking taylor expansion of y in y 16.692 * [taylor]: Taking taylor expansion of y in y 16.692 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in y 16.692 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ 1 y)) y)) in y 16.692 * [taylor]: Taking taylor expansion of 1/3 in y 16.692 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.692 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.692 * [taylor]: Taking taylor expansion of y in y 16.693 * [taylor]: Taking taylor expansion of y in y 16.694 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 16.694 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ 1 y) 1/3))) in y 16.694 * [taylor]: Taking taylor expansion of 1.0 in y 16.694 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 16.694 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.694 * [taylor]: Taking taylor expansion of 1/3 in y 16.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.694 * [taylor]: Taking taylor expansion of y in y 16.695 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))) in y 16.695 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ 1 y))) in y 16.695 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 16.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.695 * [taylor]: Taking taylor expansion of y in y 16.695 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) y)) in y 16.695 * [taylor]: Taking taylor expansion of 2 in y 16.695 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 16.696 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 16.696 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.696 * [taylor]: Taking taylor expansion of 1/3 in y 16.696 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.696 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.696 * [taylor]: Taking taylor expansion of y in y 16.696 * [taylor]: Taking taylor expansion of y in y 17.052 * [approximate]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in (y) around 0 17.052 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in y 17.052 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 17.052 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ -1 y))) in y 17.052 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 17.052 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 17.052 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.052 * [taylor]: Taking taylor expansion of -1 in y 17.052 * [taylor]: Taking taylor expansion of y in y 17.053 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.053 * [taylor]: Taking taylor expansion of 1.0 in y 17.053 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.053 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.053 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.053 * [taylor]: Taking taylor expansion of -1 in y 17.054 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.054 * [taylor]: Taking taylor expansion of 1/3 in y 17.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.054 * [taylor]: Taking taylor expansion of y in y 17.056 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 17.056 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ -1 y)) y)) in y 17.056 * [taylor]: Taking taylor expansion of 1/3 in y 17.056 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 17.056 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 17.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.056 * [taylor]: Taking taylor expansion of -1 in y 17.056 * [taylor]: Taking taylor expansion of y in y 17.056 * [taylor]: Taking taylor expansion of y in y 17.058 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.058 * [taylor]: Taking taylor expansion of 2 in y 17.058 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.058 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.058 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.058 * [taylor]: Taking taylor expansion of -1 in y 17.059 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.059 * [taylor]: Taking taylor expansion of 1/3 in y 17.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.059 * [taylor]: Taking taylor expansion of y in y 17.060 * [taylor]: Taking taylor expansion of y in y 17.061 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in y 17.061 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 17.061 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ -1 y))) in y 17.061 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 17.061 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 17.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.061 * [taylor]: Taking taylor expansion of -1 in y 17.061 * [taylor]: Taking taylor expansion of y in y 17.061 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.062 * [taylor]: Taking taylor expansion of 1.0 in y 17.062 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.062 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.062 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.062 * [taylor]: Taking taylor expansion of -1 in y 17.062 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.062 * [taylor]: Taking taylor expansion of 1/3 in y 17.062 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.062 * [taylor]: Taking taylor expansion of y in y 17.064 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 17.064 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ -1 y)) y)) in y 17.064 * [taylor]: Taking taylor expansion of 1/3 in y 17.064 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 17.064 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 17.064 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.064 * [taylor]: Taking taylor expansion of -1 in y 17.064 * [taylor]: Taking taylor expansion of y in y 17.065 * [taylor]: Taking taylor expansion of y in y 17.066 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.066 * [taylor]: Taking taylor expansion of 2 in y 17.066 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.066 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.066 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.066 * [taylor]: Taking taylor expansion of -1 in y 17.067 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.067 * [taylor]: Taking taylor expansion of 1/3 in y 17.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.067 * [taylor]: Taking taylor expansion of y in y 17.069 * [taylor]: Taking taylor expansion of y in y 17.511 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1) 17.511 * [approximate]: Taking taylor expansion of (* 1/3 (+ y 0.5)) in (y) around 0 17.511 * [taylor]: Taking taylor expansion of (* 1/3 (+ y 0.5)) in y 17.511 * [taylor]: Taking taylor expansion of 1/3 in y 17.511 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 17.511 * [taylor]: Taking taylor expansion of y in y 17.511 * [taylor]: Taking taylor expansion of 0.5 in y 17.511 * [taylor]: Taking taylor expansion of (* 1/3 (+ y 0.5)) in y 17.511 * [taylor]: Taking taylor expansion of 1/3 in y 17.511 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 17.511 * [taylor]: Taking taylor expansion of y in y 17.511 * [taylor]: Taking taylor expansion of 0.5 in y 17.519 * [approximate]: Taking taylor expansion of (* 1/3 (+ (/ 1 y) 0.5)) in (y) around 0 17.519 * [taylor]: Taking taylor expansion of (* 1/3 (+ (/ 1 y) 0.5)) in y 17.519 * [taylor]: Taking taylor expansion of 1/3 in y 17.519 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 17.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.519 * [taylor]: Taking taylor expansion of y in y 17.520 * [taylor]: Taking taylor expansion of 0.5 in y 17.520 * [taylor]: Taking taylor expansion of (* 1/3 (+ (/ 1 y) 0.5)) in y 17.520 * [taylor]: Taking taylor expansion of 1/3 in y 17.520 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 17.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.520 * [taylor]: Taking taylor expansion of y in y 17.520 * [taylor]: Taking taylor expansion of 0.5 in y 17.532 * [approximate]: Taking taylor expansion of (* 1/3 (- 0.5 (/ 1 y))) in (y) around 0 17.532 * [taylor]: Taking taylor expansion of (* 1/3 (- 0.5 (/ 1 y))) in y 17.532 * [taylor]: Taking taylor expansion of 1/3 in y 17.532 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 17.532 * [taylor]: Taking taylor expansion of 0.5 in y 17.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.532 * [taylor]: Taking taylor expansion of y in y 17.532 * [taylor]: Taking taylor expansion of (* 1/3 (- 0.5 (/ 1 y))) in y 17.532 * [taylor]: Taking taylor expansion of 1/3 in y 17.532 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 17.532 * [taylor]: Taking taylor expansion of 0.5 in y 17.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.532 * [taylor]: Taking taylor expansion of y in y 17.546 * * * [progress]: simplifying candidates 17.547 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (* (+ y 0.5) 1/3) (log y)) (* (* (+ y 0.5) 1/3) (log y)) (+ (+ (log (+ y 0.5)) (log 1/3)) (log (log y))) (+ (log (* (+ y 0.5) 1/3)) (log (log y))) (log (* (* (+ y 0.5) 1/3) (log y))) (exp (* (* (+ y 0.5) 1/3) (log y))) (* (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* 1/3 1/3) 1/3)) (* (* (log y) (log y)) (log y))) (* (* (* (* (+ y 0.5) 1/3) (* (+ y 0.5) 1/3)) (* (+ y 0.5) 1/3)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (* (+ y 0.5) 1/3) (log y))) (cbrt (* (* (+ y 0.5) 1/3) (log y)))) (cbrt (* (* (+ y 0.5) 1/3) (log y))) (* (* (* (* (+ y 0.5) 1/3) (log y)) (* (* (+ y 0.5) 1/3) (log y))) (* (* (+ y 0.5) 1/3) (log y))) (sqrt (* (* (+ y 0.5) 1/3) (log y))) (sqrt (* (* (+ y 0.5) 1/3) (log y))) (* (* (+ y 0.5) 1/3) (log (* (cbrt y) (cbrt y)))) (* (* (+ y 0.5) 1/3) (log (cbrt y))) (* (* (+ y 0.5) 1/3) (log (sqrt y))) (* (* (+ y 0.5) 1/3) (log (sqrt y))) (* (* (+ y 0.5) 1/3) (log 1)) (* (* (+ y 0.5) 1/3) (log y)) (* (log (* (cbrt y) (cbrt y))) (* (+ y 0.5) 1/3)) (* (log (cbrt y)) (* (+ y 0.5) 1/3)) (* (log (sqrt y)) (* (+ y 0.5) 1/3)) (* (log (sqrt y)) (* (+ y 0.5) 1/3)) (* (log 1) (* (+ y 0.5) 1/3)) (* (log y) (* (+ y 0.5) 1/3)) (* (* (+ y 0.5) 1/3) 1) (* (* (+ y 0.5) 1/3) (* (cbrt (log y)) (cbrt (log y)))) (* (* (+ y 0.5) 1/3) (sqrt (log y))) (* (* (+ y 0.5) 1/3) 1) (* 1/3 (log y)) (* (* (+ (pow y 3) (pow 0.5 3)) 1/3) (log y)) (* (* (- (* y y) (* 0.5 0.5)) 1/3) (log y)) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (* (+ y 0.5) 1/3) (log y)))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (* (+ (pow y 3) (pow 0.5 3)) 1/3) (log y)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (* (- (* y y) (* 0.5 0.5)) 1/3) (log y)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5)) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (* (+ (pow y 3) (pow 0.5 3)) 1/3) (log y)))) (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (* (- (* y y) (* 0.5 0.5)) 1/3) (log y)))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (* (+ y 0.5) 1/3) (log y)) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (* (+ y 0.5) 1/3) (log y)) (* (* (+ y 0.5) 1/3) (log y))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (* (+ y 0.5) 1/3) (log y)) (* (* (+ y 0.5) 1/3) (log y)))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log (* (cbrt y) (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log (sqrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log 1))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt y) (cbrt y))) (* (+ y 0.5) 1/3))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt y)) (* (+ y 0.5) 1/3))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (* (+ y 0.5) 1/3))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (* (+ y 0.5) 1/3) (log y))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (* (+ y 0.5) 1/3) (log y))) (* (+ y 0.5) 1/3) (+ (log (+ y 0.5)) (log 1/3)) (log (* (+ y 0.5) 1/3)) (exp (* (+ y 0.5) 1/3)) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* 1/3 1/3) 1/3)) (* (cbrt (* (+ y 0.5) 1/3)) (cbrt (* (+ y 0.5) 1/3))) (cbrt (* (+ y 0.5) 1/3)) (* (* (* (+ y 0.5) 1/3) (* (+ y 0.5) 1/3)) (* (+ y 0.5) 1/3)) (sqrt (* (+ y 0.5) 1/3)) (sqrt (* (+ y 0.5) 1/3)) (* (sqrt (+ y 0.5)) (sqrt 1/3)) (* (sqrt (+ y 0.5)) (sqrt 1/3)) (* (+ y 0.5) (* (cbrt 1/3) (cbrt 1/3))) (* (+ y 0.5) (sqrt 1/3)) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) 1/3) (* (sqrt (+ y 0.5)) 1/3) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1/3) (* (+ (pow y 3) (pow 0.5 3)) 1/3) (* (- (* y y) (* 0.5 0.5)) 1/3) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 0.16666666666666666 (log y)) (* 1/3 (* y (log y)))) (- (+ (* 0.16666666666666666 (log (/ 1 y))) (* 1/3 (* y (log (/ 1 y)))))) (- (+ (* 0.16666666666666666 (log -1)) (* 1/3 (* (log -1) y))) (+ (* 1/3 (* y (log (/ -1 y)))) (* 0.16666666666666666 (log (/ -1 y))))) (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) (- (+ (* 2 (* y (log (pow (/ 1 y) -1/3)))) (* 1.0 (log (pow (/ 1 y) -1/3)))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 1/3 (* y (log (/ 1 y)))))) (- (+ (* 1/3 (* (log -1) y)) (+ (* 0.16666666666666666 (log -1)) (+ (* 1.0 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 2 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))))) (+ (* 1/3 (* y (log (/ -1 y)))) (* 0.16666666666666666 (log (/ -1 y))))) (+ (* 1/3 y) 0.16666666666666666) (+ (* 1/3 y) 0.16666666666666666) (+ (* 1/3 y) 0.16666666666666666) 17.552 * * [simplify]: iteration 0 : 200 enodes (cost 1486 ) 17.603 * * [simplify]: iteration 1 : 554 enodes (cost 1362 ) 17.815 * * [simplify]: iteration 2 : 2122 enodes (cost 1103 ) 18.388 * * [simplify]: iteration done : 5000 enodes (cost 1101 ) 18.389 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (log (* (+ y 0.5) (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (pow y (* (+ y 0.5) 1/3)) (pow (* (+ y 0.5) (log (cbrt y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (pow (* (+ y 0.5) (log (cbrt y))) 3) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (* (log (cbrt y)) (+ y 0.5)) 2/3) (* (* 1/9 (log y)) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log (sqrt y))) (* (* (+ y 0.5) 1/3) (log (sqrt y))) 0 (* (log (cbrt y)) (+ y 0.5)) (* (* (log (cbrt y)) (+ y 0.5)) 2/3) (* (* 1/9 (log y)) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log (sqrt y))) (* (* (+ y 0.5) 1/3) (log (sqrt y))) 0 (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (* (+ y 0.5) 1/3) (* (cbrt (log y)) (cbrt (log y)))) (* (* (+ y 0.5) 1/3) (sqrt (log y))) (* (+ y 0.5) 1/3) (log (cbrt y)) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (exp (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (log (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (exp (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (* (cbrt (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (cbrt (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3))))) (cbrt (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (pow (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3))) 3) (sqrt (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (sqrt (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3)))) (* (+ (* 0.5 (- 0.5 y)) (* y y)) (+ (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (* (+ (pow y 3) (pow 0.5 3)) (* (log y) 2/3)))) (* (+ (* 0.5 (- 0.5 y)) (* y y)) (+ (* 0.5 (- 0.5 y)) (* y y))) (+ (* (+ (* 0.5 (- 0.5 y)) (* y y)) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))) (* (* (+ (pow y 3) (pow 0.5 3)) (- y 0.5)) (* (log y) 2/3))) (* (+ (* 0.5 (- 0.5 y)) (* y y)) (- y 0.5)) (+ (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))) (* (- (* y y) (* 0.5 0.5)) (* (* (log y) 2/3) (+ (* 0.5 (- 0.5 y)) (* y y))))) (* (+ (* 0.5 (- 0.5 y)) (* y y)) (- y 0.5)) (* (- y 0.5) (+ (* (* (+ y 0.5) (* (log y) 2/3)) (- y 0.5)) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (+ y 0.5) (* (log y) 2/3)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) (- (log (cbrt y)) (* (log y) 2/3)))) (* (* (+ y 0.5) (* (+ y 0.5) (* (log y) 2/3))) (* (log y) 2/3))) (* (* (+ y 0.5) (+ (log (cbrt y)) (* (log y) 2/3))) (* (+ y 0.5) (- (* (log y) 2/3) (log (cbrt y))))) (* (+ y 0.5) (- (* (log y) 2/3) (log (cbrt y)))) (* (+ y 0.5) (+ (* 1/3 (* (log y) 2/3)) (* (log y) 2/3))) (* (+ y 0.5) (+ (* 1/3 (log (sqrt y))) (* (log y) 2/3))) (+ 0 (* (+ y 0.5) (* (log y) 2/3))) (* (+ y 0.5) (+ (* 1/3 (* (log y) 2/3)) (* (log y) 2/3))) (* (+ y 0.5) (+ (* 1/3 (log (sqrt y))) (* (log y) 2/3))) (+ 0 (* (+ y 0.5) (* (log y) 2/3))) (+ (* (log (cbrt y)) (+ y 0.5)) (* 0.5 (* (log y) 2/3))) (+ (* (log (cbrt y)) (+ y 0.5)) (* 0.5 (* (log y) 2/3))) (* (+ y 0.5) 1/3) (log (* (+ y 0.5) 1/3)) (log (* (+ y 0.5) 1/3)) (cbrt (exp (+ y 0.5))) (pow (* (+ y 0.5) 1/3) 3) (* (cbrt (* (+ y 0.5) 1/3)) (cbrt (* (+ y 0.5) 1/3))) (cbrt (* (+ y 0.5) 1/3)) (pow (* (+ y 0.5) 1/3) 3) (sqrt (* (+ y 0.5) 1/3)) (sqrt (* (+ y 0.5) 1/3)) (* (sqrt (+ y 0.5)) (sqrt 1/3)) (* (sqrt (+ y 0.5)) (sqrt 1/3)) (* (+ y 0.5) (* (cbrt 1/3) (cbrt 1/3))) (* (+ y 0.5) (sqrt 1/3)) (+ y 0.5) (* (cbrt (+ y 0.5)) 1/3) (* (sqrt (+ y 0.5)) 1/3) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1/3) (* (+ (pow y 3) (pow 0.5 3)) 1/3) (* (- (* y y) (* 0.5 0.5)) 1/3) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log y) (+ (* 1/3 y) 0.16666666666666666)) (- (* (- (log y)) (+ (* 1/3 y) 0.16666666666666666))) (- (+ (* 0.16666666666666666 (log -1)) (* 1/3 (* (log -1) y))) (* (log (/ -1 y)) (+ (* 1/3 y) 0.16666666666666666))) (+ (* (* (log y) 2/3) y) (+ (* (log y) (+ (* 1/3 y) 0.16666666666666666)) (* (log (cbrt y)) 1.0))) (- (* (* -1/3 (- (log y))) (+ 1.0 (* 2 y))) (* (- (log y)) (+ (* 1/3 y) 0.16666666666666666))) (- (+ (+ (* 0.16666666666666666 (log -1)) (* 1/3 (* (log -1) y))) (+ (* (log (* (cbrt -1) (cbrt (- y)))) 1.0) (* (* (log (* (cbrt -1) (cbrt (- y)))) y) 2))) (* (log (/ -1 y)) (+ (* 1/3 y) 0.16666666666666666))) (+ (* 1/3 y) 0.16666666666666666) (+ (* 1/3 y) 0.16666666666666666) (+ (* 1/3 y) 0.16666666666666666) 18.390 * * * [progress]: adding candidates to table 18.713 * * [progress]: iteration 4 / 4 18.713 * * * [progress]: picking best candidate 18.726 * * * * [pick]: Picked # 18.726 * * * [progress]: localizing error 18.747 * * * [progress]: generating rewritten candidates 18.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1) 18.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 2 1) 18.749 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1 1) 18.750 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 2 1 1) 18.751 * * * [progress]: generating series expansions 18.751 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1) 18.751 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 18.751 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 18.751 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 18.751 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 18.751 * [taylor]: Taking taylor expansion of 1/9 in y 18.751 * [taylor]: Taking taylor expansion of (log y) in y 18.751 * [taylor]: Taking taylor expansion of y in y 18.752 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 18.752 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 18.752 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 18.752 * [taylor]: Taking taylor expansion of 1/9 in y 18.752 * [taylor]: Taking taylor expansion of (log y) in y 18.752 * [taylor]: Taking taylor expansion of y in y 18.808 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 18.808 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 18.808 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 18.808 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 18.808 * [taylor]: Taking taylor expansion of 1/9 in y 18.808 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.808 * [taylor]: Taking taylor expansion of y in y 18.809 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 18.809 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 18.809 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 18.809 * [taylor]: Taking taylor expansion of 1/9 in y 18.809 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.809 * [taylor]: Taking taylor expansion of y in y 18.868 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 18.868 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 18.869 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 18.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 18.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 18.869 * [taylor]: Taking taylor expansion of 1/3 in y 18.869 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 18.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.869 * [taylor]: Taking taylor expansion of -1 in y 18.872 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 18.872 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 18.872 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 18.872 * [taylor]: Taking taylor expansion of 1/9 in y 18.872 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.872 * [taylor]: Taking taylor expansion of y in y 18.873 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 18.873 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 18.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 18.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 18.873 * [taylor]: Taking taylor expansion of 1/3 in y 18.873 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 18.873 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.873 * [taylor]: Taking taylor expansion of -1 in y 18.877 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 18.877 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 18.877 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 18.877 * [taylor]: Taking taylor expansion of 1/9 in y 18.877 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.877 * [taylor]: Taking taylor expansion of y in y 19.007 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 2 1) 19.007 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 19.007 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 19.007 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 19.007 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 19.007 * [taylor]: Taking taylor expansion of 1/9 in y 19.007 * [taylor]: Taking taylor expansion of (log y) in y 19.007 * [taylor]: Taking taylor expansion of y in y 19.008 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 19.008 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 19.008 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 19.008 * [taylor]: Taking taylor expansion of 1/9 in y 19.008 * [taylor]: Taking taylor expansion of (log y) in y 19.008 * [taylor]: Taking taylor expansion of y in y 19.057 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 19.057 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 19.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 19.057 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 19.057 * [taylor]: Taking taylor expansion of 1/9 in y 19.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.057 * [taylor]: Taking taylor expansion of y in y 19.058 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 19.058 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 19.058 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 19.058 * [taylor]: Taking taylor expansion of 1/9 in y 19.058 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.058 * [taylor]: Taking taylor expansion of y in y 19.117 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 19.117 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 19.117 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 19.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 19.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 19.117 * [taylor]: Taking taylor expansion of 1/3 in y 19.117 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 19.117 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.117 * [taylor]: Taking taylor expansion of -1 in y 19.120 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 19.120 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 19.120 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 19.121 * [taylor]: Taking taylor expansion of 1/9 in y 19.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.121 * [taylor]: Taking taylor expansion of y in y 19.121 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 19.121 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 19.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 19.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 19.121 * [taylor]: Taking taylor expansion of 1/3 in y 19.122 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 19.122 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.122 * [taylor]: Taking taylor expansion of -1 in y 19.125 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 19.125 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 19.125 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 19.125 * [taylor]: Taking taylor expansion of 1/9 in y 19.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.125 * [taylor]: Taking taylor expansion of y in y 19.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1 1) 19.257 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 19.257 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.257 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.257 * [taylor]: Taking taylor expansion of 1/3 in y 19.257 * [taylor]: Taking taylor expansion of (log y) in y 19.257 * [taylor]: Taking taylor expansion of y in y 19.257 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.257 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.257 * [taylor]: Taking taylor expansion of 1/3 in y 19.257 * [taylor]: Taking taylor expansion of (log y) in y 19.257 * [taylor]: Taking taylor expansion of y in y 19.306 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 19.306 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.306 * [taylor]: Taking taylor expansion of 1/3 in y 19.306 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.306 * [taylor]: Taking taylor expansion of y in y 19.307 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.307 * [taylor]: Taking taylor expansion of 1/3 in y 19.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.307 * [taylor]: Taking taylor expansion of y in y 19.366 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 19.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.366 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.366 * [taylor]: Taking taylor expansion of -1 in y 19.367 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.367 * [taylor]: Taking taylor expansion of 1/3 in y 19.367 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.367 * [taylor]: Taking taylor expansion of y in y 19.368 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.368 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.368 * [taylor]: Taking taylor expansion of -1 in y 19.369 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.369 * [taylor]: Taking taylor expansion of 1/3 in y 19.369 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.369 * [taylor]: Taking taylor expansion of y in y 19.439 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 2 1 1) 19.439 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 19.439 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.439 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.439 * [taylor]: Taking taylor expansion of 1/3 in y 19.439 * [taylor]: Taking taylor expansion of (log y) in y 19.439 * [taylor]: Taking taylor expansion of y in y 19.440 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.440 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.440 * [taylor]: Taking taylor expansion of 1/3 in y 19.440 * [taylor]: Taking taylor expansion of (log y) in y 19.440 * [taylor]: Taking taylor expansion of y in y 19.496 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 19.496 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.496 * [taylor]: Taking taylor expansion of 1/3 in y 19.496 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.496 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.497 * [taylor]: Taking taylor expansion of 1/3 in y 19.497 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.557 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 19.557 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.557 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.557 * [taylor]: Taking taylor expansion of -1 in y 19.558 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.558 * [taylor]: Taking taylor expansion of 1/3 in y 19.558 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.558 * [taylor]: Taking taylor expansion of y in y 19.559 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.559 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.559 * [taylor]: Taking taylor expansion of -1 in y 19.559 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.560 * [taylor]: Taking taylor expansion of 1/3 in y 19.560 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.560 * [taylor]: Taking taylor expansion of y in y 19.623 * * * [progress]: simplifying candidates 19.624 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 19.626 * * [simplify]: iteration 0 : 42 enodes (cost 346 ) 19.833 * * [simplify]: iteration 1 : 75 enodes (cost 328 ) 19.844 * * [simplify]: iteration 2 : 147 enodes (cost 300 ) 19.866 * * [simplify]: iteration 3 : 306 enodes (cost 288 ) 19.924 * * [simplify]: iteration 4 : 845 enodes (cost 288 ) 20.256 * * [simplify]: iteration 5 : 3493 enodes (cost 288 ) 21.525 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 21.526 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 21.526 * * * [progress]: adding candidates to table 21.801 * [progress]: [Phase 3 of 3] Extracting. 21.801 * * [regime]: Finding splitpoints for: (# # # # # # #) 21.804 * * * [regime-changes]: Trying 4 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) z y x) 21.804 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # # #) 21.840 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 21.873 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 21.904 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 21.935 * * * [regime]: Found split indices: #