17.132 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.033 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.034 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.036 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.038 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.048 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.082 * * [simplify]: iteration 4 : 570 enodes (cost 11 ) 0.216 * * [simplify]: iteration 5 : 1344 enodes (cost 11 ) 0.615 * * [simplify]: iteration 6 : 2025 enodes (cost 11 ) 1.411 * * [simplify]: iteration 7 : 3118 enodes (cost 11 ) 2.992 * * [simplify]: iteration 8 : 3488 enodes (cost 11 ) 5.112 * * [simplify]: iteration 9 : 3826 enodes (cost 11 ) 7.546 * * [simplify]: iteration 10 : 4766 enodes (cost 11 ) 10.289 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 10.289 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 10.293 * * [progress]: iteration 1 / 4 10.293 * * * [progress]: picking best candidate 10.298 * * * * [pick]: Picked # 10.298 * * * [progress]: localizing error 10.308 * * * [progress]: generating rewritten candidates 10.308 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 10.319 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 10.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 10.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 10.401 * * * [progress]: generating series expansions 10.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 10.402 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 10.402 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 10.402 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 10.402 * [taylor]: Taking taylor expansion of y in y 10.402 * [taylor]: Taking taylor expansion of 0.5 in y 10.402 * [taylor]: Taking taylor expansion of (log y) in y 10.402 * [taylor]: Taking taylor expansion of y in y 10.402 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 10.403 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 10.403 * [taylor]: Taking taylor expansion of y in y 10.403 * [taylor]: Taking taylor expansion of 0.5 in y 10.403 * [taylor]: Taking taylor expansion of (log y) in y 10.403 * [taylor]: Taking taylor expansion of y in y 10.478 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 10.478 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 10.478 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.478 * [taylor]: Taking taylor expansion of y in y 10.478 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 10.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.478 * [taylor]: Taking taylor expansion of y in y 10.479 * [taylor]: Taking taylor expansion of 0.5 in y 10.479 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 10.479 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.479 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.479 * [taylor]: Taking taylor expansion of y in y 10.479 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 10.479 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.479 * [taylor]: Taking taylor expansion of y in y 10.479 * [taylor]: Taking taylor expansion of 0.5 in y 10.557 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 10.557 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 10.557 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 10.557 * [taylor]: Taking taylor expansion of 0.5 in y 10.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.557 * [taylor]: Taking taylor expansion of y in y 10.558 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.558 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.558 * [taylor]: Taking taylor expansion of -1 in y 10.558 * [taylor]: Taking taylor expansion of y in y 10.558 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 10.558 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 10.558 * [taylor]: Taking taylor expansion of 0.5 in y 10.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.558 * [taylor]: Taking taylor expansion of y in y 10.559 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.559 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.559 * [taylor]: Taking taylor expansion of -1 in y 10.559 * [taylor]: Taking taylor expansion of y in y 10.651 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 10.651 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 10.651 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 10.651 * [taylor]: Taking taylor expansion of (+ x y) in y 10.651 * [taylor]: Taking taylor expansion of x in y 10.651 * [taylor]: Taking taylor expansion of y in y 10.651 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 10.651 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.651 * [taylor]: Taking taylor expansion of 0.5 in y 10.651 * [taylor]: Taking taylor expansion of (log y) in y 10.651 * [taylor]: Taking taylor expansion of y in y 10.651 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.651 * [taylor]: Taking taylor expansion of y in y 10.651 * [taylor]: Taking taylor expansion of (log y) in y 10.651 * [taylor]: Taking taylor expansion of y in y 10.652 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 10.652 * [taylor]: Taking taylor expansion of (+ x y) in x 10.652 * [taylor]: Taking taylor expansion of x in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.652 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.652 * [taylor]: Taking taylor expansion of 0.5 in x 10.652 * [taylor]: Taking taylor expansion of (log y) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (log y) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 10.652 * [taylor]: Taking taylor expansion of (+ x y) in x 10.652 * [taylor]: Taking taylor expansion of x in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.652 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.652 * [taylor]: Taking taylor expansion of 0.5 in x 10.652 * [taylor]: Taking taylor expansion of (log y) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [taylor]: Taking taylor expansion of (log y) in x 10.652 * [taylor]: Taking taylor expansion of y in x 10.653 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 10.653 * [taylor]: Taking taylor expansion of y in y 10.653 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 10.653 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.653 * [taylor]: Taking taylor expansion of 0.5 in y 10.653 * [taylor]: Taking taylor expansion of (log y) in y 10.653 * [taylor]: Taking taylor expansion of y in y 10.653 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.653 * [taylor]: Taking taylor expansion of y in y 10.653 * [taylor]: Taking taylor expansion of (log y) in y 10.653 * [taylor]: Taking taylor expansion of y in y 10.656 * [taylor]: Taking taylor expansion of 1 in y 10.660 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 10.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 10.660 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 10.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.660 * [taylor]: Taking taylor expansion of y in y 10.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.660 * [taylor]: Taking taylor expansion of x in y 10.660 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 10.660 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.660 * [taylor]: Taking taylor expansion of y in y 10.661 * [taylor]: Taking taylor expansion of y in y 10.661 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.661 * [taylor]: Taking taylor expansion of 0.5 in y 10.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.661 * [taylor]: Taking taylor expansion of y in y 10.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 10.662 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 10.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.662 * [taylor]: Taking taylor expansion of y in x 10.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.662 * [taylor]: Taking taylor expansion of x in x 10.662 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 10.662 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.662 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.662 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.663 * [taylor]: Taking taylor expansion of 0.5 in x 10.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 10.663 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.663 * [taylor]: Taking taylor expansion of x in x 10.663 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 10.663 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.663 * [taylor]: Taking taylor expansion of 0.5 in x 10.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.664 * [taylor]: Taking taylor expansion of 1 in y 10.665 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 10.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.665 * [taylor]: Taking taylor expansion of y in y 10.665 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 10.665 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.665 * [taylor]: Taking taylor expansion of y in y 10.666 * [taylor]: Taking taylor expansion of y in y 10.666 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.667 * [taylor]: Taking taylor expansion of 0.5 in y 10.667 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.667 * [taylor]: Taking taylor expansion of y in y 10.670 * [taylor]: Taking taylor expansion of 0 in y 10.673 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 10.673 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 10.673 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.673 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.674 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.674 * [taylor]: Taking taylor expansion of -1 in y 10.674 * [taylor]: Taking taylor expansion of y in y 10.674 * [taylor]: Taking taylor expansion of y in y 10.675 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 10.675 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.676 * [taylor]: Taking taylor expansion of y in y 10.676 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 10.676 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.676 * [taylor]: Taking taylor expansion of 0.5 in y 10.676 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.676 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.676 * [taylor]: Taking taylor expansion of -1 in y 10.676 * [taylor]: Taking taylor expansion of y in y 10.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.676 * [taylor]: Taking taylor expansion of x in y 10.677 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 10.677 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.677 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.677 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.677 * [taylor]: Taking taylor expansion of -1 in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.677 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.677 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.677 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.677 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.677 * [taylor]: Taking taylor expansion of 0.5 in x 10.677 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.677 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.677 * [taylor]: Taking taylor expansion of -1 in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.677 * [taylor]: Taking taylor expansion of x in x 10.677 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 10.677 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.677 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.677 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.677 * [taylor]: Taking taylor expansion of -1 in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.678 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.678 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.678 * [taylor]: Taking taylor expansion of y in x 10.678 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.678 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.678 * [taylor]: Taking taylor expansion of 0.5 in x 10.678 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.678 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.678 * [taylor]: Taking taylor expansion of -1 in x 10.678 * [taylor]: Taking taylor expansion of y in x 10.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.678 * [taylor]: Taking taylor expansion of x in x 10.679 * [taylor]: Taking taylor expansion of -1 in y 10.680 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 10.680 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.680 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.680 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.680 * [taylor]: Taking taylor expansion of -1 in y 10.680 * [taylor]: Taking taylor expansion of y in y 10.681 * [taylor]: Taking taylor expansion of y in y 10.682 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 10.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.682 * [taylor]: Taking taylor expansion of y in y 10.682 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.682 * [taylor]: Taking taylor expansion of 0.5 in y 10.682 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.682 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.683 * [taylor]: Taking taylor expansion of -1 in y 10.683 * [taylor]: Taking taylor expansion of y in y 10.692 * [taylor]: Taking taylor expansion of 0 in y 10.699 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 10.699 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 10.699 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 10.699 * [taylor]: Taking taylor expansion of x in y 10.699 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 10.699 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.699 * [taylor]: Taking taylor expansion of 0.5 in y 10.699 * [taylor]: Taking taylor expansion of (log y) in y 10.699 * [taylor]: Taking taylor expansion of y in y 10.700 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.700 * [taylor]: Taking taylor expansion of y in y 10.700 * [taylor]: Taking taylor expansion of (log y) in y 10.700 * [taylor]: Taking taylor expansion of y in y 10.700 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 10.700 * [taylor]: Taking taylor expansion of x in x 10.700 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.700 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.700 * [taylor]: Taking taylor expansion of 0.5 in x 10.700 * [taylor]: Taking taylor expansion of (log y) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.700 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.700 * [taylor]: Taking taylor expansion of (log y) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.700 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 10.700 * [taylor]: Taking taylor expansion of x in x 10.700 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.700 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.700 * [taylor]: Taking taylor expansion of 0.5 in x 10.700 * [taylor]: Taking taylor expansion of (log y) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.700 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.700 * [taylor]: Taking taylor expansion of (log y) in x 10.700 * [taylor]: Taking taylor expansion of y in x 10.701 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 10.701 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 10.701 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.701 * [taylor]: Taking taylor expansion of y in y 10.701 * [taylor]: Taking taylor expansion of (log y) in y 10.701 * [taylor]: Taking taylor expansion of y in y 10.701 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.701 * [taylor]: Taking taylor expansion of 0.5 in y 10.701 * [taylor]: Taking taylor expansion of (log y) in y 10.701 * [taylor]: Taking taylor expansion of y in y 10.704 * [taylor]: Taking taylor expansion of 1 in y 10.707 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 10.707 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 10.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.707 * [taylor]: Taking taylor expansion of x in y 10.707 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 10.707 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.707 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.707 * [taylor]: Taking taylor expansion of y in y 10.708 * [taylor]: Taking taylor expansion of y in y 10.708 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.708 * [taylor]: Taking taylor expansion of 0.5 in y 10.708 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.708 * [taylor]: Taking taylor expansion of y in y 10.709 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 10.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.709 * [taylor]: Taking taylor expansion of x in x 10.709 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 10.709 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.709 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.709 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.709 * [taylor]: Taking taylor expansion of y in x 10.709 * [taylor]: Taking taylor expansion of y in x 10.710 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.710 * [taylor]: Taking taylor expansion of 0.5 in x 10.710 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.710 * [taylor]: Taking taylor expansion of y in x 10.710 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.710 * [taylor]: Taking taylor expansion of x in x 10.710 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 10.710 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.710 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.710 * [taylor]: Taking taylor expansion of y in x 10.710 * [taylor]: Taking taylor expansion of y in x 10.710 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.710 * [taylor]: Taking taylor expansion of 0.5 in x 10.710 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.710 * [taylor]: Taking taylor expansion of y in x 10.711 * [taylor]: Taking taylor expansion of 1 in y 10.712 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 10.712 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 10.712 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.712 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.712 * [taylor]: Taking taylor expansion of y in y 10.712 * [taylor]: Taking taylor expansion of y in y 10.713 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.713 * [taylor]: Taking taylor expansion of 0.5 in y 10.713 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.713 * [taylor]: Taking taylor expansion of y in y 10.716 * [taylor]: Taking taylor expansion of 0 in y 10.719 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 10.719 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 10.719 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.719 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.719 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.719 * [taylor]: Taking taylor expansion of -1 in y 10.719 * [taylor]: Taking taylor expansion of y in y 10.720 * [taylor]: Taking taylor expansion of y in y 10.721 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 10.721 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.721 * [taylor]: Taking taylor expansion of 0.5 in y 10.721 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.721 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.721 * [taylor]: Taking taylor expansion of -1 in y 10.721 * [taylor]: Taking taylor expansion of y in y 10.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.722 * [taylor]: Taking taylor expansion of x in y 10.722 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.722 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.722 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.722 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.722 * [taylor]: Taking taylor expansion of -1 in x 10.722 * [taylor]: Taking taylor expansion of y in x 10.722 * [taylor]: Taking taylor expansion of y in x 10.722 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.722 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.722 * [taylor]: Taking taylor expansion of 0.5 in x 10.722 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.722 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.722 * [taylor]: Taking taylor expansion of -1 in x 10.722 * [taylor]: Taking taylor expansion of y in x 10.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.722 * [taylor]: Taking taylor expansion of x in x 10.722 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.722 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.723 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.723 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.723 * [taylor]: Taking taylor expansion of -1 in x 10.723 * [taylor]: Taking taylor expansion of y in x 10.723 * [taylor]: Taking taylor expansion of y in x 10.723 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.723 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.723 * [taylor]: Taking taylor expansion of 0.5 in x 10.723 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.723 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.723 * [taylor]: Taking taylor expansion of -1 in x 10.723 * [taylor]: Taking taylor expansion of y in x 10.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.723 * [taylor]: Taking taylor expansion of x in x 10.724 * [taylor]: Taking taylor expansion of -1 in y 10.725 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 10.725 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.725 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.725 * [taylor]: Taking taylor expansion of -1 in y 10.725 * [taylor]: Taking taylor expansion of y in y 10.725 * [taylor]: Taking taylor expansion of y in y 10.727 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.727 * [taylor]: Taking taylor expansion of 0.5 in y 10.727 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.727 * [taylor]: Taking taylor expansion of -1 in y 10.727 * [taylor]: Taking taylor expansion of y in y 10.731 * [taylor]: Taking taylor expansion of 0 in y 10.736 * * * * [progress]: [ 4 / 4 ] generating series at (2) 10.737 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 10.737 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 10.737 * [taylor]: Taking taylor expansion of (+ x y) in z 10.737 * [taylor]: Taking taylor expansion of x in z 10.737 * [taylor]: Taking taylor expansion of y in z 10.737 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 10.737 * [taylor]: Taking taylor expansion of z in z 10.737 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 10.737 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 10.737 * [taylor]: Taking taylor expansion of 0.5 in z 10.737 * [taylor]: Taking taylor expansion of (log y) in z 10.737 * [taylor]: Taking taylor expansion of y in z 10.737 * [taylor]: Taking taylor expansion of (* y (log y)) in z 10.737 * [taylor]: Taking taylor expansion of y in z 10.737 * [taylor]: Taking taylor expansion of (log y) in z 10.737 * [taylor]: Taking taylor expansion of y in z 10.737 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 10.737 * [taylor]: Taking taylor expansion of (+ x y) in y 10.737 * [taylor]: Taking taylor expansion of x in y 10.737 * [taylor]: Taking taylor expansion of y in y 10.737 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 10.737 * [taylor]: Taking taylor expansion of z in y 10.737 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 10.737 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.737 * [taylor]: Taking taylor expansion of 0.5 in y 10.737 * [taylor]: Taking taylor expansion of (log y) in y 10.737 * [taylor]: Taking taylor expansion of y in y 10.737 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.737 * [taylor]: Taking taylor expansion of y in y 10.737 * [taylor]: Taking taylor expansion of (log y) in y 10.737 * [taylor]: Taking taylor expansion of y in y 10.738 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 10.738 * [taylor]: Taking taylor expansion of (+ x y) in x 10.738 * [taylor]: Taking taylor expansion of x in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 10.738 * [taylor]: Taking taylor expansion of z in x 10.738 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.738 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.738 * [taylor]: Taking taylor expansion of 0.5 in x 10.738 * [taylor]: Taking taylor expansion of (log y) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (log y) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 10.738 * [taylor]: Taking taylor expansion of (+ x y) in x 10.738 * [taylor]: Taking taylor expansion of x in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 10.738 * [taylor]: Taking taylor expansion of z in x 10.738 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 10.738 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 10.738 * [taylor]: Taking taylor expansion of 0.5 in x 10.738 * [taylor]: Taking taylor expansion of (log y) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (* y (log y)) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.738 * [taylor]: Taking taylor expansion of (log y) in x 10.738 * [taylor]: Taking taylor expansion of y in x 10.739 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 10.739 * [taylor]: Taking taylor expansion of y in y 10.739 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 10.739 * [taylor]: Taking taylor expansion of z in y 10.739 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 10.739 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 10.739 * [taylor]: Taking taylor expansion of 0.5 in y 10.739 * [taylor]: Taking taylor expansion of (log y) in y 10.739 * [taylor]: Taking taylor expansion of y in y 10.739 * [taylor]: Taking taylor expansion of (* y (log y)) in y 10.739 * [taylor]: Taking taylor expansion of y in y 10.739 * [taylor]: Taking taylor expansion of (log y) in y 10.739 * [taylor]: Taking taylor expansion of y in y 10.740 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 10.741 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 10.741 * [taylor]: Taking taylor expansion of z in z 10.741 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 10.741 * [taylor]: Taking taylor expansion of 0.5 in z 10.741 * [taylor]: Taking taylor expansion of (log y) in z 10.741 * [taylor]: Taking taylor expansion of y in z 10.744 * [taylor]: Taking taylor expansion of 1 in y 10.744 * [taylor]: Taking taylor expansion of 1 in z 10.746 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 10.746 * [taylor]: Taking taylor expansion of 1 in z 10.746 * [taylor]: Taking taylor expansion of (log y) in z 10.746 * [taylor]: Taking taylor expansion of y in z 10.747 * [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 10.747 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 10.747 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 10.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.747 * [taylor]: Taking taylor expansion of y in z 10.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.747 * [taylor]: Taking taylor expansion of x in z 10.747 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 10.747 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 10.747 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 10.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.747 * [taylor]: Taking taylor expansion of y in z 10.747 * [taylor]: Taking taylor expansion of y in z 10.747 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 10.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.747 * [taylor]: Taking taylor expansion of z in z 10.748 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 10.748 * [taylor]: Taking taylor expansion of 0.5 in z 10.748 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 10.748 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.748 * [taylor]: Taking taylor expansion of y in z 10.748 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 10.748 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 10.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.748 * [taylor]: Taking taylor expansion of y in y 10.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.748 * [taylor]: Taking taylor expansion of x in y 10.748 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 10.748 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.748 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.748 * [taylor]: Taking taylor expansion of y in y 10.749 * [taylor]: Taking taylor expansion of y in y 10.750 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 10.750 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.750 * [taylor]: Taking taylor expansion of z in y 10.750 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.750 * [taylor]: Taking taylor expansion of 0.5 in y 10.750 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.750 * [taylor]: Taking taylor expansion of y in y 10.750 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 10.750 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 10.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.750 * [taylor]: Taking taylor expansion of y in x 10.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.750 * [taylor]: Taking taylor expansion of x in x 10.751 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 10.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.751 * [taylor]: Taking taylor expansion of y in x 10.751 * [taylor]: Taking taylor expansion of y in x 10.751 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.751 * [taylor]: Taking taylor expansion of z in x 10.751 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.751 * [taylor]: Taking taylor expansion of 0.5 in x 10.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.751 * [taylor]: Taking taylor expansion of y in x 10.751 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 10.751 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.751 * [taylor]: Taking taylor expansion of y in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.751 * [taylor]: Taking taylor expansion of x in x 10.751 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 10.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 10.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.752 * [taylor]: Taking taylor expansion of y in x 10.752 * [taylor]: Taking taylor expansion of y in x 10.752 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 10.752 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.752 * [taylor]: Taking taylor expansion of z in x 10.752 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 10.752 * [taylor]: Taking taylor expansion of 0.5 in x 10.752 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.752 * [taylor]: Taking taylor expansion of y in x 10.752 * [taylor]: Taking taylor expansion of 1 in y 10.754 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 10.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.754 * [taylor]: Taking taylor expansion of y in y 10.754 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 10.754 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 10.754 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.754 * [taylor]: Taking taylor expansion of y in y 10.755 * [taylor]: Taking taylor expansion of y in y 10.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 10.755 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.755 * [taylor]: Taking taylor expansion of z in y 10.755 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 10.755 * [taylor]: Taking taylor expansion of 0.5 in y 10.755 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.755 * [taylor]: Taking taylor expansion of y in y 10.756 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 10.756 * [taylor]: Taking taylor expansion of (log y) in z 10.756 * [taylor]: Taking taylor expansion of y in z 10.756 * [taylor]: Taking taylor expansion of 1 in z 10.756 * [taylor]: Taking taylor expansion of 1 in z 10.759 * [taylor]: Taking taylor expansion of 0 in y 10.762 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 10.762 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 10.762 * [taylor]: Taking taylor expansion of 0.5 in z 10.762 * [taylor]: Taking taylor expansion of (log y) in z 10.762 * [taylor]: Taking taylor expansion of y in z 10.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.762 * [taylor]: Taking taylor expansion of z in z 10.763 * [taylor]: Taking taylor expansion of 0 in z 10.764 * [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 10.764 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 10.764 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 10.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.764 * [taylor]: Taking taylor expansion of z in z 10.765 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 10.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 10.765 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.765 * [taylor]: Taking taylor expansion of -1 in z 10.765 * [taylor]: Taking taylor expansion of y in z 10.765 * [taylor]: Taking taylor expansion of y in z 10.765 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 10.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.765 * [taylor]: Taking taylor expansion of y in z 10.765 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 10.765 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 10.765 * [taylor]: Taking taylor expansion of 0.5 in z 10.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 10.765 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.765 * [taylor]: Taking taylor expansion of -1 in z 10.765 * [taylor]: Taking taylor expansion of y in z 10.765 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.765 * [taylor]: Taking taylor expansion of x in z 10.765 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 10.765 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 10.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.765 * [taylor]: Taking taylor expansion of z in y 10.765 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.765 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.765 * [taylor]: Taking taylor expansion of -1 in y 10.765 * [taylor]: Taking taylor expansion of y in y 10.766 * [taylor]: Taking taylor expansion of y in y 10.767 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 10.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.767 * [taylor]: Taking taylor expansion of y in y 10.767 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 10.767 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.768 * [taylor]: Taking taylor expansion of 0.5 in y 10.768 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.768 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.768 * [taylor]: Taking taylor expansion of -1 in y 10.768 * [taylor]: Taking taylor expansion of y in y 10.768 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.768 * [taylor]: Taking taylor expansion of x in y 10.768 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 10.768 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 10.768 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.768 * [taylor]: Taking taylor expansion of z in x 10.768 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.768 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.768 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.768 * [taylor]: Taking taylor expansion of -1 in x 10.768 * [taylor]: Taking taylor expansion of y in x 10.768 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.769 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.769 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.769 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.769 * [taylor]: Taking taylor expansion of 0.5 in x 10.769 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.769 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.769 * [taylor]: Taking taylor expansion of -1 in x 10.769 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.769 * [taylor]: Taking taylor expansion of x in x 10.769 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 10.769 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 10.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.769 * [taylor]: Taking taylor expansion of z in x 10.769 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 10.769 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.769 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.769 * [taylor]: Taking taylor expansion of -1 in x 10.769 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 10.769 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.769 * [taylor]: Taking taylor expansion of y in x 10.769 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 10.769 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 10.770 * [taylor]: Taking taylor expansion of 0.5 in x 10.770 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 10.770 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.770 * [taylor]: Taking taylor expansion of -1 in x 10.770 * [taylor]: Taking taylor expansion of y in x 10.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.770 * [taylor]: Taking taylor expansion of x in x 10.771 * [taylor]: Taking taylor expansion of -1 in y 10.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 10.772 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 10.772 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.772 * [taylor]: Taking taylor expansion of z in y 10.772 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 10.772 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.772 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.772 * [taylor]: Taking taylor expansion of -1 in y 10.772 * [taylor]: Taking taylor expansion of y in y 10.773 * [taylor]: Taking taylor expansion of y in y 10.774 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 10.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.774 * [taylor]: Taking taylor expansion of y in y 10.774 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 10.775 * [taylor]: Taking taylor expansion of 0.5 in y 10.775 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 10.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.775 * [taylor]: Taking taylor expansion of -1 in y 10.775 * [taylor]: Taking taylor expansion of y in y 10.776 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 10.776 * [taylor]: Taking taylor expansion of (log -1) in z 10.776 * [taylor]: Taking taylor expansion of -1 in z 10.777 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 10.777 * [taylor]: Taking taylor expansion of (log y) in z 10.777 * [taylor]: Taking taylor expansion of y in z 10.777 * [taylor]: Taking taylor expansion of 1 in z 10.777 * [taylor]: Taking taylor expansion of -1 in z 10.780 * [taylor]: Taking taylor expansion of 0 in y 10.789 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 10.789 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 10.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.789 * [taylor]: Taking taylor expansion of z in z 10.790 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 10.790 * [taylor]: Taking taylor expansion of 0.5 in z 10.790 * [taylor]: Taking taylor expansion of (log y) in z 10.790 * [taylor]: Taking taylor expansion of y in z 10.790 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 10.790 * [taylor]: Taking taylor expansion of 0.5 in z 10.790 * [taylor]: Taking taylor expansion of (log -1) in z 10.790 * [taylor]: Taking taylor expansion of -1 in z 10.791 * [taylor]: Taking taylor expansion of 0 in z 10.792 * * * [progress]: simplifying candidates 10.794 * [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))) 10.801 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 10.837 * * [simplify]: iteration 1 : 549 enodes (cost 1749 ) 10.960 * * [simplify]: iteration 2 : 1955 enodes (cost 1540 ) 11.543 * * [simplify]: iteration done : 5001 enodes (cost 1539 ) 11.544 * [simplify]: Simplified to: (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (fma (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (* y (- (fma (+ y 0.5) (log y) y) x))) (* (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5))))) (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5)))) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ y 0.5) (+ (- (log y)) (log y))) (- x (* (+ y 0.5) (log y))) (* (+ y 0.5) (+ (- (log y)) (log y))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (/ (exp x) (pow y (+ y 0.5))) (log (- x (* (+ y 0.5) (log y)))) (/ (exp x) (pow y (+ y 0.5))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (fma x x (* (fma (log y) (+ y 0.5) x) (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (* (- x (* (+ y 0.5) (log y))) (fma (log y) (+ y 0.5) x)) (fma (log y) (+ y 0.5) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x 0) (- (* (log y) (+ y 0.5))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (* z 0) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (* z 0) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (* z 0) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (- (+ y (- x (* (+ y 0.5) (log 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)))) (- (+ (fma (log (/ -1 y)) (+ y 0.5) x) y) (* (log -1) (+ y 0.5))) (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (- (fma (log (/ -1 y)) (+ y 0.5) x) (* (log -1) (+ y 0.5))) (+ x (- y (* (log y) (+ y 0.5)))) (+ (- (fma y (- (log y)) y) z) x) (+ x (- (fma y (log (/ -1 y)) y) (fma (log -1) y z))) 11.545 * * * [progress]: adding candidates to table 11.827 * * [progress]: iteration 2 / 4 11.827 * * * [progress]: picking best candidate 11.835 * * * * [pick]: Picked # 11.835 * * * [progress]: localizing error 11.850 * * * [progress]: generating rewritten candidates 11.850 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1) 11.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 11.852 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 11.865 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 11.882 * * * [progress]: generating series expansions 11.882 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1) 11.882 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 11.883 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.883 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.883 * [taylor]: Taking taylor expansion of 1/3 in y 11.883 * [taylor]: Taking taylor expansion of (log y) in y 11.883 * [taylor]: Taking taylor expansion of y in y 11.884 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 11.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 11.884 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 11.884 * [taylor]: Taking taylor expansion of 1/3 in y 11.884 * [taylor]: Taking taylor expansion of (log y) in y 11.884 * [taylor]: Taking taylor expansion of y in y 11.935 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 11.935 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.935 * [taylor]: Taking taylor expansion of 1/3 in y 11.935 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.935 * [taylor]: Taking taylor expansion of y in y 11.936 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.936 * [taylor]: Taking taylor expansion of 1/3 in y 11.936 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.936 * [taylor]: Taking taylor expansion of y in y 11.996 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 11.996 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.996 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.996 * [taylor]: Taking taylor expansion of -1 in y 11.997 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.997 * [taylor]: Taking taylor expansion of 1/3 in y 11.997 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.997 * [taylor]: Taking taylor expansion of y in y 11.998 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 11.998 * [taylor]: Taking taylor expansion of (cbrt -1) in y 11.998 * [taylor]: Taking taylor expansion of -1 in y 11.998 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 11.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 11.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 11.998 * [taylor]: Taking taylor expansion of 1/3 in y 11.998 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.998 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.998 * [taylor]: Taking taylor expansion of y in y 12.068 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 12.068 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 12.068 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.068 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.068 * [taylor]: Taking taylor expansion of 1/3 in y 12.068 * [taylor]: Taking taylor expansion of (log y) in y 12.068 * [taylor]: Taking taylor expansion of y in y 12.069 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.069 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.069 * [taylor]: Taking taylor expansion of 1/3 in y 12.069 * [taylor]: Taking taylor expansion of (log y) in y 12.069 * [taylor]: Taking taylor expansion of y in y 12.124 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 12.124 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.124 * [taylor]: Taking taylor expansion of 1/3 in y 12.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.124 * [taylor]: Taking taylor expansion of y in y 12.125 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.125 * [taylor]: Taking taylor expansion of 1/3 in y 12.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.125 * [taylor]: Taking taylor expansion of y in y 12.178 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 12.178 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.178 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.178 * [taylor]: Taking taylor expansion of -1 in y 12.179 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.179 * [taylor]: Taking taylor expansion of 1/3 in y 12.179 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.179 * [taylor]: Taking taylor expansion of y in y 12.180 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.180 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.180 * [taylor]: Taking taylor expansion of -1 in y 12.180 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.180 * [taylor]: Taking taylor expansion of 1/3 in y 12.180 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.180 * [taylor]: Taking taylor expansion of y in y 12.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 12.253 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0 12.253 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 12.253 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 12.253 * [taylor]: Taking taylor expansion of 3 in y 12.253 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 12.253 * [taylor]: Taking taylor expansion of y in y 12.253 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 12.253 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.253 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.253 * [taylor]: Taking taylor expansion of 1/3 in y 12.253 * [taylor]: Taking taylor expansion of (log y) in y 12.253 * [taylor]: Taking taylor expansion of y in y 12.254 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 12.254 * [taylor]: Taking taylor expansion of 1.5 in y 12.254 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 12.254 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.254 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.254 * [taylor]: Taking taylor expansion of 1/3 in y 12.254 * [taylor]: Taking taylor expansion of (log y) in y 12.254 * [taylor]: Taking taylor expansion of y in y 12.255 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 12.255 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 12.255 * [taylor]: Taking taylor expansion of 3 in y 12.255 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 12.255 * [taylor]: Taking taylor expansion of y in y 12.255 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 12.255 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.255 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.255 * [taylor]: Taking taylor expansion of 1/3 in y 12.255 * [taylor]: Taking taylor expansion of (log y) in y 12.255 * [taylor]: Taking taylor expansion of y in y 12.256 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 12.256 * [taylor]: Taking taylor expansion of 1.5 in y 12.256 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 12.256 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.256 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.256 * [taylor]: Taking taylor expansion of 1/3 in y 12.256 * [taylor]: Taking taylor expansion of (log y) in y 12.256 * [taylor]: Taking taylor expansion of y in y 12.520 * [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 12.520 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 12.520 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 12.520 * [taylor]: Taking taylor expansion of 1.5 in y 12.520 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 12.520 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.520 * [taylor]: Taking taylor expansion of 1/3 in y 12.520 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.520 * [taylor]: Taking taylor expansion of y in y 12.521 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 12.521 * [taylor]: Taking taylor expansion of 3 in y 12.521 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 12.521 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 12.521 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.521 * [taylor]: Taking taylor expansion of 1/3 in y 12.521 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.521 * [taylor]: Taking taylor expansion of y in y 12.522 * [taylor]: Taking taylor expansion of y in y 12.522 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 12.522 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 12.522 * [taylor]: Taking taylor expansion of 1.5 in y 12.522 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 12.522 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.522 * [taylor]: Taking taylor expansion of 1/3 in y 12.522 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.522 * [taylor]: Taking taylor expansion of y in y 12.523 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 12.523 * [taylor]: Taking taylor expansion of 3 in y 12.523 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 12.523 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 12.523 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.523 * [taylor]: Taking taylor expansion of 1/3 in y 12.523 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.523 * [taylor]: Taking taylor expansion of y in y 12.524 * [taylor]: Taking taylor expansion of y in y 12.747 * [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 12.747 * [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 12.747 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 12.747 * [taylor]: Taking taylor expansion of 1.5 in y 12.747 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 12.747 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.748 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.748 * [taylor]: Taking taylor expansion of -1 in y 12.748 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.748 * [taylor]: Taking taylor expansion of 1/3 in y 12.748 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.748 * [taylor]: Taking taylor expansion of y in y 12.750 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 12.750 * [taylor]: Taking taylor expansion of 3 in y 12.750 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 12.750 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 12.750 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.750 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.750 * [taylor]: Taking taylor expansion of -1 in y 12.757 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.757 * [taylor]: Taking taylor expansion of 1/3 in y 12.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.757 * [taylor]: Taking taylor expansion of y in y 12.758 * [taylor]: Taking taylor expansion of y in y 12.759 * [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 12.759 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 12.759 * [taylor]: Taking taylor expansion of 1.5 in y 12.759 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 12.759 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.759 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.759 * [taylor]: Taking taylor expansion of -1 in y 12.760 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.760 * [taylor]: Taking taylor expansion of 1/3 in y 12.760 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.760 * [taylor]: Taking taylor expansion of y in y 12.761 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 12.761 * [taylor]: Taking taylor expansion of 3 in y 12.761 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 12.762 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 12.762 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.762 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.762 * [taylor]: Taking taylor expansion of -1 in y 12.762 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.762 * [taylor]: Taking taylor expansion of 1/3 in y 12.762 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.762 * [taylor]: Taking taylor expansion of y in y 12.764 * [taylor]: Taking taylor expansion of y in y 13.054 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 13.054 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 13.054 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 13.054 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.054 * [taylor]: Taking taylor expansion of y in y 13.055 * [taylor]: Taking taylor expansion of 0.5 in y 13.055 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.055 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.055 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.055 * [taylor]: Taking taylor expansion of 1/3 in y 13.055 * [taylor]: Taking taylor expansion of (log y) in y 13.055 * [taylor]: Taking taylor expansion of y in y 13.055 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 13.055 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 13.055 * [taylor]: Taking taylor expansion of y in y 13.055 * [taylor]: Taking taylor expansion of 0.5 in y 13.055 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.055 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.055 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.056 * [taylor]: Taking taylor expansion of 1/3 in y 13.056 * [taylor]: Taking taylor expansion of (log y) in y 13.056 * [taylor]: Taking taylor expansion of y in y 13.189 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 13.189 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 13.189 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.189 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.189 * [taylor]: Taking taylor expansion of 1/3 in y 13.189 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.189 * [taylor]: Taking taylor expansion of y in y 13.190 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.190 * [taylor]: Taking taylor expansion of y in y 13.190 * [taylor]: Taking taylor expansion of 0.5 in y 13.190 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 13.190 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.190 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.190 * [taylor]: Taking taylor expansion of 1/3 in y 13.190 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.190 * [taylor]: Taking taylor expansion of y in y 13.191 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 13.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.191 * [taylor]: Taking taylor expansion of y in y 13.192 * [taylor]: Taking taylor expansion of 0.5 in y 13.324 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 13.324 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.324 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.324 * [taylor]: Taking taylor expansion of 0.5 in y 13.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.324 * [taylor]: Taking taylor expansion of y in y 13.325 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.325 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.325 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.325 * [taylor]: Taking taylor expansion of -1 in y 13.326 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.326 * [taylor]: Taking taylor expansion of 1/3 in y 13.326 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.326 * [taylor]: Taking taylor expansion of y in y 13.327 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.327 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 13.327 * [taylor]: Taking taylor expansion of 0.5 in y 13.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.327 * [taylor]: Taking taylor expansion of y in y 13.328 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.328 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.328 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.328 * [taylor]: Taking taylor expansion of -1 in y 13.329 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.329 * [taylor]: Taking taylor expansion of 1/3 in y 13.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.329 * [taylor]: Taking taylor expansion of y in y 13.512 * * * [progress]: simplifying candidates 13.513 * [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)) 13.518 * * [simplify]: iteration 0 : 173 enodes (cost 1530 ) 13.549 * * [simplify]: iteration 1 : 508 enodes (cost 1366 ) 13.685 * * [simplify]: iteration 2 : 2181 enodes (cost 1109 ) 14.400 * * [simplify]: iteration done : 5000 enodes (cost 1109 ) 14.400 * [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)) (* 2/3 (log y)))) (* (* (+ y 0.5) (+ y 0.5)) (* (* 2/3 (log y)) (* 2/3 (log y))))) (* (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* 3 (* (+ y 0.5) (log (cbrt y))))) (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* (+ y 0.5) (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (cbrt (sqrt y))))) (* (+ 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))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (cbrt (sqrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* (+ y 0.5) (fma 2 (log (cbrt y)) (log (sqrt (cbrt y))))) (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ (+ y 0.5) (* 0.5 2))) (* (log (cbrt y)) (+ (+ y 0.5) (* 0.5 2))) (expm1 (* (+ y 0.5) (log (cbrt y)))) (log1p (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (log (* (+ y 0.5) (log (cbrt y)))) (log (* (+ y 0.5) (log (cbrt y)))) (pow (cbrt y) (+ y 0.5)) (pow (* (+ y 0.5) (log (cbrt y))) 3) (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))) (pow (* (+ y 0.5) (log (cbrt y))) 3) (sqrt (* (+ y 0.5) (log (cbrt y)))) (sqrt (* (+ y 0.5) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y)))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (log (cbrt (pow y 2/3))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) (* (+ y 0.5) (log (cbrt (sqrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt (cbrt y))))) (* (+ y 0.5) (log (cbrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) (* (+ y 0.5) (log (sqrt (cbrt y)))) 0 (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) 1/3) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (+ y 0.5) (sqrt (log (cbrt y)))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (* -1/3 (- (log y))) (+ (* 3 y) 1.5)) (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* (log (* (cbrt (- y)) (cbrt -1))) y) 3)) (* (+ y 0.5) (log (cbrt y))) (* -1/3 (* (- (log y)) (+ y 0.5))) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 14.401 * * * [progress]: adding candidates to table 14.768 * * [progress]: iteration 3 / 4 14.768 * * * [progress]: picking best candidate 14.774 * * * * [pick]: Picked # 14.775 * * * [progress]: localizing error 14.788 * * * [progress]: generating rewritten candidates 14.789 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 14.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 14.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 14.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 14.811 * * * [progress]: generating series expansions 14.811 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 14.811 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 14.811 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.811 * [taylor]: Taking taylor expansion of 1/3 in y 14.811 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.811 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.812 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.812 * [taylor]: Taking taylor expansion of y in y 14.812 * [taylor]: Taking taylor expansion of 0.5 in y 14.812 * [taylor]: Taking taylor expansion of (log y) in y 14.812 * [taylor]: Taking taylor expansion of y in y 14.813 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.813 * [taylor]: Taking taylor expansion of 1/3 in y 14.813 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.813 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.813 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.813 * [taylor]: Taking taylor expansion of y in y 14.813 * [taylor]: Taking taylor expansion of 0.5 in y 14.813 * [taylor]: Taking taylor expansion of (log y) in y 14.813 * [taylor]: Taking taylor expansion of y in y 14.838 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 14.838 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 14.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 14.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 14.838 * [taylor]: Taking taylor expansion of 1/3 in y 14.838 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 14.838 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 14.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.838 * [taylor]: Taking taylor expansion of y in y 14.839 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.839 * [taylor]: Taking taylor expansion of y in y 14.839 * [taylor]: Taking taylor expansion of 0.5 in y 14.840 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 14.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 14.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 14.840 * [taylor]: Taking taylor expansion of 1/3 in y 14.841 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 14.841 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 14.841 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.841 * [taylor]: Taking taylor expansion of y in y 14.841 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.841 * [taylor]: Taking taylor expansion of y in y 14.841 * [taylor]: Taking taylor expansion of 0.5 in y 14.857 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 14.858 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 14.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 14.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 14.858 * [taylor]: Taking taylor expansion of 1/3 in y 14.858 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 14.858 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 14.858 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.858 * [taylor]: Taking taylor expansion of 0.5 in y 14.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.858 * [taylor]: Taking taylor expansion of y in y 14.858 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.858 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.858 * [taylor]: Taking taylor expansion of -1 in y 14.858 * [taylor]: Taking taylor expansion of y in y 14.861 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 14.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 14.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 14.862 * [taylor]: Taking taylor expansion of 1/3 in y 14.862 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 14.862 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 14.862 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.862 * [taylor]: Taking taylor expansion of 0.5 in y 14.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.862 * [taylor]: Taking taylor expansion of y in y 14.862 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.862 * [taylor]: Taking taylor expansion of -1 in y 14.862 * [taylor]: Taking taylor expansion of y in y 14.899 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 14.899 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 14.899 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.899 * [taylor]: Taking taylor expansion of 1/3 in y 14.899 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.899 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.899 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.899 * [taylor]: Taking taylor expansion of y in y 14.899 * [taylor]: Taking taylor expansion of 0.5 in y 14.899 * [taylor]: Taking taylor expansion of (log y) in y 14.899 * [taylor]: Taking taylor expansion of y in y 14.900 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.900 * [taylor]: Taking taylor expansion of 1/3 in y 14.900 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.900 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.900 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.900 * [taylor]: Taking taylor expansion of y in y 14.900 * [taylor]: Taking taylor expansion of 0.5 in y 14.900 * [taylor]: Taking taylor expansion of (log y) in y 14.900 * [taylor]: Taking taylor expansion of y in y 14.926 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 14.926 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 14.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 14.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 14.926 * [taylor]: Taking taylor expansion of 1/3 in y 14.926 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 14.926 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 14.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.926 * [taylor]: Taking taylor expansion of y in y 14.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.926 * [taylor]: Taking taylor expansion of y in y 14.927 * [taylor]: Taking taylor expansion of 0.5 in y 14.928 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 14.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 14.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 14.928 * [taylor]: Taking taylor expansion of 1/3 in y 14.928 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 14.928 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 14.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.928 * [taylor]: Taking taylor expansion of y in y 14.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 14.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.929 * [taylor]: Taking taylor expansion of y in y 14.929 * [taylor]: Taking taylor expansion of 0.5 in y 14.944 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 14.944 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 14.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 14.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 14.944 * [taylor]: Taking taylor expansion of 1/3 in y 14.945 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 14.945 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 14.945 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.945 * [taylor]: Taking taylor expansion of 0.5 in y 14.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.945 * [taylor]: Taking taylor expansion of y in y 14.945 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.945 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.945 * [taylor]: Taking taylor expansion of -1 in y 14.945 * [taylor]: Taking taylor expansion of y in y 14.949 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 14.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 14.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 14.949 * [taylor]: Taking taylor expansion of 1/3 in y 14.949 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 14.949 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 14.949 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 14.949 * [taylor]: Taking taylor expansion of 0.5 in y 14.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.949 * [taylor]: Taking taylor expansion of y in y 14.949 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 14.949 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.949 * [taylor]: Taking taylor expansion of -1 in y 14.949 * [taylor]: Taking taylor expansion of y in y 14.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 14.986 * [approximate]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in (y) around 0 14.986 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.986 * [taylor]: Taking taylor expansion of 1/3 in y 14.986 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.986 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.986 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.986 * [taylor]: Taking taylor expansion of y in y 14.986 * [taylor]: Taking taylor expansion of 0.5 in y 14.986 * [taylor]: Taking taylor expansion of (log y) in y 14.986 * [taylor]: Taking taylor expansion of y in y 14.987 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log y)) 1/3) in y 14.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log y))))) in y 14.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log y)))) in y 14.987 * [taylor]: Taking taylor expansion of 1/3 in y 14.987 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log y))) in y 14.987 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 14.987 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 14.987 * [taylor]: Taking taylor expansion of y in y 14.987 * [taylor]: Taking taylor expansion of 0.5 in y 14.987 * [taylor]: Taking taylor expansion of (log y) in y 14.987 * [taylor]: Taking taylor expansion of y in y 15.013 * [approximate]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in (y) around 0 15.013 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 15.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 15.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 15.013 * [taylor]: Taking taylor expansion of 1/3 in y 15.013 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 15.013 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 15.013 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.013 * [taylor]: Taking taylor expansion of y in y 15.014 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.014 * [taylor]: Taking taylor expansion of y in y 15.014 * [taylor]: Taking taylor expansion of 0.5 in y 15.015 * [taylor]: Taking taylor expansion of (pow (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) 1/3) in y 15.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))))) in y 15.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5)))) in y 15.015 * [taylor]: Taking taylor expansion of 1/3 in y 15.015 * [taylor]: Taking taylor expansion of (log (* (log (/ 1 y)) (+ (/ 1 y) 0.5))) in y 15.015 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 15.015 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.016 * [taylor]: Taking taylor expansion of y in y 15.016 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.016 * [taylor]: Taking taylor expansion of y in y 15.016 * [taylor]: Taking taylor expansion of 0.5 in y 15.032 * [approximate]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in (y) around 0 15.032 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 15.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 15.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 15.032 * [taylor]: Taking taylor expansion of 1/3 in y 15.032 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 15.032 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 15.032 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.032 * [taylor]: Taking taylor expansion of 0.5 in y 15.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.033 * [taylor]: Taking taylor expansion of y in y 15.033 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.033 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.033 * [taylor]: Taking taylor expansion of -1 in y 15.033 * [taylor]: Taking taylor expansion of y in y 15.037 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (/ -1 y))) 1/3) in y 15.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))))) in y 15.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (/ -1 y))))) in y 15.037 * [taylor]: Taking taylor expansion of 1/3 in y 15.037 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (/ -1 y)))) in y 15.037 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 15.037 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.037 * [taylor]: Taking taylor expansion of 0.5 in y 15.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.037 * [taylor]: Taking taylor expansion of y in y 15.037 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.037 * [taylor]: Taking taylor expansion of -1 in y 15.037 * [taylor]: Taking taylor expansion of y in y 15.074 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 15.075 * [approximate]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in (y) around 0 15.075 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 15.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 15.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 15.075 * [taylor]: Taking taylor expansion of 1/3 in y 15.075 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 15.075 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 15.075 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 15.075 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.075 * [taylor]: Taking taylor expansion of y in y 15.075 * [taylor]: Taking taylor expansion of 0.5 in y 15.075 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 15.075 * [taylor]: Taking taylor expansion of (log y) in y 15.075 * [taylor]: Taking taylor expansion of y in y 15.077 * [taylor]: Taking taylor expansion of (pow (* (pow (+ y 0.5) 2) (pow (log y) 2)) 1/3) in y 15.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2))))) in y 15.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ y 0.5) 2) (pow (log y) 2)))) in y 15.077 * [taylor]: Taking taylor expansion of 1/3 in y 15.077 * [taylor]: Taking taylor expansion of (log (* (pow (+ y 0.5) 2) (pow (log y) 2))) in y 15.077 * [taylor]: Taking taylor expansion of (* (pow (+ y 0.5) 2) (pow (log y) 2)) in y 15.077 * [taylor]: Taking taylor expansion of (pow (+ y 0.5) 2) in y 15.077 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 15.077 * [taylor]: Taking taylor expansion of y in y 15.077 * [taylor]: Taking taylor expansion of 0.5 in y 15.078 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 15.078 * [taylor]: Taking taylor expansion of (log y) in y 15.078 * [taylor]: Taking taylor expansion of y in y 15.110 * [approximate]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in (y) around 0 15.110 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 15.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 15.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 15.110 * [taylor]: Taking taylor expansion of 1/3 in y 15.110 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 15.110 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 15.110 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 15.111 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.111 * [taylor]: Taking taylor expansion of y in y 15.111 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 15.111 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.111 * [taylor]: Taking taylor expansion of y in y 15.112 * [taylor]: Taking taylor expansion of 0.5 in y 15.114 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) 1/3) in y 15.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))))) in y 15.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)))) in y 15.114 * [taylor]: Taking taylor expansion of 1/3 in y 15.114 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2))) in y 15.114 * [taylor]: Taking taylor expansion of (* (pow (log (/ 1 y)) 2) (pow (+ (/ 1 y) 0.5) 2)) in y 15.114 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 15.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.114 * [taylor]: Taking taylor expansion of y in y 15.115 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 0.5) 2) in y 15.115 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 15.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.115 * [taylor]: Taking taylor expansion of y in y 15.115 * [taylor]: Taking taylor expansion of 0.5 in y 15.136 * [approximate]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in (y) around 0 15.136 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 15.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 15.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 15.136 * [taylor]: Taking taylor expansion of 1/3 in y 15.136 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 15.136 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 15.136 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 15.136 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.136 * [taylor]: Taking taylor expansion of 0.5 in y 15.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.136 * [taylor]: Taking taylor expansion of y in y 15.137 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 15.137 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.137 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.137 * [taylor]: Taking taylor expansion of -1 in y 15.137 * [taylor]: Taking taylor expansion of y in y 15.143 * [taylor]: Taking taylor expansion of (pow (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) 1/3) in y 15.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))))) in y 15.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)))) in y 15.143 * [taylor]: Taking taylor expansion of 1/3 in y 15.143 * [taylor]: Taking taylor expansion of (log (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2))) in y 15.143 * [taylor]: Taking taylor expansion of (* (pow (- 0.5 (/ 1 y)) 2) (pow (log (/ -1 y)) 2)) in y 15.143 * [taylor]: Taking taylor expansion of (pow (- 0.5 (/ 1 y)) 2) in y 15.143 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 15.143 * [taylor]: Taking taylor expansion of 0.5 in y 15.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.143 * [taylor]: Taking taylor expansion of y in y 15.144 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 15.144 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 15.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.144 * [taylor]: Taking taylor expansion of -1 in y 15.144 * [taylor]: Taking taylor expansion of y in y 15.230 * * * [progress]: simplifying candidates 15.232 * [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))))))))) 15.241 * * [simplify]: iteration 0 : 238 enodes (cost 2764 ) 15.291 * * [simplify]: iteration 1 : 686 enodes (cost 2563 ) 15.481 * * [simplify]: iteration 2 : 3124 enodes (cost 2385 ) 16.095 * * [simplify]: iteration done : 5000 enodes (cost 2385 ) 16.096 * [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 1/3) (+ (log (log y)) (log y))) y) 0.16666666666666666 (- (pow (exp 1/3) (+ (log (log y)) (log y))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y))))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (fma (/ (pow (exp 1/3) (+ (log (log y)) (log y))) y) 0.16666666666666666 (- (pow (exp 1/3) (+ (log (log y)) (log y))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y))))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (+ (* (* 0.2222222222222222 (cbrt (* 0.5 (log y)))) (* y y)) (* (+ (* 0.6666666666666666 y) 1) (cbrt (* 0.5 (log y))))) (* 1/6 (* (* y y) (cbrt (/ (log y) (pow 0.5 5)))))) (fma (/ (pow (exp 1/3) (+ (log (log y)) (log y))) y) 0.16666666666666666 (- (pow (exp 1/3) (+ (log (log y)) (log y))) (/ 0.027777777777777776 (/ (* y y) (pow (exp 1/3) (+ (log (log y)) (log y))))))) (+ (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (- (fma 0.16666666666666666 (/ (log -1) (/ (* y (- (log -1) (log (/ -1 y)))) (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))))) (/ (* 0.05555555555555555 (* (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log -1)) (log (/ -1 y)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2)))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log -1) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (fma 0.027777777777777776 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) (* 0.16666666666666666 (/ (* (pow (exp 1/3) (- (log (- (- (log -1) (log (/ -1 y))))) (log (/ -1 y)))) (log (/ -1 y))) (* y (- (log -1) (log (/ -1 y)))))))))) (- (fma 2.2222222222222223 (* (* y y) (cbrt (* 0.25 (pow (log y) 2)))) (fma 1.3333333333333333 (* (cbrt (* 0.25 (pow (log y) 2))) y) (cbrt (* 0.25 (pow (log y) 2))))) (* (* (cbrt (/ (pow (log y) 2) (pow 0.25 5))) (pow y 2)) 0.16666666666666666)) (fma 0.3333333333333333 (/ (exp (* 1/3 (+ (* 2 (log y)) (log (pow (log y) 2))))) y) (- (exp (* 1/3 (+ (* 2 (log y)) (log (pow (log y) 2))))) (* (/ (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)) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) (* y y)) (- (fma 0.3333333333333333 (/ (* (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (pow (log (/ -1 y)) 2)) (* (pow (- (log -1) (log (/ -1 y))) 2) y)) (+ (fma (* (/ (pow (log -1) 2) (* 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.08333333333333333 (fma 0.3333333333333333 (* (/ (pow (log -1) 2) y) (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (pow (- (log -1) (log (/ -1 y))) 2))) (/ (* (log -1) 0.4444444444444444) (/ (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)) 3))))))) (fma 0.4444444444444444 (/ (pow (log -1) 3) (* (/ (* y y) (log (/ -1 y))) (/ (pow (- (log -1) (log (/ -1 y))) 4) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))))) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))))) (fma (/ (* (* (log -1) (log (/ -1 y))) (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2)))) (* (pow (- (log -1) (log (/ -1 y))) 2) (pow y 2))) 0.16666666666666666 (fma 0.6666666666666666 (/ (* (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (log (/ -1 y))) (/ (* (pow (- (log -1) (log (/ -1 y))) 2) y) (log -1))) (fma 0.6666666666666666 (* (/ (pow (log -1) 2) (* y y)) (/ (* (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (log (/ -1 y)) -2))) (pow (log (/ -1 y)) 2)) (pow (- (log -1) (log (/ -1 y))) 4))) (* (* (/ (/ (pow (exp 1/3) (fma 2 (log (- (log -1) (log (/ -1 y)))) (* (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)))))) 16.097 * * * [progress]: adding candidates to table 16.470 * * [progress]: iteration 4 / 4 16.470 * * * [progress]: picking best candidate 16.474 * * * * [pick]: Picked # 16.474 * * * [progress]: localizing error 16.483 * * * [progress]: generating rewritten candidates 16.483 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 16.484 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 16.487 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 16.505 * * * [progress]: generating series expansions 16.505 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 16.506 * [approximate]: Taking taylor expansion of (fma y (- (log y)) y) in (y) around 0 16.506 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.506 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.506 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.506 * [taylor]: Taking taylor expansion of y in y 16.506 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.506 * [taylor]: Taking taylor expansion of (log y) in y 16.506 * [taylor]: Taking taylor expansion of y in y 16.506 * [taylor]: Taking taylor expansion of y in y 16.506 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.506 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.506 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.506 * [taylor]: Taking taylor expansion of y in y 16.507 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.507 * [taylor]: Taking taylor expansion of (log y) in y 16.507 * [taylor]: Taking taylor expansion of y in y 16.507 * [taylor]: Taking taylor expansion of y in y 16.592 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in (y) around 0 16.592 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.592 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.592 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.592 * [taylor]: Taking taylor expansion of y in y 16.593 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.593 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.593 * [taylor]: Taking taylor expansion of y in y 16.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.593 * [taylor]: Taking taylor expansion of y in y 16.594 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.594 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.594 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.594 * [taylor]: Taking taylor expansion of y in y 16.594 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.594 * [taylor]: Taking taylor expansion of y in y 16.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.595 * [taylor]: Taking taylor expansion of y in y 16.654 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in (y) around 0 16.654 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.654 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.654 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.654 * [taylor]: Taking taylor expansion of -1 in y 16.655 * [taylor]: Taking taylor expansion of y in y 16.655 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.655 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.655 * [taylor]: Taking taylor expansion of -1 in y 16.655 * [taylor]: Taking taylor expansion of y in y 16.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.656 * [taylor]: Taking taylor expansion of -1 in y 16.656 * [taylor]: Taking taylor expansion of y in y 16.656 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.656 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.656 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.656 * [taylor]: Taking taylor expansion of -1 in y 16.656 * [taylor]: Taking taylor expansion of y in y 16.656 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.656 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.656 * [taylor]: Taking taylor expansion of -1 in y 16.656 * [taylor]: Taking taylor expansion of y in y 16.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.657 * [taylor]: Taking taylor expansion of -1 in y 16.657 * [taylor]: Taking taylor expansion of y in y 16.729 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 16.729 * [approximate]: Taking taylor expansion of (- (fma y (- (log y)) y) z) in (y z) around 0 16.729 * [taylor]: Taking taylor expansion of (- (fma y (- (log y)) y) z) in z 16.729 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in z 16.729 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.729 * [taylor]: Taking taylor expansion of (* y (- (log y))) in z 16.729 * [taylor]: Taking taylor expansion of y in z 16.729 * [taylor]: Taking taylor expansion of (- (log y)) in z 16.730 * [taylor]: Taking taylor expansion of (log y) in z 16.730 * [taylor]: Taking taylor expansion of y in z 16.730 * [taylor]: Taking taylor expansion of y in z 16.730 * [taylor]: Taking taylor expansion of z in z 16.730 * [taylor]: Taking taylor expansion of (- (fma y (- (log y)) y) z) in y 16.730 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.730 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.730 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.730 * [taylor]: Taking taylor expansion of y in y 16.730 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.730 * [taylor]: Taking taylor expansion of (log y) in y 16.730 * [taylor]: Taking taylor expansion of y in y 16.730 * [taylor]: Taking taylor expansion of y in y 16.730 * [taylor]: Taking taylor expansion of z in y 16.730 * [taylor]: Taking taylor expansion of (- (fma y (- (log y)) y) z) in y 16.731 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.731 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.731 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.731 * [taylor]: Taking taylor expansion of y in y 16.731 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.731 * [taylor]: Taking taylor expansion of (log y) in y 16.731 * [taylor]: Taking taylor expansion of y in y 16.731 * [taylor]: Taking taylor expansion of y in y 16.731 * [taylor]: Taking taylor expansion of z in y 16.732 * [taylor]: Taking taylor expansion of (- z) in z 16.732 * [taylor]: Taking taylor expansion of z in z 16.734 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 16.734 * [taylor]: Taking taylor expansion of 1 in z 16.734 * [taylor]: Taking taylor expansion of (log y) in z 16.734 * [taylor]: Taking taylor expansion of y in z 16.738 * [taylor]: Taking taylor expansion of 0 in z 16.744 * [taylor]: Taking taylor expansion of 0 in z 16.746 * [approximate]: Taking taylor expansion of (- (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 z)) in (y z) around 0 16.746 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 z)) in z 16.746 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in z 16.746 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.746 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in z 16.746 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.746 * [taylor]: Taking taylor expansion of y in z 16.746 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in z 16.746 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 16.746 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.746 * [taylor]: Taking taylor expansion of y in z 16.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.747 * [taylor]: Taking taylor expansion of y in z 16.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.747 * [taylor]: Taking taylor expansion of z in z 16.747 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 z)) in y 16.747 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.747 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.747 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.747 * [taylor]: Taking taylor expansion of y in y 16.747 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.747 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.747 * [taylor]: Taking taylor expansion of y in y 16.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.748 * [taylor]: Taking taylor expansion of y in y 16.748 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.748 * [taylor]: Taking taylor expansion of z in y 16.748 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 z)) in y 16.748 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.748 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.748 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.748 * [taylor]: Taking taylor expansion of y in y 16.749 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.749 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.749 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.749 * [taylor]: Taking taylor expansion of y in y 16.749 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.749 * [taylor]: Taking taylor expansion of y in y 16.750 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.750 * [taylor]: Taking taylor expansion of z in y 16.750 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.750 * [taylor]: Taking taylor expansion of (log y) in z 16.750 * [taylor]: Taking taylor expansion of y in z 16.750 * [taylor]: Taking taylor expansion of 1 in z 16.754 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.754 * [taylor]: Taking taylor expansion of z in z 16.766 * [taylor]: Taking taylor expansion of 0 in z 16.774 * [taylor]: Taking taylor expansion of 0 in z 16.786 * [taylor]: Taking taylor expansion of 0 in z 16.787 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in (y z) around 0 16.787 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in z 16.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.787 * [taylor]: Taking taylor expansion of z in z 16.787 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in z 16.787 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.787 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in z 16.787 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.787 * [taylor]: Taking taylor expansion of -1 in z 16.787 * [taylor]: Taking taylor expansion of y in z 16.787 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in z 16.787 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 16.787 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.787 * [taylor]: Taking taylor expansion of -1 in z 16.787 * [taylor]: Taking taylor expansion of y in z 16.788 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.788 * [taylor]: Taking taylor expansion of -1 in z 16.788 * [taylor]: Taking taylor expansion of y in z 16.788 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in y 16.788 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.788 * [taylor]: Taking taylor expansion of z in y 16.788 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.788 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.788 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.788 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.788 * [taylor]: Taking taylor expansion of -1 in y 16.788 * [taylor]: Taking taylor expansion of y in y 16.788 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.788 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.788 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.788 * [taylor]: Taking taylor expansion of -1 in y 16.788 * [taylor]: Taking taylor expansion of y in y 16.789 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.789 * [taylor]: Taking taylor expansion of -1 in y 16.789 * [taylor]: Taking taylor expansion of y in y 16.789 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y))) in y 16.789 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.789 * [taylor]: Taking taylor expansion of z in y 16.789 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.789 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.789 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.789 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.789 * [taylor]: Taking taylor expansion of -1 in y 16.789 * [taylor]: Taking taylor expansion of y in y 16.790 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.790 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.790 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.790 * [taylor]: Taking taylor expansion of -1 in y 16.790 * [taylor]: Taking taylor expansion of y in y 16.790 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.790 * [taylor]: Taking taylor expansion of -1 in y 16.790 * [taylor]: Taking taylor expansion of y in y 16.793 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 16.793 * [taylor]: Taking taylor expansion of (log -1) in z 16.793 * [taylor]: Taking taylor expansion of -1 in z 16.793 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.793 * [taylor]: Taking taylor expansion of (log y) in z 16.793 * [taylor]: Taking taylor expansion of y in z 16.793 * [taylor]: Taking taylor expansion of 1 in z 16.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.797 * [taylor]: Taking taylor expansion of z in z 16.804 * [taylor]: Taking taylor expansion of 0 in z 16.814 * [taylor]: Taking taylor expansion of 0 in z 16.829 * [taylor]: Taking taylor expansion of 0 in z 16.829 * * * * [progress]: [ 3 / 3 ] generating series at (2) 16.830 * [approximate]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in (y z x) around 0 16.830 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in x 16.830 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in x 16.830 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in x 16.830 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.830 * [taylor]: Taking taylor expansion of (* y (- (log y))) in x 16.830 * [taylor]: Taking taylor expansion of y in x 16.830 * [taylor]: Taking taylor expansion of (- (log y)) in x 16.830 * [taylor]: Taking taylor expansion of (log y) in x 16.830 * [taylor]: Taking taylor expansion of y in x 16.830 * [taylor]: Taking taylor expansion of y in x 16.830 * [taylor]: Taking taylor expansion of x in x 16.830 * [taylor]: Taking taylor expansion of z in x 16.830 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in z 16.830 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in z 16.830 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in z 16.830 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.830 * [taylor]: Taking taylor expansion of (* y (- (log y))) in z 16.830 * [taylor]: Taking taylor expansion of y in z 16.830 * [taylor]: Taking taylor expansion of (- (log y)) in z 16.830 * [taylor]: Taking taylor expansion of (log y) in z 16.830 * [taylor]: Taking taylor expansion of y in z 16.831 * [taylor]: Taking taylor expansion of y in z 16.831 * [taylor]: Taking taylor expansion of x in z 16.831 * [taylor]: Taking taylor expansion of z in z 16.831 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in y 16.831 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 16.831 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.831 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.831 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.831 * [taylor]: Taking taylor expansion of y in y 16.831 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.831 * [taylor]: Taking taylor expansion of (log y) in y 16.831 * [taylor]: Taking taylor expansion of y in y 16.831 * [taylor]: Taking taylor expansion of y in y 16.831 * [taylor]: Taking taylor expansion of x in y 16.831 * [taylor]: Taking taylor expansion of z in y 16.831 * [taylor]: Taking taylor expansion of (- (+ (fma y (- (log y)) y) x) z) in y 16.831 * [taylor]: Taking taylor expansion of (+ (fma y (- (log y)) y) x) in y 16.831 * [taylor]: Taking taylor expansion of (fma y (- (log y)) y) in y 16.831 * [taylor]: Rewrote expression to (+ (* y (- (log y))) y) 16.831 * [taylor]: Taking taylor expansion of (* y (- (log y))) in y 16.831 * [taylor]: Taking taylor expansion of y in y 16.831 * [taylor]: Taking taylor expansion of (- (log y)) in y 16.831 * [taylor]: Taking taylor expansion of (log y) in y 16.831 * [taylor]: Taking taylor expansion of y in y 16.832 * [taylor]: Taking taylor expansion of y in y 16.832 * [taylor]: Taking taylor expansion of x in y 16.832 * [taylor]: Taking taylor expansion of z in y 16.832 * [taylor]: Taking taylor expansion of (- x z) in z 16.832 * [taylor]: Taking taylor expansion of x in z 16.832 * [taylor]: Taking taylor expansion of z in z 16.833 * [taylor]: Taking taylor expansion of x in x 16.835 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 16.835 * [taylor]: Taking taylor expansion of 1 in z 16.835 * [taylor]: Taking taylor expansion of (log y) in z 16.835 * [taylor]: Taking taylor expansion of y in z 16.835 * [taylor]: Taking taylor expansion of (- 1 (log y)) in x 16.835 * [taylor]: Taking taylor expansion of 1 in x 16.835 * [taylor]: Taking taylor expansion of (log y) in x 16.835 * [taylor]: Taking taylor expansion of y in x 16.836 * [taylor]: Taking taylor expansion of -1 in x 16.836 * [approximate]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in (y z x) around 0 16.836 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 16.836 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in x 16.836 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in x 16.836 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.836 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in x 16.836 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.836 * [taylor]: Taking taylor expansion of y in x 16.836 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in x 16.836 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.837 * [taylor]: Taking taylor expansion of y in x 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.837 * [taylor]: Taking taylor expansion of y in x 16.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.837 * [taylor]: Taking taylor expansion of x in x 16.837 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.837 * [taylor]: Taking taylor expansion of z in x 16.837 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in z 16.837 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in z 16.837 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in z 16.837 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.837 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in z 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.837 * [taylor]: Taking taylor expansion of y in z 16.837 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in z 16.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.837 * [taylor]: Taking taylor expansion of y in z 16.837 * [taylor]: Taking taylor expansion of (/ 1 y) in z 16.837 * [taylor]: Taking taylor expansion of y in z 16.837 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.837 * [taylor]: Taking taylor expansion of x in z 16.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.838 * [taylor]: Taking taylor expansion of z in z 16.838 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 16.838 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 16.838 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.838 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.838 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.838 * [taylor]: Taking taylor expansion of y in y 16.838 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.838 * [taylor]: Taking taylor expansion of y in y 16.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.839 * [taylor]: Taking taylor expansion of y in y 16.839 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.839 * [taylor]: Taking taylor expansion of x in y 16.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.839 * [taylor]: Taking taylor expansion of z in y 16.839 * [taylor]: Taking taylor expansion of (- (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 16.839 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) (/ 1 x)) in y 16.839 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (log (/ 1 y))) (/ 1 y)) in y 16.839 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (log (/ 1 y)))) (/ 1 y)) 16.839 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (log (/ 1 y)))) in y 16.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.839 * [taylor]: Taking taylor expansion of y in y 16.840 * [taylor]: Taking taylor expansion of (- (log (/ 1 y))) in y 16.840 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.840 * [taylor]: Taking taylor expansion of y in y 16.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.840 * [taylor]: Taking taylor expansion of y in y 16.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.841 * [taylor]: Taking taylor expansion of x in y 16.841 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.841 * [taylor]: Taking taylor expansion of z in y 16.841 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.841 * [taylor]: Taking taylor expansion of (log y) in z 16.841 * [taylor]: Taking taylor expansion of y in z 16.841 * [taylor]: Taking taylor expansion of 1 in z 16.845 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 16.845 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.845 * [taylor]: Taking taylor expansion of x in z 16.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.845 * [taylor]: Taking taylor expansion of z in z 16.845 * [taylor]: Taking taylor expansion of -1 in x 16.846 * [taylor]: Taking taylor expansion of (+ (log y) 1) in x 16.846 * [taylor]: Taking taylor expansion of (log y) in x 16.846 * [taylor]: Taking taylor expansion of y in x 16.846 * [taylor]: Taking taylor expansion of 1 in x 16.858 * [taylor]: Taking taylor expansion of 0 in z 16.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.859 * [taylor]: Taking taylor expansion of x in x 16.860 * [taylor]: Taking taylor expansion of 0 in x 16.861 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) (/ 1 x)) in (y z x) around 0 16.861 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) (/ 1 x)) in x 16.861 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) in x 16.861 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in x 16.861 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.861 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in x 16.861 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.861 * [taylor]: Taking taylor expansion of -1 in x 16.861 * [taylor]: Taking taylor expansion of y in x 16.861 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in x 16.861 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 16.861 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.861 * [taylor]: Taking taylor expansion of -1 in x 16.861 * [taylor]: Taking taylor expansion of y in x 16.861 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.861 * [taylor]: Taking taylor expansion of -1 in x 16.861 * [taylor]: Taking taylor expansion of y in x 16.861 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.861 * [taylor]: Taking taylor expansion of z in x 16.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.861 * [taylor]: Taking taylor expansion of x in x 16.862 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) (/ 1 x)) in z 16.862 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) in z 16.862 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in z 16.862 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.862 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in z 16.862 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.862 * [taylor]: Taking taylor expansion of -1 in z 16.862 * [taylor]: Taking taylor expansion of y in z 16.862 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in z 16.862 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 16.862 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.862 * [taylor]: Taking taylor expansion of -1 in z 16.862 * [taylor]: Taking taylor expansion of y in z 16.862 * [taylor]: Taking taylor expansion of (/ -1 y) in z 16.862 * [taylor]: Taking taylor expansion of -1 in z 16.862 * [taylor]: Taking taylor expansion of y in z 16.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.862 * [taylor]: Taking taylor expansion of z in z 16.862 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.862 * [taylor]: Taking taylor expansion of x in z 16.862 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) (/ 1 x)) in y 16.863 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) in y 16.863 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.863 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.863 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.863 * [taylor]: Taking taylor expansion of -1 in y 16.863 * [taylor]: Taking taylor expansion of y in y 16.863 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.863 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.863 * [taylor]: Taking taylor expansion of -1 in y 16.863 * [taylor]: Taking taylor expansion of y in y 16.864 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.864 * [taylor]: Taking taylor expansion of -1 in y 16.864 * [taylor]: Taking taylor expansion of y in y 16.864 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.864 * [taylor]: Taking taylor expansion of z in y 16.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.864 * [taylor]: Taking taylor expansion of x in y 16.864 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) (/ 1 x)) in y 16.864 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) (/ 1 z)) in y 16.864 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (log (/ -1 y))) (/ -1 y)) in y 16.864 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (log (/ -1 y)))) (/ -1 y)) 16.864 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (log (/ -1 y)))) in y 16.864 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.864 * [taylor]: Taking taylor expansion of -1 in y 16.864 * [taylor]: Taking taylor expansion of y in y 16.865 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 16.865 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 16.865 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.865 * [taylor]: Taking taylor expansion of -1 in y 16.865 * [taylor]: Taking taylor expansion of y in y 16.865 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.865 * [taylor]: Taking taylor expansion of -1 in y 16.865 * [taylor]: Taking taylor expansion of y in y 16.866 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.866 * [taylor]: Taking taylor expansion of z in y 16.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.866 * [taylor]: Taking taylor expansion of x in y 16.868 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 16.868 * [taylor]: Taking taylor expansion of (log -1) in z 16.868 * [taylor]: Taking taylor expansion of -1 in z 16.868 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 16.868 * [taylor]: Taking taylor expansion of (log y) in z 16.868 * [taylor]: Taking taylor expansion of y in z 16.868 * [taylor]: Taking taylor expansion of 1 in z 16.873 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 16.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.873 * [taylor]: Taking taylor expansion of z in z 16.873 * [taylor]: Taking taylor expansion of (/ 1 x) in z 16.873 * [taylor]: Taking taylor expansion of x in z 16.873 * [taylor]: Taking taylor expansion of 1 in x 16.874 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in x 16.874 * [taylor]: Taking taylor expansion of (log -1) in x 16.874 * [taylor]: Taking taylor expansion of -1 in x 16.874 * [taylor]: Taking taylor expansion of (+ (log y) 1) in x 16.874 * [taylor]: Taking taylor expansion of (log y) in x 16.874 * [taylor]: Taking taylor expansion of y in x 16.874 * [taylor]: Taking taylor expansion of 1 in x 16.880 * [taylor]: Taking taylor expansion of 0 in z 16.881 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 16.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.881 * [taylor]: Taking taylor expansion of x in x 16.884 * [taylor]: Taking taylor expansion of 0 in x 16.885 * * * [progress]: simplifying candidates 16.886 * [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)) (fma (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (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 (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (fma y (- (log y)) y)) (cbrt (fma y (- (log y)) y))) (cbrt (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (fma y (- (log y)) y)) (sqrt (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 (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (fma y (- (log y)) y)) (sqrt (fma y (- (log y)) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (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 (fma y (- (log y)) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (fma y (- (log y)) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (fma y (- (log y)) y) z)) (log1p (- (fma y (- (log y)) y) z)) (- z) (- z) (- z) (/ (exp (fma y (- (log y)) y)) (exp z)) (log (- (fma y (- (log y)) y) z)) (exp (- (fma y (- (log y)) y) z)) (* (cbrt (- (fma y (- (log y)) y) z)) (cbrt (- (fma y (- (log y)) y) z))) (cbrt (- (fma y (- (log y)) y) z)) (* (* (- (fma y (- (log y)) y) z) (- (fma y (- (log y)) y) z)) (- (fma y (- (log y)) y) z)) (sqrt (- (fma y (- (log y)) y) z)) (sqrt (- (fma y (- (log y)) y) z)) (- (pow (fma y (- (log y)) y) 3) (pow z 3)) (+ (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (+ (* z z) (* (fma y (- (log y)) y) z))) (- z) (- (* (fma y (- (log y)) y) (fma y (- (log y)) y)) (* z z)) (+ (fma y (- (log y)) y) z) (+ (sqrt (fma y (- (log y)) y)) (sqrt z)) (- (sqrt (fma y (- (log y)) y)) (sqrt z)) (- (fma y (- (log y)) y) z) (- y z) (- z) (expm1 (+ (- (fma y (- (log y)) y) z) x)) (log1p (+ (- (fma y (- (log y)) y) z) x)) (* (/ (exp (fma y (- (log y)) y)) (exp z)) (exp x)) (* (exp (- (fma y (- (log y)) y) z)) (exp x)) (log (+ (- (fma y (- (log y)) y) z) x)) (exp (+ (- (fma y (- (log y)) y) z) x)) (* (cbrt (+ (- (fma y (- (log y)) y) z) x)) (cbrt (+ (- (fma y (- (log y)) y) z) x))) (cbrt (+ (- (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) x)) (sqrt (+ (- (fma y (- (log y)) y) z) x)) (sqrt (+ (- (fma y (- (log y)) y) z) x)) (+ (pow (- (fma y (- (log y)) y) z) 3) (pow x 3)) (+ (* (- (fma y (- (log y)) y) z) (- (fma y (- (log y)) y) z)) (- (* x x) (* (- (fma y (- (log y)) y) z) x))) (- (* (- (fma y (- (log y)) y) z) (- (fma y (- (log y)) y) z)) (* x x)) (- (- (fma y (- (log y)) y) z) x) (+ (- (fma y (- (log y)) y) z) x) (+ (- (fma y (- (log y)) y) z) x) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) x) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) x) (+ (fma (- z) 1 (* z 1)) x) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) x) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) x) (+ (fma (- z) 1 (* z 1)) x) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) x) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) x) (+ (fma (- z) 1 (* z 1)) x) (+ (- z) x) (+ (- y z) x) (+ (- z) x) (- z x) (* y (- 1 (log y))) (* y (+ (log (/ 1 y)) 1)) (* -1 (* (- (log -1) (+ (log (/ -1 y)) 1)) y)) (- y (+ z (* y (log y)))) (- (+ y (* y (log (/ 1 y)))) z) (- (+ (* y (log (/ -1 y))) y) (+ z (* (log -1) y))) (- (+ x y) (+ z (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ (* y (log (/ -1 y))) (+ y x)) (+ z (* (log -1) y))) 16.890 * * [simplify]: iteration 0 : 126 enodes (cost 1103 ) 16.911 * * [simplify]: iteration 1 : 300 enodes (cost 924 ) 16.974 * * [simplify]: iteration 2 : 982 enodes (cost 760 ) 17.603 * * [simplify]: iteration done : 5000 enodes (cost 692 ) 17.604 * [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 (fma y (- (log 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)) (- (pow (cbrt (fma y (- (log y)) y)) 3) z) (* z 0) (- (pow (cbrt (fma y (- (log y)) y)) 3) z) (* z 0) (- (pow (cbrt (fma y (- (log y)) y)) 3) z) (* z 0) (- y (fma (log y) y z)) (* z 0) (- y (fma (log y) y z)) (* z 0) (- y (fma (log y) y z)) (* z 0) (- y (fma (log y) y z)) (* z 0) (- y (fma (log y) y z)) (* z 0) (- y (fma (log y) y z)) (* z 0) (expm1 (- y (fma (log y) y z))) (log1p (- y (fma (log y) y z))) (- z) (- z) (- z) (exp (- y (fma (log y) y z))) (log (- y (fma (log y) y z))) (exp (- y (fma (log y) y z))) (* (cbrt (- y (fma (log y) y z))) (cbrt (- y (fma (log y) y z)))) (cbrt (- y (fma (log y) y z))) (pow (- y (fma (log y) y z)) 3) (sqrt (- y (fma (log y) y z))) (sqrt (- y (fma (log y) y z))) (- (pow (fma y (- (log y)) y) 3) (pow z 3)) (fma z z (* (- 1 (log y)) (* (+ (fma y (- (log y)) y) z) y))) (- z) (* (+ (fma y (- (log y)) y) z) (- y (fma (log y) y z))) (+ (* (- 1 (log y)) y) z) (+ (sqrt (fma y (- (log y)) y)) (sqrt z)) (- (sqrt (fma y (- (log y)) y)) (sqrt z)) (- y (fma (log y) y z)) (- y z) (- z) (expm1 (- (+ y x) (fma (log y) y z))) (log1p (- (+ y x) (fma (log y) y z))) (exp (- (+ y x) (fma (log y) y z))) (exp (- (+ y x) (fma (log y) y z))) (log (- (+ y x) (fma (log y) y z))) (exp (- (+ y x) (fma (log y) y z))) (* (cbrt (- (+ y x) (fma (log y) y z))) (cbrt (- (+ y x) (fma (log y) y z)))) (cbrt (- (+ y x) (fma (log y) y z))) (pow (- (+ y x) (fma (log y) y z)) 3) (sqrt (- (+ y x) (fma (log y) y z))) (sqrt (- (+ y x) (fma (log y) y z))) (+ (pow x 3) (pow (- y (fma (log y) y z)) 3)) (fma x x (* (- y (fma (log y) y z)) (- (- y (fma (log y) y z)) x))) (* (- (+ y x) (fma (log y) y z)) (- (- y (fma (log y) y z)) x)) (- (- y (fma (log y) y z)) x) (- (+ y x) (fma (log y) y z)) (- (+ y x) (fma (log y) y z)) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (fma z 0 x) (- x z) (+ (- y z) x) (- x z) (- z x) (* (- 1 (log y)) y) (* (- 1 (log y)) y) (* (- 1 (log y)) y) (- y (fma (log y) y z)) (- y (fma (log y) y z)) (fma (log (/ -1 y)) y (- y (fma (log -1) y z))) (- (+ y x) (fma (log y) y z)) (- (+ y x) (fma (log y) y z)) (fma (log (/ -1 y)) y (- (+ y x) (fma (log -1) y z))) 17.604 * * * [progress]: adding candidates to table 17.808 * [progress]: [Phase 3 of 3] Extracting. 17.808 * * [regime]: Finding splitpoints for: (# # # # #) 17.809 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 17.809 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # #) 17.836 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # #) 17.866 * * * * [regimes]: Trying to branch on z from (# # # # #) 17.890 * * * * [regimes]: Trying to branch on y from (# # # # #) 17.913 * * * * [regimes]: Trying to branch on x from (# # # # #) 17.938 * * * [regime]: Found split indices: #