20.335 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [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.033 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.035 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.044 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.102 * * [simplify]: iteration 4 : 540 enodes (cost 11 ) 0.221 * * [simplify]: iteration 5 : 1053 enodes (cost 11 ) 0.509 * * [simplify]: iteration 6 : 1697 enodes (cost 11 ) 1.172 * * [simplify]: iteration 7 : 2346 enodes (cost 11 ) 2.134 * * [simplify]: iteration 8 : 2565 enodes (cost 11 ) 3.009 * * [simplify]: iteration 9 : 2683 enodes (cost 11 ) 3.921 * * [simplify]: iteration 10 : 2912 enodes (cost 11 ) 5.030 * * [simplify]: iteration 11 : 3125 enodes (cost 11 ) 6.255 * * [simplify]: iteration 12 : 3314 enodes (cost 11 ) 7.820 * * [simplify]: iteration 13 : 3546 enodes (cost 11 ) 9.699 * * [simplify]: iteration 14 : 3768 enodes (cost 11 ) 11.749 * * [simplify]: iteration 15 : 3814 enodes (cost 11 ) 13.797 * * [simplify]: iteration 16 : 3834 enodes (cost 11 ) 15.851 * * [simplify]: iteration done : 3834 enodes (cost 11 ) 15.851 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 15.854 * * [progress]: iteration 1 / 4 15.855 * * * [progress]: picking best candidate 15.856 * * * * [pick]: Picked # 15.856 * * * [progress]: localizing error 15.866 * * * [progress]: generating rewritten candidates 15.866 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 15.877 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 15.888 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 15.964 * * * [progress]: generating series expansions 15.964 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 15.964 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 15.964 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.964 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.964 * [taylor]: Taking taylor expansion of y in y 15.964 * [taylor]: Taking taylor expansion of 0.5 in y 15.964 * [taylor]: Taking taylor expansion of (log y) in y 15.964 * [taylor]: Taking taylor expansion of y in y 15.965 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.965 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.965 * [taylor]: Taking taylor expansion of y in y 15.965 * [taylor]: Taking taylor expansion of 0.5 in y 15.965 * [taylor]: Taking taylor expansion of (log y) in y 15.965 * [taylor]: Taking taylor expansion of y in y 16.036 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 16.036 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 16.036 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.036 * [taylor]: Taking taylor expansion of y in y 16.036 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 16.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.037 * [taylor]: Taking taylor expansion of y in y 16.037 * [taylor]: Taking taylor expansion of 0.5 in y 16.037 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 16.037 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.037 * [taylor]: Taking taylor expansion of y in y 16.037 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 16.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.037 * [taylor]: Taking taylor expansion of y in y 16.038 * [taylor]: Taking taylor expansion of 0.5 in y 16.110 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 16.110 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 16.110 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 16.110 * [taylor]: Taking taylor expansion of 0.5 in y 16.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.110 * [taylor]: Taking taylor expansion of y in y 16.110 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.110 * [taylor]: Taking taylor expansion of -1 in y 16.110 * [taylor]: Taking taylor expansion of y in y 16.111 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 16.111 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 16.111 * [taylor]: Taking taylor expansion of 0.5 in y 16.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.111 * [taylor]: Taking taylor expansion of y in y 16.111 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.111 * [taylor]: Taking taylor expansion of -1 in y 16.111 * [taylor]: Taking taylor expansion of y in y 16.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 16.199 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 16.199 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 16.199 * [taylor]: Taking taylor expansion of (+ x y) in y 16.199 * [taylor]: Taking taylor expansion of x in y 16.199 * [taylor]: Taking taylor expansion of y in y 16.200 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 16.200 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.200 * [taylor]: Taking taylor expansion of 0.5 in y 16.200 * [taylor]: Taking taylor expansion of (log y) in y 16.200 * [taylor]: Taking taylor expansion of y in y 16.200 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.200 * [taylor]: Taking taylor expansion of y in y 16.200 * [taylor]: Taking taylor expansion of (log y) in y 16.200 * [taylor]: Taking taylor expansion of y in y 16.200 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 16.200 * [taylor]: Taking taylor expansion of (+ x y) in x 16.200 * [taylor]: Taking taylor expansion of x in x 16.200 * [taylor]: Taking taylor expansion of y in x 16.200 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.200 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.200 * [taylor]: Taking taylor expansion of 0.5 in x 16.200 * [taylor]: Taking taylor expansion of (log y) in x 16.200 * [taylor]: Taking taylor expansion of y in x 16.200 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.200 * [taylor]: Taking taylor expansion of y in x 16.200 * [taylor]: Taking taylor expansion of (log y) in x 16.200 * [taylor]: Taking taylor expansion of y in x 16.200 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 16.200 * [taylor]: Taking taylor expansion of (+ x y) in x 16.200 * [taylor]: Taking taylor expansion of x in x 16.201 * [taylor]: Taking taylor expansion of y in x 16.201 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.201 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.201 * [taylor]: Taking taylor expansion of 0.5 in x 16.201 * [taylor]: Taking taylor expansion of (log y) in x 16.201 * [taylor]: Taking taylor expansion of y in x 16.201 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.201 * [taylor]: Taking taylor expansion of y in x 16.201 * [taylor]: Taking taylor expansion of (log y) in x 16.201 * [taylor]: Taking taylor expansion of y in x 16.201 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 16.201 * [taylor]: Taking taylor expansion of y in y 16.201 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 16.201 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.201 * [taylor]: Taking taylor expansion of 0.5 in y 16.201 * [taylor]: Taking taylor expansion of (log y) in y 16.201 * [taylor]: Taking taylor expansion of y in y 16.201 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.202 * [taylor]: Taking taylor expansion of y in y 16.202 * [taylor]: Taking taylor expansion of (log y) in y 16.202 * [taylor]: Taking taylor expansion of y in y 16.205 * [taylor]: Taking taylor expansion of 1 in y 16.208 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 16.208 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 16.208 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 16.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.208 * [taylor]: Taking taylor expansion of y in y 16.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.208 * [taylor]: Taking taylor expansion of x in y 16.208 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 16.208 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.209 * [taylor]: Taking taylor expansion of y in y 16.209 * [taylor]: Taking taylor expansion of y in y 16.210 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.210 * [taylor]: Taking taylor expansion of 0.5 in y 16.210 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.210 * [taylor]: Taking taylor expansion of y in y 16.210 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 16.210 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 16.210 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.210 * [taylor]: Taking taylor expansion of y in x 16.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.210 * [taylor]: Taking taylor expansion of x in x 16.211 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 16.211 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.211 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.211 * [taylor]: Taking taylor expansion of 0.5 in x 16.211 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 16.211 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.211 * [taylor]: Taking taylor expansion of x in x 16.211 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 16.211 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.211 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of y in x 16.211 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.211 * [taylor]: Taking taylor expansion of 0.5 in x 16.211 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.212 * [taylor]: Taking taylor expansion of y in x 16.212 * [taylor]: Taking taylor expansion of 1 in y 16.213 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 16.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.213 * [taylor]: Taking taylor expansion of y in y 16.213 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 16.213 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.213 * [taylor]: Taking taylor expansion of y in y 16.214 * [taylor]: Taking taylor expansion of y in y 16.214 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.214 * [taylor]: Taking taylor expansion of 0.5 in y 16.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.215 * [taylor]: Taking taylor expansion of y in y 16.218 * [taylor]: Taking taylor expansion of 0 in y 16.221 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 16.221 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 16.221 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.221 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.221 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.221 * [taylor]: Taking taylor expansion of -1 in y 16.221 * [taylor]: Taking taylor expansion of y in y 16.222 * [taylor]: Taking taylor expansion of y in y 16.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 16.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.223 * [taylor]: Taking taylor expansion of y in y 16.224 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 16.224 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.224 * [taylor]: Taking taylor expansion of 0.5 in y 16.224 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.224 * [taylor]: Taking taylor expansion of -1 in y 16.224 * [taylor]: Taking taylor expansion of y in y 16.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.224 * [taylor]: Taking taylor expansion of x in y 16.224 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 16.224 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.224 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.224 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.224 * [taylor]: Taking taylor expansion of -1 in x 16.224 * [taylor]: Taking taylor expansion of y in x 16.224 * [taylor]: Taking taylor expansion of y in x 16.224 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.225 * [taylor]: Taking taylor expansion of y in x 16.225 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.225 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.225 * [taylor]: Taking taylor expansion of 0.5 in x 16.225 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.225 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.225 * [taylor]: Taking taylor expansion of -1 in x 16.225 * [taylor]: Taking taylor expansion of y in x 16.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.225 * [taylor]: Taking taylor expansion of x in x 16.225 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 16.225 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.225 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.225 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.225 * [taylor]: Taking taylor expansion of -1 in x 16.225 * [taylor]: Taking taylor expansion of y in x 16.225 * [taylor]: Taking taylor expansion of y in x 16.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.225 * [taylor]: Taking taylor expansion of y in x 16.225 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.225 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.225 * [taylor]: Taking taylor expansion of 0.5 in x 16.226 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.226 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.226 * [taylor]: Taking taylor expansion of -1 in x 16.226 * [taylor]: Taking taylor expansion of y in x 16.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.226 * [taylor]: Taking taylor expansion of x in x 16.227 * [taylor]: Taking taylor expansion of -1 in y 16.228 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 16.228 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.228 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.228 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.228 * [taylor]: Taking taylor expansion of -1 in y 16.228 * [taylor]: Taking taylor expansion of y in y 16.228 * [taylor]: Taking taylor expansion of y in y 16.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 16.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.230 * [taylor]: Taking taylor expansion of y in y 16.230 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.230 * [taylor]: Taking taylor expansion of 0.5 in y 16.230 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.230 * [taylor]: Taking taylor expansion of -1 in y 16.230 * [taylor]: Taking taylor expansion of y in y 16.235 * [taylor]: Taking taylor expansion of 0 in y 16.241 * * * * [progress]: [ 3 / 4 ] generating series at (2) 16.241 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 16.242 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 16.242 * [taylor]: Taking taylor expansion of (+ x y) in z 16.242 * [taylor]: Taking taylor expansion of x in z 16.242 * [taylor]: Taking taylor expansion of y in z 16.242 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 16.242 * [taylor]: Taking taylor expansion of z in z 16.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 16.242 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 16.242 * [taylor]: Taking taylor expansion of 0.5 in z 16.242 * [taylor]: Taking taylor expansion of (log y) in z 16.242 * [taylor]: Taking taylor expansion of y in z 16.242 * [taylor]: Taking taylor expansion of (* y (log y)) in z 16.242 * [taylor]: Taking taylor expansion of y in z 16.242 * [taylor]: Taking taylor expansion of (log y) in z 16.242 * [taylor]: Taking taylor expansion of y in z 16.242 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 16.242 * [taylor]: Taking taylor expansion of (+ x y) in y 16.242 * [taylor]: Taking taylor expansion of x in y 16.242 * [taylor]: Taking taylor expansion of y in y 16.242 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 16.242 * [taylor]: Taking taylor expansion of z in y 16.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 16.242 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.242 * [taylor]: Taking taylor expansion of 0.5 in y 16.242 * [taylor]: Taking taylor expansion of (log y) in y 16.242 * [taylor]: Taking taylor expansion of y in y 16.242 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.242 * [taylor]: Taking taylor expansion of y in y 16.242 * [taylor]: Taking taylor expansion of (log y) in y 16.242 * [taylor]: Taking taylor expansion of y in y 16.243 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 16.243 * [taylor]: Taking taylor expansion of (+ x y) in x 16.243 * [taylor]: Taking taylor expansion of x in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 16.243 * [taylor]: Taking taylor expansion of z in x 16.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.243 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.243 * [taylor]: Taking taylor expansion of 0.5 in x 16.243 * [taylor]: Taking taylor expansion of (log y) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (log y) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 16.243 * [taylor]: Taking taylor expansion of (+ x y) in x 16.243 * [taylor]: Taking taylor expansion of x in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 16.243 * [taylor]: Taking taylor expansion of z in x 16.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.243 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.243 * [taylor]: Taking taylor expansion of 0.5 in x 16.243 * [taylor]: Taking taylor expansion of (log y) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [taylor]: Taking taylor expansion of (log y) in x 16.243 * [taylor]: Taking taylor expansion of y in x 16.244 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 16.244 * [taylor]: Taking taylor expansion of y in y 16.244 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 16.244 * [taylor]: Taking taylor expansion of z in y 16.244 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 16.244 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.244 * [taylor]: Taking taylor expansion of 0.5 in y 16.244 * [taylor]: Taking taylor expansion of (log y) in y 16.244 * [taylor]: Taking taylor expansion of y in y 16.244 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.244 * [taylor]: Taking taylor expansion of y in y 16.244 * [taylor]: Taking taylor expansion of (log y) in y 16.244 * [taylor]: Taking taylor expansion of y in y 16.245 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 16.245 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 16.245 * [taylor]: Taking taylor expansion of z in z 16.245 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 16.245 * [taylor]: Taking taylor expansion of 0.5 in z 16.245 * [taylor]: Taking taylor expansion of (log y) in z 16.245 * [taylor]: Taking taylor expansion of y in z 16.248 * [taylor]: Taking taylor expansion of 1 in y 16.248 * [taylor]: Taking taylor expansion of 1 in z 16.251 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 16.251 * [taylor]: Taking taylor expansion of 1 in z 16.251 * [taylor]: Taking taylor expansion of (log y) in z 16.251 * [taylor]: Taking taylor expansion of y in z 16.251 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in (x y z) around 0 16.251 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 16.251 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 16.251 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.251 * [taylor]: Taking taylor expansion of y in z 16.251 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.251 * [taylor]: Taking taylor expansion of x in z 16.251 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 16.251 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 16.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 16.251 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.251 * [taylor]: Taking taylor expansion of y in z 16.252 * [taylor]: Taking taylor expansion of y in z 16.252 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 16.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.252 * [taylor]: Taking taylor expansion of z in z 16.252 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 16.252 * [taylor]: Taking taylor expansion of 0.5 in z 16.252 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 16.252 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.252 * [taylor]: Taking taylor expansion of y in z 16.252 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 16.252 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 16.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.252 * [taylor]: Taking taylor expansion of y in y 16.252 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.252 * [taylor]: Taking taylor expansion of x in y 16.252 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 16.252 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.252 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.253 * [taylor]: Taking taylor expansion of y in y 16.253 * [taylor]: Taking taylor expansion of y in y 16.254 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 16.254 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.254 * [taylor]: Taking taylor expansion of z in y 16.254 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.254 * [taylor]: Taking taylor expansion of 0.5 in y 16.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.254 * [taylor]: Taking taylor expansion of y in y 16.254 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 16.254 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 16.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.254 * [taylor]: Taking taylor expansion of y in x 16.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.254 * [taylor]: Taking taylor expansion of x in x 16.255 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 16.255 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.255 * [taylor]: Taking taylor expansion of y in x 16.255 * [taylor]: Taking taylor expansion of y in x 16.255 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.255 * [taylor]: Taking taylor expansion of z in x 16.255 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.255 * [taylor]: Taking taylor expansion of 0.5 in x 16.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.255 * [taylor]: Taking taylor expansion of y in x 16.255 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 16.255 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.255 * [taylor]: Taking taylor expansion of y in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.255 * [taylor]: Taking taylor expansion of x in x 16.255 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 16.255 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.255 * [taylor]: Taking taylor expansion of y in x 16.256 * [taylor]: Taking taylor expansion of y in x 16.256 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 16.256 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.256 * [taylor]: Taking taylor expansion of z in x 16.256 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.256 * [taylor]: Taking taylor expansion of 0.5 in x 16.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.256 * [taylor]: Taking taylor expansion of y in x 16.256 * [taylor]: Taking taylor expansion of 1 in y 16.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 16.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.257 * [taylor]: Taking taylor expansion of y in y 16.258 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 16.258 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.258 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.258 * [taylor]: Taking taylor expansion of y in y 16.258 * [taylor]: Taking taylor expansion of y in y 16.259 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 16.259 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.259 * [taylor]: Taking taylor expansion of z in y 16.259 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.259 * [taylor]: Taking taylor expansion of 0.5 in y 16.259 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.259 * [taylor]: Taking taylor expansion of y in y 16.260 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.260 * [taylor]: Taking taylor expansion of (log y) in z 16.260 * [taylor]: Taking taylor expansion of y in z 16.260 * [taylor]: Taking taylor expansion of 1 in z 16.260 * [taylor]: Taking taylor expansion of 1 in z 16.263 * [taylor]: Taking taylor expansion of 0 in y 16.266 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 16.266 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 16.266 * [taylor]: Taking taylor expansion of 0.5 in z 16.266 * [taylor]: Taking taylor expansion of (log y) in z 16.266 * [taylor]: Taking taylor expansion of y in z 16.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.266 * [taylor]: Taking taylor expansion of z in z 16.267 * [taylor]: Taking taylor expansion of 0 in z 16.267 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y z) around 0 16.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 16.268 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 16.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.268 * [taylor]: Taking taylor expansion of z in z 16.268 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 16.268 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 16.268 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.268 * [taylor]: Taking taylor expansion of -1 in z 16.268 * [taylor]: Taking taylor expansion of y in z 16.268 * [taylor]: Taking taylor expansion of y in z 16.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 16.268 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.268 * [taylor]: Taking taylor expansion of y in z 16.268 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 16.268 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 16.268 * [taylor]: Taking taylor expansion of 0.5 in z 16.268 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 16.268 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.268 * [taylor]: Taking taylor expansion of -1 in z 16.268 * [taylor]: Taking taylor expansion of y in z 16.268 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.268 * [taylor]: Taking taylor expansion of x in z 16.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 16.268 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 16.268 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.268 * [taylor]: Taking taylor expansion of z in y 16.268 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.268 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.268 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.268 * [taylor]: Taking taylor expansion of -1 in y 16.268 * [taylor]: Taking taylor expansion of y in y 16.269 * [taylor]: Taking taylor expansion of y in y 16.270 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 16.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.270 * [taylor]: Taking taylor expansion of y in y 16.271 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 16.271 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.271 * [taylor]: Taking taylor expansion of 0.5 in y 16.271 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.271 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.271 * [taylor]: Taking taylor expansion of -1 in y 16.271 * [taylor]: Taking taylor expansion of y in y 16.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.271 * [taylor]: Taking taylor expansion of x in y 16.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 16.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 16.271 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.271 * [taylor]: Taking taylor expansion of z in x 16.271 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.271 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.271 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.271 * [taylor]: Taking taylor expansion of -1 in x 16.271 * [taylor]: Taking taylor expansion of y in x 16.272 * [taylor]: Taking taylor expansion of y in x 16.272 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.272 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.272 * [taylor]: Taking taylor expansion of y in x 16.272 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.272 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.272 * [taylor]: Taking taylor expansion of 0.5 in x 16.272 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.272 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.272 * [taylor]: Taking taylor expansion of -1 in x 16.272 * [taylor]: Taking taylor expansion of y in x 16.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.272 * [taylor]: Taking taylor expansion of x in x 16.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 16.272 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 16.272 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.272 * [taylor]: Taking taylor expansion of z in x 16.272 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.272 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.272 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.272 * [taylor]: Taking taylor expansion of -1 in x 16.272 * [taylor]: Taking taylor expansion of y in x 16.272 * [taylor]: Taking taylor expansion of y in x 16.273 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.273 * [taylor]: Taking taylor expansion of y in x 16.273 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.273 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.273 * [taylor]: Taking taylor expansion of 0.5 in x 16.273 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.273 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.273 * [taylor]: Taking taylor expansion of -1 in x 16.273 * [taylor]: Taking taylor expansion of y in x 16.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.273 * [taylor]: Taking taylor expansion of x in x 16.274 * [taylor]: Taking taylor expansion of -1 in y 16.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 16.275 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 16.275 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.275 * [taylor]: Taking taylor expansion of z in y 16.275 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.275 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.275 * [taylor]: Taking taylor expansion of -1 in y 16.275 * [taylor]: Taking taylor expansion of y in y 16.276 * [taylor]: Taking taylor expansion of y in y 16.277 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 16.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.277 * [taylor]: Taking taylor expansion of y in y 16.277 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.277 * [taylor]: Taking taylor expansion of 0.5 in y 16.277 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.277 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.277 * [taylor]: Taking taylor expansion of -1 in y 16.277 * [taylor]: Taking taylor expansion of y in y 16.279 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 16.279 * [taylor]: Taking taylor expansion of (log -1) in z 16.279 * [taylor]: Taking taylor expansion of -1 in z 16.285 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.285 * [taylor]: Taking taylor expansion of (log y) in z 16.285 * [taylor]: Taking taylor expansion of y in z 16.285 * [taylor]: Taking taylor expansion of 1 in z 16.285 * [taylor]: Taking taylor expansion of -1 in z 16.288 * [taylor]: Taking taylor expansion of 0 in y 16.293 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 16.293 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 16.293 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.293 * [taylor]: Taking taylor expansion of z in z 16.293 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 16.293 * [taylor]: Taking taylor expansion of 0.5 in z 16.293 * [taylor]: Taking taylor expansion of (log y) in z 16.293 * [taylor]: Taking taylor expansion of y in z 16.293 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 16.293 * [taylor]: Taking taylor expansion of 0.5 in z 16.293 * [taylor]: Taking taylor expansion of (log -1) in z 16.293 * [taylor]: Taking taylor expansion of -1 in z 16.294 * [taylor]: Taking taylor expansion of 0 in z 16.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 16.296 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 16.296 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 16.296 * [taylor]: Taking taylor expansion of x in y 16.296 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 16.296 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.296 * [taylor]: Taking taylor expansion of 0.5 in y 16.296 * [taylor]: Taking taylor expansion of (log y) in y 16.296 * [taylor]: Taking taylor expansion of y in y 16.296 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.296 * [taylor]: Taking taylor expansion of y in y 16.296 * [taylor]: Taking taylor expansion of (log y) in y 16.296 * [taylor]: Taking taylor expansion of y in y 16.297 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 16.297 * [taylor]: Taking taylor expansion of x in x 16.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.297 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.297 * [taylor]: Taking taylor expansion of 0.5 in x 16.297 * [taylor]: Taking taylor expansion of (log y) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (log y) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 16.297 * [taylor]: Taking taylor expansion of x in x 16.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 16.297 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 16.297 * [taylor]: Taking taylor expansion of 0.5 in x 16.297 * [taylor]: Taking taylor expansion of (log y) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (* y (log y)) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (log y) in x 16.297 * [taylor]: Taking taylor expansion of y in x 16.297 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 16.297 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 16.297 * [taylor]: Taking taylor expansion of (* y (log y)) in y 16.297 * [taylor]: Taking taylor expansion of y in y 16.298 * [taylor]: Taking taylor expansion of (log y) in y 16.298 * [taylor]: Taking taylor expansion of y in y 16.298 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 16.298 * [taylor]: Taking taylor expansion of 0.5 in y 16.298 * [taylor]: Taking taylor expansion of (log y) in y 16.298 * [taylor]: Taking taylor expansion of y in y 16.301 * [taylor]: Taking taylor expansion of 1 in y 16.304 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 16.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 16.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.304 * [taylor]: Taking taylor expansion of x in y 16.304 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 16.304 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.304 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.304 * [taylor]: Taking taylor expansion of y in y 16.304 * [taylor]: Taking taylor expansion of y in y 16.305 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.305 * [taylor]: Taking taylor expansion of 0.5 in y 16.305 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.305 * [taylor]: Taking taylor expansion of y in y 16.305 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 16.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.305 * [taylor]: Taking taylor expansion of x in x 16.306 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 16.306 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.306 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.306 * [taylor]: Taking taylor expansion of y in x 16.306 * [taylor]: Taking taylor expansion of y in x 16.306 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.306 * [taylor]: Taking taylor expansion of 0.5 in x 16.306 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.306 * [taylor]: Taking taylor expansion of y in x 16.306 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 16.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.306 * [taylor]: Taking taylor expansion of x in x 16.306 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 16.306 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 16.306 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.306 * [taylor]: Taking taylor expansion of y in x 16.306 * [taylor]: Taking taylor expansion of y in x 16.306 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 16.307 * [taylor]: Taking taylor expansion of 0.5 in x 16.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.307 * [taylor]: Taking taylor expansion of y in x 16.307 * [taylor]: Taking taylor expansion of 1 in y 16.308 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 16.308 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 16.308 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 16.308 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.308 * [taylor]: Taking taylor expansion of y in y 16.309 * [taylor]: Taking taylor expansion of y in y 16.309 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 16.309 * [taylor]: Taking taylor expansion of 0.5 in y 16.309 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.309 * [taylor]: Taking taylor expansion of y in y 16.312 * [taylor]: Taking taylor expansion of 0 in y 16.315 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 16.315 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 16.315 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.315 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.315 * [taylor]: Taking taylor expansion of -1 in y 16.315 * [taylor]: Taking taylor expansion of y in y 16.316 * [taylor]: Taking taylor expansion of y in y 16.317 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 16.317 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.317 * [taylor]: Taking taylor expansion of 0.5 in y 16.317 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.317 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.317 * [taylor]: Taking taylor expansion of -1 in y 16.317 * [taylor]: Taking taylor expansion of y in y 16.317 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.317 * [taylor]: Taking taylor expansion of x in y 16.318 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.318 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.318 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.318 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.318 * [taylor]: Taking taylor expansion of -1 in x 16.318 * [taylor]: Taking taylor expansion of y in x 16.318 * [taylor]: Taking taylor expansion of y in x 16.318 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.318 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.318 * [taylor]: Taking taylor expansion of 0.5 in x 16.318 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.318 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.318 * [taylor]: Taking taylor expansion of -1 in x 16.318 * [taylor]: Taking taylor expansion of y in x 16.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.318 * [taylor]: Taking taylor expansion of x in x 16.318 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 16.318 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 16.318 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.318 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.318 * [taylor]: Taking taylor expansion of -1 in x 16.318 * [taylor]: Taking taylor expansion of y in x 16.318 * [taylor]: Taking taylor expansion of y in x 16.318 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 16.318 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 16.318 * [taylor]: Taking taylor expansion of 0.5 in x 16.318 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.318 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.319 * [taylor]: Taking taylor expansion of -1 in x 16.319 * [taylor]: Taking taylor expansion of y in x 16.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.319 * [taylor]: Taking taylor expansion of x in x 16.320 * [taylor]: Taking taylor expansion of -1 in y 16.320 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 16.320 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 16.320 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.320 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.320 * [taylor]: Taking taylor expansion of -1 in y 16.320 * [taylor]: Taking taylor expansion of y in y 16.321 * [taylor]: Taking taylor expansion of y in y 16.322 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 16.322 * [taylor]: Taking taylor expansion of 0.5 in y 16.322 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.322 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.322 * [taylor]: Taking taylor expansion of -1 in y 16.322 * [taylor]: Taking taylor expansion of y in y 16.326 * [taylor]: Taking taylor expansion of 0 in y 16.332 * * * [progress]: simplifying candidates 16.334 * [simplify]: Simplifying using # : (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ 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)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) 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) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma (sqrt x) (sqrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma 1 x (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log 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 y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 16.340 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 16.385 * * [simplify]: iteration 1 : 527 enodes (cost 1749 ) 16.770 * * [simplify]: iteration 2 : 1669 enodes (cost 1552 ) 17.175 * * [simplify]: iteration done : 5000 enodes (cost 1529 ) 17.175 * [simplify]: Simplified to: (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 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)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (- (* y y) (* (fma (+ y 0.5) (- (log y)) x) (- (fma (+ y 0.5) (log y) y) x))) (* (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5))))) (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5)))) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ 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))) z) (- z z) (- (* (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) z) (- z z) (- (* (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) z) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (fma (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (* z (+ (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (+ y 0.5) (- (log y)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (+ y 0.5) (- (log y)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (/ (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)) (fma (* (+ y 0.5) (log y)) (fma (log y) (+ y 0.5) x) (* x x)) (- (* (log y) (+ y 0.5))) (* (fma (log y) (+ y 0.5) x) (fma (+ y 0.5) (- (log y)) x)) (fma (log y) (+ y 0.5) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- (* (log y) (+ y 0.5))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (* (log (/ -1 y)) 1))) (+ x (- y (* (log y) (+ y 0.5)))) (+ x (- y (* (log y) (+ y 0.5)))) (+ y (+ (* (+ y 0.5) (- (* (log (/ -1 y)) 1) (log -1))) x)) (+ x (- y (* (log y) (+ y 0.5)))) (- (+ x (fma y (- (log y)) y)) z) (- (+ (fma y (log (/ -1 y)) y) x) (fma (log -1) y z)) (fma (+ y 0.5) (- (log y)) x) (fma (+ y 0.5) (- (log y)) x) (+ (* (+ y 0.5) (- (* (log (/ -1 y)) 1) (log -1))) x) 17.176 * * * [progress]: adding candidates to table 17.456 * * [progress]: iteration 2 / 4 17.456 * * * [progress]: picking best candidate 17.468 * * * * [pick]: Picked # 17.468 * * * [progress]: localizing error 17.483 * * * [progress]: generating rewritten candidates 17.483 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 17.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 17.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 17.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 17.513 * * * [progress]: generating series expansions 17.513 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 17.513 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 17.513 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.513 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.513 * [taylor]: Taking taylor expansion of 1/3 in y 17.513 * [taylor]: Taking taylor expansion of (log y) in y 17.513 * [taylor]: Taking taylor expansion of y in y 17.514 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.514 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.514 * [taylor]: Taking taylor expansion of 1/3 in y 17.514 * [taylor]: Taking taylor expansion of (log y) in y 17.514 * [taylor]: Taking taylor expansion of y in y 17.566 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 17.566 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.566 * [taylor]: Taking taylor expansion of 1/3 in y 17.566 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.566 * [taylor]: Taking taylor expansion of y in y 17.567 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.567 * [taylor]: Taking taylor expansion of 1/3 in y 17.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.567 * [taylor]: Taking taylor expansion of y in y 17.621 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 17.621 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.621 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.621 * [taylor]: Taking taylor expansion of -1 in y 17.622 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.622 * [taylor]: Taking taylor expansion of 1/3 in y 17.622 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.622 * [taylor]: Taking taylor expansion of y in y 17.623 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.623 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.623 * [taylor]: Taking taylor expansion of -1 in y 17.623 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.624 * [taylor]: Taking taylor expansion of 1/3 in y 17.624 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.624 * [taylor]: Taking taylor expansion of y in y 17.690 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 17.690 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 17.690 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.690 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.690 * [taylor]: Taking taylor expansion of 1/3 in y 17.690 * [taylor]: Taking taylor expansion of (log y) in y 17.690 * [taylor]: Taking taylor expansion of y in y 17.690 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.691 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.691 * [taylor]: Taking taylor expansion of 1/3 in y 17.691 * [taylor]: Taking taylor expansion of (log y) in y 17.691 * [taylor]: Taking taylor expansion of y in y 17.739 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 17.739 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.739 * [taylor]: Taking taylor expansion of 1/3 in y 17.739 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.739 * [taylor]: Taking taylor expansion of y in y 17.740 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.740 * [taylor]: Taking taylor expansion of 1/3 in y 17.740 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.740 * [taylor]: Taking taylor expansion of y in y 17.799 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 17.799 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.799 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.799 * [taylor]: Taking taylor expansion of -1 in y 17.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.800 * [taylor]: Taking taylor expansion of 1/3 in y 17.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.800 * [taylor]: Taking taylor expansion of y in y 17.800 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.800 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.800 * [taylor]: Taking taylor expansion of -1 in y 17.801 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.801 * [taylor]: Taking taylor expansion of 1/3 in y 17.801 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.801 * [taylor]: Taking taylor expansion of y in y 17.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 17.868 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 17.868 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.868 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.868 * [taylor]: Taking taylor expansion of 3 in y 17.868 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.868 * [taylor]: Taking taylor expansion of y in y 17.868 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.868 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.868 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.868 * [taylor]: Taking taylor expansion of 1/3 in y 17.868 * [taylor]: Taking taylor expansion of (log y) in y 17.868 * [taylor]: Taking taylor expansion of y in y 17.869 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.869 * [taylor]: Taking taylor expansion of 1.5 in y 17.869 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.869 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.869 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.869 * [taylor]: Taking taylor expansion of 1/3 in y 17.869 * [taylor]: Taking taylor expansion of (log y) in y 17.869 * [taylor]: Taking taylor expansion of y in y 17.870 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.870 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.870 * [taylor]: Taking taylor expansion of 3 in y 17.870 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.870 * [taylor]: Taking taylor expansion of y in y 17.870 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.870 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.870 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.870 * [taylor]: Taking taylor expansion of 1/3 in y 17.870 * [taylor]: Taking taylor expansion of (log y) in y 17.870 * [taylor]: Taking taylor expansion of y in y 17.870 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.870 * [taylor]: Taking taylor expansion of 1.5 in y 17.870 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.870 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.870 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.870 * [taylor]: Taking taylor expansion of 1/3 in y 17.870 * [taylor]: Taking taylor expansion of (log y) in y 17.871 * [taylor]: Taking taylor expansion of y in y 18.119 * [approximate]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in (y) around 0 18.119 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 18.119 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 18.119 * [taylor]: Taking taylor expansion of 1.5 in y 18.119 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.119 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.119 * [taylor]: Taking taylor expansion of 1/3 in y 18.119 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.119 * [taylor]: Taking taylor expansion of y in y 18.120 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 18.120 * [taylor]: Taking taylor expansion of 3 in y 18.120 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 18.120 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.120 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.120 * [taylor]: Taking taylor expansion of 1/3 in y 18.120 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.120 * [taylor]: Taking taylor expansion of y in y 18.121 * [taylor]: Taking taylor expansion of y in y 18.121 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 18.121 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 18.121 * [taylor]: Taking taylor expansion of 1.5 in y 18.121 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.121 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.121 * [taylor]: Taking taylor expansion of 1/3 in y 18.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.121 * [taylor]: Taking taylor expansion of y in y 18.122 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 18.122 * [taylor]: Taking taylor expansion of 3 in y 18.122 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 18.122 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.122 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.122 * [taylor]: Taking taylor expansion of 1/3 in y 18.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.122 * [taylor]: Taking taylor expansion of y in y 18.123 * [taylor]: Taking taylor expansion of y in y 18.337 * [approximate]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in (y) around 0 18.337 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 18.337 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.337 * [taylor]: Taking taylor expansion of 1.5 in y 18.337 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.337 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.337 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.337 * [taylor]: Taking taylor expansion of -1 in y 18.338 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.338 * [taylor]: Taking taylor expansion of 1/3 in y 18.338 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.338 * [taylor]: Taking taylor expansion of y in y 18.339 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 18.339 * [taylor]: Taking taylor expansion of 3 in y 18.339 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 18.339 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.339 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.339 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.339 * [taylor]: Taking taylor expansion of -1 in y 18.340 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.340 * [taylor]: Taking taylor expansion of 1/3 in y 18.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.340 * [taylor]: Taking taylor expansion of y in y 18.342 * [taylor]: Taking taylor expansion of y in y 18.342 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 18.342 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.342 * [taylor]: Taking taylor expansion of 1.5 in y 18.342 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.342 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.342 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.342 * [taylor]: Taking taylor expansion of -1 in y 18.343 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.343 * [taylor]: Taking taylor expansion of 1/3 in y 18.343 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.343 * [taylor]: Taking taylor expansion of y in y 18.345 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 18.345 * [taylor]: Taking taylor expansion of 3 in y 18.345 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 18.345 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.345 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.345 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.345 * [taylor]: Taking taylor expansion of -1 in y 18.346 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.346 * [taylor]: Taking taylor expansion of 1/3 in y 18.346 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.346 * [taylor]: Taking taylor expansion of y in y 18.347 * [taylor]: Taking taylor expansion of y in y 18.626 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 18.626 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 18.627 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 18.627 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 18.627 * [taylor]: Taking taylor expansion of y in y 18.627 * [taylor]: Taking taylor expansion of 0.5 in y 18.627 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 18.627 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 18.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 18.627 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 18.627 * [taylor]: Taking taylor expansion of 1/3 in y 18.627 * [taylor]: Taking taylor expansion of (log y) in y 18.627 * [taylor]: Taking taylor expansion of y in y 18.627 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 18.627 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 18.627 * [taylor]: Taking taylor expansion of y in y 18.627 * [taylor]: Taking taylor expansion of 0.5 in y 18.627 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 18.627 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 18.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 18.627 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 18.627 * [taylor]: Taking taylor expansion of 1/3 in y 18.627 * [taylor]: Taking taylor expansion of (log y) in y 18.628 * [taylor]: Taking taylor expansion of y in y 18.745 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 18.745 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 18.745 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.745 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.746 * [taylor]: Taking taylor expansion of 1/3 in y 18.746 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.746 * [taylor]: Taking taylor expansion of y in y 18.746 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 18.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.746 * [taylor]: Taking taylor expansion of y in y 18.747 * [taylor]: Taking taylor expansion of 0.5 in y 18.747 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 18.747 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.747 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.747 * [taylor]: Taking taylor expansion of 1/3 in y 18.747 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.747 * [taylor]: Taking taylor expansion of y in y 18.748 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 18.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.748 * [taylor]: Taking taylor expansion of y in y 18.748 * [taylor]: Taking taylor expansion of 0.5 in y 18.878 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 18.879 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.879 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 18.879 * [taylor]: Taking taylor expansion of 0.5 in y 18.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.879 * [taylor]: Taking taylor expansion of y in y 18.879 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.879 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.879 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.879 * [taylor]: Taking taylor expansion of -1 in y 18.880 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.880 * [taylor]: Taking taylor expansion of 1/3 in y 18.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.880 * [taylor]: Taking taylor expansion of y in y 18.881 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.881 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 18.881 * [taylor]: Taking taylor expansion of 0.5 in y 18.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.881 * [taylor]: Taking taylor expansion of y in y 18.882 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.882 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.882 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.882 * [taylor]: Taking taylor expansion of -1 in y 18.882 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.882 * [taylor]: Taking taylor expansion of 1/3 in y 18.882 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.882 * [taylor]: Taking taylor expansion of y in y 19.050 * * * [progress]: simplifying candidates 19.051 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (log1p (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (+ y 0.5) (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5)) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log 1))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (+ y 0.5) (log (cbrt y)))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (+ (log (+ y 0.5)) (log (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (exp (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt 1))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 19.056 * * [simplify]: iteration 0 : 173 enodes (cost 1530 ) 19.098 * * [simplify]: iteration 1 : 506 enodes (cost 1362 ) 19.275 * * [simplify]: iteration 2 : 1952 enodes (cost 1109 ) 19.815 * * [simplify]: iteration done : 5000 enodes (cost 1109 ) 19.816 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (* 3 (* (+ y 0.5) (log (cbrt y))))) (log1p (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (log (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (pow (* 3 (* (+ y 0.5) (log (cbrt y)))) 3) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (fma y y (* 0.5 (- 0.5 y))) (+ (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))))) (* (fma y y (* 0.5 (- 0.5 y))) (fma y y (* 0.5 (- 0.5 y)))) (fma (* 2/3 (log y)) (* (+ (pow y 3) (pow 0.5 3)) (- y 0.5)) (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (fma y y (* 0.5 (- 0.5 y))))) (* (fma y y (* 0.5 (- 0.5 y))) (- y 0.5)) (fma (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (* (fma y y (* 0.5 (- 0.5 y))) (- (* y y) (* 0.5 0.5))) (* 2/3 (log y)))) (* (fma y y (* 0.5 (- 0.5 y))) (- y 0.5)) (* (- y 0.5) (+ (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (fma (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (- (log (cbrt y)) (* 2/3 (log y)))) (* (* (* (* (log (cbrt y)) (log (cbrt y))) 4) (+ y 0.5)) (+ y 0.5))) (* (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* (+ y 0.5) (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma 2 (log (cbrt y)) (log (cbrt (sqrt y)))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (sqrt (cbrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma 2 (log (cbrt y)) (log (cbrt (sqrt y)))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (sqrt (cbrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ (* 0.5 2) (+ y 0.5))) (* (log (cbrt y)) (+ (* 0.5 2) (+ y 0.5))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ 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)))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ 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))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ 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)) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (* -1/3 (- (log y))) (+ (* 3 y) 1.5)) (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* (log (* (cbrt (- y)) (cbrt -1))) y) 3)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* -1/3 (- (log y)))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 19.817 * * * [progress]: adding candidates to table 20.166 * * [progress]: iteration 3 / 4 20.166 * * * [progress]: picking best candidate 20.184 * * * * [pick]: Picked # 20.184 * * * [progress]: localizing error 20.199 * * * [progress]: generating rewritten candidates 20.199 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 3 2 1) 20.199 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1) 20.200 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 20.200 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 3) 20.214 * * * [progress]: generating series expansions 20.214 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 3 2 1) 20.214 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 20.214 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.214 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.214 * [taylor]: Taking taylor expansion of 1/3 in y 20.214 * [taylor]: Taking taylor expansion of (log y) in y 20.214 * [taylor]: Taking taylor expansion of y in y 20.215 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.215 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.215 * [taylor]: Taking taylor expansion of 1/3 in y 20.215 * [taylor]: Taking taylor expansion of (log y) in y 20.215 * [taylor]: Taking taylor expansion of y in y 20.268 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 20.268 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.268 * [taylor]: Taking taylor expansion of 1/3 in y 20.268 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.268 * [taylor]: Taking taylor expansion of y in y 20.269 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.269 * [taylor]: Taking taylor expansion of 1/3 in y 20.269 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.269 * [taylor]: Taking taylor expansion of y in y 20.325 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 20.325 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.325 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.325 * [taylor]: Taking taylor expansion of -1 in y 20.326 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.326 * [taylor]: Taking taylor expansion of 1/3 in y 20.326 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.326 * [taylor]: Taking taylor expansion of y in y 20.327 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.327 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.327 * [taylor]: Taking taylor expansion of -1 in y 20.328 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.328 * [taylor]: Taking taylor expansion of 1/3 in y 20.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.328 * [taylor]: Taking taylor expansion of y in y 20.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1) 20.389 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 20.389 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.389 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.389 * [taylor]: Taking taylor expansion of 1/3 in y 20.389 * [taylor]: Taking taylor expansion of (log y) in y 20.389 * [taylor]: Taking taylor expansion of y in y 20.389 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.389 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.390 * [taylor]: Taking taylor expansion of 1/3 in y 20.390 * [taylor]: Taking taylor expansion of (log y) in y 20.390 * [taylor]: Taking taylor expansion of y in y 20.446 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 20.446 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.446 * [taylor]: Taking taylor expansion of 1/3 in y 20.446 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.446 * [taylor]: Taking taylor expansion of y in y 20.447 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.447 * [taylor]: Taking taylor expansion of 1/3 in y 20.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.447 * [taylor]: Taking taylor expansion of y in y 20.503 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 20.504 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.504 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.504 * [taylor]: Taking taylor expansion of -1 in y 20.504 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.504 * [taylor]: Taking taylor expansion of 1/3 in y 20.504 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.504 * [taylor]: Taking taylor expansion of y in y 20.505 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.505 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.505 * [taylor]: Taking taylor expansion of -1 in y 20.506 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.506 * [taylor]: Taking taylor expansion of 1/3 in y 20.506 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.506 * [taylor]: Taking taylor expansion of y in y 20.573 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 20.574 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) (+ y 0.5) (* (+ y 0.5) (log (pow y 1/3)))) in (y) around 0 20.574 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) (+ y 0.5) (* (+ y 0.5) (log (pow y 1/3)))) in y 20.574 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (+ y 0.5) (log (pow y 1/3)))) 20.574 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow y 1/3))) (+ y 0.5)) in y 20.574 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y 20.574 * [taylor]: Taking taylor expansion of 2 in y 20.574 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.574 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.574 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.574 * [taylor]: Taking taylor expansion of 1/3 in y 20.574 * [taylor]: Taking taylor expansion of (log y) in y 20.574 * [taylor]: Taking taylor expansion of y in y 20.575 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 20.575 * [taylor]: Taking taylor expansion of y in y 20.575 * [taylor]: Taking taylor expansion of 0.5 in y 20.575 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 20.575 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 20.575 * [taylor]: Taking taylor expansion of y in y 20.575 * [taylor]: Taking taylor expansion of 0.5 in y 20.575 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.575 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.575 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.575 * [taylor]: Taking taylor expansion of 1/3 in y 20.575 * [taylor]: Taking taylor expansion of (log y) in y 20.575 * [taylor]: Taking taylor expansion of y in y 20.575 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) (+ y 0.5) (* (+ y 0.5) (log (pow y 1/3)))) in y 20.576 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (+ y 0.5) (log (pow y 1/3)))) 20.576 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow y 1/3))) (+ y 0.5)) in y 20.576 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y 20.576 * [taylor]: Taking taylor expansion of 2 in y 20.576 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.576 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.576 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.576 * [taylor]: Taking taylor expansion of 1/3 in y 20.576 * [taylor]: Taking taylor expansion of (log y) in y 20.576 * [taylor]: Taking taylor expansion of y in y 20.576 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 20.576 * [taylor]: Taking taylor expansion of y in y 20.576 * [taylor]: Taking taylor expansion of 0.5 in y 20.576 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 20.576 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 20.577 * [taylor]: Taking taylor expansion of y in y 20.577 * [taylor]: Taking taylor expansion of 0.5 in y 20.577 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.577 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.577 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.577 * [taylor]: Taking taylor expansion of 1/3 in y 20.577 * [taylor]: Taking taylor expansion of (log y) in y 20.577 * [taylor]: Taking taylor expansion of y in y 20.825 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5) (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in (y) around 0 20.825 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5) (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y 20.825 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5)) (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) 20.825 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5)) in y 20.825 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y 20.825 * [taylor]: Taking taylor expansion of 2 in y 20.825 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.825 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.825 * [taylor]: Taking taylor expansion of 1/3 in y 20.825 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.825 * [taylor]: Taking taylor expansion of y in y 20.826 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 20.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.826 * [taylor]: Taking taylor expansion of y in y 20.827 * [taylor]: Taking taylor expansion of 0.5 in y 20.827 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 20.827 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.827 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.827 * [taylor]: Taking taylor expansion of 1/3 in y 20.827 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.827 * [taylor]: Taking taylor expansion of y in y 20.828 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 20.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.828 * [taylor]: Taking taylor expansion of y in y 20.828 * [taylor]: Taking taylor expansion of 0.5 in y 20.828 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5) (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y 20.828 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5)) (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) 20.828 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 y) 1/3))) (+ (/ 1 y) 0.5)) in y 20.828 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y 20.828 * [taylor]: Taking taylor expansion of 2 in y 20.828 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.828 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.828 * [taylor]: Taking taylor expansion of 1/3 in y 20.828 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.828 * [taylor]: Taking taylor expansion of y in y 20.829 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 20.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.829 * [taylor]: Taking taylor expansion of y in y 20.829 * [taylor]: Taking taylor expansion of 0.5 in y 20.829 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 20.830 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.830 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.830 * [taylor]: Taking taylor expansion of 1/3 in y 20.830 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.830 * [taylor]: Taking taylor expansion of y in y 20.830 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 20.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.831 * [taylor]: Taking taylor expansion of y in y 20.831 * [taylor]: Taking taylor expansion of 0.5 in y 21.098 * [approximate]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y)) (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in (y) around 0 21.098 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y)) (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 21.099 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y))) (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) 21.099 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y))) in y 21.099 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.099 * [taylor]: Taking taylor expansion of 2 in y 21.099 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.099 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.099 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.099 * [taylor]: Taking taylor expansion of -1 in y 21.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.100 * [taylor]: Taking taylor expansion of 1/3 in y 21.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.100 * [taylor]: Taking taylor expansion of y in y 21.101 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.101 * [taylor]: Taking taylor expansion of 0.5 in y 21.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.101 * [taylor]: Taking taylor expansion of y in y 21.102 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.102 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.102 * [taylor]: Taking taylor expansion of 0.5 in y 21.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.102 * [taylor]: Taking taylor expansion of y in y 21.102 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.102 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.102 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.102 * [taylor]: Taking taylor expansion of -1 in y 21.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.103 * [taylor]: Taking taylor expansion of 1/3 in y 21.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.103 * [taylor]: Taking taylor expansion of y in y 21.104 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y)) (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 21.105 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y))) (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) 21.105 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (- 0.5 (/ 1 y))) in y 21.105 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.105 * [taylor]: Taking taylor expansion of 2 in y 21.105 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.105 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.105 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.105 * [taylor]: Taking taylor expansion of -1 in y 21.105 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.105 * [taylor]: Taking taylor expansion of 1/3 in y 21.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.106 * [taylor]: Taking taylor expansion of y in y 21.107 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.107 * [taylor]: Taking taylor expansion of 0.5 in y 21.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.107 * [taylor]: Taking taylor expansion of y in y 21.107 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.107 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.108 * [taylor]: Taking taylor expansion of 0.5 in y 21.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.108 * [taylor]: Taking taylor expansion of y in y 21.108 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.108 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.108 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.108 * [taylor]: Taking taylor expansion of -1 in y 21.109 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.109 * [taylor]: Taking taylor expansion of 1/3 in y 21.109 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.109 * [taylor]: Taking taylor expansion of y in y 21.444 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 3) 21.445 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 21.445 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 21.445 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.445 * [taylor]: Taking taylor expansion of y in y 21.445 * [taylor]: Taking taylor expansion of 0.5 in y 21.445 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.445 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.445 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.445 * [taylor]: Taking taylor expansion of 1/3 in y 21.445 * [taylor]: Taking taylor expansion of (log y) in y 21.445 * [taylor]: Taking taylor expansion of y in y 21.445 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 21.445 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.445 * [taylor]: Taking taylor expansion of y in y 21.445 * [taylor]: Taking taylor expansion of 0.5 in y 21.445 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.445 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.445 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.445 * [taylor]: Taking taylor expansion of 1/3 in y 21.446 * [taylor]: Taking taylor expansion of (log y) in y 21.446 * [taylor]: Taking taylor expansion of y in y 21.573 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 21.573 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 21.573 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 21.573 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.573 * [taylor]: Taking taylor expansion of 1/3 in y 21.573 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.573 * [taylor]: Taking taylor expansion of y in y 21.574 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.574 * [taylor]: Taking taylor expansion of y in y 21.574 * [taylor]: Taking taylor expansion of 0.5 in y 21.574 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 21.574 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 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 (+ (/ 1 y) 0.5) in y 21.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.575 * [taylor]: Taking taylor expansion of y in y 21.575 * [taylor]: Taking taylor expansion of 0.5 in y 21.698 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 21.698 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.698 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.698 * [taylor]: Taking taylor expansion of 0.5 in y 21.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.698 * [taylor]: Taking taylor expansion of y in y 21.698 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.698 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.698 * [taylor]: Taking taylor expansion of -1 in y 21.699 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.699 * [taylor]: Taking taylor expansion of 1/3 in y 21.699 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.699 * [taylor]: Taking taylor expansion of y in y 21.700 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 21.700 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.700 * [taylor]: Taking taylor expansion of 0.5 in y 21.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.700 * [taylor]: Taking taylor expansion of y in y 21.701 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 21.701 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.701 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.701 * [taylor]: Taking taylor expansion of -1 in y 21.701 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.702 * [taylor]: Taking taylor expansion of 1/3 in y 21.702 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.702 * [taylor]: Taking taylor expansion of y in y 21.878 * * * [progress]: simplifying candidates 21.879 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (log1p (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (log (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (exp (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (cbrt (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (* (* (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y)))) (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (sqrt (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (sqrt (fma (* 2 (log (cbrt y))) (+ y 0.5) (* (+ y 0.5) (log (cbrt y))))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (+ (log (+ y 0.5)) (log (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (exp (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt 1))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 21.882 * * [simplify]: iteration 0 : 124 enodes (cost 904 ) 21.905 * * [simplify]: iteration 1 : 297 enodes (cost 858 ) 21.978 * * [simplify]: iteration 2 : 873 enodes (cost 731 ) 22.779 * * [simplify]: iteration 3 : 3425 enodes (cost 655 ) 23.878 * * [simplify]: iteration done : 5001 enodes (cost 654 ) 23.879 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (* (+ y 0.5) (log (cbrt y))) 3)) (log1p (* (* (+ y 0.5) (log (cbrt y))) 3)) (* (* 2/3 (log y)) (+ y 0.5)) (log (* (* (+ y 0.5) (log (cbrt y))) 3)) (exp (* (* (+ y 0.5) (log (cbrt y))) 3)) (* (cbrt (* (* (+ y 0.5) (log (cbrt y))) 3)) (cbrt (* (* (+ y 0.5) (log (cbrt y))) 3))) (cbrt (* (* (+ y 0.5) (log (cbrt y))) 3)) (pow (* (* (+ y 0.5) (log (cbrt y))) 3) 3) (sqrt (* (* (+ y 0.5) (log (cbrt y))) 3)) (sqrt (* (* (+ y 0.5) (log (cbrt y))) 3)) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)) (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 (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) 0 (* (log (cbrt y)) (+ y 0.5)) (* (+ 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 (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) 0 (* (log (cbrt y)) (+ y 0.5)) (* (+ 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))) (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ (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 -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log (cbrt y)) (fma y 3 1.5)) (* (- (* 1.5 -1/3) y) (- (log y))) (* (log (* (cbrt -1) (cbrt (- y)))) (fma y 3 1.5)) (* (log (cbrt y)) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)) (* (log (* (cbrt -1) (cbrt (- y)))) (+ y 0.5)) 23.879 * * * [progress]: adding candidates to table 24.157 * * [progress]: iteration 4 / 4 24.157 * * * [progress]: picking best candidate 24.173 * * * * [pick]: Picked # 24.173 * * * [progress]: localizing error 24.195 * * * [progress]: generating rewritten candidates 24.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 2 1) 24.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 2 2 1) 24.197 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 2 1 1) 24.197 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2 2 1 1) 24.199 * * * [progress]: generating series expansions 24.199 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 2 1) 24.199 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 24.199 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 24.199 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 24.199 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 24.199 * [taylor]: Taking taylor expansion of 1/9 in y 24.199 * [taylor]: Taking taylor expansion of (log y) in y 24.199 * [taylor]: Taking taylor expansion of y in y 24.200 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 24.200 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 24.200 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 24.200 * [taylor]: Taking taylor expansion of 1/9 in y 24.200 * [taylor]: Taking taylor expansion of (log y) in y 24.200 * [taylor]: Taking taylor expansion of y in y 24.254 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 24.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.254 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.254 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.254 * [taylor]: Taking taylor expansion of 1/9 in y 24.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.254 * [taylor]: Taking taylor expansion of y in y 24.255 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.255 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.255 * [taylor]: Taking taylor expansion of 1/9 in y 24.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.255 * [taylor]: Taking taylor expansion of y in y 24.305 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 24.305 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 24.305 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 24.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 24.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 24.306 * [taylor]: Taking taylor expansion of 1/3 in y 24.306 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 24.306 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.306 * [taylor]: Taking taylor expansion of -1 in y 24.309 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.309 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.309 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.309 * [taylor]: Taking taylor expansion of 1/9 in y 24.309 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.309 * [taylor]: Taking taylor expansion of y in y 24.317 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 24.317 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 24.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 24.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 24.317 * [taylor]: Taking taylor expansion of 1/3 in y 24.317 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 24.317 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.317 * [taylor]: Taking taylor expansion of -1 in y 24.320 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.320 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.320 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.320 * [taylor]: Taking taylor expansion of 1/9 in y 24.320 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.320 * [taylor]: Taking taylor expansion of y in y 24.437 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 2 2 1) 24.437 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 24.437 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 24.437 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 24.437 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 24.437 * [taylor]: Taking taylor expansion of 1/9 in y 24.437 * [taylor]: Taking taylor expansion of (log y) in y 24.437 * [taylor]: Taking taylor expansion of y in y 24.438 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 24.438 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 24.438 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 24.438 * [taylor]: Taking taylor expansion of 1/9 in y 24.438 * [taylor]: Taking taylor expansion of (log y) in y 24.438 * [taylor]: Taking taylor expansion of y in y 24.491 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 24.491 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.491 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.491 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.491 * [taylor]: Taking taylor expansion of 1/9 in y 24.491 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.491 * [taylor]: Taking taylor expansion of y in y 24.492 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.492 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.492 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.492 * [taylor]: Taking taylor expansion of 1/9 in y 24.492 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.492 * [taylor]: Taking taylor expansion of y in y 24.547 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 24.547 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 24.547 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 24.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 24.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 24.547 * [taylor]: Taking taylor expansion of 1/3 in y 24.547 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 24.547 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.547 * [taylor]: Taking taylor expansion of -1 in y 24.551 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.551 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.551 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.551 * [taylor]: Taking taylor expansion of 1/9 in y 24.551 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.551 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.551 * [taylor]: Taking taylor expansion of y in y 24.552 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 24.552 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 24.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 24.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 24.552 * [taylor]: Taking taylor expansion of 1/3 in y 24.552 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 24.552 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.552 * [taylor]: Taking taylor expansion of -1 in y 24.555 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 24.555 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 24.555 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 24.555 * [taylor]: Taking taylor expansion of 1/9 in y 24.555 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.555 * [taylor]: Taking taylor expansion of y in y 24.671 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2 2 1 1) 24.671 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 24.671 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.671 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.671 * [taylor]: Taking taylor expansion of 1/3 in y 24.671 * [taylor]: Taking taylor expansion of (log y) in y 24.671 * [taylor]: Taking taylor expansion of y in y 24.671 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.671 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.671 * [taylor]: Taking taylor expansion of 1/3 in y 24.671 * [taylor]: Taking taylor expansion of (log y) in y 24.671 * [taylor]: Taking taylor expansion of y in y 24.722 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 24.723 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.723 * [taylor]: Taking taylor expansion of 1/3 in y 24.723 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.723 * [taylor]: Taking taylor expansion of y in y 24.723 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.723 * [taylor]: Taking taylor expansion of 1/3 in y 24.723 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.724 * [taylor]: Taking taylor expansion of y in y 24.779 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 24.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.779 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.779 * [taylor]: Taking taylor expansion of -1 in y 24.779 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.779 * [taylor]: Taking taylor expansion of 1/3 in y 24.779 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.779 * [taylor]: Taking taylor expansion of y in y 24.780 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.780 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.780 * [taylor]: Taking taylor expansion of -1 in y 24.781 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.781 * [taylor]: Taking taylor expansion of 1/3 in y 24.781 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.781 * [taylor]: Taking taylor expansion of y in y 24.847 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2 2 1 1) 24.847 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 24.847 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.847 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.847 * [taylor]: Taking taylor expansion of 1/3 in y 24.847 * [taylor]: Taking taylor expansion of (log y) in y 24.847 * [taylor]: Taking taylor expansion of y in y 24.847 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.847 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.847 * [taylor]: Taking taylor expansion of 1/3 in y 24.847 * [taylor]: Taking taylor expansion of (log y) in y 24.847 * [taylor]: Taking taylor expansion of y in y 24.900 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 24.900 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.900 * [taylor]: Taking taylor expansion of 1/3 in y 24.900 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.900 * [taylor]: Taking taylor expansion of y in y 24.901 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.901 * [taylor]: Taking taylor expansion of 1/3 in y 24.901 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.901 * [taylor]: Taking taylor expansion of y in y 24.990 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 24.990 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.990 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.990 * [taylor]: Taking taylor expansion of -1 in y 24.991 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.991 * [taylor]: Taking taylor expansion of 1/3 in y 24.991 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.991 * [taylor]: Taking taylor expansion of y in y 24.991 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.991 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.991 * [taylor]: Taking taylor expansion of -1 in y 24.992 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.992 * [taylor]: Taking taylor expansion of 1/3 in y 24.992 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.992 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.992 * [taylor]: Taking taylor expansion of y in y 25.057 * * * [progress]: simplifying candidates 25.058 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 25.060 * * [simplify]: iteration 0 : 46 enodes (cost 374 ) 25.067 * * [simplify]: iteration 1 : 79 enodes (cost 356 ) 25.084 * * [simplify]: iteration 2 : 151 enodes (cost 328 ) 25.106 * * [simplify]: iteration 3 : 303 enodes (cost 316 ) 25.165 * * [simplify]: iteration 4 : 853 enodes (cost 316 ) 25.503 * * [simplify]: iteration 5 : 3533 enodes (cost 316 ) 26.923 * * [simplify]: iteration done : 5000 enodes (cost 316 ) 26.924 * [simplify]: Simplified to: (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 26.924 * * * [progress]: adding candidates to table 27.220 * [progress]: [Phase 3 of 3] Extracting. 27.220 * * [regime]: Finding splitpoints for: (# # # # #) 27.222 * * * [regime-changes]: Trying 4 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) z y x) 27.222 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 27.253 * * * * [regimes]: Trying to branch on z from (# # # # #) 27.277 * * * * [regimes]: Trying to branch on y from (# # # # #) 27.304 * * * * [regimes]: Trying to branch on x from (# # # # #) 27.331 * * * [regime]: Found split indices: #