48.777 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.031 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.033 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.035 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 0.043 * * [simplify]: iteration 3 : 163 enodes (cost 12 ) 0.084 * * [simplify]: iteration 4 : 484 enodes (cost 12 ) 0.190 * * [simplify]: iteration 5 : 868 enodes (cost 12 ) 0.416 * * [simplify]: iteration 6 : 1407 enodes (cost 12 ) 0.890 * * [simplify]: iteration 7 : 1976 enodes (cost 12 ) 1.529 * * [simplify]: iteration 8 : 2094 enodes (cost 12 ) 2.235 * * [simplify]: iteration 9 : 2253 enodes (cost 12 ) 3.144 * * [simplify]: iteration 10 : 2452 enodes (cost 12 ) 4.755 * * [simplify]: iteration 11 : 3712 enodes (cost 12 ) 7.776 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 7.776 * [simplify]: Simplified to: (- (+ (- x (* (+ y 0.5) (log y))) y) z) 7.776 * * [progress]: iteration 1 / 4 7.776 * * * [progress]: picking best candidate 7.778 * * * * [pick]: Picked # 7.778 * * * [progress]: localizing error 7.787 * * * [progress]: generating rewritten candidates 7.787 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 7.798 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.807 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 7.812 * * * [progress]: generating series expansions 7.812 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 7.812 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 7.812 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 7.812 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 7.812 * [taylor]: Taking taylor expansion of y in y 7.812 * [taylor]: Taking taylor expansion of 0.5 in y 7.812 * [taylor]: Taking taylor expansion of (log y) in y 7.812 * [taylor]: Taking taylor expansion of y in y 7.813 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 7.813 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.813 * [taylor]: Taking taylor expansion of 0.5 in y 7.813 * [taylor]: Taking taylor expansion of (log y) in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.884 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 7.885 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 7.885 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.885 * [taylor]: Taking taylor expansion of y in y 7.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 7.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.885 * [taylor]: Taking taylor expansion of y in y 7.885 * [taylor]: Taking taylor expansion of 0.5 in y 7.885 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 7.885 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.885 * [taylor]: Taking taylor expansion of y in y 7.886 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 7.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.886 * [taylor]: Taking taylor expansion of y in y 7.886 * [taylor]: Taking taylor expansion of 0.5 in y 7.962 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 7.962 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 7.962 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 7.962 * [taylor]: Taking taylor expansion of 0.5 in y 7.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.962 * [taylor]: Taking taylor expansion of y in y 7.962 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.962 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.962 * [taylor]: Taking taylor expansion of -1 in y 7.962 * [taylor]: Taking taylor expansion of y in y 7.963 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 7.963 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 7.963 * [taylor]: Taking taylor expansion of 0.5 in y 7.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.963 * [taylor]: Taking taylor expansion of y in y 7.963 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.963 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.963 * [taylor]: Taking taylor expansion of -1 in y 7.963 * [taylor]: Taking taylor expansion of y in y 8.051 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 8.051 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 8.051 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 8.051 * [taylor]: Taking taylor expansion of (+ x y) in y 8.051 * [taylor]: Taking taylor expansion of x in y 8.051 * [taylor]: Taking taylor expansion of y in y 8.051 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 8.051 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 8.051 * [taylor]: Taking taylor expansion of 0.5 in y 8.051 * [taylor]: Taking taylor expansion of (log y) in y 8.051 * [taylor]: Taking taylor expansion of y in y 8.052 * [taylor]: Taking taylor expansion of (* y (log y)) in y 8.052 * [taylor]: Taking taylor expansion of y in y 8.052 * [taylor]: Taking taylor expansion of (log y) in y 8.052 * [taylor]: Taking taylor expansion of y in y 8.052 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 8.052 * [taylor]: Taking taylor expansion of (+ x y) in x 8.052 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 8.052 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 8.052 * [taylor]: Taking taylor expansion of 0.5 in x 8.052 * [taylor]: Taking taylor expansion of (log y) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (* y (log y)) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (log y) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 8.052 * [taylor]: Taking taylor expansion of (+ x y) in x 8.052 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 8.052 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 8.052 * [taylor]: Taking taylor expansion of 0.5 in x 8.052 * [taylor]: Taking taylor expansion of (log y) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (* y (log y)) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (log y) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.053 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.053 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 8.053 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 8.053 * [taylor]: Taking taylor expansion of 0.5 in y 8.053 * [taylor]: Taking taylor expansion of (log y) in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.053 * [taylor]: Taking taylor expansion of (* y (log y)) in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.053 * [taylor]: Taking taylor expansion of (log y) in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.057 * [taylor]: Taking taylor expansion of 1 in y 8.060 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 8.060 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 8.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.060 * [taylor]: Taking taylor expansion of y in y 8.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.061 * [taylor]: Taking taylor expansion of x in y 8.061 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 8.061 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 8.061 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.061 * [taylor]: Taking taylor expansion of y in y 8.061 * [taylor]: Taking taylor expansion of y in y 8.062 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 8.062 * [taylor]: Taking taylor expansion of 0.5 in y 8.062 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.062 * [taylor]: Taking taylor expansion of y in y 8.062 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 8.062 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.062 * [taylor]: Taking taylor expansion of y in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.063 * [taylor]: Taking taylor expansion of x in x 8.063 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 8.063 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 8.063 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.063 * [taylor]: Taking taylor expansion of y in x 8.063 * [taylor]: Taking taylor expansion of y in x 8.063 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 8.063 * [taylor]: Taking taylor expansion of 0.5 in x 8.063 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.063 * [taylor]: Taking taylor expansion of y in x 8.063 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 8.063 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.063 * [taylor]: Taking taylor expansion of y in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.063 * [taylor]: Taking taylor expansion of x in x 8.063 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 8.064 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 8.064 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.064 * [taylor]: Taking taylor expansion of y in x 8.064 * [taylor]: Taking taylor expansion of y in x 8.064 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 8.064 * [taylor]: Taking taylor expansion of 0.5 in x 8.064 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.064 * [taylor]: Taking taylor expansion of y in x 8.064 * [taylor]: Taking taylor expansion of 1 in y 8.065 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 8.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.065 * [taylor]: Taking taylor expansion of y in y 8.066 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 8.066 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 8.066 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.066 * [taylor]: Taking taylor expansion of y in y 8.066 * [taylor]: Taking taylor expansion of y in y 8.072 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 8.073 * [taylor]: Taking taylor expansion of 0.5 in y 8.073 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.073 * [taylor]: Taking taylor expansion of y in y 8.076 * [taylor]: Taking taylor expansion of 0 in y 8.080 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 8.080 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 8.080 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 8.080 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.080 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.080 * [taylor]: Taking taylor expansion of -1 in y 8.080 * [taylor]: Taking taylor expansion of y in y 8.080 * [taylor]: Taking taylor expansion of y in y 8.082 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.082 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 8.082 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 8.082 * [taylor]: Taking taylor expansion of 0.5 in y 8.082 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.082 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.082 * [taylor]: Taking taylor expansion of -1 in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.083 * [taylor]: Taking taylor expansion of x in y 8.083 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 8.083 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 8.083 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.083 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.083 * [taylor]: Taking taylor expansion of -1 in x 8.083 * [taylor]: Taking taylor expansion of y in x 8.083 * [taylor]: Taking taylor expansion of y in x 8.083 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 8.083 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.083 * [taylor]: Taking taylor expansion of y in x 8.083 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 8.083 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 8.083 * [taylor]: Taking taylor expansion of 0.5 in x 8.083 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.083 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.083 * [taylor]: Taking taylor expansion of -1 in x 8.083 * [taylor]: Taking taylor expansion of y in x 8.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.083 * [taylor]: Taking taylor expansion of x in x 8.083 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 8.083 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 8.083 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.084 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.084 * [taylor]: Taking taylor expansion of -1 in x 8.084 * [taylor]: Taking taylor expansion of y in x 8.084 * [taylor]: Taking taylor expansion of y in x 8.084 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 8.084 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.084 * [taylor]: Taking taylor expansion of y in x 8.084 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 8.084 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 8.084 * [taylor]: Taking taylor expansion of 0.5 in x 8.084 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.084 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.084 * [taylor]: Taking taylor expansion of -1 in x 8.084 * [taylor]: Taking taylor expansion of y in x 8.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.084 * [taylor]: Taking taylor expansion of x in x 8.085 * [taylor]: Taking taylor expansion of -1 in y 8.086 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 8.086 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 8.086 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.086 * [taylor]: Taking taylor expansion of -1 in y 8.087 * [taylor]: Taking taylor expansion of y in y 8.087 * [taylor]: Taking taylor expansion of y in y 8.089 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 8.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.089 * [taylor]: Taking taylor expansion of y in y 8.089 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 8.089 * [taylor]: Taking taylor expansion of 0.5 in y 8.089 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.089 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.089 * [taylor]: Taking taylor expansion of -1 in y 8.089 * [taylor]: Taking taylor expansion of y in y 8.094 * [taylor]: Taking taylor expansion of 0 in y 8.101 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 8.101 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 8.101 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 8.101 * [taylor]: Taking taylor expansion of x in y 8.101 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 8.101 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 8.101 * [taylor]: Taking taylor expansion of 0.5 in y 8.101 * [taylor]: Taking taylor expansion of (log y) in y 8.101 * [taylor]: Taking taylor expansion of y in y 8.101 * [taylor]: Taking taylor expansion of (* y (log y)) in y 8.101 * [taylor]: Taking taylor expansion of y in y 8.101 * [taylor]: Taking taylor expansion of (log y) in y 8.101 * [taylor]: Taking taylor expansion of y in y 8.102 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 8.102 * [taylor]: Taking taylor expansion of x in x 8.102 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 8.102 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 8.102 * [taylor]: Taking taylor expansion of 0.5 in x 8.102 * [taylor]: Taking taylor expansion of (log y) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.102 * [taylor]: Taking taylor expansion of (* y (log y)) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.102 * [taylor]: Taking taylor expansion of (log y) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.102 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 8.102 * [taylor]: Taking taylor expansion of x in x 8.102 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 8.102 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 8.102 * [taylor]: Taking taylor expansion of 0.5 in x 8.102 * [taylor]: Taking taylor expansion of (log y) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.102 * [taylor]: Taking taylor expansion of (* y (log y)) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.102 * [taylor]: Taking taylor expansion of (log y) in x 8.102 * [taylor]: Taking taylor expansion of y in x 8.103 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 8.103 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 8.103 * [taylor]: Taking taylor expansion of (* y (log y)) in y 8.103 * [taylor]: Taking taylor expansion of y in y 8.103 * [taylor]: Taking taylor expansion of (log y) in y 8.103 * [taylor]: Taking taylor expansion of y in y 8.103 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 8.103 * [taylor]: Taking taylor expansion of 0.5 in y 8.103 * [taylor]: Taking taylor expansion of (log y) in y 8.103 * [taylor]: Taking taylor expansion of y in y 8.106 * [taylor]: Taking taylor expansion of 1 in y 8.109 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 8.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 8.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.109 * [taylor]: Taking taylor expansion of x in y 8.109 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 8.109 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 8.110 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.110 * [taylor]: Taking taylor expansion of y in y 8.110 * [taylor]: Taking taylor expansion of y in y 8.111 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 8.111 * [taylor]: Taking taylor expansion of 0.5 in y 8.111 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.111 * [taylor]: Taking taylor expansion of y in y 8.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 8.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.111 * [taylor]: Taking taylor expansion of x in x 8.112 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 8.112 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 8.112 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.112 * [taylor]: Taking taylor expansion of y in x 8.112 * [taylor]: Taking taylor expansion of y in x 8.112 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 8.112 * [taylor]: Taking taylor expansion of 0.5 in x 8.112 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.112 * [taylor]: Taking taylor expansion of y in x 8.112 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 8.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.112 * [taylor]: Taking taylor expansion of x in x 8.112 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 8.112 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 8.112 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.112 * [taylor]: Taking taylor expansion of y in x 8.112 * [taylor]: Taking taylor expansion of y in x 8.112 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 8.112 * [taylor]: Taking taylor expansion of 0.5 in x 8.112 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.113 * [taylor]: Taking taylor expansion of y in x 8.113 * [taylor]: Taking taylor expansion of 1 in y 8.114 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 8.114 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 8.114 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 8.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.114 * [taylor]: Taking taylor expansion of y in y 8.114 * [taylor]: Taking taylor expansion of y in y 8.115 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 8.115 * [taylor]: Taking taylor expansion of 0.5 in y 8.115 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.115 * [taylor]: Taking taylor expansion of y in y 8.118 * [taylor]: Taking taylor expansion of 0 in y 8.121 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 8.121 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 8.121 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 8.121 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.121 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.121 * [taylor]: Taking taylor expansion of -1 in y 8.121 * [taylor]: Taking taylor expansion of y in y 8.122 * [taylor]: Taking taylor expansion of y in y 8.123 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 8.123 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 8.123 * [taylor]: Taking taylor expansion of 0.5 in y 8.123 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.123 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.123 * [taylor]: Taking taylor expansion of -1 in y 8.123 * [taylor]: Taking taylor expansion of y in y 8.124 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.124 * [taylor]: Taking taylor expansion of x in y 8.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 8.124 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 8.124 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.124 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.124 * [taylor]: Taking taylor expansion of -1 in x 8.124 * [taylor]: Taking taylor expansion of y in x 8.124 * [taylor]: Taking taylor expansion of y in x 8.124 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 8.124 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 8.124 * [taylor]: Taking taylor expansion of 0.5 in x 8.124 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.124 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.124 * [taylor]: Taking taylor expansion of -1 in x 8.124 * [taylor]: Taking taylor expansion of y in x 8.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.124 * [taylor]: Taking taylor expansion of x in x 8.125 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 8.125 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 8.125 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.125 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.125 * [taylor]: Taking taylor expansion of -1 in x 8.125 * [taylor]: Taking taylor expansion of y in x 8.125 * [taylor]: Taking taylor expansion of y in x 8.125 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 8.125 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 8.125 * [taylor]: Taking taylor expansion of 0.5 in x 8.125 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.125 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.125 * [taylor]: Taking taylor expansion of -1 in x 8.125 * [taylor]: Taking taylor expansion of y in x 8.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.125 * [taylor]: Taking taylor expansion of x in x 8.126 * [taylor]: Taking taylor expansion of -1 in y 8.127 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 8.127 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 8.127 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.127 * [taylor]: Taking taylor expansion of -1 in y 8.127 * [taylor]: Taking taylor expansion of y in y 8.127 * [taylor]: Taking taylor expansion of y in y 8.129 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 8.129 * [taylor]: Taking taylor expansion of 0.5 in y 8.129 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.129 * [taylor]: Taking taylor expansion of -1 in y 8.129 * [taylor]: Taking taylor expansion of y in y 8.133 * [taylor]: Taking taylor expansion of 0 in y 8.139 * * * [progress]: simplifying candidates 8.140 * [simplify]: Simplifying using # : (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 8.144 * * [simplify]: iteration 0 : 137 enodes (cost 917 ) 8.172 * * [simplify]: iteration 1 : 357 enodes (cost 830 ) 8.246 * * [simplify]: iteration 2 : 1068 enodes (cost 753 ) 8.970 * * [simplify]: iteration 3 : 4613 enodes (cost 728 ) 10.658 * * [simplify]: iteration done : 5000 enodes (cost 728 ) 10.659 * [simplify]: Simplified to: (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (log y) (+ y 0.5)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (log y) (+ y 0.5)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (- (* y y) (* (- x (* (log y) (+ y 0.5))) (- y (- x (* (+ y 0.5) (log y)))))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* (* (log y) (+ y 0.5)) (+ x (* (+ y 0.5) (log y)))) (* x x)) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) x (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) x (- (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ y (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1))))) (- x (* (log y) (+ y 0.5))) (- x (* (log y) (+ y 0.5))) (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) 10.659 * * * [progress]: adding candidates to table 10.816 * * [progress]: iteration 2 / 4 10.816 * * * [progress]: picking best candidate 10.832 * * * * [pick]: Picked # 10.832 * * * [progress]: localizing error 10.846 * * * [progress]: generating rewritten candidates 10.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 10.847 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 10.847 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 10.860 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 10.875 * * * [progress]: generating series expansions 10.875 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 10.875 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.875 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.876 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.876 * [taylor]: Taking taylor expansion of 1/3 in y 10.876 * [taylor]: Taking taylor expansion of (log y) in y 10.876 * [taylor]: Taking taylor expansion of y in y 10.876 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.877 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.877 * [taylor]: Taking taylor expansion of 1/3 in y 10.877 * [taylor]: Taking taylor expansion of (log y) in y 10.877 * [taylor]: Taking taylor expansion of y in y 10.926 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.927 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.927 * [taylor]: Taking taylor expansion of 1/3 in y 10.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.927 * [taylor]: Taking taylor expansion of y in y 10.928 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.928 * [taylor]: Taking taylor expansion of 1/3 in y 10.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.928 * [taylor]: Taking taylor expansion of y in y 10.987 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 10.987 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.987 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.987 * [taylor]: Taking taylor expansion of -1 in y 10.988 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.988 * [taylor]: Taking taylor expansion of 1/3 in y 10.988 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.988 * [taylor]: Taking taylor expansion of y in y 10.989 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 10.989 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.989 * [taylor]: Taking taylor expansion of -1 in y 10.990 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.990 * [taylor]: Taking taylor expansion of 1/3 in y 10.990 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.990 * [taylor]: Taking taylor expansion of y in y 11.060 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 11.060 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 11.060 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.060 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.060 * [taylor]: Taking taylor expansion of 1/3 in y 11.060 * [taylor]: Taking taylor expansion of (log y) in y 11.060 * [taylor]: Taking taylor expansion of y in y 11.061 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.061 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.061 * [taylor]: Taking taylor expansion of 1/3 in y 11.061 * [taylor]: Taking taylor expansion of (log y) in y 11.061 * [taylor]: Taking taylor expansion of y in y 11.116 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 11.116 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.116 * [taylor]: Taking taylor expansion of 1/3 in y 11.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.116 * [taylor]: Taking taylor expansion of y in y 11.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.117 * [taylor]: Taking taylor expansion of 1/3 in y 11.118 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.118 * [taylor]: Taking taylor expansion of y in y 11.170 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 11.170 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.170 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.170 * [taylor]: Taking taylor expansion of -1 in y 11.171 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.171 * [taylor]: Taking taylor expansion of 1/3 in y 11.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.171 * [taylor]: Taking taylor expansion of y in y 11.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.172 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.172 * [taylor]: Taking taylor expansion of -1 in y 11.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.173 * [taylor]: Taking taylor expansion of 1/3 in y 11.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.173 * [taylor]: Taking taylor expansion of y in y 11.243 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 11.243 * [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.243 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 11.243 * [taylor]: Taking taylor expansion of x in y 11.243 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 11.243 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 11.243 * [taylor]: Taking taylor expansion of 3 in y 11.243 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 11.243 * [taylor]: Taking taylor expansion of y in y 11.243 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.243 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.243 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.243 * [taylor]: Taking taylor expansion of 1/3 in y 11.243 * [taylor]: Taking taylor expansion of (log y) in y 11.243 * [taylor]: Taking taylor expansion of y in y 11.244 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 11.244 * [taylor]: Taking taylor expansion of 1.5 in y 11.244 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.244 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.244 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.244 * [taylor]: Taking taylor expansion of 1/3 in y 11.244 * [taylor]: Taking taylor expansion of (log y) in y 11.244 * [taylor]: Taking taylor expansion of y in y 11.245 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 11.245 * [taylor]: Taking taylor expansion of x in x 11.245 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 11.245 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 11.245 * [taylor]: Taking taylor expansion of 3 in x 11.245 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 11.245 * [taylor]: Taking taylor expansion of y in x 11.245 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.245 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.245 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.245 * [taylor]: Taking taylor expansion of 1/3 in x 11.245 * [taylor]: Taking taylor expansion of (log y) in x 11.245 * [taylor]: Taking taylor expansion of y in x 11.245 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 11.245 * [taylor]: Taking taylor expansion of 1.5 in x 11.245 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.245 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.245 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.245 * [taylor]: Taking taylor expansion of 1/3 in x 11.245 * [taylor]: Taking taylor expansion of (log y) in x 11.245 * [taylor]: Taking taylor expansion of y in x 11.245 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 11.245 * [taylor]: Taking taylor expansion of x in x 11.245 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 11.245 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 11.245 * [taylor]: Taking taylor expansion of 3 in x 11.246 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 11.246 * [taylor]: Taking taylor expansion of y in x 11.246 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.246 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.246 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.246 * [taylor]: Taking taylor expansion of 1/3 in x 11.246 * [taylor]: Taking taylor expansion of (log y) in x 11.246 * [taylor]: Taking taylor expansion of y in x 11.246 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 11.246 * [taylor]: Taking taylor expansion of 1.5 in x 11.246 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 11.246 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 11.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 11.246 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 11.246 * [taylor]: Taking taylor expansion of 1/3 in x 11.246 * [taylor]: Taking taylor expansion of (log y) in x 11.246 * [taylor]: Taking taylor expansion of y in x 11.247 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 11.247 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 11.247 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 11.247 * [taylor]: Taking taylor expansion of 3 in y 11.247 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 11.247 * [taylor]: Taking taylor expansion of y in y 11.247 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.247 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.247 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.247 * [taylor]: Taking taylor expansion of 1/3 in y 11.247 * [taylor]: Taking taylor expansion of (log y) in y 11.247 * [taylor]: Taking taylor expansion of y in y 11.248 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 11.248 * [taylor]: Taking taylor expansion of 1.5 in y 11.248 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.248 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.248 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.248 * [taylor]: Taking taylor expansion of 1/3 in y 11.248 * [taylor]: Taking taylor expansion of (log y) in y 11.248 * [taylor]: Taking taylor expansion of y in y 11.254 * [taylor]: Taking taylor expansion of 1 in y 11.261 * [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.261 * [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.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.261 * [taylor]: Taking taylor expansion of x in y 11.261 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 11.261 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 11.261 * [taylor]: Taking taylor expansion of 1.5 in y 11.261 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.261 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.261 * [taylor]: Taking taylor expansion of 1/3 in y 11.261 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.261 * [taylor]: Taking taylor expansion of y in y 11.262 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 11.262 * [taylor]: Taking taylor expansion of 3 in y 11.262 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 11.262 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.262 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.262 * [taylor]: Taking taylor expansion of 1/3 in y 11.262 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.262 * [taylor]: Taking taylor expansion of y in y 11.263 * [taylor]: Taking taylor expansion of y in y 11.263 * [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.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.263 * [taylor]: Taking taylor expansion of x in x 11.264 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 11.264 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 11.264 * [taylor]: Taking taylor expansion of 1.5 in x 11.264 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.264 * [taylor]: Taking taylor expansion of 1/3 in x 11.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.264 * [taylor]: Taking taylor expansion of y in x 11.264 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 11.264 * [taylor]: Taking taylor expansion of 3 in x 11.264 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 11.264 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.264 * [taylor]: Taking taylor expansion of 1/3 in x 11.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.264 * [taylor]: Taking taylor expansion of y in x 11.265 * [taylor]: Taking taylor expansion of y in x 11.265 * [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.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.265 * [taylor]: Taking taylor expansion of x in x 11.265 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 11.265 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 11.265 * [taylor]: Taking taylor expansion of 1.5 in x 11.265 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.265 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.265 * [taylor]: Taking taylor expansion of 1/3 in x 11.265 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.265 * [taylor]: Taking taylor expansion of y in x 11.265 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 11.265 * [taylor]: Taking taylor expansion of 3 in x 11.265 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 11.265 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 11.266 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.266 * [taylor]: Taking taylor expansion of 1/3 in x 11.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.266 * [taylor]: Taking taylor expansion of y in x 11.266 * [taylor]: Taking taylor expansion of y in x 11.266 * [taylor]: Taking taylor expansion of 1 in y 11.268 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 11.268 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 11.268 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 11.268 * [taylor]: Taking taylor expansion of 1.5 in y 11.268 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.268 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.268 * [taylor]: Taking taylor expansion of 1/3 in y 11.268 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.268 * [taylor]: Taking taylor expansion of y in y 11.269 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 11.269 * [taylor]: Taking taylor expansion of 3 in y 11.269 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 11.269 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.269 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.269 * [taylor]: Taking taylor expansion of 1/3 in y 11.269 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.269 * [taylor]: Taking taylor expansion of y in y 11.270 * [taylor]: Taking taylor expansion of y in y 11.277 * [taylor]: Taking taylor expansion of 0 in y 11.287 * [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.287 * [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.287 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.287 * [taylor]: Taking taylor expansion of 3 in y 11.287 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.287 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.287 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.287 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.287 * [taylor]: Taking taylor expansion of -1 in y 11.288 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.288 * [taylor]: Taking taylor expansion of 1/3 in y 11.288 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.288 * [taylor]: Taking taylor expansion of y in y 11.290 * [taylor]: Taking taylor expansion of y in y 11.290 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.290 * [taylor]: Taking taylor expansion of x in y 11.290 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.290 * [taylor]: Taking taylor expansion of 1.5 in y 11.290 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.290 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.290 * [taylor]: Taking taylor expansion of -1 in y 11.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.291 * [taylor]: Taking taylor expansion of 1/3 in y 11.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.291 * [taylor]: Taking taylor expansion of y in y 11.293 * [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.293 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 11.293 * [taylor]: Taking taylor expansion of 3 in x 11.293 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 11.293 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.293 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.293 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.293 * [taylor]: Taking taylor expansion of -1 in x 11.294 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.294 * [taylor]: Taking taylor expansion of 1/3 in x 11.294 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.294 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.294 * [taylor]: Taking taylor expansion of y in x 11.295 * [taylor]: Taking taylor expansion of y in x 11.295 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 11.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.295 * [taylor]: Taking taylor expansion of x in x 11.295 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 11.295 * [taylor]: Taking taylor expansion of 1.5 in x 11.296 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.296 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.296 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.296 * [taylor]: Taking taylor expansion of -1 in x 11.296 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.296 * [taylor]: Taking taylor expansion of 1/3 in x 11.296 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.296 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.296 * [taylor]: Taking taylor expansion of y in x 11.297 * [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.297 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 11.297 * [taylor]: Taking taylor expansion of 3 in x 11.297 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 11.297 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.297 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.297 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.297 * [taylor]: Taking taylor expansion of -1 in x 11.298 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.298 * [taylor]: Taking taylor expansion of 1/3 in x 11.298 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.298 * [taylor]: Taking taylor expansion of y in x 11.299 * [taylor]: Taking taylor expansion of y in x 11.300 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 11.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.300 * [taylor]: Taking taylor expansion of x in x 11.300 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 11.300 * [taylor]: Taking taylor expansion of 1.5 in x 11.300 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 11.300 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 11.300 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.300 * [taylor]: Taking taylor expansion of -1 in x 11.301 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 11.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 11.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 11.301 * [taylor]: Taking taylor expansion of 1/3 in x 11.301 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.301 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.301 * [taylor]: Taking taylor expansion of y in x 11.303 * [taylor]: Taking taylor expansion of -1 in y 11.306 * [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.306 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 11.306 * [taylor]: Taking taylor expansion of 3 in y 11.306 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 11.306 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.306 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.306 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.306 * [taylor]: Taking taylor expansion of -1 in y 11.306 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.307 * [taylor]: Taking taylor expansion of 1/3 in y 11.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.307 * [taylor]: Taking taylor expansion of y in y 11.308 * [taylor]: Taking taylor expansion of y in y 11.309 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.309 * [taylor]: Taking taylor expansion of 1.5 in y 11.309 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.309 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.309 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.309 * [taylor]: Taking taylor expansion of -1 in y 11.309 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.310 * [taylor]: Taking taylor expansion of 1/3 in y 11.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.310 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of 0 in y 11.329 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 11.329 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 11.329 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.329 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.329 * [taylor]: Taking taylor expansion of y in y 11.329 * [taylor]: Taking taylor expansion of 0.5 in y 11.329 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.329 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.330 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.330 * [taylor]: Taking taylor expansion of 1/3 in y 11.330 * [taylor]: Taking taylor expansion of (log y) in y 11.330 * [taylor]: Taking taylor expansion of y in y 11.330 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 11.330 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 11.330 * [taylor]: Taking taylor expansion of y in y 11.330 * [taylor]: Taking taylor expansion of 0.5 in y 11.330 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 11.330 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.330 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.330 * [taylor]: Taking taylor expansion of 1/3 in y 11.330 * [taylor]: Taking taylor expansion of (log y) in y 11.330 * [taylor]: Taking taylor expansion of y in y 11.651 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 11.651 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.651 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.651 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.651 * [taylor]: Taking taylor expansion of 1/3 in y 11.651 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.651 * [taylor]: Taking taylor expansion of y in y 11.652 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.652 * [taylor]: Taking taylor expansion of y in y 11.653 * [taylor]: Taking taylor expansion of 0.5 in y 11.653 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 11.653 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 11.653 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.653 * [taylor]: Taking taylor expansion of 1/3 in y 11.653 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.653 * [taylor]: Taking taylor expansion of y in y 11.654 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 11.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.654 * [taylor]: Taking taylor expansion of y in y 11.654 * [taylor]: Taking taylor expansion of 0.5 in y 11.781 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 11.781 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.781 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.781 * [taylor]: Taking taylor expansion of 0.5 in y 11.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.781 * [taylor]: Taking taylor expansion of y in y 11.782 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.782 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.782 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.782 * [taylor]: Taking taylor expansion of -1 in y 11.782 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.782 * [taylor]: Taking taylor expansion of 1/3 in y 11.782 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.782 * [taylor]: Taking taylor expansion of y in y 11.784 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 11.784 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 11.784 * [taylor]: Taking taylor expansion of 0.5 in y 11.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.784 * [taylor]: Taking taylor expansion of y in y 11.784 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 11.784 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.784 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.785 * [taylor]: Taking taylor expansion of -1 in y 11.785 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.785 * [taylor]: Taking taylor expansion of 1/3 in y 11.785 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.785 * [taylor]: Taking taylor expansion of y in y 11.957 * * * [progress]: simplifying candidates 11.958 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (/ (exp x) (exp (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (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)))) (- (- (* (* 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))) (* (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.968 * * [simplify]: iteration 0 : 157 enodes (cost 1356 ) 11.997 * * [simplify]: iteration 1 : 447 enodes (cost 1189 ) 12.126 * * [simplify]: iteration 2 : 1826 enodes (cost 1010 ) 12.570 * * [simplify]: iteration done : 5001 enodes (cost 1010 ) 12.571 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (log (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (* (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))) (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (pow (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))) 3) (sqrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (sqrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (log (cbrt y)) (* (+ (pow y 3) (pow 0.5 3)) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x))))) (* (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x)) (+ (* 0.5 (- 0.5 y)) (* y y))) (- (* (- (pow x 3) (pow (* (* 2/3 (log y)) (+ y 0.5)) 3)) (- y 0.5)) (* (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x)))) (* (- y 0.5) (+ (* (* (* 2/3 (log y)) (+ y 0.5)) (+ x (* (* 2/3 (log y)) (+ y 0.5)))) (* x x))) (- (* (- (* x x) (* 4 (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))))) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (+ x (* (* 2/3 (log y)) (+ y 0.5))))) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (+ (* 0.5 (- 0.5 y)) (* y y))) (- (* (- y 0.5) (- (* x x) (* 4 (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))))) (* (- (* y y) (* 0.5 0.5)) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (log (cbrt y))))) (* (+ x (* (* 2/3 (log y)) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2/3 (log y)) (+ y 0.5))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (+ (* (- x (* (* 2/3 (log y)) (+ y 0.5))) (- x (* (* 2/3 (log y)) (+ y 0.5)))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* 3 (* (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))) (* y (log (cbrt y)))) (- (- x (* (* 2/3 (log y)) (+ y 0.5))) (* y (log (cbrt y)))) (- (* 3 (* (log (cbrt y)) (+ y 0.5)))) (- (* 3 (* (log (cbrt y)) (+ y 0.5)))) (* 3 (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)) (log (* (log (cbrt y)) (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (pow (cbrt y) (+ y 0.5)) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5)))) (cbrt (* (log (cbrt y)) (+ y 0.5))) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (sqrt (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* y (log (cbrt y))) (* (log (cbrt y)) 0.5) (* y (log (cbrt y))) (* (log (cbrt y)) 0.5) (* (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)) (* (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))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (* (- (log y)) -1/3) (+ (* 3 y) 1.5))) (- x (+ (* (log (* (cbrt -1) (cbrt (- y)))) 1.5) (* (* y (log (* (cbrt -1) (cbrt (- y))))) 3))) (* (log (cbrt y)) (+ y 0.5)) (* -1/3 (* (- (log y)) (+ y 0.5))) (* (log (* (cbrt -1) (cbrt (- y)))) (+ y 0.5)) 12.571 * * * [progress]: adding candidates to table 12.843 * * [progress]: iteration 3 / 4 12.844 * * * [progress]: picking best candidate 12.855 * * * * [pick]: Picked # 12.855 * * * [progress]: localizing error 12.867 * * * [progress]: generating rewritten candidates 12.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 12.868 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 12.879 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 12.888 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 12.891 * * * [progress]: generating series expansions 12.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 12.891 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 12.891 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.891 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.891 * [taylor]: Taking taylor expansion of 1/3 in y 12.891 * [taylor]: Taking taylor expansion of (log y) in y 12.891 * [taylor]: Taking taylor expansion of y in y 12.892 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.892 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.892 * [taylor]: Taking taylor expansion of 1/3 in y 12.892 * [taylor]: Taking taylor expansion of (log y) in y 12.892 * [taylor]: Taking taylor expansion of y in y 12.946 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 12.946 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.946 * [taylor]: Taking taylor expansion of 1/3 in y 12.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.946 * [taylor]: Taking taylor expansion of y in y 12.947 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.947 * [taylor]: Taking taylor expansion of 1/3 in y 12.947 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.947 * [taylor]: Taking taylor expansion of y in y 13.006 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.006 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.006 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.006 * [taylor]: Taking taylor expansion of -1 in y 13.007 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.007 * [taylor]: Taking taylor expansion of 1/3 in y 13.007 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.007 * [taylor]: Taking taylor expansion of y in y 13.008 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.008 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.008 * [taylor]: Taking taylor expansion of -1 in y 13.009 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.009 * [taylor]: Taking taylor expansion of 1/3 in y 13.009 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.009 * [taylor]: Taking taylor expansion of y in y 13.082 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 13.083 * [approximate]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in (y) around 0 13.083 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 13.083 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 13.083 * [taylor]: Taking taylor expansion of (* 3 y) in y 13.083 * [taylor]: Taking taylor expansion of 3 in y 13.083 * [taylor]: Taking taylor expansion of y in y 13.083 * [taylor]: Taking taylor expansion of 1.5 in y 13.083 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.083 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.083 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.083 * [taylor]: Taking taylor expansion of 1/3 in y 13.083 * [taylor]: Taking taylor expansion of (log y) in y 13.083 * [taylor]: Taking taylor expansion of y in y 13.083 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 13.083 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 13.084 * [taylor]: Taking taylor expansion of (* 3 y) in y 13.084 * [taylor]: Taking taylor expansion of 3 in y 13.084 * [taylor]: Taking taylor expansion of y in y 13.084 * [taylor]: Taking taylor expansion of 1.5 in y 13.084 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.084 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.084 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.084 * [taylor]: Taking taylor expansion of 1/3 in y 13.084 * [taylor]: Taking taylor expansion of (log y) in y 13.084 * [taylor]: Taking taylor expansion of y in y 13.221 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in (y) around 0 13.221 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 13.221 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.221 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.221 * [taylor]: Taking taylor expansion of 1/3 in y 13.221 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.221 * [taylor]: Taking taylor expansion of y in y 13.222 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 13.222 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.222 * [taylor]: Taking taylor expansion of 3 in y 13.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.222 * [taylor]: Taking taylor expansion of y in y 13.222 * [taylor]: Taking taylor expansion of 1.5 in y 13.222 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 13.222 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.222 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.222 * [taylor]: Taking taylor expansion of 1/3 in y 13.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.222 * [taylor]: Taking taylor expansion of y in y 13.223 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 13.223 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.223 * [taylor]: Taking taylor expansion of 3 in y 13.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.223 * [taylor]: Taking taylor expansion of y in y 13.224 * [taylor]: Taking taylor expansion of 1.5 in y 13.360 * [approximate]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 13.360 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.360 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 13.360 * [taylor]: Taking taylor expansion of 1.5 in y 13.360 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.360 * [taylor]: Taking taylor expansion of 3 in y 13.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.360 * [taylor]: Taking taylor expansion of y in y 13.361 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.361 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.361 * [taylor]: Taking taylor expansion of -1 in y 13.361 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.362 * [taylor]: Taking taylor expansion of 1/3 in y 13.362 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.362 * [taylor]: Taking taylor expansion of y in y 13.363 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.363 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 13.363 * [taylor]: Taking taylor expansion of 1.5 in y 13.363 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 13.363 * [taylor]: Taking taylor expansion of 3 in y 13.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.363 * [taylor]: Taking taylor expansion of y in y 13.364 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.364 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.364 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.364 * [taylor]: Taking taylor expansion of -1 in y 13.364 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.364 * [taylor]: Taking taylor expansion of 1/3 in y 13.365 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.365 * [taylor]: Taking taylor expansion of y in y 13.550 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 13.551 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 13.551 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 13.551 * [taylor]: Taking taylor expansion of (+ x y) in y 13.551 * [taylor]: Taking taylor expansion of x in y 13.551 * [taylor]: Taking taylor expansion of y in y 13.551 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.551 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.551 * [taylor]: Taking taylor expansion of 3 in y 13.551 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.551 * [taylor]: Taking taylor expansion of y in y 13.551 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.551 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.551 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.551 * [taylor]: Taking taylor expansion of 1/3 in y 13.551 * [taylor]: Taking taylor expansion of (log y) in y 13.551 * [taylor]: Taking taylor expansion of y in y 13.552 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.552 * [taylor]: Taking taylor expansion of 1.5 in y 13.552 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.552 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.552 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.552 * [taylor]: Taking taylor expansion of 1/3 in y 13.552 * [taylor]: Taking taylor expansion of (log y) in y 13.552 * [taylor]: Taking taylor expansion of y in y 13.552 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 13.552 * [taylor]: Taking taylor expansion of (+ x y) in x 13.552 * [taylor]: Taking taylor expansion of x in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 13.553 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 13.553 * [taylor]: Taking taylor expansion of 3 in x 13.553 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.553 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.553 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.553 * [taylor]: Taking taylor expansion of 1/3 in x 13.553 * [taylor]: Taking taylor expansion of (log y) in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 13.553 * [taylor]: Taking taylor expansion of 1.5 in x 13.553 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.553 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.553 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.553 * [taylor]: Taking taylor expansion of 1/3 in x 13.553 * [taylor]: Taking taylor expansion of (log y) in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 13.553 * [taylor]: Taking taylor expansion of (+ x y) in x 13.553 * [taylor]: Taking taylor expansion of x in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 13.553 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 13.553 * [taylor]: Taking taylor expansion of 3 in x 13.553 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.553 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.553 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.553 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.553 * [taylor]: Taking taylor expansion of 1/3 in x 13.553 * [taylor]: Taking taylor expansion of (log y) in x 13.553 * [taylor]: Taking taylor expansion of y in x 13.554 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 13.554 * [taylor]: Taking taylor expansion of 1.5 in x 13.554 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.554 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.554 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.554 * [taylor]: Taking taylor expansion of 1/3 in x 13.554 * [taylor]: Taking taylor expansion of (log y) in x 13.554 * [taylor]: Taking taylor expansion of y in x 13.555 * [taylor]: Taking taylor expansion of (- y (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 13.555 * [taylor]: Taking taylor expansion of y in y 13.555 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 13.555 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 13.555 * [taylor]: Taking taylor expansion of 3 in y 13.555 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 13.555 * [taylor]: Taking taylor expansion of y in y 13.555 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.555 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.555 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.555 * [taylor]: Taking taylor expansion of 1/3 in y 13.555 * [taylor]: Taking taylor expansion of (log y) in y 13.555 * [taylor]: Taking taylor expansion of y in y 13.556 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 13.556 * [taylor]: Taking taylor expansion of 1.5 in y 13.556 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.556 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.556 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.556 * [taylor]: Taking taylor expansion of 1/3 in y 13.556 * [taylor]: Taking taylor expansion of (log y) in y 13.556 * [taylor]: Taking taylor expansion of y in y 13.563 * [taylor]: Taking taylor expansion of 1 in y 13.570 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 13.570 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 13.570 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 13.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.570 * [taylor]: Taking taylor expansion of y in y 13.570 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.570 * [taylor]: Taking taylor expansion of x in y 13.570 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.570 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.570 * [taylor]: Taking taylor expansion of 1.5 in y 13.570 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.570 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.570 * [taylor]: Taking taylor expansion of 1/3 in y 13.570 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.570 * [taylor]: Taking taylor expansion of y in y 13.571 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.571 * [taylor]: Taking taylor expansion of 3 in y 13.571 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.571 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.571 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.571 * [taylor]: Taking taylor expansion of 1/3 in y 13.571 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.571 * [taylor]: Taking taylor expansion of y in y 13.572 * [taylor]: Taking taylor expansion of y in y 13.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 13.572 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 13.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.573 * [taylor]: Taking taylor expansion of y in x 13.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.573 * [taylor]: Taking taylor expansion of x in x 13.573 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 13.573 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 13.573 * [taylor]: Taking taylor expansion of 1.5 in x 13.573 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.573 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.573 * [taylor]: Taking taylor expansion of 1/3 in x 13.573 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.573 * [taylor]: Taking taylor expansion of y in x 13.573 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 13.573 * [taylor]: Taking taylor expansion of 3 in x 13.573 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 13.573 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.573 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.573 * [taylor]: Taking taylor expansion of 1/3 in x 13.573 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.573 * [taylor]: Taking taylor expansion of y in x 13.574 * [taylor]: Taking taylor expansion of y in x 13.574 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 13.574 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 13.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.574 * [taylor]: Taking taylor expansion of y in x 13.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.574 * [taylor]: Taking taylor expansion of x in x 13.574 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 13.574 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 13.574 * [taylor]: Taking taylor expansion of 1.5 in x 13.574 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.574 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.574 * [taylor]: Taking taylor expansion of 1/3 in x 13.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.574 * [taylor]: Taking taylor expansion of y in x 13.575 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 13.575 * [taylor]: Taking taylor expansion of 3 in x 13.575 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 13.575 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.575 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.575 * [taylor]: Taking taylor expansion of 1/3 in x 13.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.575 * [taylor]: Taking taylor expansion of y in x 13.575 * [taylor]: Taking taylor expansion of y in x 13.576 * [taylor]: Taking taylor expansion of 1 in y 13.577 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 13.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.577 * [taylor]: Taking taylor expansion of y in y 13.577 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 13.578 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 13.578 * [taylor]: Taking taylor expansion of 1.5 in y 13.578 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.578 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.578 * [taylor]: Taking taylor expansion of 1/3 in y 13.578 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.578 * [taylor]: Taking taylor expansion of y in y 13.579 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 13.579 * [taylor]: Taking taylor expansion of 3 in y 13.579 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 13.579 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.579 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.579 * [taylor]: Taking taylor expansion of 1/3 in y 13.579 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.579 * [taylor]: Taking taylor expansion of y in y 13.580 * [taylor]: Taking taylor expansion of y in y 13.587 * [taylor]: Taking taylor expansion of 0 in y 13.592 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in (x y) around 0 13.592 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in y 13.592 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.592 * [taylor]: Taking taylor expansion of 3 in y 13.592 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.592 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.592 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.592 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.592 * [taylor]: Taking taylor expansion of -1 in y 13.593 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.593 * [taylor]: Taking taylor expansion of 1/3 in y 13.593 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.593 * [taylor]: Taking taylor expansion of y in y 13.595 * [taylor]: Taking taylor expansion of y in y 13.595 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 13.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.595 * [taylor]: Taking taylor expansion of y in y 13.595 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.595 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.596 * [taylor]: Taking taylor expansion of x in y 13.596 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.596 * [taylor]: Taking taylor expansion of 1.5 in y 13.596 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.596 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.596 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.596 * [taylor]: Taking taylor expansion of -1 in y 13.596 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.596 * [taylor]: Taking taylor expansion of 1/3 in y 13.596 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.597 * [taylor]: Taking taylor expansion of y in y 13.598 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 13.598 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 13.598 * [taylor]: Taking taylor expansion of 3 in x 13.598 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 13.598 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.598 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.598 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.598 * [taylor]: Taking taylor expansion of -1 in x 13.599 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.599 * [taylor]: Taking taylor expansion of 1/3 in x 13.599 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.599 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.599 * [taylor]: Taking taylor expansion of y in x 13.600 * [taylor]: Taking taylor expansion of y in x 13.601 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.601 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.601 * [taylor]: Taking taylor expansion of y in x 13.601 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.601 * [taylor]: Taking taylor expansion of x in x 13.601 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.601 * [taylor]: Taking taylor expansion of 1.5 in x 13.601 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.601 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.601 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.601 * [taylor]: Taking taylor expansion of -1 in x 13.602 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.602 * [taylor]: Taking taylor expansion of 1/3 in x 13.602 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.602 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.602 * [taylor]: Taking taylor expansion of y in x 13.603 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 13.603 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 13.603 * [taylor]: Taking taylor expansion of 3 in x 13.603 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 13.603 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.603 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.603 * [taylor]: Taking taylor expansion of -1 in x 13.604 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.604 * [taylor]: Taking taylor expansion of 1/3 in x 13.604 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.604 * [taylor]: Taking taylor expansion of y in x 13.605 * [taylor]: Taking taylor expansion of y in x 13.605 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.605 * [taylor]: Taking taylor expansion of y in x 13.606 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.606 * [taylor]: Taking taylor expansion of x in x 13.606 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.606 * [taylor]: Taking taylor expansion of 1.5 in x 13.606 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.606 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.606 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.606 * [taylor]: Taking taylor expansion of -1 in x 13.607 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.607 * [taylor]: Taking taylor expansion of 1/3 in x 13.607 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.607 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.607 * [taylor]: Taking taylor expansion of y in x 13.609 * [taylor]: Taking taylor expansion of -1 in y 13.612 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 13.613 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 13.613 * [taylor]: Taking taylor expansion of 3 in y 13.613 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 13.613 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.613 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.613 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.613 * [taylor]: Taking taylor expansion of -1 in y 13.613 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.614 * [taylor]: Taking taylor expansion of 1/3 in y 13.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.614 * [taylor]: Taking taylor expansion of y in y 13.615 * [taylor]: Taking taylor expansion of y in y 13.616 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.616 * [taylor]: Taking taylor expansion of y in y 13.616 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.616 * [taylor]: Taking taylor expansion of 1.5 in y 13.616 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.616 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.616 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.616 * [taylor]: Taking taylor expansion of -1 in y 13.617 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.617 * [taylor]: Taking taylor expansion of 1/3 in y 13.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.617 * [taylor]: Taking taylor expansion of y in y 13.629 * [taylor]: Taking taylor expansion of 0 in y 13.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 13.638 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0 13.638 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.638 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.638 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.638 * [taylor]: Taking taylor expansion of 1/3 in y 13.638 * [taylor]: Taking taylor expansion of (log y) in y 13.638 * [taylor]: Taking taylor expansion of y in y 13.639 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.639 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.639 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.639 * [taylor]: Taking taylor expansion of 1/3 in y 13.639 * [taylor]: Taking taylor expansion of (log y) in y 13.639 * [taylor]: Taking taylor expansion of y in y 13.713 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0 13.713 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.713 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.713 * [taylor]: Taking taylor expansion of 1/3 in y 13.713 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.713 * [taylor]: Taking taylor expansion of y in y 13.714 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.715 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.715 * [taylor]: Taking taylor expansion of 1/3 in y 13.715 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.715 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.715 * [taylor]: Taking taylor expansion of y in y 13.793 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 13.793 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.793 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.793 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.793 * [taylor]: Taking taylor expansion of -1 in y 13.794 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.794 * [taylor]: Taking taylor expansion of 1/3 in y 13.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.794 * [taylor]: Taking taylor expansion of y in y 13.796 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.796 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.796 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.796 * [taylor]: Taking taylor expansion of -1 in y 13.797 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.797 * [taylor]: Taking taylor expansion of 1/3 in y 13.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.797 * [taylor]: Taking taylor expansion of y in y 13.903 * * * [progress]: simplifying candidates 13.904 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (+ (log (log (cbrt y))) (log (+ (* 3 y) 1.5))) (log (* (log (cbrt y)) (+ (* 3 y) 1.5))) (exp (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ (* 3 y) 1.5) (+ (* 3 y) 1.5)) (+ (* 3 y) 1.5))) (* (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (* (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (log (cbrt y)) (+ (* 3 y) 1.5))) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (log (cbrt y)) (* 3 y)) (* (log (cbrt y)) 1.5) (* (* 3 y) (log (cbrt y))) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ (* 3 y) 1.5)) (cbrt (+ (* 3 y) 1.5)))) (* (log (cbrt y)) (sqrt (+ (* 3 y) 1.5))) (* (log (cbrt y)) 1) (* (log y) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (cbrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (sqrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (pow (* 3 y) 3) (pow 1.5 3))) (* (log (cbrt y)) (- (* (* 3 y) (* 3 y)) (* 1.5 1.5))) (* (/ (exp x) (exp (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (exp y)) (* (exp (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (exp y)) (log (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (exp (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (* (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y))) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (* (* (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (+ (pow (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) 3) (pow y 3)) (+ (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (- (* y y) (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y))) (- (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (* y y)) (- (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (- (* (log (cbrt y)) (+ (* 3 y) 1.5)) y) (log (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) (log (cbrt 1)) (log (cbrt y)) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) (log 1) (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (exp (log (cbrt y))) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- (+ x y) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- (+ x y) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (log (pow y 1/3)) (log (pow (/ 1 y) -1/3)) (log (* (pow (* -1 y) 1/3) (cbrt -1))) 13.907 * * [simplify]: iteration 0 : 126 enodes (cost 927 ) 13.930 * * [simplify]: iteration 1 : 332 enodes (cost 883 ) 14.013 * * [simplify]: iteration 2 : 1072 enodes (cost 783 ) 14.764 * * [simplify]: iteration done : 5000 enodes (cost 754 ) 14.764 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (log (* (log (cbrt y)) (+ (* 3 y) 1.5))) (log (* (log (cbrt y)) (+ (* 3 y) 1.5))) (pow (cbrt y) (+ (* 3 y) 1.5)) (pow (* (log (cbrt y)) (+ (* 3 y) 1.5)) 3) (* (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (pow (* (log (cbrt y)) (+ (* 3 y) 1.5)) 3) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ (* 3 y) 1.5)) (cbrt (+ (* 3 y) 1.5)))) (* (log (cbrt y)) (sqrt (+ (* 3 y) 1.5))) (log (cbrt y)) (* (log y) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (cbrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (sqrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (pow (* 3 y) 3) (pow 1.5 3))) (* (- (* 9 (* y y)) (* 1.5 1.5)) (log (cbrt y))) (/ (exp (+ x y)) (pow (cbrt y) (+ (* 3 y) 1.5))) (/ (exp (+ x y)) (pow (cbrt y) (+ (* 3 y) 1.5))) (log (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (/ (exp (+ x y)) (pow (cbrt y) (+ (* 3 y) 1.5))) (* (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y))) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (pow (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) 3) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (+ (pow (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) 3) (pow y 3)) (- (* y y) (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- y (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))))) (- (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (* y y)) (- (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (- y (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- y (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- (* (log (cbrt y)) (+ (* 3 y) 1.5)) y) (log (cbrt (pow y 2/3))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) 0 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) 0 (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (cbrt y) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (pow (log (cbrt y)) 3) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (* -1/3 (- (log y))) (+ (* 3 y) 1.5)) (* (log (* (cbrt (- y)) (cbrt -1))) (+ (* 3 y) 1.5)) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (- (+ x y) (* (* -1/3 (- (log y))) (+ (* 3 y) 1.5))) (+ x (- y (* (log (* (cbrt (- y)) (cbrt -1))) (+ (* 3 y) 1.5)))) (log (cbrt y)) (* -1/3 (- (log y))) (log (* (cbrt (- y)) (cbrt -1))) 14.765 * * * [progress]: adding candidates to table 14.965 * * [progress]: iteration 4 / 4 14.965 * * * [progress]: picking best candidate 14.980 * * * * [pick]: Picked # 14.980 * * * [progress]: localizing error 14.996 * * * [progress]: generating rewritten candidates 14.996 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1) 14.997 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 14.998 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 1 1) 14.998 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1) 15.000 * * * [progress]: generating series expansions 15.000 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2 1) 15.000 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 15.000 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.000 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.000 * [taylor]: Taking taylor expansion of 1/9 in y 15.000 * [taylor]: Taking taylor expansion of (log y) in y 15.000 * [taylor]: Taking taylor expansion of y in y 15.001 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.001 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.001 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.001 * [taylor]: Taking taylor expansion of 1/9 in y 15.001 * [taylor]: Taking taylor expansion of (log y) in y 15.001 * [taylor]: Taking taylor expansion of y in y 15.055 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 15.056 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.056 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.056 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.056 * [taylor]: Taking taylor expansion of 1/9 in y 15.056 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.056 * [taylor]: Taking taylor expansion of y in y 15.057 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.057 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.057 * [taylor]: Taking taylor expansion of 1/9 in y 15.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.057 * [taylor]: Taking taylor expansion of y in y 15.109 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 15.110 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.110 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.110 * [taylor]: Taking taylor expansion of 1/3 in y 15.110 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.110 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.110 * [taylor]: Taking taylor expansion of -1 in y 15.113 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.113 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.113 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.113 * [taylor]: Taking taylor expansion of 1/9 in y 15.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.114 * [taylor]: Taking taylor expansion of y in y 15.114 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.114 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.115 * [taylor]: Taking taylor expansion of 1/3 in y 15.115 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.115 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.115 * [taylor]: Taking taylor expansion of -1 in y 15.118 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.118 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.118 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.118 * [taylor]: Taking taylor expansion of 1/9 in y 15.118 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.118 * [taylor]: Taking taylor expansion of y in y 15.251 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 15.251 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 15.251 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.251 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.251 * [taylor]: Taking taylor expansion of 1/9 in y 15.251 * [taylor]: Taking taylor expansion of (log y) in y 15.251 * [taylor]: Taking taylor expansion of y in y 15.252 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.252 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.252 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.252 * [taylor]: Taking taylor expansion of 1/9 in y 15.252 * [taylor]: Taking taylor expansion of (log y) in y 15.252 * [taylor]: Taking taylor expansion of y in y 15.307 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 15.308 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.308 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.308 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.308 * [taylor]: Taking taylor expansion of 1/9 in y 15.308 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.308 * [taylor]: Taking taylor expansion of y in y 15.309 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.309 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.309 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.309 * [taylor]: Taking taylor expansion of 1/9 in y 15.309 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.309 * [taylor]: Taking taylor expansion of y in y 15.367 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 15.367 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.367 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.367 * [taylor]: Taking taylor expansion of 1/3 in y 15.367 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.367 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.367 * [taylor]: Taking taylor expansion of -1 in y 15.371 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.371 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.371 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.371 * [taylor]: Taking taylor expansion of 1/9 in y 15.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.371 * [taylor]: Taking taylor expansion of y in y 15.372 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.372 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.372 * [taylor]: Taking taylor expansion of 1/3 in y 15.372 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.372 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.372 * [taylor]: Taking taylor expansion of -1 in y 15.375 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.375 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.376 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.376 * [taylor]: Taking taylor expansion of 1/9 in y 15.376 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.376 * [taylor]: Taking taylor expansion of y in y 15.499 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 1 1) 15.499 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 15.499 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.500 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.500 * [taylor]: Taking taylor expansion of 1/3 in y 15.500 * [taylor]: Taking taylor expansion of (log y) in y 15.500 * [taylor]: Taking taylor expansion of y in y 15.500 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.500 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.500 * [taylor]: Taking taylor expansion of 1/3 in y 15.500 * [taylor]: Taking taylor expansion of (log y) in y 15.500 * [taylor]: Taking taylor expansion of y in y 15.555 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.555 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.555 * [taylor]: Taking taylor expansion of 1/3 in y 15.555 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.556 * [taylor]: Taking taylor expansion of y in y 15.556 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.557 * [taylor]: Taking taylor expansion of 1/3 in y 15.557 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.557 * [taylor]: Taking taylor expansion of y in y 15.615 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 15.615 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.615 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.615 * [taylor]: Taking taylor expansion of -1 in y 15.616 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.616 * [taylor]: Taking taylor expansion of 1/3 in y 15.616 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.616 * [taylor]: Taking taylor expansion of y in y 15.617 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.617 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.617 * [taylor]: Taking taylor expansion of -1 in y 15.618 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.618 * [taylor]: Taking taylor expansion of 1/3 in y 15.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.618 * [taylor]: Taking taylor expansion of y in y 15.689 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 2 1 1) 15.689 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 15.689 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.689 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.689 * [taylor]: Taking taylor expansion of 1/3 in y 15.689 * [taylor]: Taking taylor expansion of (log y) in y 15.689 * [taylor]: Taking taylor expansion of y in y 15.690 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.690 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.690 * [taylor]: Taking taylor expansion of 1/3 in y 15.690 * [taylor]: Taking taylor expansion of (log y) in y 15.690 * [taylor]: Taking taylor expansion of y in y 15.739 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.739 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.739 * [taylor]: Taking taylor expansion of 1/3 in y 15.739 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.739 * [taylor]: Taking taylor expansion of y in y 15.740 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.740 * [taylor]: Taking taylor expansion of 1/3 in y 15.740 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.740 * [taylor]: Taking taylor expansion of y in y 15.799 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 15.799 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.799 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.799 * [taylor]: Taking taylor expansion of -1 in y 15.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.800 * [taylor]: Taking taylor expansion of 1/3 in y 15.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.800 * [taylor]: Taking taylor expansion of y in y 15.801 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 15.801 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.801 * [taylor]: Taking taylor expansion of -1 in y 15.802 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.802 * [taylor]: Taking taylor expansion of 1/3 in y 15.802 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.802 * [taylor]: Taking taylor expansion of y in y 15.872 * * * [progress]: simplifying candidates 15.873 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 15.875 * * [simplify]: iteration 0 : 42 enodes (cost 346 ) 15.882 * * [simplify]: iteration 1 : 75 enodes (cost 328 ) 15.895 * * [simplify]: iteration 2 : 147 enodes (cost 300 ) 15.930 * * [simplify]: iteration 3 : 338 enodes (cost 288 ) 16.056 * * [simplify]: iteration 4 : 1136 enodes (cost 288 ) 16.417 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 16.418 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 16.418 * * * [progress]: adding candidates to table 16.663 * [progress]: [Phase 3 of 3] Extracting. 16.663 * * [regime]: Finding splitpoints for: (# # # # #) 16.664 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 16.664 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 16.696 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # #) 16.726 * * * * [regimes]: Trying to branch on z from (# # # # #) 16.749 * * * * [regimes]: Trying to branch on y from (# # # # #) 16.776 * * * * [regimes]: Trying to branch on x from (# # # # #) 16.800 * * * [regime]: Found split indices: #