12.691 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.035 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.036 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.039 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.048 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.081 * * [simplify]: iteration 4 : 570 enodes (cost 11 ) 0.207 * * [simplify]: iteration 5 : 1344 enodes (cost 11 ) 0.593 * * [simplify]: iteration 6 : 2025 enodes (cost 11 ) 1.365 * * [simplify]: iteration 7 : 3118 enodes (cost 11 ) 2.861 * * [simplify]: iteration 8 : 3488 enodes (cost 11 ) 4.683 * * [simplify]: iteration 9 : 3826 enodes (cost 11 ) 7.021 * * [simplify]: iteration 10 : 4766 enodes (cost 11 ) 9.552 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 9.553 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 9.556 * * [progress]: iteration 1 / 4 9.556 * * * [progress]: picking best candidate 9.558 * * * * [pick]: Picked # 9.558 * * * [progress]: localizing error 9.571 * * * [progress]: generating rewritten candidates 9.571 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 9.581 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 9.592 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 9.597 * * * [progress]: generating series expansions 9.597 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 9.597 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 9.597 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 9.597 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 9.597 * [taylor]: Taking taylor expansion of y in y 9.597 * [taylor]: Taking taylor expansion of 0.5 in y 9.597 * [taylor]: Taking taylor expansion of (log y) in y 9.597 * [taylor]: Taking taylor expansion of y in y 9.598 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 9.598 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 9.598 * [taylor]: Taking taylor expansion of y in y 9.598 * [taylor]: Taking taylor expansion of 0.5 in y 9.598 * [taylor]: Taking taylor expansion of (log y) in y 9.598 * [taylor]: Taking taylor expansion of y in y 9.670 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 9.670 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 9.670 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.670 * [taylor]: Taking taylor expansion of y in y 9.671 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 9.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.671 * [taylor]: Taking taylor expansion of y in y 9.671 * [taylor]: Taking taylor expansion of 0.5 in y 9.671 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 9.671 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.671 * [taylor]: Taking taylor expansion of y in y 9.672 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 9.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.672 * [taylor]: Taking taylor expansion of y in y 9.672 * [taylor]: Taking taylor expansion of 0.5 in y 9.746 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 9.746 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 9.746 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 9.747 * [taylor]: Taking taylor expansion of 0.5 in y 9.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.747 * [taylor]: Taking taylor expansion of y in y 9.747 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.747 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.747 * [taylor]: Taking taylor expansion of -1 in y 9.747 * [taylor]: Taking taylor expansion of y in y 9.747 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 9.747 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 9.747 * [taylor]: Taking taylor expansion of 0.5 in y 9.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.748 * [taylor]: Taking taylor expansion of y in y 9.748 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.748 * [taylor]: Taking taylor expansion of -1 in y 9.748 * [taylor]: Taking taylor expansion of y in y 9.833 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 9.833 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 9.833 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 9.833 * [taylor]: Taking taylor expansion of (+ x y) in y 9.833 * [taylor]: Taking taylor expansion of x in y 9.834 * [taylor]: Taking taylor expansion of y in y 9.834 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.834 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.834 * [taylor]: Taking taylor expansion of 0.5 in y 9.834 * [taylor]: Taking taylor expansion of (log y) in y 9.834 * [taylor]: Taking taylor expansion of y in y 9.834 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.834 * [taylor]: Taking taylor expansion of y in y 9.834 * [taylor]: Taking taylor expansion of (log y) in y 9.834 * [taylor]: Taking taylor expansion of y in y 9.834 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 9.834 * [taylor]: Taking taylor expansion of (+ x y) in x 9.834 * [taylor]: Taking taylor expansion of x in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.834 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.834 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.834 * [taylor]: Taking taylor expansion of 0.5 in x 9.834 * [taylor]: Taking taylor expansion of (log y) in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.834 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.834 * [taylor]: Taking taylor expansion of (log y) in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.834 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 9.835 * [taylor]: Taking taylor expansion of (+ x y) in x 9.835 * [taylor]: Taking taylor expansion of x in x 9.835 * [taylor]: Taking taylor expansion of y in x 9.835 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.835 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.835 * [taylor]: Taking taylor expansion of 0.5 in x 9.835 * [taylor]: Taking taylor expansion of (log y) in x 9.835 * [taylor]: Taking taylor expansion of y in x 9.835 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.835 * [taylor]: Taking taylor expansion of y in x 9.835 * [taylor]: Taking taylor expansion of (log y) in x 9.835 * [taylor]: Taking taylor expansion of y in x 9.835 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 9.835 * [taylor]: Taking taylor expansion of y in y 9.835 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.835 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.835 * [taylor]: Taking taylor expansion of 0.5 in y 9.835 * [taylor]: Taking taylor expansion of (log y) in y 9.835 * [taylor]: Taking taylor expansion of y in y 9.835 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.836 * [taylor]: Taking taylor expansion of y in y 9.836 * [taylor]: Taking taylor expansion of (log y) in y 9.836 * [taylor]: Taking taylor expansion of y in y 9.839 * [taylor]: Taking taylor expansion of 1 in y 9.842 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 9.842 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.842 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.842 * [taylor]: Taking taylor expansion of y in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.842 * [taylor]: Taking taylor expansion of x in y 9.842 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.842 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.842 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.842 * [taylor]: Taking taylor expansion of y in y 9.843 * [taylor]: Taking taylor expansion of y in y 9.843 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.843 * [taylor]: Taking taylor expansion of 0.5 in y 9.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.843 * [taylor]: Taking taylor expansion of y in y 9.844 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.844 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.844 * [taylor]: Taking taylor expansion of x in x 9.844 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.844 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.844 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.844 * [taylor]: Taking taylor expansion of 0.5 in x 9.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.844 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.844 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.845 * [taylor]: Taking taylor expansion of x in x 9.845 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.845 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.845 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.845 * [taylor]: Taking taylor expansion of y in x 9.845 * [taylor]: Taking taylor expansion of y in x 9.845 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.845 * [taylor]: Taking taylor expansion of 0.5 in x 9.845 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.845 * [taylor]: Taking taylor expansion of y in x 9.846 * [taylor]: Taking taylor expansion of 1 in y 9.847 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.847 * [taylor]: Taking taylor expansion of y in y 9.847 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.847 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.847 * [taylor]: Taking taylor expansion of y in y 9.847 * [taylor]: Taking taylor expansion of y in y 9.848 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.848 * [taylor]: Taking taylor expansion of 0.5 in y 9.848 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.848 * [taylor]: Taking taylor expansion of y in y 9.852 * [taylor]: Taking taylor expansion of 0 in y 9.854 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 9.855 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 9.855 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.855 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.855 * [taylor]: Taking taylor expansion of -1 in y 9.855 * [taylor]: Taking taylor expansion of y in y 9.855 * [taylor]: Taking taylor expansion of y in y 9.856 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 9.856 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.856 * [taylor]: Taking taylor expansion of y in y 9.857 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 9.857 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.857 * [taylor]: Taking taylor expansion of 0.5 in y 9.857 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.857 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.857 * [taylor]: Taking taylor expansion of -1 in y 9.857 * [taylor]: Taking taylor expansion of y in y 9.857 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.857 * [taylor]: Taking taylor expansion of x in y 9.857 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.857 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.857 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.857 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.857 * [taylor]: Taking taylor expansion of -1 in x 9.858 * [taylor]: Taking taylor expansion of y in x 9.858 * [taylor]: Taking taylor expansion of y in x 9.858 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.858 * [taylor]: Taking taylor expansion of y in x 9.858 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.858 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.858 * [taylor]: Taking taylor expansion of 0.5 in x 9.858 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.858 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.858 * [taylor]: Taking taylor expansion of -1 in x 9.858 * [taylor]: Taking taylor expansion of y in x 9.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.858 * [taylor]: Taking taylor expansion of x in x 9.858 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 9.861 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.861 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.861 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.861 * [taylor]: Taking taylor expansion of -1 in x 9.861 * [taylor]: Taking taylor expansion of y in x 9.861 * [taylor]: Taking taylor expansion of y in x 9.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.861 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.861 * [taylor]: Taking taylor expansion of y in x 9.861 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.861 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.861 * [taylor]: Taking taylor expansion of 0.5 in x 9.861 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.861 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.861 * [taylor]: Taking taylor expansion of -1 in x 9.861 * [taylor]: Taking taylor expansion of y in x 9.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.861 * [taylor]: Taking taylor expansion of x in x 9.863 * [taylor]: Taking taylor expansion of -1 in y 9.863 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 9.863 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.863 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.863 * [taylor]: Taking taylor expansion of -1 in y 9.863 * [taylor]: Taking taylor expansion of y in y 9.864 * [taylor]: Taking taylor expansion of y in y 9.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 9.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.865 * [taylor]: Taking taylor expansion of y in y 9.866 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.866 * [taylor]: Taking taylor expansion of 0.5 in y 9.866 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.866 * [taylor]: Taking taylor expansion of -1 in y 9.866 * [taylor]: Taking taylor expansion of y in y 9.870 * [taylor]: Taking taylor expansion of 0 in y 9.876 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 9.877 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 9.877 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 9.877 * [taylor]: Taking taylor expansion of x in y 9.877 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 9.877 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.877 * [taylor]: Taking taylor expansion of 0.5 in y 9.877 * [taylor]: Taking taylor expansion of (log y) in y 9.877 * [taylor]: Taking taylor expansion of y in y 9.877 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.877 * [taylor]: Taking taylor expansion of y in y 9.877 * [taylor]: Taking taylor expansion of (log y) in y 9.877 * [taylor]: Taking taylor expansion of y in y 9.877 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 9.877 * [taylor]: Taking taylor expansion of x in x 9.877 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.877 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.877 * [taylor]: Taking taylor expansion of 0.5 in x 9.877 * [taylor]: Taking taylor expansion of (log y) in x 9.877 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.878 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (log y) in x 9.878 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 9.878 * [taylor]: Taking taylor expansion of x in x 9.878 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 9.878 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 9.878 * [taylor]: Taking taylor expansion of 0.5 in x 9.878 * [taylor]: Taking taylor expansion of (log y) in x 9.878 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (* y (log y)) in x 9.878 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (log y) in x 9.878 * [taylor]: Taking taylor expansion of y in x 9.878 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 9.878 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 9.878 * [taylor]: Taking taylor expansion of (* y (log y)) in y 9.878 * [taylor]: Taking taylor expansion of y in y 9.878 * [taylor]: Taking taylor expansion of (log y) in y 9.878 * [taylor]: Taking taylor expansion of y in y 9.879 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 9.879 * [taylor]: Taking taylor expansion of 0.5 in y 9.879 * [taylor]: Taking taylor expansion of (log y) in y 9.879 * [taylor]: Taking taylor expansion of y in y 9.881 * [taylor]: Taking taylor expansion of 1 in y 9.884 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 9.884 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.884 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.884 * [taylor]: Taking taylor expansion of x in y 9.884 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.884 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.884 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.884 * [taylor]: Taking taylor expansion of y in y 9.885 * [taylor]: Taking taylor expansion of y in y 9.885 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.886 * [taylor]: Taking taylor expansion of 0.5 in y 9.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.886 * [taylor]: Taking taylor expansion of y in y 9.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.886 * [taylor]: Taking taylor expansion of x in x 9.886 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.886 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.886 * [taylor]: Taking taylor expansion of y in x 9.887 * [taylor]: Taking taylor expansion of y in x 9.887 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.887 * [taylor]: Taking taylor expansion of 0.5 in x 9.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.887 * [taylor]: Taking taylor expansion of y in x 9.887 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 9.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.887 * [taylor]: Taking taylor expansion of x in x 9.887 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 9.887 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 9.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.887 * [taylor]: Taking taylor expansion of y in x 9.887 * [taylor]: Taking taylor expansion of y in x 9.887 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 9.887 * [taylor]: Taking taylor expansion of 0.5 in x 9.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.887 * [taylor]: Taking taylor expansion of y in x 9.888 * [taylor]: Taking taylor expansion of 1 in y 9.888 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 9.889 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 9.889 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 9.889 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.889 * [taylor]: Taking taylor expansion of y in y 9.889 * [taylor]: Taking taylor expansion of y in y 9.890 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 9.890 * [taylor]: Taking taylor expansion of 0.5 in y 9.890 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.890 * [taylor]: Taking taylor expansion of y in y 9.893 * [taylor]: Taking taylor expansion of 0 in y 9.895 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 9.895 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 9.895 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.895 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.895 * [taylor]: Taking taylor expansion of -1 in y 9.896 * [taylor]: Taking taylor expansion of y in y 9.896 * [taylor]: Taking taylor expansion of y in y 9.897 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 9.897 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.897 * [taylor]: Taking taylor expansion of 0.5 in y 9.897 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.897 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.897 * [taylor]: Taking taylor expansion of -1 in y 9.897 * [taylor]: Taking taylor expansion of y in y 9.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.898 * [taylor]: Taking taylor expansion of x in y 9.898 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.898 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.898 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.898 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.898 * [taylor]: Taking taylor expansion of -1 in x 9.898 * [taylor]: Taking taylor expansion of y in x 9.898 * [taylor]: Taking taylor expansion of y in x 9.898 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.898 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.898 * [taylor]: Taking taylor expansion of 0.5 in x 9.898 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.898 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.898 * [taylor]: Taking taylor expansion of -1 in x 9.898 * [taylor]: Taking taylor expansion of y in x 9.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.898 * [taylor]: Taking taylor expansion of x in x 9.899 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 9.899 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 9.899 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.899 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.899 * [taylor]: Taking taylor expansion of -1 in x 9.899 * [taylor]: Taking taylor expansion of y in x 9.899 * [taylor]: Taking taylor expansion of y in x 9.899 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 9.899 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 9.899 * [taylor]: Taking taylor expansion of 0.5 in x 9.899 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.899 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.899 * [taylor]: Taking taylor expansion of -1 in x 9.899 * [taylor]: Taking taylor expansion of y in x 9.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.899 * [taylor]: Taking taylor expansion of x in x 9.900 * [taylor]: Taking taylor expansion of -1 in y 9.901 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 9.901 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 9.901 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.901 * [taylor]: Taking taylor expansion of -1 in y 9.901 * [taylor]: Taking taylor expansion of y in y 9.901 * [taylor]: Taking taylor expansion of y in y 9.903 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 9.903 * [taylor]: Taking taylor expansion of 0.5 in y 9.903 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.903 * [taylor]: Taking taylor expansion of -1 in y 9.903 * [taylor]: Taking taylor expansion of y in y 9.907 * [taylor]: Taking taylor expansion of 0 in y 9.912 * * * [progress]: simplifying candidates 9.913 * [simplify]: Simplifying using # : (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma (sqrt x) (sqrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma 1 x (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 9.917 * * [simplify]: iteration 0 : 153 enodes (cost 1113 ) 9.945 * * [simplify]: iteration 1 : 406 enodes (cost 1018 ) 10.026 * * [simplify]: iteration 2 : 1460 enodes (cost 914 ) 10.479 * * [simplify]: iteration done : 5001 enodes (cost 897 ) 10.479 * [simplify]: Simplified to: (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* y y) (* (fma (log y) (- (+ y 0.5)) x) (- x (fma (+ y 0.5) (log y) y)))) (* (- x (fma (+ y 0.5) (log y) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (- x (fma (+ y 0.5) (log y) y)) (+ (- x (* (+ y 0.5) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (- y (* (+ y 0.5) (log y))) (- y (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (log y) (- (+ y 0.5)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (log y) (- (+ y 0.5)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (fma x x (* (* (+ y 0.5) (log y)) (fma (log y) (+ y 0.5) x))) (- (* (+ y 0.5) (log y))) (* (fma (log y) (+ y 0.5) x) (fma (log y) (- (+ y 0.5)) x)) (fma (log y) (+ y 0.5) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (+ x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (+ x 0) (- (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) y) (fma (log y) (- (+ y 0.5)) x) (fma (log y) (- (+ y 0.5)) x) (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) 10.480 * * * [progress]: adding candidates to table 10.682 * * [progress]: iteration 2 / 4 10.682 * * * [progress]: picking best candidate 10.697 * * * * [pick]: Picked # 10.697 * * * [progress]: localizing error 10.711 * * * [progress]: generating rewritten candidates 10.711 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 10.712 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 10.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 10.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 10.742 * * * [progress]: generating series expansions 10.742 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 10.742 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.742 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.742 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.742 * [taylor]: Taking taylor expansion of 1/3 in y 10.742 * [taylor]: Taking taylor expansion of (log y) in y 10.742 * [taylor]: Taking taylor expansion of y in y 10.743 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.743 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.743 * [taylor]: Taking taylor expansion of 1/3 in y 10.743 * [taylor]: Taking taylor expansion of (log y) in y 10.743 * [taylor]: Taking taylor expansion of y in y 10.791 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.791 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.791 * [taylor]: Taking taylor expansion of 1/3 in y 10.791 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.791 * [taylor]: Taking taylor expansion of y in y 10.792 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.792 * [taylor]: Taking taylor expansion of 1/3 in y 10.792 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.792 * [taylor]: Taking taylor expansion of y in y 10.846 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 10.846 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.846 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.846 * [taylor]: Taking taylor expansion of -1 in y 10.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.847 * [taylor]: Taking taylor expansion of 1/3 in y 10.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.847 * [taylor]: Taking taylor expansion of y in y 10.848 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.848 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.848 * [taylor]: Taking taylor expansion of -1 in y 10.849 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.849 * [taylor]: Taking taylor expansion of 1/3 in y 10.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.849 * [taylor]: Taking taylor expansion of y in y 10.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 10.913 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.913 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.913 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.913 * [taylor]: Taking taylor expansion of 1/3 in y 10.913 * [taylor]: Taking taylor expansion of (log y) in y 10.914 * [taylor]: Taking taylor expansion of y in y 10.914 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.914 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.914 * [taylor]: Taking taylor expansion of 1/3 in y 10.914 * [taylor]: Taking taylor expansion of (log y) in y 10.914 * [taylor]: Taking taylor expansion of y in y 10.965 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.965 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.965 * [taylor]: Taking taylor expansion of 1/3 in y 10.965 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.965 * [taylor]: Taking taylor expansion of y in y 10.966 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.966 * [taylor]: Taking taylor expansion of 1/3 in y 10.966 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.966 * [taylor]: Taking taylor expansion of y in y 11.021 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 11.021 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.021 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.021 * [taylor]: Taking taylor expansion of -1 in y 11.022 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.022 * [taylor]: Taking taylor expansion of 1/3 in y 11.022 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.022 * [taylor]: Taking taylor expansion of y in y 11.023 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.023 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.023 * [taylor]: Taking taylor expansion of -1 in y 11.023 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.024 * [taylor]: Taking taylor expansion of 1/3 in y 11.024 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.024 * [taylor]: Taking taylor expansion of y in y 11.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 11.088 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 11.088 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 11.088 * [taylor]: Taking taylor expansion of x in y 11.088 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 11.088 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 11.088 * [taylor]: Taking taylor expansion of 3 in y 11.088 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 11.088 * [taylor]: Taking taylor expansion of y in y 11.088 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.088 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.088 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.089 * [taylor]: Taking taylor expansion of 1/3 in y 11.089 * [taylor]: Taking taylor expansion of (log y) in y 11.089 * [taylor]: Taking taylor expansion of y in y 11.089 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 11.089 * [taylor]: Taking taylor expansion of 1.5 in y 11.089 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.089 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.089 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.089 * [taylor]: Taking taylor expansion of 1/3 in y 11.089 * [taylor]: Taking taylor expansion of (log y) in y 11.089 * [taylor]: Taking taylor expansion of y in y 11.096 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 11.096 * [taylor]: Taking taylor expansion of x in x 11.096 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 11.096 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 11.096 * [taylor]: Taking taylor expansion of 3 in x 11.096 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 11.096 * [taylor]: Taking taylor expansion of y in x 11.096 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.096 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.096 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.096 * [taylor]: Taking taylor expansion of 1/3 in x 11.096 * [taylor]: Taking taylor expansion of (log y) in x 11.096 * [taylor]: Taking taylor expansion of y in x 11.097 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 11.097 * [taylor]: Taking taylor expansion of 1.5 in x 11.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.097 * [taylor]: Taking taylor expansion of 1/3 in x 11.097 * [taylor]: Taking taylor expansion of (log y) in x 11.097 * [taylor]: Taking taylor expansion of y in x 11.097 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 11.097 * [taylor]: Taking taylor expansion of x in x 11.097 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 11.097 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 11.097 * [taylor]: Taking taylor expansion of 3 in x 11.097 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 11.097 * [taylor]: Taking taylor expansion of y in x 11.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.097 * [taylor]: Taking taylor expansion of 1/3 in x 11.097 * [taylor]: Taking taylor expansion of (log y) in x 11.097 * [taylor]: Taking taylor expansion of y in x 11.097 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 11.097 * [taylor]: Taking taylor expansion of 1.5 in x 11.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.098 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.098 * [taylor]: Taking taylor expansion of 1/3 in x 11.098 * [taylor]: Taking taylor expansion of (log y) in x 11.098 * [taylor]: Taking taylor expansion of y in x 11.099 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 11.099 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 11.099 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 11.099 * [taylor]: Taking taylor expansion of 3 in y 11.099 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 11.099 * [taylor]: Taking taylor expansion of y in y 11.099 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.099 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.099 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.099 * [taylor]: Taking taylor expansion of 1/3 in y 11.099 * [taylor]: Taking taylor expansion of (log y) in y 11.099 * [taylor]: Taking taylor expansion of y in y 11.100 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 11.100 * [taylor]: Taking taylor expansion of 1.5 in y 11.100 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.100 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.101 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.101 * [taylor]: Taking taylor expansion of 1/3 in y 11.101 * [taylor]: Taking taylor expansion of (log y) in y 11.101 * [taylor]: Taking taylor expansion of y in y 11.107 * [taylor]: Taking taylor expansion of 1 in y 11.113 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 11.113 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 11.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.113 * [taylor]: Taking taylor expansion of x in y 11.113 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 11.113 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 11.113 * [taylor]: Taking taylor expansion of 1.5 in y 11.113 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.113 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.113 * [taylor]: Taking taylor expansion of 1/3 in y 11.113 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.113 * [taylor]: Taking taylor expansion of y in y 11.114 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 11.114 * [taylor]: Taking taylor expansion of 3 in y 11.114 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 11.114 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.114 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.114 * [taylor]: Taking taylor expansion of 1/3 in y 11.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.114 * [taylor]: Taking taylor expansion of y in y 11.115 * [taylor]: Taking taylor expansion of y in y 11.115 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 11.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.115 * [taylor]: Taking taylor expansion of x in x 11.116 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 11.116 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 11.116 * [taylor]: Taking taylor expansion of 1.5 in x 11.116 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.116 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.116 * [taylor]: Taking taylor expansion of 1/3 in x 11.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.116 * [taylor]: Taking taylor expansion of y in x 11.116 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 11.116 * [taylor]: Taking taylor expansion of 3 in x 11.116 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 11.116 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.116 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.116 * [taylor]: Taking taylor expansion of 1/3 in x 11.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.116 * [taylor]: Taking taylor expansion of y in x 11.116 * [taylor]: Taking taylor expansion of y in x 11.117 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 11.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.117 * [taylor]: Taking taylor expansion of x in x 11.117 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 11.117 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 11.117 * [taylor]: Taking taylor expansion of 1.5 in x 11.117 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.117 * [taylor]: Taking taylor expansion of 1/3 in x 11.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.117 * [taylor]: Taking taylor expansion of y in x 11.117 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 11.117 * [taylor]: Taking taylor expansion of 3 in x 11.117 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 11.117 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.117 * [taylor]: Taking taylor expansion of 1/3 in x 11.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.117 * [taylor]: Taking taylor expansion of y in x 11.118 * [taylor]: Taking taylor expansion of y in x 11.118 * [taylor]: Taking taylor expansion of 1 in y 11.119 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 11.119 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 11.119 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 11.119 * [taylor]: Taking taylor expansion of 1.5 in y 11.119 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.119 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.120 * [taylor]: Taking taylor expansion of 1/3 in y 11.120 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.120 * [taylor]: Taking taylor expansion of y in y 11.120 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 11.120 * [taylor]: Taking taylor expansion of 3 in y 11.121 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 11.121 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.121 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.121 * [taylor]: Taking taylor expansion of 1/3 in y 11.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.121 * [taylor]: Taking taylor expansion of y in y 11.122 * [taylor]: Taking taylor expansion of y in y 11.128 * [taylor]: Taking taylor expansion of 0 in y 11.133 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (x y) around 0 11.133 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 11.133 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.133 * [taylor]: Taking taylor expansion of 3 in y 11.133 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.133 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.133 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.133 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.133 * [taylor]: Taking taylor expansion of -1 in y 11.133 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.133 * [taylor]: Taking taylor expansion of 1/3 in y 11.134 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.134 * [taylor]: Taking taylor expansion of y in y 11.135 * [taylor]: Taking taylor expansion of y in y 11.136 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 11.136 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.136 * [taylor]: Taking taylor expansion of x in y 11.136 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.136 * [taylor]: Taking taylor expansion of 1.5 in y 11.136 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.136 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.136 * [taylor]: Taking taylor expansion of -1 in y 11.136 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.136 * [taylor]: Taking taylor expansion of 1/3 in y 11.136 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.137 * [taylor]: Taking taylor expansion of y in y 11.138 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 11.138 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 11.138 * [taylor]: Taking taylor expansion of 3 in x 11.138 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 11.138 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.138 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.138 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.138 * [taylor]: Taking taylor expansion of -1 in x 11.139 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.139 * [taylor]: Taking taylor expansion of 1/3 in x 11.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.139 * [taylor]: Taking taylor expansion of y in x 11.140 * [taylor]: Taking taylor expansion of y in x 11.141 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 11.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.141 * [taylor]: Taking taylor expansion of x in x 11.141 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 11.141 * [taylor]: Taking taylor expansion of 1.5 in x 11.141 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.141 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.141 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.141 * [taylor]: Taking taylor expansion of -1 in x 11.142 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.142 * [taylor]: Taking taylor expansion of 1/3 in x 11.142 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.142 * [taylor]: Taking taylor expansion of y in x 11.143 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 11.143 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 11.143 * [taylor]: Taking taylor expansion of 3 in x 11.143 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 11.143 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.143 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.143 * [taylor]: Taking taylor expansion of -1 in x 11.144 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.144 * [taylor]: Taking taylor expansion of 1/3 in x 11.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.144 * [taylor]: Taking taylor expansion of y in x 11.145 * [taylor]: Taking taylor expansion of y in x 11.146 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 11.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.146 * [taylor]: Taking taylor expansion of x in x 11.146 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 11.146 * [taylor]: Taking taylor expansion of 1.5 in x 11.146 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.146 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.146 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.146 * [taylor]: Taking taylor expansion of -1 in x 11.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.147 * [taylor]: Taking taylor expansion of 1/3 in x 11.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.147 * [taylor]: Taking taylor expansion of y in x 11.149 * [taylor]: Taking taylor expansion of -1 in y 11.151 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 11.151 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.151 * [taylor]: Taking taylor expansion of 3 in y 11.152 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.152 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.152 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.152 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.152 * [taylor]: Taking taylor expansion of -1 in y 11.152 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.152 * [taylor]: Taking taylor expansion of 1/3 in y 11.152 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.152 * [taylor]: Taking taylor expansion of y in y 11.154 * [taylor]: Taking taylor expansion of y in y 11.154 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.154 * [taylor]: Taking taylor expansion of 1.5 in y 11.154 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.154 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.154 * [taylor]: Taking taylor expansion of -1 in y 11.155 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.155 * [taylor]: Taking taylor expansion of 1/3 in y 11.155 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.155 * [taylor]: Taking taylor expansion of y in y 11.166 * [taylor]: Taking taylor expansion of 0 in y 11.174 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 11.174 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 11.174 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.174 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.174 * [taylor]: Taking taylor expansion of y in y 11.174 * [taylor]: Taking taylor expansion of 0.5 in y 11.174 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.174 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.174 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.174 * [taylor]: Taking taylor expansion of 1/3 in y 11.174 * [taylor]: Taking taylor expansion of (log y) in y 11.174 * [taylor]: Taking taylor expansion of y in y 11.175 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.175 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.175 * [taylor]: Taking taylor expansion of y in y 11.175 * [taylor]: Taking taylor expansion of 0.5 in y 11.175 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.175 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.175 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.175 * [taylor]: Taking taylor expansion of 1/3 in y 11.175 * [taylor]: Taking taylor expansion of (log y) in y 11.175 * [taylor]: Taking taylor expansion of y in y 11.302 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 11.302 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.302 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.302 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.302 * [taylor]: Taking taylor expansion of 1/3 in y 11.302 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.302 * [taylor]: Taking taylor expansion of y in y 11.303 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.303 * [taylor]: Taking taylor expansion of y in y 11.303 * [taylor]: Taking taylor expansion of 0.5 in y 11.303 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.303 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.303 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.303 * [taylor]: Taking taylor expansion of 1/3 in y 11.303 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.303 * [taylor]: Taking taylor expansion of y in y 11.304 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.304 * [taylor]: Taking taylor expansion of y in y 11.304 * [taylor]: Taking taylor expansion of 0.5 in y 11.437 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 11.437 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.437 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.437 * [taylor]: Taking taylor expansion of 0.5 in y 11.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.437 * [taylor]: Taking taylor expansion of y in y 11.438 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.438 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.438 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.438 * [taylor]: Taking taylor expansion of -1 in y 11.438 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.439 * [taylor]: Taking taylor expansion of 1/3 in y 11.439 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.439 * [taylor]: Taking taylor expansion of y in y 11.440 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.440 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.440 * [taylor]: Taking taylor expansion of 0.5 in y 11.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.440 * [taylor]: Taking taylor expansion of y in y 11.441 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.441 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.441 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.441 * [taylor]: Taking taylor expansion of -1 in y 11.441 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.441 * [taylor]: Taking taylor expansion of 1/3 in y 11.441 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.441 * [taylor]: Taking taylor expansion of y in y 11.614 * * * [progress]: simplifying candidates 11.615 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (fma (* (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma (sqrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (sqrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma 1 (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (expm1 (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (log1p (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (/ (/ (exp x) (exp (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (/ (exp (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (log (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (exp (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (* (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (- y 0.5)) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (- y 0.5)) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- y 0.5)) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (+ (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))) (+ (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) y)) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* y (log (cbrt y)))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (expm1 (* (log (cbrt y)) (+ y 0.5))) (log1p (* (log (cbrt y)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)) (+ (log (log (cbrt y))) (log (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (exp (* (log (cbrt y)) (+ y 0.5))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5)))) (cbrt (* (log (cbrt y)) (+ y 0.5))) (* (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (log (cbrt y)) y) (* (log (cbrt y)) 0.5) (* y (log (cbrt y))) (* 0.5 (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (log (cbrt y)) (sqrt (+ y 0.5))) (* (log (cbrt y)) 1) (* (log (cbrt y)) 1) (* (log y) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (cbrt (log (cbrt y))) (+ y 0.5)) (* (sqrt (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))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- x (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 11.620 * * [simplify]: iteration 0 : 176 enodes (cost 1674 ) 11.656 * * [simplify]: iteration 1 : 509 enodes (cost 1486 ) 11.782 * * [simplify]: iteration 2 : 2212 enodes (cost 1224 ) 12.526 * * [simplify]: iteration done : 5000 enodes (cost 1224 ) 12.527 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (fma (* (cbrt (- x (* (+ y 0.5) (* 2/3 (log y))))) (cbrt (- x (* (+ y 0.5) (* 2/3 (log y)))))) (cbrt (- x (* (+ y 0.5) (* 2/3 (log y))))) (- (* (log (cbrt y)) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (expm1 (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (log1p (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (exp (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (exp (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (log (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (exp (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (* (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y))))))) (cbrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (pow (- x (* 3 (* (+ y 0.5) (log (cbrt y))))) 3) (sqrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (sqrt (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (- (* (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (fma y y (* 0.5 (- 0.5 y)))) (* (log (cbrt y)) (* (+ (pow y 3) (pow 0.5 3)) (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x))))) (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (fma y y (* 0.5 (- 0.5 y)))) (fma (- y 0.5) (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (- (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))))) (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (- y 0.5)) (- (* (* (fma y y (* 0.5 (- 0.5 y))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- x (* (+ y 0.5) (* 2/3 (log y))))) (* (* (log (cbrt y)) (fma (* 2/3 (log y)) (+ y 0.5) x)) (+ (pow y 3) (pow 0.5 3)))) (* (fma y y (* 0.5 (- 0.5 y))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (fma (* (- x (* (+ y 0.5) (* 2/3 (log y)))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- y 0.5) (* (- (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))) (fma (* 2/3 (log y)) (+ y 0.5) x))) (* (- y 0.5) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- (pow (- x (* (+ y 0.5) (* 2/3 (log y)))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (fma (- x (* (+ y 0.5) (* 2/3 (log y)))) (- x (* (+ y 0.5) (* 2/3 (log y)))) (* (* (+ y 0.5) (log (cbrt y))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))))) (- (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* 3 (* (+ y 0.5) (log (cbrt y)))))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (* (- (+ y 0.5)) (* 3 (log (cbrt y)))) (* (- (+ y 0.5)) (* 3 (log (cbrt y)))) (* 3 (* (+ y 0.5) (log (cbrt y)))) (- (* (log (cbrt y)) (+ y 0.5))) (expm1 (* (log (cbrt y)) (+ y 0.5))) (log1p (* (log (cbrt y)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))) (log (* (log (cbrt y)) (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (pow (cbrt y) (+ y 0.5)) (pow (* (+ y 0.5) (log (cbrt y))) 3) (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5)))) (cbrt (* (log (cbrt y)) (+ y 0.5))) (pow (* (+ y 0.5) (log (cbrt y))) 3) (sqrt (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (log (cbrt y)) y) (* 0.5 (log (cbrt y))) (* (log (cbrt y)) y) (* 0.5 (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (log (cbrt y)) (sqrt (+ y 0.5))) (log (cbrt y)) (log (cbrt y)) (* (log y) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (cbrt (log (cbrt y))) (+ y 0.5)) (* (sqrt (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (* -1/3 (- (log y))) (+ 1.5 (* 3 y)))) (- x (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* y (log (* (cbrt (- y)) (cbrt -1)))) 3))) (* (+ y 0.5) (log (cbrt y))) (* -1/3 (* (- (log y)) (+ y 0.5))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 12.528 * * * [progress]: adding candidates to table 12.860 * * [progress]: iteration 3 / 4 12.860 * * * [progress]: picking best candidate 12.875 * * * * [pick]: Picked # 12.875 * * * [progress]: localizing error 12.891 * * * [progress]: generating rewritten candidates 12.891 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 12.891 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 12.892 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 12.913 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 12.928 * * * [progress]: generating series expansions 12.929 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 12.929 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 12.929 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.929 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.929 * [taylor]: Taking taylor expansion of 1/3 in y 12.929 * [taylor]: Taking taylor expansion of (log y) in y 12.929 * [taylor]: Taking taylor expansion of y in y 12.930 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.930 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.930 * [taylor]: Taking taylor expansion of 1/3 in y 12.930 * [taylor]: Taking taylor expansion of (log y) in y 12.930 * [taylor]: Taking taylor expansion of y in y 12.982 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 12.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.982 * [taylor]: Taking taylor expansion of 1/3 in y 12.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.982 * [taylor]: Taking taylor expansion of y in y 12.983 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.983 * [taylor]: Taking taylor expansion of 1/3 in y 12.983 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.983 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.983 * [taylor]: Taking taylor expansion of y in y 13.035 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.035 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.035 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.035 * [taylor]: Taking taylor expansion of -1 in y 13.036 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.036 * [taylor]: Taking taylor expansion of 1/3 in y 13.036 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.036 * [taylor]: Taking taylor expansion of y in y 13.037 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.037 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.037 * [taylor]: Taking taylor expansion of -1 in y 13.037 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.038 * [taylor]: Taking taylor expansion of 1/3 in y 13.038 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.038 * [taylor]: Taking taylor expansion of y in y 13.104 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 13.104 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.104 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.104 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.104 * [taylor]: Taking taylor expansion of 1/3 in y 13.104 * [taylor]: Taking taylor expansion of (log y) in y 13.104 * [taylor]: Taking taylor expansion of y in y 13.105 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.105 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.105 * [taylor]: Taking taylor expansion of 1/3 in y 13.105 * [taylor]: Taking taylor expansion of (log y) in y 13.105 * [taylor]: Taking taylor expansion of y in y 13.157 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.157 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.157 * [taylor]: Taking taylor expansion of 1/3 in y 13.157 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.157 * [taylor]: Taking taylor expansion of y in y 13.158 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.158 * [taylor]: Taking taylor expansion of 1/3 in y 13.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.158 * [taylor]: Taking taylor expansion of y in y 13.214 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.214 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.214 * [taylor]: Taking taylor expansion of -1 in y 13.215 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.215 * [taylor]: Taking taylor expansion of 1/3 in y 13.215 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.215 * [taylor]: Taking taylor expansion of y in y 13.216 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.216 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.216 * [taylor]: Taking taylor expansion of -1 in y 13.217 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.217 * [taylor]: Taking taylor expansion of 1/3 in y 13.217 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.217 * [taylor]: Taking taylor expansion of y in y 13.285 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 13.285 * [approximate]: Taking taylor expansion of (* (+ (* 3 y) 1.0) (log (pow y 1/3))) in (y) around 0 13.285 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.0) (log (pow y 1/3))) in y 13.285 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.0) in y 13.285 * [taylor]: Taking taylor expansion of (* 3 y) in y 13.285 * [taylor]: Taking taylor expansion of 3 in y 13.285 * [taylor]: Taking taylor expansion of y in y 13.285 * [taylor]: Taking taylor expansion of 1.0 in y 13.285 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.285 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.285 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.285 * [taylor]: Taking taylor expansion of 1/3 in y 13.285 * [taylor]: Taking taylor expansion of (log y) in y 13.285 * [taylor]: Taking taylor expansion of y in y 13.286 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.0) (log (pow y 1/3))) in y 13.286 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.0) in y 13.286 * [taylor]: Taking taylor expansion of (* 3 y) in y 13.286 * [taylor]: Taking taylor expansion of 3 in y 13.286 * [taylor]: Taking taylor expansion of y in y 13.286 * [taylor]: Taking taylor expansion of 1.0 in y 13.286 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.286 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.286 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.286 * [taylor]: Taking taylor expansion of 1/3 in y 13.286 * [taylor]: Taking taylor expansion of (log y) in y 13.286 * [taylor]: Taking taylor expansion of y in y 13.409 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.0)) in (y) around 0 13.409 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.0)) in y 13.409 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.409 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.409 * [taylor]: Taking taylor expansion of 1/3 in y 13.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.409 * [taylor]: Taking taylor expansion of y in y 13.410 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.0) in y 13.410 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.410 * [taylor]: Taking taylor expansion of 3 in y 13.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.410 * [taylor]: Taking taylor expansion of y in y 13.411 * [taylor]: Taking taylor expansion of 1.0 in y 13.411 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.0)) in y 13.411 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.411 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.411 * [taylor]: Taking taylor expansion of 1/3 in y 13.411 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.411 * [taylor]: Taking taylor expansion of y in y 13.412 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.0) in y 13.412 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.412 * [taylor]: Taking taylor expansion of 3 in y 13.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.412 * [taylor]: Taking taylor expansion of y in y 13.412 * [taylor]: Taking taylor expansion of 1.0 in y 13.542 * [approximate]: Taking taylor expansion of (* (- 1.0 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 13.542 * [taylor]: Taking taylor expansion of (* (- 1.0 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.542 * [taylor]: Taking taylor expansion of (- 1.0 (* 3 (/ 1 y))) in y 13.542 * [taylor]: Taking taylor expansion of 1.0 in y 13.542 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.542 * [taylor]: Taking taylor expansion of 3 in y 13.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.542 * [taylor]: Taking taylor expansion of y in y 13.543 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.543 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.543 * [taylor]: Taking taylor expansion of -1 in y 13.543 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.543 * [taylor]: Taking taylor expansion of 1/3 in y 13.543 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.544 * [taylor]: Taking taylor expansion of y in y 13.545 * [taylor]: Taking taylor expansion of (* (- 1.0 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.545 * [taylor]: Taking taylor expansion of (- 1.0 (* 3 (/ 1 y))) in y 13.545 * [taylor]: Taking taylor expansion of 1.0 in y 13.545 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.545 * [taylor]: Taking taylor expansion of 3 in y 13.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.545 * [taylor]: Taking taylor expansion of y in y 13.546 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.546 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.546 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.546 * [taylor]: Taking taylor expansion of -1 in y 13.546 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.546 * [taylor]: Taking taylor expansion of 1/3 in y 13.546 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.546 * [taylor]: Taking taylor expansion of y in y 13.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 13.713 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 13.713 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 13.713 * [taylor]: Taking taylor expansion of x in y 13.713 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.713 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.713 * [taylor]: Taking taylor expansion of 3 in y 13.713 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.713 * [taylor]: Taking taylor expansion of y in y 13.713 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.713 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.713 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.713 * [taylor]: Taking taylor expansion of 1/3 in y 13.713 * [taylor]: Taking taylor expansion of (log y) in y 13.713 * [taylor]: Taking taylor expansion of y in y 13.714 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.714 * [taylor]: Taking taylor expansion of 1.5 in y 13.714 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.714 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.714 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.714 * [taylor]: Taking taylor expansion of 1/3 in y 13.714 * [taylor]: Taking taylor expansion of (log y) in y 13.714 * [taylor]: Taking taylor expansion of y in y 13.715 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 13.715 * [taylor]: Taking taylor expansion of x in x 13.715 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 13.715 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 13.715 * [taylor]: Taking taylor expansion of 3 in x 13.715 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 13.715 * [taylor]: Taking taylor expansion of y in x 13.715 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.715 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.715 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.715 * [taylor]: Taking taylor expansion of 1/3 in x 13.715 * [taylor]: Taking taylor expansion of (log y) in x 13.715 * [taylor]: Taking taylor expansion of y in x 13.715 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 13.715 * [taylor]: Taking taylor expansion of 1.5 in x 13.715 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.715 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.715 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.715 * [taylor]: Taking taylor expansion of 1/3 in x 13.715 * [taylor]: Taking taylor expansion of (log y) in x 13.715 * [taylor]: Taking taylor expansion of y in x 13.716 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 13.716 * [taylor]: Taking taylor expansion of x in x 13.716 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 13.716 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 13.716 * [taylor]: Taking taylor expansion of 3 in x 13.716 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 13.716 * [taylor]: Taking taylor expansion of y in x 13.716 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.716 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.716 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.716 * [taylor]: Taking taylor expansion of 1/3 in x 13.716 * [taylor]: Taking taylor expansion of (log y) in x 13.716 * [taylor]: Taking taylor expansion of y in x 13.716 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 13.716 * [taylor]: Taking taylor expansion of 1.5 in x 13.716 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.716 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.716 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.716 * [taylor]: Taking taylor expansion of 1/3 in x 13.716 * [taylor]: Taking taylor expansion of (log y) in x 13.716 * [taylor]: Taking taylor expansion of y in x 13.717 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 13.717 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.717 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.717 * [taylor]: Taking taylor expansion of 3 in y 13.717 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.717 * [taylor]: Taking taylor expansion of y in y 13.717 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.717 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.717 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.717 * [taylor]: Taking taylor expansion of 1/3 in y 13.717 * [taylor]: Taking taylor expansion of (log y) in y 13.717 * [taylor]: Taking taylor expansion of y in y 13.718 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.718 * [taylor]: Taking taylor expansion of 1.5 in y 13.718 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.718 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.718 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.718 * [taylor]: Taking taylor expansion of 1/3 in y 13.718 * [taylor]: Taking taylor expansion of (log y) in y 13.718 * [taylor]: Taking taylor expansion of y in y 13.724 * [taylor]: Taking taylor expansion of 1 in y 13.733 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 13.733 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 13.734 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.734 * [taylor]: Taking taylor expansion of x in y 13.734 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.734 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.734 * [taylor]: Taking taylor expansion of 1.5 in y 13.734 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.734 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.734 * [taylor]: Taking taylor expansion of 1/3 in y 13.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.734 * [taylor]: Taking taylor expansion of y in y 13.735 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.735 * [taylor]: Taking taylor expansion of 3 in y 13.735 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.735 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.735 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.735 * [taylor]: Taking taylor expansion of 1/3 in y 13.735 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.735 * [taylor]: Taking taylor expansion of y in y 13.736 * [taylor]: Taking taylor expansion of y in y 13.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 13.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.736 * [taylor]: Taking taylor expansion of x in x 13.736 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 13.736 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 13.736 * [taylor]: Taking taylor expansion of 1.5 in x 13.736 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.736 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.736 * [taylor]: Taking taylor expansion of 1/3 in x 13.736 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.736 * [taylor]: Taking taylor expansion of y in x 13.737 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 13.737 * [taylor]: Taking taylor expansion of 3 in x 13.737 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 13.737 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.737 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.737 * [taylor]: Taking taylor expansion of 1/3 in x 13.737 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.737 * [taylor]: Taking taylor expansion of y in x 13.737 * [taylor]: Taking taylor expansion of y in x 13.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 13.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.737 * [taylor]: Taking taylor expansion of x in x 13.737 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 13.737 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 13.737 * [taylor]: Taking taylor expansion of 1.5 in x 13.737 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.737 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.738 * [taylor]: Taking taylor expansion of 1/3 in x 13.738 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.738 * [taylor]: Taking taylor expansion of y in x 13.738 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 13.738 * [taylor]: Taking taylor expansion of 3 in x 13.738 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 13.738 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.738 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.738 * [taylor]: Taking taylor expansion of 1/3 in x 13.738 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.738 * [taylor]: Taking taylor expansion of y in x 13.738 * [taylor]: Taking taylor expansion of y in x 13.739 * [taylor]: Taking taylor expansion of 1 in y 13.740 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 13.740 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.740 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.740 * [taylor]: Taking taylor expansion of 1.5 in y 13.740 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.740 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.740 * [taylor]: Taking taylor expansion of 1/3 in y 13.740 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.740 * [taylor]: Taking taylor expansion of y in y 13.741 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.741 * [taylor]: Taking taylor expansion of 3 in y 13.741 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.741 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.741 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.741 * [taylor]: Taking taylor expansion of 1/3 in y 13.741 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.741 * [taylor]: Taking taylor expansion of y in y 13.742 * [taylor]: Taking taylor expansion of y in y 13.748 * [taylor]: Taking taylor expansion of 0 in y 13.753 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (x y) around 0 13.753 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 13.753 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.753 * [taylor]: Taking taylor expansion of 3 in y 13.753 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.753 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.753 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.753 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.753 * [taylor]: Taking taylor expansion of -1 in y 13.754 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.754 * [taylor]: Taking taylor expansion of 1/3 in y 13.754 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.754 * [taylor]: Taking taylor expansion of y in y 13.756 * [taylor]: Taking taylor expansion of y in y 13.756 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.756 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.756 * [taylor]: Taking taylor expansion of x in y 13.756 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.756 * [taylor]: Taking taylor expansion of 1.5 in y 13.756 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.757 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.757 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.757 * [taylor]: Taking taylor expansion of -1 in y 13.757 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.757 * [taylor]: Taking taylor expansion of 1/3 in y 13.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.757 * [taylor]: Taking taylor expansion of y in y 13.759 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.759 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 13.759 * [taylor]: Taking taylor expansion of 3 in x 13.759 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 13.759 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.759 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.759 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.759 * [taylor]: Taking taylor expansion of -1 in x 13.760 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.760 * [taylor]: Taking taylor expansion of 1/3 in x 13.760 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.760 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.760 * [taylor]: Taking taylor expansion of y in x 13.761 * [taylor]: Taking taylor expansion of y in x 13.761 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.761 * [taylor]: Taking taylor expansion of x in x 13.761 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.762 * [taylor]: Taking taylor expansion of 1.5 in x 13.762 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.762 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.762 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.762 * [taylor]: Taking taylor expansion of -1 in x 13.762 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.762 * [taylor]: Taking taylor expansion of 1/3 in x 13.762 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.762 * [taylor]: Taking taylor expansion of y in x 13.763 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.763 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 13.763 * [taylor]: Taking taylor expansion of 3 in x 13.763 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 13.763 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.763 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.763 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.763 * [taylor]: Taking taylor expansion of -1 in x 13.764 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.764 * [taylor]: Taking taylor expansion of 1/3 in x 13.764 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.764 * [taylor]: Taking taylor expansion of y in x 13.765 * [taylor]: Taking taylor expansion of y in x 13.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.766 * [taylor]: Taking taylor expansion of x in x 13.766 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.766 * [taylor]: Taking taylor expansion of 1.5 in x 13.766 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.766 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.766 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.766 * [taylor]: Taking taylor expansion of -1 in x 13.767 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.767 * [taylor]: Taking taylor expansion of 1/3 in x 13.767 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.767 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.767 * [taylor]: Taking taylor expansion of y in x 13.768 * [taylor]: Taking taylor expansion of -1 in y 13.771 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.771 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.771 * [taylor]: Taking taylor expansion of 3 in y 13.771 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.771 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.771 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.771 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.771 * [taylor]: Taking taylor expansion of -1 in y 13.772 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.772 * [taylor]: Taking taylor expansion of 1/3 in y 13.772 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.772 * [taylor]: Taking taylor expansion of y in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.774 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.774 * [taylor]: Taking taylor expansion of 1.5 in y 13.774 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.774 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.774 * [taylor]: Taking taylor expansion of -1 in y 13.775 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.775 * [taylor]: Taking taylor expansion of 1/3 in y 13.775 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.775 * [taylor]: Taking taylor expansion of y in y 13.786 * [taylor]: Taking taylor expansion of 0 in y 13.794 * * * [progress]: simplifying candidates 13.796 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (log1p (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)) (+ (log (log (cbrt y))) (log (+ (* (+ y 0.5) 2) y))) (log (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (exp (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ (* (+ y 0.5) 2) y) (+ (* (+ y 0.5) 2) y)) (+ (* (+ y 0.5) 2) y))) (* (cbrt (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (cbrt (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (cbrt (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (* (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)) (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (sqrt (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (sqrt (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (sqrt (log (cbrt y))) (sqrt (+ (* (+ y 0.5) 2) y))) (* (sqrt (log (cbrt y))) (sqrt (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) (* (+ y 0.5) 2)) (* (log (cbrt y)) y) (* (* (+ y 0.5) 2) (log (cbrt y))) (* y (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ (* (+ y 0.5) 2) y)) (cbrt (+ (* (+ y 0.5) 2) y)))) (* (log (cbrt y)) (sqrt (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 1) (* (log y) (+ (* (+ y 0.5) 2) y)) (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)) (* (cbrt (log (cbrt y))) (+ (* (+ y 0.5) 2) y)) (* (sqrt (log (cbrt y))) (+ (* (+ y 0.5) 2) y)) (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)) (* (log (cbrt y)) (+ (pow (* (+ y 0.5) 2) 3) (pow y 3))) (* (log (cbrt y)) (- (* (* (+ y 0.5) 2) (* (+ y 0.5) 2)) (* y y))) (fma (* (cbrt (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (cbrt (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))))) (cbrt (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (- (* 0.5 (log (cbrt y))))) (fma (- 0.5) (log (cbrt y)) (* 0.5 (log (cbrt y)))) (fma (sqrt (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (sqrt (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (- (* 0.5 (log (cbrt y))))) (fma (- 0.5) (log (cbrt y)) (* 0.5 (log (cbrt y)))) (fma 1 (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- (* 0.5 (log (cbrt y))))) (fma (- 0.5) (log (cbrt y)) (* 0.5 (log (cbrt y)))) (expm1 (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (log1p (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (- (* (log (cbrt y)) 0.5)) (- (* (log (cbrt y)) 0.5)) (- (* (log (cbrt y)) 0.5)) (/ (/ (exp x) (exp (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (exp (* (log (cbrt y)) 0.5))) (/ (exp (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (exp (* (log (cbrt y)) 0.5))) (log (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (exp (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (* (cbrt (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (cbrt (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)))) (cbrt (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (* (* (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)) (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (sqrt (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (sqrt (- (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5))) (- (pow (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) 3) (pow (* (log (cbrt y)) 0.5) 3)) (+ (* (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (+ (* (* (log (cbrt y)) 0.5) (* (log (cbrt y)) 0.5)) (* (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)))) (- (* (log (cbrt y)) 0.5)) (- (* (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)))) (* (* (log (cbrt y)) 0.5) (* (log (cbrt y)) 0.5))) (+ (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)) (- (fma (- (+ (* (+ y 0.5) 2) y)) (log (cbrt y)) (* (+ (* (+ y 0.5) 2) y) (log (cbrt y)))) (* (log (cbrt y)) 0.5)) (- (fma (- (+ (* (+ y 0.5) 2) y)) (log (cbrt y)) (* (+ (* (+ y 0.5) 2) y) (log (cbrt y)))) (* (log (cbrt y)) 0.5)) (- (fma (- (+ (* (+ y 0.5) 2) y)) (log (cbrt y)) (* (+ (* (+ y 0.5) 2) y) (log (cbrt y)))) (* (log (cbrt y)) 0.5)) (- (- (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)) (- (- (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (* (log (cbrt y)) 0.5)) (+ (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y)) (* (log (cbrt y)) 0.5)) (- (* (log (cbrt y)) 0.5)) (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.0 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.0 (log (pow (/ 1 y) -1/3)))) (+ (* 1.0 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- x (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) 13.800 * * [simplify]: iteration 0 : 148 enodes (cost 1383 ) 13.829 * * [simplify]: iteration 1 : 386 enodes (cost 1213 ) 13.914 * * [simplify]: iteration 2 : 1472 enodes (cost 1047 ) 14.330 * * [simplify]: iteration done : 5000 enodes (cost 1047 ) 14.330 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (log1p (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (* (log (cbrt y)) (fma (+ y 0.5) 2 y)) (log (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (log (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (pow (cbrt y) (fma (+ y 0.5) 2 y)) (pow (* (log (cbrt y)) (fma (+ y 0.5) 2 y)) 3) (* (cbrt (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (cbrt (* (log (cbrt y)) (fma (+ y 0.5) 2 y)))) (cbrt (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (pow (* (log (cbrt y)) (fma (+ y 0.5) 2 y)) 3) (sqrt (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (sqrt (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (* (sqrt (fma (+ y 0.5) 2 y)) (sqrt (log (cbrt y)))) (* (sqrt (fma (+ y 0.5) 2 y)) (sqrt (log (cbrt y)))) (* (* 2/3 (log y)) (+ y 0.5)) (* (log (cbrt y)) y) (* (* 2/3 (log y)) (+ y 0.5)) (* (log (cbrt y)) y) (* (* (cbrt (fma (+ y 0.5) 2 y)) (cbrt (fma (+ y 0.5) 2 y))) (log (cbrt y))) (* (sqrt (fma (+ y 0.5) 2 y)) (log (cbrt y))) (log (cbrt y)) (* (fma (+ y 0.5) 2 y) (log y)) (* (log (cbrt y)) (fma (+ y 0.5) 2 y)) (* (fma (+ y 0.5) 2 y) (cbrt (log (cbrt y)))) (* (fma (+ y 0.5) 2 y) (sqrt (log (cbrt y)))) (* (log (cbrt y)) (fma (+ y 0.5) 2 y)) (* (log (cbrt y)) (fma (pow (+ y 0.5) 3) 8 (pow y 3))) (* (- (* (* (+ y 0.5) (+ y 0.5)) 4) (* y y)) (log (cbrt y))) (fma (* (cbrt (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y)))) (cbrt (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y))))) (cbrt (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y)))) (- (* (log (cbrt y)) 0.5))) (* (log (cbrt y)) (+ (- 0.5) 0.5)) (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))) (* (log (cbrt y)) (+ (- 0.5) 0.5)) (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))) (* (log (cbrt y)) (+ (- 0.5) 0.5)) (expm1 (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (log1p (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (- (* (log (cbrt y)) 0.5)) (- (* (log (cbrt y)) 0.5)) (- (* (log (cbrt y)) 0.5)) (exp (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (exp (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (log (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (exp (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (* (cbrt (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (cbrt (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))))) (cbrt (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (pow (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))) 3) (sqrt (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (sqrt (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (- (pow (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) 3) (pow (* (log (cbrt y)) 0.5) 3)) (fma (* 0.5 (log (cbrt y))) (- x (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (* (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y))) (- x (* (log (cbrt y)) (fma (+ y 0.5) 2 y))))) (- (* (log (cbrt y)) 0.5)) (* (- x (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (- x (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)))) (- x (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (+ (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y))) (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (+ (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y))) (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (+ (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y))) (* (log (cbrt y)) (- (fma (+ y 0.5) 2 y) 0.5))) (- (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))) (- (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5))) (* (log (cbrt y)) (+ (fma (+ y 0.5) 2 y) 0.5)) (- (* (log (cbrt y)) 0.5)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log (cbrt y)) (+ (* 3 y) 1.0)) (* (* (- (log y)) -1/3) (+ 1.0 (* 3 y))) (fma 1.0 (log (* (cbrt -1) (cbrt (- y)))) (* (* (log (* (cbrt -1) (cbrt (- y)))) y) 3)) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (* (- (log y)) -1/3) (+ 1.5 (* 3 y)))) (- x (fma 1.5 (log (* (cbrt -1) (cbrt (- y)))) (* (* (log (* (cbrt -1) (cbrt (- y)))) y) 3))) 14.331 * * * [progress]: adding candidates to table 14.649 * * [progress]: iteration 4 / 4 14.649 * * * [progress]: picking best candidate 14.661 * * * * [pick]: Picked # 14.661 * * * [progress]: localizing error 14.682 * * * [progress]: generating rewritten candidates 14.683 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 14.684 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 14.684 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 14.702 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 14.716 * * * [progress]: generating series expansions 14.716 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1 2 1) 14.717 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 14.717 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.717 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.717 * [taylor]: Taking taylor expansion of 1/3 in y 14.717 * [taylor]: Taking taylor expansion of (log y) in y 14.717 * [taylor]: Taking taylor expansion of y in y 14.718 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.718 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.718 * [taylor]: Taking taylor expansion of 1/3 in y 14.718 * [taylor]: Taking taylor expansion of (log y) in y 14.718 * [taylor]: Taking taylor expansion of y in y 14.768 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 14.768 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.768 * [taylor]: Taking taylor expansion of 1/3 in y 14.768 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.768 * [taylor]: Taking taylor expansion of y in y 14.769 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.769 * [taylor]: Taking taylor expansion of 1/3 in y 14.769 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.769 * [taylor]: Taking taylor expansion of y in y 14.819 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 1/3) in (y) around 0 14.820 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 14.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 14.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 14.820 * [taylor]: Taking taylor expansion of 1/3 in y 14.820 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.820 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.820 * [taylor]: Taking taylor expansion of -1 in y 14.820 * [taylor]: Taking taylor expansion of y in y 14.821 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 14.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 14.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 14.822 * [taylor]: Taking taylor expansion of 1/3 in y 14.822 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.822 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.822 * [taylor]: Taking taylor expansion of -1 in y 14.822 * [taylor]: Taking taylor expansion of y in y 14.882 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 14.882 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 14.882 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.882 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.882 * [taylor]: Taking taylor expansion of 1/3 in y 14.882 * [taylor]: Taking taylor expansion of (log y) in y 14.882 * [taylor]: Taking taylor expansion of y in y 14.883 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.883 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.883 * [taylor]: Taking taylor expansion of 1/3 in y 14.883 * [taylor]: Taking taylor expansion of (log y) in y 14.883 * [taylor]: Taking taylor expansion of y in y 14.933 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 14.933 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.933 * [taylor]: Taking taylor expansion of 1/3 in y 14.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.934 * [taylor]: Taking taylor expansion of y in y 14.934 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.934 * [taylor]: Taking taylor expansion of 1/3 in y 14.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.935 * [taylor]: Taking taylor expansion of y in y 14.989 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 14.989 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.989 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.989 * [taylor]: Taking taylor expansion of -1 in y 14.990 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.990 * [taylor]: Taking taylor expansion of 1/3 in y 14.990 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.990 * [taylor]: Taking taylor expansion of y in y 14.991 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.991 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.991 * [taylor]: Taking taylor expansion of -1 in y 14.992 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.992 * [taylor]: Taking taylor expansion of 1/3 in y 14.992 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.992 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.992 * [taylor]: Taking taylor expansion of y in y 15.054 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 15.054 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 15.054 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 15.054 * [taylor]: Taking taylor expansion of x in y 15.054 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 15.054 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 15.054 * [taylor]: Taking taylor expansion of 3 in y 15.054 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 15.054 * [taylor]: Taking taylor expansion of y in y 15.054 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.054 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.054 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.054 * [taylor]: Taking taylor expansion of 1/3 in y 15.054 * [taylor]: Taking taylor expansion of (log y) in y 15.054 * [taylor]: Taking taylor expansion of y in y 15.055 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 15.055 * [taylor]: Taking taylor expansion of 1.5 in y 15.055 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.055 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.055 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.055 * [taylor]: Taking taylor expansion of 1/3 in y 15.055 * [taylor]: Taking taylor expansion of (log y) in y 15.055 * [taylor]: Taking taylor expansion of y in y 15.056 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 15.056 * [taylor]: Taking taylor expansion of x in x 15.056 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 15.056 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 15.056 * [taylor]: Taking taylor expansion of 3 in x 15.056 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 15.056 * [taylor]: Taking taylor expansion of y in x 15.056 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.056 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.056 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.056 * [taylor]: Taking taylor expansion of 1/3 in x 15.056 * [taylor]: Taking taylor expansion of (log y) in x 15.056 * [taylor]: Taking taylor expansion of y in x 15.056 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 15.056 * [taylor]: Taking taylor expansion of 1.5 in x 15.056 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.056 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.056 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.056 * [taylor]: Taking taylor expansion of 1/3 in x 15.056 * [taylor]: Taking taylor expansion of (log y) in x 15.056 * [taylor]: Taking taylor expansion of y in x 15.056 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 15.056 * [taylor]: Taking taylor expansion of x in x 15.056 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 15.057 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 15.057 * [taylor]: Taking taylor expansion of 3 in x 15.057 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 15.057 * [taylor]: Taking taylor expansion of y in x 15.057 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.057 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.057 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.057 * [taylor]: Taking taylor expansion of 1/3 in x 15.057 * [taylor]: Taking taylor expansion of (log y) in x 15.057 * [taylor]: Taking taylor expansion of y in x 15.057 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 15.057 * [taylor]: Taking taylor expansion of 1.5 in x 15.057 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.057 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.057 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.057 * [taylor]: Taking taylor expansion of 1/3 in x 15.057 * [taylor]: Taking taylor expansion of (log y) in x 15.057 * [taylor]: Taking taylor expansion of y in x 15.063 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 15.063 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 15.063 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 15.063 * [taylor]: Taking taylor expansion of 3 in y 15.063 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 15.063 * [taylor]: Taking taylor expansion of y in y 15.063 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.063 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.063 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.063 * [taylor]: Taking taylor expansion of 1/3 in y 15.063 * [taylor]: Taking taylor expansion of (log y) in y 15.064 * [taylor]: Taking taylor expansion of y in y 15.064 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 15.064 * [taylor]: Taking taylor expansion of 1.5 in y 15.064 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.064 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.064 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.064 * [taylor]: Taking taylor expansion of 1/3 in y 15.064 * [taylor]: Taking taylor expansion of (log y) in y 15.065 * [taylor]: Taking taylor expansion of y in y 15.071 * [taylor]: Taking taylor expansion of 1 in y 15.077 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 15.077 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 15.077 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.077 * [taylor]: Taking taylor expansion of x in y 15.077 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 15.078 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 15.078 * [taylor]: Taking taylor expansion of 1.5 in y 15.078 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.078 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.078 * [taylor]: Taking taylor expansion of 1/3 in y 15.078 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.078 * [taylor]: Taking taylor expansion of y in y 15.079 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 15.079 * [taylor]: Taking taylor expansion of 3 in y 15.079 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 15.079 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.079 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.079 * [taylor]: Taking taylor expansion of 1/3 in y 15.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.079 * [taylor]: Taking taylor expansion of y in y 15.080 * [taylor]: Taking taylor expansion of y in y 15.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 15.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.080 * [taylor]: Taking taylor expansion of x in x 15.080 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 15.080 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 15.080 * [taylor]: Taking taylor expansion of 1.5 in x 15.080 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.080 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.080 * [taylor]: Taking taylor expansion of 1/3 in x 15.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.080 * [taylor]: Taking taylor expansion of y in x 15.080 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 15.080 * [taylor]: Taking taylor expansion of 3 in x 15.080 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 15.080 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.080 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.081 * [taylor]: Taking taylor expansion of 1/3 in x 15.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.081 * [taylor]: Taking taylor expansion of y in x 15.081 * [taylor]: Taking taylor expansion of y in x 15.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 15.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.081 * [taylor]: Taking taylor expansion of x in x 15.081 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 15.081 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 15.081 * [taylor]: Taking taylor expansion of 1.5 in x 15.081 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.081 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.081 * [taylor]: Taking taylor expansion of 1/3 in x 15.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.081 * [taylor]: Taking taylor expansion of y in x 15.082 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 15.082 * [taylor]: Taking taylor expansion of 3 in x 15.082 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 15.082 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.082 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.082 * [taylor]: Taking taylor expansion of 1/3 in x 15.082 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.082 * [taylor]: Taking taylor expansion of y in x 15.082 * [taylor]: Taking taylor expansion of y in x 15.082 * [taylor]: Taking taylor expansion of 1 in y 15.084 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 15.084 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 15.084 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 15.084 * [taylor]: Taking taylor expansion of 1.5 in y 15.084 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.084 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.084 * [taylor]: Taking taylor expansion of 1/3 in y 15.084 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.084 * [taylor]: Taking taylor expansion of y in y 15.085 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 15.085 * [taylor]: Taking taylor expansion of 3 in y 15.085 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 15.085 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.085 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.085 * [taylor]: Taking taylor expansion of 1/3 in y 15.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.085 * [taylor]: Taking taylor expansion of y in y 15.086 * [taylor]: Taking taylor expansion of y in y 15.092 * [taylor]: Taking taylor expansion of 0 in y 15.097 * [approximate]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)))) in (x y) around 0 15.097 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)))) in y 15.097 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) in y 15.098 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 15.098 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.098 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.098 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.098 * [taylor]: Taking taylor expansion of -1 in y 15.098 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.098 * [taylor]: Taking taylor expansion of 1/3 in y 15.098 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.098 * [taylor]: Taking taylor expansion of y in y 15.100 * [taylor]: Taking taylor expansion of y in y 15.100 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) in y 15.100 * [taylor]: Taking taylor expansion of 2 in y 15.100 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) y) in y 15.100 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.100 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.101 * [taylor]: Taking taylor expansion of 1/3 in y 15.101 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.101 * [taylor]: Taking taylor expansion of -1 in y 15.101 * [taylor]: Taking taylor expansion of y in y 15.103 * [taylor]: Taking taylor expansion of y in y 15.103 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x))) in y 15.103 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.103 * [taylor]: Taking taylor expansion of 0.5 in y 15.103 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.103 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.103 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.103 * [taylor]: Taking taylor expansion of -1 in y 15.104 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.104 * [taylor]: Taking taylor expansion of 1/3 in y 15.104 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.104 * [taylor]: Taking taylor expansion of y in y 15.105 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)) in y 15.105 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ -1 y) 1/3))) in y 15.105 * [taylor]: Taking taylor expansion of 1.0 in y 15.105 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.105 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.105 * [taylor]: Taking taylor expansion of 1/3 in y 15.105 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.106 * [taylor]: Taking taylor expansion of -1 in y 15.106 * [taylor]: Taking taylor expansion of y in y 15.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.108 * [taylor]: Taking taylor expansion of x in y 15.108 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)))) in x 15.108 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) in x 15.108 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 15.108 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.108 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.108 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.108 * [taylor]: Taking taylor expansion of -1 in x 15.108 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.108 * [taylor]: Taking taylor expansion of 1/3 in x 15.108 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.108 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.108 * [taylor]: Taking taylor expansion of y in x 15.109 * [taylor]: Taking taylor expansion of y in x 15.110 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) in x 15.110 * [taylor]: Taking taylor expansion of 2 in x 15.110 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) y) in x 15.110 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x 15.110 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x 15.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x 15.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x 15.110 * [taylor]: Taking taylor expansion of 1/3 in x 15.110 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.110 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.110 * [taylor]: Taking taylor expansion of -1 in x 15.110 * [taylor]: Taking taylor expansion of y in x 15.110 * [taylor]: Taking taylor expansion of y in x 15.110 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x))) in x 15.110 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 15.110 * [taylor]: Taking taylor expansion of 0.5 in x 15.110 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.110 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.110 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.110 * [taylor]: Taking taylor expansion of -1 in x 15.111 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.111 * [taylor]: Taking taylor expansion of 1/3 in x 15.111 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.111 * [taylor]: Taking taylor expansion of y in x 15.112 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)) in x 15.112 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ -1 y) 1/3))) in x 15.112 * [taylor]: Taking taylor expansion of 1.0 in x 15.112 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x 15.112 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x 15.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x 15.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x 15.112 * [taylor]: Taking taylor expansion of 1/3 in x 15.112 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.112 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.112 * [taylor]: Taking taylor expansion of -1 in x 15.112 * [taylor]: Taking taylor expansion of y in x 15.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.113 * [taylor]: Taking taylor expansion of x in x 15.113 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)))) in x 15.113 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2 (/ (log (pow (/ -1 y) 1/3)) y))) in x 15.113 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 15.113 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.113 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.113 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.113 * [taylor]: Taking taylor expansion of -1 in x 15.114 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.114 * [taylor]: Taking taylor expansion of 1/3 in x 15.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.114 * [taylor]: Taking taylor expansion of y in x 15.115 * [taylor]: Taking taylor expansion of y in x 15.115 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) in x 15.115 * [taylor]: Taking taylor expansion of 2 in x 15.115 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) y) in x 15.115 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x 15.115 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x 15.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x 15.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x 15.115 * [taylor]: Taking taylor expansion of 1/3 in x 15.115 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.115 * [taylor]: Taking taylor expansion of -1 in x 15.115 * [taylor]: Taking taylor expansion of y in x 15.115 * [taylor]: Taking taylor expansion of y in x 15.116 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x))) in x 15.116 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 15.116 * [taylor]: Taking taylor expansion of 0.5 in x 15.116 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 15.116 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 15.116 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.116 * [taylor]: Taking taylor expansion of -1 in x 15.116 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.116 * [taylor]: Taking taylor expansion of 1/3 in x 15.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.117 * [taylor]: Taking taylor expansion of y in x 15.117 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (/ 1 x)) in x 15.117 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ -1 y) 1/3))) in x 15.117 * [taylor]: Taking taylor expansion of 1.0 in x 15.117 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x 15.117 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x 15.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x 15.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x 15.118 * [taylor]: Taking taylor expansion of 1/3 in x 15.118 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 15.118 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.118 * [taylor]: Taking taylor expansion of -1 in x 15.118 * [taylor]: Taking taylor expansion of y in x 15.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.118 * [taylor]: Taking taylor expansion of x in x 15.119 * [taylor]: Taking taylor expansion of -1 in y 15.123 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 15.123 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 15.123 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) y)) in y 15.123 * [taylor]: Taking taylor expansion of 2 in y 15.123 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) y) in y 15.123 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.123 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.123 * [taylor]: Taking taylor expansion of 1/3 in y 15.124 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.124 * [taylor]: Taking taylor expansion of -1 in y 15.124 * [taylor]: Taking taylor expansion of y in y 15.126 * [taylor]: Taking taylor expansion of y in y 15.126 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 15.126 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.126 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.126 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.126 * [taylor]: Taking taylor expansion of -1 in y 15.127 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.127 * [taylor]: Taking taylor expansion of 1/3 in y 15.127 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.127 * [taylor]: Taking taylor expansion of y in y 15.128 * [taylor]: Taking taylor expansion of y in y 15.129 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (pow (/ -1 y) 1/3))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 15.129 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ -1 y) 1/3))) in y 15.129 * [taylor]: Taking taylor expansion of 1.0 in y 15.129 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.129 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.129 * [taylor]: Taking taylor expansion of 1/3 in y 15.129 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.129 * [taylor]: Taking taylor expansion of -1 in y 15.129 * [taylor]: Taking taylor expansion of y in y 15.131 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 15.131 * [taylor]: Taking taylor expansion of 0.5 in y 15.131 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 15.131 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.131 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.131 * [taylor]: Taking taylor expansion of -1 in y 15.132 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.132 * [taylor]: Taking taylor expansion of 1/3 in y 15.132 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.132 * [taylor]: Taking taylor expansion of y in y 15.149 * [taylor]: Taking taylor expansion of 0 in y 15.170 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 15.170 * [approximate]: Taking taylor expansion of (* 2 (* (+ y 0.5) (log (pow y 1/3)))) in (y) around 0 15.170 * [taylor]: Taking taylor expansion of (* 2 (* (+ y 0.5) (log (pow y 1/3)))) in y 15.170 * [taylor]: Taking taylor expansion of 2 in y 15.170 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 15.170 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.170 * [taylor]: Taking taylor expansion of y in y 15.170 * [taylor]: Taking taylor expansion of 0.5 in y 15.170 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.170 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.170 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.170 * [taylor]: Taking taylor expansion of 1/3 in y 15.170 * [taylor]: Taking taylor expansion of (log y) in y 15.170 * [taylor]: Taking taylor expansion of y in y 15.171 * [taylor]: Taking taylor expansion of (* 2 (* (+ y 0.5) (log (pow y 1/3)))) in y 15.171 * [taylor]: Taking taylor expansion of 2 in y 15.171 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 15.171 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.171 * [taylor]: Taking taylor expansion of y in y 15.171 * [taylor]: Taking taylor expansion of 0.5 in y 15.171 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.171 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.171 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.171 * [taylor]: Taking taylor expansion of 1/3 in y 15.171 * [taylor]: Taking taylor expansion of (log y) in y 15.172 * [taylor]: Taking taylor expansion of y in y 15.299 * [approximate]: Taking taylor expansion of (* 2 (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in (y) around 0 15.299 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y 15.299 * [taylor]: Taking taylor expansion of 2 in y 15.299 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 15.299 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.299 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.299 * [taylor]: Taking taylor expansion of 1/3 in y 15.299 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.299 * [taylor]: Taking taylor expansion of y in y 15.300 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.300 * [taylor]: Taking taylor expansion of y in y 15.300 * [taylor]: Taking taylor expansion of 0.5 in y 15.300 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y 15.300 * [taylor]: Taking taylor expansion of 2 in y 15.300 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 15.300 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.300 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.300 * [taylor]: Taking taylor expansion of 1/3 in y 15.300 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.300 * [taylor]: Taking taylor expansion of y in y 15.301 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.301 * [taylor]: Taking taylor expansion of y in y 15.301 * [taylor]: Taking taylor expansion of 0.5 in y 15.437 * [approximate]: Taking taylor expansion of (* 2 (* (log (pow (/ -1 y) 1/3)) (- 0.5 (/ 1 y)))) in (y) around 0 15.437 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow (/ -1 y) 1/3)) (- 0.5 (/ 1 y)))) in y 15.437 * [taylor]: Taking taylor expansion of 2 in y 15.437 * [taylor]: Taking taylor expansion of (* (log (pow (/ -1 y) 1/3)) (- 0.5 (/ 1 y))) in y 15.437 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.437 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.437 * [taylor]: Taking taylor expansion of 1/3 in y 15.437 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.437 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.437 * [taylor]: Taking taylor expansion of -1 in y 15.437 * [taylor]: Taking taylor expansion of y in y 15.439 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.439 * [taylor]: Taking taylor expansion of 0.5 in y 15.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.439 * [taylor]: Taking taylor expansion of y in y 15.439 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow (/ -1 y) 1/3)) (- 0.5 (/ 1 y)))) in y 15.439 * [taylor]: Taking taylor expansion of 2 in y 15.439 * [taylor]: Taking taylor expansion of (* (log (pow (/ -1 y) 1/3)) (- 0.5 (/ 1 y))) in y 15.439 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 15.439 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 15.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 15.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 15.439 * [taylor]: Taking taylor expansion of 1/3 in y 15.439 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.439 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.439 * [taylor]: Taking taylor expansion of -1 in y 15.439 * [taylor]: Taking taylor expansion of y in y 15.441 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.441 * [taylor]: Taking taylor expansion of 0.5 in y 15.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.441 * [taylor]: Taking taylor expansion of y in y 15.608 * * * [progress]: simplifying candidates 15.610 * [simplify]: Simplifying using # : (expm1 (pow y 1/3)) (log1p (pow y 1/3)) (* (log y) 1/3) (* (log y) 1/3) (* 1 1/3) (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) (pow y 1) (pow (* (cbrt y) (cbrt y)) 1/3) (pow (cbrt y) 1/3) (pow (sqrt y) 1/3) (pow (sqrt y) 1/3) (pow 1 1/3) (pow y 1/3) (log (pow y 1/3)) (exp (pow y 1/3)) (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3))) (cbrt (pow y 1/3)) (* (* (pow y 1/3) (pow y 1/3)) (pow y 1/3)) (sqrt (pow y 1/3)) (sqrt (pow y 1/3)) (pow y (/ 1/3 2)) (pow y (/ 1/3 2)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (fma (* (cbrt (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (cbrt (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))))) (cbrt (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma (sqrt (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (sqrt (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma 1 (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (expm1 (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (log1p (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (/ (/ (exp x) (exp (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (/ (exp (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (log (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (exp (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (cbrt (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (cbrt (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (cbrt (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (* (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (pow y 1/3))) (+ y 0.5)) 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* x (* (* 2 (log (pow y 1/3))) (+ y 0.5))))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* x x) (+ (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* x (* (* 2 (log (pow y 1/3))) (+ y 0.5))))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (pow y 1/3))) (+ y 0.5)) 3)) (- y 0.5)) (* (+ (* x x) (+ (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* x (* (* 2 (log (pow y 1/3))) (+ y 0.5))))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ (* x x) (+ (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* x (* (* 2 (log (pow y 1/3))) (+ y 0.5))))) (- y 0.5)) (- (* (- (* x x) (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (* x x) (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (- y 0.5)) (* (+ x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (+ (* (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (+ (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))) (+ (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) y)) (- (- x (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* y (log (cbrt y)))) (- (fma (- (+ y 0.5)) (* 2 (log (pow y 1/3))) (* (+ y 0.5) (* 2 (log (pow y 1/3))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (pow y 1/3))) (* (+ y 0.5) (* 2 (log (pow y 1/3))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (pow y 1/3))) (* (+ y 0.5) (* 2 (log (pow y 1/3))))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (+ (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (expm1 (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (log1p (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (+ (+ (log 2) (log (log (pow y 1/3)))) (log (+ y 0.5))) (+ (log (* 2 (log (pow y 1/3)))) (log (+ y 0.5))) (log (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (exp (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (* (* (* 2 2) 2) (* (* (log (pow y 1/3)) (log (pow y 1/3))) (log (pow y 1/3)))) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (* (* (* 2 (log (pow y 1/3))) (* 2 (log (pow y 1/3)))) (* 2 (log (pow y 1/3)))) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (cbrt (* (* 2 (log (pow y 1/3))) (+ y 0.5)))) (cbrt (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (* (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (sqrt (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (sqrt (* (* 2 (log (pow y 1/3))) (+ y 0.5))) (* (* 2 (log (pow y 1/3))) y) (* (* 2 (log (pow y 1/3))) 0.5) (* y (* 2 (log (pow y 1/3)))) (* 0.5 (* 2 (log (pow y 1/3)))) (* (* 2 (log (pow y 1/3))) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (* 2 (log (pow y 1/3))) (sqrt (+ y 0.5))) (* (* 2 (log (pow y 1/3))) 1) (* (* 2 (log (pow y 1/3))) 1) (* (log (pow y 1/3)) (+ y 0.5)) (* (* 2 (log (pow y 1/3))) (+ (pow y 3) (pow 0.5 3))) (* (* 2 (log (pow y 1/3))) (- (* y y) (* 0.5 0.5))) (pow y 1/3) (pow (/ 1 y) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 y))))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- (+ (* 2/3 (* y (log (/ -1 y)))) (+ (* 0.3333333333333333 (log (/ -1 y))) x)) (+ (* 2/3 (* (log -1) y)) (+ (* 0.3333333333333333 (log -1)) (+ (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y) (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))))))) (+ (* 2 (* y (log (pow y 1/3)))) (* 1.0 (log (pow y 1/3)))) (+ (* 2 (* y (log (pow (/ 1 y) -1/3)))) (* 1.0 (log (pow (/ 1 y) -1/3)))) (- (+ (* 0.3333333333333333 (log -1)) (* 2/3 (* (log -1) y))) (+ (* 2/3 (* y (log (/ -1 y)))) (* 0.3333333333333333 (log (/ -1 y))))) 15.616 * * [simplify]: iteration 0 : 228 enodes (cost 1913 ) 15.664 * * [simplify]: iteration 1 : 645 enodes (cost 1594 ) 15.838 * * [simplify]: iteration 2 : 3136 enodes (cost 1333 ) 16.732 * * [simplify]: iteration done : 5001 enodes (cost 1333 ) 16.734 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (log (cbrt y)) 1/3 (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) y (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (log (cbrt y)) (exp (cbrt y)) (pow (cbrt y) 2/3) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/6) (pow y 1/6) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (pow (cbrt y) 2/3) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (- (* (* (cbrt (- x (* (* 2/3 (log y)) (+ y 0.5)))) (cbrt (- x (* (* 2/3 (log y)) (+ y 0.5))))) (cbrt (- x (* (* 2/3 (log y)) (+ y 0.5))))) (* (log (cbrt y)) (+ y 0.5))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y))))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y))))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (expm1 (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (log1p (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (- (* (+ y 0.5) (log (cbrt y)))) (- (* (+ y 0.5) (log (cbrt y)))) (- (* (+ y 0.5) (log (cbrt y)))) (exp (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (exp (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (log (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (exp (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (* (cbrt (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (cbrt (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y))))))) (cbrt (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (pow (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y))))) 3) (sqrt (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (sqrt (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (fma y y (* 0.5 (- 0.5 y)))) (* (fma (* (* 2/3 (log y)) (+ y 0.5)) (fma (+ y 0.5) (* 2/3 (log y)) x) (* x x)) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (fma (* (* 2/3 (log y)) (+ y 0.5)) (fma (+ y 0.5) (* 2/3 (log y)) x) (* x x)) (fma y y (* 0.5 (- 0.5 y)))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (- y 0.5)) (* (- (* y y) (* 0.5 0.5)) (* (fma (* (* 2/3 (log y)) (+ y 0.5)) (fma (+ y 0.5) (* 2/3 (log y)) x) (* x x)) (log (cbrt y))))) (* (- y 0.5) (fma (* (* 2/3 (log y)) (+ y 0.5)) (fma (+ y 0.5) (* 2/3 (log y)) x) (* x x))) (- (* (fma (+ y 0.5) (* 2/3 (log y)) x) (* (- x (* (* 2/3 (log y)) (+ y 0.5))) (fma y y (* 0.5 (- 0.5 y))))) (* (* (log (cbrt y)) (fma (+ y 0.5) (* 2/3 (log y)) x)) (+ (pow y 3) (pow 0.5 3)))) (* (fma (+ y 0.5) (* 2/3 (log y)) x) (fma y y (* 0.5 (- 0.5 y)))) (- (* (* (fma (+ y 0.5) (* 2/3 (log y)) x) (- y 0.5)) (- x (* (* 2/3 (log y)) (+ y 0.5)))) (* (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (fma (+ y 0.5) (* 2/3 (log y)) x))) (* (fma (+ y 0.5) (* 2/3 (log y)) x) (- y 0.5)) (- (pow (- x (* (* 2/3 (log y)) (+ y 0.5))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (fma (* (log (cbrt y)) (+ y 0.5)) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (* (- x (* (* 2/3 (log y)) (+ y 0.5))) (- x (* (* 2/3 (log y)) (+ y 0.5))))) (- (* (+ y 0.5) (log (cbrt y)))) (* (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y))))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (- x (* (log (cbrt y)) (+ (* (+ y 0.5) 2) y))) (+ (* (* 2/3 (log y)) (- (+ y 0.5))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (+ (* (* 2/3 (log y)) (- (+ y 0.5))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (+ (* (* 2/3 (log y)) (- (+ y 0.5))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (* (+ y 0.5) (- (- (* 2/3 (log y))) (log (cbrt y)))) (* (+ y 0.5) (- (- (* 2/3 (log y))) (log (cbrt y)))) (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt y)))) (- (* (+ y 0.5) (log (cbrt y)))) (expm1 (* (* 2/3 (log y)) (+ y 0.5))) (log1p (* (* 2/3 (log y)) (+ y 0.5))) (* (* 2/3 (log y)) (+ y 0.5)) (* (* 2/3 (log y)) (+ y 0.5)) (log (* (* 2/3 (log y)) (+ y 0.5))) (log (* (* 2/3 (log y)) (+ y 0.5))) (log (* (* 2/3 (log y)) (+ y 0.5))) (pow (pow y 2/3) (+ y 0.5)) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3) (* (cbrt (* (* 2/3 (log y)) (+ y 0.5))) (cbrt (* (* 2/3 (log y)) (+ y 0.5)))) (cbrt (* (* 2/3 (log y)) (+ y 0.5))) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3) (sqrt (* (* 2/3 (log y)) (+ y 0.5))) (sqrt (* (* 2/3 (log y)) (+ y 0.5))) (* (* 2/3 (log y)) y) (* (* 2/3 (log y)) 0.5) (* (* 2/3 (log y)) y) (* (* 2/3 (log y)) 0.5) (* (* 2/3 (log y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* 2/3 (log y))) (* 2/3 (log y)) (* 2/3 (log y)) (* (log (cbrt y)) (+ y 0.5)) (* (+ (pow y 3) (pow 0.5 3)) (* 2/3 (log y))) (* (- y 0.5) (* (* 2/3 (log y)) (+ y 0.5))) (cbrt y) (pow (/ 1 y) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 y))))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (* -1/3 (- (log y))) (+ 1.5 (* 3 y)))) (- (+ x (* (log (/ -1 y)) (+ 0.3333333333333333 (* 2/3 y)))) (fma 2/3 (* (log -1) y) (fma 0.3333333333333333 (log -1) (* (log (* (cbrt -1) (cbrt (- y)))) (+ y 0.5))))) (* (log (cbrt y)) (+ (* 2 y) 1.0)) (* (* -1/3 (- (log y))) (+ 1.0 (* 2 y))) (- (fma 0.3333333333333333 (log -1) (* 2/3 (* (log -1) y))) (* (log (/ -1 y)) (+ 0.3333333333333333 (* 2/3 y)))) 16.735 * * * [progress]: adding candidates to table 17.112 * [progress]: [Phase 3 of 3] Extracting. 17.112 * * [regime]: Finding splitpoints for: (# # # # # #) 17.114 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 17.114 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # #) 17.146 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # # #) 17.180 * * * * [regimes]: Trying to branch on z from (# # # # # #) 17.212 * * * * [regimes]: Trying to branch on y from (# # # # # #) 17.239 * * * * [regimes]: Trying to branch on x from (# # # # # #) 17.269 * * * [regime]: Found split indices: #