29.810 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.032 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.033 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.036 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 0.046 * * [simplify]: iteration 3 : 163 enodes (cost 12 ) 0.115 * * [simplify]: iteration 4 : 484 enodes (cost 12 ) 0.432 * * [simplify]: iteration 5 : 869 enodes (cost 12 ) 1.154 * * [simplify]: iteration 6 : 1416 enodes (cost 12 ) 2.764 * * [simplify]: iteration 7 : 1997 enodes (cost 12 ) 4.432 * * [simplify]: iteration 8 : 2172 enodes (cost 12 ) 5.460 * * [simplify]: iteration 9 : 2274 enodes (cost 12 ) 6.793 * * [simplify]: iteration 10 : 2558 enodes (cost 12 ) 8.205 * * [simplify]: iteration 11 : 2650 enodes (cost 12 ) 9.231 * * [simplify]: iteration 12 : 2747 enodes (cost 12 ) 10.314 * * [simplify]: iteration 13 : 2888 enodes (cost 12 ) 11.533 * * [simplify]: iteration 14 : 3034 enodes (cost 12 ) 12.665 * * [simplify]: iteration 15 : 3038 enodes (cost 12 ) 13.672 * * [simplify]: iteration done : 3038 enodes (cost 12 ) 13.672 * [simplify]: Simplified to: (- (+ (- x (* (+ y 0.5) (log y))) y) z) 13.672 * * [progress]: iteration 1 / 4 13.672 * * * [progress]: picking best candidate 13.674 * * * * [pick]: Picked # 13.674 * * * [progress]: localizing error 13.683 * * * [progress]: generating rewritten candidates 13.683 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 13.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 13.703 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 13.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 13.764 * * * [progress]: generating series expansions 13.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 13.764 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 13.764 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.764 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.764 * [taylor]: Taking taylor expansion of y in y 13.764 * [taylor]: Taking taylor expansion of 0.5 in y 13.764 * [taylor]: Taking taylor expansion of (log y) in y 13.764 * [taylor]: Taking taylor expansion of y in y 13.765 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 13.765 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.765 * [taylor]: Taking taylor expansion of y in y 13.765 * [taylor]: Taking taylor expansion of 0.5 in y 13.765 * [taylor]: Taking taylor expansion of (log y) in y 13.765 * [taylor]: Taking taylor expansion of y in y 13.836 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 13.836 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.836 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.836 * [taylor]: Taking taylor expansion of y in y 13.836 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.836 * [taylor]: Taking taylor expansion of y in y 13.837 * [taylor]: Taking taylor expansion of 0.5 in y 13.837 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 13.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.837 * [taylor]: Taking taylor expansion of y in y 13.837 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.837 * [taylor]: Taking taylor expansion of y in y 13.837 * [taylor]: Taking taylor expansion of 0.5 in y 13.913 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 13.913 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.913 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.913 * [taylor]: Taking taylor expansion of 0.5 in y 13.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.913 * [taylor]: Taking taylor expansion of y in y 13.913 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.913 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.913 * [taylor]: Taking taylor expansion of -1 in y 13.913 * [taylor]: Taking taylor expansion of y in y 13.914 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 13.914 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.914 * [taylor]: Taking taylor expansion of 0.5 in y 13.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.914 * [taylor]: Taking taylor expansion of y in y 13.914 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 13.914 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.914 * [taylor]: Taking taylor expansion of -1 in y 13.914 * [taylor]: Taking taylor expansion of y in y 14.001 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 14.001 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 14.001 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 14.001 * [taylor]: Taking taylor expansion of (+ x y) in y 14.001 * [taylor]: Taking taylor expansion of x in y 14.001 * [taylor]: Taking taylor expansion of y in y 14.001 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 14.001 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.001 * [taylor]: Taking taylor expansion of 0.5 in y 14.001 * [taylor]: Taking taylor expansion of (log y) in y 14.001 * [taylor]: Taking taylor expansion of y in y 14.002 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.002 * [taylor]: Taking taylor expansion of y in y 14.002 * [taylor]: Taking taylor expansion of (log y) in y 14.002 * [taylor]: Taking taylor expansion of y in y 14.002 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 14.002 * [taylor]: Taking taylor expansion of (+ x y) in x 14.002 * [taylor]: Taking taylor expansion of x in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.002 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.002 * [taylor]: Taking taylor expansion of 0.5 in x 14.002 * [taylor]: Taking taylor expansion of (log y) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (log y) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 14.002 * [taylor]: Taking taylor expansion of (+ x y) in x 14.002 * [taylor]: Taking taylor expansion of x in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.002 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.002 * [taylor]: Taking taylor expansion of 0.5 in x 14.002 * [taylor]: Taking taylor expansion of (log y) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.002 * [taylor]: Taking taylor expansion of (log y) in x 14.002 * [taylor]: Taking taylor expansion of y in x 14.003 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 14.003 * [taylor]: Taking taylor expansion of y in y 14.003 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 14.003 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.003 * [taylor]: Taking taylor expansion of 0.5 in y 14.003 * [taylor]: Taking taylor expansion of (log y) in y 14.003 * [taylor]: Taking taylor expansion of y in y 14.003 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.003 * [taylor]: Taking taylor expansion of y in y 14.003 * [taylor]: Taking taylor expansion of (log y) in y 14.003 * [taylor]: Taking taylor expansion of y in y 14.006 * [taylor]: Taking taylor expansion of 1 in y 14.009 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 14.010 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 14.010 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 14.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.010 * [taylor]: Taking taylor expansion of y in y 14.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.010 * [taylor]: Taking taylor expansion of x in y 14.010 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 14.010 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.010 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.010 * [taylor]: Taking taylor expansion of y in y 14.010 * [taylor]: Taking taylor expansion of y in y 14.011 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.011 * [taylor]: Taking taylor expansion of 0.5 in y 14.011 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.011 * [taylor]: Taking taylor expansion of y in y 14.012 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 14.012 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.012 * [taylor]: Taking taylor expansion of y in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.012 * [taylor]: Taking taylor expansion of x in x 14.012 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 14.012 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.012 * [taylor]: Taking taylor expansion of y in x 14.012 * [taylor]: Taking taylor expansion of y in x 14.012 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.012 * [taylor]: Taking taylor expansion of 0.5 in x 14.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.012 * [taylor]: Taking taylor expansion of y in x 14.012 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 14.012 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.012 * [taylor]: Taking taylor expansion of y in x 14.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.012 * [taylor]: Taking taylor expansion of x in x 14.013 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 14.013 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.013 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.013 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.013 * [taylor]: Taking taylor expansion of y in x 14.013 * [taylor]: Taking taylor expansion of y in x 14.013 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.013 * [taylor]: Taking taylor expansion of 0.5 in x 14.013 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.013 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.013 * [taylor]: Taking taylor expansion of y in x 14.014 * [taylor]: Taking taylor expansion of 1 in y 14.015 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 14.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.015 * [taylor]: Taking taylor expansion of y in y 14.015 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 14.015 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.015 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.015 * [taylor]: Taking taylor expansion of y in y 14.015 * [taylor]: Taking taylor expansion of y in y 14.016 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.016 * [taylor]: Taking taylor expansion of 0.5 in y 14.016 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.016 * [taylor]: Taking taylor expansion of y in y 14.020 * [taylor]: Taking taylor expansion of 0 in y 14.023 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 14.023 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 14.023 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.023 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.023 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.023 * [taylor]: Taking taylor expansion of -1 in y 14.023 * [taylor]: Taking taylor expansion of y in y 14.023 * [taylor]: Taking taylor expansion of y in y 14.025 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 14.025 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.025 * [taylor]: Taking taylor expansion of y in y 14.025 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 14.025 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.025 * [taylor]: Taking taylor expansion of 0.5 in y 14.025 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.025 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.025 * [taylor]: Taking taylor expansion of -1 in y 14.025 * [taylor]: Taking taylor expansion of y in y 14.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.026 * [taylor]: Taking taylor expansion of x in y 14.026 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 14.026 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.026 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.026 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.026 * [taylor]: Taking taylor expansion of -1 in x 14.026 * [taylor]: Taking taylor expansion of y in x 14.026 * [taylor]: Taking taylor expansion of y in x 14.026 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.026 * [taylor]: Taking taylor expansion of y in x 14.026 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.026 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.026 * [taylor]: Taking taylor expansion of 0.5 in x 14.026 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.026 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.026 * [taylor]: Taking taylor expansion of -1 in x 14.026 * [taylor]: Taking taylor expansion of y in x 14.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.026 * [taylor]: Taking taylor expansion of x in x 14.027 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 14.027 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.027 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.027 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.027 * [taylor]: Taking taylor expansion of -1 in x 14.027 * [taylor]: Taking taylor expansion of y in x 14.027 * [taylor]: Taking taylor expansion of y in x 14.027 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.027 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.027 * [taylor]: Taking taylor expansion of y in x 14.027 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.027 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.027 * [taylor]: Taking taylor expansion of 0.5 in x 14.027 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.027 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.027 * [taylor]: Taking taylor expansion of -1 in x 14.027 * [taylor]: Taking taylor expansion of y in x 14.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.027 * [taylor]: Taking taylor expansion of x in x 14.031 * [taylor]: Taking taylor expansion of -1 in y 14.032 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 14.032 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.032 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.032 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.032 * [taylor]: Taking taylor expansion of -1 in y 14.032 * [taylor]: Taking taylor expansion of y in y 14.033 * [taylor]: Taking taylor expansion of y in y 14.034 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 14.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.034 * [taylor]: Taking taylor expansion of y in y 14.034 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.034 * [taylor]: Taking taylor expansion of 0.5 in y 14.034 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.034 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.034 * [taylor]: Taking taylor expansion of -1 in y 14.034 * [taylor]: Taking taylor expansion of y in y 14.039 * [taylor]: Taking taylor expansion of 0 in y 14.045 * * * * [progress]: [ 3 / 4 ] generating series at (2) 14.046 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 14.046 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 14.046 * [taylor]: Taking taylor expansion of (+ x y) in z 14.046 * [taylor]: Taking taylor expansion of x in z 14.046 * [taylor]: Taking taylor expansion of y in z 14.046 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 14.046 * [taylor]: Taking taylor expansion of z in z 14.046 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 14.046 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 14.046 * [taylor]: Taking taylor expansion of 0.5 in z 14.046 * [taylor]: Taking taylor expansion of (log y) in z 14.046 * [taylor]: Taking taylor expansion of y in z 14.046 * [taylor]: Taking taylor expansion of (* y (log y)) in z 14.046 * [taylor]: Taking taylor expansion of y in z 14.046 * [taylor]: Taking taylor expansion of (log y) in z 14.046 * [taylor]: Taking taylor expansion of y in z 14.046 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 14.046 * [taylor]: Taking taylor expansion of (+ x y) in y 14.046 * [taylor]: Taking taylor expansion of x in y 14.046 * [taylor]: Taking taylor expansion of y in y 14.046 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 14.046 * [taylor]: Taking taylor expansion of z in y 14.046 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 14.046 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.046 * [taylor]: Taking taylor expansion of 0.5 in y 14.046 * [taylor]: Taking taylor expansion of (log y) in y 14.046 * [taylor]: Taking taylor expansion of y in y 14.046 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.047 * [taylor]: Taking taylor expansion of y in y 14.047 * [taylor]: Taking taylor expansion of (log y) in y 14.047 * [taylor]: Taking taylor expansion of y in y 14.047 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 14.047 * [taylor]: Taking taylor expansion of (+ x y) in x 14.047 * [taylor]: Taking taylor expansion of x in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 14.047 * [taylor]: Taking taylor expansion of z in x 14.047 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.047 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.047 * [taylor]: Taking taylor expansion of 0.5 in x 14.047 * [taylor]: Taking taylor expansion of (log y) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (log y) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 14.047 * [taylor]: Taking taylor expansion of (+ x y) in x 14.047 * [taylor]: Taking taylor expansion of x in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 14.047 * [taylor]: Taking taylor expansion of z in x 14.047 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.047 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.047 * [taylor]: Taking taylor expansion of 0.5 in x 14.047 * [taylor]: Taking taylor expansion of (log y) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [taylor]: Taking taylor expansion of (log y) in x 14.047 * [taylor]: Taking taylor expansion of y in x 14.048 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 14.048 * [taylor]: Taking taylor expansion of y in y 14.048 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 14.048 * [taylor]: Taking taylor expansion of z in y 14.048 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 14.048 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.048 * [taylor]: Taking taylor expansion of 0.5 in y 14.048 * [taylor]: Taking taylor expansion of (log y) in y 14.048 * [taylor]: Taking taylor expansion of y in y 14.048 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.048 * [taylor]: Taking taylor expansion of y in y 14.048 * [taylor]: Taking taylor expansion of (log y) in y 14.048 * [taylor]: Taking taylor expansion of y in y 14.049 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 14.049 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 14.049 * [taylor]: Taking taylor expansion of z in z 14.050 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 14.050 * [taylor]: Taking taylor expansion of 0.5 in z 14.050 * [taylor]: Taking taylor expansion of (log y) in z 14.050 * [taylor]: Taking taylor expansion of y in z 14.052 * [taylor]: Taking taylor expansion of 1 in y 14.052 * [taylor]: Taking taylor expansion of 1 in z 14.055 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 14.055 * [taylor]: Taking taylor expansion of 1 in z 14.055 * [taylor]: Taking taylor expansion of (log y) in z 14.055 * [taylor]: Taking taylor expansion of y in z 14.056 * [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 14.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 14.056 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 14.056 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.056 * [taylor]: Taking taylor expansion of y in z 14.056 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.056 * [taylor]: Taking taylor expansion of x in z 14.056 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 14.056 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 14.056 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 14.056 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.056 * [taylor]: Taking taylor expansion of y in z 14.056 * [taylor]: Taking taylor expansion of y in z 14.056 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 14.056 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.056 * [taylor]: Taking taylor expansion of z in z 14.056 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 14.057 * [taylor]: Taking taylor expansion of 0.5 in z 14.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 14.057 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.057 * [taylor]: Taking taylor expansion of y in z 14.057 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 14.057 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 14.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.057 * [taylor]: Taking taylor expansion of y in y 14.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.057 * [taylor]: Taking taylor expansion of x in y 14.057 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 14.057 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.057 * [taylor]: Taking taylor expansion of y in y 14.058 * [taylor]: Taking taylor expansion of y in y 14.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 14.058 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.058 * [taylor]: Taking taylor expansion of z in y 14.058 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.058 * [taylor]: Taking taylor expansion of 0.5 in y 14.058 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.058 * [taylor]: Taking taylor expansion of y in y 14.059 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 14.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 14.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.059 * [taylor]: Taking taylor expansion of y in x 14.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.059 * [taylor]: Taking taylor expansion of x in x 14.059 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 14.059 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.059 * [taylor]: Taking taylor expansion of y in x 14.059 * [taylor]: Taking taylor expansion of y in x 14.059 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 14.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.059 * [taylor]: Taking taylor expansion of z in x 14.059 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.059 * [taylor]: Taking taylor expansion of 0.5 in x 14.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.060 * [taylor]: Taking taylor expansion of y in x 14.060 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 14.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.060 * [taylor]: Taking taylor expansion of y in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.060 * [taylor]: Taking taylor expansion of x in x 14.060 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 14.060 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.060 * [taylor]: Taking taylor expansion of y in x 14.060 * [taylor]: Taking taylor expansion of y in x 14.060 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.060 * [taylor]: Taking taylor expansion of z in x 14.060 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.060 * [taylor]: Taking taylor expansion of 0.5 in x 14.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.060 * [taylor]: Taking taylor expansion of y in x 14.061 * [taylor]: Taking taylor expansion of 1 in y 14.062 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 14.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.062 * [taylor]: Taking taylor expansion of y in y 14.062 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 14.062 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.062 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.062 * [taylor]: Taking taylor expansion of y in y 14.063 * [taylor]: Taking taylor expansion of y in y 14.064 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 14.064 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.064 * [taylor]: Taking taylor expansion of z in y 14.064 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.064 * [taylor]: Taking taylor expansion of 0.5 in y 14.064 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.064 * [taylor]: Taking taylor expansion of y in y 14.064 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 14.064 * [taylor]: Taking taylor expansion of (log y) in z 14.064 * [taylor]: Taking taylor expansion of y in z 14.064 * [taylor]: Taking taylor expansion of 1 in z 14.064 * [taylor]: Taking taylor expansion of 1 in z 14.068 * [taylor]: Taking taylor expansion of 0 in y 14.070 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 14.070 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 14.070 * [taylor]: Taking taylor expansion of 0.5 in z 14.071 * [taylor]: Taking taylor expansion of (log y) in z 14.071 * [taylor]: Taking taylor expansion of y in z 14.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.071 * [taylor]: Taking taylor expansion of z in z 14.071 * [taylor]: Taking taylor expansion of 0 in z 14.072 * [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 14.072 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 14.072 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 14.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.072 * [taylor]: Taking taylor expansion of z in z 14.073 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 14.073 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 14.073 * [taylor]: Taking taylor expansion of (/ -1 y) in z 14.073 * [taylor]: Taking taylor expansion of -1 in z 14.073 * [taylor]: Taking taylor expansion of y in z 14.073 * [taylor]: Taking taylor expansion of y in z 14.073 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 14.073 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.073 * [taylor]: Taking taylor expansion of y in z 14.073 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 14.073 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 14.073 * [taylor]: Taking taylor expansion of 0.5 in z 14.073 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 14.073 * [taylor]: Taking taylor expansion of (/ -1 y) in z 14.073 * [taylor]: Taking taylor expansion of -1 in z 14.073 * [taylor]: Taking taylor expansion of y in z 14.073 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.073 * [taylor]: Taking taylor expansion of x in z 14.073 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 14.073 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 14.073 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.073 * [taylor]: Taking taylor expansion of z in y 14.073 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.073 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.073 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.073 * [taylor]: Taking taylor expansion of -1 in y 14.073 * [taylor]: Taking taylor expansion of y in y 14.074 * [taylor]: Taking taylor expansion of y in y 14.075 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 14.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.075 * [taylor]: Taking taylor expansion of y in y 14.075 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 14.075 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.075 * [taylor]: Taking taylor expansion of 0.5 in y 14.075 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.076 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.076 * [taylor]: Taking taylor expansion of -1 in y 14.076 * [taylor]: Taking taylor expansion of y in y 14.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.076 * [taylor]: Taking taylor expansion of x in y 14.076 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 14.076 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 14.076 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.076 * [taylor]: Taking taylor expansion of z in x 14.076 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.076 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.076 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.076 * [taylor]: Taking taylor expansion of -1 in x 14.076 * [taylor]: Taking taylor expansion of y in x 14.076 * [taylor]: Taking taylor expansion of y in x 14.076 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.076 * [taylor]: Taking taylor expansion of y in x 14.076 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.077 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.077 * [taylor]: Taking taylor expansion of 0.5 in x 14.077 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.077 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.077 * [taylor]: Taking taylor expansion of -1 in x 14.077 * [taylor]: Taking taylor expansion of y in x 14.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.077 * [taylor]: Taking taylor expansion of x in x 14.077 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 14.077 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 14.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.077 * [taylor]: Taking taylor expansion of z in x 14.077 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.077 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.077 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.077 * [taylor]: Taking taylor expansion of -1 in x 14.077 * [taylor]: Taking taylor expansion of y in x 14.077 * [taylor]: Taking taylor expansion of y in x 14.077 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.077 * [taylor]: Taking taylor expansion of y in x 14.077 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.077 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.077 * [taylor]: Taking taylor expansion of 0.5 in x 14.077 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.077 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.077 * [taylor]: Taking taylor expansion of -1 in x 14.077 * [taylor]: Taking taylor expansion of y in x 14.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.078 * [taylor]: Taking taylor expansion of x in x 14.079 * [taylor]: Taking taylor expansion of -1 in y 14.080 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 14.080 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 14.080 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.080 * [taylor]: Taking taylor expansion of z in y 14.080 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.080 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.080 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.080 * [taylor]: Taking taylor expansion of -1 in y 14.080 * [taylor]: Taking taylor expansion of y in y 14.081 * [taylor]: Taking taylor expansion of y in y 14.082 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 14.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.082 * [taylor]: Taking taylor expansion of y in y 14.082 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.082 * [taylor]: Taking taylor expansion of 0.5 in y 14.082 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.082 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.082 * [taylor]: Taking taylor expansion of -1 in y 14.082 * [taylor]: Taking taylor expansion of y in y 14.084 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 14.084 * [taylor]: Taking taylor expansion of (log -1) in z 14.084 * [taylor]: Taking taylor expansion of -1 in z 14.084 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 14.084 * [taylor]: Taking taylor expansion of (log y) in z 14.084 * [taylor]: Taking taylor expansion of y in z 14.084 * [taylor]: Taking taylor expansion of 1 in z 14.084 * [taylor]: Taking taylor expansion of -1 in z 14.088 * [taylor]: Taking taylor expansion of 0 in y 14.093 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 14.093 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 14.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.093 * [taylor]: Taking taylor expansion of z in z 14.093 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 14.093 * [taylor]: Taking taylor expansion of 0.5 in z 14.093 * [taylor]: Taking taylor expansion of (log y) in z 14.093 * [taylor]: Taking taylor expansion of y in z 14.093 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 14.093 * [taylor]: Taking taylor expansion of 0.5 in z 14.093 * [taylor]: Taking taylor expansion of (log -1) in z 14.093 * [taylor]: Taking taylor expansion of -1 in z 14.094 * [taylor]: Taking taylor expansion of 0 in z 14.096 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 14.096 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 14.096 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 14.096 * [taylor]: Taking taylor expansion of x in y 14.096 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 14.096 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.096 * [taylor]: Taking taylor expansion of 0.5 in y 14.096 * [taylor]: Taking taylor expansion of (log y) in y 14.096 * [taylor]: Taking taylor expansion of y in y 14.096 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.096 * [taylor]: Taking taylor expansion of y in y 14.096 * [taylor]: Taking taylor expansion of (log y) in y 14.096 * [taylor]: Taking taylor expansion of y in y 14.097 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 14.097 * [taylor]: Taking taylor expansion of x in x 14.097 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.097 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.097 * [taylor]: Taking taylor expansion of 0.5 in x 14.097 * [taylor]: Taking taylor expansion of (log y) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (log y) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 14.097 * [taylor]: Taking taylor expansion of x in x 14.097 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 14.097 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 14.097 * [taylor]: Taking taylor expansion of 0.5 in x 14.097 * [taylor]: Taking taylor expansion of (log y) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (* y (log y)) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (log y) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.098 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 14.098 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 14.098 * [taylor]: Taking taylor expansion of (* y (log y)) in y 14.098 * [taylor]: Taking taylor expansion of y in y 14.098 * [taylor]: Taking taylor expansion of (log y) in y 14.098 * [taylor]: Taking taylor expansion of y in y 14.098 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 14.098 * [taylor]: Taking taylor expansion of 0.5 in y 14.098 * [taylor]: Taking taylor expansion of (log y) in y 14.098 * [taylor]: Taking taylor expansion of y in y 14.101 * [taylor]: Taking taylor expansion of 1 in y 14.104 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 14.104 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 14.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.104 * [taylor]: Taking taylor expansion of x in y 14.104 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 14.104 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.104 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.104 * [taylor]: Taking taylor expansion of y in y 14.104 * [taylor]: Taking taylor expansion of y in y 14.105 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.105 * [taylor]: Taking taylor expansion of 0.5 in y 14.105 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.105 * [taylor]: Taking taylor expansion of y in y 14.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 14.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.106 * [taylor]: Taking taylor expansion of x in x 14.106 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 14.106 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.106 * [taylor]: Taking taylor expansion of y in x 14.106 * [taylor]: Taking taylor expansion of y in x 14.106 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.106 * [taylor]: Taking taylor expansion of 0.5 in x 14.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.106 * [taylor]: Taking taylor expansion of y in x 14.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 14.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.107 * [taylor]: Taking taylor expansion of x in x 14.107 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 14.107 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 14.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.107 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.107 * [taylor]: Taking taylor expansion of y in x 14.107 * [taylor]: Taking taylor expansion of y in x 14.107 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 14.107 * [taylor]: Taking taylor expansion of 0.5 in x 14.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.107 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.107 * [taylor]: Taking taylor expansion of y in x 14.107 * [taylor]: Taking taylor expansion of 1 in y 14.108 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 14.108 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 14.108 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 14.108 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.108 * [taylor]: Taking taylor expansion of y in y 14.109 * [taylor]: Taking taylor expansion of y in y 14.109 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 14.110 * [taylor]: Taking taylor expansion of 0.5 in y 14.110 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.110 * [taylor]: Taking taylor expansion of y in y 14.113 * [taylor]: Taking taylor expansion of 0 in y 14.115 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 14.115 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 14.115 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.115 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.115 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.115 * [taylor]: Taking taylor expansion of -1 in y 14.115 * [taylor]: Taking taylor expansion of y in y 14.116 * [taylor]: Taking taylor expansion of y in y 14.117 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 14.117 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.117 * [taylor]: Taking taylor expansion of 0.5 in y 14.117 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.117 * [taylor]: Taking taylor expansion of -1 in y 14.117 * [taylor]: Taking taylor expansion of y in y 14.118 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.118 * [taylor]: Taking taylor expansion of x in y 14.118 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.118 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.118 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.118 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.118 * [taylor]: Taking taylor expansion of -1 in x 14.118 * [taylor]: Taking taylor expansion of y in x 14.118 * [taylor]: Taking taylor expansion of y in x 14.118 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.118 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.118 * [taylor]: Taking taylor expansion of 0.5 in x 14.118 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.118 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.118 * [taylor]: Taking taylor expansion of -1 in x 14.118 * [taylor]: Taking taylor expansion of y in x 14.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.118 * [taylor]: Taking taylor expansion of x in x 14.119 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 14.119 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 14.119 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.119 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.119 * [taylor]: Taking taylor expansion of -1 in x 14.119 * [taylor]: Taking taylor expansion of y in x 14.119 * [taylor]: Taking taylor expansion of y in x 14.119 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 14.119 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 14.119 * [taylor]: Taking taylor expansion of 0.5 in x 14.119 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 14.119 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.119 * [taylor]: Taking taylor expansion of -1 in x 14.119 * [taylor]: Taking taylor expansion of y in x 14.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.119 * [taylor]: Taking taylor expansion of x in x 14.123 * [taylor]: Taking taylor expansion of -1 in y 14.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 14.124 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 14.124 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.124 * [taylor]: Taking taylor expansion of -1 in y 14.124 * [taylor]: Taking taylor expansion of y in y 14.124 * [taylor]: Taking taylor expansion of y in y 14.126 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 14.126 * [taylor]: Taking taylor expansion of 0.5 in y 14.126 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.126 * [taylor]: Taking taylor expansion of -1 in y 14.126 * [taylor]: Taking taylor expansion of y in y 14.130 * [taylor]: Taking taylor expansion of 0 in y 14.135 * * * [progress]: simplifying candidates 14.137 * [simplify]: Simplifying using # : (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 14.141 * * [simplify]: iteration 0 : 172 enodes (cost 1294 ) 14.171 * * [simplify]: iteration 1 : 439 enodes (cost 1175 ) 14.272 * * [simplify]: iteration 2 : 1336 enodes (cost 1094 ) 14.729 * * [simplify]: iteration done : 5000 enodes (cost 1063 ) 14.730 * [simplify]: Simplified to: (* (log y) (+ y 0.5)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (log y) (+ y 0.5)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (log y) (+ y 0.5)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (log y) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (log y) (+ y 0.5)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* y y) (* (- x (* (log y) (+ y 0.5))) (- (- 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) (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* z z) (* (- (+ x y) (* (log y) (+ y 0.5))) (+ (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* (* (log y) (+ y 0.5)) (+ x (* (+ y 0.5) (log y)))) (* x x)) (* (- (log y)) (+ y 0.5)) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (* (- (log y)) (+ y 0.5)) (* (log y) (+ y 0.5)) (- (* (- (log y)) (+ y 0.5))) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (- (+ x y) (* (log y) (+ y 0.5))) (- (+ x y) (* (log y) (+ y 0.5))) (+ (+ y (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) x) (- (+ x y) (* (log y) (+ y 0.5))) (+ (- y (* y (log y))) (- x z)) (- (+ x (* y (- (+ (log (/ -1 y)) 1) (log -1)))) z) (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5))) (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x) 14.731 * * * [progress]: adding candidates to table 14.941 * * [progress]: iteration 2 / 4 14.941 * * * [progress]: picking best candidate 14.964 * * * * [pick]: Picked # 14.964 * * * [progress]: localizing error 14.974 * * * [progress]: generating rewritten candidates 14.974 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 14.987 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 15.045 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.370 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 15.390 * * * [progress]: generating series expansions 15.390 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 15.390 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 15.390 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.390 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.390 * [taylor]: Taking taylor expansion of y in y 15.390 * [taylor]: Taking taylor expansion of 0.5 in y 15.390 * [taylor]: Taking taylor expansion of (log y) in y 15.390 * [taylor]: Taking taylor expansion of y in y 15.391 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 15.391 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.391 * [taylor]: Taking taylor expansion of y in y 15.391 * [taylor]: Taking taylor expansion of 0.5 in y 15.391 * [taylor]: Taking taylor expansion of (log y) in y 15.391 * [taylor]: Taking taylor expansion of y in y 15.464 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 15.464 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 15.464 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.464 * [taylor]: Taking taylor expansion of y in y 15.464 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.464 * [taylor]: Taking taylor expansion of y in y 15.465 * [taylor]: Taking taylor expansion of 0.5 in y 15.465 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 15.465 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.465 * [taylor]: Taking taylor expansion of y in y 15.465 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.465 * [taylor]: Taking taylor expansion of y in y 15.466 * [taylor]: Taking taylor expansion of 0.5 in y 15.542 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 15.542 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 15.542 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.542 * [taylor]: Taking taylor expansion of 0.5 in y 15.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.543 * [taylor]: Taking taylor expansion of y in y 15.543 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.543 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.543 * [taylor]: Taking taylor expansion of -1 in y 15.543 * [taylor]: Taking taylor expansion of y in y 15.543 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 15.543 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.543 * [taylor]: Taking taylor expansion of 0.5 in y 15.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.544 * [taylor]: Taking taylor expansion of y in y 15.544 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.544 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.544 * [taylor]: Taking taylor expansion of -1 in y 15.544 * [taylor]: Taking taylor expansion of y in y 15.635 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 15.635 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 15.635 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 15.635 * [taylor]: Taking taylor expansion of (+ x y) in y 15.635 * [taylor]: Taking taylor expansion of x in y 15.635 * [taylor]: Taking taylor expansion of y in y 15.635 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 15.635 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.635 * [taylor]: Taking taylor expansion of 0.5 in y 15.635 * [taylor]: Taking taylor expansion of (log y) in y 15.635 * [taylor]: Taking taylor expansion of y in y 15.635 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.635 * [taylor]: Taking taylor expansion of y in y 15.635 * [taylor]: Taking taylor expansion of (log y) in y 15.635 * [taylor]: Taking taylor expansion of y in y 15.636 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 15.636 * [taylor]: Taking taylor expansion of (+ x y) in x 15.636 * [taylor]: Taking taylor expansion of x in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.636 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.636 * [taylor]: Taking taylor expansion of 0.5 in x 15.636 * [taylor]: Taking taylor expansion of (log y) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (log y) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 15.636 * [taylor]: Taking taylor expansion of (+ x y) in x 15.636 * [taylor]: Taking taylor expansion of x in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.636 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.636 * [taylor]: Taking taylor expansion of 0.5 in x 15.636 * [taylor]: Taking taylor expansion of (log y) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.636 * [taylor]: Taking taylor expansion of (log y) in x 15.636 * [taylor]: Taking taylor expansion of y in x 15.637 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 15.637 * [taylor]: Taking taylor expansion of y in y 15.637 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 15.637 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.637 * [taylor]: Taking taylor expansion of 0.5 in y 15.637 * [taylor]: Taking taylor expansion of (log y) in y 15.637 * [taylor]: Taking taylor expansion of y in y 15.637 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.637 * [taylor]: Taking taylor expansion of y in y 15.637 * [taylor]: Taking taylor expansion of (log y) in y 15.637 * [taylor]: Taking taylor expansion of y in y 15.640 * [taylor]: Taking taylor expansion of 1 in y 15.643 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 15.643 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 15.644 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.644 * [taylor]: Taking taylor expansion of y in y 15.644 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.644 * [taylor]: Taking taylor expansion of x in y 15.644 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 15.644 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.644 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.644 * [taylor]: Taking taylor expansion of y in y 15.644 * [taylor]: Taking taylor expansion of y in y 15.645 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.645 * [taylor]: Taking taylor expansion of 0.5 in y 15.645 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.645 * [taylor]: Taking taylor expansion of y in y 15.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 15.646 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.646 * [taylor]: Taking taylor expansion of y in x 15.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.646 * [taylor]: Taking taylor expansion of x in x 15.646 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 15.646 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.646 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.646 * [taylor]: Taking taylor expansion of y in x 15.646 * [taylor]: Taking taylor expansion of y in x 15.646 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.646 * [taylor]: Taking taylor expansion of 0.5 in x 15.646 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.646 * [taylor]: Taking taylor expansion of y in x 15.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 15.646 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.646 * [taylor]: Taking taylor expansion of y in x 15.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.653 * [taylor]: Taking taylor expansion of x in x 15.653 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 15.653 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.653 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.654 * [taylor]: Taking taylor expansion of y in x 15.654 * [taylor]: Taking taylor expansion of y in x 15.654 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.654 * [taylor]: Taking taylor expansion of 0.5 in x 15.654 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.654 * [taylor]: Taking taylor expansion of y in x 15.655 * [taylor]: Taking taylor expansion of 1 in y 15.655 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 15.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.656 * [taylor]: Taking taylor expansion of y in y 15.656 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 15.656 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.656 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.656 * [taylor]: Taking taylor expansion of y in y 15.657 * [taylor]: Taking taylor expansion of y in y 15.657 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.657 * [taylor]: Taking taylor expansion of 0.5 in y 15.657 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.657 * [taylor]: Taking taylor expansion of y in y 15.661 * [taylor]: Taking taylor expansion of 0 in y 15.664 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 15.664 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 15.664 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.664 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.664 * [taylor]: Taking taylor expansion of -1 in y 15.664 * [taylor]: Taking taylor expansion of y in y 15.665 * [taylor]: Taking taylor expansion of y in y 15.666 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 15.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.666 * [taylor]: Taking taylor expansion of y in y 15.666 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 15.666 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.666 * [taylor]: Taking taylor expansion of 0.5 in y 15.666 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.666 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.666 * [taylor]: Taking taylor expansion of -1 in y 15.666 * [taylor]: Taking taylor expansion of y in y 15.667 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.667 * [taylor]: Taking taylor expansion of x in y 15.667 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 15.667 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.667 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.667 * [taylor]: Taking taylor expansion of -1 in x 15.667 * [taylor]: Taking taylor expansion of y in x 15.667 * [taylor]: Taking taylor expansion of y in x 15.667 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.667 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.667 * [taylor]: Taking taylor expansion of y in x 15.667 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.667 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.667 * [taylor]: Taking taylor expansion of 0.5 in x 15.667 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.667 * [taylor]: Taking taylor expansion of -1 in x 15.667 * [taylor]: Taking taylor expansion of y in x 15.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.667 * [taylor]: Taking taylor expansion of x in x 15.668 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 15.668 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.668 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.668 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.668 * [taylor]: Taking taylor expansion of -1 in x 15.668 * [taylor]: Taking taylor expansion of y in x 15.668 * [taylor]: Taking taylor expansion of y in x 15.668 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.668 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.668 * [taylor]: Taking taylor expansion of y in x 15.668 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.668 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.668 * [taylor]: Taking taylor expansion of 0.5 in x 15.668 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.668 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.668 * [taylor]: Taking taylor expansion of -1 in x 15.668 * [taylor]: Taking taylor expansion of y in x 15.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.668 * [taylor]: Taking taylor expansion of x in x 15.669 * [taylor]: Taking taylor expansion of -1 in y 15.670 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 15.670 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.670 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.670 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.671 * [taylor]: Taking taylor expansion of -1 in y 15.671 * [taylor]: Taking taylor expansion of y in y 15.671 * [taylor]: Taking taylor expansion of y in y 15.673 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 15.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.673 * [taylor]: Taking taylor expansion of y in y 15.673 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.673 * [taylor]: Taking taylor expansion of 0.5 in y 15.673 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.673 * [taylor]: Taking taylor expansion of -1 in y 15.673 * [taylor]: Taking taylor expansion of y in y 15.677 * [taylor]: Taking taylor expansion of 0 in y 15.684 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.684 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 15.684 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 15.684 * [taylor]: Taking taylor expansion of (+ x y) in z 15.684 * [taylor]: Taking taylor expansion of x in z 15.684 * [taylor]: Taking taylor expansion of y in z 15.684 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 15.684 * [taylor]: Taking taylor expansion of z in z 15.684 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 15.684 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 15.684 * [taylor]: Taking taylor expansion of 0.5 in z 15.684 * [taylor]: Taking taylor expansion of (log y) in z 15.684 * [taylor]: Taking taylor expansion of y in z 15.684 * [taylor]: Taking taylor expansion of (* y (log y)) in z 15.684 * [taylor]: Taking taylor expansion of y in z 15.684 * [taylor]: Taking taylor expansion of (log y) in z 15.684 * [taylor]: Taking taylor expansion of y in z 15.685 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 15.685 * [taylor]: Taking taylor expansion of (+ x y) in y 15.685 * [taylor]: Taking taylor expansion of x in y 15.685 * [taylor]: Taking taylor expansion of y in y 15.685 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 15.685 * [taylor]: Taking taylor expansion of z in y 15.685 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 15.685 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.685 * [taylor]: Taking taylor expansion of 0.5 in y 15.685 * [taylor]: Taking taylor expansion of (log y) in y 15.685 * [taylor]: Taking taylor expansion of y in y 15.685 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.685 * [taylor]: Taking taylor expansion of y in y 15.685 * [taylor]: Taking taylor expansion of (log y) in y 15.685 * [taylor]: Taking taylor expansion of y in y 15.685 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 15.685 * [taylor]: Taking taylor expansion of (+ x y) in x 15.685 * [taylor]: Taking taylor expansion of x in x 15.685 * [taylor]: Taking taylor expansion of y in x 15.685 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 15.685 * [taylor]: Taking taylor expansion of z in x 15.685 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.685 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.685 * [taylor]: Taking taylor expansion of 0.5 in x 15.685 * [taylor]: Taking taylor expansion of (log y) in x 15.685 * [taylor]: Taking taylor expansion of y in x 15.685 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (log y) in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 15.686 * [taylor]: Taking taylor expansion of (+ x y) in x 15.686 * [taylor]: Taking taylor expansion of x in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 15.686 * [taylor]: Taking taylor expansion of z in x 15.686 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.686 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.686 * [taylor]: Taking taylor expansion of 0.5 in x 15.686 * [taylor]: Taking taylor expansion of (log y) in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (log y) in x 15.686 * [taylor]: Taking taylor expansion of y in x 15.686 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 15.686 * [taylor]: Taking taylor expansion of y in y 15.686 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 15.686 * [taylor]: Taking taylor expansion of z in y 15.686 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 15.687 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.687 * [taylor]: Taking taylor expansion of 0.5 in y 15.687 * [taylor]: Taking taylor expansion of (log y) in y 15.687 * [taylor]: Taking taylor expansion of y in y 15.687 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.687 * [taylor]: Taking taylor expansion of y in y 15.687 * [taylor]: Taking taylor expansion of (log y) in y 15.687 * [taylor]: Taking taylor expansion of y in y 15.688 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 15.688 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 15.688 * [taylor]: Taking taylor expansion of z in z 15.688 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 15.688 * [taylor]: Taking taylor expansion of 0.5 in z 15.688 * [taylor]: Taking taylor expansion of (log y) in z 15.688 * [taylor]: Taking taylor expansion of y in z 15.691 * [taylor]: Taking taylor expansion of 1 in y 15.691 * [taylor]: Taking taylor expansion of 1 in z 15.693 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 15.693 * [taylor]: Taking taylor expansion of 1 in z 15.693 * [taylor]: Taking taylor expansion of (log y) in z 15.693 * [taylor]: Taking taylor expansion of y in z 15.694 * [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 15.694 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 15.694 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 15.694 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.694 * [taylor]: Taking taylor expansion of y in z 15.694 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.694 * [taylor]: Taking taylor expansion of x in z 15.694 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 15.694 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 15.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 15.694 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.694 * [taylor]: Taking taylor expansion of y in z 15.694 * [taylor]: Taking taylor expansion of y in z 15.694 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 15.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.694 * [taylor]: Taking taylor expansion of z in z 15.695 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 15.695 * [taylor]: Taking taylor expansion of 0.5 in z 15.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 15.695 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.695 * [taylor]: Taking taylor expansion of y in z 15.695 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 15.695 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.695 * [taylor]: Taking taylor expansion of y in y 15.695 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.695 * [taylor]: Taking taylor expansion of x in y 15.695 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 15.695 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.695 * [taylor]: Taking taylor expansion of y in y 15.696 * [taylor]: Taking taylor expansion of y in y 15.696 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 15.696 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.696 * [taylor]: Taking taylor expansion of z in y 15.697 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.697 * [taylor]: Taking taylor expansion of 0.5 in y 15.697 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.697 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.697 * [taylor]: Taking taylor expansion of y in y 15.697 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 15.697 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.697 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.697 * [taylor]: Taking taylor expansion of y in x 15.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.697 * [taylor]: Taking taylor expansion of x in x 15.697 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 15.697 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.698 * [taylor]: Taking taylor expansion of z in x 15.698 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.698 * [taylor]: Taking taylor expansion of 0.5 in x 15.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 15.698 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.698 * [taylor]: Taking taylor expansion of x in x 15.698 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 15.698 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of y in x 15.698 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 15.698 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.698 * [taylor]: Taking taylor expansion of z in x 15.699 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.699 * [taylor]: Taking taylor expansion of 0.5 in x 15.699 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.699 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.699 * [taylor]: Taking taylor expansion of y in x 15.699 * [taylor]: Taking taylor expansion of 1 in y 15.700 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 15.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.700 * [taylor]: Taking taylor expansion of y in y 15.701 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 15.701 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.701 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.701 * [taylor]: Taking taylor expansion of y in y 15.701 * [taylor]: Taking taylor expansion of y in y 15.702 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 15.702 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.702 * [taylor]: Taking taylor expansion of z in y 15.702 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.702 * [taylor]: Taking taylor expansion of 0.5 in y 15.702 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.702 * [taylor]: Taking taylor expansion of y in y 15.703 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 15.703 * [taylor]: Taking taylor expansion of (log y) in z 15.703 * [taylor]: Taking taylor expansion of y in z 15.703 * [taylor]: Taking taylor expansion of 1 in z 15.703 * [taylor]: Taking taylor expansion of 1 in z 15.707 * [taylor]: Taking taylor expansion of 0 in y 15.710 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 15.710 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 15.710 * [taylor]: Taking taylor expansion of 0.5 in z 15.710 * [taylor]: Taking taylor expansion of (log y) in z 15.710 * [taylor]: Taking taylor expansion of y in z 15.710 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.710 * [taylor]: Taking taylor expansion of z in z 15.710 * [taylor]: Taking taylor expansion of 0 in z 15.711 * [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 15.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 15.711 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 15.711 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.712 * [taylor]: Taking taylor expansion of z in z 15.712 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 15.712 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 15.712 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.712 * [taylor]: Taking taylor expansion of -1 in z 15.712 * [taylor]: Taking taylor expansion of y in z 15.712 * [taylor]: Taking taylor expansion of y in z 15.712 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 15.712 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.712 * [taylor]: Taking taylor expansion of y in z 15.712 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 15.712 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 15.712 * [taylor]: Taking taylor expansion of 0.5 in z 15.712 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 15.712 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.712 * [taylor]: Taking taylor expansion of -1 in z 15.712 * [taylor]: Taking taylor expansion of y in z 15.712 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.712 * [taylor]: Taking taylor expansion of x in z 15.712 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 15.712 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 15.712 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.712 * [taylor]: Taking taylor expansion of z in y 15.712 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.712 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.712 * [taylor]: Taking taylor expansion of -1 in y 15.712 * [taylor]: Taking taylor expansion of y in y 15.713 * [taylor]: Taking taylor expansion of y in y 15.714 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 15.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.714 * [taylor]: Taking taylor expansion of y in y 15.715 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 15.715 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.715 * [taylor]: Taking taylor expansion of 0.5 in y 15.715 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.715 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.715 * [taylor]: Taking taylor expansion of -1 in y 15.715 * [taylor]: Taking taylor expansion of y in y 15.715 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.715 * [taylor]: Taking taylor expansion of x in y 15.715 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 15.715 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 15.715 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.715 * [taylor]: Taking taylor expansion of z in x 15.715 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.716 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.716 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.716 * [taylor]: Taking taylor expansion of -1 in x 15.716 * [taylor]: Taking taylor expansion of y in x 15.716 * [taylor]: Taking taylor expansion of y in x 15.716 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.716 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.716 * [taylor]: Taking taylor expansion of y in x 15.716 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.716 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.716 * [taylor]: Taking taylor expansion of 0.5 in x 15.716 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.716 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.716 * [taylor]: Taking taylor expansion of -1 in x 15.716 * [taylor]: Taking taylor expansion of y in x 15.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.716 * [taylor]: Taking taylor expansion of x in x 15.716 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 15.716 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 15.716 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.716 * [taylor]: Taking taylor expansion of z in x 15.716 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.716 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.716 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.716 * [taylor]: Taking taylor expansion of -1 in x 15.717 * [taylor]: Taking taylor expansion of y in x 15.717 * [taylor]: Taking taylor expansion of y in x 15.717 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.717 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.717 * [taylor]: Taking taylor expansion of y in x 15.717 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.717 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.717 * [taylor]: Taking taylor expansion of 0.5 in x 15.717 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.717 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.717 * [taylor]: Taking taylor expansion of -1 in x 15.717 * [taylor]: Taking taylor expansion of y in x 15.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.717 * [taylor]: Taking taylor expansion of x in x 15.718 * [taylor]: Taking taylor expansion of -1 in y 15.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 15.719 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 15.719 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.719 * [taylor]: Taking taylor expansion of z in y 15.720 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.720 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.720 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.720 * [taylor]: Taking taylor expansion of -1 in y 15.720 * [taylor]: Taking taylor expansion of y in y 15.720 * [taylor]: Taking taylor expansion of y in y 15.722 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 15.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.722 * [taylor]: Taking taylor expansion of y in y 15.722 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.722 * [taylor]: Taking taylor expansion of 0.5 in y 15.722 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.722 * [taylor]: Taking taylor expansion of -1 in y 15.722 * [taylor]: Taking taylor expansion of y in y 15.723 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 15.723 * [taylor]: Taking taylor expansion of (log -1) in z 15.723 * [taylor]: Taking taylor expansion of -1 in z 15.724 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 15.724 * [taylor]: Taking taylor expansion of (log y) in z 15.724 * [taylor]: Taking taylor expansion of y in z 15.724 * [taylor]: Taking taylor expansion of 1 in z 15.724 * [taylor]: Taking taylor expansion of -1 in z 15.727 * [taylor]: Taking taylor expansion of 0 in y 15.732 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 15.732 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 15.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.732 * [taylor]: Taking taylor expansion of z in z 15.732 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 15.732 * [taylor]: Taking taylor expansion of 0.5 in z 15.732 * [taylor]: Taking taylor expansion of (log y) in z 15.732 * [taylor]: Taking taylor expansion of y in z 15.732 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 15.732 * [taylor]: Taking taylor expansion of 0.5 in z 15.733 * [taylor]: Taking taylor expansion of (log -1) in z 15.733 * [taylor]: Taking taylor expansion of -1 in z 15.733 * [taylor]: Taking taylor expansion of 0 in z 15.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 15.735 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 15.735 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 15.735 * [taylor]: Taking taylor expansion of x in y 15.735 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 15.735 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.735 * [taylor]: Taking taylor expansion of 0.5 in y 15.735 * [taylor]: Taking taylor expansion of (log y) in y 15.735 * [taylor]: Taking taylor expansion of y in y 15.735 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.735 * [taylor]: Taking taylor expansion of y in y 15.735 * [taylor]: Taking taylor expansion of (log y) in y 15.735 * [taylor]: Taking taylor expansion of y in y 15.736 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 15.736 * [taylor]: Taking taylor expansion of x in x 15.736 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.736 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.736 * [taylor]: Taking taylor expansion of 0.5 in x 15.736 * [taylor]: Taking taylor expansion of (log y) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (log y) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 15.736 * [taylor]: Taking taylor expansion of x in x 15.736 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 15.736 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 15.736 * [taylor]: Taking taylor expansion of 0.5 in x 15.736 * [taylor]: Taking taylor expansion of (log y) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (* y (log y)) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (log y) in x 15.736 * [taylor]: Taking taylor expansion of y in x 15.736 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 15.737 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 15.737 * [taylor]: Taking taylor expansion of (* y (log y)) in y 15.737 * [taylor]: Taking taylor expansion of y in y 15.737 * [taylor]: Taking taylor expansion of (log y) in y 15.737 * [taylor]: Taking taylor expansion of y in y 15.737 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 15.737 * [taylor]: Taking taylor expansion of 0.5 in y 15.737 * [taylor]: Taking taylor expansion of (log y) in y 15.737 * [taylor]: Taking taylor expansion of y in y 15.740 * [taylor]: Taking taylor expansion of 1 in y 15.743 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 15.743 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 15.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.743 * [taylor]: Taking taylor expansion of x in y 15.743 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 15.743 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.743 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.743 * [taylor]: Taking taylor expansion of y in y 15.744 * [taylor]: Taking taylor expansion of y in y 15.744 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.744 * [taylor]: Taking taylor expansion of 0.5 in y 15.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.744 * [taylor]: Taking taylor expansion of y in y 15.749 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 15.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.750 * [taylor]: Taking taylor expansion of x in x 15.750 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 15.750 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.750 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.750 * [taylor]: Taking taylor expansion of y in x 15.750 * [taylor]: Taking taylor expansion of y in x 15.750 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.750 * [taylor]: Taking taylor expansion of 0.5 in x 15.750 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.750 * [taylor]: Taking taylor expansion of y in x 15.750 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 15.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.750 * [taylor]: Taking taylor expansion of x in x 15.751 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 15.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 15.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.751 * [taylor]: Taking taylor expansion of y in x 15.751 * [taylor]: Taking taylor expansion of y in x 15.751 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 15.751 * [taylor]: Taking taylor expansion of 0.5 in x 15.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.751 * [taylor]: Taking taylor expansion of y in x 15.751 * [taylor]: Taking taylor expansion of 1 in y 15.752 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 15.752 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 15.752 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 15.752 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.752 * [taylor]: Taking taylor expansion of y in y 15.753 * [taylor]: Taking taylor expansion of y in y 15.753 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 15.753 * [taylor]: Taking taylor expansion of 0.5 in y 15.753 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.753 * [taylor]: Taking taylor expansion of y in y 15.757 * [taylor]: Taking taylor expansion of 0 in y 15.760 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 15.760 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 15.760 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.760 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.760 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.760 * [taylor]: Taking taylor expansion of -1 in y 15.760 * [taylor]: Taking taylor expansion of y in y 15.760 * [taylor]: Taking taylor expansion of y in y 15.762 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 15.762 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.762 * [taylor]: Taking taylor expansion of 0.5 in y 15.762 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.762 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.762 * [taylor]: Taking taylor expansion of -1 in y 15.762 * [taylor]: Taking taylor expansion of y in y 15.762 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.762 * [taylor]: Taking taylor expansion of x in y 15.762 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.762 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.762 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.762 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.762 * [taylor]: Taking taylor expansion of -1 in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.762 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.763 * [taylor]: Taking taylor expansion of 0.5 in x 15.763 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.763 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.763 * [taylor]: Taking taylor expansion of -1 in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.763 * [taylor]: Taking taylor expansion of x in x 15.763 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 15.763 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 15.763 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.763 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.763 * [taylor]: Taking taylor expansion of -1 in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 15.763 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 15.763 * [taylor]: Taking taylor expansion of 0.5 in x 15.763 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.763 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.763 * [taylor]: Taking taylor expansion of -1 in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.763 * [taylor]: Taking taylor expansion of x in x 15.764 * [taylor]: Taking taylor expansion of -1 in y 15.765 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 15.765 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 15.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.765 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.765 * [taylor]: Taking taylor expansion of -1 in y 15.765 * [taylor]: Taking taylor expansion of y in y 15.766 * [taylor]: Taking taylor expansion of y in y 15.767 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 15.767 * [taylor]: Taking taylor expansion of 0.5 in y 15.767 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.767 * [taylor]: Taking taylor expansion of -1 in y 15.767 * [taylor]: Taking taylor expansion of y in y 15.771 * [taylor]: Taking taylor expansion of 0 in y 15.776 * * * [progress]: simplifying candidates 15.778 * [simplify]: Simplifying using # : (* (log y) (+ y 0.5)) (+ (log (log y)) (log (+ y 0.5))) (log (* (log y) (+ y 0.5))) (exp (* (log y) (+ y 0.5))) (* (* (* (log y) (log y)) (log y)) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* (log y) (+ y 0.5))) (cbrt (* (log y) (+ y 0.5)))) (cbrt (* (log y) (+ y 0.5))) (* (* (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5))) (* (log y) (+ y 0.5))) (sqrt (* (log y) (+ y 0.5))) (sqrt (* (log y) (+ y 0.5))) (* (sqrt (log y)) (sqrt (+ y 0.5))) (* (sqrt (log y)) (sqrt (+ y 0.5))) (* (log y) y) (* (log y) 0.5) (* y (log y)) (* 0.5 (log y)) (* (log y) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (log y) (sqrt (+ y 0.5))) (* (log y) 1) (* (log y) 1) (* (log y) (+ y 0.5)) (* (cbrt (log y)) (+ y 0.5)) (* (sqrt (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))) (* (/ (/ (exp x) (exp 0)) (exp (* (log y) (+ y 0.5)))) (exp y)) (* (/ (exp (- x 0)) (exp (* (log y) (+ y 0.5)))) (exp y)) (* (exp (- (- x 0) (* (log y) (+ y 0.5)))) (exp y)) (log (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (exp (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (* (cbrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (cbrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y))) (cbrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (* (* (+ (- (- x 0) (* (log y) (+ y 0.5))) y) (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (sqrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (sqrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (+ (pow (- (- x 0) (* (log y) (+ y 0.5))) 3) (pow y 3)) (+ (* (- (- x 0) (* (log y) (+ y 0.5))) (- (- x 0) (* (log y) (+ y 0.5)))) (- (* y y) (* (- (- x 0) (* (log y) (+ y 0.5))) y))) (- (* (- (- x 0) (* (log y) (+ y 0.5))) (- (- x 0) (* (log y) (+ y 0.5)))) (* y y)) (- (- (- x 0) (* (log y) (+ y 0.5))) y) (+ (- (- x 0) (* (log y) (+ y 0.5))) y) (+ (- (* (log y) (+ y 0.5))) y) (+ (- (- 0) (* (log y) (+ y 0.5))) y) (+ (- (- 0) (* (log y) (+ y 0.5))) y) (+ (- (* (log y) (+ y 0.5))) y) (- (* (log y) (+ y 0.5)) y) (/ (* (/ (/ (exp x) (exp 0)) (exp (* (log y) (+ y 0.5)))) (exp y)) (exp z)) (/ (* (/ (exp (- x 0)) (exp (* (log y) (+ y 0.5)))) (exp y)) (exp z)) (/ (* (exp (- (- x 0) (* (log y) (+ y 0.5)))) (exp y)) (exp z)) (/ (exp (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (exp z)) (log (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (exp (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (* (cbrt (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (cbrt (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z))) (cbrt (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (* (* (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z) (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (sqrt (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (sqrt (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z)) (- (pow (+ (- (- x 0) (* (log y) (+ y 0.5))) y) 3) (pow z 3)) (+ (* (+ (- (- x 0) (* (log y) (+ y 0.5))) y) (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (+ (* z z) (* (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z))) (- z) (- (* (+ (- (- x 0) (* (log y) (+ y 0.5))) y) (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (* z z)) (+ (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z) (+ (sqrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (sqrt z)) (- (sqrt (+ (- (- x 0) (* (log y) (+ y 0.5))) y)) (sqrt z)) (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z) (- (+ (- (- x 0) (* (log y) (+ y 0.5))) y) z) (- y z) (+ (- (* (log y) (+ y 0.5)) y) z) (- z) (/ (/ (exp x) (exp 0)) (exp (* (log y) (+ y 0.5)))) (/ (exp (- x 0)) (exp (* (log y) (+ y 0.5)))) (log (- (- x 0) (* (log y) (+ y 0.5)))) (exp (- (- x 0) (* (log y) (+ y 0.5)))) (* (cbrt (- (- x 0) (* (log y) (+ y 0.5)))) (cbrt (- (- x 0) (* (log y) (+ y 0.5))))) (cbrt (- (- x 0) (* (log y) (+ y 0.5)))) (* (* (- (- x 0) (* (log y) (+ y 0.5))) (- (- x 0) (* (log y) (+ y 0.5)))) (- (- x 0) (* (log y) (+ y 0.5)))) (sqrt (- (- x 0) (* (log y) (+ y 0.5)))) (sqrt (- (- x 0) (* (log y) (+ y 0.5)))) (- (* (- (pow x 3) (pow 0 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* 0 0) (* x 0))) (* (log y) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* x x) (+ (* 0 0) (* x 0))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (pow x 3) (pow 0 3)) (- y 0.5)) (* (+ (* x x) (+ (* 0 0) (* x 0))) (* (log y) (- (* y y) (* 0.5 0.5))))) (* (+ (* x x) (+ (* 0 0) (* x 0))) (- y 0.5)) (- (* (- (* x x) (* 0 0)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x 0) (* (log y) (+ (pow y 3) (pow 0.5 3))))) (* (+ x 0) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (* x x) (* 0 0)) (- y 0.5)) (* (+ x 0) (* (log y) (- (* y y) (* 0.5 0.5))))) (* (+ x 0) (- y 0.5)) (- (pow (- x 0) 3) (pow (* (log y) (+ y 0.5)) 3)) (+ (* (- x 0) (- x 0)) (+ (* (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5))) (* (- x 0) (* (log y) (+ y 0.5))))) (- (* (log y) (+ y 0.5))) (- (* (- x 0) (- x 0)) (* (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)))) (+ (- x 0) (* (log y) (+ y 0.5))) (- (- x 0) (* (log y) y)) (- (- x 0) (* y (log y))) (- (- 0) (* (log y) (+ y 0.5))) (- (- 0) (* (log y) (+ y 0.5))) (+ 0 (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 15.783 * * [simplify]: iteration 0 : 196 enodes (cost 1597 ) 15.838 * * [simplify]: iteration 1 : 543 enodes (cost 1274 ) 16.048 * * [simplify]: iteration 2 : 1807 enodes (cost 1197 ) 16.603 * * [simplify]: iteration done : 5001 enodes (cost 1197 ) 16.604 * [simplify]: Simplified to: (* (log y) (+ y 0.5)) (log (* (log y) (+ y 0.5))) (log (* (log y) (+ y 0.5))) (pow y (+ y 0.5)) (pow (* (log y) (+ y 0.5)) 3) (* (cbrt (* (log y) (+ y 0.5))) (cbrt (* (log y) (+ y 0.5)))) (cbrt (* (log y) (+ y 0.5))) (pow (* (log y) (+ y 0.5)) 3) (sqrt (* (log y) (+ y 0.5))) (sqrt (* (log y) (+ y 0.5))) (* (sqrt (log y)) (sqrt (+ y 0.5))) (* (sqrt (log y)) (sqrt (+ y 0.5))) (* (log y) y) (* 0.5 (log y)) (* (log y) y) (* 0.5 (log y)) (* (log y) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (log y) (sqrt (+ y 0.5))) (log y) (log y) (* (log y) (+ y 0.5)) (* (cbrt (log y)) (+ y 0.5)) (* (sqrt (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))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (- x (- (* (log y) (+ y 0.5)) y))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (- x (- (* (log y) (+ y 0.5)) y))) (cbrt (- x (- (* (log y) (+ y 0.5)) y)))) (cbrt (- x (- (* (log y) (+ y 0.5)) y))) (pow (- x (- (* (log y) (+ y 0.5)) y)) 3) (sqrt (- x (- (* (log y) (+ y 0.5)) y))) (sqrt (- x (- (* (log y) (+ y 0.5)) y))) (+ (pow (- x (* (log y) (+ y 0.5))) 3) (pow y 3)) (+ (* (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5)))) (* y (- y (- x (* (log y) (+ y 0.5)))))) (- (* (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5)))) (* y y)) (- (- x (* (log y) (+ y 0.5))) y) (- x (- (* (log y) (+ y 0.5)) y)) (- y (* (+ y 0.5) (log y))) (- y (* (+ y 0.5) (log y))) (- y (* (+ y 0.5) (log y))) (- y (* (+ y 0.5) (log y))) (- (* (log y) (+ y 0.5)) y) (exp (+ (- x (* (log y) (+ y 0.5))) (- y z))) (exp (+ (- x (* (log y) (+ y 0.5))) (- y z))) (exp (+ (- x (* (log y) (+ y 0.5))) (- y z))) (exp (+ (- x (* (log y) (+ y 0.5))) (- y z))) (log (+ (- x (* (log y) (+ y 0.5))) (- y z))) (exp (+ (- x (* (log y) (+ y 0.5))) (- y z))) (* (cbrt (+ (- x (* (log y) (+ y 0.5))) (- y z))) (cbrt (+ (- x (* (log y) (+ y 0.5))) (- y z)))) (cbrt (+ (- x (* (log y) (+ y 0.5))) (- y z))) (pow (+ (- x (* (log y) (+ y 0.5))) (- y z)) 3) (sqrt (+ (- x (* (log y) (+ y 0.5))) (- y z))) (sqrt (+ (- x (* (log y) (+ y 0.5))) (- y z))) (- (pow (- x (- (* (log y) (+ y 0.5)) y)) 3) (pow z 3)) (+ (* (- x (- (* (log y) (+ y 0.5)) y)) (- x (- (* (log y) (+ y 0.5)) y))) (* z (+ (- x (- (* (log y) (+ y 0.5)) y)) z))) (- z) (- (* (- x (- (* (log y) (+ y 0.5)) y)) (- x (- (* (log y) (+ y 0.5)) y))) (* z z)) (+ (- x (- (* (log y) (+ y 0.5)) y)) z) (+ (sqrt z) (sqrt (- x (- (* (log y) (+ y 0.5)) y)))) (- (sqrt (- x (- (* (log y) (+ y 0.5)) y))) (sqrt z)) (+ (- x (* (log y) (+ y 0.5))) (- y z)) (+ (- x (* (log y) (+ y 0.5))) (- y z)) (- y z) (+ (- (* (log y) (+ y 0.5)) y) z) (- z) (/ (exp x) (pow y (+ y 0.5))) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (log y) (+ y 0.5)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (log y) (+ y 0.5)))) (cbrt (- x (* (log y) (+ y 0.5))))) (cbrt (- x (* (log y) (+ y 0.5)))) (pow (- x (* (log y) (+ y 0.5))) 3) (sqrt (- x (* (log y) (+ y 0.5)))) (sqrt (- x (* (log y) (+ y 0.5)))) (- (* (pow x 3) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (* (log y) (+ (pow y 3) (pow 0.5 3))) (* x x))) (* (+ (* 0.5 (- 0.5 y)) (* y y)) (* x x)) (- (* (- y 0.5) (pow x 3)) (* (* (log y) (- (* y y) (* 0.5 0.5))) (* x x))) (* (* (- y 0.5) x) x) (- (* (+ (* 0.5 (- 0.5 y)) (* y y)) (* x x)) (* (* (log y) (+ (pow y 3) (pow 0.5 3))) x)) (* (+ (* 0.5 (- 0.5 y)) (* y y)) x) (- (* (- y 0.5) (* x x)) (* (* (log y) (- (* y y) (* 0.5 0.5))) x)) (* (- y 0.5) x) (- (pow x 3) (pow (* (log y) (+ y 0.5)) 3)) (+ (* (* (+ y 0.5) (log y)) (+ x (* (log y) (+ y 0.5)))) (* x x)) (* (- (+ y 0.5)) (log y)) (- (* x x) (* (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)))) (+ x (* (log y) (+ y 0.5))) (- x (* y (log y))) (- x (* y (log y))) (* (- (+ y 0.5)) (log y)) (* (- (+ y 0.5)) (log y)) (* (log y) (+ y 0.5)) (* (- (+ y 0.5)) (log y)) (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)) (- (* (log -1) (+ y 0.5)) (* (log (/ -1 y)) (+ y 0.5))) (- x (- (* (log y) (+ y 0.5)) y)) (- x (- (* (log y) (+ y 0.5)) y)) (- (+ (+ x (* (log (/ -1 y)) (+ y 0.5))) y) (* (log -1) (+ y 0.5))) (- x (- (* (log y) (+ y 0.5)) y)) (- (+ y (- x (* y (log y)))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5))) (- (+ x (* (log (/ -1 y)) (+ y 0.5))) (* (log -1) (+ y 0.5))) 16.605 * * * [progress]: adding candidates to table 16.835 * * [progress]: iteration 3 / 4 16.835 * * * [progress]: picking best candidate 16.859 * * * * [pick]: Picked # 16.859 * * * [progress]: localizing error 16.875 * * * [progress]: generating rewritten candidates 16.875 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 16.876 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 16.877 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 16.889 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 16.903 * * * [progress]: generating series expansions 16.903 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 16.903 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 16.903 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.904 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.904 * [taylor]: Taking taylor expansion of 1/3 in y 16.904 * [taylor]: Taking taylor expansion of (log y) in y 16.904 * [taylor]: Taking taylor expansion of y in y 16.905 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.905 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.905 * [taylor]: Taking taylor expansion of 1/3 in y 16.905 * [taylor]: Taking taylor expansion of (log y) in y 16.905 * [taylor]: Taking taylor expansion of y in y 16.958 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 16.959 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.959 * [taylor]: Taking taylor expansion of 1/3 in y 16.959 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.959 * [taylor]: Taking taylor expansion of y in y 16.960 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.960 * [taylor]: Taking taylor expansion of 1/3 in y 16.960 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.960 * [taylor]: Taking taylor expansion of y in y 17.018 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 17.018 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.018 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.019 * [taylor]: Taking taylor expansion of -1 in y 17.019 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.019 * [taylor]: Taking taylor expansion of 1/3 in y 17.019 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.019 * [taylor]: Taking taylor expansion of y in y 17.020 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.020 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.020 * [taylor]: Taking taylor expansion of -1 in y 17.021 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.021 * [taylor]: Taking taylor expansion of 1/3 in y 17.021 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.021 * [taylor]: Taking taylor expansion of y in y 17.090 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 17.091 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 17.091 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.091 * [taylor]: Taking taylor expansion of 1/3 in y 17.091 * [taylor]: Taking taylor expansion of (log y) in y 17.091 * [taylor]: Taking taylor expansion of y in y 17.091 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.091 * [taylor]: Taking taylor expansion of 1/3 in y 17.091 * [taylor]: Taking taylor expansion of (log y) in y 17.091 * [taylor]: Taking taylor expansion of y in y 17.140 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 17.141 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.141 * [taylor]: Taking taylor expansion of 1/3 in y 17.141 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.141 * [taylor]: Taking taylor expansion of y in y 17.142 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.142 * [taylor]: Taking taylor expansion of 1/3 in y 17.142 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.142 * [taylor]: Taking taylor expansion of y in y 17.200 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 17.200 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.201 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.201 * [taylor]: Taking taylor expansion of -1 in y 17.201 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.201 * [taylor]: Taking taylor expansion of 1/3 in y 17.202 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.202 * [taylor]: Taking taylor expansion of y in y 17.203 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.203 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.203 * [taylor]: Taking taylor expansion of -1 in y 17.204 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.204 * [taylor]: Taking taylor expansion of 1/3 in y 17.204 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.204 * [taylor]: Taking taylor expansion of y in y 17.275 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 17.276 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 17.276 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.276 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.276 * [taylor]: Taking taylor expansion of 3 in y 17.276 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.276 * [taylor]: Taking taylor expansion of y in y 17.276 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.276 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.276 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.276 * [taylor]: Taking taylor expansion of 1/3 in y 17.276 * [taylor]: Taking taylor expansion of (log y) in y 17.276 * [taylor]: Taking taylor expansion of y in y 17.277 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.277 * [taylor]: Taking taylor expansion of 1.5 in y 17.277 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.277 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.277 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.277 * [taylor]: Taking taylor expansion of 1/3 in y 17.277 * [taylor]: Taking taylor expansion of (log y) in y 17.277 * [taylor]: Taking taylor expansion of y in y 17.277 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 17.278 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 17.278 * [taylor]: Taking taylor expansion of 3 in y 17.278 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 17.278 * [taylor]: Taking taylor expansion of y in y 17.278 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.278 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.278 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.278 * [taylor]: Taking taylor expansion of 1/3 in y 17.278 * [taylor]: Taking taylor expansion of (log y) in y 17.278 * [taylor]: Taking taylor expansion of y in y 17.278 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 17.278 * [taylor]: Taking taylor expansion of 1.5 in y 17.278 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 17.278 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 17.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 17.278 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 17.278 * [taylor]: Taking taylor expansion of 1/3 in y 17.278 * [taylor]: Taking taylor expansion of (log y) in y 17.279 * [taylor]: Taking taylor expansion of y in y 17.544 * [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 17.544 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 17.544 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 17.544 * [taylor]: Taking taylor expansion of 1.5 in y 17.544 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.544 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.544 * [taylor]: Taking taylor expansion of 1/3 in y 17.544 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.544 * [taylor]: Taking taylor expansion of y in y 17.545 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 17.545 * [taylor]: Taking taylor expansion of 3 in y 17.545 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 17.545 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.545 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.545 * [taylor]: Taking taylor expansion of 1/3 in y 17.545 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.545 * [taylor]: Taking taylor expansion of y in y 17.546 * [taylor]: Taking taylor expansion of y in y 17.546 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 17.546 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 17.546 * [taylor]: Taking taylor expansion of 1.5 in y 17.546 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.546 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.546 * [taylor]: Taking taylor expansion of 1/3 in y 17.546 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.546 * [taylor]: Taking taylor expansion of y in y 17.547 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 17.547 * [taylor]: Taking taylor expansion of 3 in y 17.547 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 17.547 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 17.547 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.547 * [taylor]: Taking taylor expansion of 1/3 in y 17.547 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.547 * [taylor]: Taking taylor expansion of y in y 17.548 * [taylor]: Taking taylor expansion of y in y 17.773 * [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 17.773 * [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 17.773 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.773 * [taylor]: Taking taylor expansion of 1.5 in y 17.773 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.773 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.773 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.773 * [taylor]: Taking taylor expansion of -1 in y 17.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.774 * [taylor]: Taking taylor expansion of 1/3 in y 17.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.774 * [taylor]: Taking taylor expansion of y in y 17.776 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.776 * [taylor]: Taking taylor expansion of 3 in y 17.776 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.776 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.776 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.776 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.776 * [taylor]: Taking taylor expansion of -1 in y 17.777 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.777 * [taylor]: Taking taylor expansion of 1/3 in y 17.777 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.777 * [taylor]: Taking taylor expansion of y in y 17.778 * [taylor]: Taking taylor expansion of y in y 17.779 * [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 17.779 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 17.779 * [taylor]: Taking taylor expansion of 1.5 in y 17.779 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.779 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.779 * [taylor]: Taking taylor expansion of -1 in y 17.779 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.780 * [taylor]: Taking taylor expansion of 1/3 in y 17.780 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.780 * [taylor]: Taking taylor expansion of y in y 17.781 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 17.781 * [taylor]: Taking taylor expansion of 3 in y 17.781 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 17.781 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 17.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 17.781 * [taylor]: Taking taylor expansion of (cbrt -1) in y 17.781 * [taylor]: Taking taylor expansion of -1 in y 17.782 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 17.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 17.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 17.782 * [taylor]: Taking taylor expansion of 1/3 in y 17.782 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.782 * [taylor]: Taking taylor expansion of y in y 17.784 * [taylor]: Taking taylor expansion of y in y 18.072 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 18.072 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 18.072 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 18.072 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 18.072 * [taylor]: Taking taylor expansion of y in y 18.072 * [taylor]: Taking taylor expansion of 0.5 in y 18.072 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 18.072 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 18.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 18.072 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 18.072 * [taylor]: Taking taylor expansion of 1/3 in y 18.072 * [taylor]: Taking taylor expansion of (log y) in y 18.072 * [taylor]: Taking taylor expansion of y in y 18.073 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 18.073 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 18.073 * [taylor]: Taking taylor expansion of y in y 18.073 * [taylor]: Taking taylor expansion of 0.5 in y 18.073 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 18.073 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 18.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 18.073 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 18.073 * [taylor]: Taking taylor expansion of 1/3 in y 18.073 * [taylor]: Taking taylor expansion of (log y) in y 18.073 * [taylor]: Taking taylor expansion of y in y 18.198 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 18.198 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 18.198 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.198 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.198 * [taylor]: Taking taylor expansion of 1/3 in y 18.198 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.198 * [taylor]: Taking taylor expansion of y in y 18.206 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 18.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.206 * [taylor]: Taking taylor expansion of y in y 18.206 * [taylor]: Taking taylor expansion of 0.5 in y 18.206 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 18.206 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 18.206 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.206 * [taylor]: Taking taylor expansion of 1/3 in y 18.206 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.206 * [taylor]: Taking taylor expansion of y in y 18.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 18.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.207 * [taylor]: Taking taylor expansion of y in y 18.207 * [taylor]: Taking taylor expansion of 0.5 in y 18.336 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 18.336 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.336 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 18.336 * [taylor]: Taking taylor expansion of 0.5 in y 18.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.336 * [taylor]: Taking taylor expansion of y in y 18.336 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.336 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.336 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.336 * [taylor]: Taking taylor expansion of -1 in y 18.337 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.337 * [taylor]: Taking taylor expansion of 1/3 in y 18.337 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.337 * [taylor]: Taking taylor expansion of y in y 18.339 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 18.339 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 18.339 * [taylor]: Taking taylor expansion of 0.5 in y 18.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.339 * [taylor]: Taking taylor expansion of y in y 18.339 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 18.339 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 18.339 * [taylor]: Taking taylor expansion of (cbrt -1) in y 18.339 * [taylor]: Taking taylor expansion of -1 in y 18.340 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 18.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 18.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 18.340 * [taylor]: Taking taylor expansion of 1/3 in y 18.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 18.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.340 * [taylor]: Taking taylor expansion of y in y 18.511 * * * [progress]: simplifying candidates 18.513 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (+ y 0.5) (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5)) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log 1))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (+ y 0.5) (log (cbrt y)))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (+ (log (+ y 0.5)) (log (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (exp (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt 1))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 18.517 * * [simplify]: iteration 0 : 167 enodes (cost 1466 ) 18.560 * * [simplify]: iteration 1 : 474 enodes (cost 1335 ) 18.724 * * [simplify]: iteration 2 : 1794 enodes (cost 1088 ) 19.418 * * [simplify]: iteration done : 5000 enodes (cost 1088 ) 19.419 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (log (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (pow (* 3 (* (+ y 0.5) (log (cbrt y)))) 3) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (+ (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (* (- y 0.5) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5)) (+ (* (* (+ (* y y) (* 0.5 (- 0.5 y))) (- (* y y) (* 0.5 0.5))) (* 2/3 (log y))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5)) (* (- y 0.5) (+ (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (+ y 0.5) (- (log (cbrt y)) (* 2/3 (log y)))) (* (+ y 0.5) (log (cbrt 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)))) (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5)) (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (+ (* 2/3 (log y)) (log 1))) (* (+ y 0.5) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y)))) (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y)))) (* (+ y 0.5) (* 2/3 (log y))) (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5)) (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5)) (* (+ y 0.5) (+ (* 2/3 (log y)) (log 1))) (* (+ y 0.5) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y)))) (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y)))) (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ (+ y 0.5) (* 0.5 2))) (* (log (cbrt y)) (+ (+ y 0.5) (* 0.5 2))) (* (+ 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)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (log 1) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (log 1) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) 1/3) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (* (- (log y)) -1/3) (+ (* 3 y) 1.5)) (+ (* (log (* (cbrt (- y)) (cbrt -1))) 1.5) (* 3 (* (log (* (cbrt (- y)) (cbrt -1))) y))) (* (+ y 0.5) (log (cbrt y))) (* (* (- (log y)) -1/3) (+ y 0.5)) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 19.419 * * * [progress]: adding candidates to table 19.763 * * [progress]: iteration 4 / 4 19.764 * * * [progress]: picking best candidate 19.782 * * * * [pick]: Picked # 19.782 * * * [progress]: localizing error 19.800 * * * [progress]: generating rewritten candidates 19.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 19.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 19.808 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 19.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 19.836 * * * [progress]: generating series expansions 19.836 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2 1) 19.836 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 19.836 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.836 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.836 * [taylor]: Taking taylor expansion of 1/3 in y 19.836 * [taylor]: Taking taylor expansion of (log y) in y 19.836 * [taylor]: Taking taylor expansion of y in y 19.837 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 19.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 19.837 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 19.837 * [taylor]: Taking taylor expansion of 1/3 in y 19.837 * [taylor]: Taking taylor expansion of (log y) in y 19.837 * [taylor]: Taking taylor expansion of y in y 19.892 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 19.892 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.892 * [taylor]: Taking taylor expansion of 1/3 in y 19.892 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.892 * [taylor]: Taking taylor expansion of y in y 19.893 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.893 * [taylor]: Taking taylor expansion of 1/3 in y 19.893 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.894 * [taylor]: Taking taylor expansion of y in y 19.954 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 19.954 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.954 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.954 * [taylor]: Taking taylor expansion of -1 in y 19.954 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.955 * [taylor]: Taking taylor expansion of 1/3 in y 19.955 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.955 * [taylor]: Taking taylor expansion of y in y 19.955 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 19.955 * [taylor]: Taking taylor expansion of (cbrt -1) in y 19.956 * [taylor]: Taking taylor expansion of -1 in y 19.956 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 19.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 19.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 19.956 * [taylor]: Taking taylor expansion of 1/3 in y 19.956 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.956 * [taylor]: Taking taylor expansion of y in y 20.029 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 20.029 * [approximate]: Taking taylor expansion of (* 1/3 (log y)) in (y) around 0 20.029 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.029 * [taylor]: Taking taylor expansion of 1/3 in y 20.029 * [taylor]: Taking taylor expansion of (log y) in y 20.029 * [taylor]: Taking taylor expansion of y in y 20.029 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.030 * [taylor]: Taking taylor expansion of 1/3 in y 20.030 * [taylor]: Taking taylor expansion of (log y) in y 20.030 * [taylor]: Taking taylor expansion of y in y 20.071 * [approximate]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in (y) around 0 20.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.071 * [taylor]: Taking taylor expansion of 1/3 in y 20.071 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.071 * [taylor]: Taking taylor expansion of y in y 20.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.072 * [taylor]: Taking taylor expansion of 1/3 in y 20.072 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.072 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.072 * [taylor]: Taking taylor expansion of y in y 20.124 * [approximate]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in (y) around 0 20.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 20.124 * [taylor]: Taking taylor expansion of 1/3 in y 20.124 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.124 * [taylor]: Taking taylor expansion of -1 in y 20.124 * [taylor]: Taking taylor expansion of y in y 20.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 20.125 * [taylor]: Taking taylor expansion of 1/3 in y 20.125 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.125 * [taylor]: Taking taylor expansion of -1 in y 20.125 * [taylor]: Taking taylor expansion of y in y 20.172 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 20.172 * [approximate]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in (y) around 0 20.172 * [taylor]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in y 20.172 * [taylor]: Taking taylor expansion of (* 2 (* y (log (pow y 1/3)))) in y 20.172 * [taylor]: Taking taylor expansion of 2 in y 20.172 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 20.172 * [taylor]: Taking taylor expansion of y in y 20.172 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.172 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.172 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.172 * [taylor]: Taking taylor expansion of 1/3 in y 20.172 * [taylor]: Taking taylor expansion of (log y) in y 20.172 * [taylor]: Taking taylor expansion of y in y 20.173 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y))))) in y 20.173 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log y)) in y 20.173 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.173 * [taylor]: Taking taylor expansion of (log y) in y 20.173 * [taylor]: Taking taylor expansion of y in y 20.174 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))) in y 20.174 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 1/3))) in y 20.174 * [taylor]: Taking taylor expansion of 1.0 in y 20.174 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.174 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.174 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.174 * [taylor]: Taking taylor expansion of 1/3 in y 20.174 * [taylor]: Taking taylor expansion of (log y) in y 20.174 * [taylor]: Taking taylor expansion of y in y 20.175 * [taylor]: Taking taylor expansion of (* 1/3 (* y (log y))) in y 20.175 * [taylor]: Taking taylor expansion of 1/3 in y 20.175 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.175 * [taylor]: Taking taylor expansion of y in y 20.175 * [taylor]: Taking taylor expansion of (log y) in y 20.175 * [taylor]: Taking taylor expansion of y in y 20.175 * [taylor]: Taking taylor expansion of (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) in y 20.175 * [taylor]: Taking taylor expansion of (* 2 (* y (log (pow y 1/3)))) in y 20.175 * [taylor]: Taking taylor expansion of 2 in y 20.175 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 20.175 * [taylor]: Taking taylor expansion of y in y 20.175 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.175 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.175 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.175 * [taylor]: Taking taylor expansion of 1/3 in y 20.175 * [taylor]: Taking taylor expansion of (log y) in y 20.175 * [taylor]: Taking taylor expansion of y in y 20.176 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y))))) in y 20.176 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log y)) in y 20.176 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.176 * [taylor]: Taking taylor expansion of (log y) in y 20.176 * [taylor]: Taking taylor expansion of y in y 20.176 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))) in y 20.176 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 1/3))) in y 20.176 * [taylor]: Taking taylor expansion of 1.0 in y 20.176 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 20.176 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 20.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 20.176 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 20.176 * [taylor]: Taking taylor expansion of 1/3 in y 20.176 * [taylor]: Taking taylor expansion of (log y) in y 20.176 * [taylor]: Taking taylor expansion of y in y 20.177 * [taylor]: Taking taylor expansion of (* 1/3 (* y (log y))) in y 20.177 * [taylor]: Taking taylor expansion of 1/3 in y 20.177 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.177 * [taylor]: Taking taylor expansion of y in y 20.177 * [taylor]: Taking taylor expansion of (log y) in y 20.177 * [taylor]: Taking taylor expansion of y in y 20.603 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in (y) around 0 20.603 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in y 20.603 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ 1 y)) y)) in y 20.603 * [taylor]: Taking taylor expansion of 1/3 in y 20.603 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.603 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.603 * [taylor]: Taking taylor expansion of y in y 20.604 * [taylor]: Taking taylor expansion of y in y 20.605 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 20.605 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ 1 y) 1/3))) in y 20.605 * [taylor]: Taking taylor expansion of 1.0 in y 20.605 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.605 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.605 * [taylor]: Taking taylor expansion of 1/3 in y 20.605 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.605 * [taylor]: Taking taylor expansion of y in y 20.606 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))) in y 20.606 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ 1 y))) in y 20.606 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.606 * [taylor]: Taking taylor expansion of y in y 20.606 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) y)) in y 20.606 * [taylor]: Taking taylor expansion of 2 in y 20.606 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 20.606 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.606 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.606 * [taylor]: Taking taylor expansion of 1/3 in y 20.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.607 * [taylor]: Taking taylor expansion of y in y 20.607 * [taylor]: Taking taylor expansion of y in y 20.608 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ 1 y)) y)) (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))))) in y 20.608 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ 1 y)) y)) in y 20.608 * [taylor]: Taking taylor expansion of 1/3 in y 20.608 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.608 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.608 * [taylor]: Taking taylor expansion of y in y 20.608 * [taylor]: Taking taylor expansion of y in y 20.609 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ 1 y) 1/3))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 20.609 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ 1 y) 1/3))) in y 20.609 * [taylor]: Taking taylor expansion of 1.0 in y 20.609 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.609 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.609 * [taylor]: Taking taylor expansion of 1/3 in y 20.609 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.609 * [taylor]: Taking taylor expansion of y in y 20.610 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ 1 y))) (* 2 (/ (log (pow (/ 1 y) 1/3)) y))) in y 20.610 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ 1 y))) in y 20.610 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.610 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.610 * [taylor]: Taking taylor expansion of y in y 20.611 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) y)) in y 20.611 * [taylor]: Taking taylor expansion of 2 in y 20.611 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 20.611 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 20.611 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.611 * [taylor]: Taking taylor expansion of 1/3 in y 20.611 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.611 * [taylor]: Taking taylor expansion of y in y 20.612 * [taylor]: Taking taylor expansion of y in y 20.972 * [approximate]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in (y) around 0 20.972 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in y 20.972 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 20.972 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ -1 y))) in y 20.972 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.972 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.972 * [taylor]: Taking taylor expansion of -1 in y 20.972 * [taylor]: Taking taylor expansion of y in y 20.973 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 20.973 * [taylor]: Taking taylor expansion of 1.0 in y 20.973 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 20.973 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.973 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.973 * [taylor]: Taking taylor expansion of -1 in y 20.974 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.974 * [taylor]: Taking taylor expansion of 1/3 in y 20.974 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.974 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.974 * [taylor]: Taking taylor expansion of y in y 20.975 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 20.976 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ -1 y)) y)) in y 20.976 * [taylor]: Taking taylor expansion of 1/3 in y 20.976 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.976 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.976 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.976 * [taylor]: Taking taylor expansion of -1 in y 20.976 * [taylor]: Taking taylor expansion of y in y 20.976 * [taylor]: Taking taylor expansion of y in y 20.977 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 20.978 * [taylor]: Taking taylor expansion of 2 in y 20.978 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 20.978 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 20.978 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.978 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.978 * [taylor]: Taking taylor expansion of -1 in y 20.978 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.978 * [taylor]: Taking taylor expansion of 1/3 in y 20.978 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.978 * [taylor]: Taking taylor expansion of y in y 20.980 * [taylor]: Taking taylor expansion of y in y 20.981 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)))) in y 20.981 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (log (/ -1 y))) (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 20.981 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (log (/ -1 y))) in y 20.981 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 20.981 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.981 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.981 * [taylor]: Taking taylor expansion of -1 in y 20.981 * [taylor]: Taking taylor expansion of y in y 20.981 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 20.981 * [taylor]: Taking taylor expansion of 1.0 in y 20.981 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 20.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.981 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.981 * [taylor]: Taking taylor expansion of -1 in y 20.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.982 * [taylor]: Taking taylor expansion of 1/3 in y 20.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.982 * [taylor]: Taking taylor expansion of y in y 20.984 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (log (/ -1 y)) y)) (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 20.984 * [taylor]: Taking taylor expansion of (* 1/3 (/ (log (/ -1 y)) y)) in y 20.984 * [taylor]: Taking taylor expansion of 1/3 in y 20.984 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.984 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.984 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.984 * [taylor]: Taking taylor expansion of -1 in y 20.984 * [taylor]: Taking taylor expansion of y in y 20.984 * [taylor]: Taking taylor expansion of y in y 20.986 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 20.986 * [taylor]: Taking taylor expansion of 2 in y 20.986 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 20.986 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 20.986 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 20.986 * [taylor]: Taking taylor expansion of (cbrt -1) in y 20.986 * [taylor]: Taking taylor expansion of -1 in y 20.987 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 20.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 20.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 20.987 * [taylor]: Taking taylor expansion of 1/3 in y 20.987 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.987 * [taylor]: Taking taylor expansion of y in y 20.988 * [taylor]: Taking taylor expansion of y in y 21.428 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 21.428 * [approximate]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in (y) around 0 21.428 * [taylor]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in y 21.428 * [taylor]: Taking taylor expansion of 1/3 in y 21.428 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 21.428 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.428 * [taylor]: Taking taylor expansion of y in y 21.428 * [taylor]: Taking taylor expansion of 0.5 in y 21.429 * [taylor]: Taking taylor expansion of (log y) in y 21.429 * [taylor]: Taking taylor expansion of y in y 21.429 * [taylor]: Taking taylor expansion of (* 1/3 (* (+ y 0.5) (log y))) in y 21.429 * [taylor]: Taking taylor expansion of 1/3 in y 21.429 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 21.429 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.429 * [taylor]: Taking taylor expansion of y in y 21.429 * [taylor]: Taking taylor expansion of 0.5 in y 21.429 * [taylor]: Taking taylor expansion of (log y) in y 21.429 * [taylor]: Taking taylor expansion of y in y 21.509 * [approximate]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in (y) around 0 21.509 * [taylor]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 21.509 * [taylor]: Taking taylor expansion of 1/3 in y 21.509 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.509 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.509 * [taylor]: Taking taylor expansion of y in y 21.509 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.509 * [taylor]: Taking taylor expansion of y in y 21.510 * [taylor]: Taking taylor expansion of 0.5 in y 21.510 * [taylor]: Taking taylor expansion of (* 1/3 (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 21.510 * [taylor]: Taking taylor expansion of 1/3 in y 21.510 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.510 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.510 * [taylor]: Taking taylor expansion of y in y 21.510 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.510 * [taylor]: Taking taylor expansion of y in y 21.511 * [taylor]: Taking taylor expansion of 0.5 in y 21.775 * [approximate]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in (y) around 0 21.775 * [taylor]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 21.775 * [taylor]: Taking taylor expansion of 1/3 in y 21.775 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 21.775 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.775 * [taylor]: Taking taylor expansion of 0.5 in y 21.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.775 * [taylor]: Taking taylor expansion of y in y 21.775 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.775 * [taylor]: Taking taylor expansion of -1 in y 21.776 * [taylor]: Taking taylor expansion of y in y 21.776 * [taylor]: Taking taylor expansion of (* 1/3 (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 21.776 * [taylor]: Taking taylor expansion of 1/3 in y 21.776 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 21.776 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.776 * [taylor]: Taking taylor expansion of 0.5 in y 21.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.776 * [taylor]: Taking taylor expansion of y in y 21.776 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.776 * [taylor]: Taking taylor expansion of -1 in y 21.776 * [taylor]: Taking taylor expansion of y in y 21.878 * * * [progress]: simplifying candidates 21.879 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (- (log y)) -1/3) (+ (log (- (log y))) (log -1/3)) (log (* (- (log y)) -1/3)) (exp (* (- (log y)) -1/3)) (* (* (* (- (log y)) (- (log y))) (- (log y))) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (- (log y)) -1/3)) (cbrt (* (- (log y)) -1/3))) (cbrt (* (- (log y)) -1/3)) (* (* (* (- (log y)) -1/3) (* (- (log y)) -1/3)) (* (- (log y)) -1/3)) (sqrt (* (- (log y)) -1/3)) (sqrt (* (- (log y)) -1/3)) (* (sqrt (- (log y))) (sqrt -1/3)) (* (sqrt (- (log y))) (sqrt -1/3)) (* (log y) -1/3) (* (- (log y)) (* (cbrt -1/3) (cbrt -1/3))) (* (- (log y)) (sqrt -1/3)) (* (- (log y)) 1) (* (cbrt (- (log y))) -1/3) (* (sqrt (- (log y))) -1/3) (* (- (log y)) -1/3) (* (log y) -1/3) (* (log y) -1/3) (* (cbrt (log y)) -1/3) (* (sqrt (log y)) -1/3) (* (log y) -1/3) (* (- (log y)) -1/3) (* (- (cbrt (log y))) -1/3) (* (- (sqrt (log y))) -1/3) (* (- (log y)) -1/3) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (* (- (log y)) -1/3) (+ y 0.5)))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (+ (* (* (* 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))) (* (* (- (log y)) -1/3) (+ (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)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (* (- (log y)) -1/3) (- (* y y) (* 0.5 0.5))))) (* (+ (* 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) (* (* (- (log y)) -1/3) (+ (pow y 3) (pow 0.5 3))))) (* (- 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) (* (* (- (log y)) -1/3) (- (* y y) (* 0.5 0.5))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (* (- (log y)) -1/3) (+ y 0.5)) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (* (- (log y)) -1/3) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (* (- (log y)) -1/3) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))) (+ (* 2 (log (cbrt y))) (* (- (log y)) -1/3)) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (- (log y)) -1/3) y)) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* y (* (- (log y)) -1/3))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (* (- (log y)) -1/3) (+ y 0.5))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (- (log y)) -1/3) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5)) (+ (+ (log (- (log y))) (log -1/3)) (log (+ y 0.5))) (+ (log (* (- (log y)) -1/3)) (log (+ y 0.5))) (log (* (* (- (log y)) -1/3) (+ y 0.5))) (exp (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (* (* (- (log y)) (- (log y))) (- (log y))) (* (* -1/3 -1/3) -1/3)) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (* (* (* (- (log y)) -1/3) (* (- (log y)) -1/3)) (* (- (log y)) -1/3)) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* (* (- (log y)) -1/3) (+ y 0.5))) (cbrt (* (* (- (log y)) -1/3) (+ y 0.5)))) (cbrt (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (* (* (- (log y)) -1/3) (+ y 0.5)) (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (- (log y)) -1/3) (+ y 0.5))) (sqrt (* (* (- (log y)) -1/3) (+ y 0.5))) (sqrt (* (* (- (log y)) -1/3) (+ y 0.5))) (* (* (log y) -1/3) (+ y 0.5)) (* (* (- (log y)) -1/3) y) (* (* (- (log y)) -1/3) 0.5) (* y (* (- (log y)) -1/3)) (* 0.5 (* (- (log y)) -1/3)) (* (* (- (log y)) -1/3) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (* (- (log y)) -1/3) (sqrt (+ y 0.5))) (* (* (- (log y)) -1/3) 1) (* (* (- (log y)) -1/3) 1) (* -1/3 (+ y 0.5)) (* (* (- (log y)) -1/3) (+ (pow y 3) (pow 0.5 3))) (* (* (- (log y)) -1/3) (- (* y y) (* 0.5 0.5))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 1/3 (log y)) (* -1/3 (log (/ 1 y))) (* 1/3 (- (log -1) (log (/ -1 y)))) (+ (* 2 (* y (log (pow y 1/3)))) (+ (* 0.16666666666666666 (log y)) (+ (* 1.0 (log (pow y 1/3))) (* 1/3 (* y (log y)))))) (- (+ (* 2 (* y (log (pow (/ 1 y) -1/3)))) (* 1.0 (log (pow (/ 1 y) -1/3)))) (+ (* 0.16666666666666666 (log (/ 1 y))) (* 1/3 (* y (log (/ 1 y)))))) (- (+ (* 1/3 (* (log -1) y)) (+ (* 0.16666666666666666 (log -1)) (+ (* 1.0 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 2 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))))) (+ (* 1/3 (* y (log (/ -1 y)))) (* 0.16666666666666666 (log (/ -1 y))))) (+ (* 0.16666666666666666 (log y)) (* 1/3 (* y (log y)))) (- (+ (* 0.16666666666666666 (log (/ 1 y))) (* 1/3 (* y (log (/ 1 y)))))) (- (+ (* 0.16666666666666666 (log -1)) (* 1/3 (* (log -1) y))) (+ (* 1/3 (* y (log (/ -1 y)))) (* 0.16666666666666666 (log (/ -1 y))))) 21.890 * * [simplify]: iteration 0 : 200 enodes (cost 1418 ) 21.941 * * [simplify]: iteration 1 : 586 enodes (cost 1269 ) 22.176 * * [simplify]: iteration 2 : 2509 enodes (cost 1053 ) 23.048 * * [simplify]: iteration done : 5000 enodes (cost 990 ) 23.049 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (log (log (cbrt y))) (log (log (cbrt y))) (exp (log (cbrt y))) (pow (log (cbrt y)) 3) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (pow (log (cbrt y)) 3) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (* (sqrt (- (log y))) (sqrt -1/3)) (* (sqrt (- (log y))) (sqrt -1/3)) (* (log y) -1/3) (* (- (log y)) (* (cbrt -1/3) (cbrt -1/3))) (* (- (log y)) (sqrt -1/3)) (- (log y)) (* (cbrt (- (log y))) -1/3) (* (sqrt (- (log y))) -1/3) (log (cbrt y)) (* (log y) -1/3) (* (log y) -1/3) (* (cbrt (log y)) -1/3) (* (sqrt (log y)) -1/3) (* (log y) -1/3) (log (cbrt y)) (* 1/3 (cbrt (log y))) (* (sqrt (log y)) 1/3) (log (cbrt y)) (exp (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (log (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (exp (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (* (cbrt (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (cbrt (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5)))) (cbrt (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (pow (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5)) 3) (sqrt (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (sqrt (* (+ (* 2/3 (log y)) (log (cbrt y))) (+ y 0.5))) (* (+ (* (+ (pow y 3) (pow 0.5 3)) (* (log y) 2/3)) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))) (+ (* y y) (* 0.5 (- 0.5 y)))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (+ (* (* (+ (pow y 3) (pow 0.5 3)) (- y 0.5)) (* (log y) 2/3)) (* (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (+ (* y y) (* 0.5 (- 0.5 y))))) (* (- y 0.5) (+ (* y y) (* 0.5 (- 0.5 y)))) (+ (* (log (cbrt y)) (* (+ (pow y 3) (pow 0.5 3)) (- y 0.5))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (* (* (log y) 2/3) (- (* y y) (* 0.5 0.5))))) (* (- y 0.5) (+ (* y y) (* 0.5 (- 0.5 y)))) (* (+ (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (* (* (log y) 2/3) (- (* y y) (* 0.5 0.5)))) (- y 0.5)) (* (- y 0.5) (- y 0.5)) (* (+ (pow (log (cbrt y)) 3) (pow (* (log y) 2/3) 3)) (pow (+ y 0.5) 3)) (+ (* (* (log (cbrt y)) (* (+ y 0.5) (+ y 0.5))) (- (log (cbrt y)) (* 2/3 (log y)))) (* (* (+ y 0.5) (+ y 0.5)) (* 4 (* (log (cbrt y)) (log (cbrt y)))))) (* (* (+ y 0.5) (+ y 0.5)) (- (* 4 (* (log (cbrt y)) (log (cbrt y)))) (* (* (log y) (log y)) 1/9))) (* (- (* (log y) 2/3) (log (cbrt y))) (+ y 0.5)) (+ (* 2/3 (log y)) (log (cbrt y))) (+ (* (log (cbrt y)) y) (* (* (log y) 2/3) (+ y 0.5))) (+ (* (log (cbrt y)) y) (* (* (log y) 2/3) (+ y 0.5))) (+ (* (log (cbrt y)) (+ y 0.5)) (* 0.5 (* (log y) 2/3))) (+ (* (log (cbrt y)) (+ y 0.5)) (* 0.5 (* (log y) 2/3))) (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (log (* (log (cbrt y)) (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (pow (exp (+ y 0.5)) (log (cbrt y))) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5)))) (cbrt (* (log (cbrt y)) (+ y 0.5))) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (sqrt (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (* (* (log y) -1/3) (+ y 0.5)) (* (log (cbrt y)) y) (* (log (cbrt y)) 0.5) (* (log (cbrt y)) y) (* (log (cbrt y)) 0.5) (* (cbrt (+ y 0.5)) (* (log (cbrt y)) (cbrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (log (cbrt y)) (log (cbrt y)) (* -1/3 (+ y 0.5)) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (cbrt y) (exp (log (cbrt y))) (* (cbrt (- y)) (cbrt -1)) (log (cbrt y)) (log (cbrt y)) (* 1/3 (- (log -1) (log (/ -1 y)))) (+ (+ (* 1.0 (log (cbrt y))) (* (log y) (+ 0.16666666666666666 (* 1/3 y)))) (* y (* (log y) 2/3))) (- (* (+ (* 2 y) 1.0) (log (cbrt y))) (* (- (log y)) (+ (* 1/3 y) 0.16666666666666666))) (+ (+ (+ (* 0.16666666666666666 (log -1)) (* (log (* (cbrt (- y)) (cbrt -1))) 1.0)) (* (* y (log (* (cbrt (- y)) (cbrt -1)))) 2)) (- (* 1/3 (* (log -1) y)) (* (log (/ -1 y)) (+ (* 1/3 y) 0.16666666666666666)))) (* (log y) (+ 0.16666666666666666 (* 1/3 y))) (- (* (- (log y)) (+ (* 1/3 y) 0.16666666666666666))) (+ (- (* 1/3 (* (log -1) y)) (* (log (/ -1 y)) (+ (* 1/3 y) 0.16666666666666666))) (* 0.16666666666666666 (log -1))) 23.050 * * * [progress]: adding candidates to table 23.381 * [progress]: [Phase 3 of 3] Extracting. 23.381 * * [regime]: Finding splitpoints for: (# # # # # # #) 23.383 * * * [regime-changes]: Trying 4 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) z y x) 23.384 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # # #) 23.419 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 23.447 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 23.478 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 23.509 * * * [regime]: Found split indices: #