13.100 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.033 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.034 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.037 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.047 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.096 * * [simplify]: iteration 4 : 540 enodes (cost 11 ) 0.222 * * [simplify]: iteration 5 : 1046 enodes (cost 11 ) 0.512 * * [simplify]: iteration 6 : 1676 enodes (cost 11 ) 1.146 * * [simplify]: iteration 7 : 2317 enodes (cost 11 ) 1.860 * * [simplify]: iteration 8 : 2492 enodes (cost 11 ) 2.648 * * [simplify]: iteration 9 : 2690 enodes (cost 11 ) 3.758 * * [simplify]: iteration 10 : 3070 enodes (cost 11 ) 5.894 * * [simplify]: iteration 11 : 4469 enodes (cost 11 ) 8.659 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 8.659 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 8.663 * * [progress]: iteration 1 / 4 8.663 * * * [progress]: picking best candidate 8.664 * * * * [pick]: Picked # 8.665 * * * [progress]: localizing error 8.674 * * * [progress]: generating rewritten candidates 8.674 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 8.691 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 8.702 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.705 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 8.775 * * * [progress]: generating series expansions 8.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 8.775 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 8.775 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 8.775 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 8.775 * [taylor]: Taking taylor expansion of y in y 8.776 * [taylor]: Taking taylor expansion of 0.5 in y 8.776 * [taylor]: Taking taylor expansion of (log y) in y 8.776 * [taylor]: Taking taylor expansion of y in y 8.776 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 8.776 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 8.776 * [taylor]: Taking taylor expansion of y in y 8.776 * [taylor]: Taking taylor expansion of 0.5 in y 8.776 * [taylor]: Taking taylor expansion of (log y) in y 8.776 * [taylor]: Taking taylor expansion of y in y 8.848 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 8.848 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 8.848 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.848 * [taylor]: Taking taylor expansion of y in y 8.849 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 8.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.849 * [taylor]: Taking taylor expansion of y in y 8.849 * [taylor]: Taking taylor expansion of 0.5 in y 8.849 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 8.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.849 * [taylor]: Taking taylor expansion of y in y 8.850 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 8.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.850 * [taylor]: Taking taylor expansion of y in y 8.850 * [taylor]: Taking taylor expansion of 0.5 in y 8.926 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 8.926 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 8.926 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 8.926 * [taylor]: Taking taylor expansion of 0.5 in y 8.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.926 * [taylor]: Taking taylor expansion of y in y 8.927 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.927 * [taylor]: Taking taylor expansion of -1 in y 8.927 * [taylor]: Taking taylor expansion of y in y 8.927 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 8.927 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 8.927 * [taylor]: Taking taylor expansion of 0.5 in y 8.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.927 * [taylor]: Taking taylor expansion of y in y 8.928 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.928 * [taylor]: Taking taylor expansion of -1 in y 8.928 * [taylor]: Taking taylor expansion of y in y 9.019 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 9.020 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 9.020 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 9.020 * [taylor]: Taking taylor expansion of (+ x y) in y 9.020 * [taylor]: Taking taylor expansion of x in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.020 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.020 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.020 * [taylor]: Taking taylor expansion of 0.5 in y 9.020 * [taylor]: Taking taylor expansion of (log y) in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.020 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.020 * [taylor]: Taking taylor expansion of (log y) in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.020 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 9.020 * [taylor]: Taking taylor expansion of (+ x y) in x 9.020 * [taylor]: Taking taylor expansion of x in x 9.020 * [taylor]: Taking taylor expansion of y in x 9.020 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.020 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.020 * [taylor]: Taking taylor expansion of 0.5 in x 9.021 * [taylor]: Taking taylor expansion of (log y) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (log y) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 9.021 * [taylor]: Taking taylor expansion of (+ x y) in x 9.021 * [taylor]: Taking taylor expansion of x in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.021 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.021 * [taylor]: Taking taylor expansion of 0.5 in x 9.021 * [taylor]: Taking taylor expansion of (log y) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (log y) in x 9.021 * [taylor]: Taking taylor expansion of y in x 9.021 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 9.021 * [taylor]: Taking taylor expansion of y in y 9.021 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.021 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.021 * [taylor]: Taking taylor expansion of 0.5 in y 9.021 * [taylor]: Taking taylor expansion of (log y) in y 9.021 * [taylor]: Taking taylor expansion of y in y 9.022 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.022 * [taylor]: Taking taylor expansion of y in y 9.022 * [taylor]: Taking taylor expansion of (log y) in y 9.022 * [taylor]: Taking taylor expansion of y in y 9.025 * [taylor]: Taking taylor expansion of 1 in y 9.028 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 9.028 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.029 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.029 * [taylor]: Taking taylor expansion of y in y 9.029 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.029 * [taylor]: Taking taylor expansion of x in y 9.029 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.029 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.029 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.029 * [taylor]: Taking taylor expansion of y in y 9.030 * [taylor]: Taking taylor expansion of y in y 9.030 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.030 * [taylor]: Taking taylor expansion of 0.5 in y 9.030 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.030 * [taylor]: Taking taylor expansion of y in y 9.031 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.031 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.031 * [taylor]: Taking taylor expansion of y in x 9.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.031 * [taylor]: Taking taylor expansion of x in x 9.031 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.031 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.031 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.031 * [taylor]: Taking taylor expansion of y in x 9.031 * [taylor]: Taking taylor expansion of y in x 9.031 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.032 * [taylor]: Taking taylor expansion of 0.5 in x 9.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.032 * [taylor]: Taking taylor expansion of y in x 9.032 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.032 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.032 * [taylor]: Taking taylor expansion of y in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.032 * [taylor]: Taking taylor expansion of x in x 9.032 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.032 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.032 * [taylor]: Taking taylor expansion of y in x 9.032 * [taylor]: Taking taylor expansion of y in x 9.032 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.032 * [taylor]: Taking taylor expansion of 0.5 in x 9.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.032 * [taylor]: Taking taylor expansion of y in x 9.033 * [taylor]: Taking taylor expansion of 1 in y 9.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.034 * [taylor]: Taking taylor expansion of y in y 9.034 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.034 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.034 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.034 * [taylor]: Taking taylor expansion of y in y 9.035 * [taylor]: Taking taylor expansion of y in y 9.036 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.036 * [taylor]: Taking taylor expansion of 0.5 in y 9.036 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.036 * [taylor]: Taking taylor expansion of y in y 9.039 * [taylor]: Taking taylor expansion of 0 in y 9.043 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 9.043 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 9.043 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.043 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.043 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.043 * [taylor]: Taking taylor expansion of -1 in y 9.043 * [taylor]: Taking taylor expansion of y in y 9.044 * [taylor]: Taking taylor expansion of y in y 9.045 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 9.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.045 * [taylor]: Taking taylor expansion of y in y 9.045 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 9.045 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.045 * [taylor]: Taking taylor expansion of 0.5 in y 9.045 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.045 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.046 * [taylor]: Taking taylor expansion of -1 in y 9.046 * [taylor]: Taking taylor expansion of y in y 9.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.046 * [taylor]: Taking taylor expansion of x in y 9.046 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.046 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.046 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.046 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.046 * [taylor]: Taking taylor expansion of -1 in x 9.046 * [taylor]: Taking taylor expansion of y in x 9.046 * [taylor]: Taking taylor expansion of y in x 9.046 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.046 * [taylor]: Taking taylor expansion of y in x 9.046 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.046 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.047 * [taylor]: Taking taylor expansion of 0.5 in x 9.047 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.047 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.047 * [taylor]: Taking taylor expansion of -1 in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.047 * [taylor]: Taking taylor expansion of x in x 9.047 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.047 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.047 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.047 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.047 * [taylor]: Taking taylor expansion of -1 in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.047 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.047 * [taylor]: Taking taylor expansion of 0.5 in x 9.047 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.047 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.047 * [taylor]: Taking taylor expansion of -1 in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.048 * [taylor]: Taking taylor expansion of x in x 9.049 * [taylor]: Taking taylor expansion of -1 in y 9.050 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 9.050 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.050 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.050 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.050 * [taylor]: Taking taylor expansion of -1 in y 9.050 * [taylor]: Taking taylor expansion of y in y 9.051 * [taylor]: Taking taylor expansion of y in y 9.052 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 9.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.052 * [taylor]: Taking taylor expansion of y in y 9.053 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.053 * [taylor]: Taking taylor expansion of 0.5 in y 9.053 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.053 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.053 * [taylor]: Taking taylor expansion of -1 in y 9.053 * [taylor]: Taking taylor expansion of y in y 9.057 * [taylor]: Taking taylor expansion of 0 in y 9.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 9.064 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 9.065 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 9.065 * [taylor]: Taking taylor expansion of x in y 9.065 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.065 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.065 * [taylor]: Taking taylor expansion of 0.5 in y 9.065 * [taylor]: Taking taylor expansion of (log y) in y 9.065 * [taylor]: Taking taylor expansion of y in y 9.065 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.065 * [taylor]: Taking taylor expansion of y in y 9.065 * [taylor]: Taking taylor expansion of (log y) in y 9.065 * [taylor]: Taking taylor expansion of y in y 9.065 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 9.065 * [taylor]: Taking taylor expansion of x in x 9.065 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.065 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.065 * [taylor]: Taking taylor expansion of 0.5 in x 9.065 * [taylor]: Taking taylor expansion of (log y) in x 9.065 * [taylor]: Taking taylor expansion of y in x 9.065 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.065 * [taylor]: Taking taylor expansion of y in x 9.065 * [taylor]: Taking taylor expansion of (log y) in x 9.065 * [taylor]: Taking taylor expansion of y in x 9.066 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 9.066 * [taylor]: Taking taylor expansion of x in x 9.066 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.066 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.066 * [taylor]: Taking taylor expansion of 0.5 in x 9.066 * [taylor]: Taking taylor expansion of (log y) in x 9.066 * [taylor]: Taking taylor expansion of y in x 9.066 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.066 * [taylor]: Taking taylor expansion of y in x 9.066 * [taylor]: Taking taylor expansion of (log y) in x 9.066 * [taylor]: Taking taylor expansion of y in x 9.066 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 9.066 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 9.066 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.066 * [taylor]: Taking taylor expansion of y in y 9.066 * [taylor]: Taking taylor expansion of (log y) in y 9.066 * [taylor]: Taking taylor expansion of y in y 9.067 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.067 * [taylor]: Taking taylor expansion of 0.5 in y 9.067 * [taylor]: Taking taylor expansion of (log y) in y 9.067 * [taylor]: Taking taylor expansion of y in y 9.075 * [taylor]: Taking taylor expansion of 1 in y 9.078 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 9.078 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.078 * [taylor]: Taking taylor expansion of x in y 9.078 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.079 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.079 * [taylor]: Taking taylor expansion of y in y 9.079 * [taylor]: Taking taylor expansion of y in y 9.080 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.080 * [taylor]: Taking taylor expansion of 0.5 in y 9.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.080 * [taylor]: Taking taylor expansion of y in y 9.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.080 * [taylor]: Taking taylor expansion of x in x 9.081 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.081 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.081 * [taylor]: Taking taylor expansion of y in x 9.081 * [taylor]: Taking taylor expansion of y in x 9.081 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.081 * [taylor]: Taking taylor expansion of 0.5 in x 9.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.081 * [taylor]: Taking taylor expansion of y in x 9.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.081 * [taylor]: Taking taylor expansion of x in x 9.081 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.081 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.081 * [taylor]: Taking taylor expansion of y in x 9.082 * [taylor]: Taking taylor expansion of y in x 9.082 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.082 * [taylor]: Taking taylor expansion of 0.5 in x 9.082 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.082 * [taylor]: Taking taylor expansion of y in x 9.082 * [taylor]: Taking taylor expansion of 1 in y 9.083 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.083 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.083 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.083 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.083 * [taylor]: Taking taylor expansion of y in y 9.084 * [taylor]: Taking taylor expansion of y in y 9.084 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.084 * [taylor]: Taking taylor expansion of 0.5 in y 9.084 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.084 * [taylor]: Taking taylor expansion of y in y 9.088 * [taylor]: Taking taylor expansion of 0 in y 9.091 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 9.091 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 9.091 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.091 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.091 * [taylor]: Taking taylor expansion of -1 in y 9.091 * [taylor]: Taking taylor expansion of y in y 9.091 * [taylor]: Taking taylor expansion of y in y 9.093 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 9.093 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.093 * [taylor]: Taking taylor expansion of 0.5 in y 9.093 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.093 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.093 * [taylor]: Taking taylor expansion of -1 in y 9.093 * [taylor]: Taking taylor expansion of y in y 9.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.094 * [taylor]: Taking taylor expansion of x in y 9.094 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.094 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.094 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.094 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.094 * [taylor]: Taking taylor expansion of -1 in x 9.094 * [taylor]: Taking taylor expansion of y in x 9.094 * [taylor]: Taking taylor expansion of y in x 9.094 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.094 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.094 * [taylor]: Taking taylor expansion of 0.5 in x 9.094 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.094 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.094 * [taylor]: Taking taylor expansion of -1 in x 9.094 * [taylor]: Taking taylor expansion of y in x 9.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.094 * [taylor]: Taking taylor expansion of x in x 9.095 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.095 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.095 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.095 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.095 * [taylor]: Taking taylor expansion of -1 in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.095 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.095 * [taylor]: Taking taylor expansion of 0.5 in x 9.095 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.095 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.095 * [taylor]: Taking taylor expansion of -1 in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.095 * [taylor]: Taking taylor expansion of x in x 9.096 * [taylor]: Taking taylor expansion of -1 in y 9.097 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 9.097 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.097 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.097 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.097 * [taylor]: Taking taylor expansion of -1 in y 9.097 * [taylor]: Taking taylor expansion of y in y 9.098 * [taylor]: Taking taylor expansion of y in y 9.099 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.099 * [taylor]: Taking taylor expansion of 0.5 in y 9.099 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.099 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.099 * [taylor]: Taking taylor expansion of -1 in y 9.099 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of 0 in y 9.109 * * * * [progress]: [ 4 / 4 ] generating series at (2) 9.109 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 9.109 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 9.109 * [taylor]: Taking taylor expansion of (+ x y) in z 9.109 * [taylor]: Taking taylor expansion of x in z 9.110 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 9.110 * [taylor]: Taking taylor expansion of z in z 9.110 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 9.110 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 9.110 * [taylor]: Taking taylor expansion of 0.5 in z 9.110 * [taylor]: Taking taylor expansion of (log y) in z 9.110 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of (* y (log y)) in z 9.110 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of (log y) in z 9.110 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 9.110 * [taylor]: Taking taylor expansion of (+ x y) in y 9.110 * [taylor]: Taking taylor expansion of x in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.110 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 9.110 * [taylor]: Taking taylor expansion of z in y 9.110 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.110 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.110 * [taylor]: Taking taylor expansion of 0.5 in y 9.110 * [taylor]: Taking taylor expansion of (log y) in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.110 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.110 * [taylor]: Taking taylor expansion of (log y) in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.111 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 9.111 * [taylor]: Taking taylor expansion of (+ x y) in x 9.111 * [taylor]: Taking taylor expansion of x in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 9.111 * [taylor]: Taking taylor expansion of z in x 9.111 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.111 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.111 * [taylor]: Taking taylor expansion of 0.5 in x 9.111 * [taylor]: Taking taylor expansion of (log y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (log y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 9.111 * [taylor]: Taking taylor expansion of (+ x y) in x 9.111 * [taylor]: Taking taylor expansion of x in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 9.111 * [taylor]: Taking taylor expansion of z in x 9.111 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.111 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.111 * [taylor]: Taking taylor expansion of 0.5 in x 9.111 * [taylor]: Taking taylor expansion of (log y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (log y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.112 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 9.112 * [taylor]: Taking taylor expansion of y in y 9.112 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 9.112 * [taylor]: Taking taylor expansion of z in y 9.112 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.112 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.112 * [taylor]: Taking taylor expansion of 0.5 in y 9.112 * [taylor]: Taking taylor expansion of (log y) in y 9.112 * [taylor]: Taking taylor expansion of y in y 9.113 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.113 * [taylor]: Taking taylor expansion of (log y) in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.114 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 9.114 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 9.114 * [taylor]: Taking taylor expansion of z in z 9.114 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 9.114 * [taylor]: Taking taylor expansion of 0.5 in z 9.114 * [taylor]: Taking taylor expansion of (log y) in z 9.114 * [taylor]: Taking taylor expansion of y in z 9.117 * [taylor]: Taking taylor expansion of 1 in y 9.117 * [taylor]: Taking taylor expansion of 1 in z 9.120 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 9.120 * [taylor]: Taking taylor expansion of 1 in z 9.120 * [taylor]: Taking taylor expansion of (log y) in z 9.120 * [taylor]: Taking taylor expansion of y in z 9.120 * [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 9.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 9.120 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 9.120 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.120 * [taylor]: Taking taylor expansion of y in z 9.120 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.120 * [taylor]: Taking taylor expansion of x in z 9.120 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 9.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 9.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.121 * [taylor]: Taking taylor expansion of y in z 9.121 * [taylor]: Taking taylor expansion of y in z 9.121 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 9.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.121 * [taylor]: Taking taylor expansion of z in z 9.121 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 9.121 * [taylor]: Taking taylor expansion of 0.5 in z 9.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.121 * [taylor]: Taking taylor expansion of y in z 9.121 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 9.121 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.121 * [taylor]: Taking taylor expansion of y in y 9.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.122 * [taylor]: Taking taylor expansion of x in y 9.122 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 9.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.122 * [taylor]: Taking taylor expansion of y in y 9.122 * [taylor]: Taking taylor expansion of y in y 9.123 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 9.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.123 * [taylor]: Taking taylor expansion of z in y 9.123 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.123 * [taylor]: Taking taylor expansion of 0.5 in y 9.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.123 * [taylor]: Taking taylor expansion of y in y 9.124 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 9.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.124 * [taylor]: Taking taylor expansion of x in x 9.124 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 9.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.124 * [taylor]: Taking taylor expansion of z in x 9.124 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.124 * [taylor]: Taking taylor expansion of 0.5 in x 9.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 9.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.125 * [taylor]: Taking taylor expansion of x in x 9.125 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 9.125 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.125 * [taylor]: Taking taylor expansion of y in x 9.125 * [taylor]: Taking taylor expansion of y in x 9.125 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 9.125 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.125 * [taylor]: Taking taylor expansion of z in x 9.125 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.125 * [taylor]: Taking taylor expansion of 0.5 in x 9.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.125 * [taylor]: Taking taylor expansion of y in x 9.126 * [taylor]: Taking taylor expansion of 1 in y 9.127 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 9.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.127 * [taylor]: Taking taylor expansion of y in y 9.128 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 9.128 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.128 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.128 * [taylor]: Taking taylor expansion of y in y 9.128 * [taylor]: Taking taylor expansion of y in y 9.129 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 9.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.129 * [taylor]: Taking taylor expansion of z in y 9.129 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.129 * [taylor]: Taking taylor expansion of 0.5 in y 9.129 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.129 * [taylor]: Taking taylor expansion of y in y 9.130 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 9.130 * [taylor]: Taking taylor expansion of (log y) in z 9.130 * [taylor]: Taking taylor expansion of y in z 9.130 * [taylor]: Taking taylor expansion of 1 in z 9.130 * [taylor]: Taking taylor expansion of 1 in z 9.133 * [taylor]: Taking taylor expansion of 0 in y 9.136 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 9.136 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 9.137 * [taylor]: Taking taylor expansion of 0.5 in z 9.137 * [taylor]: Taking taylor expansion of (log y) in z 9.137 * [taylor]: Taking taylor expansion of y in z 9.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.137 * [taylor]: Taking taylor expansion of z in z 9.137 * [taylor]: Taking taylor expansion of 0 in z 9.138 * [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 9.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 9.138 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 9.138 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.138 * [taylor]: Taking taylor expansion of z in z 9.139 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 9.139 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 9.139 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.139 * [taylor]: Taking taylor expansion of -1 in z 9.139 * [taylor]: Taking taylor expansion of y in z 9.139 * [taylor]: Taking taylor expansion of y in z 9.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 9.139 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.139 * [taylor]: Taking taylor expansion of y in z 9.139 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 9.139 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 9.139 * [taylor]: Taking taylor expansion of 0.5 in z 9.139 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 9.139 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.139 * [taylor]: Taking taylor expansion of -1 in z 9.139 * [taylor]: Taking taylor expansion of y in z 9.139 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.139 * [taylor]: Taking taylor expansion of x in z 9.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 9.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 9.139 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.139 * [taylor]: Taking taylor expansion of z in y 9.139 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.139 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.139 * [taylor]: Taking taylor expansion of -1 in y 9.139 * [taylor]: Taking taylor expansion of y in y 9.140 * [taylor]: Taking taylor expansion of y in y 9.141 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 9.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.141 * [taylor]: Taking taylor expansion of y in y 9.142 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 9.142 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.142 * [taylor]: Taking taylor expansion of 0.5 in y 9.142 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.142 * [taylor]: Taking taylor expansion of -1 in y 9.142 * [taylor]: Taking taylor expansion of y in y 9.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.143 * [taylor]: Taking taylor expansion of x in y 9.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.143 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 9.143 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.143 * [taylor]: Taking taylor expansion of z in x 9.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.143 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.143 * [taylor]: Taking taylor expansion of -1 in x 9.143 * [taylor]: Taking taylor expansion of y in x 9.143 * [taylor]: Taking taylor expansion of y in x 9.143 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.143 * [taylor]: Taking taylor expansion of y in x 9.143 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.143 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.143 * [taylor]: Taking taylor expansion of 0.5 in x 9.143 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.143 * [taylor]: Taking taylor expansion of -1 in x 9.143 * [taylor]: Taking taylor expansion of y in x 9.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.143 * [taylor]: Taking taylor expansion of x in x 9.144 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.144 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 9.144 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.144 * [taylor]: Taking taylor expansion of z in x 9.144 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.144 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.144 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.144 * [taylor]: Taking taylor expansion of -1 in x 9.144 * [taylor]: Taking taylor expansion of y in x 9.144 * [taylor]: Taking taylor expansion of y in x 9.144 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.144 * [taylor]: Taking taylor expansion of y in x 9.144 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.144 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.144 * [taylor]: Taking taylor expansion of 0.5 in x 9.144 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.144 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.144 * [taylor]: Taking taylor expansion of -1 in x 9.144 * [taylor]: Taking taylor expansion of y in x 9.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.144 * [taylor]: Taking taylor expansion of x in x 9.146 * [taylor]: Taking taylor expansion of -1 in y 9.147 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 9.147 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 9.147 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.147 * [taylor]: Taking taylor expansion of z in y 9.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.147 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.147 * [taylor]: Taking taylor expansion of -1 in y 9.147 * [taylor]: Taking taylor expansion of y in y 9.147 * [taylor]: Taking taylor expansion of y in y 9.149 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 9.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.149 * [taylor]: Taking taylor expansion of y in y 9.149 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.149 * [taylor]: Taking taylor expansion of 0.5 in y 9.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.149 * [taylor]: Taking taylor expansion of -1 in y 9.149 * [taylor]: Taking taylor expansion of y in y 9.151 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 9.151 * [taylor]: Taking taylor expansion of (log -1) in z 9.151 * [taylor]: Taking taylor expansion of -1 in z 9.151 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 9.151 * [taylor]: Taking taylor expansion of (log y) in z 9.151 * [taylor]: Taking taylor expansion of y in z 9.151 * [taylor]: Taking taylor expansion of 1 in z 9.151 * [taylor]: Taking taylor expansion of -1 in z 9.155 * [taylor]: Taking taylor expansion of 0 in y 9.160 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 9.160 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 9.160 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.160 * [taylor]: Taking taylor expansion of z in z 9.160 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 9.160 * [taylor]: Taking taylor expansion of 0.5 in z 9.160 * [taylor]: Taking taylor expansion of (log y) in z 9.160 * [taylor]: Taking taylor expansion of y in z 9.160 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 9.161 * [taylor]: Taking taylor expansion of 0.5 in z 9.161 * [taylor]: Taking taylor expansion of (log -1) in z 9.161 * [taylor]: Taking taylor expansion of -1 in z 9.166 * [taylor]: Taking taylor expansion of 0 in z 9.168 * * * [progress]: simplifying candidates 9.170 * [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) (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))) (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) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ 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))) 9.176 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 9.216 * * [simplify]: iteration 1 : 527 enodes (cost 1749 ) 9.367 * * [simplify]: iteration 2 : 1733 enodes (cost 1540 ) 9.805 * * [simplify]: iteration done : 5000 enodes (cost 1539 ) 9.806 * [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)) (fma (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (* y (- (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) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ 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 x x (* (fma (+ y 0.5) (log y) x) (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (* (fma (+ y 0.5) (log y) x) (- x (* (+ y 0.5) (log y)))) (fma (+ y 0.5) (log y) 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))) (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)) (* z 0) (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)) (* z 0) (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)) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (* z 0) (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 (* (log y) (+ y 0.5)))) z) (- (+ x (- y (* (log y) (+ y 0.5)))) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (- (* (log -1) (+ y 0.5)) (* (log (/ -1 y)) (+ y 0.5))) (+ x (- y (* (log y) (+ y 0.5)))) (+ x (- y (* (log y) (+ y 0.5)))) (- (+ (fma (log (/ -1 y)) (+ y 0.5) x) y) (* (log -1) (+ y 0.5))) (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (- (fma (log (/ -1 y)) (+ y 0.5) x) (* (log -1) (+ y 0.5))) (+ x (- y (* (log y) (+ y 0.5)))) (- (+ x (fma y (- (log y)) y)) z) (+ (- (fma y (log (/ -1 y)) y) (fma (log -1) y z)) x) 9.807 * * * [progress]: adding candidates to table 10.110 * * [progress]: iteration 2 / 4 10.110 * * * [progress]: picking best candidate 10.123 * * * * [pick]: Picked # 10.123 * * * [progress]: localizing error 10.138 * * * [progress]: generating rewritten candidates 10.138 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 10.139 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 10.139 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 10.153 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 10.169 * * * [progress]: generating series expansions 10.169 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 10.169 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.169 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.169 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.169 * [taylor]: Taking taylor expansion of 1/3 in y 10.169 * [taylor]: Taking taylor expansion of (log y) in y 10.169 * [taylor]: Taking taylor expansion of y in y 10.170 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.170 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.170 * [taylor]: Taking taylor expansion of 1/3 in y 10.170 * [taylor]: Taking taylor expansion of (log y) in y 10.170 * [taylor]: Taking taylor expansion of y in y 10.225 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.225 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.225 * [taylor]: Taking taylor expansion of 1/3 in y 10.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.225 * [taylor]: Taking taylor expansion of y in y 10.226 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.226 * [taylor]: Taking taylor expansion of 1/3 in y 10.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.226 * [taylor]: Taking taylor expansion of y in y 10.285 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 10.285 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.285 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.285 * [taylor]: Taking taylor expansion of -1 in y 10.286 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.286 * [taylor]: Taking taylor expansion of 1/3 in y 10.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.286 * [taylor]: Taking taylor expansion of y in y 10.287 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.287 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.287 * [taylor]: Taking taylor expansion of -1 in y 10.288 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.288 * [taylor]: Taking taylor expansion of 1/3 in y 10.288 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.288 * [taylor]: Taking taylor expansion of y in y 10.352 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 10.352 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.352 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.352 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.352 * [taylor]: Taking taylor expansion of 1/3 in y 10.352 * [taylor]: Taking taylor expansion of (log y) in y 10.352 * [taylor]: Taking taylor expansion of y in y 10.352 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.352 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.352 * [taylor]: Taking taylor expansion of 1/3 in y 10.352 * [taylor]: Taking taylor expansion of (log y) in y 10.352 * [taylor]: Taking taylor expansion of y in y 10.408 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.408 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.408 * [taylor]: Taking taylor expansion of 1/3 in y 10.408 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.408 * [taylor]: Taking taylor expansion of y in y 10.409 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.409 * [taylor]: Taking taylor expansion of 1/3 in y 10.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.409 * [taylor]: Taking taylor expansion of y in y 10.469 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 10.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.469 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.469 * [taylor]: Taking taylor expansion of -1 in y 10.470 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.470 * [taylor]: Taking taylor expansion of 1/3 in y 10.470 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.470 * [taylor]: Taking taylor expansion of y in y 10.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.471 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.471 * [taylor]: Taking taylor expansion of -1 in y 10.472 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.472 * [taylor]: Taking taylor expansion of 1/3 in y 10.472 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.472 * [taylor]: Taking taylor expansion of y in y 10.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 10.548 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 10.548 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 10.548 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 10.548 * [taylor]: Taking taylor expansion of 3 in y 10.548 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 10.548 * [taylor]: Taking taylor expansion of y in y 10.548 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.548 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.548 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.548 * [taylor]: Taking taylor expansion of 1/3 in y 10.548 * [taylor]: Taking taylor expansion of (log y) in y 10.548 * [taylor]: Taking taylor expansion of y in y 10.549 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 10.549 * [taylor]: Taking taylor expansion of 1.5 in y 10.549 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.549 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.549 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.549 * [taylor]: Taking taylor expansion of 1/3 in y 10.549 * [taylor]: Taking taylor expansion of (log y) in y 10.549 * [taylor]: Taking taylor expansion of y in y 10.549 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 10.549 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 10.550 * [taylor]: Taking taylor expansion of 3 in y 10.550 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 10.550 * [taylor]: Taking taylor expansion of y in y 10.550 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.550 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.550 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.550 * [taylor]: Taking taylor expansion of 1/3 in y 10.550 * [taylor]: Taking taylor expansion of (log y) in y 10.550 * [taylor]: Taking taylor expansion of y in y 10.550 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 10.550 * [taylor]: Taking taylor expansion of 1.5 in y 10.550 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.550 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.550 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.551 * [taylor]: Taking taylor expansion of 1/3 in y 10.551 * [taylor]: Taking taylor expansion of (log y) in y 10.551 * [taylor]: Taking taylor expansion of y in y 10.812 * [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 10.812 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 10.812 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 10.812 * [taylor]: Taking taylor expansion of 1.5 in y 10.812 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.812 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.812 * [taylor]: Taking taylor expansion of 1/3 in y 10.812 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.812 * [taylor]: Taking taylor expansion of y in y 10.814 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 10.814 * [taylor]: Taking taylor expansion of 3 in y 10.814 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 10.814 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.814 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.814 * [taylor]: Taking taylor expansion of 1/3 in y 10.814 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.814 * [taylor]: Taking taylor expansion of y in y 10.815 * [taylor]: Taking taylor expansion of y in y 10.815 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 10.815 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 10.815 * [taylor]: Taking taylor expansion of 1.5 in y 10.815 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.815 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.815 * [taylor]: Taking taylor expansion of 1/3 in y 10.815 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.815 * [taylor]: Taking taylor expansion of y in y 10.816 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 10.816 * [taylor]: Taking taylor expansion of 3 in y 10.816 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 10.816 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.816 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.816 * [taylor]: Taking taylor expansion of 1/3 in y 10.816 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.816 * [taylor]: Taking taylor expansion of y in y 10.817 * [taylor]: Taking taylor expansion of y in y 11.050 * [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 11.051 * [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 11.051 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.051 * [taylor]: Taking taylor expansion of 1.5 in y 11.051 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.051 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.051 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.051 * [taylor]: Taking taylor expansion of -1 in y 11.051 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.052 * [taylor]: Taking taylor expansion of 1/3 in y 11.052 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.052 * [taylor]: Taking taylor expansion of y in y 11.053 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.053 * [taylor]: Taking taylor expansion of 3 in y 11.053 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.053 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.053 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.053 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.053 * [taylor]: Taking taylor expansion of -1 in y 11.054 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.054 * [taylor]: Taking taylor expansion of 1/3 in y 11.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.054 * [taylor]: Taking taylor expansion of y in y 11.056 * [taylor]: Taking taylor expansion of y in y 11.057 * [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 11.057 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.057 * [taylor]: Taking taylor expansion of 1.5 in y 11.057 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.057 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.057 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.057 * [taylor]: Taking taylor expansion of -1 in y 11.057 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.057 * [taylor]: Taking taylor expansion of 1/3 in y 11.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.058 * [taylor]: Taking taylor expansion of y in y 11.059 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.059 * [taylor]: Taking taylor expansion of 3 in y 11.059 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.059 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.059 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.059 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.059 * [taylor]: Taking taylor expansion of -1 in y 11.060 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.060 * [taylor]: Taking taylor expansion of 1/3 in y 11.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.060 * [taylor]: Taking taylor expansion of y in y 11.062 * [taylor]: Taking taylor expansion of y in y 11.362 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 11.362 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 11.362 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.362 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.362 * [taylor]: Taking taylor expansion of y in y 11.362 * [taylor]: Taking taylor expansion of 0.5 in y 11.362 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.362 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.362 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.362 * [taylor]: Taking taylor expansion of 1/3 in y 11.362 * [taylor]: Taking taylor expansion of (log y) in y 11.362 * [taylor]: Taking taylor expansion of y in y 11.363 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.363 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.363 * [taylor]: Taking taylor expansion of y in y 11.363 * [taylor]: Taking taylor expansion of 0.5 in y 11.363 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.363 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.363 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.363 * [taylor]: Taking taylor expansion of 1/3 in y 11.363 * [taylor]: Taking taylor expansion of (log y) in y 11.363 * [taylor]: Taking taylor expansion of y in y 11.494 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 11.494 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.494 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.494 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.494 * [taylor]: Taking taylor expansion of 1/3 in y 11.494 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.494 * [taylor]: Taking taylor expansion of y in y 11.496 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.496 * [taylor]: Taking taylor expansion of y in y 11.496 * [taylor]: Taking taylor expansion of 0.5 in y 11.496 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.496 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.496 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.496 * [taylor]: Taking taylor expansion of 1/3 in y 11.496 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.496 * [taylor]: Taking taylor expansion of y in y 11.497 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.497 * [taylor]: Taking taylor expansion of y in y 11.498 * [taylor]: Taking taylor expansion of 0.5 in y 11.628 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 11.629 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.629 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.629 * [taylor]: Taking taylor expansion of 0.5 in y 11.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.629 * [taylor]: Taking taylor expansion of y in y 11.629 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.629 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.629 * [taylor]: Taking taylor expansion of -1 in y 11.630 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.630 * [taylor]: Taking taylor expansion of 1/3 in y 11.630 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.630 * [taylor]: Taking taylor expansion of y in y 11.632 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.632 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.632 * [taylor]: Taking taylor expansion of 0.5 in y 11.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.632 * [taylor]: Taking taylor expansion of y in y 11.632 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.632 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.632 * [taylor]: Taking taylor expansion of -1 in y 11.633 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.633 * [taylor]: Taking taylor expansion of 1/3 in y 11.633 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.633 * [taylor]: Taking taylor expansion of y in y 11.814 * * * [progress]: simplifying candidates 11.816 * [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)) 11.821 * * [simplify]: iteration 0 : 173 enodes (cost 1530 ) 11.860 * * [simplify]: iteration 1 : 506 enodes (cost 1362 ) 12.029 * * [simplify]: iteration 2 : 1952 enodes (cost 1109 ) 12.607 * * [simplify]: iteration done : 5000 enodes (cost 1109 ) 12.608 * [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)) 12.609 * * * [progress]: adding candidates to table 12.995 * * [progress]: iteration 3 / 4 12.995 * * * [progress]: picking best candidate 13.002 * * * * [pick]: Picked # 13.002 * * * [progress]: localizing error 13.016 * * * [progress]: generating rewritten candidates 13.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 13.020 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 13.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 13.028 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 13.039 * * * [progress]: generating series expansions 13.039 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 13.039 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 13.039 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.040 * [taylor]: Taking taylor expansion of 1/3 in y 13.040 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.040 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.040 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.040 * [taylor]: Taking taylor expansion of y in y 13.040 * [taylor]: Taking taylor expansion of 0.5 in y 13.040 * [taylor]: Taking taylor expansion of (log y) in y 13.040 * [taylor]: Taking taylor expansion of y in y 13.041 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.041 * [taylor]: Taking taylor expansion of 1/3 in y 13.041 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.041 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.041 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.041 * [taylor]: Taking taylor expansion of y in y 13.041 * [taylor]: Taking taylor expansion of 0.5 in y 13.041 * [taylor]: Taking taylor expansion of (log y) in y 13.041 * [taylor]: Taking taylor expansion of y in y 13.067 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 13.067 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.067 * [taylor]: Taking taylor expansion of 1/3 in y 13.067 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.067 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.067 * [taylor]: Taking taylor expansion of y in y 13.068 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.068 * [taylor]: Taking taylor expansion of y in y 13.068 * [taylor]: Taking taylor expansion of 0.5 in y 13.069 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.069 * [taylor]: Taking taylor expansion of 1/3 in y 13.069 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.069 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.069 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.069 * [taylor]: Taking taylor expansion of y in y 13.070 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.070 * [taylor]: Taking taylor expansion of y in y 13.070 * [taylor]: Taking taylor expansion of 0.5 in y 13.086 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 13.086 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.086 * [taylor]: Taking taylor expansion of 1/3 in y 13.086 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.086 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.086 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.086 * [taylor]: Taking taylor expansion of 0.5 in y 13.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.086 * [taylor]: Taking taylor expansion of y in y 13.087 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.087 * [taylor]: Taking taylor expansion of -1 in y 13.087 * [taylor]: Taking taylor expansion of y in y 13.090 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.090 * [taylor]: Taking taylor expansion of 1/3 in y 13.090 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.090 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.090 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.090 * [taylor]: Taking taylor expansion of 0.5 in y 13.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.090 * [taylor]: Taking taylor expansion of y in y 13.091 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.091 * [taylor]: Taking taylor expansion of -1 in y 13.091 * [taylor]: Taking taylor expansion of y in y 13.127 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 13.127 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 13.127 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.127 * [taylor]: Taking taylor expansion of 1/3 in y 13.127 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.127 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.127 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.127 * [taylor]: Taking taylor expansion of y in y 13.127 * [taylor]: Taking taylor expansion of 0.5 in y 13.127 * [taylor]: Taking taylor expansion of (log y) in y 13.127 * [taylor]: Taking taylor expansion of y in y 13.128 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.128 * [taylor]: Taking taylor expansion of 1/3 in y 13.128 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.128 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.128 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.128 * [taylor]: Taking taylor expansion of y in y 13.128 * [taylor]: Taking taylor expansion of 0.5 in y 13.128 * [taylor]: Taking taylor expansion of (log y) in y 13.129 * [taylor]: Taking taylor expansion of y in y 13.154 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 13.154 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.154 * [taylor]: Taking taylor expansion of 1/3 in y 13.154 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.154 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.155 * [taylor]: Taking taylor expansion of y in y 13.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.155 * [taylor]: Taking taylor expansion of y in y 13.155 * [taylor]: Taking taylor expansion of 0.5 in y 13.157 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.157 * [taylor]: Taking taylor expansion of 1/3 in y 13.157 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.157 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.157 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.157 * [taylor]: Taking taylor expansion of y in y 13.157 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.157 * [taylor]: Taking taylor expansion of y in y 13.158 * [taylor]: Taking taylor expansion of 0.5 in y 13.173 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 13.174 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.174 * [taylor]: Taking taylor expansion of 1/3 in y 13.174 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.174 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.174 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.174 * [taylor]: Taking taylor expansion of 0.5 in y 13.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.174 * [taylor]: Taking taylor expansion of y in y 13.174 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.174 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.174 * [taylor]: Taking taylor expansion of -1 in y 13.174 * [taylor]: Taking taylor expansion of y in y 13.177 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.178 * [taylor]: Taking taylor expansion of 1/3 in y 13.178 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.178 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.178 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.178 * [taylor]: Taking taylor expansion of 0.5 in y 13.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.178 * [taylor]: Taking taylor expansion of y in y 13.178 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.178 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.178 * [taylor]: Taking taylor expansion of -1 in y 13.178 * [taylor]: Taking taylor expansion of y in y 13.215 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 13.215 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 13.215 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.215 * [taylor]: Taking taylor expansion of 1/3 in y 13.215 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.215 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.215 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.215 * [taylor]: Taking taylor expansion of y in y 13.215 * [taylor]: Taking taylor expansion of 0.5 in y 13.215 * [taylor]: Taking taylor expansion of (log y) in y 13.215 * [taylor]: Taking taylor expansion of y in y 13.216 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 13.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 13.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 13.216 * [taylor]: Taking taylor expansion of 1/3 in y 13.216 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 13.216 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.216 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.216 * [taylor]: Taking taylor expansion of y in y 13.216 * [taylor]: Taking taylor expansion of 0.5 in y 13.216 * [taylor]: Taking taylor expansion of (log y) in y 13.216 * [taylor]: Taking taylor expansion of y in y 13.242 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 13.243 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.243 * [taylor]: Taking taylor expansion of 1/3 in y 13.243 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.243 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.243 * [taylor]: Taking taylor expansion of y in y 13.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.243 * [taylor]: Taking taylor expansion of y in y 13.244 * [taylor]: Taking taylor expansion of 0.5 in y 13.245 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 13.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 13.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 13.245 * [taylor]: Taking taylor expansion of 1/3 in y 13.245 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 13.245 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.245 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.245 * [taylor]: Taking taylor expansion of y in y 13.245 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.245 * [taylor]: Taking taylor expansion of y in y 13.246 * [taylor]: Taking taylor expansion of 0.5 in y 13.262 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 13.262 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.262 * [taylor]: Taking taylor expansion of 1/3 in y 13.262 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.262 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.262 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.262 * [taylor]: Taking taylor expansion of 0.5 in y 13.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.262 * [taylor]: Taking taylor expansion of y in y 13.262 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.263 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.263 * [taylor]: Taking taylor expansion of -1 in y 13.263 * [taylor]: Taking taylor expansion of y in y 13.266 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 13.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 13.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 13.266 * [taylor]: Taking taylor expansion of 1/3 in y 13.266 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 13.266 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.266 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.266 * [taylor]: Taking taylor expansion of 0.5 in y 13.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.266 * [taylor]: Taking taylor expansion of y in y 13.267 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.267 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.267 * [taylor]: Taking taylor expansion of -1 in y 13.267 * [taylor]: Taking taylor expansion of y in y 13.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 13.305 * [approximate]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in (y) around 0 13.305 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 13.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 13.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 13.305 * [taylor]: Taking taylor expansion of 1/3 in y 13.305 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 13.305 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 13.305 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 13.305 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.305 * [taylor]: Taking taylor expansion of y in y 13.305 * [taylor]: Taking taylor expansion of 0.5 in y 13.305 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 13.305 * [taylor]: Taking taylor expansion of (log y) in y 13.305 * [taylor]: Taking taylor expansion of y in y 13.307 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 13.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 13.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 13.307 * [taylor]: Taking taylor expansion of 1/3 in y 13.307 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 13.308 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 13.308 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 13.308 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.308 * [taylor]: Taking taylor expansion of y in y 13.308 * [taylor]: Taking taylor expansion of 0.5 in y 13.308 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 13.308 * [taylor]: Taking taylor expansion of (log y) in y 13.308 * [taylor]: Taking taylor expansion of y in y 13.341 * [approximate]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in (y) around 0 13.341 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 13.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 13.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 13.341 * [taylor]: Taking taylor expansion of 1/3 in y 13.341 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 13.341 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 13.341 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 13.341 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.341 * [taylor]: Taking taylor expansion of y in y 13.342 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 13.342 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.342 * [taylor]: Taking taylor expansion of y in y 13.342 * [taylor]: Taking taylor expansion of 0.5 in y 13.344 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 13.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 13.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 13.344 * [taylor]: Taking taylor expansion of 1/3 in y 13.344 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 13.344 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 13.344 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 13.344 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.344 * [taylor]: Taking taylor expansion of y in y 13.345 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 13.345 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.345 * [taylor]: Taking taylor expansion of y in y 13.345 * [taylor]: Taking taylor expansion of 0.5 in y 13.366 * [approximate]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in (y) around 0 13.366 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 13.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 13.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 13.366 * [taylor]: Taking taylor expansion of 1/3 in y 13.366 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 13.367 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 13.367 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 13.367 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.367 * [taylor]: Taking taylor expansion of 0.5 in y 13.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.367 * [taylor]: Taking taylor expansion of y in y 13.367 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 13.367 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.367 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.368 * [taylor]: Taking taylor expansion of -1 in y 13.368 * [taylor]: Taking taylor expansion of y in y 13.373 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 13.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 13.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 13.373 * [taylor]: Taking taylor expansion of 1/3 in y 13.373 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 13.373 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 13.373 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 13.373 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.373 * [taylor]: Taking taylor expansion of 0.5 in y 13.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.373 * [taylor]: Taking taylor expansion of y in y 13.374 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 13.374 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.374 * [taylor]: Taking taylor expansion of -1 in y 13.374 * [taylor]: Taking taylor expansion of y in y 13.461 * * * [progress]: simplifying candidates 13.463 * [simplify]: Simplifying using # : (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (log1p (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (+ 1/3 1/3) (+ 1 1) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (+ 1 1) (+ (log (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y))))) (log (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (exp (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (sqrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (sqrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (- y 0.5))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (- y 0.5))) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))) (* (cbrt (log y)) (cbrt (log y))) (* (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* 1 1) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* 2 1/3) (* 2 1) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (+ y 0.5))) (* (cbrt (* (+ y 0.5) (log y))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (* (cbrt (* (+ y 0.5) (log y))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ y 0.5) (log y))) 1) (* (cbrt (log y)) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (+ y 0.5) (log y)))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (* 2.2222222222222223 (* (pow (* 0.25 (pow (log y) 2)) 1/3) (pow y 2))) (+ (* 1.3333333333333333 (* (pow (* 0.25 (pow (log y) 2)) 1/3) y)) (pow (* 0.25 (pow (log y) 2)) 1/3))) (* 0.16666666666666666 (* (pow (/ (pow (log y) 2) (pow 0.25 5)) 1/3) (pow y 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y)))))) y)) (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y))))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y)))))) (pow y 2)))) (- (+ (* 0.08333333333333333 (/ (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.3333333333333333 (/ (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))) (+ (* 0.4444444444444444 (/ (* (pow (log -1) 3) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (+ (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))) (+ (* 0.08333333333333333 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.4444444444444444 (/ (* (log -1) (* (pow (log (/ -1 y)) 3) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (* 0.3333333333333333 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))))))))) (+ (* 0.16666666666666666 (/ (* (log -1) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.6666666666666666 (/ (* (log -1) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))) (+ (* 0.6666666666666666 (/ (* (pow (log -1) 2) (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (+ (* 0.1111111111111111 (/ (* (pow (log (/ -1 y)) 4) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (* 0.1111111111111111 (/ (* (pow (log -1) 4) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2))))))))) 13.473 * * [simplify]: iteration 0 : 238 enodes (cost 2764 ) 13.526 * * [simplify]: iteration 1 : 683 enodes (cost 2563 ) 13.718 * * [simplify]: iteration 2 : 3013 enodes (cost 2385 ) 14.283 * * [simplify]: iteration done : 5000 enodes (cost 2385 ) 14.285 * [simplify]: Simplified to: (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (log1p (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) 2/3 2 (* (* (+ y 0.5) (+ y 0.5)) (pow (log y) 2)) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) 2 (* 2 (log (cbrt (* (+ y 0.5) (log y))))) (* 2 (log (cbrt (* (+ y 0.5) (log y))))) (exp (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (+ y 0.5) (+ y 0.5)) (pow (log y) 2)) (* (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (pow (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) 3) (fabs (cbrt (* (+ y 0.5) (log y)))) (fabs (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (- y 0.5))) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))) (* (cbrt (log y)) (cbrt (log y))) (* (pow (cbrt (cbrt (* (+ y 0.5) (log y)))) 3) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))) 1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))) 2/3 2 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (+ y 0.5))) (* (cbrt (* (+ y 0.5) (log y))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (pow (sqrt (cbrt (* (+ y 0.5) (log y)))) 3) (cbrt (* (+ y 0.5) (log y))) (* (cbrt (log y)) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (pow (sqrt (cbrt (* (+ y 0.5) (log y)))) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (- (fma 0.16666666666666666 (/ (pow (exp 1/3) (+ (log (log y)) (log y))) y) (pow (exp 1/3) (+ (log (log y)) (log y)))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y)))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (- (fma 0.16666666666666666 (/ (pow (exp 1/3) (+ (log (log y)) (log y))) y) (pow (exp 1/3) (+ (log (log y)) (log y)))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y)))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (- (fma 0.16666666666666666 (/ (pow (exp 1/3) (+ (log (log y)) (log y))) y) (pow (exp 1/3) (+ (log (log y)) (log y)))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y)))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (fma 2.2222222222222223 (* (* y y) (cbrt (* 0.25 (pow (log y) 2)))) (fma 1.3333333333333333 (* (cbrt (* 0.25 (pow (log y) 2))) y) (cbrt (* 0.25 (pow (log y) 2))))) (* (* (cbrt (/ (pow (log y) 2) (pow 0.25 5))) (pow y 2)) 0.16666666666666666)) (fma 0.3333333333333333 (/ (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) y) (- (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) (* (/ 0.027777777777777776 y) (/ (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) y)))) (fma 0.08333333333333333 (* (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y))))) (pow (- (log -1) (log (/ -1 y))) 2)) (/ (pow (log (/ -1 y)) 2) (* y y))) (- (fma 0.3333333333333333 (/ (* (pow (log (/ -1 y)) 2) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (+ (fma (/ (* (/ (pow (log -1) 2) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) y) 0.08333333333333333 (fma 0.3333333333333333 (* (/ (pow (log -1) 2) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) (/ (* 0.4444444444444444 (log -1)) (/ (/ (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) (pow (log (/ -1 y)) 3))))) (fma 0.4444444444444444 (/ (* (/ (pow (log -1) 3) (pow (- (log -1) (log (/ -1 y))) 4)) (* (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y))))) (log (/ -1 y)))) (* y y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))))) (fma (/ (* (* (log -1) (log (/ -1 y))) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) 0.16666666666666666 (+ (* 0.6666666666666666 (+ (/ (/ (* (* (log -1) (log (/ -1 y))) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y)))))) y) (pow (- (log -1) (log (/ -1 y))) 2)) (* (/ (* (pow (log -1) 2) (pow (log (/ -1 y)) 2)) (pow (- (log -1) (log (/ -1 y))) 4)) (/ (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y))))) y) y)))) (* (* (/ (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* -2 (log (/ -1 y))))) y) y) (+ (/ (pow (log (/ -1 y)) 4) (pow (- (log -1) (log (/ -1 y))) 4)) (/ (pow (log -1) 4) (pow (- (log -1) (log (/ -1 y))) 4)))) 0.1111111111111111))))) 14.286 * * * [progress]: adding candidates to table 14.668 * * [progress]: iteration 4 / 4 14.668 * * * [progress]: picking best candidate 14.672 * * * * [pick]: Picked # 14.672 * * * [progress]: localizing error 14.680 * * * [progress]: generating rewritten candidates 14.681 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 14.681 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 14.684 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 14.712 * * * [progress]: generating series expansions 14.712 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 14.712 * [approximate]: Taking taylor expansion of (fma y (- (log y)) y) in (y) around 0 14.712 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 14.713 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.713 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 14.713 * [taylor]: Taking taylor expansion of y in y 14.713 * [taylor]: Taking taylor expansion of (- (log y)) in y 14.713 * [taylor]: Taking taylor expansion of (log y) in y 14.713 * [taylor]: Taking taylor expansion of y in y 14.713 * [taylor]: Taking taylor expansion of y in y 14.713 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 14.713 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.713 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 14.713 * [taylor]: Taking taylor expansion of y in y 14.713 * [taylor]: Taking taylor expansion of (- (log y)) in y 14.713 * [taylor]: Taking taylor expansion of (log y) in y 14.713 * [taylor]: Taking taylor expansion of y in y 14.714 * [taylor]: Taking taylor expansion of y in y 14.793 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in (y) around 0 14.793 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 14.793 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.793 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 14.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.793 * [taylor]: Taking taylor expansion of y in y 14.794 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 14.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.794 * [taylor]: Taking taylor expansion of y in y 14.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.794 * [taylor]: Taking taylor expansion of y in y 14.795 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 14.795 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.795 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 14.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.795 * [taylor]: Taking taylor expansion of y in y 14.795 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 14.795 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.795 * [taylor]: Taking taylor expansion of y in y 14.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.796 * [taylor]: Taking taylor expansion of y in y 14.857 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in (y) around 0 14.857 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 14.857 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 14.857 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 14.857 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.857 * [taylor]: Taking taylor expansion of -1 in y 14.857 * [taylor]: Taking taylor expansion of y in y 14.857 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 14.857 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.857 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.857 * [taylor]: Taking taylor expansion of -1 in y 14.857 * [taylor]: Taking taylor expansion of y in y 14.858 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.858 * [taylor]: Taking taylor expansion of -1 in y 14.858 * [taylor]: Taking taylor expansion of y in y 14.858 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 14.858 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 14.858 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 14.858 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.858 * [taylor]: Taking taylor expansion of -1 in y 14.858 * [taylor]: Taking taylor expansion of y in y 14.859 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 14.859 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.859 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.859 * [taylor]: Taking taylor expansion of -1 in y 14.859 * [taylor]: Taking taylor expansion of y in y 14.859 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.859 * [taylor]: Taking taylor expansion of -1 in y 14.859 * [taylor]: Taking taylor expansion of y in y 14.930 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 14.930 * [approximate]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in (x y) around 0 14.930 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 14.930 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 14.930 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.930 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 14.930 * [taylor]: Taking taylor expansion of y in y 14.930 * [taylor]: Taking taylor expansion of (- (log y)) in y 14.930 * [taylor]: Taking taylor expansion of (log y) in y 14.930 * [taylor]: Taking taylor expansion of y in y 14.931 * [taylor]: Taking taylor expansion of y in y 14.931 * [taylor]: Taking taylor expansion of x in y 14.931 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 14.931 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 14.931 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.931 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of (- (log y)) in x 14.931 * [taylor]: Taking taylor expansion of (log y) in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of x in x 14.931 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 14.931 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 14.931 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.931 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of (- (log y)) in x 14.931 * [taylor]: Taking taylor expansion of (log y) in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of y in x 14.931 * [taylor]: Taking taylor expansion of x in x 14.931 * [taylor]: Taking taylor expansion of (- y (* y (log y))) in y 14.931 * [taylor]: Taking taylor expansion of y in y 14.931 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.931 * [taylor]: Taking taylor expansion of y in y 14.931 * [taylor]: Taking taylor expansion of (log y) in y 14.931 * [taylor]: Taking taylor expansion of y in y 14.934 * [taylor]: Taking taylor expansion of 1 in y 14.937 * [taylor]: Taking taylor expansion of 0 in y 14.944 * [taylor]: Taking taylor expansion of 0 in y 14.944 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in (x y) around 0 14.944 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 14.944 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 14.944 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.944 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 14.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.944 * [taylor]: Taking taylor expansion of y in y 14.944 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 14.944 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.944 * [taylor]: Taking taylor expansion of y in y 14.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.945 * [taylor]: Taking taylor expansion of y in y 14.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.945 * [taylor]: Taking taylor expansion of x in y 14.945 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 14.945 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 14.945 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.945 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 14.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.945 * [taylor]: Taking taylor expansion of y in x 14.945 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 14.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.946 * [taylor]: Taking taylor expansion of y in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.946 * [taylor]: Taking taylor expansion of y in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.946 * [taylor]: Taking taylor expansion of x in x 14.946 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 14.946 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 14.946 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.946 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.946 * [taylor]: Taking taylor expansion of y in x 14.946 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 14.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.946 * [taylor]: Taking taylor expansion of y in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.946 * [taylor]: Taking taylor expansion of y in x 14.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.946 * [taylor]: Taking taylor expansion of x in x 14.947 * [taylor]: Taking taylor expansion of 1 in y 14.948 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ 1 y)) y)) in y 14.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.948 * [taylor]: Taking taylor expansion of y in y 14.948 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.948 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.948 * [taylor]: Taking taylor expansion of y in y 14.949 * [taylor]: Taking taylor expansion of y in y 14.951 * [taylor]: Taking taylor expansion of 0 in y 14.957 * [taylor]: Taking taylor expansion of 0 in y 14.965 * [taylor]: Taking taylor expansion of 0 in y 14.966 * [approximate]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in (x y) around 0 14.966 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in y 14.966 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 14.966 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 14.966 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 14.966 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.966 * [taylor]: Taking taylor expansion of -1 in y 14.966 * [taylor]: Taking taylor expansion of y in y 14.966 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 14.966 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.966 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.966 * [taylor]: Taking taylor expansion of -1 in y 14.966 * [taylor]: Taking taylor expansion of y in y 14.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.967 * [taylor]: Taking taylor expansion of -1 in y 14.967 * [taylor]: Taking taylor expansion of y in y 14.967 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.967 * [taylor]: Taking taylor expansion of x in y 14.967 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in x 14.967 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 14.968 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 14.968 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 14.968 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.968 * [taylor]: Taking taylor expansion of -1 in x 14.968 * [taylor]: Taking taylor expansion of y in x 14.968 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 14.968 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.968 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.968 * [taylor]: Taking taylor expansion of -1 in x 14.968 * [taylor]: Taking taylor expansion of y in x 14.968 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.968 * [taylor]: Taking taylor expansion of -1 in x 14.968 * [taylor]: Taking taylor expansion of y in x 14.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.968 * [taylor]: Taking taylor expansion of x in x 14.968 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in x 14.968 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 14.968 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 14.968 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 14.968 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.968 * [taylor]: Taking taylor expansion of -1 in x 14.968 * [taylor]: Taking taylor expansion of y in x 14.968 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 14.968 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.968 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.968 * [taylor]: Taking taylor expansion of -1 in x 14.969 * [taylor]: Taking taylor expansion of y in x 14.969 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.969 * [taylor]: Taking taylor expansion of -1 in x 14.969 * [taylor]: Taking taylor expansion of y in x 14.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.969 * [taylor]: Taking taylor expansion of x in x 14.970 * [taylor]: Taking taylor expansion of -1 in y 14.971 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (/ 1 y)) in y 14.971 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.971 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.971 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.971 * [taylor]: Taking taylor expansion of -1 in y 14.971 * [taylor]: Taking taylor expansion of y in y 14.972 * [taylor]: Taking taylor expansion of y in y 14.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.973 * [taylor]: Taking taylor expansion of y in y 14.976 * [taylor]: Taking taylor expansion of 0 in y 14.983 * [taylor]: Taking taylor expansion of 0 in y 14.991 * [taylor]: Taking taylor expansion of 0 in y 14.992 * * * * [progress]: [ 3 / 3 ] generating series at (2) 14.992 * [approximate]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in (x y z) around 0 14.992 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in z 14.992 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in z 14.992 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in z 14.992 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.992 * [taylor]: Taking taylor expansion of (* y (- (log y))) in z 14.992 * [taylor]: Taking taylor expansion of y in z 14.992 * [taylor]: Taking taylor expansion of (- (log y)) in z 14.992 * [taylor]: Taking taylor expansion of (log y) in z 14.992 * [taylor]: Taking taylor expansion of y in z 14.992 * [taylor]: Taking taylor expansion of y in z 14.992 * [taylor]: Taking taylor expansion of x in z 14.992 * [taylor]: Taking taylor expansion of z in z 14.992 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in y 14.992 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 14.992 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 14.993 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.993 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 14.993 * [taylor]: Taking taylor expansion of y in y 14.993 * [taylor]: Taking taylor expansion of (- (log y)) in y 14.993 * [taylor]: Taking taylor expansion of (log y) in y 14.993 * [taylor]: Taking taylor expansion of y in y 14.993 * [taylor]: Taking taylor expansion of y in y 14.993 * [taylor]: Taking taylor expansion of x in y 14.993 * [taylor]: Taking taylor expansion of z in y 14.993 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in x 14.993 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 14.993 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 14.993 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.993 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 14.993 * [taylor]: Taking taylor expansion of y in x 14.993 * [taylor]: Taking taylor expansion of (- (log y)) in x 14.993 * [taylor]: Taking taylor expansion of (log y) in x 14.993 * [taylor]: Taking taylor expansion of y in x 14.993 * [taylor]: Taking taylor expansion of y in x 14.993 * [taylor]: Taking taylor expansion of x in x 14.993 * [taylor]: Taking taylor expansion of z in x 14.993 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in x 14.993 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 14.993 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 14.993 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 14.993 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 14.993 * [taylor]: Taking taylor expansion of y in x 14.993 * [taylor]: Taking taylor expansion of (- (log y)) in x 14.994 * [taylor]: Taking taylor expansion of (log y) in x 14.994 * [taylor]: Taking taylor expansion of y in x 14.994 * [taylor]: Taking taylor expansion of y in x 14.994 * [taylor]: Taking taylor expansion of x in x 14.994 * [taylor]: Taking taylor expansion of z in x 14.994 * [taylor]: Taking taylor expansion of (- y (+ z (* y (log y)))) in y 14.994 * [taylor]: Taking taylor expansion of y in y 14.994 * [taylor]: Taking taylor expansion of (+ z (* y (log y))) in y 14.994 * [taylor]: Taking taylor expansion of z in y 14.994 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.994 * [taylor]: Taking taylor expansion of y in y 14.994 * [taylor]: Taking taylor expansion of (log y) in y 14.994 * [taylor]: Taking taylor expansion of y in y 14.995 * [taylor]: Taking taylor expansion of (- z) in z 14.995 * [taylor]: Taking taylor expansion of z in z 14.997 * [taylor]: Taking taylor expansion of 1 in y 14.997 * [taylor]: Taking taylor expansion of 1 in z 14.998 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 14.998 * [taylor]: Taking taylor expansion of 1 in z 14.998 * [taylor]: Taking taylor expansion of (log y) in z 14.998 * [taylor]: Taking taylor expansion of y in z 14.999 * [approximate]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in (x y z) around 0 14.999 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in z 14.999 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in z 14.999 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in z 14.999 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 14.999 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in z 14.999 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.999 * [taylor]: Taking taylor expansion of y in z 14.999 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in z 14.999 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 15.000 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.000 * [taylor]: Taking taylor expansion of y in z 15.000 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.000 * [taylor]: Taking taylor expansion of y in z 15.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.000 * [taylor]: Taking taylor expansion of x in z 15.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.000 * [taylor]: Taking taylor expansion of z in z 15.000 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 15.000 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 15.000 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 15.000 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 15.000 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 15.000 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.000 * [taylor]: Taking taylor expansion of y in y 15.000 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 15.001 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.001 * [taylor]: Taking taylor expansion of y in y 15.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.001 * [taylor]: Taking taylor expansion of y in y 15.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.001 * [taylor]: Taking taylor expansion of x in y 15.001 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.001 * [taylor]: Taking taylor expansion of z in y 15.001 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 15.002 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 15.002 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 15.002 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 15.002 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.002 * [taylor]: Taking taylor expansion of y in x 15.002 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 15.002 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.002 * [taylor]: Taking taylor expansion of y in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.002 * [taylor]: Taking taylor expansion of y in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.002 * [taylor]: Taking taylor expansion of x in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.002 * [taylor]: Taking taylor expansion of z in x 15.002 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 15.002 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 15.002 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 15.002 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 15.002 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 15.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.002 * [taylor]: Taking taylor expansion of y in x 15.002 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 15.003 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.003 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.003 * [taylor]: Taking taylor expansion of y in x 15.003 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.003 * [taylor]: Taking taylor expansion of y in x 15.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.003 * [taylor]: Taking taylor expansion of x in x 15.003 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.003 * [taylor]: Taking taylor expansion of z in x 15.004 * [taylor]: Taking taylor expansion of 1 in y 15.005 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (/ 1 z))) in y 15.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.005 * [taylor]: Taking taylor expansion of y in y 15.009 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (/ 1 z)) in y 15.009 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.009 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.010 * [taylor]: Taking taylor expansion of y in y 15.010 * [taylor]: Taking taylor expansion of y in y 15.011 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.011 * [taylor]: Taking taylor expansion of z in y 15.011 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 15.011 * [taylor]: Taking taylor expansion of (log y) in z 15.011 * [taylor]: Taking taylor expansion of y in z 15.011 * [taylor]: Taking taylor expansion of 1 in z 15.011 * [taylor]: Taking taylor expansion of 1 in z 15.014 * [taylor]: Taking taylor expansion of 0 in y 15.016 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.016 * [taylor]: Taking taylor expansion of z in z 15.017 * [taylor]: Taking taylor expansion of 0 in z 15.018 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in (x y z) around 0 15.018 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in z 15.018 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in z 15.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.018 * [taylor]: Taking taylor expansion of z in z 15.018 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in z 15.018 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 15.018 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in z 15.018 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.018 * [taylor]: Taking taylor expansion of -1 in z 15.018 * [taylor]: Taking taylor expansion of y in z 15.018 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in z 15.018 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 15.018 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.018 * [taylor]: Taking taylor expansion of -1 in z 15.018 * [taylor]: Taking taylor expansion of y in z 15.018 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.018 * [taylor]: Taking taylor expansion of -1 in z 15.018 * [taylor]: Taking taylor expansion of y in z 15.018 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.018 * [taylor]: Taking taylor expansion of x in z 15.018 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in y 15.019 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in y 15.019 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.019 * [taylor]: Taking taylor expansion of z in y 15.019 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 15.019 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 15.019 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 15.019 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.019 * [taylor]: Taking taylor expansion of -1 in y 15.019 * [taylor]: Taking taylor expansion of y in y 15.019 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 15.019 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.019 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.019 * [taylor]: Taking taylor expansion of -1 in y 15.019 * [taylor]: Taking taylor expansion of y in y 15.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.020 * [taylor]: Taking taylor expansion of -1 in y 15.020 * [taylor]: Taking taylor expansion of y in y 15.020 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.020 * [taylor]: Taking taylor expansion of x in y 15.020 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in x 15.020 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in x 15.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.020 * [taylor]: Taking taylor expansion of z in x 15.020 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 15.020 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 15.020 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 15.020 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.020 * [taylor]: Taking taylor expansion of -1 in x 15.020 * [taylor]: Taking taylor expansion of y in x 15.020 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 15.020 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.020 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.020 * [taylor]: Taking taylor expansion of -1 in x 15.020 * [taylor]: Taking taylor expansion of y in x 15.021 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.021 * [taylor]: Taking taylor expansion of -1 in x 15.021 * [taylor]: Taking taylor expansion of y in x 15.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.021 * [taylor]: Taking taylor expansion of x in x 15.021 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in x 15.021 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in x 15.021 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.021 * [taylor]: Taking taylor expansion of z in x 15.021 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 15.021 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 15.021 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 15.021 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.021 * [taylor]: Taking taylor expansion of -1 in x 15.021 * [taylor]: Taking taylor expansion of y in x 15.021 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 15.021 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.021 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.021 * [taylor]: Taking taylor expansion of -1 in x 15.021 * [taylor]: Taking taylor expansion of y in x 15.021 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.021 * [taylor]: Taking taylor expansion of -1 in x 15.021 * [taylor]: Taking taylor expansion of y in x 15.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.021 * [taylor]: Taking taylor expansion of x in x 15.022 * [taylor]: Taking taylor expansion of -1 in y 15.023 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (/ 1 y)) in y 15.023 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 15.023 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.024 * [taylor]: Taking taylor expansion of z in y 15.024 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.024 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.024 * [taylor]: Taking taylor expansion of -1 in y 15.024 * [taylor]: Taking taylor expansion of y in y 15.024 * [taylor]: Taking taylor expansion of y in y 15.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.026 * [taylor]: Taking taylor expansion of y in y 15.027 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 15.027 * [taylor]: Taking taylor expansion of (log -1) in z 15.027 * [taylor]: Taking taylor expansion of -1 in z 15.027 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 15.027 * [taylor]: Taking taylor expansion of (log y) in z 15.027 * [taylor]: Taking taylor expansion of y in z 15.027 * [taylor]: Taking taylor expansion of 1 in z 15.028 * [taylor]: Taking taylor expansion of -1 in z 15.030 * [taylor]: Taking taylor expansion of 0 in y 15.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.033 * [taylor]: Taking taylor expansion of z in z 15.034 * [taylor]: Taking taylor expansion of 0 in z 15.035 * * * [progress]: simplifying candidates 15.036 * [simplify]: Simplifying using # : (expm1 (fma y (- (log y)) y)) (log1p (fma y (- (log y)) y)) (* y (- (log y))) (log (fma y (- (log y)) y)) (exp (fma y (- (log y)) y)) (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (* (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (expm1 (+ x (fma y (- (log y)) y))) (log1p (+ x (fma y (- (log y)) y))) (* (exp x) (exp (fma y (- (log y)) y))) (log (+ x (fma y (- (log y)) y))) (exp (+ x (fma y (- (log y)) y))) (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (* (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (+ (pow x 3) (pow (fma y (- (log y)) y) 3)) (+ (* x x) (- (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (* x (fma y (- (log y)) y)))) (- (* x x) (* (fma y (- (log y)) y) (fma y (- (log y)) y))) (- x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y)) (+ x (* y (- (log y)))) (fma (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (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 (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (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 (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ x (fma y (- (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 (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ x (fma y (- (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 (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (+ x (fma y (- (log y)) y)) z)) (log1p (- (+ x (fma y (- (log y)) y)) z)) (- z) (- z) (- z) (- z) (/ (* (exp x) (exp (fma y (- (log y)) y))) (exp z)) (/ (exp (+ x (fma y (- (log y)) y))) (exp z)) (log (- (+ x (fma y (- (log y)) y)) z)) (exp (- (+ x (fma y (- (log y)) y)) z)) (* (cbrt (- (+ x (fma y (- (log y)) y)) z)) (cbrt (- (+ x (fma y (- (log y)) y)) z))) (cbrt (- (+ x (fma y (- (log y)) y)) z)) (* (* (- (+ x (fma y (- (log y)) y)) z) (- (+ x (fma y (- (log y)) y)) z)) (- (+ x (fma y (- (log y)) y)) z)) (sqrt (- (+ x (fma y (- (log y)) y)) z)) (sqrt (- (+ x (fma y (- (log y)) y)) z)) (- (pow (+ x (fma y (- (log y)) y)) 3) (pow z 3)) (+ (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (+ (* z z) (* (+ x (fma y (- (log y)) y)) z))) (- z) (- (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (* z z)) (+ (+ x (fma y (- (log y)) y)) z) (+ (sqrt (+ x (fma y (- (log y)) y))) (sqrt z)) (- (sqrt (+ x (fma y (- (log y)) y))) (sqrt z)) (- (+ x (fma y (- (log y)) y)) z) (- (+ x (fma y (- (log y)) y)) z) (- (fma y (- (log y)) y) z) (- z) (* y (- 1 (log y))) (* y (+ (log (/ 1 y)) 1)) (* -1 (* (- (log -1) (+ (log (/ -1 y)) 1)) y)) (- (+ x y) (* y (log y))) (+ x (+ y (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) y)) (* (log -1) y)) (- (+ x y) (+ z (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) 15.040 * * [simplify]: iteration 0 : 119 enodes (cost 1102 ) 15.062 * * [simplify]: iteration 1 : 277 enodes (cost 942 ) 15.140 * * [simplify]: iteration 2 : 811 enodes (cost 800 ) 15.581 * * [simplify]: iteration 3 : 4347 enodes (cost 706 ) 17.323 * * [simplify]: iteration done : 5000 enodes (cost 706 ) 17.324 * [simplify]: Simplified to: (expm1 (fma y (- (log y)) y)) (log1p (fma y (- (log y)) y)) (* (log y) (- y)) (log (fma y (- (log y)) y)) (/ (exp y) (pow y y)) (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (pow (fma y (- (log y)) y) 3) (sqrt (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (expm1 (fma y (- 1 (log y)) x)) (log1p (fma y (- 1 (log y)) x)) (/ (exp (+ x y)) (pow y y)) (log (fma y (- 1 (log y)) x)) (/ (exp (+ x y)) (pow y y)) (* (cbrt (fma y (- 1 (log y)) x)) (cbrt (fma y (- 1 (log y)) x))) (cbrt (fma y (- 1 (log y)) x)) (pow (fma y (- 1 (log y)) x) 3) (sqrt (fma y (- 1 (log y)) x)) (sqrt (fma y (- 1 (log y)) x)) (+ (pow x 3) (pow (fma y (- (log y)) y) 3)) (fma x x (* (fma y (- (log y)) y) (- (fma y (- (log y)) y) x))) (fma x x (* (fma y (- (log y)) y) (* (- (log y) 1) y))) (- x (fma y (- (log y)) y)) (fma y (- 1 (log y)) x) (fma (- (log y)) y x) (- (pow (cbrt (fma y (- 1 (log y)) x)) 3) z) (* z 0) (- (pow (cbrt (fma y (- 1 (log y)) x)) 3) z) (* z 0) (- (pow (cbrt (fma y (- 1 (log y)) x)) 3) z) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (fma y (- 1 (log y)) (- x z)) (* z 0) (expm1 (- (+ x y) (fma (log y) y z))) (log1p (- (+ x y) (fma (log y) y z))) (- z) (- z) (- z) (- z) (exp (- (+ x y) (fma (log y) y z))) (exp (- (+ x y) (fma (log y) y z))) (log (- (+ x y) (fma (log y) y z))) (exp (- (+ x y) (fma (log y) y z))) (* (cbrt (- (+ x y) (fma (log y) y z))) (cbrt (- (+ x y) (fma (log y) y z)))) (cbrt (- (+ x y) (fma (log y) y z))) (pow (- (+ x y) (fma (log y) y z)) 3) (sqrt (- (+ x y) (fma (log y) y z))) (sqrt (- (+ x y) (fma (log y) y z))) (- (pow (fma y (- 1 (log y)) x) 3) (pow z 3)) (fma z z (* (fma y (- 1 (log y)) x) (fma y (- 1 (log y)) (+ z x)))) (- z) (* (- (+ x y) (fma (log y) y z)) (fma y (- 1 (log y)) (+ z x))) (fma y (- 1 (log y)) (+ z x)) (+ (sqrt z) (sqrt (fma y (- 1 (log y)) x))) (- (sqrt (fma y (- 1 (log y)) x)) (sqrt z)) (fma y (- 1 (log y)) (- x z)) (fma y (- 1 (log y)) (- x z)) (- y (fma (log y) y z)) (- z) (fma y (- (log y)) y) (fma y (- (log y)) y) (fma y (- (log y)) y) (fma y (- 1 (log y)) x) (fma y (- 1 (log y)) x) (+ y (+ (* y (- (log (/ -1 y)) (log -1))) x)) (fma y (- 1 (log y)) (- x z)) (fma y (- 1 (log y)) (- x z)) (+ (- (fma y (log (/ -1 y)) y) (fma y (log -1) z)) x) 17.324 * * * [progress]: adding candidates to table 17.489 * [progress]: [Phase 3 of 3] Extracting. 17.489 * * [regime]: Finding splitpoints for: (# # # # #) 17.491 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 17.491 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 17.519 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # #) 17.546 * * * * [regimes]: Trying to branch on z from (# # # # #) 17.569 * * * * [regimes]: Trying to branch on y from (# # # # #) 17.591 * * * * [regimes]: Trying to branch on x from (# # # # #) 17.615 * * * [regime]: Found split indices: #