3.686 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying: (+ x (* (- y x) z)) 0.019 * * [simplify]: Extracting # 0 : cost 0 0.019 * * [simplify]: Extracting # 1 : cost 0 0.019 * * [simplify]: Extracting # 2 : cost 0 0.019 * * [simplify]: Extracting # 3 : cost 0 0.019 * * [simplify]: Extracting # 4 : cost 0 0.019 * * [simplify]: Extracting # 5 : cost 0 0.019 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 4 : 52 enodes (cost 6 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: Extracting # 3 : cost 0 0.063 * * [simplify]: Extracting # 4 : cost 0 0.063 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 0.085 * * [simplify]: Extracting # 0 : cost 0 0.085 * * [simplify]: Extracting # 1 : cost 0 0.085 * * [simplify]: Extracting # 2 : cost 0 0.085 * * [simplify]: iteration 6 : 83 enodes (cost 6 ) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.104 * * [simplify]: Extracting # 1 : cost 0 0.104 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: iteration 7 : 104 enodes (cost 6 ) 0.135 * * [simplify]: Extracting # 0 : cost 0 0.135 * * [simplify]: Extracting # 1 : cost 0 0.135 * * [simplify]: Extracting # 2 : cost 0 0.135 * * [simplify]: iteration 8 : 140 enodes (cost 6 ) 0.184 * * [simplify]: Extracting # 0 : cost 0 0.184 * * [simplify]: Extracting # 1 : cost 0 0.184 * * [simplify]: Extracting # 2 : cost 0 0.185 * * [simplify]: iteration 9 : 178 enodes (cost 6 ) 0.297 * * [simplify]: Extracting # 0 : cost 0 0.297 * * [simplify]: Extracting # 1 : cost 0 0.298 * * [simplify]: Extracting # 2 : cost 0 0.298 * * [simplify]: iteration 10 : 227 enodes (cost 6 ) 0.363 * * [simplify]: Extracting # 0 : cost 0 0.364 * * [simplify]: Extracting # 1 : cost 0 0.364 * * [simplify]: Extracting # 2 : cost 0 0.364 * * [simplify]: iteration 11 : 258 enodes (cost 6 ) 0.423 * * [simplify]: Extracting # 0 : cost 0 0.423 * * [simplify]: Extracting # 1 : cost 0 0.423 * * [simplify]: Extracting # 2 : cost 0 0.423 * * [simplify]: iteration 12 : 274 enodes (cost 6 ) 0.481 * * [simplify]: Extracting # 0 : cost 0 0.482 * * [simplify]: Extracting # 1 : cost 0 0.482 * * [simplify]: Extracting # 2 : cost 0 0.482 * * [simplify]: iteration 13 : 296 enodes (cost 6 ) 0.555 * * [simplify]: Extracting # 0 : cost 0 0.556 * * [simplify]: Extracting # 1 : cost 0 0.556 * * [simplify]: Extracting # 2 : cost 0 0.556 * * [simplify]: Extracting # 3 : cost 0 0.556 * * [simplify]: iteration 14 : 317 enodes (cost 6 ) 0.677 * * [simplify]: Extracting # 0 : cost 0 0.677 * * [simplify]: Extracting # 1 : cost 0 0.677 * * [simplify]: Extracting # 2 : cost 0 0.677 * * [simplify]: iteration 15 : 346 enodes (cost 6 ) 0.827 * * [simplify]: Extracting # 0 : cost 0 0.827 * * [simplify]: Extracting # 1 : cost 0 0.827 * * [simplify]: Extracting # 2 : cost 0 0.828 * * [simplify]: iteration 16 : 434 enodes (cost 6 ) 1.011 * * [simplify]: Extracting # 0 : cost 0 1.011 * * [simplify]: Extracting # 1 : cost 0 1.011 * * [simplify]: Extracting # 2 : cost 0 1.011 * * [simplify]: iteration 17 : 510 enodes (cost 6 ) 1.223 * * [simplify]: Extracting # 0 : cost 0 1.224 * * [simplify]: Extracting # 1 : cost 0 1.225 * * [simplify]: Extracting # 2 : cost 0 1.226 * * [simplify]: iteration 18 : 621 enodes (cost 6 ) 1.549 * * [simplify]: Extracting # 0 : cost 0 1.550 * * [simplify]: Extracting # 1 : cost 0 1.553 * * [simplify]: Extracting # 2 : cost 0 1.553 * * [simplify]: iteration 19 : 683 enodes (cost 6 ) 1.984 * * [simplify]: Extracting # 0 : cost 0 1.984 * * [simplify]: Extracting # 1 : cost 0 1.984 * * [simplify]: iteration 20 : 765 enodes (cost 6 ) 2.317 * * [simplify]: Extracting # 0 : cost 0 2.317 * * [simplify]: iteration 21 : 775 enodes (cost 6 ) 2.632 * * [simplify]: Extracting # 0 : cost 0 2.633 * * [simplify]: iteration 22 : 777 enodes (cost 6 ) 3.019 * * [simplify]: Extracting # 0 : cost 0 3.020 * * [simplify]: iteration done: 777 enodes (cost 6 ) 3.020 * [simplify]: Simplified to: (fma z (- y x) x) 3.024 * * [progress]: iteration 1 / 4 3.024 * * * [progress]: picking best candidate 3.028 * * * * [pick]: Picked # 3.028 * * * [progress]: localizing error 3.034 * * * [progress]: generating rewritten candidates 3.034 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.035 * * * [progress]: generating series expansions 3.035 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.035 * [backup-simplify]: Simplify (fma z (- y x) x) into (fma z (- y x) x) 3.035 * [approximate]: Taking taylor expansion of (fma z (- y x) x) in (z y x) around 0 3.035 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 3.035 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 3.035 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 3.035 * [taylor]: Taking taylor expansion of z in x 3.035 * [backup-simplify]: Simplify z into z 3.035 * [taylor]: Taking taylor expansion of (- y x) in x 3.035 * [taylor]: Taking taylor expansion of y in x 3.035 * [backup-simplify]: Simplify y into y 3.035 * [taylor]: Taking taylor expansion of x in x 3.035 * [backup-simplify]: Simplify 0 into 0 3.035 * [backup-simplify]: Simplify 1 into 1 3.035 * [taylor]: Taking taylor expansion of x in x 3.035 * [backup-simplify]: Simplify 0 into 0 3.035 * [backup-simplify]: Simplify 1 into 1 3.035 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 3.035 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 3.035 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 3.035 * [taylor]: Taking taylor expansion of z in y 3.035 * [backup-simplify]: Simplify z into z 3.035 * [taylor]: Taking taylor expansion of (- y x) in y 3.035 * [taylor]: Taking taylor expansion of y in y 3.035 * [backup-simplify]: Simplify 0 into 0 3.035 * [backup-simplify]: Simplify 1 into 1 3.035 * [taylor]: Taking taylor expansion of x in y 3.035 * [backup-simplify]: Simplify x into x 3.035 * [taylor]: Taking taylor expansion of x in y 3.035 * [backup-simplify]: Simplify x into x 3.035 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 3.036 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 3.036 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 3.036 * [taylor]: Taking taylor expansion of z in z 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 1 into 1 3.036 * [taylor]: Taking taylor expansion of (- y x) in z 3.036 * [taylor]: Taking taylor expansion of y in z 3.036 * [backup-simplify]: Simplify y into y 3.036 * [taylor]: Taking taylor expansion of x in z 3.036 * [backup-simplify]: Simplify x into x 3.036 * [taylor]: Taking taylor expansion of x in z 3.036 * [backup-simplify]: Simplify x into x 3.036 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 3.036 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 3.036 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 3.036 * [taylor]: Taking taylor expansion of z in z 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 1 into 1 3.036 * [taylor]: Taking taylor expansion of (- y x) in z 3.036 * [taylor]: Taking taylor expansion of y in z 3.036 * [backup-simplify]: Simplify y into y 3.036 * [taylor]: Taking taylor expansion of x in z 3.036 * [backup-simplify]: Simplify x into x 3.036 * [taylor]: Taking taylor expansion of x in z 3.036 * [backup-simplify]: Simplify x into x 3.036 * [backup-simplify]: Simplify (- x) into (- x) 3.036 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 3.036 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 3.036 * [backup-simplify]: Simplify (+ 0 x) into x 3.036 * [taylor]: Taking taylor expansion of x in y 3.036 * [backup-simplify]: Simplify x into x 3.036 * [taylor]: Taking taylor expansion of x in x 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 1 into 1 3.036 * [backup-simplify]: Simplify 0 into 0 3.037 * [backup-simplify]: Simplify (- 0) into 0 3.037 * [backup-simplify]: Simplify (+ 0 0) into 0 3.038 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 3.038 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 3.038 * [taylor]: Taking taylor expansion of (- y x) in y 3.038 * [taylor]: Taking taylor expansion of y in y 3.038 * [backup-simplify]: Simplify 0 into 0 3.038 * [backup-simplify]: Simplify 1 into 1 3.038 * [taylor]: Taking taylor expansion of x in y 3.038 * [backup-simplify]: Simplify x into x 3.038 * [backup-simplify]: Simplify (- x) into (- x) 3.038 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 3.038 * [taylor]: Taking taylor expansion of (- x) in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.038 * [backup-simplify]: Simplify 0 into 0 3.038 * [backup-simplify]: Simplify 1 into 1 3.038 * [backup-simplify]: Simplify (- 0) into 0 3.038 * [backup-simplify]: Simplify 0 into 0 3.038 * [taylor]: Taking taylor expansion of 0 in x 3.038 * [backup-simplify]: Simplify 0 into 0 3.038 * [backup-simplify]: Simplify 0 into 0 3.038 * [backup-simplify]: Simplify 1 into 1 3.039 * [backup-simplify]: Simplify (- 0) into 0 3.039 * [backup-simplify]: Simplify (+ 0 0) into 0 3.039 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 3.039 * [backup-simplify]: Simplify (+ 0 0) into 0 3.040 * [taylor]: Taking taylor expansion of 0 in y 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [taylor]: Taking taylor expansion of 0 in x 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify (- 0) into 0 3.040 * [backup-simplify]: Simplify (+ 1 0) into 1 3.040 * [taylor]: Taking taylor expansion of 1 in x 3.040 * [backup-simplify]: Simplify 1 into 1 3.040 * [backup-simplify]: Simplify 1 into 1 3.040 * [taylor]: Taking taylor expansion of 0 in x 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify (- 1) into -1 3.040 * [backup-simplify]: Simplify -1 into -1 3.041 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 z))) (+ (* 1 (* 1 (* y z))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x z)) 3.041 * [backup-simplify]: Simplify (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) into (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) 3.041 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in (z y x) around 0 3.041 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in x 3.041 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 3.041 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in x 3.041 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.041 * [taylor]: Taking taylor expansion of z in x 3.041 * [backup-simplify]: Simplify z into z 3.041 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.041 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.041 * [taylor]: Taking taylor expansion of y in x 3.041 * [backup-simplify]: Simplify y into y 3.041 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.041 * [backup-simplify]: Simplify 0 into 0 3.041 * [backup-simplify]: Simplify 1 into 1 3.042 * [backup-simplify]: Simplify (/ 1 1) into 1 3.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.042 * [taylor]: Taking taylor expansion of x in x 3.042 * [backup-simplify]: Simplify 0 into 0 3.042 * [backup-simplify]: Simplify 1 into 1 3.042 * [backup-simplify]: Simplify (/ 1 1) into 1 3.042 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in y 3.042 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 3.042 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in y 3.042 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.042 * [taylor]: Taking taylor expansion of z in y 3.042 * [backup-simplify]: Simplify z into z 3.042 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.042 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.042 * [taylor]: Taking taylor expansion of y in y 3.042 * [backup-simplify]: Simplify 0 into 0 3.042 * [backup-simplify]: Simplify 1 into 1 3.043 * [backup-simplify]: Simplify (/ 1 1) into 1 3.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.043 * [taylor]: Taking taylor expansion of x in y 3.043 * [backup-simplify]: Simplify x into x 3.043 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.043 * [taylor]: Taking taylor expansion of x in y 3.043 * [backup-simplify]: Simplify x into x 3.043 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.043 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 3.043 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 3.043 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 3.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.043 * [taylor]: Taking taylor expansion of z in z 3.043 * [backup-simplify]: Simplify 0 into 0 3.043 * [backup-simplify]: Simplify 1 into 1 3.043 * [backup-simplify]: Simplify (/ 1 1) into 1 3.043 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 3.043 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.043 * [taylor]: Taking taylor expansion of y in z 3.043 * [backup-simplify]: Simplify y into y 3.043 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.043 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.043 * [taylor]: Taking taylor expansion of x in z 3.044 * [backup-simplify]: Simplify x into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.044 * [taylor]: Taking taylor expansion of x in z 3.044 * [backup-simplify]: Simplify x into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.044 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 3.044 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 3.044 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 3.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.044 * [taylor]: Taking taylor expansion of z in z 3.044 * [backup-simplify]: Simplify 0 into 0 3.044 * [backup-simplify]: Simplify 1 into 1 3.044 * [backup-simplify]: Simplify (/ 1 1) into 1 3.044 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 3.044 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.044 * [taylor]: Taking taylor expansion of y in z 3.044 * [backup-simplify]: Simplify y into y 3.044 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.044 * [taylor]: Taking taylor expansion of x in z 3.044 * [backup-simplify]: Simplify x into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.044 * [taylor]: Taking taylor expansion of x in z 3.044 * [backup-simplify]: Simplify x into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.044 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.045 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 3.045 * [backup-simplify]: Simplify (* 1 (- (/ 1 y) (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 3.045 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 3.045 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.045 * [taylor]: Taking taylor expansion of y in y 3.045 * [backup-simplify]: Simplify 0 into 0 3.045 * [backup-simplify]: Simplify 1 into 1 3.045 * [backup-simplify]: Simplify (/ 1 1) into 1 3.045 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.045 * [taylor]: Taking taylor expansion of x in y 3.045 * [backup-simplify]: Simplify x into x 3.045 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.045 * [backup-simplify]: Simplify (+ 1 0) into 1 3.045 * [taylor]: Taking taylor expansion of 1 in x 3.045 * [backup-simplify]: Simplify 1 into 1 3.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.046 * [backup-simplify]: Simplify (- 0) into 0 3.046 * [backup-simplify]: Simplify (+ 0 0) into 0 3.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.047 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 y) (/ 1 x)))) into 0 3.047 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 3.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.047 * [taylor]: Taking taylor expansion of x in y 3.047 * [backup-simplify]: Simplify x into x 3.047 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.048 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.048 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 3.048 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [backup-simplify]: Simplify 0 into 0 3.048 * [backup-simplify]: Simplify 1 into 1 3.048 * [backup-simplify]: Simplify (/ 1 1) into 1 3.048 * [backup-simplify]: Simplify (- 1) into -1 3.048 * [backup-simplify]: Simplify -1 into -1 3.048 * [backup-simplify]: Simplify 1 into 1 3.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.049 * [backup-simplify]: Simplify (- 0) into 0 3.049 * [backup-simplify]: Simplify (+ 0 0) into 0 3.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 y) (/ 1 x))))) into 0 3.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.050 * [backup-simplify]: Simplify (+ 0 0) into 0 3.050 * [taylor]: Taking taylor expansion of 0 in y 3.050 * [backup-simplify]: Simplify 0 into 0 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.050 * [taylor]: Taking taylor expansion of x in x 3.051 * [backup-simplify]: Simplify 0 into 0 3.051 * [backup-simplify]: Simplify 1 into 1 3.051 * [backup-simplify]: Simplify (/ 1 1) into 1 3.051 * [backup-simplify]: Simplify 1 into 1 3.051 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))))) into (- (+ (* z y) x) (* x z)) 3.052 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) 3.052 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in (z y x) around 0 3.052 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in x 3.052 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 3.052 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in x 3.052 * [taylor]: Taking taylor expansion of (/ -1 z) in x 3.052 * [taylor]: Taking taylor expansion of -1 in x 3.052 * [backup-simplify]: Simplify -1 into -1 3.052 * [taylor]: Taking taylor expansion of z in x 3.052 * [backup-simplify]: Simplify z into z 3.052 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.052 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.052 * [taylor]: Taking taylor expansion of x in x 3.052 * [backup-simplify]: Simplify 0 into 0 3.052 * [backup-simplify]: Simplify 1 into 1 3.052 * [backup-simplify]: Simplify (/ 1 1) into 1 3.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.052 * [taylor]: Taking taylor expansion of y in x 3.052 * [backup-simplify]: Simplify y into y 3.052 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.052 * [taylor]: Taking taylor expansion of -1 in x 3.052 * [backup-simplify]: Simplify -1 into -1 3.052 * [taylor]: Taking taylor expansion of x in x 3.052 * [backup-simplify]: Simplify 0 into 0 3.052 * [backup-simplify]: Simplify 1 into 1 3.053 * [backup-simplify]: Simplify (/ -1 1) into -1 3.053 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in y 3.053 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 3.053 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in y 3.053 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.053 * [taylor]: Taking taylor expansion of -1 in y 3.053 * [backup-simplify]: Simplify -1 into -1 3.053 * [taylor]: Taking taylor expansion of z in y 3.053 * [backup-simplify]: Simplify z into z 3.053 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.053 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.053 * [taylor]: Taking taylor expansion of x in y 3.053 * [backup-simplify]: Simplify x into x 3.053 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.053 * [taylor]: Taking taylor expansion of y in y 3.053 * [backup-simplify]: Simplify 0 into 0 3.053 * [backup-simplify]: Simplify 1 into 1 3.053 * [backup-simplify]: Simplify (/ 1 1) into 1 3.053 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.053 * [taylor]: Taking taylor expansion of -1 in y 3.053 * [backup-simplify]: Simplify -1 into -1 3.053 * [taylor]: Taking taylor expansion of x in y 3.053 * [backup-simplify]: Simplify x into x 3.053 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.053 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 3.054 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 3.054 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 3.054 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.054 * [taylor]: Taking taylor expansion of -1 in z 3.054 * [backup-simplify]: Simplify -1 into -1 3.054 * [taylor]: Taking taylor expansion of z in z 3.054 * [backup-simplify]: Simplify 0 into 0 3.054 * [backup-simplify]: Simplify 1 into 1 3.054 * [backup-simplify]: Simplify (/ -1 1) into -1 3.054 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 3.054 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.054 * [taylor]: Taking taylor expansion of x in z 3.054 * [backup-simplify]: Simplify x into x 3.054 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.054 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.054 * [taylor]: Taking taylor expansion of y in z 3.054 * [backup-simplify]: Simplify y into y 3.054 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.054 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.054 * [taylor]: Taking taylor expansion of -1 in z 3.054 * [backup-simplify]: Simplify -1 into -1 3.054 * [taylor]: Taking taylor expansion of x in z 3.054 * [backup-simplify]: Simplify x into x 3.054 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.054 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 3.054 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 3.054 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 3.054 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.054 * [taylor]: Taking taylor expansion of -1 in z 3.054 * [backup-simplify]: Simplify -1 into -1 3.054 * [taylor]: Taking taylor expansion of z in z 3.054 * [backup-simplify]: Simplify 0 into 0 3.055 * [backup-simplify]: Simplify 1 into 1 3.055 * [backup-simplify]: Simplify (/ -1 1) into -1 3.055 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 3.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.055 * [taylor]: Taking taylor expansion of x in z 3.055 * [backup-simplify]: Simplify x into x 3.055 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.055 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.055 * [taylor]: Taking taylor expansion of y in z 3.055 * [backup-simplify]: Simplify y into y 3.055 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.055 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.055 * [taylor]: Taking taylor expansion of -1 in z 3.055 * [backup-simplify]: Simplify -1 into -1 3.055 * [taylor]: Taking taylor expansion of x in z 3.055 * [backup-simplify]: Simplify x into x 3.055 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.055 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.055 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 3.055 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 y))) into (* -1 (- (/ 1 x) (/ 1 y))) 3.055 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 3.055 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.056 * [taylor]: Taking taylor expansion of y in y 3.056 * [backup-simplify]: Simplify 0 into 0 3.056 * [backup-simplify]: Simplify 1 into 1 3.056 * [backup-simplify]: Simplify (/ 1 1) into 1 3.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.056 * [taylor]: Taking taylor expansion of x in y 3.056 * [backup-simplify]: Simplify x into x 3.056 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.056 * [backup-simplify]: Simplify (+ 1 0) into 1 3.056 * [taylor]: Taking taylor expansion of 1 in x 3.056 * [backup-simplify]: Simplify 1 into 1 3.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.057 * [backup-simplify]: Simplify (- 0) into 0 3.057 * [backup-simplify]: Simplify (+ 0 0) into 0 3.057 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.058 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 y)))) into 0 3.058 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 3.058 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.058 * [taylor]: Taking taylor expansion of x in y 3.058 * [backup-simplify]: Simplify x into x 3.058 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.058 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.058 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 3.058 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.058 * [taylor]: Taking taylor expansion of x in x 3.058 * [backup-simplify]: Simplify 0 into 0 3.058 * [backup-simplify]: Simplify 1 into 1 3.059 * [backup-simplify]: Simplify (/ 1 1) into 1 3.059 * [backup-simplify]: Simplify (- 1) into -1 3.059 * [backup-simplify]: Simplify -1 into -1 3.059 * [backup-simplify]: Simplify 1 into 1 3.059 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.060 * [backup-simplify]: Simplify (- 0) into 0 3.060 * [backup-simplify]: Simplify (+ 0 0) into 0 3.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.062 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 y))))) into 0 3.062 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 3.062 * [backup-simplify]: Simplify (+ 0 0) into 0 3.063 * [taylor]: Taking taylor expansion of 0 in y 3.063 * [backup-simplify]: Simplify 0 into 0 3.063 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.063 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [backup-simplify]: Simplify 0 into 0 3.063 * [backup-simplify]: Simplify 1 into 1 3.063 * [backup-simplify]: Simplify (/ 1 1) into 1 3.063 * [backup-simplify]: Simplify (- 1) into -1 3.064 * [backup-simplify]: Simplify -1 into -1 3.064 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))))) into (- (+ (* z y) x) (* x z)) 3.065 * * * [progress]: simplifying candidates 3.065 * [simplify]: Simplifying: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* z (- y x)) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) 3.065 * * [simplify]: Extracting # 0 : cost 0 3.066 * * [simplify]: Extracting # 1 : cost 0 3.066 * * [simplify]: Extracting # 2 : cost 0 3.066 * * [simplify]: Extracting # 3 : cost 0 3.066 * * [simplify]: Extracting # 4 : cost 0 3.066 * * [simplify]: Extracting # 5 : cost 0 3.066 * * [simplify]: iteration 0 : 19 enodes (cost 116 ) 3.072 * * [simplify]: Extracting # 0 : cost 0 3.072 * * [simplify]: Extracting # 1 : cost 0 3.072 * * [simplify]: Extracting # 2 : cost 0 3.072 * * [simplify]: iteration 1 : 32 enodes (cost 113 ) 3.083 * * [simplify]: Extracting # 0 : cost 0 3.084 * * [simplify]: Extracting # 1 : cost 0 3.084 * * [simplify]: Extracting # 2 : cost 0 3.084 * * [simplify]: iteration 2 : 67 enodes (cost 95 ) 3.123 * * [simplify]: Extracting # 0 : cost 0 3.123 * * [simplify]: Extracting # 1 : cost 0 3.124 * * [simplify]: Extracting # 2 : cost 0 3.124 * * [simplify]: Extracting # 3 : cost 0 3.125 * * [simplify]: Extracting # 4 : cost 0 3.125 * * [simplify]: iteration 3 : 243 enodes (cost 95 ) 3.480 * * [simplify]: Extracting # 0 : cost 0 3.482 * * [simplify]: Extracting # 1 : cost 0 3.485 * * [simplify]: Extracting # 2 : cost 0 3.487 * * [simplify]: Extracting # 3 : cost 0 3.490 * * [simplify]: Extracting # 4 : cost 0 3.493 * * [simplify]: Extracting # 5 : cost 0 3.496 * * [simplify]: iteration 4 : 1485 enodes (cost 95 ) 4.268 * * [simplify]: Extracting # 0 : cost 0 4.274 * * [simplify]: Extracting # 1 : cost 0 4.286 * * [simplify]: Extracting # 2 : cost 0 4.292 * * [simplify]: Extracting # 3 : cost 0 4.298 * * [simplify]: Extracting # 4 : cost 0 4.309 * * [simplify]: iteration done: 5000 enodes (cost 95 ) 4.309 * [simplify]: Simplified to: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* (- y x) z) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (pow (fma z (- y x) x) 3) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) 4.309 * * * [progress]: adding candidates to table 4.357 * * [progress]: iteration 2 / 4 4.357 * * * [progress]: picking best candidate 4.360 * * * * [pick]: Picked # 4.360 * * * [progress]: localizing error 4.384 * * * [progress]: generating rewritten candidates 4.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.400 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.403 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 4.406 * * * [progress]: generating series expansions 4.406 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.406 * [backup-simplify]: Simplify (* (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x))) into (fma z (- y x) x) 4.406 * [approximate]: Taking taylor expansion of (fma z (- y x) x) in (z y x) around 0 4.406 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 4.406 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.406 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 4.406 * [taylor]: Taking taylor expansion of z in x 4.406 * [backup-simplify]: Simplify z into z 4.406 * [taylor]: Taking taylor expansion of (- y x) in x 4.407 * [taylor]: Taking taylor expansion of y in x 4.407 * [backup-simplify]: Simplify y into y 4.407 * [taylor]: Taking taylor expansion of x in x 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of x in x 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 4.407 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.407 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 4.407 * [taylor]: Taking taylor expansion of z in y 4.407 * [backup-simplify]: Simplify z into z 4.407 * [taylor]: Taking taylor expansion of (- y x) in y 4.407 * [taylor]: Taking taylor expansion of y in y 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of x in y 4.407 * [backup-simplify]: Simplify x into x 4.407 * [taylor]: Taking taylor expansion of x in y 4.407 * [backup-simplify]: Simplify x into x 4.407 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.407 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.407 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.407 * [taylor]: Taking taylor expansion of z in z 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of (- y x) in z 4.407 * [taylor]: Taking taylor expansion of y in z 4.407 * [backup-simplify]: Simplify y into y 4.407 * [taylor]: Taking taylor expansion of x in z 4.407 * [backup-simplify]: Simplify x into x 4.407 * [taylor]: Taking taylor expansion of x in z 4.407 * [backup-simplify]: Simplify x into x 4.407 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.407 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.407 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.407 * [taylor]: Taking taylor expansion of z in z 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of (- y x) in z 4.407 * [taylor]: Taking taylor expansion of y in z 4.407 * [backup-simplify]: Simplify y into y 4.407 * [taylor]: Taking taylor expansion of x in z 4.407 * [backup-simplify]: Simplify x into x 4.407 * [taylor]: Taking taylor expansion of x in z 4.407 * [backup-simplify]: Simplify x into x 4.407 * [backup-simplify]: Simplify (- x) into (- x) 4.408 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.408 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.408 * [backup-simplify]: Simplify (+ 0 x) into x 4.408 * [taylor]: Taking taylor expansion of x in y 4.408 * [backup-simplify]: Simplify x into x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [backup-simplify]: Simplify 0 into 0 4.408 * [backup-simplify]: Simplify 1 into 1 4.408 * [backup-simplify]: Simplify 0 into 0 4.408 * [backup-simplify]: Simplify (- 0) into 0 4.408 * [backup-simplify]: Simplify (+ 0 0) into 0 4.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.409 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.409 * [taylor]: Taking taylor expansion of (- y x) in y 4.409 * [taylor]: Taking taylor expansion of y in y 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 1 into 1 4.409 * [taylor]: Taking taylor expansion of x in y 4.409 * [backup-simplify]: Simplify x into x 4.409 * [backup-simplify]: Simplify (- x) into (- x) 4.409 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.409 * [taylor]: Taking taylor expansion of (- x) in x 4.409 * [taylor]: Taking taylor expansion of x in x 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 1 into 1 4.409 * [backup-simplify]: Simplify (- 0) into 0 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [taylor]: Taking taylor expansion of 0 in x 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 1 into 1 4.410 * [backup-simplify]: Simplify (- 0) into 0 4.410 * [backup-simplify]: Simplify (+ 0 0) into 0 4.411 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 4.411 * [backup-simplify]: Simplify (+ 0 0) into 0 4.411 * [taylor]: Taking taylor expansion of 0 in y 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [taylor]: Taking taylor expansion of 0 in x 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify (- 0) into 0 4.412 * [backup-simplify]: Simplify (+ 1 0) into 1 4.412 * [taylor]: Taking taylor expansion of 1 in x 4.412 * [backup-simplify]: Simplify 1 into 1 4.412 * [backup-simplify]: Simplify 1 into 1 4.412 * [taylor]: Taking taylor expansion of 0 in x 4.412 * [backup-simplify]: Simplify 0 into 0 4.412 * [backup-simplify]: Simplify 0 into 0 4.412 * [backup-simplify]: Simplify (- 1) into -1 4.412 * [backup-simplify]: Simplify -1 into -1 4.413 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 z))) (+ (* 1 (* 1 (* y z))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x z)) 4.413 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x))) (sqrt (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)))) into (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) 4.413 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in (z y x) around 0 4.413 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in x 4.413 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.413 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in x 4.413 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.413 * [taylor]: Taking taylor expansion of z in x 4.413 * [backup-simplify]: Simplify z into z 4.413 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.413 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.413 * [taylor]: Taking taylor expansion of y in x 4.413 * [backup-simplify]: Simplify y into y 4.413 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.413 * [taylor]: Taking taylor expansion of x in x 4.413 * [backup-simplify]: Simplify 0 into 0 4.413 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (/ 1 1) into 1 4.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.414 * [taylor]: Taking taylor expansion of x in x 4.414 * [backup-simplify]: Simplify 0 into 0 4.414 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (/ 1 1) into 1 4.414 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in y 4.414 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.414 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in y 4.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.414 * [taylor]: Taking taylor expansion of z in y 4.414 * [backup-simplify]: Simplify z into z 4.414 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.414 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.414 * [taylor]: Taking taylor expansion of y in y 4.414 * [backup-simplify]: Simplify 0 into 0 4.414 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (/ 1 1) into 1 4.414 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.414 * [taylor]: Taking taylor expansion of x in y 4.415 * [backup-simplify]: Simplify x into x 4.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.415 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.415 * [taylor]: Taking taylor expansion of x in y 4.415 * [backup-simplify]: Simplify x into x 4.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.415 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 4.415 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.415 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 4.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.415 * [taylor]: Taking taylor expansion of z in z 4.415 * [backup-simplify]: Simplify 0 into 0 4.415 * [backup-simplify]: Simplify 1 into 1 4.415 * [backup-simplify]: Simplify (/ 1 1) into 1 4.415 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.415 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.415 * [taylor]: Taking taylor expansion of y in z 4.415 * [backup-simplify]: Simplify y into y 4.415 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.415 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.415 * [taylor]: Taking taylor expansion of x in z 4.415 * [backup-simplify]: Simplify x into x 4.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.415 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.415 * [taylor]: Taking taylor expansion of x in z 4.415 * [backup-simplify]: Simplify x into x 4.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.415 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 4.415 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.416 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 4.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.416 * [taylor]: Taking taylor expansion of z in z 4.416 * [backup-simplify]: Simplify 0 into 0 4.416 * [backup-simplify]: Simplify 1 into 1 4.416 * [backup-simplify]: Simplify (/ 1 1) into 1 4.416 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.416 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.416 * [taylor]: Taking taylor expansion of y in z 4.416 * [backup-simplify]: Simplify y into y 4.416 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.416 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.416 * [taylor]: Taking taylor expansion of x in z 4.416 * [backup-simplify]: Simplify x into x 4.416 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.416 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.416 * [taylor]: Taking taylor expansion of x in z 4.416 * [backup-simplify]: Simplify x into x 4.416 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.416 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.416 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 4.416 * [backup-simplify]: Simplify (* 1 (- (/ 1 y) (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 4.416 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 4.416 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.416 * [taylor]: Taking taylor expansion of y in y 4.417 * [backup-simplify]: Simplify 0 into 0 4.417 * [backup-simplify]: Simplify 1 into 1 4.417 * [backup-simplify]: Simplify (/ 1 1) into 1 4.417 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.417 * [taylor]: Taking taylor expansion of x in y 4.417 * [backup-simplify]: Simplify x into x 4.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.417 * [backup-simplify]: Simplify (+ 1 0) into 1 4.417 * [taylor]: Taking taylor expansion of 1 in x 4.417 * [backup-simplify]: Simplify 1 into 1 4.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.418 * [backup-simplify]: Simplify (- 0) into 0 4.418 * [backup-simplify]: Simplify (+ 0 0) into 0 4.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.419 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 y) (/ 1 x)))) into 0 4.419 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 4.419 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.419 * [taylor]: Taking taylor expansion of x in y 4.419 * [backup-simplify]: Simplify x into x 4.419 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.420 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.420 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 4.420 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.420 * [taylor]: Taking taylor expansion of x in x 4.420 * [backup-simplify]: Simplify 0 into 0 4.420 * [backup-simplify]: Simplify 1 into 1 4.420 * [backup-simplify]: Simplify (/ 1 1) into 1 4.421 * [backup-simplify]: Simplify (- 1) into -1 4.421 * [backup-simplify]: Simplify -1 into -1 4.421 * [backup-simplify]: Simplify 1 into 1 4.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.421 * [backup-simplify]: Simplify (- 0) into 0 4.422 * [backup-simplify]: Simplify (+ 0 0) into 0 4.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 y) (/ 1 x))))) into 0 4.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.425 * [backup-simplify]: Simplify (+ 0 0) into 0 4.425 * [taylor]: Taking taylor expansion of 0 in y 4.425 * [backup-simplify]: Simplify 0 into 0 4.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.425 * [taylor]: Taking taylor expansion of x in x 4.425 * [backup-simplify]: Simplify 0 into 0 4.425 * [backup-simplify]: Simplify 1 into 1 4.425 * [backup-simplify]: Simplify (/ 1 1) into 1 4.425 * [backup-simplify]: Simplify 1 into 1 4.426 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))))) into (- (+ (* z y) x) (* x z)) 4.427 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x)))) (sqrt (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x))))) into (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) 4.427 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in (z y x) around 0 4.427 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in x 4.427 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.427 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in x 4.427 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.427 * [taylor]: Taking taylor expansion of -1 in x 4.427 * [backup-simplify]: Simplify -1 into -1 4.427 * [taylor]: Taking taylor expansion of z in x 4.428 * [backup-simplify]: Simplify z into z 4.428 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.428 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.428 * [taylor]: Taking taylor expansion of x in x 4.428 * [backup-simplify]: Simplify 0 into 0 4.428 * [backup-simplify]: Simplify 1 into 1 4.428 * [backup-simplify]: Simplify (/ 1 1) into 1 4.428 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.428 * [taylor]: Taking taylor expansion of y in x 4.428 * [backup-simplify]: Simplify y into y 4.428 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.428 * [taylor]: Taking taylor expansion of -1 in x 4.428 * [backup-simplify]: Simplify -1 into -1 4.428 * [taylor]: Taking taylor expansion of x in x 4.428 * [backup-simplify]: Simplify 0 into 0 4.428 * [backup-simplify]: Simplify 1 into 1 4.429 * [backup-simplify]: Simplify (/ -1 1) into -1 4.429 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in y 4.429 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.429 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in y 4.429 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.429 * [taylor]: Taking taylor expansion of -1 in y 4.429 * [backup-simplify]: Simplify -1 into -1 4.429 * [taylor]: Taking taylor expansion of z in y 4.429 * [backup-simplify]: Simplify z into z 4.429 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.429 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.429 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.429 * [taylor]: Taking taylor expansion of x in y 4.429 * [backup-simplify]: Simplify x into x 4.430 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.430 * [taylor]: Taking taylor expansion of y in y 4.430 * [backup-simplify]: Simplify 0 into 0 4.430 * [backup-simplify]: Simplify 1 into 1 4.430 * [backup-simplify]: Simplify (/ 1 1) into 1 4.430 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.430 * [taylor]: Taking taylor expansion of -1 in y 4.430 * [backup-simplify]: Simplify -1 into -1 4.430 * [taylor]: Taking taylor expansion of x in y 4.430 * [backup-simplify]: Simplify x into x 4.430 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.430 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 4.430 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.430 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 4.430 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.430 * [taylor]: Taking taylor expansion of -1 in z 4.431 * [backup-simplify]: Simplify -1 into -1 4.431 * [taylor]: Taking taylor expansion of z in z 4.431 * [backup-simplify]: Simplify 0 into 0 4.431 * [backup-simplify]: Simplify 1 into 1 4.431 * [backup-simplify]: Simplify (/ -1 1) into -1 4.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.431 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.431 * [taylor]: Taking taylor expansion of x in z 4.431 * [backup-simplify]: Simplify x into x 4.431 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.431 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.431 * [taylor]: Taking taylor expansion of y in z 4.431 * [backup-simplify]: Simplify y into y 4.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.431 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.431 * [taylor]: Taking taylor expansion of -1 in z 4.432 * [backup-simplify]: Simplify -1 into -1 4.432 * [taylor]: Taking taylor expansion of x in z 4.432 * [backup-simplify]: Simplify x into x 4.432 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.432 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 4.432 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.432 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 4.432 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.432 * [taylor]: Taking taylor expansion of -1 in z 4.432 * [backup-simplify]: Simplify -1 into -1 4.432 * [taylor]: Taking taylor expansion of z in z 4.432 * [backup-simplify]: Simplify 0 into 0 4.432 * [backup-simplify]: Simplify 1 into 1 4.432 * [backup-simplify]: Simplify (/ -1 1) into -1 4.432 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.433 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.433 * [taylor]: Taking taylor expansion of x in z 4.433 * [backup-simplify]: Simplify x into x 4.433 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.433 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.433 * [taylor]: Taking taylor expansion of y in z 4.433 * [backup-simplify]: Simplify y into y 4.433 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.433 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.433 * [taylor]: Taking taylor expansion of -1 in z 4.433 * [backup-simplify]: Simplify -1 into -1 4.433 * [taylor]: Taking taylor expansion of x in z 4.433 * [backup-simplify]: Simplify x into x 4.433 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.433 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.433 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 4.433 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 y))) into (* -1 (- (/ 1 x) (/ 1 y))) 4.434 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 4.434 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.434 * [taylor]: Taking taylor expansion of y in y 4.434 * [backup-simplify]: Simplify 0 into 0 4.434 * [backup-simplify]: Simplify 1 into 1 4.434 * [backup-simplify]: Simplify (/ 1 1) into 1 4.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.434 * [taylor]: Taking taylor expansion of x in y 4.434 * [backup-simplify]: Simplify x into x 4.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.435 * [backup-simplify]: Simplify (+ 1 0) into 1 4.435 * [taylor]: Taking taylor expansion of 1 in x 4.435 * [backup-simplify]: Simplify 1 into 1 4.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.435 * [backup-simplify]: Simplify (- 0) into 0 4.435 * [backup-simplify]: Simplify (+ 0 0) into 0 4.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.436 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 y)))) into 0 4.436 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 4.436 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.436 * [taylor]: Taking taylor expansion of x in y 4.436 * [backup-simplify]: Simplify x into x 4.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.437 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.437 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 4.437 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.437 * [taylor]: Taking taylor expansion of x in x 4.437 * [backup-simplify]: Simplify 0 into 0 4.437 * [backup-simplify]: Simplify 1 into 1 4.437 * [backup-simplify]: Simplify (/ 1 1) into 1 4.437 * [backup-simplify]: Simplify (- 1) into -1 4.438 * [backup-simplify]: Simplify -1 into -1 4.438 * [backup-simplify]: Simplify 1 into 1 4.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.438 * [backup-simplify]: Simplify (- 0) into 0 4.438 * [backup-simplify]: Simplify (+ 0 0) into 0 4.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.439 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 y))))) into 0 4.439 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.440 * [backup-simplify]: Simplify (+ 0 0) into 0 4.440 * [taylor]: Taking taylor expansion of 0 in y 4.440 * [backup-simplify]: Simplify 0 into 0 4.440 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.440 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.440 * [taylor]: Taking taylor expansion of x in x 4.440 * [backup-simplify]: Simplify 0 into 0 4.440 * [backup-simplify]: Simplify 1 into 1 4.440 * [backup-simplify]: Simplify (/ 1 1) into 1 4.440 * [backup-simplify]: Simplify (- 1) into -1 4.440 * [backup-simplify]: Simplify -1 into -1 4.441 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))))) into (- (+ (* z y) x) (* x z)) 4.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 4.441 * [backup-simplify]: Simplify (sqrt (fma z (- y x) x)) into (sqrt (fma z (- y x) x)) 4.441 * [approximate]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in (z y x) around 0 4.441 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in x 4.441 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 4.441 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.441 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 4.441 * [taylor]: Taking taylor expansion of z in x 4.441 * [backup-simplify]: Simplify z into z 4.441 * [taylor]: Taking taylor expansion of (- y x) in x 4.441 * [taylor]: Taking taylor expansion of y in x 4.441 * [backup-simplify]: Simplify y into y 4.441 * [taylor]: Taking taylor expansion of x in x 4.441 * [backup-simplify]: Simplify 0 into 0 4.441 * [backup-simplify]: Simplify 1 into 1 4.441 * [taylor]: Taking taylor expansion of x in x 4.441 * [backup-simplify]: Simplify 0 into 0 4.441 * [backup-simplify]: Simplify 1 into 1 4.442 * [backup-simplify]: Simplify (- 0) into 0 4.442 * [backup-simplify]: Simplify (+ y 0) into y 4.442 * [backup-simplify]: Simplify (* z y) into (* z y) 4.442 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 4.442 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 4.442 * [backup-simplify]: Simplify (- 1) into -1 4.442 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.442 * [backup-simplify]: Simplify (+ (* z -1) (* 0 y)) into (- z) 4.442 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 4.443 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (- 1 z) (sqrt (/ 1 (* z y))))) 4.443 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in y 4.443 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 4.443 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.443 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 4.443 * [taylor]: Taking taylor expansion of z in y 4.443 * [backup-simplify]: Simplify z into z 4.443 * [taylor]: Taking taylor expansion of (- y x) in y 4.443 * [taylor]: Taking taylor expansion of y in y 4.443 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify 1 into 1 4.443 * [taylor]: Taking taylor expansion of x in y 4.443 * [backup-simplify]: Simplify x into x 4.443 * [taylor]: Taking taylor expansion of x in y 4.443 * [backup-simplify]: Simplify x into x 4.443 * [backup-simplify]: Simplify (- x) into (- x) 4.443 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.443 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z)) 4.443 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 4.443 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 4.443 * [backup-simplify]: Simplify (- 0) into 0 4.444 * [backup-simplify]: Simplify (+ 1 0) into 1 4.444 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z 4.444 * [backup-simplify]: Simplify (+ z 0) into z 4.444 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* z (sqrt (/ 1 (- x (* x z)))))) 4.444 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in z 4.444 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.444 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.444 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.444 * [taylor]: Taking taylor expansion of z in z 4.444 * [backup-simplify]: Simplify 0 into 0 4.444 * [backup-simplify]: Simplify 1 into 1 4.444 * [taylor]: Taking taylor expansion of (- y x) in z 4.444 * [taylor]: Taking taylor expansion of y in z 4.444 * [backup-simplify]: Simplify y into y 4.444 * [taylor]: Taking taylor expansion of x in z 4.444 * [backup-simplify]: Simplify x into x 4.444 * [taylor]: Taking taylor expansion of x in z 4.444 * [backup-simplify]: Simplify x into x 4.444 * [backup-simplify]: Simplify (- x) into (- x) 4.444 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.444 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.444 * [backup-simplify]: Simplify (+ 0 x) into x 4.444 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.445 * [backup-simplify]: Simplify (- 0) into 0 4.445 * [backup-simplify]: Simplify (+ 0 0) into 0 4.445 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.445 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.445 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 4.445 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in z 4.445 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.445 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.445 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.445 * [taylor]: Taking taylor expansion of z in z 4.446 * [backup-simplify]: Simplify 0 into 0 4.446 * [backup-simplify]: Simplify 1 into 1 4.446 * [taylor]: Taking taylor expansion of (- y x) in z 4.446 * [taylor]: Taking taylor expansion of y in z 4.446 * [backup-simplify]: Simplify y into y 4.446 * [taylor]: Taking taylor expansion of x in z 4.446 * [backup-simplify]: Simplify x into x 4.446 * [taylor]: Taking taylor expansion of x in z 4.446 * [backup-simplify]: Simplify x into x 4.446 * [backup-simplify]: Simplify (- x) into (- x) 4.446 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.446 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.446 * [backup-simplify]: Simplify (+ 0 x) into x 4.446 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.446 * [backup-simplify]: Simplify (- 0) into 0 4.446 * [backup-simplify]: Simplify (+ 0 0) into 0 4.447 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.447 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.447 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 4.447 * [taylor]: Taking taylor expansion of (sqrt x) in y 4.447 * [taylor]: Taking taylor expansion of x in y 4.447 * [backup-simplify]: Simplify x into x 4.447 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.447 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0 4.447 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.447 * [taylor]: Taking taylor expansion of x in x 4.447 * [backup-simplify]: Simplify 0 into 0 4.447 * [backup-simplify]: Simplify 1 into 1 4.447 * [backup-simplify]: Simplify (sqrt 0) into 0 4.448 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.448 * [backup-simplify]: Simplify 0 into 0 4.448 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 x)) (- y x))) in y 4.448 * [taylor]: Taking taylor expansion of 1/2 in y 4.448 * [backup-simplify]: Simplify 1/2 into 1/2 4.448 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- y x)) in y 4.448 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 4.448 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.448 * [taylor]: Taking taylor expansion of x in y 4.448 * [backup-simplify]: Simplify x into x 4.448 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.448 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 4.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.449 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0 4.449 * [taylor]: Taking taylor expansion of (- y x) in y 4.449 * [taylor]: Taking taylor expansion of y in y 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify 1 into 1 4.449 * [taylor]: Taking taylor expansion of x in y 4.449 * [backup-simplify]: Simplify x into x 4.449 * [backup-simplify]: Simplify (- x) into (- x) 4.449 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.449 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) (- x)) into (* -1 (sqrt x)) 4.449 * [backup-simplify]: Simplify (* 1/2 (* -1 (sqrt x))) into (* -1/2 (sqrt x)) 4.449 * [taylor]: Taking taylor expansion of (* -1/2 (sqrt x)) in x 4.449 * [taylor]: Taking taylor expansion of -1/2 in x 4.449 * [backup-simplify]: Simplify -1/2 into -1/2 4.449 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.449 * [taylor]: Taking taylor expansion of x in x 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify 1 into 1 4.449 * [backup-simplify]: Simplify (sqrt 0) into 0 4.450 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.450 * [backup-simplify]: Simplify (* -1/2 0) into 0 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [taylor]: Taking taylor expansion of 0 in x 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.451 * [backup-simplify]: Simplify (- 0) into 0 4.451 * [backup-simplify]: Simplify (+ 0 0) into 0 4.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 4.452 * [backup-simplify]: Simplify (+ 0 0) into 0