17.807 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.031 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.032 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.035 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 0.043 * * [simplify]: iteration 3 : 163 enodes (cost 12 ) 0.087 * * [simplify]: iteration 4 : 484 enodes (cost 12 ) 0.209 * * [simplify]: iteration 5 : 874 enodes (cost 12 ) 0.455 * * [simplify]: iteration 6 : 1423 enodes (cost 12 ) 0.929 * * [simplify]: iteration 7 : 1994 enodes (cost 12 ) 1.569 * * [simplify]: iteration 8 : 2166 enodes (cost 12 ) 2.286 * * [simplify]: iteration 9 : 2268 enodes (cost 12 ) 3.080 * * [simplify]: iteration 10 : 2463 enodes (cost 12 ) 4.026 * * [simplify]: iteration 11 : 2556 enodes (cost 12 ) 5.338 * * [simplify]: iteration 12 : 2651 enodes (cost 12 ) 6.636 * * [simplify]: iteration 13 : 2783 enodes (cost 12 ) 8.196 * * [simplify]: iteration 14 : 2898 enodes (cost 12 ) 10.057 * * [simplify]: iteration 15 : 2902 enodes (cost 12 ) 11.915 * * [simplify]: iteration done : 2902 enodes (cost 12 ) 11.915 * [simplify]: Simplified to: (- (+ (- x (* (+ y 0.5) (log y))) y) z) 11.916 * * [progress]: iteration 1 / 4 11.916 * * * [progress]: picking best candidate 11.918 * * * * [pick]: Picked # 11.918 * * * [progress]: localizing error 11.929 * * * [progress]: generating rewritten candidates 11.930 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 11.940 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 11.949 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 11.953 * * * [progress]: generating series expansions 11.953 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 11.953 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 11.953 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 11.953 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.953 * [taylor]: Taking taylor expansion of y in y 11.953 * [taylor]: Taking taylor expansion of 0.5 in y 11.953 * [taylor]: Taking taylor expansion of (log y) in y 11.953 * [taylor]: Taking taylor expansion of y in y 11.954 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 11.954 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.954 * [taylor]: Taking taylor expansion of y in y 11.954 * [taylor]: Taking taylor expansion of 0.5 in y 11.954 * [taylor]: Taking taylor expansion of (log y) in y 11.954 * [taylor]: Taking taylor expansion of y in y 12.025 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 12.025 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 12.025 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.025 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.025 * [taylor]: Taking taylor expansion of y in y 12.026 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 12.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.026 * [taylor]: Taking taylor expansion of y in y 12.026 * [taylor]: Taking taylor expansion of 0.5 in y 12.026 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 12.026 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.026 * [taylor]: Taking taylor expansion of y in y 12.027 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 12.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.027 * [taylor]: Taking taylor expansion of y in y 12.027 * [taylor]: Taking taylor expansion of 0.5 in y 12.100 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 12.100 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 12.100 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 12.100 * [taylor]: Taking taylor expansion of 0.5 in y 12.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.100 * [taylor]: Taking taylor expansion of y in y 12.100 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.100 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.100 * [taylor]: Taking taylor expansion of -1 in y 12.100 * [taylor]: Taking taylor expansion of y in y 12.101 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 12.101 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 12.101 * [taylor]: Taking taylor expansion of 0.5 in y 12.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.101 * [taylor]: Taking taylor expansion of y in y 12.101 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.101 * [taylor]: Taking taylor expansion of -1 in y 12.101 * [taylor]: Taking taylor expansion of y in y 12.187 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 12.187 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 12.187 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 12.187 * [taylor]: Taking taylor expansion of (+ x y) in y 12.187 * [taylor]: Taking taylor expansion of x in y 12.187 * [taylor]: Taking taylor expansion of y in y 12.187 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.187 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.187 * [taylor]: Taking taylor expansion of 0.5 in y 12.187 * [taylor]: Taking taylor expansion of (log y) in y 12.187 * [taylor]: Taking taylor expansion of y in y 12.188 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.188 * [taylor]: Taking taylor expansion of y in y 12.188 * [taylor]: Taking taylor expansion of (log y) in y 12.188 * [taylor]: Taking taylor expansion of y in y 12.188 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 12.188 * [taylor]: Taking taylor expansion of (+ x y) in x 12.188 * [taylor]: Taking taylor expansion of x in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.188 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.188 * [taylor]: Taking taylor expansion of 0.5 in x 12.188 * [taylor]: Taking taylor expansion of (log y) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (log y) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 12.188 * [taylor]: Taking taylor expansion of (+ x y) in x 12.188 * [taylor]: Taking taylor expansion of x in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.188 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.188 * [taylor]: Taking taylor expansion of 0.5 in x 12.188 * [taylor]: Taking taylor expansion of (log y) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.188 * [taylor]: Taking taylor expansion of (log y) in x 12.188 * [taylor]: Taking taylor expansion of y in x 12.189 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 12.189 * [taylor]: Taking taylor expansion of y in y 12.189 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.189 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.189 * [taylor]: Taking taylor expansion of 0.5 in y 12.189 * [taylor]: Taking taylor expansion of (log y) in y 12.189 * [taylor]: Taking taylor expansion of y in y 12.189 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.189 * [taylor]: Taking taylor expansion of y in y 12.189 * [taylor]: Taking taylor expansion of (log y) in y 12.189 * [taylor]: Taking taylor expansion of y in y 12.192 * [taylor]: Taking taylor expansion of 1 in y 12.195 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 12.195 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.195 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 12.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.195 * [taylor]: Taking taylor expansion of y in y 12.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.196 * [taylor]: Taking taylor expansion of x in y 12.196 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.196 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 12.196 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.196 * [taylor]: Taking taylor expansion of y in y 12.196 * [taylor]: Taking taylor expansion of y in y 12.197 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.197 * [taylor]: Taking taylor expansion of 0.5 in y 12.197 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.197 * [taylor]: Taking taylor expansion of y in y 12.197 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.197 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.197 * [taylor]: Taking taylor expansion of (/ 1 y) 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 (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.198 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.198 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.198 * [taylor]: Taking taylor expansion of y in x 12.198 * [taylor]: Taking taylor expansion of y in x 12.198 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.198 * [taylor]: Taking taylor expansion of 0.5 in x 12.198 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.198 * [taylor]: Taking taylor expansion of y in x 12.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.198 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 12.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.198 * [taylor]: Taking taylor expansion of y in x 12.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.198 * [taylor]: Taking taylor expansion of x in x 12.198 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.198 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.198 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.198 * [taylor]: Taking taylor expansion of y in x 12.199 * [taylor]: Taking taylor expansion of y in x 12.199 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.199 * [taylor]: Taking taylor expansion of 0.5 in x 12.199 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.199 * [taylor]: Taking taylor expansion of y in x 12.199 * [taylor]: Taking taylor expansion of 1 in y 12.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.200 * [taylor]: Taking taylor expansion of y in y 12.200 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.201 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) 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 y in y 12.201 * [taylor]: Taking taylor expansion of y in y 12.202 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.202 * [taylor]: Taking taylor expansion of 0.5 in y 12.202 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.202 * [taylor]: Taking taylor expansion of y in y 12.205 * [taylor]: Taking taylor expansion of 0 in y 12.208 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 12.208 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 12.208 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.208 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.208 * [taylor]: Taking taylor expansion of -1 in y 12.208 * [taylor]: Taking taylor expansion of y in y 12.209 * [taylor]: Taking taylor expansion of y in y 12.210 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 12.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.210 * [taylor]: Taking taylor expansion of y in y 12.210 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 12.211 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.211 * [taylor]: Taking taylor expansion of 0.5 in y 12.211 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.211 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.211 * [taylor]: Taking taylor expansion of -1 in y 12.211 * [taylor]: Taking taylor expansion of y in y 12.211 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.211 * [taylor]: Taking taylor expansion of x in y 12.211 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.211 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.211 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.211 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.211 * [taylor]: Taking taylor expansion of -1 in x 12.211 * [taylor]: Taking taylor expansion of y in x 12.211 * [taylor]: Taking taylor expansion of y in x 12.211 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.211 * [taylor]: Taking taylor expansion of y in x 12.211 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.212 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.212 * [taylor]: Taking taylor expansion of 0.5 in x 12.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.212 * [taylor]: Taking taylor expansion of -1 in x 12.212 * [taylor]: Taking taylor expansion of y in x 12.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.212 * [taylor]: Taking taylor expansion of x in x 12.212 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 12.212 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.212 * [taylor]: Taking taylor expansion of -1 in x 12.212 * [taylor]: Taking taylor expansion of y in x 12.212 * [taylor]: Taking taylor expansion of y in x 12.212 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.212 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.212 * [taylor]: Taking taylor expansion of y in x 12.212 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.212 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.212 * [taylor]: Taking taylor expansion of 0.5 in x 12.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.212 * [taylor]: Taking taylor expansion of -1 in x 12.212 * [taylor]: Taking taylor expansion of y in x 12.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.212 * [taylor]: Taking taylor expansion of x in x 12.214 * [taylor]: Taking taylor expansion of -1 in y 12.214 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 12.214 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.214 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.214 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.215 * [taylor]: Taking taylor expansion of -1 in y 12.215 * [taylor]: Taking taylor expansion of y in y 12.215 * [taylor]: Taking taylor expansion of y in y 12.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 12.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.216 * [taylor]: Taking taylor expansion of y in y 12.217 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.217 * [taylor]: Taking taylor expansion of 0.5 in y 12.217 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.217 * [taylor]: Taking taylor expansion of -1 in y 12.217 * [taylor]: Taking taylor expansion of y in y 12.227 * [taylor]: Taking taylor expansion of 0 in y 12.233 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 12.234 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 12.234 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 12.234 * [taylor]: Taking taylor expansion of x in y 12.234 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 12.234 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.234 * [taylor]: Taking taylor expansion of 0.5 in y 12.234 * [taylor]: Taking taylor expansion of (log y) in y 12.234 * [taylor]: Taking taylor expansion of y in y 12.234 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.234 * [taylor]: Taking taylor expansion of y in y 12.234 * [taylor]: Taking taylor expansion of (log y) in y 12.234 * [taylor]: Taking taylor expansion of y in y 12.234 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 12.234 * [taylor]: Taking taylor expansion of x in x 12.234 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.234 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.234 * [taylor]: Taking taylor expansion of 0.5 in x 12.234 * [taylor]: Taking taylor expansion of (log y) in x 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [taylor]: Taking taylor expansion of (log y) in x 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 12.234 * [taylor]: Taking taylor expansion of x in x 12.235 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 12.235 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 12.235 * [taylor]: Taking taylor expansion of 0.5 in x 12.235 * [taylor]: Taking taylor expansion of (log y) in x 12.235 * [taylor]: Taking taylor expansion of y in x 12.235 * [taylor]: Taking taylor expansion of (* y (log y)) in x 12.235 * [taylor]: Taking taylor expansion of y in x 12.235 * [taylor]: Taking taylor expansion of (log y) in x 12.235 * [taylor]: Taking taylor expansion of y in x 12.235 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 12.235 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 12.235 * [taylor]: Taking taylor expansion of (* y (log y)) in y 12.235 * [taylor]: Taking taylor expansion of y in y 12.235 * [taylor]: Taking taylor expansion of (log y) in y 12.235 * [taylor]: Taking taylor expansion of y in y 12.235 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 12.235 * [taylor]: Taking taylor expansion of 0.5 in y 12.235 * [taylor]: Taking taylor expansion of (log y) in y 12.235 * [taylor]: Taking taylor expansion of y in y 12.238 * [taylor]: Taking taylor expansion of 1 in y 12.241 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 12.241 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.241 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.241 * [taylor]: Taking taylor expansion of x in y 12.241 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 12.241 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) 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 y in y 12.242 * [taylor]: Taking taylor expansion of y in y 12.242 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.242 * [taylor]: Taking taylor expansion of 0.5 in y 12.242 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.242 * [taylor]: Taking taylor expansion of y in y 12.243 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 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.243 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) 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 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))) 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 y in x 12.244 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 12.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.244 * [taylor]: Taking taylor expansion of x in x 12.244 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 12.244 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 12.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.244 * [taylor]: Taking taylor expansion of y in x 12.244 * [taylor]: Taking taylor expansion of y in x 12.244 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 12.244 * [taylor]: Taking taylor expansion of 0.5 in x 12.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.244 * [taylor]: Taking taylor expansion of y in x 12.244 * [taylor]: Taking taylor expansion of 1 in y 12.245 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 12.245 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) 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 y in y 12.246 * [taylor]: Taking taylor expansion of y in y 12.246 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 12.246 * [taylor]: Taking taylor expansion of 0.5 in y 12.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.246 * [taylor]: Taking taylor expansion of y in y 12.250 * [taylor]: Taking taylor expansion of 0 in y 12.252 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 12.252 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 12.252 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.252 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.252 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.252 * [taylor]: Taking taylor expansion of -1 in y 12.252 * [taylor]: Taking taylor expansion of y in y 12.253 * [taylor]: Taking taylor expansion of y in y 12.254 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 12.254 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.254 * [taylor]: Taking taylor expansion of 0.5 in y 12.254 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.254 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.254 * [taylor]: Taking taylor expansion of -1 in y 12.254 * [taylor]: Taking taylor expansion of y in y 12.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.255 * [taylor]: Taking taylor expansion of x in y 12.255 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.255 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.255 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.255 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.255 * [taylor]: Taking taylor expansion of -1 in x 12.255 * [taylor]: Taking taylor expansion of y in x 12.255 * [taylor]: Taking taylor expansion of y in x 12.255 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.255 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.255 * [taylor]: Taking taylor expansion of 0.5 in x 12.255 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.255 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.255 * [taylor]: Taking taylor expansion of -1 in x 12.255 * [taylor]: Taking taylor expansion of y in x 12.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.255 * [taylor]: Taking taylor expansion of x in x 12.256 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 12.256 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 12.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.256 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.256 * [taylor]: Taking taylor expansion of -1 in x 12.256 * [taylor]: Taking taylor expansion of y in x 12.256 * [taylor]: Taking taylor expansion of y in x 12.256 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 12.256 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 12.256 * [taylor]: Taking taylor expansion of 0.5 in x 12.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 12.256 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.256 * [taylor]: Taking taylor expansion of -1 in x 12.256 * [taylor]: Taking taylor expansion of y in x 12.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.256 * [taylor]: Taking taylor expansion of x in x 12.257 * [taylor]: Taking taylor expansion of -1 in y 12.258 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 12.258 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 12.258 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.258 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.258 * [taylor]: Taking taylor expansion of -1 in y 12.258 * [taylor]: Taking taylor expansion of y in y 12.258 * [taylor]: Taking taylor expansion of y in y 12.260 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 12.260 * [taylor]: Taking taylor expansion of 0.5 in y 12.260 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 12.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.260 * [taylor]: Taking taylor expansion of -1 in y 12.260 * [taylor]: Taking taylor expansion of y in y 12.264 * [taylor]: Taking taylor expansion of 0 in y 12.269 * * * [progress]: simplifying candidates 12.271 * [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)))) (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 (+ (* 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.274 * * [simplify]: iteration 0 : 137 enodes (cost 917 ) 12.303 * * [simplify]: iteration 1 : 357 enodes (cost 830 ) 12.382 * * [simplify]: iteration 2 : 1068 enodes (cost 753 ) 13.238 * * [simplify]: iteration 3 : 4527 enodes (cost 728 ) 14.598 * * [simplify]: iteration done : 5000 enodes (cost 728 ) 14.598 * [simplify]: Simplified to: (* (+ y 0.5) (log y)) (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 (* (+ y 0.5) (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 (* (+ y 0.5) (log y)) (+ 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)) (* (+ 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 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) (* (log y) (+ y 0.5))) 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 0.5) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (/ (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)) (- (* (+ y 0.5) (log y))) (- (* 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 (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) x (- (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (+ y (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) x) (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5))) (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) 14.599 * * * [progress]: adding candidates to table 14.743 * * [progress]: iteration 2 / 4 14.743 * * * [progress]: picking best candidate 14.759 * * * * [pick]: Picked # 14.759 * * * [progress]: localizing error 14.773 * * * [progress]: generating rewritten candidates 14.773 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 14.774 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 14.775 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 14.789 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 14.804 * * * [progress]: generating series expansions 14.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 14.804 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 14.804 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.804 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.804 * [taylor]: Taking taylor expansion of 1/3 in y 14.804 * [taylor]: Taking taylor expansion of (log y) in y 14.804 * [taylor]: Taking taylor expansion of y in y 14.805 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.805 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.805 * [taylor]: Taking taylor expansion of 1/3 in y 14.805 * [taylor]: Taking taylor expansion of (log y) in y 14.805 * [taylor]: Taking taylor expansion of y in y 14.859 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 14.859 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.859 * [taylor]: Taking taylor expansion of 1/3 in y 14.859 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.859 * [taylor]: Taking taylor expansion of y in y 14.860 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.860 * [taylor]: Taking taylor expansion of 1/3 in y 14.860 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.860 * [taylor]: Taking taylor expansion of y in y 14.919 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 14.919 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.919 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.920 * [taylor]: Taking taylor expansion of -1 in y 14.920 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.920 * [taylor]: Taking taylor expansion of 1/3 in y 14.920 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.920 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.920 * [taylor]: Taking taylor expansion of y in y 14.921 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.921 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.921 * [taylor]: Taking taylor expansion of -1 in y 14.922 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.922 * [taylor]: Taking taylor expansion of 1/3 in y 14.922 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.922 * [taylor]: Taking taylor expansion of y in y 14.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 14.993 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 14.993 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.993 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.993 * [taylor]: Taking taylor expansion of 1/3 in y 14.993 * [taylor]: Taking taylor expansion of (log y) in y 14.993 * [taylor]: Taking taylor expansion of y in y 14.994 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.994 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.994 * [taylor]: Taking taylor expansion of 1/3 in y 14.994 * [taylor]: Taking taylor expansion of (log y) in y 14.994 * [taylor]: Taking taylor expansion of y in y 15.043 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.043 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.043 * [taylor]: Taking taylor expansion of 1/3 in y 15.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.043 * [taylor]: Taking taylor expansion of y in y 15.044 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.044 * [taylor]: Taking taylor expansion of 1/3 in y 15.044 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.044 * [taylor]: Taking taylor expansion of y in y 15.102 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 15.102 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.102 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.102 * [taylor]: Taking taylor expansion of -1 in y 15.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.103 * [taylor]: Taking taylor expansion of 1/3 in y 15.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.103 * [taylor]: Taking taylor expansion of y in y 15.104 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.104 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.104 * [taylor]: Taking taylor expansion of -1 in y 15.105 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.105 * [taylor]: Taking taylor expansion of 1/3 in y 15.105 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.105 * [taylor]: Taking taylor expansion of y in y 15.174 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 15.175 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 15.175 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 15.175 * [taylor]: Taking taylor expansion of x in y 15.175 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 15.175 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 15.175 * [taylor]: Taking taylor expansion of 3 in y 15.175 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 15.175 * [taylor]: Taking taylor expansion of y in y 15.175 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.175 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.175 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.175 * [taylor]: Taking taylor expansion of 1/3 in y 15.175 * [taylor]: Taking taylor expansion of (log y) in y 15.175 * [taylor]: Taking taylor expansion of y in y 15.176 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 15.176 * [taylor]: Taking taylor expansion of 1.5 in y 15.176 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.176 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.176 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.176 * [taylor]: Taking taylor expansion of 1/3 in y 15.176 * [taylor]: Taking taylor expansion of (log y) in y 15.176 * [taylor]: Taking taylor expansion of y in y 15.176 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 15.177 * [taylor]: Taking taylor expansion of x in x 15.177 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 15.177 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 15.177 * [taylor]: Taking taylor expansion of 3 in x 15.177 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 15.177 * [taylor]: Taking taylor expansion of y in x 15.177 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.177 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.177 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.177 * [taylor]: Taking taylor expansion of 1/3 in x 15.177 * [taylor]: Taking taylor expansion of (log y) in x 15.177 * [taylor]: Taking taylor expansion of y in x 15.177 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 15.177 * [taylor]: Taking taylor expansion of 1.5 in x 15.177 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.177 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.177 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.177 * [taylor]: Taking taylor expansion of 1/3 in x 15.177 * [taylor]: Taking taylor expansion of (log y) in x 15.177 * [taylor]: Taking taylor expansion of y in x 15.177 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 15.177 * [taylor]: Taking taylor expansion of x in x 15.177 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 15.177 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 15.177 * [taylor]: Taking taylor expansion of 3 in x 15.177 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 15.177 * [taylor]: Taking taylor expansion of y in x 15.177 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.177 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.177 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.177 * [taylor]: Taking taylor expansion of 1/3 in x 15.177 * [taylor]: Taking taylor expansion of (log y) in x 15.177 * [taylor]: Taking taylor expansion of y in x 15.177 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 15.178 * [taylor]: Taking taylor expansion of 1.5 in x 15.178 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.178 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.178 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.178 * [taylor]: Taking taylor expansion of 1/3 in x 15.178 * [taylor]: Taking taylor expansion of (log y) in x 15.178 * [taylor]: Taking taylor expansion of y in x 15.178 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 15.179 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 15.179 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 15.179 * [taylor]: Taking taylor expansion of 3 in y 15.179 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 15.179 * [taylor]: Taking taylor expansion of y in y 15.179 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.179 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.179 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.179 * [taylor]: Taking taylor expansion of 1/3 in y 15.179 * [taylor]: Taking taylor expansion of (log y) in y 15.179 * [taylor]: Taking taylor expansion of y in y 15.179 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 15.179 * [taylor]: Taking taylor expansion of 1.5 in y 15.179 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.179 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.179 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.179 * [taylor]: Taking taylor expansion of 1/3 in y 15.180 * [taylor]: Taking taylor expansion of (log y) in y 15.180 * [taylor]: Taking taylor expansion of y in y 15.186 * [taylor]: Taking taylor expansion of 1 in y 15.192 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 15.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 15.192 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.192 * [taylor]: Taking taylor expansion of x in y 15.192 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 15.192 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 15.192 * [taylor]: Taking taylor expansion of 1.5 in y 15.192 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.192 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.193 * [taylor]: Taking taylor expansion of 1/3 in y 15.193 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.193 * [taylor]: Taking taylor expansion of y in y 15.193 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 15.193 * [taylor]: Taking taylor expansion of 3 in y 15.193 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 15.194 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.194 * [taylor]: Taking taylor expansion of 1/3 in y 15.194 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.194 * [taylor]: Taking taylor expansion of y in y 15.194 * [taylor]: Taking taylor expansion of y in y 15.195 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 15.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.195 * [taylor]: Taking taylor expansion of x in x 15.195 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 15.195 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 15.195 * [taylor]: Taking taylor expansion of 1.5 in x 15.195 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.195 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.195 * [taylor]: Taking taylor expansion of 1/3 in x 15.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.195 * [taylor]: Taking taylor expansion of y in x 15.195 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 15.195 * [taylor]: Taking taylor expansion of 3 in x 15.195 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 15.195 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.195 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.195 * [taylor]: Taking taylor expansion of 1/3 in x 15.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.195 * [taylor]: Taking taylor expansion of y in x 15.196 * [taylor]: Taking taylor expansion of y in x 15.196 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 15.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.196 * [taylor]: Taking taylor expansion of x in x 15.196 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 15.196 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 15.196 * [taylor]: Taking taylor expansion of 1.5 in x 15.196 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.196 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.196 * [taylor]: Taking taylor expansion of 1/3 in x 15.196 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.196 * [taylor]: Taking taylor expansion of y in x 15.197 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 15.197 * [taylor]: Taking taylor expansion of 3 in x 15.197 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 15.197 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.197 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.197 * [taylor]: Taking taylor expansion of 1/3 in x 15.197 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.197 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.197 * [taylor]: Taking taylor expansion of y in x 15.197 * [taylor]: Taking taylor expansion of y in x 15.197 * [taylor]: Taking taylor expansion of 1 in y 15.199 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 15.199 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 15.199 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 15.199 * [taylor]: Taking taylor expansion of 1.5 in y 15.199 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.199 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.199 * [taylor]: Taking taylor expansion of 1/3 in y 15.199 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.199 * [taylor]: Taking taylor expansion of y in y 15.200 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 15.200 * [taylor]: Taking taylor expansion of 3 in y 15.200 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 15.200 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.200 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.200 * [taylor]: Taking taylor expansion of 1/3 in y 15.200 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.200 * [taylor]: Taking taylor expansion of y in y 15.201 * [taylor]: Taking taylor expansion of y in y 15.207 * [taylor]: Taking taylor expansion of 0 in y 15.212 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (x y) around 0 15.212 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 15.212 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 15.212 * [taylor]: Taking taylor expansion of 3 in y 15.212 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 15.212 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.212 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.212 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.212 * [taylor]: Taking taylor expansion of -1 in y 15.212 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.213 * [taylor]: Taking taylor expansion of 1/3 in y 15.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.213 * [taylor]: Taking taylor expansion of y in y 15.214 * [taylor]: Taking taylor expansion of y in y 15.215 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 15.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.215 * [taylor]: Taking taylor expansion of x in y 15.215 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.215 * [taylor]: Taking taylor expansion of 1.5 in y 15.215 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.215 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.215 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.215 * [taylor]: Taking taylor expansion of -1 in y 15.215 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.215 * [taylor]: Taking taylor expansion of 1/3 in y 15.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.216 * [taylor]: Taking taylor expansion of y in y 15.223 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 15.223 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 15.223 * [taylor]: Taking taylor expansion of 3 in x 15.223 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 15.223 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.223 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.223 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.223 * [taylor]: Taking taylor expansion of -1 in x 15.224 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.224 * [taylor]: Taking taylor expansion of 1/3 in x 15.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.224 * [taylor]: Taking taylor expansion of y in x 15.225 * [taylor]: Taking taylor expansion of y in x 15.225 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 15.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.225 * [taylor]: Taking taylor expansion of x in x 15.226 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 15.226 * [taylor]: Taking taylor expansion of 1.5 in x 15.226 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.226 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.226 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.226 * [taylor]: Taking taylor expansion of -1 in x 15.226 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.226 * [taylor]: Taking taylor expansion of 1/3 in x 15.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.227 * [taylor]: Taking taylor expansion of y in x 15.227 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 15.228 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 15.228 * [taylor]: Taking taylor expansion of 3 in x 15.228 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 15.228 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.228 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.228 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.228 * [taylor]: Taking taylor expansion of -1 in x 15.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.228 * [taylor]: Taking taylor expansion of 1/3 in x 15.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.228 * [taylor]: Taking taylor expansion of y in x 15.229 * [taylor]: Taking taylor expansion of y in x 15.230 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 15.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.230 * [taylor]: Taking taylor expansion of x in x 15.230 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 15.230 * [taylor]: Taking taylor expansion of 1.5 in x 15.230 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.230 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.230 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.230 * [taylor]: Taking taylor expansion of -1 in x 15.231 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.231 * [taylor]: Taking taylor expansion of 1/3 in x 15.231 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.231 * [taylor]: Taking taylor expansion of y in x 15.233 * [taylor]: Taking taylor expansion of -1 in y 15.236 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 15.236 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 15.236 * [taylor]: Taking taylor expansion of 3 in y 15.236 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 15.236 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.236 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.236 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.236 * [taylor]: Taking taylor expansion of -1 in y 15.236 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.237 * [taylor]: Taking taylor expansion of 1/3 in y 15.237 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.237 * [taylor]: Taking taylor expansion of y in y 15.238 * [taylor]: Taking taylor expansion of y in y 15.239 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.239 * [taylor]: Taking taylor expansion of 1.5 in y 15.239 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.239 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.239 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.239 * [taylor]: Taking taylor expansion of -1 in y 15.240 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.240 * [taylor]: Taking taylor expansion of 1/3 in y 15.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.240 * [taylor]: Taking taylor expansion of y in y 15.251 * [taylor]: Taking taylor expansion of 0 in y 15.258 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 15.258 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 15.258 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 15.259 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.259 * [taylor]: Taking taylor expansion of y in y 15.259 * [taylor]: Taking taylor expansion of 0.5 in y 15.259 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.259 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.259 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.259 * [taylor]: Taking taylor expansion of 1/3 in y 15.259 * [taylor]: Taking taylor expansion of (log y) in y 15.259 * [taylor]: Taking taylor expansion of y in y 15.259 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 15.259 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.259 * [taylor]: Taking taylor expansion of y in y 15.259 * [taylor]: Taking taylor expansion of 0.5 in y 15.259 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.259 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.259 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.259 * [taylor]: Taking taylor expansion of 1/3 in y 15.259 * [taylor]: Taking taylor expansion of (log y) in y 15.260 * [taylor]: Taking taylor expansion of y in y 15.390 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 15.390 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 15.390 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.390 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.390 * [taylor]: Taking taylor expansion of 1/3 in y 15.390 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.390 * [taylor]: Taking taylor expansion of y in y 15.391 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.391 * [taylor]: Taking taylor expansion of y in y 15.392 * [taylor]: Taking taylor expansion of 0.5 in y 15.392 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 15.392 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.392 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.392 * [taylor]: Taking taylor expansion of 1/3 in y 15.392 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.392 * [taylor]: Taking taylor expansion of y in y 15.393 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.393 * [taylor]: Taking taylor expansion of y in y 15.393 * [taylor]: Taking taylor expansion of 0.5 in y 15.521 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 15.521 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.522 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.522 * [taylor]: Taking taylor expansion of 0.5 in y 15.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.522 * [taylor]: Taking taylor expansion of y in y 15.522 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.522 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.522 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.522 * [taylor]: Taking taylor expansion of -1 in y 15.523 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.523 * [taylor]: Taking taylor expansion of 1/3 in y 15.523 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.523 * [taylor]: Taking taylor expansion of y in y 15.524 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.524 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.524 * [taylor]: Taking taylor expansion of 0.5 in y 15.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.524 * [taylor]: Taking taylor expansion of y in y 15.525 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.525 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.525 * [taylor]: Taking taylor expansion of -1 in y 15.525 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.525 * [taylor]: Taking taylor expansion of 1/3 in y 15.525 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.525 * [taylor]: Taking taylor expansion of y in y 15.694 * * * [progress]: simplifying candidates 15.695 * [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 x) (exp (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (+ y 0.5) (log (cbrt y))))) (/ (exp (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (+ y 0.5) (log (cbrt y))))) (log (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (exp (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (* (* (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (- y 0.5)) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (- y 0.5)) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- y 0.5)) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))) (- (* (+ y 0.5) (log (cbrt y)))) (- (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))) (+ (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt (sqrt y))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt 1)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (sqrt (cbrt y))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log 1))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt (sqrt y))) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt 1)) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (sqrt (cbrt y))) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log 1) (+ y 0.5))) (- (- (* (* 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)))) (- (* (+ 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)) (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- x (+ (* 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)) 15.701 * * [simplify]: iteration 0 : 184 enodes (cost 1745 ) 15.746 * * [simplify]: iteration 1 : 517 enodes (cost 1624 ) 15.897 * * [simplify]: iteration 2 : 2001 enodes (cost 1297 ) 16.416 * * [simplify]: iteration done : 5001 enodes (cost 1297 ) 16.417 * [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 (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (exp (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (log (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (exp (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (* (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y))))))) (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (pow (- x (* 3 (* (+ y 0.5) (log (cbrt y))))) 3) (sqrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (sqrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x)))) (* (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x)) (+ (* 0.5 (- 0.5 y)) (* y y))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (- y 0.5)) (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x)))) (* (- y 0.5) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x))) (- (* (- (* x x) (* 4 (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))))) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (log (cbrt y)) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (+ (pow y 3) (pow 0.5 3))))) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (+ (* 0.5 (- 0.5 y)) (* y y))) (- (* (- y 0.5) (- (* x x) (* 4 (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))))) (* (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (- (* y y) (* 0.5 0.5))) (log (cbrt y)))) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2/3 (log y)) (+ y 0.5))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (- x (* (* 2/3 (log y)) (+ y 0.5))) (- x (* (* 2/3 (log y)) (+ y 0.5)))) (* (* (+ y 0.5) (log (cbrt y))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))))) (- (* (+ y 0.5) (log (cbrt y)))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (- (- x (* (* 2/3 (log y)) (+ y 0.5))) 0) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))))) (- (- x (* (* 2/3 (log y)) (+ y 0.5))) 0) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (- (- x (* (* 2/3 (log y)) (+ y 0.5))) 0) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))))) (- (- x (* (* 2/3 (log y)) (+ y 0.5))) 0) (- (* 3 (* (+ y 0.5) (log (cbrt y))))) (- (* 3 (* (+ y 0.5) (log (cbrt y))))) (* 3 (* (+ y 0.5) (log (cbrt y)))) (- (* (+ y 0.5) (log (cbrt y)))) (* (+ 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)))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ 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)))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ 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)) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (* (- (log y)) -1/3) (+ 1.5 (* 3 y)))) (- (- x (* (log (* (cbrt (- y)) (cbrt -1))) 1.5)) (* 3 (* y (log (* (cbrt (- y)) (cbrt -1)))))) (* (+ y 0.5) (log (cbrt y))) (* (* (- (log y)) -1/3) (+ y 0.5)) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 16.418 * * * [progress]: adding candidates to table 16.738 * * [progress]: iteration 3 / 4 16.738 * * * [progress]: picking best candidate 16.751 * * * * [pick]: Picked # 16.751 * * * [progress]: localizing error 16.763 * * * [progress]: generating rewritten candidates 16.763 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 16.764 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 16.772 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 16.784 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 16.786 * * * [progress]: generating series expansions 16.786 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 16.787 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 16.787 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.787 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.787 * [taylor]: Taking taylor expansion of 1/3 in y 16.787 * [taylor]: Taking taylor expansion of (log y) in y 16.787 * [taylor]: Taking taylor expansion of y in y 16.788 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.788 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.788 * [taylor]: Taking taylor expansion of 1/3 in y 16.788 * [taylor]: Taking taylor expansion of (log y) in y 16.788 * [taylor]: Taking taylor expansion of y in y 16.837 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 16.837 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.837 * [taylor]: Taking taylor expansion of 1/3 in y 16.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.837 * [taylor]: Taking taylor expansion of y in y 16.838 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.838 * [taylor]: Taking taylor expansion of 1/3 in y 16.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.838 * [taylor]: Taking taylor expansion of y in y 16.896 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 16.896 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.896 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.896 * [taylor]: Taking taylor expansion of -1 in y 16.896 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.897 * [taylor]: Taking taylor expansion of 1/3 in y 16.897 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.897 * [taylor]: Taking taylor expansion of y in y 16.897 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.898 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.898 * [taylor]: Taking taylor expansion of -1 in y 16.898 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.898 * [taylor]: Taking taylor expansion of 1/3 in y 16.898 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.898 * [taylor]: Taking taylor expansion of y in y 16.968 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 16.968 * [approximate]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in (y) around 0 16.968 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 16.968 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 16.968 * [taylor]: Taking taylor expansion of (* 3 y) in y 16.968 * [taylor]: Taking taylor expansion of 3 in y 16.968 * [taylor]: Taking taylor expansion of y in y 16.968 * [taylor]: Taking taylor expansion of 1.5 in y 16.968 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.968 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.969 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.969 * [taylor]: Taking taylor expansion of 1/3 in y 16.969 * [taylor]: Taking taylor expansion of (log y) in y 16.969 * [taylor]: Taking taylor expansion of y in y 16.969 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 16.969 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 16.969 * [taylor]: Taking taylor expansion of (* 3 y) in y 16.969 * [taylor]: Taking taylor expansion of 3 in y 16.969 * [taylor]: Taking taylor expansion of y in y 16.969 * [taylor]: Taking taylor expansion of 1.5 in y 16.969 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 16.969 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.970 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.970 * [taylor]: Taking taylor expansion of 1/3 in y 16.970 * [taylor]: Taking taylor expansion of (log y) in y 16.970 * [taylor]: Taking taylor expansion of y in y 17.107 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in (y) around 0 17.107 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 17.107 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.107 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.107 * [taylor]: Taking taylor expansion of 1/3 in y 17.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.107 * [taylor]: Taking taylor expansion of y in y 17.108 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 17.108 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 17.109 * [taylor]: Taking taylor expansion of 3 in y 17.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.109 * [taylor]: Taking taylor expansion of y in y 17.109 * [taylor]: Taking taylor expansion of 1.5 in y 17.109 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 17.109 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.109 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.109 * [taylor]: Taking taylor expansion of 1/3 in y 17.109 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.109 * [taylor]: Taking taylor expansion of y in y 17.110 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 17.110 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 17.110 * [taylor]: Taking taylor expansion of 3 in y 17.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.110 * [taylor]: Taking taylor expansion of y in y 17.110 * [taylor]: Taking taylor expansion of 1.5 in y 17.246 * [approximate]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 17.246 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.246 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 17.246 * [taylor]: Taking taylor expansion of 1.5 in y 17.246 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 17.246 * [taylor]: Taking taylor expansion of 3 in y 17.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.246 * [taylor]: Taking taylor expansion of y in y 17.247 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.247 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.247 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.247 * [taylor]: Taking taylor expansion of -1 in y 17.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.248 * [taylor]: Taking taylor expansion of 1/3 in y 17.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.248 * [taylor]: Taking taylor expansion of y in y 17.249 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.249 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 17.249 * [taylor]: Taking taylor expansion of 1.5 in y 17.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 17.249 * [taylor]: Taking taylor expansion of 3 in y 17.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.250 * [taylor]: Taking taylor expansion of y in y 17.250 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.250 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.250 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.250 * [taylor]: Taking taylor expansion of -1 in y 17.250 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.251 * [taylor]: Taking taylor expansion of 1/3 in y 17.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.251 * [taylor]: Taking taylor expansion of y in y 17.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 17.437 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 17.437 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 17.437 * [taylor]: Taking taylor expansion of (+ x y) in y 17.437 * [taylor]: Taking taylor expansion of x in y 17.437 * [taylor]: Taking taylor expansion of y in y 17.437 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.437 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.437 * [taylor]: Taking taylor expansion of 3 in y 17.437 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.437 * [taylor]: Taking taylor expansion of y in y 17.437 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.437 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.437 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.437 * [taylor]: Taking taylor expansion of 1/3 in y 17.437 * [taylor]: Taking taylor expansion of (log y) in y 17.437 * [taylor]: Taking taylor expansion of y in y 17.438 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.438 * [taylor]: Taking taylor expansion of 1.5 in y 17.438 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.438 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.438 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.438 * [taylor]: Taking taylor expansion of 1/3 in y 17.438 * [taylor]: Taking taylor expansion of (log y) in y 17.438 * [taylor]: Taking taylor expansion of y in y 17.438 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 17.438 * [taylor]: Taking taylor expansion of (+ x y) in x 17.438 * [taylor]: Taking taylor expansion of x in x 17.438 * [taylor]: Taking taylor expansion of y in x 17.438 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 17.438 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 17.438 * [taylor]: Taking taylor expansion of 3 in x 17.438 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 17.438 * [taylor]: Taking taylor expansion of y in x 17.438 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 17.439 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 17.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 17.439 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 17.439 * [taylor]: Taking taylor expansion of 1/3 in x 17.439 * [taylor]: Taking taylor expansion of (log y) in x 17.439 * [taylor]: Taking taylor expansion of y in x 17.439 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 17.439 * [taylor]: Taking taylor expansion of 1.5 in x 17.439 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 17.439 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 17.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 17.439 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 17.439 * [taylor]: Taking taylor expansion of 1/3 in x 17.439 * [taylor]: Taking taylor expansion of (log y) in x 17.439 * [taylor]: Taking taylor expansion of y in x 17.439 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 17.439 * [taylor]: Taking taylor expansion of (+ x y) in x 17.439 * [taylor]: Taking taylor expansion of x in x 17.439 * [taylor]: Taking taylor expansion of y in x 17.439 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 17.439 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 17.439 * [taylor]: Taking taylor expansion of 3 in x 17.439 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 17.439 * [taylor]: Taking taylor expansion of y in x 17.439 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 17.439 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 17.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 17.439 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 17.439 * [taylor]: Taking taylor expansion of 1/3 in x 17.439 * [taylor]: Taking taylor expansion of (log y) in x 17.439 * [taylor]: Taking taylor expansion of y in x 17.439 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 17.439 * [taylor]: Taking taylor expansion of 1.5 in x 17.439 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 17.439 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 17.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 17.439 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 17.440 * [taylor]: Taking taylor expansion of 1/3 in x 17.440 * [taylor]: Taking taylor expansion of (log y) in x 17.440 * [taylor]: Taking taylor expansion of y in x 17.441 * [taylor]: Taking taylor expansion of (- y (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 17.441 * [taylor]: Taking taylor expansion of y in y 17.441 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.441 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.441 * [taylor]: Taking taylor expansion of 3 in y 17.441 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.441 * [taylor]: Taking taylor expansion of y in y 17.441 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.441 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.441 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.441 * [taylor]: Taking taylor expansion of 1/3 in y 17.441 * [taylor]: Taking taylor expansion of (log y) in y 17.441 * [taylor]: Taking taylor expansion of y in y 17.442 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.442 * [taylor]: Taking taylor expansion of 1.5 in y 17.442 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.442 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.442 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.442 * [taylor]: Taking taylor expansion of 1/3 in y 17.442 * [taylor]: Taking taylor expansion of (log y) in y 17.442 * [taylor]: Taking taylor expansion of y in y 17.449 * [taylor]: Taking taylor expansion of 1 in y 17.455 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 17.455 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 17.455 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 17.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.455 * [taylor]: Taking taylor expansion of y in y 17.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.456 * [taylor]: Taking taylor expansion of x in y 17.456 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 17.456 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 17.456 * [taylor]: Taking taylor expansion of 1.5 in y 17.456 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.456 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.456 * [taylor]: Taking taylor expansion of 1/3 in y 17.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.456 * [taylor]: Taking taylor expansion of y in y 17.457 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 17.457 * [taylor]: Taking taylor expansion of 3 in y 17.457 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 17.457 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.457 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.457 * [taylor]: Taking taylor expansion of 1/3 in y 17.457 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.457 * [taylor]: Taking taylor expansion of y in y 17.458 * [taylor]: Taking taylor expansion of y in y 17.458 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 17.458 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 17.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.458 * [taylor]: Taking taylor expansion of y in x 17.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.458 * [taylor]: Taking taylor expansion of x in x 17.458 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 17.458 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 17.458 * [taylor]: Taking taylor expansion of 1.5 in x 17.458 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 17.458 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.458 * [taylor]: Taking taylor expansion of 1/3 in x 17.458 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 17.459 * [taylor]: Taking taylor expansion of 3 in x 17.459 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 17.459 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 17.459 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.459 * [taylor]: Taking taylor expansion of 1/3 in x 17.459 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 17.459 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 17.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.459 * [taylor]: Taking taylor expansion of x in x 17.460 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 17.460 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 17.460 * [taylor]: Taking taylor expansion of 1.5 in x 17.460 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 17.460 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.460 * [taylor]: Taking taylor expansion of 1/3 in x 17.460 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.460 * [taylor]: Taking taylor expansion of y in x 17.460 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 17.460 * [taylor]: Taking taylor expansion of 3 in x 17.460 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 17.460 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 17.460 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.460 * [taylor]: Taking taylor expansion of 1/3 in x 17.460 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.460 * [taylor]: Taking taylor expansion of y in x 17.460 * [taylor]: Taking taylor expansion of y in x 17.461 * [taylor]: Taking taylor expansion of 1 in y 17.462 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 17.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.462 * [taylor]: Taking taylor expansion of y in y 17.463 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 17.463 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 17.463 * [taylor]: Taking taylor expansion of 1.5 in y 17.463 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.463 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.463 * [taylor]: Taking taylor expansion of 1/3 in y 17.463 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.463 * [taylor]: Taking taylor expansion of y in y 17.464 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 17.464 * [taylor]: Taking taylor expansion of 3 in y 17.464 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 17.464 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.464 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.464 * [taylor]: Taking taylor expansion of 1/3 in y 17.464 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.464 * [taylor]: Taking taylor expansion of y in y 17.465 * [taylor]: Taking taylor expansion of y in y 17.471 * [taylor]: Taking taylor expansion of 0 in y 17.477 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in (x y) around 0 17.477 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in y 17.477 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.477 * [taylor]: Taking taylor expansion of 3 in y 17.477 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.477 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.477 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.477 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.477 * [taylor]: Taking taylor expansion of -1 in y 17.478 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.478 * [taylor]: Taking taylor expansion of 1/3 in y 17.478 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.478 * [taylor]: Taking taylor expansion of y in y 17.479 * [taylor]: Taking taylor expansion of y in y 17.480 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 17.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.480 * [taylor]: Taking taylor expansion of y in y 17.480 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 17.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.480 * [taylor]: Taking taylor expansion of x in y 17.480 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.480 * [taylor]: Taking taylor expansion of 1.5 in y 17.480 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.480 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.480 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.480 * [taylor]: Taking taylor expansion of -1 in y 17.481 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.481 * [taylor]: Taking taylor expansion of 1/3 in y 17.481 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.481 * [taylor]: Taking taylor expansion of y in y 17.483 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 17.483 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 17.483 * [taylor]: Taking taylor expansion of 3 in x 17.483 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 17.483 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 17.483 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 17.483 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.483 * [taylor]: Taking taylor expansion of -1 in x 17.483 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.483 * [taylor]: Taking taylor expansion of 1/3 in x 17.483 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.484 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.484 * [taylor]: Taking taylor expansion of y in x 17.485 * [taylor]: Taking taylor expansion of y in x 17.485 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 17.485 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.485 * [taylor]: Taking taylor expansion of y in x 17.485 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 17.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.485 * [taylor]: Taking taylor expansion of x in x 17.485 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 17.485 * [taylor]: Taking taylor expansion of 1.5 in x 17.485 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 17.486 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 17.486 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.486 * [taylor]: Taking taylor expansion of -1 in x 17.486 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.486 * [taylor]: Taking taylor expansion of 1/3 in x 17.486 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.486 * [taylor]: Taking taylor expansion of y in x 17.487 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 17.487 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 17.487 * [taylor]: Taking taylor expansion of 3 in x 17.487 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 17.487 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 17.487 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 17.487 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.487 * [taylor]: Taking taylor expansion of -1 in x 17.488 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.488 * [taylor]: Taking taylor expansion of 1/3 in x 17.488 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.488 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.488 * [taylor]: Taking taylor expansion of y in x 17.489 * [taylor]: Taking taylor expansion of y in x 17.490 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 17.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.490 * [taylor]: Taking taylor expansion of y in x 17.490 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 17.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.490 * [taylor]: Taking taylor expansion of x in x 17.490 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 17.490 * [taylor]: Taking taylor expansion of 1.5 in x 17.490 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 17.490 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 17.490 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.490 * [taylor]: Taking taylor expansion of -1 in x 17.491 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 17.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 17.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 17.491 * [taylor]: Taking taylor expansion of 1/3 in x 17.491 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 17.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.491 * [taylor]: Taking taylor expansion of y in x 17.493 * [taylor]: Taking taylor expansion of -1 in y 17.496 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 17.496 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.496 * [taylor]: Taking taylor expansion of 3 in y 17.496 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.496 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.496 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.496 * [taylor]: Taking taylor expansion of -1 in y 17.497 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.497 * [taylor]: Taking taylor expansion of 1/3 in y 17.497 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.497 * [taylor]: Taking taylor expansion of y in y 17.499 * [taylor]: Taking taylor expansion of y in y 17.499 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 17.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.499 * [taylor]: Taking taylor expansion of y in y 17.499 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.499 * [taylor]: Taking taylor expansion of 1.5 in y 17.499 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.499 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.499 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.500 * [taylor]: Taking taylor expansion of -1 in y 17.500 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.500 * [taylor]: Taking taylor expansion of 1/3 in y 17.500 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.501 * [taylor]: Taking taylor expansion of y in y 17.512 * [taylor]: Taking taylor expansion of 0 in y 17.528 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 17.528 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0 17.528 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.528 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.528 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.528 * [taylor]: Taking taylor expansion of 1/3 in y 17.528 * [taylor]: Taking taylor expansion of (log y) in y 17.528 * [taylor]: Taking taylor expansion of y in y 17.529 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.529 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.529 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.529 * [taylor]: Taking taylor expansion of 1/3 in y 17.529 * [taylor]: Taking taylor expansion of (log y) in y 17.529 * [taylor]: Taking taylor expansion of y in y 17.603 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0 17.603 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.603 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.603 * [taylor]: Taking taylor expansion of 1/3 in y 17.603 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.603 * [taylor]: Taking taylor expansion of y in y 17.604 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.604 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.604 * [taylor]: Taking taylor expansion of 1/3 in y 17.604 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.604 * [taylor]: Taking taylor expansion of y in y 17.675 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 17.675 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.675 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.675 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.675 * [taylor]: Taking taylor expansion of -1 in y 17.676 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.676 * [taylor]: Taking taylor expansion of 1/3 in y 17.676 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.676 * [taylor]: Taking taylor expansion of y in y 17.684 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.684 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.684 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.684 * [taylor]: Taking taylor expansion of -1 in y 17.685 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.685 * [taylor]: Taking taylor expansion of 1/3 in y 17.685 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.685 * [taylor]: Taking taylor expansion of y in y 17.782 * * * [progress]: simplifying candidates 17.783 * [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)) (+ 1.5 (* 3 y))) (+ (log (log (cbrt y))) (log (+ 1.5 (* 3 y)))) (log (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (exp (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ 1.5 (* 3 y)) (+ 1.5 (* 3 y))) (+ 1.5 (* 3 y)))) (* (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (* (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (sqrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (sqrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (log (cbrt y)) 1.5) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (* 3 y) (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ 1.5 (* 3 y))) (cbrt (+ 1.5 (* 3 y))))) (* (log (cbrt y)) (sqrt (+ 1.5 (* 3 y)))) (* (log (cbrt y)) 1) (* (log y) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (cbrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (sqrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ (pow 1.5 3) (pow (* 3 y) 3))) (* (log (cbrt y)) (- (* 1.5 1.5) (* (* 3 y) (* 3 y)))) (* (/ (exp x) (exp (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (exp y)) (* (exp (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (exp y)) (log (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (exp (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (* (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y))) (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (* (* (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (+ (pow (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) 3) (pow y 3)) (+ (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (- (* y y) (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y))) (- (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (* y y)) (- (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (- (* (log (cbrt y)) (+ 1.5 (* 3 y))) y) (log (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) (log (cbrt 1)) (log (cbrt y)) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) (log 1) (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (exp (log (cbrt y))) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (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))) (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- (+ x y) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- (+ x y) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (log (pow y 1/3)) (log (pow (/ 1 y) -1/3)) (log (* (pow (* -1 y) 1/3) (cbrt -1))) 17.787 * * [simplify]: iteration 0 : 126 enodes (cost 927 ) 17.811 * * [simplify]: iteration 1 : 332 enodes (cost 883 ) 17.902 * * [simplify]: iteration 2 : 1078 enodes (cost 783 ) 19.314 * * [simplify]: iteration 3 : 4830 enodes (cost 715 ) 20.865 * * [simplify]: iteration done : 5000 enodes (cost 715 ) 20.866 * [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)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log y) (+ y (* 1.5 1/3))) (log (* (log y) (+ y (* 1.5 1/3)))) (log (* (log y) (+ y (* 1.5 1/3)))) (pow (cbrt y) (+ 1.5 (* 3 y))) (pow (* (log y) (+ y (* 1.5 1/3))) 3) (* (cbrt (* (log y) (+ y (* 1.5 1/3)))) (cbrt (* (log y) (+ y (* 1.5 1/3))))) (cbrt (* (log y) (+ y (* 1.5 1/3)))) (pow (* (log y) (+ y (* 1.5 1/3))) 3) (sqrt (* (log y) (+ y (* 1.5 1/3)))) (sqrt (* (log y) (+ y (* 1.5 1/3)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (log (cbrt y)) 1.5) (* y (log y)) (* (log (cbrt y)) 1.5) (* y (log y)) (* (log (cbrt y)) (* (cbrt (+ 1.5 (* 3 y))) (cbrt (+ 1.5 (* 3 y))))) (* (log (cbrt y)) (sqrt (+ 1.5 (* 3 y)))) (log (cbrt y)) (* (log y) (+ 1.5 (* 3 y))) (* (log y) (+ y (* 1.5 1/3))) (* (cbrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (sqrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (log y) (+ y (* 1.5 1/3))) (* (log (cbrt y)) (+ (pow 1.5 3) (pow (* 3 y) 3))) (* (- (* 1.5 1.5) (* 9 (* y y))) (log (cbrt y))) (/ (exp (+ x y)) (pow (cbrt y) (+ 1.5 (* 3 y)))) (/ (exp (+ x y)) (pow (cbrt y) (+ 1.5 (* 3 y)))) (log (- x (- (* (log y) (+ y (* 1.5 1/3))) y))) (/ (exp (+ x y)) (pow (cbrt y) (+ 1.5 (* 3 y)))) (* (cbrt (- x (- (* (log y) (+ y (* 1.5 1/3))) y))) (cbrt (- x (- (* (log y) (+ y (* 1.5 1/3))) y)))) (cbrt (- x (- (* (log y) (+ y (* 1.5 1/3))) y))) (pow (- x (- (* (log y) (+ y (* 1.5 1/3))) y)) 3) (sqrt (- x (- (* (log y) (+ y (* 1.5 1/3))) y))) (sqrt (- x (- (* (log y) (+ y (* 1.5 1/3))) y))) (+ (pow (- x (* (log y) (+ y (* 1.5 1/3)))) 3) (pow y 3)) (+ (* (- x (* (log y) (+ y (* 1.5 1/3)))) (- (- x y) (* (log y) (+ y (* 1.5 1/3))))) (* y y)) (* (- x (- (* (log y) (+ y (* 1.5 1/3))) y)) (- (- x y) (* (log y) (+ y (* 1.5 1/3))))) (- (- x y) (* (log y) (+ y (* 1.5 1/3)))) (- x (- (* (log y) (+ y (* 1.5 1/3))) y)) (- y (* (log y) (+ y (* 1.5 1/3)))) (- y (* (log y) (+ y (* 1.5 1/3)))) (- (* (log y) (+ y (* 1.5 1/3))) y) (log (cbrt (pow y 2/3))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) 0 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) 0 (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (cbrt y) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (pow (log (cbrt y)) 3) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log y) (+ y (* 1.5 1/3))) (* (- (log y)) (+ (- y) (* 1.5 -1/3))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ (* 3 y) 1.5)) (- x (- (* (log y) (+ y (* 1.5 1/3))) y)) (- (+ x y) (* (- (log y)) (+ (- y) (* 1.5 -1/3)))) (+ x (- y (* (log (* (cbrt (- y)) (cbrt -1))) (+ (* 3 y) 1.5)))) (log (cbrt y)) (* -1/3 (- (log y))) (log (* (cbrt (- y)) (cbrt -1))) 20.866 * * * [progress]: adding candidates to table 21.073 * * [progress]: iteration 4 / 4 21.074 * * * [progress]: picking best candidate 21.086 * * * * [pick]: Picked # 21.087 * * * [progress]: localizing error 21.114 * * * [progress]: generating rewritten candidates 21.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1) 21.115 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 2) 21.116 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 2 1) 21.117 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 21.118 * * * [progress]: generating series expansions 21.118 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1) 21.118 * [approximate]: Taking taylor expansion of (pow y 2/3) in (y) around 0 21.118 * [taylor]: Taking taylor expansion of (pow y 2/3) in y 21.118 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log y))) in y 21.118 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 21.118 * [taylor]: Taking taylor expansion of 2/3 in y 21.118 * [taylor]: Taking taylor expansion of (log y) in y 21.118 * [taylor]: Taking taylor expansion of y in y 21.119 * [taylor]: Taking taylor expansion of (pow y 2/3) in y 21.119 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log y))) in y 21.119 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 21.119 * [taylor]: Taking taylor expansion of 2/3 in y 21.119 * [taylor]: Taking taylor expansion of (log y) in y 21.119 * [taylor]: Taking taylor expansion of y in y 21.171 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 2/3) in (y) around 0 21.172 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2/3) in y 21.172 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 y)))) in y 21.172 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 21.172 * [taylor]: Taking taylor expansion of 2/3 in y 21.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.172 * [taylor]: Taking taylor expansion of y in y 21.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2/3) in y 21.173 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 y)))) in y 21.173 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 21.173 * [taylor]: Taking taylor expansion of 2/3 in y 21.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.173 * [taylor]: Taking taylor expansion of y in y 21.224 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 2/3) in (y) around 0 21.224 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2/3) in y 21.224 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 y)))) in y 21.224 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 21.224 * [taylor]: Taking taylor expansion of 2/3 in y 21.224 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.224 * [taylor]: Taking taylor expansion of -1 in y 21.224 * [taylor]: Taking taylor expansion of y in y 21.226 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2/3) in y 21.226 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 y)))) in y 21.226 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 21.226 * [taylor]: Taking taylor expansion of 2/3 in y 21.226 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.226 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.226 * [taylor]: Taking taylor expansion of -1 in y 21.226 * [taylor]: Taking taylor expansion of y in y 21.287 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 2) 21.287 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 21.287 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 21.287 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 21.287 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 21.287 * [taylor]: Taking taylor expansion of 1/9 in y 21.287 * [taylor]: Taking taylor expansion of (log y) in y 21.287 * [taylor]: Taking taylor expansion of y in y 21.288 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 21.288 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 21.288 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 21.288 * [taylor]: Taking taylor expansion of 1/9 in y 21.288 * [taylor]: Taking taylor expansion of (log y) in y 21.288 * [taylor]: Taking taylor expansion of y in y 21.339 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 21.339 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 21.340 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 21.340 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 21.340 * [taylor]: Taking taylor expansion of 1/9 in y 21.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.340 * [taylor]: Taking taylor expansion of y in y 21.340 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 21.340 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 21.341 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 21.341 * [taylor]: Taking taylor expansion of 1/9 in y 21.341 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.341 * [taylor]: Taking taylor expansion of y in y 21.395 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 21.395 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 21.395 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 21.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 21.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 21.396 * [taylor]: Taking taylor expansion of 1/3 in y 21.396 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 21.396 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.396 * [taylor]: Taking taylor expansion of -1 in y 21.399 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 21.399 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 21.399 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 21.399 * [taylor]: Taking taylor expansion of 1/9 in y 21.399 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.399 * [taylor]: Taking taylor expansion of y in y 21.400 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 21.400 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 21.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 21.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 21.400 * [taylor]: Taking taylor expansion of 1/3 in y 21.400 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 21.400 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.400 * [taylor]: Taking taylor expansion of -1 in y 21.404 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 21.404 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 21.404 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 21.404 * [taylor]: Taking taylor expansion of 1/9 in y 21.404 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.404 * [taylor]: Taking taylor expansion of y in y 21.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 2 1) 21.522 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 21.522 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.522 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.522 * [taylor]: Taking taylor expansion of 1/3 in y 21.522 * [taylor]: Taking taylor expansion of (log y) in y 21.522 * [taylor]: Taking taylor expansion of y in y 21.523 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.523 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.523 * [taylor]: Taking taylor expansion of 1/3 in y 21.523 * [taylor]: Taking taylor expansion of (log y) in y 21.523 * [taylor]: Taking taylor expansion of y in y 21.574 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 21.574 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.574 * [taylor]: Taking taylor expansion of 1/3 in y 21.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.574 * [taylor]: Taking taylor expansion of y in y 21.575 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.575 * [taylor]: Taking taylor expansion of 1/3 in y 21.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.575 * [taylor]: Taking taylor expansion of y in y 21.629 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 21.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.629 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.629 * [taylor]: Taking taylor expansion of -1 in y 21.630 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.630 * [taylor]: Taking taylor expansion of 1/3 in y 21.630 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.630 * [taylor]: Taking taylor expansion of y in y 21.630 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.631 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.631 * [taylor]: Taking taylor expansion of -1 in y 21.631 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.631 * [taylor]: Taking taylor expansion of 1/3 in y 21.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.631 * [taylor]: Taking taylor expansion of y in y 21.701 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2 1) 21.701 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 21.701 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.701 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.701 * [taylor]: Taking taylor expansion of 1/3 in y 21.701 * [taylor]: Taking taylor expansion of (log y) in y 21.701 * [taylor]: Taking taylor expansion of y in y 21.701 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.701 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.701 * [taylor]: Taking taylor expansion of 1/3 in y 21.701 * [taylor]: Taking taylor expansion of (log y) in y 21.701 * [taylor]: Taking taylor expansion of y in y 21.750 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 21.750 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.750 * [taylor]: Taking taylor expansion of 1/3 in y 21.750 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.750 * [taylor]: Taking taylor expansion of y in y 21.751 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.751 * [taylor]: Taking taylor expansion of 1/3 in y 21.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.751 * [taylor]: Taking taylor expansion of y in y 21.810 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 21.810 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.810 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.810 * [taylor]: Taking taylor expansion of -1 in y 21.811 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.811 * [taylor]: Taking taylor expansion of 1/3 in y 21.811 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.811 * [taylor]: Taking taylor expansion of y in y 21.812 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.812 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.812 * [taylor]: Taking taylor expansion of -1 in y 21.813 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.813 * [taylor]: Taking taylor expansion of 1/3 in y 21.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.813 * [taylor]: Taking taylor expansion of y in y 21.883 * * * [progress]: simplifying candidates 21.884 * [simplify]: Simplifying using # : (* (log y) 2/3) (* (log y) 2/3) (* 1 2/3) (pow y (* (cbrt 2/3) (cbrt 2/3))) (pow y (sqrt 2/3)) (pow y 1) (pow (* (cbrt y) (cbrt y)) 2/3) (pow (cbrt y) 2/3) (pow (sqrt y) 2/3) (pow (sqrt y) 2/3) (pow 1 2/3) (pow y 2/3) (log (pow y 2/3)) (exp (pow y 2/3)) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)) (* (* (pow y 2/3) (pow y 2/3)) (pow y 2/3)) (sqrt (pow y 2/3)) (sqrt (pow y 2/3)) (pow y (/ 2/3 2)) (pow y (/ 2/3 2)) (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 2/3) (pow (/ 1 y) -2/3) (exp (* 2/3 (- (log -1) (log (/ -1 y))))) (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)) 21.886 * * [simplify]: iteration 0 : 75 enodes (cost 356 ) 21.903 * * [simplify]: iteration 1 : 144 enodes (cost 315 ) 21.932 * * [simplify]: iteration 2 : 277 enodes (cost 288 ) 21.986 * * [simplify]: iteration 3 : 628 enodes (cost 274 ) 22.220 * * [simplify]: iteration 4 : 2013 enodes (cost 270 ) 22.877 * * [simplify]: iteration done : 5000 enodes (cost 270 ) 22.878 * [simplify]: Simplified to: (log (pow y 2/3)) (log (pow y 2/3)) 2/3 (pow y (* (cbrt 2/3) (cbrt 2/3))) (pow y (sqrt 2/3)) y (pow (pow y 2/3) 2/3) (pow (cbrt y) 2/3) (pow (sqrt y) 2/3) (pow (sqrt y) 2/3) 1 (pow y 2/3) (log (pow y 2/3)) (exp (pow y 2/3)) (pow (pow y 2/3) 2/3) (cbrt (pow y 2/3)) (* y y) (fabs (cbrt y)) (fabs (cbrt y)) (cbrt y) (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 (pow (cbrt y) 2/3)) (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) (pow (cbrt y) 2/3) (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) (pow (cbrt y) 2/3) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 2/3) (pow (/ 1 y) -2/3) (pow y 2/3) (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)) 22.878 * * * [progress]: adding candidates to table 23.141 * [progress]: [Phase 3 of 3] Extracting. 23.141 * * [regime]: Finding splitpoints for: (# # # # #) 23.142 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 23.142 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 23.173 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # #) 23.203 * * * * [regimes]: Trying to branch on z from (# # # # #) 23.227 * * * * [regimes]: Trying to branch on y from (# # # # #) 23.253 * * * * [regimes]: Trying to branch on x from (# # # # #) 23.277 * * * [regime]: Found split indices: #