29.786 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: Extracting # 5 : cost 0 0.039 * * [simplify]: Extracting # 6 : cost 0 0.039 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.074 * * [simplify]: Extracting # 0 : cost 0 0.074 * * [simplify]: Extracting # 1 : cost 0 0.074 * * [simplify]: Extracting # 2 : cost 0 0.075 * * [simplify]: iteration 3 : 103 enodes (cost 10 ) 0.118 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.119 * * [simplify]: Extracting # 3 : cost 0 0.119 * * [simplify]: iteration 4 : 194 enodes (cost 10 ) 0.179 * * [simplify]: Extracting # 0 : cost 0 0.180 * * [simplify]: Extracting # 1 : cost 0 0.180 * * [simplify]: Extracting # 2 : cost 0 0.183 * * [simplify]: Extracting # 3 : cost 0 0.184 * * [simplify]: iteration 5 : 318 enodes (cost 10 ) 0.326 * * [simplify]: Extracting # 0 : cost 0 0.327 * * [simplify]: Extracting # 1 : cost 0 0.328 * * [simplify]: Extracting # 2 : cost 0 0.329 * * [simplify]: Extracting # 3 : cost 0 0.329 * * [simplify]: iteration 6 : 480 enodes (cost 10 ) 0.639 * * [simplify]: Extracting # 0 : cost 0 0.640 * * [simplify]: Extracting # 1 : cost 0 0.641 * * [simplify]: Extracting # 2 : cost 0 0.642 * * [simplify]: iteration 7 : 664 enodes (cost 10 ) 1.199 * * [simplify]: Extracting # 0 : cost 0 1.200 * * [simplify]: Extracting # 1 : cost 0 1.200 * * [simplify]: Extracting # 2 : cost 0 1.201 * * [simplify]: iteration 8 : 959 enodes (cost 10 ) 1.604 * * [simplify]: Extracting # 0 : cost 0 1.605 * * [simplify]: Extracting # 1 : cost 0 1.606 * * [simplify]: Extracting # 2 : cost 0 1.607 * * [simplify]: iteration 9 : 1042 enodes (cost 10 ) 2.064 * * [simplify]: Extracting # 0 : cost 0 2.065 * * [simplify]: Extracting # 1 : cost 0 2.066 * * [simplify]: iteration 10 : 1073 enodes (cost 10 ) 2.548 * * [simplify]: Extracting # 0 : cost 0 2.552 * * [simplify]: iteration done: 1073 enodes (cost 10 ) 2.552 * [simplify]: Simplified to: (fma (- y 1.0) x (fma 0.5 (- y) 0.918938533204673)) 2.555 * * [progress]: iteration 1 / 4 2.555 * * * [progress]: picking best candidate 2.556 * * * * [pick]: Picked # 2.556 * * * [progress]: localizing error 2.564 * * * [progress]: generating rewritten candidates 2.564 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 2.590 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.692 * * * [progress]: generating series expansions 2.692 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 2.692 * [backup-simplify]: Simplify (* x (- y 1.0)) into (* x (- y 1.0)) 2.692 * [approximate]: Taking taylor expansion of (* x (- y 1.0)) in (x y) around 0 2.692 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 2.692 * [taylor]: Taking taylor expansion of x in y 2.692 * [backup-simplify]: Simplify x into x 2.692 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.692 * [taylor]: Taking taylor expansion of y in y 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [taylor]: Taking taylor expansion of 1.0 in y 2.692 * [backup-simplify]: Simplify 1.0 into 1.0 2.692 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.692 * [taylor]: Taking taylor expansion of x in x 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.692 * [taylor]: Taking taylor expansion of y in x 2.692 * [backup-simplify]: Simplify y into y 2.692 * [taylor]: Taking taylor expansion of 1.0 in x 2.692 * [backup-simplify]: Simplify 1.0 into 1.0 2.692 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.692 * [taylor]: Taking taylor expansion of x in x 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.692 * [taylor]: Taking taylor expansion of y in x 2.692 * [backup-simplify]: Simplify y into y 2.692 * [taylor]: Taking taylor expansion of 1.0 in x 2.692 * [backup-simplify]: Simplify 1.0 into 1.0 2.693 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.693 * [backup-simplify]: Simplify (+ y (- 1.0)) into (- y 1.0) 2.693 * [backup-simplify]: Simplify (* 0 (- y 1.0)) into 0 2.693 * [taylor]: Taking taylor expansion of 0 in y 2.693 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify (- 0) into 0 2.694 * [backup-simplify]: Simplify (+ 0 0) into 0 2.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y 1.0))) into (- y 1.0) 2.694 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.694 * [taylor]: Taking taylor expansion of y in y 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [taylor]: Taking taylor expansion of 1.0 in y 2.694 * [backup-simplify]: Simplify 1.0 into 1.0 2.694 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.695 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.695 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.695 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify (- 0) into 0 2.696 * [backup-simplify]: Simplify (+ 0 0) into 0 2.696 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y 1.0)))) into 0 2.696 * [taylor]: Taking taylor expansion of 0 in y 2.696 * [backup-simplify]: Simplify 0 into 0 2.696 * [backup-simplify]: Simplify 0 into 0 2.696 * [backup-simplify]: Simplify (- 0) into 0 2.697 * [backup-simplify]: Simplify (+ 1 0) into 1 2.697 * [backup-simplify]: Simplify 1 into 1 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify (- 0) into 0 2.697 * [backup-simplify]: Simplify (+ 0 0) into 0 2.698 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- y 1.0))))) into 0 2.698 * [taylor]: Taking taylor expansion of 0 in y 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify (- 0) into 0 2.699 * [backup-simplify]: Simplify (+ 0 0) into 0 2.699 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify (- 0) into 0 2.699 * [backup-simplify]: Simplify (+ 0 0) into 0 2.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- y 1.0)))))) into 0 2.700 * [taylor]: Taking taylor expansion of 0 in y 2.700 * [backup-simplify]: Simplify 0 into 0 2.700 * [backup-simplify]: Simplify 0 into 0 2.700 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 1.0) (* 1 x))) into (- (* x y) (* 1.0 x)) 2.700 * [backup-simplify]: Simplify (* (/ 1 x) (- (/ 1 y) 1.0)) into (/ (- (/ 1 y) 1.0) x) 2.701 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in (x y) around 0 2.701 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in y 2.701 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.701 * [taylor]: Taking taylor expansion of y in y 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 1 into 1 2.701 * [backup-simplify]: Simplify (/ 1 1) into 1 2.701 * [taylor]: Taking taylor expansion of 1.0 in y 2.701 * [backup-simplify]: Simplify 1.0 into 1.0 2.701 * [taylor]: Taking taylor expansion of x in y 2.701 * [backup-simplify]: Simplify x into x 2.701 * [backup-simplify]: Simplify (+ 1 0) into 1 2.701 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.701 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 2.701 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.701 * [taylor]: Taking taylor expansion of y in x 2.701 * [backup-simplify]: Simplify y into y 2.701 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.701 * [taylor]: Taking taylor expansion of 1.0 in x 2.701 * [backup-simplify]: Simplify 1.0 into 1.0 2.701 * [taylor]: Taking taylor expansion of x in x 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.702 * [backup-simplify]: Simplify (+ (/ 1 y) (- 1.0)) into (- (/ 1 y) 1.0) 2.702 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1.0) 1) into (- (/ 1 y) 1.0) 2.702 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 2.702 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.702 * [taylor]: Taking taylor expansion of y in x 2.702 * [backup-simplify]: Simplify y into y 2.702 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.702 * [taylor]: Taking taylor expansion of 1.0 in x 2.702 * [backup-simplify]: Simplify 1.0 into 1.0 2.702 * [taylor]: Taking taylor expansion of x in x 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.703 * [backup-simplify]: Simplify (+ (/ 1 y) (- 1.0)) into (- (/ 1 y) 1.0) 2.703 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1.0) 1) into (- (/ 1 y) 1.0) 2.703 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.703 * [taylor]: Taking taylor expansion of y in y 2.703 * [backup-simplify]: Simplify 0 into 0 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (/ 1 1) into 1 2.703 * [taylor]: Taking taylor expansion of 1.0 in y 2.703 * [backup-simplify]: Simplify 1.0 into 1.0 2.704 * [backup-simplify]: Simplify (+ 1 0) into 1 2.704 * [backup-simplify]: Simplify 1 into 1 2.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.704 * [backup-simplify]: Simplify (- 0) into 0 2.704 * [backup-simplify]: Simplify (+ 0 0) into 0 2.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 y) 1.0) (/ 0 1)))) into 0 2.705 * [taylor]: Taking taylor expansion of 0 in y 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.706 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.706 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.706 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.707 * [backup-simplify]: Simplify (- 0) into 0 2.707 * [backup-simplify]: Simplify (+ 0 0) into 0 2.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.708 * [taylor]: Taking taylor expansion of 0 in y 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.709 * [backup-simplify]: Simplify (- 0) into 0 2.709 * [backup-simplify]: Simplify (+ 0 0) into 0 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.709 * [backup-simplify]: Simplify (- 0) into 0 2.710 * [backup-simplify]: Simplify (+ 0 0) into 0 2.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.711 * [taylor]: Taking taylor expansion of 0 in y 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.712 * [backup-simplify]: Simplify (- 0) into 0 2.712 * [backup-simplify]: Simplify (+ 0 0) into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.712 * [backup-simplify]: Simplify (- 0) into 0 2.712 * [backup-simplify]: Simplify (+ 0 0) into 0 2.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.714 * [taylor]: Taking taylor expansion of 0 in y 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 1.0 x)) 2.715 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (/ 1 (- y)) 1.0)) into (/ (+ (/ 1 y) 1.0) x) 2.715 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in (x y) around 0 2.715 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in y 2.715 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.715 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.715 * [taylor]: Taking taylor expansion of y in y 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [backup-simplify]: Simplify (/ 1 1) into 1 2.715 * [taylor]: Taking taylor expansion of 1.0 in y 2.715 * [backup-simplify]: Simplify 1.0 into 1.0 2.715 * [taylor]: Taking taylor expansion of x in y 2.715 * [backup-simplify]: Simplify x into x 2.715 * [backup-simplify]: Simplify (+ 1 0) into 1 2.715 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.715 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 2.715 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.716 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.716 * [taylor]: Taking taylor expansion of y in x 2.716 * [backup-simplify]: Simplify y into y 2.716 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.716 * [taylor]: Taking taylor expansion of 1.0 in x 2.716 * [backup-simplify]: Simplify 1.0 into 1.0 2.716 * [taylor]: Taking taylor expansion of x in x 2.716 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0) 2.716 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1.0) 1) into (+ (/ 1 y) 1.0) 2.716 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 2.716 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.716 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.716 * [taylor]: Taking taylor expansion of y in x 2.716 * [backup-simplify]: Simplify y into y 2.716 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.716 * [taylor]: Taking taylor expansion of 1.0 in x 2.716 * [backup-simplify]: Simplify 1.0 into 1.0 2.716 * [taylor]: Taking taylor expansion of x in x 2.716 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0) 2.716 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1.0) 1) into (+ (/ 1 y) 1.0) 2.716 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.716 * [taylor]: Taking taylor expansion of y in y 2.716 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify 1 into 1 2.717 * [backup-simplify]: Simplify (/ 1 1) into 1 2.717 * [taylor]: Taking taylor expansion of 1.0 in y 2.717 * [backup-simplify]: Simplify 1.0 into 1.0 2.717 * [backup-simplify]: Simplify (+ 1 0) into 1 2.717 * [backup-simplify]: Simplify 1 into 1 2.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.717 * [backup-simplify]: Simplify (+ 0 0) into 0 2.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)))) into 0 2.721 * [taylor]: Taking taylor expansion of 0 in y 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.723 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.723 * [backup-simplify]: Simplify 1.0 into 1.0 2.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.723 * [backup-simplify]: Simplify (+ 0 0) into 0 2.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.724 * [taylor]: Taking taylor expansion of 0 in y 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.725 * [backup-simplify]: Simplify (+ 0 0) into 0 2.725 * [backup-simplify]: Simplify 0 into 0 2.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.725 * [backup-simplify]: Simplify (+ 0 0) into 0 2.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.726 * [taylor]: Taking taylor expansion of 0 in y 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.727 * [backup-simplify]: Simplify (+ 0 0) into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.728 * [backup-simplify]: Simplify (+ 0 0) into 0 2.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.729 * [taylor]: Taking taylor expansion of 0 in y 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 1.0 x)) 2.729 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.730 * [backup-simplify]: Simplify (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) into (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) 2.730 * [approximate]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in (x y) around 0 2.730 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in y 2.730 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in y 2.730 * [taylor]: Taking taylor expansion of (* x y) in y 2.730 * [taylor]: Taking taylor expansion of x in y 2.730 * [backup-simplify]: Simplify x into x 2.730 * [taylor]: Taking taylor expansion of y in y 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.730 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.730 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y 2.730 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 2.730 * [taylor]: Taking taylor expansion of 1.0 in y 2.730 * [backup-simplify]: Simplify 1.0 into 1.0 2.730 * [taylor]: Taking taylor expansion of x in y 2.730 * [backup-simplify]: Simplify x into x 2.730 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.730 * [taylor]: Taking taylor expansion of 0.5 in y 2.730 * [backup-simplify]: Simplify 0.5 into 0.5 2.730 * [taylor]: Taking taylor expansion of y in y 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 2.730 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 2.730 * [taylor]: Taking taylor expansion of (* x y) in x 2.730 * [taylor]: Taking taylor expansion of x in x 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [taylor]: Taking taylor expansion of y in x 2.730 * [backup-simplify]: Simplify y into y 2.730 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.730 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.730 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 2.730 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 2.730 * [taylor]: Taking taylor expansion of 1.0 in x 2.730 * [backup-simplify]: Simplify 1.0 into 1.0 2.730 * [taylor]: Taking taylor expansion of x in x 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 2.730 * [taylor]: Taking taylor expansion of 0.5 in x 2.730 * [backup-simplify]: Simplify 0.5 into 0.5 2.730 * [taylor]: Taking taylor expansion of y in x 2.730 * [backup-simplify]: Simplify y into y 2.730 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 2.730 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 2.730 * [taylor]: Taking taylor expansion of (* x y) in x 2.730 * [taylor]: Taking taylor expansion of x in x 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [taylor]: Taking taylor expansion of y in x 2.731 * [backup-simplify]: Simplify y into y 2.731 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.731 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.731 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 2.731 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 2.731 * [taylor]: Taking taylor expansion of 1.0 in x 2.731 * [backup-simplify]: Simplify 1.0 into 1.0 2.731 * [taylor]: Taking taylor expansion of x in x 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify 1 into 1 2.731 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 2.731 * [taylor]: Taking taylor expansion of 0.5 in x 2.731 * [backup-simplify]: Simplify 0.5 into 0.5 2.731 * [taylor]: Taking taylor expansion of y in x 2.731 * [backup-simplify]: Simplify y into y 2.731 * [backup-simplify]: Simplify (* 0 y) into 0 2.731 * [backup-simplify]: Simplify (+ 0 0.918938533204673) into 0.918938533204673 2.731 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.732 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 2.732 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 2.732 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 2.732 * [backup-simplify]: Simplify (+ 0.918938533204673 (- (* 0.5 y))) into (- 0.918938533204673 (* 0.5 y)) 2.732 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 2.732 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.732 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.732 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.732 * [taylor]: Taking taylor expansion of 0.5 in y 2.732 * [backup-simplify]: Simplify 0.5 into 0.5 2.732 * [taylor]: Taking taylor expansion of y in y 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify 1 into 1 2.732 * [backup-simplify]: Simplify (* 0.5 0) into 0 2.732 * [backup-simplify]: Simplify (- 0) into 0 2.733 * [backup-simplify]: Simplify (+ 0.918938533204673 0) into 0.918938533204673 2.733 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.733 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.733 * [backup-simplify]: Simplify (+ y 0) into y 2.734 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.734 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 2.735 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.735 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.735 * [backup-simplify]: Simplify (+ y (- 1.0)) into (- y 1.0) 2.735 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.735 * [taylor]: Taking taylor expansion of y in y 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.735 * [taylor]: Taking taylor expansion of 1.0 in y 2.735 * [backup-simplify]: Simplify 1.0 into 1.0 2.736 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.736 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.737 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.738 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 2.738 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 2.738 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 2.739 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 2.739 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (+ (* (- 1.0) (* 1 x)) 0.918938533204673)) into (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) 2.740 * [backup-simplify]: Simplify (+ (- (* (/ 1 x) (- (/ 1 y) 1.0)) (* (/ 1 y) 0.5)) 0.918938533204673) into (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) 2.740 * [approximate]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in (x y) around 0 2.740 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y 2.740 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in y 2.740 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.740 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.740 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.740 * [taylor]: Taking taylor expansion of (* x y) in y 2.740 * [taylor]: Taking taylor expansion of x in y 2.740 * [backup-simplify]: Simplify x into x 2.740 * [taylor]: Taking taylor expansion of y in y 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.740 * [backup-simplify]: Simplify (* x 0) into 0 2.740 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.740 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.740 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y 2.740 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.740 * [taylor]: Taking taylor expansion of 0.5 in y 2.740 * [backup-simplify]: Simplify 0.5 into 0.5 2.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.740 * [taylor]: Taking taylor expansion of y in y 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.741 * [backup-simplify]: Simplify (/ 1 1) into 1 2.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 2.741 * [taylor]: Taking taylor expansion of 1.0 in y 2.741 * [backup-simplify]: Simplify 1.0 into 1.0 2.741 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.741 * [taylor]: Taking taylor expansion of x in y 2.741 * [backup-simplify]: Simplify x into x 2.741 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.741 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 2.741 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 2.741 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.741 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.741 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.741 * [taylor]: Taking taylor expansion of (* x y) in x 2.741 * [taylor]: Taking taylor expansion of x in x 2.741 * [backup-simplify]: Simplify 0 into 0 2.741 * [backup-simplify]: Simplify 1 into 1 2.741 * [taylor]: Taking taylor expansion of y in x 2.741 * [backup-simplify]: Simplify y into y 2.741 * [backup-simplify]: Simplify (* 0 y) into 0 2.741 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.741 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.741 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 2.741 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.741 * [taylor]: Taking taylor expansion of 0.5 in x 2.741 * [backup-simplify]: Simplify 0.5 into 0.5 2.741 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.741 * [taylor]: Taking taylor expansion of y in x 2.741 * [backup-simplify]: Simplify y into y 2.742 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 2.742 * [taylor]: Taking taylor expansion of 1.0 in x 2.742 * [backup-simplify]: Simplify 1.0 into 1.0 2.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.742 * [taylor]: Taking taylor expansion of x in x 2.742 * [backup-simplify]: Simplify 0 into 0 2.742 * [backup-simplify]: Simplify 1 into 1 2.742 * [backup-simplify]: Simplify (/ 1 1) into 1 2.742 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 2.742 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 2.742 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.742 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.742 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.742 * [taylor]: Taking taylor expansion of (* x y) in x 2.742 * [taylor]: Taking taylor expansion of x in x 2.742 * [backup-simplify]: Simplify 0 into 0 2.742 * [backup-simplify]: Simplify 1 into 1 2.742 * [taylor]: Taking taylor expansion of y in x 2.742 * [backup-simplify]: Simplify y into y 2.742 * [backup-simplify]: Simplify (* 0 y) into 0 2.742 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.742 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.742 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 2.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.743 * [taylor]: Taking taylor expansion of 0.5 in x 2.743 * [backup-simplify]: Simplify 0.5 into 0.5 2.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.743 * [taylor]: Taking taylor expansion of y in x 2.743 * [backup-simplify]: Simplify y into y 2.743 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.743 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 2.743 * [taylor]: Taking taylor expansion of 1.0 in x 2.743 * [backup-simplify]: Simplify 1.0 into 1.0 2.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.743 * [taylor]: Taking taylor expansion of x in x 2.743 * [backup-simplify]: Simplify 0 into 0 2.743 * [backup-simplify]: Simplify 1 into 1 2.743 * [backup-simplify]: Simplify (/ 1 1) into 1 2.743 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 2.743 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.744 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.744 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.744 * [backup-simplify]: Simplify (+ (/ 1 y) (- 1.0)) into (- (/ 1 y) 1.0) 2.744 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.744 * [taylor]: Taking taylor expansion of y in y 2.744 * [backup-simplify]: Simplify 0 into 0 2.744 * [backup-simplify]: Simplify 1 into 1 2.745 * [backup-simplify]: Simplify (/ 1 1) into 1 2.745 * [taylor]: Taking taylor expansion of 1.0 in y 2.745 * [backup-simplify]: Simplify 1.0 into 1.0 2.745 * [backup-simplify]: Simplify (+ 1 0) into 1 2.745 * [backup-simplify]: Simplify 1 into 1 2.745 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.746 * [backup-simplify]: Simplify (+ 0.918938533204673 0) into 0.918938533204673 2.746 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 2.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.747 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.747 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 2.747 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 y))) into (- (* 0.5 (/ 1 y))) 2.747 * [backup-simplify]: Simplify (+ 0.918938533204673 (- (* 0.5 (/ 1 y)))) into (- 0.918938533204673 (* 0.5 (/ 1 y))) 2.747 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 2.747 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.747 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.747 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.747 * [taylor]: Taking taylor expansion of 0.5 in y 2.747 * [backup-simplify]: Simplify 0.5 into 0.5 2.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.747 * [taylor]: Taking taylor expansion of y in y 2.747 * [backup-simplify]: Simplify 0 into 0 2.747 * [backup-simplify]: Simplify 1 into 1 2.747 * [backup-simplify]: Simplify (/ 1 1) into 1 2.748 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 2.748 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 2.748 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 2.749 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 2.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.749 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.750 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.750 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.751 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 x)))) (+ (* (- 0.5) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 2.751 * [backup-simplify]: Simplify (+ (- (* (/ 1 (- x)) (- (/ 1 (- y)) 1.0)) (* (/ 1 (- y)) 0.5)) 0.918938533204673) into (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))))) 2.751 * [approximate]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))))) in (x y) around 0 2.751 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))))) in y 2.751 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.751 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.751 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y 2.751 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.751 * [taylor]: Taking taylor expansion of (* x y) in y 2.751 * [taylor]: Taking taylor expansion of x in y 2.751 * [backup-simplify]: Simplify x into x 2.751 * [taylor]: Taking taylor expansion of y in y 2.751 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify 1 into 1 2.751 * [backup-simplify]: Simplify (* x 0) into 0 2.752 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.752 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.752 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y 2.752 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.752 * [taylor]: Taking taylor expansion of 0.5 in y 2.752 * [backup-simplify]: Simplify 0.5 into 0.5 2.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.752 * [taylor]: Taking taylor expansion of y in y 2.752 * [backup-simplify]: Simplify 0 into 0 2.752 * [backup-simplify]: Simplify 1 into 1 2.752 * [backup-simplify]: Simplify (/ 1 1) into 1 2.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 2.752 * [taylor]: Taking taylor expansion of 1.0 in y 2.752 * [backup-simplify]: Simplify 1.0 into 1.0 2.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.752 * [taylor]: Taking taylor expansion of x in y 2.752 * [backup-simplify]: Simplify x into x 2.752 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.752 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))))) in x 2.752 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.752 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.752 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 2.752 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.752 * [taylor]: Taking taylor expansion of (* x y) in x 2.752 * [taylor]: Taking taylor expansion of x in x 2.752 * [backup-simplify]: Simplify 0 into 0 2.752 * [backup-simplify]: Simplify 1 into 1 2.752 * [taylor]: Taking taylor expansion of y in x 2.752 * [backup-simplify]: Simplify y into y 2.753 * [backup-simplify]: Simplify (* 0 y) into 0 2.753 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.753 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.753 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 2.753 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.753 * [taylor]: Taking taylor expansion of 0.5 in x 2.753 * [backup-simplify]: Simplify 0.5 into 0.5 2.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.753 * [taylor]: Taking taylor expansion of y in x 2.753 * [backup-simplify]: Simplify y into y 2.753 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.753 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 2.753 * [taylor]: Taking taylor expansion of 1.0 in x 2.753 * [backup-simplify]: Simplify 1.0 into 1.0 2.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.753 * [taylor]: Taking taylor expansion of x in x 2.753 * [backup-simplify]: Simplify 0 into 0 2.753 * [backup-simplify]: Simplify 1 into 1 2.753 * [backup-simplify]: Simplify (/ 1 1) into 1 2.753 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))))) in x 2.753 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.753 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.753 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 2.754 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.754 * [taylor]: Taking taylor expansion of (* x y) in x 2.754 * [taylor]: Taking taylor expansion of x in x 2.754 * [backup-simplify]: Simplify 0 into 0 2.754 * [backup-simplify]: Simplify 1 into 1 2.754 * [taylor]: Taking taylor expansion of y in x 2.754 * [backup-simplify]: Simplify y into y 2.754 * [backup-simplify]: Simplify (* 0 y) into 0 2.754 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.754 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.754 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 2.754 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.754 * [taylor]: Taking taylor expansion of 0.5 in x 2.754 * [backup-simplify]: Simplify 0.5 into 0.5 2.754 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.754 * [taylor]: Taking taylor expansion of y in x 2.754 * [backup-simplify]: Simplify y into y 2.754 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.754 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 2.754 * [taylor]: Taking taylor expansion of 1.0 in x 2.754 * [backup-simplify]: Simplify 1.0 into 1.0 2.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.754 * [taylor]: Taking taylor expansion of x in x 2.754 * [backup-simplify]: Simplify 0 into 0 2.754 * [backup-simplify]: Simplify 1 into 1 2.754 * [backup-simplify]: Simplify (/ 1 1) into 1 2.755 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.755 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.755 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0) 2.755 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 y) 1.0)) into (+ (/ 1 y) 1.0) 2.755 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.755 * [taylor]: Taking taylor expansion of y in y 2.755 * [backup-simplify]: Simplify 0 into 0 2.755 * [backup-simplify]: Simplify 1 into 1 2.756 * [backup-simplify]: Simplify (/ 1 1) into 1 2.756 * [taylor]: Taking taylor expansion of 1.0 in y 2.756 * [backup-simplify]: Simplify 1.0 into 1.0 2.756 * [backup-simplify]: Simplify (+ 1 0) into 1 2.756 * [backup-simplify]: Simplify 1 into 1 2.756 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.757 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 2.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.757 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.758 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 2.758 * [backup-simplify]: Simplify (+ 0 (* 0.5 (/ 1 y))) into (* 0.5 (/ 1 y)) 2.758 * [backup-simplify]: Simplify (+ 0.918938533204673 (* 0.5 (/ 1 y))) into (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.758 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 2.758 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.758 * [taylor]: Taking taylor expansion of 0.5 in y 2.758 * [backup-simplify]: Simplify 0.5 into 0.5 2.758 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.758 * [taylor]: Taking taylor expansion of y in y 2.758 * [backup-simplify]: Simplify 0 into 0 2.758 * [backup-simplify]: Simplify 1 into 1 2.758 * [backup-simplify]: Simplify (/ 1 1) into 1 2.758 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.758 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 2.758 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 2.759 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 2.759 * [backup-simplify]: Simplify 0.5 into 0.5 2.759 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.759 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.760 * [backup-simplify]: Simplify 1.0 into 1.0 2.760 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 (- x))))) (+ (* 0.5 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 2.760 * * * [progress]: simplifying candidates 2.763 * [simplify]: Simplifying: (expm1 (* x (- y 1.0))) (log1p (* x (- y 1.0))) (* x (- y 1.0)) (+ (log x) (log (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (* (* (* x x) x) (* (* (- y 1.0) (- y 1.0)) (- y 1.0))) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (* (* (* x (- y 1.0)) (* x (- y 1.0))) (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0))))) (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1)))) (* x (fma (- 1.0) 1 (* 1.0 1))) (* x (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0))))) (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* x (fma (sqrt y) (sqrt y) (- (* 1.0 1)))) (* x (fma (- 1.0) 1 (* 1.0 1))) (* x (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0))))) (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* x (fma 1 y (- (* 1.0 1)))) (* x (fma (- 1.0) 1 (* 1.0 1))) (* x y) (* x (- 1.0)) (* x y) (* x (- 1.0)) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x) (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) x) (* (fma (- 1.0) 1 (* 1.0 1)) x) (* (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x) (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* (fma (sqrt y) (sqrt y) (- (* 1.0 1))) x) (* (fma (- 1.0) 1 (* 1.0 1)) x) (* (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))) x) (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* (fma 1 y (- (* 1.0 1))) x) (* (fma (- 1.0) 1 (* 1.0 1)) x) (* y x) (* (- 1.0) x) (* y x) (* (- 1.0) x) (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* x (sqrt (- y 1.0))) (* x 1) (* x (+ (sqrt y) (sqrt 1.0))) (* x 1) (* (cbrt x) (- y 1.0)) (* (sqrt x) (- y 1.0)) (* x (- y 1.0)) (* x (- (pow y 3) (pow 1.0 3))) (* x (- (* y y) (* 1.0 1.0))) (expm1 (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (log1p (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (/ (exp (* x (- y 1.0))) (exp (* y 0.5))) (exp 0.918938533204673)) (* (exp (- (* x (- y 1.0)) (* y 0.5))) (exp 0.918938533204673)) (log (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (exp (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (* (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (+ (pow (- (* x (- y 1.0)) (* y 0.5)) 3) (pow 0.918938533204673 3)) (+ (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (- (* 0.918938533204673 0.918938533204673) (* (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))) (- (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (* 0.918938533204673 0.918938533204673)) (- (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (fma (- 0.5) y (* 0.5 y)) 0.918938533204673) (+ (- (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- 1.0) 1 (* 1.0 1))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- 1.0) 1 (* 1.0 1))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (* y 0.5)) 0.918938533204673) (+ (- (* x (fma (- 1.0) 1 (* 1.0 1))) (* y 0.5)) 0.918938533204673) (+ (- (* x (- 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- 1.0) 1 (* 1.0 1)) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- 1.0) 1 (* 1.0 1)) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) (* y 0.5)) 0.918938533204673) (+ (- (* (fma (- 1.0) 1 (* 1.0 1)) x) (* y 0.5)) 0.918938533204673) (+ (- (* (- 1.0) x) (* y 0.5)) 0.918938533204673) (+ (- (* (- 1.0) x) (* y 0.5)) 0.918938533204673) (+ (- (* y 0.5)) 0.918938533204673) (- (* y 0.5) 0.918938533204673) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 2.766 * * [simplify]: Extracting # 0 : cost 0 2.766 * * [simplify]: Extracting # 1 : cost 0 2.767 * * [simplify]: Extracting # 2 : cost 0 2.767 * * [simplify]: Extracting # 3 : cost 0 2.767 * * [simplify]: Extracting # 4 : cost 0 2.767 * * [simplify]: Extracting # 5 : cost 0 2.767 * * [simplify]: Extracting # 6 : cost 0 2.767 * * [simplify]: Extracting # 7 : cost 0 2.768 * * [simplify]: iteration 0 : 158 enodes (cost 1438 ) 2.833 * * [simplify]: Extracting # 0 : cost 0 2.834 * * [simplify]: Extracting # 1 : cost 0 2.834 * * [simplify]: Extracting # 2 : cost 0 2.835 * * [simplify]: Extracting # 3 : cost 0 2.835 * * [simplify]: Extracting # 4 : cost 0 2.836 * * [simplify]: iteration 1 : 341 enodes (cost 1160 ) 2.966 * * [simplify]: Extracting # 0 : cost 0 2.967 * * [simplify]: Extracting # 1 : cost 0 2.967 * * [simplify]: Extracting # 2 : cost 0 2.968 * * [simplify]: Extracting # 3 : cost 0 2.969 * * [simplify]: Extracting # 4 : cost 0 2.970 * * [simplify]: Extracting # 5 : cost 0 2.970 * * [simplify]: Extracting # 6 : cost 0 2.971 * * [simplify]: iteration 2 : 738 enodes (cost 971 ) 3.515 * * [simplify]: Extracting # 0 : cost 0 3.521 * * [simplify]: Extracting # 1 : cost 0 3.527 * * [simplify]: Extracting # 2 : cost 0 3.533 * * [simplify]: Extracting # 3 : cost 0 3.539 * * [simplify]: Extracting # 4 : cost 0 3.545 * * [simplify]: iteration 3 : 2892 enodes (cost 797 ) 5.290 * * [simplify]: Extracting # 0 : cost 0 5.301 * * [simplify]: Extracting # 1 : cost 0 5.311 * * [simplify]: Extracting # 2 : cost 0 5.322 * * [simplify]: Extracting # 3 : cost 0 5.331 * * [simplify]: iteration done: 5001 enodes (cost 779 ) 5.333 * [simplify]: Simplified to: (expm1 (* x (- y 1.0))) (log1p (* x (- y 1.0))) (* (- y 1.0) x) (log (* x (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (pow (* (- y 1.0) x) 3) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (pow (* (- y 1.0) x) 3) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* x y) (* x (- 1.0)) (* x y) (* x (- 1.0)) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* (- y 1.0) x) (* x 0) (* x y) (* x (- 1.0)) (* x y) (* x (- 1.0)) (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* x (sqrt (- y 1.0))) x (* x (+ (sqrt y) (sqrt 1.0))) x (* (cbrt x) (- y 1.0)) (* (sqrt x) (- y 1.0)) (* (- y 1.0) x) (* x (- (pow y 3) (pow 1.0 3))) (* x (- (* y y) (* 1.0 1.0))) (expm1 (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (log1p (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (exp (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (exp (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (log (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (exp (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (* (cbrt (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (cbrt (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673)))) (cbrt (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (pow (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673)) 3) (sqrt (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (sqrt (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (+ (pow (- (* x (- y 1.0)) (* y 0.5)) 3) (pow 0.918938533204673 3)) (fma 0.918938533204673 0.918938533204673 (* (fma x (- y 1.0) (* (- 0.5) y)) (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)))) (* (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)) (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673))) (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)) (fma (- y 1.0) x (fma (- y) 0.5 0.918938533204673)) (fma y (+ (- 0.5) 0.5) 0.918938533204673) (fma (- y) 0.5 0.918938533204673) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (fma x 0 (fma (- y) 0.5 0.918938533204673)) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (fma (- y) 0.5 0.918938533204673) (- (* y 0.5) 0.918938533204673) (* (- y 1.0) x) (* (- y 1.0) x) (* (- y 1.0) x) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (fma x (- y 1.0) (* (- 0.5) y)) (fma x (- y 1.0) (* (- 0.5) y)) 5.334 * * * [progress]: adding candidates to table 5.616 * * [progress]: iteration 2 / 4 5.616 * * * [progress]: picking best candidate 5.618 * * * * [pick]: Picked # 5.618 * * * [progress]: localizing error 5.630 * * * [progress]: generating rewritten candidates 5.630 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.639 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.926 * * * [progress]: generating series expansions 5.926 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.927 * [backup-simplify]: Simplify (+ (* x y) (* x (- 1.0))) into (- (* x y) (* 1.0 x)) 5.927 * [approximate]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in (x y) around 0 5.927 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in y 5.927 * [taylor]: Taking taylor expansion of (* x y) in y 5.927 * [taylor]: Taking taylor expansion of x in y 5.927 * [backup-simplify]: Simplify x into x 5.927 * [taylor]: Taking taylor expansion of y in y 5.927 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify 1 into 1 5.927 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 5.927 * [taylor]: Taking taylor expansion of 1.0 in y 5.927 * [backup-simplify]: Simplify 1.0 into 1.0 5.927 * [taylor]: Taking taylor expansion of x in y 5.927 * [backup-simplify]: Simplify x into x 5.927 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in x 5.927 * [taylor]: Taking taylor expansion of (* x y) in x 5.927 * [taylor]: Taking taylor expansion of x in x 5.927 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify 1 into 1 5.927 * [taylor]: Taking taylor expansion of y in x 5.927 * [backup-simplify]: Simplify y into y 5.927 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.927 * [taylor]: Taking taylor expansion of 1.0 in x 5.927 * [backup-simplify]: Simplify 1.0 into 1.0 5.927 * [taylor]: Taking taylor expansion of x in x 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 1 into 1 5.928 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in x 5.928 * [taylor]: Taking taylor expansion of (* x y) in x 5.928 * [taylor]: Taking taylor expansion of x in x 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 1 into 1 5.928 * [taylor]: Taking taylor expansion of y in x 5.928 * [backup-simplify]: Simplify y into y 5.928 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.928 * [taylor]: Taking taylor expansion of 1.0 in x 5.928 * [backup-simplify]: Simplify 1.0 into 1.0 5.928 * [taylor]: Taking taylor expansion of x in x 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 1 into 1 5.928 * [backup-simplify]: Simplify (* 0 y) into 0 5.928 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.929 * [backup-simplify]: Simplify (- 0) into 0 5.929 * [backup-simplify]: Simplify (+ 0 0) into 0 5.929 * [taylor]: Taking taylor expansion of 0 in y 5.929 * [backup-simplify]: Simplify 0 into 0 5.929 * [backup-simplify]: Simplify 0 into 0 5.930 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.931 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.931 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.932 * [backup-simplify]: Simplify (+ y (- 1.0)) into (- y 1.0) 5.932 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.932 * [taylor]: Taking taylor expansion of y in y 5.932 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify 1 into 1 5.932 * [taylor]: Taking taylor expansion of 1.0 in y 5.932 * [backup-simplify]: Simplify 1.0 into 1.0 5.932 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.933 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.933 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.934 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.935 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.936 * [backup-simplify]: Simplify (- 0) into 0 5.936 * [backup-simplify]: Simplify (+ 0 0) into 0 5.936 * [taylor]: Taking taylor expansion of 0 in y 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify (- 0) into 0 5.937 * [backup-simplify]: Simplify (+ 1 0) into 1 5.937 * [backup-simplify]: Simplify 1 into 1 5.937 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.939 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.939 * [backup-simplify]: Simplify (- 0) into 0 5.939 * [backup-simplify]: Simplify (+ 0 0) into 0 5.940 * [taylor]: Taking taylor expansion of 0 in y 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify (- 0) into 0 5.940 * [backup-simplify]: Simplify (+ 0 0) into 0 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.942 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.943 * [backup-simplify]: Simplify (- 0) into 0 5.943 * [backup-simplify]: Simplify (+ 0 0) into 0 5.943 * [taylor]: Taking taylor expansion of 0 in y 5.943 * [backup-simplify]: Simplify 0 into 0 5.943 * [backup-simplify]: Simplify 0 into 0 5.943 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 1.0) (* 1 x))) into (- (* x y) (* 1.0 x)) 5.944 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (- 1.0))) into (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) 5.944 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in (x y) around 0 5.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in y 5.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.944 * [taylor]: Taking taylor expansion of (* x y) in y 5.944 * [taylor]: Taking taylor expansion of x in y 5.944 * [backup-simplify]: Simplify x into x 5.944 * [taylor]: Taking taylor expansion of y in y 5.944 * [backup-simplify]: Simplify 0 into 0 5.944 * [backup-simplify]: Simplify 1 into 1 5.944 * [backup-simplify]: Simplify (* x 0) into 0 5.944 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.944 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.944 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.944 * [taylor]: Taking taylor expansion of 1.0 in y 5.944 * [backup-simplify]: Simplify 1.0 into 1.0 5.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.944 * [taylor]: Taking taylor expansion of x in y 5.944 * [backup-simplify]: Simplify x into x 5.944 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in x 5.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.944 * [taylor]: Taking taylor expansion of (* x y) in x 5.944 * [taylor]: Taking taylor expansion of x in x 5.944 * [backup-simplify]: Simplify 0 into 0 5.944 * [backup-simplify]: Simplify 1 into 1 5.944 * [taylor]: Taking taylor expansion of y in x 5.944 * [backup-simplify]: Simplify y into y 5.944 * [backup-simplify]: Simplify (* 0 y) into 0 5.945 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.945 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.945 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.945 * [taylor]: Taking taylor expansion of 1.0 in x 5.945 * [backup-simplify]: Simplify 1.0 into 1.0 5.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.945 * [taylor]: Taking taylor expansion of x in x 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 1 into 1 5.945 * [backup-simplify]: Simplify (/ 1 1) into 1 5.945 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in x 5.945 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.945 * [taylor]: Taking taylor expansion of (* x y) in x 5.945 * [taylor]: Taking taylor expansion of x in x 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 1 into 1 5.945 * [taylor]: Taking taylor expansion of y in x 5.945 * [backup-simplify]: Simplify y into y 5.945 * [backup-simplify]: Simplify (* 0 y) into 0 5.946 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.946 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.946 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.946 * [taylor]: Taking taylor expansion of 1.0 in x 5.946 * [backup-simplify]: Simplify 1.0 into 1.0 5.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.946 * [taylor]: Taking taylor expansion of x in x 5.946 * [backup-simplify]: Simplify 0 into 0 5.946 * [backup-simplify]: Simplify 1 into 1 5.946 * [backup-simplify]: Simplify (/ 1 1) into 1 5.946 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.947 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.947 * [backup-simplify]: Simplify (+ (/ 1 y) (- 1.0)) into (- (/ 1 y) 1.0) 5.947 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.947 * [taylor]: Taking taylor expansion of y in y 5.947 * [backup-simplify]: Simplify 0 into 0 5.947 * [backup-simplify]: Simplify 1 into 1 5.947 * [backup-simplify]: Simplify (/ 1 1) into 1 5.947 * [taylor]: Taking taylor expansion of 1.0 in y 5.947 * [backup-simplify]: Simplify 1.0 into 1.0 5.948 * [backup-simplify]: Simplify (+ 1 0) into 1 5.948 * [backup-simplify]: Simplify 1 into 1 5.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.949 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.950 * [backup-simplify]: Simplify (- 0) into 0 5.950 * [backup-simplify]: Simplify (+ 0 0) into 0 5.950 * [taylor]: Taking taylor expansion of 0 in y 5.950 * [backup-simplify]: Simplify 0 into 0 5.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.951 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.951 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.951 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.952 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.953 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.953 * [backup-simplify]: Simplify (- 0) into 0 5.954 * [backup-simplify]: Simplify (+ 0 0) into 0 5.954 * [taylor]: Taking taylor expansion of 0 in y 5.954 * [backup-simplify]: Simplify 0 into 0 5.954 * [backup-simplify]: Simplify 0 into 0 5.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.955 * [backup-simplify]: Simplify (- 0) into 0 5.955 * [backup-simplify]: Simplify (+ 0 0) into 0 5.955 * [backup-simplify]: Simplify 0 into 0 5.956 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.957 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.957 * [backup-simplify]: Simplify (- 0) into 0 5.957 * [backup-simplify]: Simplify (+ 0 0) into 0 5.957 * [taylor]: Taking taylor expansion of 0 in y 5.957 * [backup-simplify]: Simplify 0 into 0 5.957 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.958 * [backup-simplify]: Simplify (- 0) into 0 5.959 * [backup-simplify]: Simplify (+ 0 0) into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.960 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.962 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.962 * [backup-simplify]: Simplify (- 0) into 0 5.962 * [backup-simplify]: Simplify (+ 0 0) into 0 5.962 * [taylor]: Taking taylor expansion of 0 in y 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 1.0 x)) 5.963 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (- 1.0))) into (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) 5.963 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in (x y) around 0 5.963 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y 5.963 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.963 * [taylor]: Taking taylor expansion of 1.0 in y 5.964 * [backup-simplify]: Simplify 1.0 into 1.0 5.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.964 * [taylor]: Taking taylor expansion of x in y 5.964 * [backup-simplify]: Simplify x into x 5.964 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.964 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.964 * [taylor]: Taking taylor expansion of (* x y) in y 5.964 * [taylor]: Taking taylor expansion of x in y 5.964 * [backup-simplify]: Simplify x into x 5.964 * [taylor]: Taking taylor expansion of y in y 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [backup-simplify]: Simplify (* x 0) into 0 5.964 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.964 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.964 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x 5.964 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.964 * [taylor]: Taking taylor expansion of 1.0 in x 5.964 * [backup-simplify]: Simplify 1.0 into 1.0 5.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.964 * [taylor]: Taking taylor expansion of x in x 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [backup-simplify]: Simplify (/ 1 1) into 1 5.964 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.965 * [taylor]: Taking taylor expansion of (* x y) in x 5.965 * [taylor]: Taking taylor expansion of x in x 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 1 into 1 5.965 * [taylor]: Taking taylor expansion of y in x 5.965 * [backup-simplify]: Simplify y into y 5.965 * [backup-simplify]: Simplify (* 0 y) into 0 5.965 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.965 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.965 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x 5.965 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.965 * [taylor]: Taking taylor expansion of 1.0 in x 5.965 * [backup-simplify]: Simplify 1.0 into 1.0 5.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.965 * [taylor]: Taking taylor expansion of x in x 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 1 into 1 5.965 * [backup-simplify]: Simplify (/ 1 1) into 1 5.965 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.965 * [taylor]: Taking taylor expansion of (* x y) in x 5.965 * [taylor]: Taking taylor expansion of x in x 5.965 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 1 into 1 5.966 * [taylor]: Taking taylor expansion of y in x 5.966 * [backup-simplify]: Simplify y into y 5.966 * [backup-simplify]: Simplify (* 0 y) into 0 5.966 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.966 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.966 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.966 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ (/ 1 y) 1.0) 5.966 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.966 * [taylor]: Taking taylor expansion of y in y 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 1 into 1 5.967 * [backup-simplify]: Simplify (/ 1 1) into 1 5.967 * [taylor]: Taking taylor expansion of 1.0 in y 5.967 * [backup-simplify]: Simplify 1.0 into 1.0 5.967 * [backup-simplify]: Simplify (+ 1 0) into 1 5.967 * [backup-simplify]: Simplify 1 into 1 5.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.968 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.969 * [backup-simplify]: Simplify (+ 0 0) into 0 5.969 * [taylor]: Taking taylor expansion of 0 in y 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.970 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.970 * [backup-simplify]: Simplify 1.0 into 1.0 5.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.971 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.972 * [backup-simplify]: Simplify (+ 0 0) into 0 5.972 * [taylor]: Taking taylor expansion of 0 in y 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify 0 into 0 5.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.973 * [backup-simplify]: Simplify (+ 0 0) into 0 5.973 * [backup-simplify]: Simplify 0 into 0 5.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.974 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.975 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.975 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.975 * [backup-simplify]: Simplify (+ 0 0) into 0 5.975 * [taylor]: Taking taylor expansion of 0 in y 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify 0 into 0 5.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.976 * [backup-simplify]: Simplify (+ 0 0) into 0 5.976 * [backup-simplify]: Simplify 0 into 0 5.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.978 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.979 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.979 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.979 * [backup-simplify]: Simplify (+ 0 0) into 0 5.979 * [taylor]: Taking taylor expansion of 0 in y 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.980 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 1.0 x)) 5.980 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.980 * [backup-simplify]: Simplify (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673) into (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) 5.980 * [approximate]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in (x y) around 0 5.980 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in y 5.980 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in y 5.980 * [taylor]: Taking taylor expansion of (* x y) in y 5.980 * [taylor]: Taking taylor expansion of x in y 5.980 * [backup-simplify]: Simplify x into x 5.980 * [taylor]: Taking taylor expansion of y in y 5.980 * [backup-simplify]: Simplify 0 into 0 5.980 * [backup-simplify]: Simplify 1 into 1 5.980 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.980 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.980 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y 5.980 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 5.980 * [taylor]: Taking taylor expansion of 1.0 in y 5.980 * [backup-simplify]: Simplify 1.0 into 1.0 5.980 * [taylor]: Taking taylor expansion of x in y 5.980 * [backup-simplify]: Simplify x into x 5.980 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.980 * [taylor]: Taking taylor expansion of 0.5 in y 5.981 * [backup-simplify]: Simplify 0.5 into 0.5 5.981 * [taylor]: Taking taylor expansion of y in y 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 5.981 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 5.981 * [taylor]: Taking taylor expansion of (* x y) in x 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of y in x 5.981 * [backup-simplify]: Simplify y into y 5.981 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.981 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.981 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 5.981 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.981 * [taylor]: Taking taylor expansion of 1.0 in x 5.981 * [backup-simplify]: Simplify 1.0 into 1.0 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 5.981 * [taylor]: Taking taylor expansion of 0.5 in x 5.981 * [backup-simplify]: Simplify 0.5 into 0.5 5.981 * [taylor]: Taking taylor expansion of y in x 5.981 * [backup-simplify]: Simplify y into y 5.981 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 5.981 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 5.981 * [taylor]: Taking taylor expansion of (* x y) in x 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of y in x 5.981 * [backup-simplify]: Simplify y into y 5.981 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.981 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.981 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 5.981 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.981 * [taylor]: Taking taylor expansion of 1.0 in x 5.981 * [backup-simplify]: Simplify 1.0 into 1.0 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 5.981 * [taylor]: Taking taylor expansion of 0.5 in x 5.981 * [backup-simplify]: Simplify 0.5 into 0.5 5.981 * [taylor]: Taking taylor expansion of y in x 5.981 * [backup-simplify]: Simplify y into y 5.981 * [backup-simplify]: Simplify (* 0 y) into 0 5.982 * [backup-simplify]: Simplify (+ 0 0.918938533204673) into 0.918938533204673 5.982 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.982 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 5.982 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 5.982 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 5.982 * [backup-simplify]: Simplify (+ 0.918938533204673 (- (* 0.5 y))) into (- 0.918938533204673 (* 0.5 y)) 5.982 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.982 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.982 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.982 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.982 * [taylor]: Taking taylor expansion of 0.5 in y 5.982 * [backup-simplify]: Simplify 0.5 into 0.5 5.982 * [taylor]: Taking taylor expansion of y in y 5.982 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify 1 into 1 5.983 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.983 * [backup-simplify]: Simplify (- 0) into 0 5.983 * [backup-simplify]: Simplify (+ 0.918938533204673 0) into 0.918938533204673 5.983 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.984 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.984 * [backup-simplify]: Simplify (+ y 0) into y 5.984 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.985 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 5.985 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.985 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.985 * [backup-simplify]: Simplify (+ y (- 1.0)) into (- y 1.0) 5.985 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.986 * [taylor]: Taking taylor expansion of y in y 5.986 * [backup-simplify]: Simplify 0 into 0 5.986 * [backup-simplify]: Simplify 1 into 1 5.986 * [taylor]: Taking taylor expansion of 1.0 in y 5.986 * [backup-simplify]: Simplify 1.0 into 1.0 5.986 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.987 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.987 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.989 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 5.989 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 5.990 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 5.990 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 5.991 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (+ (* (- 1.0) (* 1 x)) 0.918938533204673)) into (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) 5.992 * [backup-simplify]: Simplify (+ (- (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (- 1.0))) (* (/ 1 y) 0.5)) 0.918938533204673) into (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) 5.992 * [approximate]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in (x y) around 0 5.992 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y 5.992 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in y 5.992 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.992 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.992 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.992 * [taylor]: Taking taylor expansion of (* x y) in y 5.992 * [taylor]: Taking taylor expansion of x in y 5.992 * [backup-simplify]: Simplify x into x 5.992 * [taylor]: Taking taylor expansion of y in y 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.993 * [backup-simplify]: Simplify (* x 0) into 0 5.993 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.993 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.993 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y 5.993 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.993 * [taylor]: Taking taylor expansion of 0.5 in y 5.993 * [backup-simplify]: Simplify 0.5 into 0.5 5.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.993 * [taylor]: Taking taylor expansion of y in y 5.993 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify 1 into 1 5.994 * [backup-simplify]: Simplify (/ 1 1) into 1 5.994 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.994 * [taylor]: Taking taylor expansion of 1.0 in y 5.994 * [backup-simplify]: Simplify 1.0 into 1.0 5.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.994 * [taylor]: Taking taylor expansion of x in y 5.994 * [backup-simplify]: Simplify x into x 5.994 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.994 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 5.994 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 5.994 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.994 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.994 * [taylor]: Taking taylor expansion of (* x y) in x 5.994 * [taylor]: Taking taylor expansion of x in x 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify 1 into 1 5.994 * [taylor]: Taking taylor expansion of y in x 5.994 * [backup-simplify]: Simplify y into y 5.994 * [backup-simplify]: Simplify (* 0 y) into 0 5.995 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.995 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.995 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.995 * [taylor]: Taking taylor expansion of 0.5 in x 5.995 * [backup-simplify]: Simplify 0.5 into 0.5 5.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.995 * [taylor]: Taking taylor expansion of y in x 5.995 * [backup-simplify]: Simplify y into y 5.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.995 * [taylor]: Taking taylor expansion of 1.0 in x 5.995 * [backup-simplify]: Simplify 1.0 into 1.0 5.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.995 * [taylor]: Taking taylor expansion of x in x 5.995 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify 1 into 1 5.996 * [backup-simplify]: Simplify (/ 1 1) into 1 5.996 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 5.996 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 5.996 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.996 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 5.996 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.996 * [taylor]: Taking taylor expansion of (* x y) in x 5.996 * [taylor]: Taking taylor expansion of x in x 5.996 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify 1 into 1 5.996 * [taylor]: Taking taylor expansion of y in x 5.996 * [backup-simplify]: Simplify y into y 5.996 * [backup-simplify]: Simplify (* 0 y) into 0 5.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.996 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.997 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.997 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.997 * [taylor]: Taking taylor expansion of 0.5 in x 5.997 * [backup-simplify]: Simplify 0.5 into 0.5 5.997 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.997 * [taylor]: Taking taylor expansion of y in x 5.997 * [backup-simplify]: Simplify y into y 5.997 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.997 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.997 * [taylor]: Taking taylor expansion of 1.0 in x 5.997 * [backup-simplify]: Simplify 1.0 into 1.0 5.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.997 * [taylor]: Taking taylor expansion of x in x 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify 1 into 1 5.997 * [backup-simplify]: Simplify (/ 1 1) into 1 5.998 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.998 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.998 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.999 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.999 * [backup-simplify]: Simplify (+ (/ 1 y) (- 1.0)) into (- (/ 1 y) 1.0) 5.999 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.999 * [taylor]: Taking taylor expansion of y in y 5.999 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify 1 into 1 6.000 * [backup-simplify]: Simplify (/ 1 1) into 1 6.000 * [taylor]: Taking taylor expansion of 1.0 in y 6.000 * [backup-simplify]: Simplify 1.0 into 1.0 6.000 * [backup-simplify]: Simplify (+ 1 0) into 1 6.000 * [backup-simplify]: Simplify 1 into 1 6.001 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.002 * [backup-simplify]: Simplify (+ 0.918938533204673 0) into 0.918938533204673 6.002 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.003 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.003 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 6.004 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 y))) into (- (* 0.5 (/ 1 y))) 6.004 * [backup-simplify]: Simplify (+ 0.918938533204673 (- (* 0.5 (/ 1 y)))) into (- 0.918938533204673 (* 0.5 (/ 1 y))) 6.004 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 6.004 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 6.004 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 6.004 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.004 * [taylor]: Taking taylor expansion of 0.5 in y 6.004 * [backup-simplify]: Simplify 0.5 into 0.5 6.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.004 * [taylor]: Taking taylor expansion of y in y 6.004 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify 1 into 1 6.004 * [backup-simplify]: Simplify (/ 1 1) into 1 6.005 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.005 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.006 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 6.006 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.007 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.007 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.008 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.008 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 x)))) (+ (* (- 0.5) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 6.009 * [backup-simplify]: Simplify (+ (- (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (- 1.0))) (* (/ 1 (- y)) 0.5)) 0.918938533204673) into (+ 0.918938533204673 (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))))) 6.009 * [approximate]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))))) in (x y) around 0 6.009 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))))) in y 6.009 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 6.009 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 6.009 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in y 6.009 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.009 * [taylor]: Taking taylor expansion of 0.5 in y 6.009 * [backup-simplify]: Simplify 0.5 into 0.5 6.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.009 * [taylor]: Taking taylor expansion of y in y 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [backup-simplify]: Simplify (/ 1 1) into 1 6.009 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y 6.009 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 6.009 * [taylor]: Taking taylor expansion of 1.0 in y 6.009 * [backup-simplify]: Simplify 1.0 into 1.0 6.009 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.009 * [taylor]: Taking taylor expansion of x in y 6.009 * [backup-simplify]: Simplify x into x 6.010 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.010 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.010 * [taylor]: Taking taylor expansion of (* x y) in y 6.010 * [taylor]: Taking taylor expansion of x in y 6.010 * [backup-simplify]: Simplify x into x 6.010 * [taylor]: Taking taylor expansion of y in y 6.010 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify 1 into 1 6.010 * [backup-simplify]: Simplify (* x 0) into 0 6.010 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.010 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.010 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))))) in x 6.010 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 6.010 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 6.010 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in x 6.010 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.010 * [taylor]: Taking taylor expansion of 0.5 in x 6.010 * [backup-simplify]: Simplify 0.5 into 0.5 6.010 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.010 * [taylor]: Taking taylor expansion of y in x 6.010 * [backup-simplify]: Simplify y into y 6.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.010 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x 6.010 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 6.010 * [taylor]: Taking taylor expansion of 1.0 in x 6.010 * [backup-simplify]: Simplify 1.0 into 1.0 6.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.010 * [taylor]: Taking taylor expansion of x in x 6.010 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify 1 into 1 6.011 * [backup-simplify]: Simplify (/ 1 1) into 1 6.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.011 * [taylor]: Taking taylor expansion of (* x y) in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [backup-simplify]: Simplify 0 into 0 6.011 * [backup-simplify]: Simplify 1 into 1 6.011 * [taylor]: Taking taylor expansion of y in x 6.011 * [backup-simplify]: Simplify y into y 6.011 * [backup-simplify]: Simplify (* 0 y) into 0 6.011 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.011 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.011 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))))) in x 6.011 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 6.011 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 6.011 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in x 6.011 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.011 * [taylor]: Taking taylor expansion of 0.5 in x 6.011 * [backup-simplify]: Simplify 0.5 into 0.5 6.011 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.011 * [taylor]: Taking taylor expansion of y in x 6.011 * [backup-simplify]: Simplify y into y 6.011 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x 6.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 6.011 * [taylor]: Taking taylor expansion of 1.0 in x 6.011 * [backup-simplify]: Simplify 1.0 into 1.0 6.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify 1 into 1 6.012 * [backup-simplify]: Simplify (/ 1 1) into 1 6.012 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.012 * [taylor]: Taking taylor expansion of (* x y) in x 6.012 * [taylor]: Taking taylor expansion of x in x 6.012 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify 1 into 1 6.012 * [taylor]: Taking taylor expansion of y in x 6.012 * [backup-simplify]: Simplify y into y 6.012 * [backup-simplify]: Simplify (* 0 y) into 0 6.012 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.012 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.013 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.013 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ (/ 1 y) 1.0) 6.013 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 y) 1.0)) into (+ (/ 1 y) 1.0) 6.013 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 y) 1.0)) into (+ (/ 1 y) 1.0) 6.013 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 6.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.013 * [taylor]: Taking taylor expansion of y in y 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify 1 into 1 6.013 * [backup-simplify]: Simplify (/ 1 1) into 1 6.013 * [taylor]: Taking taylor expansion of 1.0 in y 6.013 * [backup-simplify]: Simplify 1.0 into 1.0 6.013 * [backup-simplify]: Simplify (+ 1 0) into 1 6.013 * [backup-simplify]: Simplify 1 into 1 6.014 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.014 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.015 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.015 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.015 * [backup-simplify]: Simplify (+ 0 0) into 0 6.015 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 6.015 * [backup-simplify]: Simplify (+ 0.918938533204673 (* 0.5 (/ 1 y))) into (+ (* 0.5 (/ 1 y)) 0.918938533204673) 6.015 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 6.015 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.015 * [taylor]: Taking taylor expansion of 0.5 in y 6.015 * [backup-simplify]: Simplify 0.5 into 0.5 6.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.015 * [taylor]: Taking taylor expansion of y in y 6.015 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify 1 into 1 6.016 * [backup-simplify]: Simplify (/ 1 1) into 1 6.016 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 6.016 * [backup-simplify]: Simplify 0.918938533204673 into 0.918938533204673 6.016 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.016 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 6.016 * [backup-simplify]: Simplify 0.5 into 0.5 6.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.017 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.017 * [backup-simplify]: Simplify 1.0 into 1.0 6.017 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 (- x))))) (+ (* 0.5 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 6.017 * * * [progress]: simplifying candidates 6.018 * [simplify]: Simplifying: (expm1 (+ (* x y) (* x (- 1.0)))) (log1p (+ (* x y) (* x (- 1.0)))) (* (exp (* x y)) (exp (* x (- 1.0)))) (log (+ (* x y) (* x (- 1.0)))) (exp (+ (* x y) (* x (- 1.0)))) (* (cbrt (+ (* x y) (* x (- 1.0)))) (cbrt (+ (* x y) (* x (- 1.0))))) (cbrt (+ (* x y) (* x (- 1.0)))) (* (* (+ (* x y) (* x (- 1.0))) (+ (* x y) (* x (- 1.0)))) (+ (* x y) (* x (- 1.0)))) (sqrt (+ (* x y) (* x (- 1.0)))) (sqrt (+ (* x y) (* x (- 1.0)))) (+ (pow (* x y) 3) (pow (* x (- 1.0)) 3)) (+ (* (* x y) (* x y)) (- (* (* x (- 1.0)) (* x (- 1.0))) (* (* x y) (* x (- 1.0))))) (- (* (* x y) (* x y)) (* (* x (- 1.0)) (* x (- 1.0)))) (- (* x y) (* x (- 1.0))) (+ y (- 1.0)) (expm1 (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (log1p (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (* (/ (* (exp (* x y)) (exp (* x (- 1.0)))) (exp (* y 0.5))) (exp 0.918938533204673)) (* (/ (exp (+ (* x y) (* x (- 1.0)))) (exp (* y 0.5))) (exp 0.918938533204673)) (* (exp (- (+ (* x y) (* x (- 1.0))) (* y 0.5))) (exp 0.918938533204673)) (log (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (exp (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (* (cbrt (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (cbrt (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673))) (cbrt (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (* (* (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673) (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673)) (+ (pow (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 3) (pow 0.918938533204673 3)) (+ (* (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) (- (+ (* x y) (* x (- 1.0))) (* y 0.5))) (- (* 0.918938533204673 0.918938533204673) (* (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673))) (- (* (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) (- (+ (* x y) (* x (- 1.0))) (* y 0.5))) (* 0.918938533204673 0.918938533204673)) (- (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673) (+ (- (+ (* x y) (* x (- 1.0))) (* y 0.5)) 0.918938533204673) (+ (fma (- 0.5) y (* 0.5 y)) 0.918938533204673) (+ (fma (- 0.5) y (* 0.5 y)) 0.918938533204673) (+ (fma (- 0.5) y (* 0.5 y)) 0.918938533204673) (+ (fma (- 0.5) y (* 0.5 y)) 0.918938533204673) (+ (- (* y 0.5)) 0.918938533204673) (+ (- (* x (- 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* y 0.5)) 0.918938533204673) (- (* y 0.5) 0.918938533204673) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 6.019 * * [simplify]: Extracting # 0 : cost 0 6.019 * * [simplify]: Extracting # 1 : cost 0 6.019 * * [simplify]: Extracting # 2 : cost 0 6.019 * * [simplify]: Extracting # 3 : cost 0 6.019 * * [simplify]: Extracting # 4 : cost 0 6.020 * * [simplify]: Extracting # 5 : cost 0 6.020 * * [simplify]: Extracting # 6 : cost 0 6.020 * * [simplify]: Extracting # 7 : cost 0 6.020 * * [simplify]: iteration 0 : 77 enodes (cost 650 ) 6.047 * * [simplify]: Extracting # 0 : cost 0 6.048 * * [simplify]: Extracting # 1 : cost 0 6.048 * * [simplify]: Extracting # 2 : cost 0 6.049 * * [simplify]: Extracting # 3 : cost 0 6.049 * * [simplify]: Extracting # 4 : cost 0 6.049 * * [simplify]: Extracting # 5 : cost 0 6.050 * * [simplify]: iteration 1 : 231 enodes (cost 507 ) 6.157 * * [simplify]: Extracting # 0 : cost 0 6.158 * * [simplify]: Extracting # 1 : cost 0 6.160 * * [simplify]: Extracting # 2 : cost 0 6.162 * * [simplify]: Extracting # 3 : cost 0 6.163 * * [simplify]: Extracting # 4 : cost 0 6.163 * * [simplify]: Extracting # 5 : cost 0 6.164 * * [simplify]: Extracting # 6 : cost 0 6.165 * * [simplify]: iteration 2 : 836 enodes (cost 462 ) 7.068 * * [simplify]: Extracting # 0 : cost 0 7.073 * * [simplify]: Extracting # 1 : cost 0 7.081 * * [simplify]: Extracting # 2 : cost 0 7.095 * * [simplify]: Extracting # 3 : cost 0 7.103 * * [simplify]: Extracting # 4 : cost 0 7.107 * * [simplify]: Extracting # 5 : cost 0 7.111 * * [simplify]: iteration 3 : 4042 enodes (cost 430 ) 8.676 * * [simplify]: Extracting # 0 : cost 0 8.684 * * [simplify]: Extracting # 1 : cost 0 8.689 * * [simplify]: iteration done: 5000 enodes (cost 429 ) 8.690 * [simplify]: Simplified to: (expm1 (* x (- y 1.0))) (log1p (* x (- y 1.0))) (exp (* x (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (pow (* x (- y 1.0)) 3) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (- (pow (* x y) 3) (pow (* 1.0 x) 3)) (* x (fma x (fma y y (* 1.0 1.0)) (* y (* 1.0 x)))) (* (* x x) (- (* y y) (* 1.0 1.0))) (* x (+ 1.0 y)) (- y 1.0) (expm1 (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (log1p (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (exp (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (exp (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (exp (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (log (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (exp (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (* (cbrt (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (cbrt (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673)))) (cbrt (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (pow (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673)) 3) (sqrt (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (sqrt (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (+ (pow (- (* x (- y 1.0)) (* y 0.5)) 3) (pow 0.918938533204673 3)) (fma 0.918938533204673 0.918938533204673 (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)))) (* (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)) (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673))) (- (* x (- y 1.0)) (fma 0.5 y 0.918938533204673)) (fma (- y 1.0) x (fma y (- 0.5) 0.918938533204673)) (fma y (+ (- 0.5) 0.5) 0.918938533204673) (fma y (+ (- 0.5) 0.5) 0.918938533204673) (fma y (+ (- 0.5) 0.5) 0.918938533204673) (fma y (+ (- 0.5) 0.5) 0.918938533204673) (fma y (- 0.5) 0.918938533204673) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (fma y (- 0.5) 0.918938533204673) (- (* y 0.5) 0.918938533204673) (* x (- y 1.0)) (* x (- y 1.0)) (* x (- y 1.0)) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5)) 8.690 * * * [progress]: adding candidates to table 8.857 * [progress]: [Phase 3 of 3] Extracting. 8.857 * * [regime]: Finding splitpoints for: (# #) 8.857 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x (- y 1.0)) (* y 0.5)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) y x) 8.857 * * * * [regimes]: Trying to branch on (- (* x (- y 1.0)) (* y 0.5)) from (# #) 8.871 * * * * [regimes]: Trying to branch on (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) from (# #) 8.883 * * * * [regimes]: Trying to branch on y from (# #) 8.899 * * * * [regimes]: Trying to branch on x from (# #) 8.922 * * * [regime]: Found split indices: #