16.896 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.037 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.038 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.041 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.052 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.134 * * [simplify]: iteration 4 : 540 enodes (cost 11 ) 0.356 * * [simplify]: iteration 5 : 1053 enodes (cost 11 ) 1.033 * * [simplify]: iteration 6 : 1697 enodes (cost 11 ) 2.469 * * [simplify]: iteration 7 : 2346 enodes (cost 11 ) 3.795 * * [simplify]: iteration 8 : 2565 enodes (cost 11 ) 5.195 * * [simplify]: iteration 9 : 2683 enodes (cost 11 ) 6.617 * * [simplify]: iteration 10 : 2914 enodes (cost 11 ) 8.070 * * [simplify]: iteration 11 : 3128 enodes (cost 11 ) 9.598 * * [simplify]: iteration 12 : 3316 enodes (cost 11 ) 11.429 * * [simplify]: iteration 13 : 3550 enodes (cost 11 ) 13.423 * * [simplify]: iteration 14 : 3786 enodes (cost 11 ) 15.442 * * [simplify]: iteration 15 : 3832 enodes (cost 11 ) 17.550 * * [simplify]: iteration 16 : 3852 enodes (cost 11 ) 19.688 * * [simplify]: iteration done : 3852 enodes (cost 11 ) 19.688 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 19.691 * * [progress]: iteration 1 / 4 19.691 * * * [progress]: picking best candidate 19.693 * * * * [pick]: Picked # 19.693 * * * [progress]: localizing error 19.708 * * * [progress]: generating rewritten candidates 19.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 19.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 19.729 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 19.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 19.801 * * * [progress]: generating series expansions 19.801 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 19.801 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 19.801 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 19.801 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 19.801 * [taylor]: Taking taylor expansion of y in y 19.801 * [taylor]: Taking taylor expansion of 0.5 in y 19.801 * [taylor]: Taking taylor expansion of (log y) in y 19.801 * [taylor]: Taking taylor expansion of y in y 19.802 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 19.802 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 19.802 * [taylor]: Taking taylor expansion of y in y 19.802 * [taylor]: Taking taylor expansion of 0.5 in y 19.802 * [taylor]: Taking taylor expansion of (log y) in y 19.802 * [taylor]: Taking taylor expansion of y in y 19.871 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 19.871 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 19.871 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.871 * [taylor]: Taking taylor expansion of y in y 19.872 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 19.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.872 * [taylor]: Taking taylor expansion of y in y 19.872 * [taylor]: Taking taylor expansion of 0.5 in y 19.872 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 19.872 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 19.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.872 * [taylor]: Taking taylor expansion of y in y 19.873 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 19.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.873 * [taylor]: Taking taylor expansion of y in y 19.873 * [taylor]: Taking taylor expansion of 0.5 in y 19.946 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 19.946 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 19.946 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 19.946 * [taylor]: Taking taylor expansion of 0.5 in y 19.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.946 * [taylor]: Taking taylor expansion of y in y 19.946 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 19.946 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.946 * [taylor]: Taking taylor expansion of -1 in y 19.946 * [taylor]: Taking taylor expansion of y in y 19.947 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 19.947 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 19.947 * [taylor]: Taking taylor expansion of 0.5 in y 19.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.947 * [taylor]: Taking taylor expansion of y in y 19.947 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 19.947 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.947 * [taylor]: Taking taylor expansion of -1 in y 19.948 * [taylor]: Taking taylor expansion of y in y 20.034 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 20.034 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 20.035 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 20.035 * [taylor]: Taking taylor expansion of (+ x y) in y 20.035 * [taylor]: Taking taylor expansion of x in y 20.035 * [taylor]: Taking taylor expansion of y in y 20.035 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 20.035 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.035 * [taylor]: Taking taylor expansion of 0.5 in y 20.035 * [taylor]: Taking taylor expansion of (log y) in y 20.035 * [taylor]: Taking taylor expansion of y in y 20.035 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.035 * [taylor]: Taking taylor expansion of y in y 20.035 * [taylor]: Taking taylor expansion of (log y) in y 20.035 * [taylor]: Taking taylor expansion of y in y 20.035 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 20.035 * [taylor]: Taking taylor expansion of (+ x y) in x 20.035 * [taylor]: Taking taylor expansion of x in x 20.035 * [taylor]: Taking taylor expansion of y in x 20.035 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.035 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.035 * [taylor]: Taking taylor expansion of 0.5 in x 20.035 * [taylor]: Taking taylor expansion of (log y) in x 20.035 * [taylor]: Taking taylor expansion of y in x 20.035 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.035 * [taylor]: Taking taylor expansion of y in x 20.035 * [taylor]: Taking taylor expansion of (log y) in x 20.035 * [taylor]: Taking taylor expansion of y in x 20.036 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 20.036 * [taylor]: Taking taylor expansion of (+ x y) in x 20.036 * [taylor]: Taking taylor expansion of x in x 20.036 * [taylor]: Taking taylor expansion of y in x 20.036 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.036 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.036 * [taylor]: Taking taylor expansion of 0.5 in x 20.036 * [taylor]: Taking taylor expansion of (log y) in x 20.036 * [taylor]: Taking taylor expansion of y in x 20.036 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.036 * [taylor]: Taking taylor expansion of y in x 20.036 * [taylor]: Taking taylor expansion of (log y) in x 20.036 * [taylor]: Taking taylor expansion of y in x 20.036 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 20.036 * [taylor]: Taking taylor expansion of y in y 20.036 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 20.036 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.036 * [taylor]: Taking taylor expansion of 0.5 in y 20.036 * [taylor]: Taking taylor expansion of (log y) in y 20.036 * [taylor]: Taking taylor expansion of y in y 20.037 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.037 * [taylor]: Taking taylor expansion of y in y 20.037 * [taylor]: Taking taylor expansion of (log y) in y 20.037 * [taylor]: Taking taylor expansion of y in y 20.040 * [taylor]: Taking taylor expansion of 1 in y 20.043 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 20.043 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 20.043 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 20.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.043 * [taylor]: Taking taylor expansion of y in y 20.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.043 * [taylor]: Taking taylor expansion of x in y 20.043 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 20.043 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.043 * [taylor]: Taking taylor expansion of y in y 20.044 * [taylor]: Taking taylor expansion of y in y 20.045 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.045 * [taylor]: Taking taylor expansion of 0.5 in y 20.045 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.045 * [taylor]: Taking taylor expansion of y in y 20.045 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 20.045 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 20.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.045 * [taylor]: Taking taylor expansion of y in x 20.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.045 * [taylor]: Taking taylor expansion of x in x 20.045 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 20.045 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.046 * [taylor]: Taking taylor expansion of 0.5 in x 20.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 20.046 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.046 * [taylor]: Taking taylor expansion of x in x 20.046 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 20.046 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.046 * [taylor]: Taking taylor expansion of 0.5 in x 20.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.047 * [taylor]: Taking taylor expansion of 1 in y 20.048 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 20.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.048 * [taylor]: Taking taylor expansion of y in y 20.048 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 20.048 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.048 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.048 * [taylor]: Taking taylor expansion of y in y 20.049 * [taylor]: Taking taylor expansion of y in y 20.049 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.049 * [taylor]: Taking taylor expansion of 0.5 in y 20.049 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.049 * [taylor]: Taking taylor expansion of y in y 20.053 * [taylor]: Taking taylor expansion of 0 in y 20.056 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 20.056 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 20.056 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.056 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.056 * [taylor]: Taking taylor expansion of -1 in y 20.056 * [taylor]: Taking taylor expansion of y in y 20.057 * [taylor]: Taking taylor expansion of y in y 20.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 20.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.058 * [taylor]: Taking taylor expansion of y in y 20.058 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 20.058 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.058 * [taylor]: Taking taylor expansion of 0.5 in y 20.058 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.058 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.058 * [taylor]: Taking taylor expansion of -1 in y 20.058 * [taylor]: Taking taylor expansion of y in y 20.059 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.059 * [taylor]: Taking taylor expansion of x in y 20.059 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 20.059 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.059 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.059 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.059 * [taylor]: Taking taylor expansion of -1 in x 20.059 * [taylor]: Taking taylor expansion of y in x 20.059 * [taylor]: Taking taylor expansion of y in x 20.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.059 * [taylor]: Taking taylor expansion of y in x 20.059 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.059 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.059 * [taylor]: Taking taylor expansion of 0.5 in x 20.059 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.059 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.059 * [taylor]: Taking taylor expansion of -1 in x 20.059 * [taylor]: Taking taylor expansion of y in x 20.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.059 * [taylor]: Taking taylor expansion of x in x 20.060 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 20.060 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.060 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.060 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.060 * [taylor]: Taking taylor expansion of -1 in x 20.060 * [taylor]: Taking taylor expansion of y in x 20.060 * [taylor]: Taking taylor expansion of y in x 20.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.060 * [taylor]: Taking taylor expansion of y in x 20.060 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.060 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.060 * [taylor]: Taking taylor expansion of 0.5 in x 20.060 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.060 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.060 * [taylor]: Taking taylor expansion of -1 in x 20.060 * [taylor]: Taking taylor expansion of y in x 20.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.060 * [taylor]: Taking taylor expansion of x in x 20.062 * [taylor]: Taking taylor expansion of -1 in y 20.062 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 20.062 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.062 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.062 * [taylor]: Taking taylor expansion of -1 in y 20.062 * [taylor]: Taking taylor expansion of y in y 20.063 * [taylor]: Taking taylor expansion of y in y 20.064 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 20.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.064 * [taylor]: Taking taylor expansion of y in y 20.065 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.065 * [taylor]: Taking taylor expansion of 0.5 in y 20.065 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.065 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.065 * [taylor]: Taking taylor expansion of -1 in y 20.065 * [taylor]: Taking taylor expansion of y in y 20.069 * [taylor]: Taking taylor expansion of 0 in y 20.075 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 20.075 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 20.075 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 20.075 * [taylor]: Taking taylor expansion of x in y 20.075 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 20.075 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.076 * [taylor]: Taking taylor expansion of 0.5 in y 20.076 * [taylor]: Taking taylor expansion of (log y) in y 20.076 * [taylor]: Taking taylor expansion of y in y 20.076 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.076 * [taylor]: Taking taylor expansion of y in y 20.076 * [taylor]: Taking taylor expansion of (log y) in y 20.076 * [taylor]: Taking taylor expansion of y in y 20.076 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 20.076 * [taylor]: Taking taylor expansion of x in x 20.076 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.076 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.076 * [taylor]: Taking taylor expansion of 0.5 in x 20.076 * [taylor]: Taking taylor expansion of (log y) in x 20.076 * [taylor]: Taking taylor expansion of y in x 20.076 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.076 * [taylor]: Taking taylor expansion of y in x 20.076 * [taylor]: Taking taylor expansion of (log y) in x 20.076 * [taylor]: Taking taylor expansion of y in x 20.076 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 20.076 * [taylor]: Taking taylor expansion of x in x 20.076 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.076 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.076 * [taylor]: Taking taylor expansion of 0.5 in x 20.076 * [taylor]: Taking taylor expansion of (log y) in x 20.076 * [taylor]: Taking taylor expansion of y in x 20.076 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.076 * [taylor]: Taking taylor expansion of y in x 20.076 * [taylor]: Taking taylor expansion of (log y) in x 20.077 * [taylor]: Taking taylor expansion of y in x 20.077 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 20.077 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 20.077 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.077 * [taylor]: Taking taylor expansion of y in y 20.077 * [taylor]: Taking taylor expansion of (log y) in y 20.077 * [taylor]: Taking taylor expansion of y in y 20.077 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.077 * [taylor]: Taking taylor expansion of 0.5 in y 20.077 * [taylor]: Taking taylor expansion of (log y) in y 20.077 * [taylor]: Taking taylor expansion of y in y 20.080 * [taylor]: Taking taylor expansion of 1 in y 20.088 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 20.088 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 20.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.088 * [taylor]: Taking taylor expansion of x in y 20.088 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 20.088 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.088 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.088 * [taylor]: Taking taylor expansion of y in y 20.088 * [taylor]: Taking taylor expansion of y in y 20.089 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.089 * [taylor]: Taking taylor expansion of 0.5 in y 20.089 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.089 * [taylor]: Taking taylor expansion of y in y 20.089 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 20.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.089 * [taylor]: Taking taylor expansion of x in x 20.090 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 20.090 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.090 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.090 * [taylor]: Taking taylor expansion of y in x 20.090 * [taylor]: Taking taylor expansion of y in x 20.090 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.090 * [taylor]: Taking taylor expansion of 0.5 in x 20.090 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.090 * [taylor]: Taking taylor expansion of y in x 20.090 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 20.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.090 * [taylor]: Taking taylor expansion of x in x 20.090 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 20.090 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.090 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.091 * [taylor]: Taking taylor expansion of y in x 20.091 * [taylor]: Taking taylor expansion of y in x 20.091 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.091 * [taylor]: Taking taylor expansion of 0.5 in x 20.091 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.091 * [taylor]: Taking taylor expansion of y in x 20.091 * [taylor]: Taking taylor expansion of 1 in y 20.092 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 20.092 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 20.092 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.092 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.092 * [taylor]: Taking taylor expansion of y in y 20.092 * [taylor]: Taking taylor expansion of y in y 20.093 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.093 * [taylor]: Taking taylor expansion of 0.5 in y 20.093 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.093 * [taylor]: Taking taylor expansion of y in y 20.096 * [taylor]: Taking taylor expansion of 0 in y 20.099 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 20.099 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 20.099 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.099 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.099 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.099 * [taylor]: Taking taylor expansion of -1 in y 20.099 * [taylor]: Taking taylor expansion of y in y 20.099 * [taylor]: Taking taylor expansion of y in y 20.101 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 20.101 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.101 * [taylor]: Taking taylor expansion of 0.5 in y 20.101 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.101 * [taylor]: Taking taylor expansion of -1 in y 20.101 * [taylor]: Taking taylor expansion of y in y 20.101 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.101 * [taylor]: Taking taylor expansion of x in y 20.101 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.101 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.101 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.101 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.101 * [taylor]: Taking taylor expansion of -1 in x 20.101 * [taylor]: Taking taylor expansion of y in x 20.101 * [taylor]: Taking taylor expansion of y in x 20.102 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.102 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.102 * [taylor]: Taking taylor expansion of 0.5 in x 20.102 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.102 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.102 * [taylor]: Taking taylor expansion of -1 in x 20.102 * [taylor]: Taking taylor expansion of y in x 20.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.102 * [taylor]: Taking taylor expansion of x in x 20.102 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.102 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.102 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.102 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.102 * [taylor]: Taking taylor expansion of -1 in x 20.102 * [taylor]: Taking taylor expansion of y in x 20.102 * [taylor]: Taking taylor expansion of y in x 20.102 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.102 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.102 * [taylor]: Taking taylor expansion of 0.5 in x 20.102 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.102 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.102 * [taylor]: Taking taylor expansion of -1 in x 20.102 * [taylor]: Taking taylor expansion of y in x 20.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.102 * [taylor]: Taking taylor expansion of x in x 20.103 * [taylor]: Taking taylor expansion of -1 in y 20.104 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 20.104 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.104 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.104 * [taylor]: Taking taylor expansion of -1 in y 20.104 * [taylor]: Taking taylor expansion of y in y 20.105 * [taylor]: Taking taylor expansion of y in y 20.106 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.106 * [taylor]: Taking taylor expansion of 0.5 in y 20.106 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.106 * [taylor]: Taking taylor expansion of -1 in y 20.106 * [taylor]: Taking taylor expansion of y in y 20.110 * [taylor]: Taking taylor expansion of 0 in y 20.115 * * * * [progress]: [ 4 / 4 ] generating series at (2) 20.115 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 20.116 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 20.116 * [taylor]: Taking taylor expansion of (+ x y) in z 20.116 * [taylor]: Taking taylor expansion of x in z 20.116 * [taylor]: Taking taylor expansion of y in z 20.116 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 20.116 * [taylor]: Taking taylor expansion of z in z 20.116 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 20.116 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 20.116 * [taylor]: Taking taylor expansion of 0.5 in z 20.116 * [taylor]: Taking taylor expansion of (log y) in z 20.116 * [taylor]: Taking taylor expansion of y in z 20.116 * [taylor]: Taking taylor expansion of (* y (log y)) in z 20.116 * [taylor]: Taking taylor expansion of y in z 20.116 * [taylor]: Taking taylor expansion of (log y) in z 20.116 * [taylor]: Taking taylor expansion of y in z 20.116 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 20.116 * [taylor]: Taking taylor expansion of (+ x y) in y 20.116 * [taylor]: Taking taylor expansion of x in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.116 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 20.116 * [taylor]: Taking taylor expansion of z in y 20.116 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 20.116 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.116 * [taylor]: Taking taylor expansion of 0.5 in y 20.116 * [taylor]: Taking taylor expansion of (log y) in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.116 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.116 * [taylor]: Taking taylor expansion of (log y) in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.117 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 20.117 * [taylor]: Taking taylor expansion of (+ x y) in x 20.117 * [taylor]: Taking taylor expansion of x in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 20.117 * [taylor]: Taking taylor expansion of z in x 20.117 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.117 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.117 * [taylor]: Taking taylor expansion of 0.5 in x 20.117 * [taylor]: Taking taylor expansion of (log y) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (log y) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 20.117 * [taylor]: Taking taylor expansion of (+ x y) in x 20.117 * [taylor]: Taking taylor expansion of x in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 20.117 * [taylor]: Taking taylor expansion of z in x 20.117 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 20.117 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 20.117 * [taylor]: Taking taylor expansion of 0.5 in x 20.117 * [taylor]: Taking taylor expansion of (log y) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (* y (log y)) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.117 * [taylor]: Taking taylor expansion of (log y) in x 20.117 * [taylor]: Taking taylor expansion of y in x 20.118 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 20.118 * [taylor]: Taking taylor expansion of y in y 20.118 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 20.118 * [taylor]: Taking taylor expansion of z in y 20.118 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 20.118 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 20.118 * [taylor]: Taking taylor expansion of 0.5 in y 20.118 * [taylor]: Taking taylor expansion of (log y) in y 20.118 * [taylor]: Taking taylor expansion of y in y 20.118 * [taylor]: Taking taylor expansion of (* y (log y)) in y 20.118 * [taylor]: Taking taylor expansion of y in y 20.118 * [taylor]: Taking taylor expansion of (log y) in y 20.118 * [taylor]: Taking taylor expansion of y in y 20.119 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 20.119 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 20.119 * [taylor]: Taking taylor expansion of z in z 20.119 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 20.119 * [taylor]: Taking taylor expansion of 0.5 in z 20.119 * [taylor]: Taking taylor expansion of (log y) in z 20.119 * [taylor]: Taking taylor expansion of y in z 20.122 * [taylor]: Taking taylor expansion of 1 in y 20.122 * [taylor]: Taking taylor expansion of 1 in z 20.125 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 20.125 * [taylor]: Taking taylor expansion of 1 in z 20.125 * [taylor]: Taking taylor expansion of (log y) in z 20.125 * [taylor]: Taking taylor expansion of y in z 20.125 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in (x y z) around 0 20.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 20.125 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 20.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.125 * [taylor]: Taking taylor expansion of y in z 20.125 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.125 * [taylor]: Taking taylor expansion of x in z 20.125 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 20.125 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 20.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 20.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.125 * [taylor]: Taking taylor expansion of y in z 20.126 * [taylor]: Taking taylor expansion of y in z 20.126 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 20.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.126 * [taylor]: Taking taylor expansion of z in z 20.126 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 20.126 * [taylor]: Taking taylor expansion of 0.5 in z 20.126 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 20.126 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.126 * [taylor]: Taking taylor expansion of y in z 20.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 20.126 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 20.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.126 * [taylor]: Taking taylor expansion of y in y 20.126 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.126 * [taylor]: Taking taylor expansion of x in y 20.126 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 20.126 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.126 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.127 * [taylor]: Taking taylor expansion of y in y 20.127 * [taylor]: Taking taylor expansion of y in y 20.128 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 20.128 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.128 * [taylor]: Taking taylor expansion of z in y 20.128 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.128 * [taylor]: Taking taylor expansion of 0.5 in y 20.128 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.128 * [taylor]: Taking taylor expansion of y in y 20.128 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 20.128 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 20.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.128 * [taylor]: Taking taylor expansion of y in x 20.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.128 * [taylor]: Taking taylor expansion of x in x 20.129 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 20.129 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.129 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.129 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.129 * [taylor]: Taking taylor expansion of z in x 20.129 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.129 * [taylor]: Taking taylor expansion of 0.5 in x 20.129 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.129 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 20.129 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.129 * [taylor]: Taking taylor expansion of x in x 20.129 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 20.129 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 20.129 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.129 * [taylor]: Taking taylor expansion of y in x 20.130 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 20.130 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.130 * [taylor]: Taking taylor expansion of z in x 20.130 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 20.130 * [taylor]: Taking taylor expansion of 0.5 in x 20.130 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 20.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.130 * [taylor]: Taking taylor expansion of y in x 20.130 * [taylor]: Taking taylor expansion of 1 in y 20.131 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 20.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.131 * [taylor]: Taking taylor expansion of y in y 20.132 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 20.132 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 20.132 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.132 * [taylor]: Taking taylor expansion of y in y 20.132 * [taylor]: Taking taylor expansion of y in y 20.133 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 20.133 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.133 * [taylor]: Taking taylor expansion of z in y 20.133 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 20.133 * [taylor]: Taking taylor expansion of 0.5 in y 20.133 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.133 * [taylor]: Taking taylor expansion of y in y 20.134 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 20.134 * [taylor]: Taking taylor expansion of (log y) in z 20.134 * [taylor]: Taking taylor expansion of y in z 20.134 * [taylor]: Taking taylor expansion of 1 in z 20.134 * [taylor]: Taking taylor expansion of 1 in z 20.137 * [taylor]: Taking taylor expansion of 0 in y 20.140 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 20.140 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 20.140 * [taylor]: Taking taylor expansion of 0.5 in z 20.140 * [taylor]: Taking taylor expansion of (log y) in z 20.140 * [taylor]: Taking taylor expansion of y in z 20.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.140 * [taylor]: Taking taylor expansion of z in z 20.141 * [taylor]: Taking taylor expansion of 0 in z 20.141 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y z) around 0 20.141 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 20.141 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 20.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.142 * [taylor]: Taking taylor expansion of z in z 20.142 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 20.142 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 20.142 * [taylor]: Taking taylor expansion of (/ -1 y) in z 20.142 * [taylor]: Taking taylor expansion of -1 in z 20.142 * [taylor]: Taking taylor expansion of y in z 20.142 * [taylor]: Taking taylor expansion of y in z 20.142 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 20.142 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.142 * [taylor]: Taking taylor expansion of y in z 20.142 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 20.142 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 20.142 * [taylor]: Taking taylor expansion of 0.5 in z 20.142 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 20.142 * [taylor]: Taking taylor expansion of (/ -1 y) in z 20.142 * [taylor]: Taking taylor expansion of -1 in z 20.142 * [taylor]: Taking taylor expansion of y in z 20.142 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.142 * [taylor]: Taking taylor expansion of x in z 20.142 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 20.142 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 20.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.142 * [taylor]: Taking taylor expansion of z in y 20.142 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.142 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.142 * [taylor]: Taking taylor expansion of -1 in y 20.142 * [taylor]: Taking taylor expansion of y in y 20.143 * [taylor]: Taking taylor expansion of y in y 20.144 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 20.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.144 * [taylor]: Taking taylor expansion of y in y 20.145 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 20.145 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.145 * [taylor]: Taking taylor expansion of 0.5 in y 20.145 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.145 * [taylor]: Taking taylor expansion of -1 in y 20.145 * [taylor]: Taking taylor expansion of y in y 20.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.145 * [taylor]: Taking taylor expansion of x in y 20.145 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 20.145 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 20.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.145 * [taylor]: Taking taylor expansion of z in x 20.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.145 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.145 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.145 * [taylor]: Taking taylor expansion of -1 in x 20.145 * [taylor]: Taking taylor expansion of y in x 20.145 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.146 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.146 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.146 * [taylor]: Taking taylor expansion of 0.5 in x 20.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.146 * [taylor]: Taking taylor expansion of -1 in x 20.146 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.146 * [taylor]: Taking taylor expansion of x in x 20.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 20.146 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 20.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.146 * [taylor]: Taking taylor expansion of z in x 20.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 20.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.146 * [taylor]: Taking taylor expansion of -1 in x 20.146 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 20.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.146 * [taylor]: Taking taylor expansion of y in x 20.146 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 20.146 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 20.146 * [taylor]: Taking taylor expansion of 0.5 in x 20.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 20.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.147 * [taylor]: Taking taylor expansion of -1 in x 20.147 * [taylor]: Taking taylor expansion of y in x 20.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.147 * [taylor]: Taking taylor expansion of x in x 20.148 * [taylor]: Taking taylor expansion of -1 in y 20.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 20.149 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 20.149 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.149 * [taylor]: Taking taylor expansion of z in y 20.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 20.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.149 * [taylor]: Taking taylor expansion of -1 in y 20.149 * [taylor]: Taking taylor expansion of y in y 20.149 * [taylor]: Taking taylor expansion of y in y 20.151 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 20.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.151 * [taylor]: Taking taylor expansion of y in y 20.151 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 20.151 * [taylor]: Taking taylor expansion of 0.5 in y 20.151 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 20.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.151 * [taylor]: Taking taylor expansion of -1 in y 20.151 * [taylor]: Taking taylor expansion of y in y 20.153 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 20.153 * [taylor]: Taking taylor expansion of (log -1) in z 20.153 * [taylor]: Taking taylor expansion of -1 in z 20.153 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 20.153 * [taylor]: Taking taylor expansion of (log y) in z 20.153 * [taylor]: Taking taylor expansion of y in z 20.153 * [taylor]: Taking taylor expansion of 1 in z 20.153 * [taylor]: Taking taylor expansion of -1 in z 20.156 * [taylor]: Taking taylor expansion of 0 in y 20.161 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 20.161 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 20.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.161 * [taylor]: Taking taylor expansion of z in z 20.161 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 20.161 * [taylor]: Taking taylor expansion of 0.5 in z 20.161 * [taylor]: Taking taylor expansion of (log y) in z 20.161 * [taylor]: Taking taylor expansion of y in z 20.162 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 20.162 * [taylor]: Taking taylor expansion of 0.5 in z 20.162 * [taylor]: Taking taylor expansion of (log -1) in z 20.162 * [taylor]: Taking taylor expansion of -1 in z 20.162 * [taylor]: Taking taylor expansion of 0 in z 20.164 * * * [progress]: simplifying candidates 20.166 * [simplify]: Simplifying using # : (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma (sqrt x) (sqrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma 1 x (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) 20.176 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 20.215 * * [simplify]: iteration 1 : 527 enodes (cost 1749 ) 20.394 * * [simplify]: iteration 2 : 1669 enodes (cost 1552 ) 20.878 * * [simplify]: iteration done : 5000 enodes (cost 1527 ) 20.879 * [simplify]: Simplified to: (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (- (* y y) (* (- x (* (+ y 0.5) (log y))) (- (fma (+ y 0.5) (log y) y) x))) (* (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5))))) (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5)))) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ y 0.5) (+ (- (log y)) (log y))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (fma x x (* (+ y 0.5) (* (log y) (fma (+ y 0.5) (log y) x)))) (- (* (log y) (+ y 0.5))) (* (fma (+ y 0.5) (log y) x) (- x (* (+ y 0.5) (log y)))) (fma (+ y 0.5) (log y) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- (* (log y) (+ y 0.5))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- z z) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (+ (- x (* (+ y 0.5) (log y))) (- y z)) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (fma (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (* z (+ (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (+ (- x (* (+ y 0.5) (log y))) (- y z)) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (- (* (log -1) (+ y 0.5)) (* (log (/ -1 y)) (+ y 0.5))) (+ x (- y (* (log y) (+ y 0.5)))) (+ x (- y (* (log y) (+ y 0.5)))) (+ x (+ y (* (+ y 0.5) (- (log (/ -1 y)) (log -1))))) (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x) (+ x (- y (* (log y) (+ y 0.5)))) (- (+ x (fma y (- (log y)) y)) z) (+ (- (fma y (log (/ -1 y)) y) (fma (log -1) y z)) x) 20.880 * * * [progress]: adding candidates to table 21.186 * * [progress]: iteration 2 / 4 21.186 * * * [progress]: picking best candidate 21.195 * * * * [pick]: Picked # 21.195 * * * [progress]: localizing error 21.211 * * * [progress]: generating rewritten candidates 21.211 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 21.211 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 21.212 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 21.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 21.239 * * * [progress]: generating series expansions 21.239 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 21.239 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 21.240 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.240 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.240 * [taylor]: Taking taylor expansion of 1/3 in y 21.240 * [taylor]: Taking taylor expansion of (log y) in y 21.240 * [taylor]: Taking taylor expansion of y in y 21.240 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.240 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.240 * [taylor]: Taking taylor expansion of 1/3 in y 21.240 * [taylor]: Taking taylor expansion of (log y) in y 21.241 * [taylor]: Taking taylor expansion of y in y 21.291 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 21.292 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.292 * [taylor]: Taking taylor expansion of 1/3 in y 21.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.292 * [taylor]: Taking taylor expansion of y in y 21.293 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.293 * [taylor]: Taking taylor expansion of 1/3 in y 21.293 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.293 * [taylor]: Taking taylor expansion of y in y 21.348 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 21.349 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.349 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.349 * [taylor]: Taking taylor expansion of -1 in y 21.349 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.349 * [taylor]: Taking taylor expansion of 1/3 in y 21.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.349 * [taylor]: Taking taylor expansion of y in y 21.350 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.350 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.350 * [taylor]: Taking taylor expansion of -1 in y 21.351 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.351 * [taylor]: Taking taylor expansion of 1/3 in y 21.351 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.351 * [taylor]: Taking taylor expansion of y in y 21.418 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 21.419 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 21.419 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.419 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.419 * [taylor]: Taking taylor expansion of 1/3 in y 21.419 * [taylor]: Taking taylor expansion of (log y) in y 21.419 * [taylor]: Taking taylor expansion of y in y 21.419 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.419 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.419 * [taylor]: Taking taylor expansion of 1/3 in y 21.419 * [taylor]: Taking taylor expansion of (log y) in y 21.419 * [taylor]: Taking taylor expansion of y in y 21.467 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 21.468 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.468 * [taylor]: Taking taylor expansion of 1/3 in y 21.468 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.468 * [taylor]: Taking taylor expansion of y in y 21.469 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.469 * [taylor]: Taking taylor expansion of 1/3 in y 21.469 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.469 * [taylor]: Taking taylor expansion of y in y 21.526 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 21.526 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.526 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.526 * [taylor]: Taking taylor expansion of -1 in y 21.527 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.527 * [taylor]: Taking taylor expansion of 1/3 in y 21.527 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.527 * [taylor]: Taking taylor expansion of y in y 21.528 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 21.528 * [taylor]: Taking taylor expansion of (cbrt -1) in y 21.528 * [taylor]: Taking taylor expansion of -1 in y 21.528 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.528 * [taylor]: Taking taylor expansion of 1/3 in y 21.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.528 * [taylor]: Taking taylor expansion of y in y 21.596 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 21.596 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 21.596 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 21.596 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 21.596 * [taylor]: Taking taylor expansion of 3 in y 21.596 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 21.596 * [taylor]: Taking taylor expansion of y in y 21.596 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.596 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.596 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.596 * [taylor]: Taking taylor expansion of 1/3 in y 21.596 * [taylor]: Taking taylor expansion of (log y) in y 21.596 * [taylor]: Taking taylor expansion of y in y 21.597 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 21.597 * [taylor]: Taking taylor expansion of 1.5 in y 21.597 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.597 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.597 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.597 * [taylor]: Taking taylor expansion of 1/3 in y 21.597 * [taylor]: Taking taylor expansion of (log y) in y 21.597 * [taylor]: Taking taylor expansion of y in y 21.598 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 21.598 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 21.598 * [taylor]: Taking taylor expansion of 3 in y 21.598 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 21.598 * [taylor]: Taking taylor expansion of y in y 21.598 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.598 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.598 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.598 * [taylor]: Taking taylor expansion of 1/3 in y 21.598 * [taylor]: Taking taylor expansion of (log y) in y 21.598 * [taylor]: Taking taylor expansion of y in y 21.599 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 21.599 * [taylor]: Taking taylor expansion of 1.5 in y 21.599 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 21.599 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 21.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 21.599 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 21.599 * [taylor]: Taking taylor expansion of 1/3 in y 21.599 * [taylor]: Taking taylor expansion of (log y) in y 21.599 * [taylor]: Taking taylor expansion of y in y 21.847 * [approximate]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in (y) around 0 21.847 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 21.847 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 21.847 * [taylor]: Taking taylor expansion of 1.5 in y 21.847 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 21.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.847 * [taylor]: Taking taylor expansion of 1/3 in y 21.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.847 * [taylor]: Taking taylor expansion of y in y 21.848 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 21.848 * [taylor]: Taking taylor expansion of 3 in y 21.848 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 21.848 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 21.848 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.848 * [taylor]: Taking taylor expansion of 1/3 in y 21.848 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.848 * [taylor]: Taking taylor expansion of y in y 21.849 * [taylor]: Taking taylor expansion of y in y 21.849 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 21.849 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 21.849 * [taylor]: Taking taylor expansion of 1.5 in y 21.849 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 21.849 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.849 * [taylor]: Taking taylor expansion of 1/3 in y 21.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.849 * [taylor]: Taking taylor expansion of y in y 21.850 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 21.850 * [taylor]: Taking taylor expansion of 3 in y 21.850 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 21.850 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 21.850 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 21.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 21.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 21.850 * [taylor]: Taking taylor expansion of 1/3 in y 21.850 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.850 * [taylor]: Taking taylor expansion of y in y 21.851 * [taylor]: Taking taylor expansion of y in y 22.066 * [approximate]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in (y) around 0 22.066 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 22.066 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 22.066 * [taylor]: Taking taylor expansion of 1.5 in y 22.066 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.066 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.066 * [taylor]: Taking taylor expansion of -1 in y 22.067 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.067 * [taylor]: Taking taylor expansion of 1/3 in y 22.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.067 * [taylor]: Taking taylor expansion of y in y 22.068 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 22.068 * [taylor]: Taking taylor expansion of 3 in y 22.069 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 22.069 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.069 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.069 * [taylor]: Taking taylor expansion of -1 in y 22.069 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.069 * [taylor]: Taking taylor expansion of 1/3 in y 22.069 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.069 * [taylor]: Taking taylor expansion of y in y 22.071 * [taylor]: Taking taylor expansion of y in y 22.071 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y 22.071 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 22.071 * [taylor]: Taking taylor expansion of 1.5 in y 22.071 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.071 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.071 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.071 * [taylor]: Taking taylor expansion of -1 in y 22.072 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.072 * [taylor]: Taking taylor expansion of 1/3 in y 22.072 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.072 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.072 * [taylor]: Taking taylor expansion of y in y 22.074 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 22.074 * [taylor]: Taking taylor expansion of 3 in y 22.074 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 22.074 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.074 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.074 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.074 * [taylor]: Taking taylor expansion of -1 in y 22.075 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.075 * [taylor]: Taking taylor expansion of 1/3 in y 22.075 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.075 * [taylor]: Taking taylor expansion of y in y 22.076 * [taylor]: Taking taylor expansion of y in y 22.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 22.529 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 22.529 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 22.529 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 22.529 * [taylor]: Taking taylor expansion of y in y 22.529 * [taylor]: Taking taylor expansion of 0.5 in y 22.529 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 22.529 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 22.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 22.529 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 22.529 * [taylor]: Taking taylor expansion of 1/3 in y 22.529 * [taylor]: Taking taylor expansion of (log y) in y 22.529 * [taylor]: Taking taylor expansion of y in y 22.530 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 22.530 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.530 * [taylor]: Taking taylor expansion of 0.5 in y 22.530 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 22.530 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 22.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 22.530 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 22.530 * [taylor]: Taking taylor expansion of 1/3 in y 22.530 * [taylor]: Taking taylor expansion of (log y) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.648 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 22.649 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 22.649 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 22.649 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.649 * [taylor]: Taking taylor expansion of 1/3 in y 22.649 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.649 * [taylor]: Taking taylor expansion of y in y 22.650 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 22.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.650 * [taylor]: Taking taylor expansion of y in y 22.650 * [taylor]: Taking taylor expansion of 0.5 in y 22.650 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 22.650 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 22.650 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.650 * [taylor]: Taking taylor expansion of 1/3 in y 22.650 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.650 * [taylor]: Taking taylor expansion of y in y 22.651 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 22.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.651 * [taylor]: Taking taylor expansion of y in y 22.651 * [taylor]: Taking taylor expansion of 0.5 in y 22.778 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 22.779 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 22.779 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 22.779 * [taylor]: Taking taylor expansion of 0.5 in y 22.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.779 * [taylor]: Taking taylor expansion of y in y 22.779 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.779 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.779 * [taylor]: Taking taylor expansion of -1 in y 22.780 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.780 * [taylor]: Taking taylor expansion of 1/3 in y 22.780 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.780 * [taylor]: Taking taylor expansion of y in y 22.781 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 22.781 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 22.782 * [taylor]: Taking taylor expansion of 0.5 in y 22.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.782 * [taylor]: Taking taylor expansion of y in y 22.782 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 22.782 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 22.782 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.782 * [taylor]: Taking taylor expansion of -1 in y 22.783 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 22.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 22.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 22.783 * [taylor]: Taking taylor expansion of 1/3 in y 22.783 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.783 * [taylor]: Taking taylor expansion of y in y 22.947 * * * [progress]: simplifying candidates 22.949 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (log1p (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (exp (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (+ y 0.5) (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5)) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log 1))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) 0.5) (* (+ y 0.5) (log (cbrt y)))) (+ (* 0.5 (* 2 (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (+ (log (+ y 0.5)) (log (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (exp (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt 1))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)) (* (log (cbrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) 1/3) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 22.953 * * [simplify]: iteration 0 : 173 enodes (cost 1530 ) 22.996 * * [simplify]: iteration 1 : 506 enodes (cost 1362 ) 23.177 * * [simplify]: iteration 2 : 1940 enodes (cost 1125 ) 23.757 * * [simplify]: iteration done : 5000 enodes (cost 1125 ) 23.758 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* 3 (* (+ y 0.5) (log (cbrt y))))) (log1p (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (log (* 3 (* (+ y 0.5) (log (cbrt y))))) (exp (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (pow (* 3 (* (+ y 0.5) (log (cbrt y)))) 3) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (sqrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (fma y y (* 0.5 (- 0.5 y))) (+ (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))))) (* (fma y y (* 0.5 (- 0.5 y))) (fma y y (* 0.5 (- 0.5 y)))) (fma (* 2/3 (log y)) (* (+ (pow y 3) (pow 0.5 3)) (- y 0.5)) (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (fma y y (* 0.5 (- 0.5 y))))) (* (fma y y (* 0.5 (- 0.5 y))) (- y 0.5)) (fma (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (* (fma y y (* 0.5 (- 0.5 y))) (- (* y y) (* 0.5 0.5))) (* 2/3 (log y)))) (* (fma y y (* 0.5 (- 0.5 y))) (- y 0.5)) (* (- y 0.5) (+ (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))))) (* (- y 0.5) (- y 0.5)) (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (fma (* (+ y 0.5) (log (cbrt y))) (- (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2/3 (log y)))) (* (* (+ y 0.5) (+ y 0.5)) (* 4 (* (log (cbrt y)) (log (cbrt y)))))) (* (fma (* 2/3 (log y)) (+ y 0.5) (- (* (+ y 0.5) (log (cbrt y))))) (* 3 (* (+ y 0.5) (log (cbrt y))))) (fma (* 2/3 (log y)) (+ y 0.5) (- (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma 2 (log (cbrt y)) (log (cbrt (sqrt y)))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (sqrt (cbrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma 2 (log (cbrt y)) (log (cbrt (sqrt y)))) (+ y 0.5)) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (sqrt (cbrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (fma 0.5 (* 2/3 (log y)) (* (+ y 0.5) (log (cbrt y)))) (fma 0.5 (* 2/3 (log y)) (* (+ y 0.5) (log (cbrt y)))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (log (* (+ y 0.5) (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (pow (cbrt y) (+ y 0.5)) (pow (* (+ y 0.5) (log (cbrt y))) 3) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (pow (* (+ y 0.5) (log (cbrt y))) 3) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) 1/3) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (* -1/3 (- (log y))) (+ 1.5 (* 3 y))) (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* (log (* (cbrt (- y)) (cbrt -1))) y) 3)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* -1/3 (- (log y)))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 23.759 * * * [progress]: adding candidates to table 24.142 * * [progress]: iteration 3 / 4 24.142 * * * [progress]: picking best candidate 24.153 * * * * [pick]: Picked # 24.154 * * * [progress]: localizing error 24.168 * * * [progress]: generating rewritten candidates 24.168 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 24.172 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 24.175 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 24.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 24.190 * * * [progress]: generating series expansions 24.190 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 24.190 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 24.190 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.191 * [taylor]: Taking taylor expansion of 1/3 in y 24.191 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.191 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.191 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.191 * [taylor]: Taking taylor expansion of y in y 24.191 * [taylor]: Taking taylor expansion of 0.5 in y 24.191 * [taylor]: Taking taylor expansion of (log y) in y 24.191 * [taylor]: Taking taylor expansion of y in y 24.192 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.192 * [taylor]: Taking taylor expansion of 1/3 in y 24.192 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.192 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.192 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.192 * [taylor]: Taking taylor expansion of y in y 24.192 * [taylor]: Taking taylor expansion of 0.5 in y 24.192 * [taylor]: Taking taylor expansion of (log y) in y 24.192 * [taylor]: Taking taylor expansion of y in y 24.212 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 24.212 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.212 * [taylor]: Taking taylor expansion of 1/3 in y 24.212 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.212 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.212 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.212 * [taylor]: Taking taylor expansion of y in y 24.213 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.213 * [taylor]: Taking taylor expansion of y in y 24.213 * [taylor]: Taking taylor expansion of 0.5 in y 24.214 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.214 * [taylor]: Taking taylor expansion of 1/3 in y 24.214 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.214 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.214 * [taylor]: Taking taylor expansion of y in y 24.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.215 * [taylor]: Taking taylor expansion of y in y 24.215 * [taylor]: Taking taylor expansion of 0.5 in y 24.234 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 24.235 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.235 * [taylor]: Taking taylor expansion of 1/3 in y 24.235 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.235 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.235 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.235 * [taylor]: Taking taylor expansion of 0.5 in y 24.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.235 * [taylor]: Taking taylor expansion of y in y 24.235 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.235 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.235 * [taylor]: Taking taylor expansion of -1 in y 24.235 * [taylor]: Taking taylor expansion of y in y 24.239 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.239 * [taylor]: Taking taylor expansion of 1/3 in y 24.239 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.239 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.239 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.239 * [taylor]: Taking taylor expansion of 0.5 in y 24.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.239 * [taylor]: Taking taylor expansion of y in y 24.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.239 * [taylor]: Taking taylor expansion of -1 in y 24.239 * [taylor]: Taking taylor expansion of y in y 24.273 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 24.273 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 24.274 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.274 * [taylor]: Taking taylor expansion of 1/3 in y 24.274 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.274 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.274 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.274 * [taylor]: Taking taylor expansion of y in y 24.274 * [taylor]: Taking taylor expansion of 0.5 in y 24.274 * [taylor]: Taking taylor expansion of (log y) in y 24.274 * [taylor]: Taking taylor expansion of y in y 24.275 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.275 * [taylor]: Taking taylor expansion of 1/3 in y 24.275 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.275 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.275 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.275 * [taylor]: Taking taylor expansion of y in y 24.275 * [taylor]: Taking taylor expansion of 0.5 in y 24.275 * [taylor]: Taking taylor expansion of (log y) in y 24.275 * [taylor]: Taking taylor expansion of y in y 24.294 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 24.294 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.294 * [taylor]: Taking taylor expansion of 1/3 in y 24.294 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.294 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.294 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.294 * [taylor]: Taking taylor expansion of y in y 24.295 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.295 * [taylor]: Taking taylor expansion of y in y 24.295 * [taylor]: Taking taylor expansion of 0.5 in y 24.296 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.296 * [taylor]: Taking taylor expansion of 1/3 in y 24.296 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.296 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.296 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.296 * [taylor]: Taking taylor expansion of y in y 24.296 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.297 * [taylor]: Taking taylor expansion of y in y 24.297 * [taylor]: Taking taylor expansion of 0.5 in y 24.311 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 24.312 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.312 * [taylor]: Taking taylor expansion of 1/3 in y 24.312 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.312 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.312 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.312 * [taylor]: Taking taylor expansion of 0.5 in y 24.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.312 * [taylor]: Taking taylor expansion of y in y 24.312 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.312 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.312 * [taylor]: Taking taylor expansion of -1 in y 24.312 * [taylor]: Taking taylor expansion of y in y 24.315 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.315 * [taylor]: Taking taylor expansion of 1/3 in y 24.315 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.315 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.315 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.315 * [taylor]: Taking taylor expansion of 0.5 in y 24.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.316 * [taylor]: Taking taylor expansion of y in y 24.316 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.316 * [taylor]: Taking taylor expansion of -1 in y 24.316 * [taylor]: Taking taylor expansion of y in y 24.355 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 24.355 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 24.355 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.355 * [taylor]: Taking taylor expansion of 1/3 in y 24.355 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.355 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.355 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.355 * [taylor]: Taking taylor expansion of y in y 24.355 * [taylor]: Taking taylor expansion of 0.5 in y 24.355 * [taylor]: Taking taylor expansion of (log y) in y 24.355 * [taylor]: Taking taylor expansion of y in y 24.356 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 24.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 24.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 24.356 * [taylor]: Taking taylor expansion of 1/3 in y 24.356 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 24.356 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 24.356 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.356 * [taylor]: Taking taylor expansion of y in y 24.356 * [taylor]: Taking taylor expansion of 0.5 in y 24.356 * [taylor]: Taking taylor expansion of (log y) in y 24.356 * [taylor]: Taking taylor expansion of y in y 24.375 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 24.375 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.375 * [taylor]: Taking taylor expansion of 1/3 in y 24.375 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.375 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.375 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.375 * [taylor]: Taking taylor expansion of y in y 24.376 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.376 * [taylor]: Taking taylor expansion of y in y 24.376 * [taylor]: Taking taylor expansion of 0.5 in y 24.377 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 24.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 24.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 24.377 * [taylor]: Taking taylor expansion of 1/3 in y 24.377 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 24.377 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.377 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.377 * [taylor]: Taking taylor expansion of y in y 24.378 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.378 * [taylor]: Taking taylor expansion of y in y 24.378 * [taylor]: Taking taylor expansion of 0.5 in y 24.393 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 24.393 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.393 * [taylor]: Taking taylor expansion of 1/3 in y 24.393 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.393 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.393 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.393 * [taylor]: Taking taylor expansion of 0.5 in y 24.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.393 * [taylor]: Taking taylor expansion of y in y 24.393 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.393 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.393 * [taylor]: Taking taylor expansion of -1 in y 24.393 * [taylor]: Taking taylor expansion of y in y 24.397 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 24.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 24.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 24.397 * [taylor]: Taking taylor expansion of 1/3 in y 24.397 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 24.397 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 24.397 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.397 * [taylor]: Taking taylor expansion of 0.5 in y 24.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.397 * [taylor]: Taking taylor expansion of y in y 24.397 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.397 * [taylor]: Taking taylor expansion of -1 in y 24.397 * [taylor]: Taking taylor expansion of y in y 24.436 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 24.437 * [approximate]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in (y) around 0 24.437 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 24.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 24.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 24.437 * [taylor]: Taking taylor expansion of 1/3 in y 24.437 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 24.437 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 24.437 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 24.437 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.437 * [taylor]: Taking taylor expansion of y in y 24.437 * [taylor]: Taking taylor expansion of 0.5 in y 24.437 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 24.437 * [taylor]: Taking taylor expansion of (log y) in y 24.437 * [taylor]: Taking taylor expansion of y in y 24.439 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 24.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 24.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 24.439 * [taylor]: Taking taylor expansion of 1/3 in y 24.439 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 24.439 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 24.439 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 24.439 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.439 * [taylor]: Taking taylor expansion of y in y 24.439 * [taylor]: Taking taylor expansion of 0.5 in y 24.439 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 24.439 * [taylor]: Taking taylor expansion of (log y) in y 24.439 * [taylor]: Taking taylor expansion of y in y 24.464 * [approximate]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in (y) around 0 24.464 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 24.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 24.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 24.464 * [taylor]: Taking taylor expansion of 1/3 in y 24.464 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 24.464 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 24.464 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 24.464 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.464 * [taylor]: Taking taylor expansion of y in y 24.465 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 24.465 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.465 * [taylor]: Taking taylor expansion of y in y 24.465 * [taylor]: Taking taylor expansion of 0.5 in y 24.467 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 24.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 24.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 24.467 * [taylor]: Taking taylor expansion of 1/3 in y 24.467 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 24.467 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 24.467 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 24.467 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.467 * [taylor]: Taking taylor expansion of y in y 24.468 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 24.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.468 * [taylor]: Taking taylor expansion of y in y 24.468 * [taylor]: Taking taylor expansion of 0.5 in y 24.488 * [approximate]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in (y) around 0 24.488 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 24.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 24.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 24.488 * [taylor]: Taking taylor expansion of 1/3 in y 24.488 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 24.488 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 24.488 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 24.488 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.488 * [taylor]: Taking taylor expansion of 0.5 in y 24.488 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.488 * [taylor]: Taking taylor expansion of y in y 24.489 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 24.489 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.489 * [taylor]: Taking taylor expansion of -1 in y 24.489 * [taylor]: Taking taylor expansion of y in y 24.494 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 24.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 24.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 24.494 * [taylor]: Taking taylor expansion of 1/3 in y 24.494 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 24.494 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 24.494 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 24.494 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.494 * [taylor]: Taking taylor expansion of 0.5 in y 24.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.494 * [taylor]: Taking taylor expansion of y in y 24.495 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 24.495 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.495 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.495 * [taylor]: Taking taylor expansion of -1 in y 24.495 * [taylor]: Taking taylor expansion of y in y 24.575 * * * [progress]: simplifying candidates 24.577 * [simplify]: Simplifying using # : (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (log1p (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (+ 1/3 1/3) (+ 1 1) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (+ 1 1) (+ (log (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y))))) (log (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (exp (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (sqrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (sqrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (cbrt (- y 0.5))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (- y 0.5))) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))) (* (cbrt (log y)) (cbrt (log y))) (* (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* 1 1) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* 2 1/3) (* 2 1) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (+ y 0.5))) (* (cbrt (* (+ y 0.5) (log y))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (* (cbrt (* (+ y 0.5) (log y))) (sqrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (* (+ y 0.5) (log y))) 1) (* (cbrt (log y)) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (* (sqrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (+ y 0.5) (log y)))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (pow (* 0.5 (log y)) 1/3) (+ (* 0.6666666666666666 (* y (pow (* 0.5 (log y)) 1/3))) (* 0.2222222222222222 (* (pow (* 0.5 (log y)) 1/3) (pow y 2))))) (* 1/6 (* (pow (/ (log y) (pow 0.5 5)) 1/3) (pow y 2)))) (- (+ (* 0.16666666666666666 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) y)) (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y)))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (* -1 (log (/ 1 y)))) (log (/ 1 y))))) (pow y 2)))) (- (+ (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (+ (* 0.16666666666666666 (/ (* (log -1) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* y (- (log -1) (log (/ -1 y)))))) (* 0.05555555555555555 (/ (* (log -1) (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))))) (+ (* 0.027777777777777776 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 y))) 2)))) (+ (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (* -1 (- (log -1) (log (/ -1 y))))) (log (/ -1 y))))) (log (/ -1 y))) (* (- (log -1) (log (/ -1 y))) y)))))) (- (+ (* 2.2222222222222223 (* (pow (* 0.25 (pow (log y) 2)) 1/3) (pow y 2))) (+ (* 1.3333333333333333 (* (pow (* 0.25 (pow (log y) 2)) 1/3) y)) (pow (* 0.25 (pow (log y) 2)) 1/3))) (* 0.16666666666666666 (* (pow (/ (pow (log y) 2) (pow 0.25 5)) 1/3) (pow y 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y)))))) y)) (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y))))))) (* 0.027777777777777776 (/ (exp (* 1/3 (- (log (pow (log (/ 1 y)) 2)) (* 2 (log (/ 1 y)))))) (pow y 2)))) (- (+ (* 0.08333333333333333 (/ (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.3333333333333333 (/ (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))) (+ (* 0.4444444444444444 (/ (* (pow (log -1) 3) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (+ (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))) (+ (* 0.08333333333333333 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.4444444444444444 (/ (* (log -1) (* (pow (log (/ -1 y)) 3) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (* 0.3333333333333333 (/ (* (pow (log -1) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))))))))) (+ (* 0.16666666666666666 (/ (* (log -1) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (+ (* 0.6666666666666666 (/ (* (log -1) (* (log (/ -1 y)) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 2) y))) (+ (* 0.6666666666666666 (/ (* (pow (log -1) 2) (* (pow (log (/ -1 y)) 2) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (+ (* 0.1111111111111111 (/ (* (pow (log (/ -1 y)) 4) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)))) (* 0.1111111111111111 (/ (* (pow (log -1) 4) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 y))) 2)) (* 2 (log (/ -1 y))))))) (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2))))))))) 24.590 * * [simplify]: iteration 0 : 238 enodes (cost 2764 ) 24.641 * * [simplify]: iteration 1 : 683 enodes (cost 2563 ) 24.809 * * [simplify]: iteration 2 : 2907 enodes (cost 2385 ) 25.334 * * [simplify]: iteration done : 5000 enodes (cost 2385 ) 25.335 * [simplify]: Simplified to: (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (cbrt (* (+ y 0.5) (log y)))) (log1p (cbrt (* (+ y 0.5) (log y)))) (log (cbrt (* (+ y 0.5) (log y)))) (exp (cbrt (* (+ y 0.5) (log y)))) (cbrt (+ y 0.5)) (cbrt (log y)) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (- y 0.5)) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (cbrt (* (+ y 0.5) (log y)))) (pow (cbrt (* (+ y 0.5) (log y))) 3) (sqrt (cbrt (* (+ y 0.5) (log y)))) (sqrt (cbrt (* (+ y 0.5) (log y)))) (expm1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (log1p (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) 2/3 2 (* (* (+ y 0.5) (+ y 0.5)) (pow (log y) 2)) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) 2 (* 2 (log (cbrt (* (+ y 0.5) (log y))))) (* 2 (log (cbrt (* (+ y 0.5) (log y))))) (exp (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (* (* (+ y 0.5) (+ y 0.5)) (pow (log y) 2)) (* (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))))) (cbrt (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))) (pow (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) 3) (fabs (cbrt (* (+ y 0.5) (log y)))) (fabs (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (fma y y (* 0.5 (- 0.5 y)))) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (fma y y (* 0.5 (- 0.5 y))))) (* (cbrt (* (- (* y y) (* 0.5 0.5)) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (- y 0.5)) (cbrt (- y 0.5))) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))) (* (cbrt (log y)) (cbrt (log y))) (* (pow (cbrt (cbrt (* (+ y 0.5) (log y)))) 3) (cbrt (cbrt (* (+ y 0.5) (log y))))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y))))) (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))) 1 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))) 2/3 2 (* (cbrt (* (+ y 0.5) (log y))) (cbrt (+ y 0.5))) (* (cbrt (* (+ y 0.5) (log y))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (cbrt (* (+ y 0.5) (log y)))))) (pow (sqrt (cbrt (* (+ y 0.5) (log y)))) 3) (cbrt (* (+ y 0.5) (log y))) (* (cbrt (log y)) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y)))) (pow (sqrt (cbrt (* (+ y 0.5) (log y)))) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ (pow y 3) (pow 0.5 3)) (log y)))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (- (* y y) (* 0.5 0.5)) (log y)))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (fma (/ (pow (exp (+ (log (log y)) (log y))) 1/3) y) 0.16666666666666666 (- (pow (exp (+ (log (log y)) (log y))) 1/3) (* 0.027777777777777776 (/ (pow (exp (+ (log (log y)) (log y))) 1/3) (* y y))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (fma (/ (pow (exp (+ (log (log y)) (log y))) 1/3) y) 0.16666666666666666 (- (pow (exp (+ (log (log y)) (log y))) 1/3) (* 0.027777777777777776 (/ (pow (exp (+ (log (log y)) (log y))) 1/3) (* y y))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (fma (/ (pow (exp (+ (log (log y)) (log y))) 1/3) y) 0.16666666666666666 (- (pow (exp (+ (log (log y)) (log y))) 1/3) (* 0.027777777777777776 (/ (pow (exp (+ (log (log y)) (log y))) 1/3) (* y y))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (fma 2.2222222222222223 (* (* y y) (cbrt (* 0.25 (pow (log y) 2)))) (fma 1.3333333333333333 (* (cbrt (* 0.25 (pow (log y) 2))) y) (cbrt (* 0.25 (pow (log y) 2))))) (* (* (cbrt (/ (pow (log y) 2) (pow 0.25 5))) (pow y 2)) 0.16666666666666666)) (fma 0.3333333333333333 (/ (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) y) (- (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) (* (/ (pow (exp 1/3) (+ (* 2 (log y)) (log (pow (log y) 2)))) (* y y)) 0.027777777777777776))) (fma 0.08333333333333333 (/ (* (/ (pow (log (/ -1 y)) 2) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) y) (- (fma 0.3333333333333333 (* (/ (pow (log (/ -1 y)) 2) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) (+ (fma (* (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (pow (- (log -1) (log (/ -1 y))) 2)) (/ (pow (log -1) 2) (* y y))) 0.08333333333333333 (fma 0.3333333333333333 (* (/ (pow (log -1) 2) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) (/ (* 0.4444444444444444 (log -1)) (/ (/ (* (pow (- (log -1) (log (/ -1 y))) 4) (pow y 2)) (pow (log (/ -1 y)) 3)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))))))) (fma 0.4444444444444444 (* (/ (* (pow (log -1) 3) (log (/ -1 y))) (* y y)) (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (pow (- (log -1) (log (/ -1 y))) 4))) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))))) (fma (/ (* (log -1) (/ (log (/ -1 y)) (/ (* y y) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))))) (pow (- (log -1) (log (/ -1 y))) 2)) 0.16666666666666666 (fma 0.6666666666666666 (* (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (/ y (log (/ -1 y)))) (/ (log -1) (pow (- (log -1) (log (/ -1 y))) 2))) (fma 0.6666666666666666 (/ (/ (* (* (pow (log -1) 2) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) (pow (log (/ -1 y)) 2)) (* y y)) (pow (- (log -1) (log (/ -1 y))) 4)) (* (* (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (* y y)) (+ (/ (pow (log (/ -1 y)) 4) (pow (- (log -1) (log (/ -1 y))) 4)) (/ (pow (log -1) 4) (pow (- (log -1) (log (/ -1 y))) 4)))) 0.1111111111111111)))))) 25.336 * * * [progress]: adding candidates to table 25.721 * * [progress]: iteration 4 / 4 25.721 * * * [progress]: picking best candidate 25.725 * * * * [pick]: Picked # 25.725 * * * [progress]: localizing error 25.735 * * * [progress]: generating rewritten candidates 25.735 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 25.735 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 25.738 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 25.765 * * * [progress]: generating series expansions 25.765 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 25.766 * [approximate]: Taking taylor expansion of (fma y (- (log y)) y) in (y) around 0 25.766 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 25.766 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 25.766 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 25.766 * [taylor]: Taking taylor expansion of y in y 25.766 * [taylor]: Taking taylor expansion of (- (log y)) in y 25.766 * [taylor]: Taking taylor expansion of (log y) in y 25.766 * [taylor]: Taking taylor expansion of y in y 25.766 * [taylor]: Taking taylor expansion of y in y 25.766 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 25.767 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 25.767 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 25.767 * [taylor]: Taking taylor expansion of y in y 25.767 * [taylor]: Taking taylor expansion of (- (log y)) in y 25.767 * [taylor]: Taking taylor expansion of (log y) in y 25.767 * [taylor]: Taking taylor expansion of y in y 25.767 * [taylor]: Taking taylor expansion of y in y 25.844 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in (y) around 0 25.844 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 25.845 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 25.845 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 25.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.845 * [taylor]: Taking taylor expansion of y in y 25.845 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 25.845 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.845 * [taylor]: Taking taylor expansion of y in y 25.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.845 * [taylor]: Taking taylor expansion of y in y 25.846 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 25.846 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 25.846 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 25.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.846 * [taylor]: Taking taylor expansion of y in y 25.846 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 25.846 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.846 * [taylor]: Taking taylor expansion of y in y 25.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.847 * [taylor]: Taking taylor expansion of y in y 25.906 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in (y) around 0 25.906 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 25.906 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 25.906 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 25.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.906 * [taylor]: Taking taylor expansion of -1 in y 25.906 * [taylor]: Taking taylor expansion of y in y 25.906 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 25.906 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.906 * [taylor]: Taking taylor expansion of -1 in y 25.906 * [taylor]: Taking taylor expansion of y in y 25.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.907 * [taylor]: Taking taylor expansion of -1 in y 25.907 * [taylor]: Taking taylor expansion of y in y 25.907 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 25.907 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 25.907 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 25.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.907 * [taylor]: Taking taylor expansion of -1 in y 25.907 * [taylor]: Taking taylor expansion of y in y 25.908 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 25.908 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.908 * [taylor]: Taking taylor expansion of -1 in y 25.908 * [taylor]: Taking taylor expansion of y in y 25.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.908 * [taylor]: Taking taylor expansion of -1 in y 25.908 * [taylor]: Taking taylor expansion of y in y 25.976 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 25.976 * [approximate]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in (x y) around 0 25.976 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 25.976 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 25.976 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 25.976 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 25.976 * [taylor]: Taking taylor expansion of y in y 25.976 * [taylor]: Taking taylor expansion of (- (log y)) in y 25.976 * [taylor]: Taking taylor expansion of (log y) in y 25.976 * [taylor]: Taking taylor expansion of y in y 25.977 * [taylor]: Taking taylor expansion of y in y 25.977 * [taylor]: Taking taylor expansion of x in y 25.977 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 25.977 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 25.977 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 25.977 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of (- (log y)) in x 25.977 * [taylor]: Taking taylor expansion of (log y) in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of x in x 25.977 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 25.977 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 25.977 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 25.977 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of (- (log y)) in x 25.977 * [taylor]: Taking taylor expansion of (log y) in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of y in x 25.977 * [taylor]: Taking taylor expansion of x in x 25.978 * [taylor]: Taking taylor expansion of (- y (* y (log y))) in y 25.978 * [taylor]: Taking taylor expansion of y in y 25.978 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.978 * [taylor]: Taking taylor expansion of y in y 25.978 * [taylor]: Taking taylor expansion of (log y) in y 25.978 * [taylor]: Taking taylor expansion of y in y 25.980 * [taylor]: Taking taylor expansion of 1 in y 25.983 * [taylor]: Taking taylor expansion of 0 in y 25.989 * [taylor]: Taking taylor expansion of 0 in y 25.989 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in (x y) around 0 25.989 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 25.989 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 25.990 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 25.990 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 25.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.990 * [taylor]: Taking taylor expansion of y in y 25.990 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 25.990 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.990 * [taylor]: Taking taylor expansion of y in y 25.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.990 * [taylor]: Taking taylor expansion of y in y 25.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.991 * [taylor]: Taking taylor expansion of x in y 25.991 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 25.991 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 25.991 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 25.991 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 25.991 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.991 * [taylor]: Taking taylor expansion of y in x 25.991 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 25.991 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.991 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.991 * [taylor]: Taking taylor expansion of y in x 25.991 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.991 * [taylor]: Taking taylor expansion of y in x 25.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.991 * [taylor]: Taking taylor expansion of x in x 25.991 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 25.991 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 25.992 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 25.992 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 25.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.992 * [taylor]: Taking taylor expansion of y in x 25.992 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 25.992 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.992 * [taylor]: Taking taylor expansion of y in x 25.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.992 * [taylor]: Taking taylor expansion of y in x 25.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.992 * [taylor]: Taking taylor expansion of x in x 25.992 * [taylor]: Taking taylor expansion of 1 in y 25.993 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ 1 y)) y)) in y 25.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.993 * [taylor]: Taking taylor expansion of y in y 25.993 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.993 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.993 * [taylor]: Taking taylor expansion of y in y 25.994 * [taylor]: Taking taylor expansion of y in y 25.996 * [taylor]: Taking taylor expansion of 0 in y 26.002 * [taylor]: Taking taylor expansion of 0 in y 26.010 * [taylor]: Taking taylor expansion of 0 in y 26.010 * [approximate]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in (x y) around 0 26.010 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in y 26.010 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 26.010 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.010 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 26.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.010 * [taylor]: Taking taylor expansion of -1 in y 26.010 * [taylor]: Taking taylor expansion of y in y 26.010 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 26.010 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 26.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.011 * [taylor]: Taking taylor expansion of -1 in y 26.011 * [taylor]: Taking taylor expansion of y in y 26.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.011 * [taylor]: Taking taylor expansion of -1 in y 26.011 * [taylor]: Taking taylor expansion of y in y 26.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.011 * [taylor]: Taking taylor expansion of x in y 26.011 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in x 26.011 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 26.012 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.012 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.012 * [taylor]: Taking taylor expansion of -1 in x 26.012 * [taylor]: Taking taylor expansion of y in x 26.012 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 26.012 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.012 * [taylor]: Taking taylor expansion of -1 in x 26.012 * [taylor]: Taking taylor expansion of y in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.012 * [taylor]: Taking taylor expansion of -1 in x 26.012 * [taylor]: Taking taylor expansion of y in x 26.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.012 * [taylor]: Taking taylor expansion of x in x 26.012 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 x)) in x 26.012 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 26.012 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.012 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.012 * [taylor]: Taking taylor expansion of -1 in x 26.012 * [taylor]: Taking taylor expansion of y in x 26.012 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 26.012 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.012 * [taylor]: Taking taylor expansion of -1 in x 26.012 * [taylor]: Taking taylor expansion of y in x 26.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.013 * [taylor]: Taking taylor expansion of -1 in x 26.013 * [taylor]: Taking taylor expansion of y in x 26.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.013 * [taylor]: Taking taylor expansion of x in x 26.013 * [taylor]: Taking taylor expansion of -1 in y 26.014 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (/ 1 y)) in y 26.014 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 26.014 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 26.014 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.014 * [taylor]: Taking taylor expansion of -1 in y 26.014 * [taylor]: Taking taylor expansion of y in y 26.015 * [taylor]: Taking taylor expansion of y in y 26.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.016 * [taylor]: Taking taylor expansion of y in y 26.019 * [taylor]: Taking taylor expansion of 0 in y 26.026 * [taylor]: Taking taylor expansion of 0 in y 26.035 * [taylor]: Taking taylor expansion of 0 in y 26.035 * * * * [progress]: [ 3 / 3 ] generating series at (2) 26.035 * [approximate]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in (x y z) around 0 26.035 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in z 26.035 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in z 26.035 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in z 26.035 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 26.036 * [taylor]: Taking taylor expansion of (* y (- (log y))) in z 26.036 * [taylor]: Taking taylor expansion of y in z 26.036 * [taylor]: Taking taylor expansion of (- (log y)) in z 26.036 * [taylor]: Taking taylor expansion of (log y) in z 26.036 * [taylor]: Taking taylor expansion of y in z 26.036 * [taylor]: Taking taylor expansion of y in z 26.036 * [taylor]: Taking taylor expansion of x in z 26.036 * [taylor]: Taking taylor expansion of z in z 26.036 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in y 26.036 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 26.036 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 26.036 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 26.036 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 26.036 * [taylor]: Taking taylor expansion of y in y 26.036 * [taylor]: Taking taylor expansion of (- (log y)) in y 26.036 * [taylor]: Taking taylor expansion of (log y) in y 26.036 * [taylor]: Taking taylor expansion of y in y 26.036 * [taylor]: Taking taylor expansion of y in y 26.036 * [taylor]: Taking taylor expansion of x in y 26.036 * [taylor]: Taking taylor expansion of z in y 26.036 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in x 26.036 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 26.036 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 26.036 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 26.036 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 26.036 * [taylor]: Taking taylor expansion of y in x 26.036 * [taylor]: Taking taylor expansion of (- (log y)) in x 26.036 * [taylor]: Taking taylor expansion of (log y) in x 26.036 * [taylor]: Taking taylor expansion of y in x 26.036 * [taylor]: Taking taylor expansion of y in x 26.036 * [taylor]: Taking taylor expansion of x in x 26.036 * [taylor]: Taking taylor expansion of z in x 26.036 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in x 26.036 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 26.036 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 26.037 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 26.037 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 26.037 * [taylor]: Taking taylor expansion of y in x 26.037 * [taylor]: Taking taylor expansion of (- (log y)) in x 26.037 * [taylor]: Taking taylor expansion of (log y) in x 26.037 * [taylor]: Taking taylor expansion of y in x 26.037 * [taylor]: Taking taylor expansion of y in x 26.037 * [taylor]: Taking taylor expansion of x in x 26.037 * [taylor]: Taking taylor expansion of z in x 26.037 * [taylor]: Taking taylor expansion of (- y (+ z (* y (log y)))) in y 26.037 * [taylor]: Taking taylor expansion of y in y 26.037 * [taylor]: Taking taylor expansion of (+ z (* y (log y))) in y 26.037 * [taylor]: Taking taylor expansion of z in y 26.037 * [taylor]: Taking taylor expansion of (* y (log y)) in y 26.037 * [taylor]: Taking taylor expansion of y in y 26.037 * [taylor]: Taking taylor expansion of (log y) in y 26.037 * [taylor]: Taking taylor expansion of y in y 26.038 * [taylor]: Taking taylor expansion of (- z) in z 26.038 * [taylor]: Taking taylor expansion of z in z 26.040 * [taylor]: Taking taylor expansion of 1 in y 26.040 * [taylor]: Taking taylor expansion of 1 in z 26.041 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 26.041 * [taylor]: Taking taylor expansion of 1 in z 26.041 * [taylor]: Taking taylor expansion of (log y) in z 26.041 * [taylor]: Taking taylor expansion of y in z 26.042 * [approximate]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in (x y z) around 0 26.042 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in z 26.042 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in z 26.042 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in z 26.042 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 26.042 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in z 26.042 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.042 * [taylor]: Taking taylor expansion of y in z 26.042 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in z 26.042 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 26.042 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.042 * [taylor]: Taking taylor expansion of y in z 26.042 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.042 * [taylor]: Taking taylor expansion of y in z 26.042 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.042 * [taylor]: Taking taylor expansion of x in z 26.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.042 * [taylor]: Taking taylor expansion of z in z 26.043 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 26.043 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 26.043 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 26.043 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 26.043 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 26.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.043 * [taylor]: Taking taylor expansion of y in y 26.043 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 26.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.043 * [taylor]: Taking taylor expansion of y in y 26.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.044 * [taylor]: Taking taylor expansion of y in y 26.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.044 * [taylor]: Taking taylor expansion of x in y 26.044 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.044 * [taylor]: Taking taylor expansion of z in y 26.044 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 26.044 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 26.044 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 26.044 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 26.044 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 26.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.044 * [taylor]: Taking taylor expansion of y in x 26.044 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 26.044 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 26.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.044 * [taylor]: Taking taylor expansion of y in x 26.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.044 * [taylor]: Taking taylor expansion of y in x 26.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.044 * [taylor]: Taking taylor expansion of x in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.045 * [taylor]: Taking taylor expansion of z in x 26.045 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 26.045 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 26.045 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 26.045 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 26.045 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.045 * [taylor]: Taking taylor expansion of y in x 26.045 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 26.045 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.045 * [taylor]: Taking taylor expansion of y in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.045 * [taylor]: Taking taylor expansion of y in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.045 * [taylor]: Taking taylor expansion of x in x 26.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.045 * [taylor]: Taking taylor expansion of z in x 26.046 * [taylor]: Taking taylor expansion of 1 in y 26.047 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (/ 1 z))) in y 26.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.047 * [taylor]: Taking taylor expansion of y in y 26.047 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (/ 1 z)) in y 26.047 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 26.047 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.047 * [taylor]: Taking taylor expansion of y in y 26.048 * [taylor]: Taking taylor expansion of y in y 26.048 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.048 * [taylor]: Taking taylor expansion of z in y 26.049 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 26.049 * [taylor]: Taking taylor expansion of (log y) in z 26.049 * [taylor]: Taking taylor expansion of y in z 26.049 * [taylor]: Taking taylor expansion of 1 in z 26.049 * [taylor]: Taking taylor expansion of 1 in z 26.051 * [taylor]: Taking taylor expansion of 0 in y 26.053 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.053 * [taylor]: Taking taylor expansion of z in z 26.054 * [taylor]: Taking taylor expansion of 0 in z 26.054 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in (x y z) around 0 26.054 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in z 26.055 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in z 26.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.055 * [taylor]: Taking taylor expansion of z in z 26.055 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in z 26.055 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.055 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in z 26.055 * [taylor]: Taking taylor expansion of (/ -1 y) in z 26.055 * [taylor]: Taking taylor expansion of -1 in z 26.055 * [taylor]: Taking taylor expansion of y in z 26.055 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in z 26.055 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 26.055 * [taylor]: Taking taylor expansion of (/ -1 y) in z 26.055 * [taylor]: Taking taylor expansion of -1 in z 26.055 * [taylor]: Taking taylor expansion of y in z 26.055 * [taylor]: Taking taylor expansion of (/ -1 y) in z 26.055 * [taylor]: Taking taylor expansion of -1 in z 26.055 * [taylor]: Taking taylor expansion of y in z 26.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.055 * [taylor]: Taking taylor expansion of x in z 26.055 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in y 26.055 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in y 26.055 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.055 * [taylor]: Taking taylor expansion of z in y 26.055 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 26.055 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.055 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 26.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.056 * [taylor]: Taking taylor expansion of -1 in y 26.056 * [taylor]: Taking taylor expansion of y in y 26.056 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 26.056 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 26.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.056 * [taylor]: Taking taylor expansion of -1 in y 26.056 * [taylor]: Taking taylor expansion of y in y 26.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.056 * [taylor]: Taking taylor expansion of -1 in y 26.056 * [taylor]: Taking taylor expansion of y in y 26.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.057 * [taylor]: Taking taylor expansion of x in y 26.057 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in x 26.057 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in x 26.057 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.057 * [taylor]: Taking taylor expansion of z in x 26.057 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 26.057 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.057 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 26.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.057 * [taylor]: Taking taylor expansion of -1 in x 26.057 * [taylor]: Taking taylor expansion of y in x 26.057 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 26.057 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 26.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.057 * [taylor]: Taking taylor expansion of -1 in x 26.057 * [taylor]: Taking taylor expansion of y in x 26.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.057 * [taylor]: Taking taylor expansion of -1 in x 26.057 * [taylor]: Taking taylor expansion of y in x 26.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.057 * [taylor]: Taking taylor expansion of x in x 26.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) (/ 1 x)) in x 26.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in x 26.058 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.058 * [taylor]: Taking taylor expansion of z in x 26.058 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 26.058 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 26.058 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 26.058 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.058 * [taylor]: Taking taylor expansion of -1 in x 26.058 * [taylor]: Taking taylor expansion of y in x 26.058 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 26.058 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 26.058 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.058 * [taylor]: Taking taylor expansion of -1 in x 26.058 * [taylor]: Taking taylor expansion of y in x 26.058 * [taylor]: Taking taylor expansion of (/ -1 y) in x 26.058 * [taylor]: Taking taylor expansion of -1 in x 26.058 * [taylor]: Taking taylor expansion of y in x 26.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.058 * [taylor]: Taking taylor expansion of x in x 26.063 * [taylor]: Taking taylor expansion of -1 in y 26.065 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (/ 1 y)) in y 26.065 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 26.065 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.065 * [taylor]: Taking taylor expansion of z in y 26.065 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 26.065 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 26.065 * [taylor]: Taking taylor expansion of (/ -1 y) in y 26.065 * [taylor]: Taking taylor expansion of -1 in y 26.065 * [taylor]: Taking taylor expansion of y in y 26.065 * [taylor]: Taking taylor expansion of y in y 26.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.067 * [taylor]: Taking taylor expansion of y in y 26.068 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 26.068 * [taylor]: Taking taylor expansion of (log -1) in z 26.068 * [taylor]: Taking taylor expansion of -1 in z 26.068 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 26.068 * [taylor]: Taking taylor expansion of (log y) in z 26.068 * [taylor]: Taking taylor expansion of y in z 26.068 * [taylor]: Taking taylor expansion of 1 in z 26.068 * [taylor]: Taking taylor expansion of -1 in z 26.070 * [taylor]: Taking taylor expansion of 0 in y 26.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.073 * [taylor]: Taking taylor expansion of z in z 26.073 * [taylor]: Taking taylor expansion of 0 in z 26.075 * * * [progress]: simplifying candidates 26.076 * [simplify]: Simplifying using # : (expm1 (fma y (- (log y)) y)) (log1p (fma y (- (log y)) y)) (* y (- (log y))) (log (fma y (- (log y)) y)) (exp (fma y (- (log y)) y)) (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (* (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (expm1 (+ x (fma y (- (log y)) y))) (log1p (+ x (fma y (- (log y)) y))) (* (exp x) (exp (fma y (- (log y)) y))) (log (+ x (fma y (- (log y)) y))) (exp (+ x (fma y (- (log y)) y))) (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (* (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (+ (pow x 3) (pow (fma y (- (log y)) y) 3)) (+ (* x x) (- (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (* x (fma y (- (log y)) y)))) (- (* x x) (* (fma y (- (log y)) y) (fma y (- (log y)) y))) (- x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y)) (+ x (* y (- (log y)))) (fma (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (+ x (fma y (- (log y)) y))) (cbrt (+ x (fma y (- (log y)) y)))) (cbrt (+ x (fma y (- (log y)) y))) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (+ x (fma y (- (log y)) y))) (sqrt (+ x (fma y (- (log y)) y))) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ x (fma y (- (log y)) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ x (fma y (- (log y)) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ x (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (+ x (fma y (- (log y)) y)) z)) (log1p (- (+ x (fma y (- (log y)) y)) z)) (- z) (- z) (- z) (- z) (/ (* (exp x) (exp (fma y (- (log y)) y))) (exp z)) (/ (exp (+ x (fma y (- (log y)) y))) (exp z)) (log (- (+ x (fma y (- (log y)) y)) z)) (exp (- (+ x (fma y (- (log y)) y)) z)) (* (cbrt (- (+ x (fma y (- (log y)) y)) z)) (cbrt (- (+ x (fma y (- (log y)) y)) z))) (cbrt (- (+ x (fma y (- (log y)) y)) z)) (* (* (- (+ x (fma y (- (log y)) y)) z) (- (+ x (fma y (- (log y)) y)) z)) (- (+ x (fma y (- (log y)) y)) z)) (sqrt (- (+ x (fma y (- (log y)) y)) z)) (sqrt (- (+ x (fma y (- (log y)) y)) z)) (- (pow (+ x (fma y (- (log y)) y)) 3) (pow z 3)) (+ (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (+ (* z z) (* (+ x (fma y (- (log y)) y)) z))) (- z) (- (* (+ x (fma y (- (log y)) y)) (+ x (fma y (- (log y)) y))) (* z z)) (+ (+ x (fma y (- (log y)) y)) z) (+ (sqrt (+ x (fma y (- (log y)) y))) (sqrt z)) (- (sqrt (+ x (fma y (- (log y)) y))) (sqrt z)) (- (+ x (fma y (- (log y)) y)) z) (- (+ x (fma y (- (log y)) y)) z) (- (fma y (- (log y)) y) z) (- z) (* y (- 1 (log y))) (* y (+ (log (/ 1 y)) 1)) (* -1 (* (- (log -1) (+ (log (/ -1 y)) 1)) y)) (- (+ x y) (* y (log y))) (+ x (+ y (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) y)) (* (log -1) y)) (- (+ x y) (+ z (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) 26.080 * * [simplify]: iteration 0 : 119 enodes (cost 1102 ) 26.101 * * [simplify]: iteration 1 : 277 enodes (cost 942 ) 26.185 * * [simplify]: iteration 2 : 741 enodes (cost 812 ) 26.621 * * [simplify]: iteration 3 : 3511 enodes (cost 709 ) 27.767 * * [simplify]: iteration done : 5001 enodes (cost 709 ) 27.768 * [simplify]: Simplified to: (expm1 (fma y (- (log y)) y)) (log1p (fma y (- (log y)) y)) (* y (- (log y))) (log (fma y (- (log y)) y)) (/ (exp y) (pow y y)) (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (pow (fma y (- (log y)) y) 3) (sqrt (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (expm1 (fma (- 1 (log y)) y x)) (log1p (fma (- 1 (log y)) y x)) (/ (exp (+ x y)) (pow y y)) (log (fma (- 1 (log y)) y x)) (/ (exp (+ x y)) (pow y y)) (* (cbrt (fma (- 1 (log y)) y x)) (cbrt (fma (- 1 (log y)) y x))) (cbrt (fma (- 1 (log y)) y x)) (pow (fma (- 1 (log y)) y x) 3) (sqrt (fma (- 1 (log y)) y x)) (sqrt (fma (- 1 (log y)) y x)) (+ (pow x 3) (pow (fma y (- (log y)) y) 3)) (fma x x (* (fma y (- (log y)) y) (- (fma y (- (log y)) y) x))) (* (- x (fma y (- (log y)) y)) (fma (- 1 (log y)) y x)) (- x (fma y (- (log y)) y)) (fma (- 1 (log y)) y x) (fma (- (log y)) y x) (- (pow (cbrt (fma (- 1 (log y)) y x)) 3) z) (- z z) (- (pow (cbrt (fma (- 1 (log y)) y x)) 3) z) (- z z) (- (pow (cbrt (fma (- 1 (log y)) y x)) 3) z) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (+ (- x (fma (log y) y z)) y) (- z z) (expm1 (- (+ x y) (fma (log y) y z))) (log1p (- (+ x y) (fma (log y) y z))) (- z) (- z) (- z) (- z) (exp (- (+ x y) (fma (log y) y z))) (exp (- (+ x y) (fma (log y) y z))) (log (- (+ x y) (fma (log y) y z))) (exp (- (+ x y) (fma (log y) y z))) (* (cbrt (- (+ x y) (fma (log y) y z))) (cbrt (- (+ x y) (fma (log y) y z)))) (cbrt (- (+ x y) (fma (log y) y z))) (pow (- (+ x y) (fma (log y) y z)) 3) (sqrt (- (+ x y) (fma (log y) y z))) (sqrt (- (+ x y) (fma (log y) y z))) (- (pow (fma (- 1 (log y)) y x) 3) (pow z 3)) (fma z z (* (fma (- 1 (log y)) y x) (+ (fma (- 1 (log y)) y x) z))) (- z) (* (+ (fma (- 1 (log y)) y x) z) (- (+ x y) (fma (log y) y z))) (+ (fma (- 1 (log y)) y x) z) (+ (sqrt z) (sqrt (fma (- 1 (log y)) y x))) (- (sqrt (fma (- 1 (log y)) y x)) (sqrt z)) (+ (- x (fma (log y) y z)) y) (+ (- x (fma (log y) y z)) y) (- y (fma (log y) y z)) (- z) (fma (- y) (log y) y) (fma (- y) (log y) y) (- (* (+ 0 (- (log y) 1)) y)) (fma (- 1 (log y)) y x) (fma (- 1 (log y)) y x) (+ (+ x y) (* y (- (log (/ -1 y)) (log -1)))) (+ (- x (fma (log y) y z)) y) (+ (- x (fma (log y) y z)) y) (+ (- (fma y (log (/ -1 y)) y) (fma y (log -1) z)) x) 27.768 * * * [progress]: adding candidates to table 27.942 * [progress]: [Phase 3 of 3] Extracting. 27.942 * * [regime]: Finding splitpoints for: (# # # # #) 27.943 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 27.943 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 27.972 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # #) 27.998 * * * * [regimes]: Trying to branch on z from (# # # # #) 28.022 * * * * [regimes]: Trying to branch on y from (# # # # #) 28.044 * * * * [regimes]: Trying to branch on x from (# # # # #) 28.069 * * * [regime]: Found split indices: #