111.491 * [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: (+ (* (- 1.0 x) y) (* x z)) 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]: iteration 0 : 8 enodes (cost 9 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 0.060 * * [simplify]: Extracting # 0 : cost 0 0.060 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.061 * * [simplify]: iteration 4 : 67 enodes (cost 8 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.079 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: Extracting # 3 : cost 0 0.079 * * [simplify]: iteration 5 : 94 enodes (cost 8 ) 0.100 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: Extracting # 1 : cost 0 0.100 * * [simplify]: Extracting # 2 : cost 0 0.100 * * [simplify]: iteration 6 : 111 enodes (cost 8 ) 0.116 * * [simplify]: Extracting # 0 : cost 0 0.116 * * [simplify]: Extracting # 1 : cost 0 0.116 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: Extracting # 3 : cost 0 0.117 * * [simplify]: iteration 7 : 137 enodes (cost 8 ) 0.142 * * [simplify]: Extracting # 0 : cost 0 0.142 * * [simplify]: Extracting # 1 : cost 0 0.142 * * [simplify]: Extracting # 2 : cost 0 0.142 * * [simplify]: iteration 8 : 189 enodes (cost 8 ) 0.201 * * [simplify]: Extracting # 0 : cost 0 0.201 * * [simplify]: Extracting # 1 : cost 0 0.202 * * [simplify]: Extracting # 2 : cost 0 0.202 * * [simplify]: iteration 9 : 476 enodes (cost 8 ) 0.477 * * [simplify]: Extracting # 0 : cost 0 0.480 * * [simplify]: Extracting # 1 : cost 0 0.485 * * [simplify]: Extracting # 2 : cost 0 0.489 * * [simplify]: iteration 10 : 2059 enodes (cost 8 ) 3.668 * * [simplify]: Extracting # 0 : cost 0 3.698 * * [simplify]: Extracting # 1 : cost 0 3.703 * * [simplify]: Extracting # 2 : cost 0 3.708 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 3.708 * [simplify]: Simplified to: (fma (- 1.0 x) y (* x z)) 3.711 * * [progress]: iteration 1 / 4 3.711 * * * [progress]: picking best candidate 3.713 * * * * [pick]: Picked # 3.713 * * * [progress]: localizing error 3.720 * * * [progress]: generating rewritten candidates 3.720 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.720 * * * [progress]: generating series expansions 3.720 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.720 * [backup-simplify]: Simplify (fma (- 1.0 x) y (* x z)) into (fma (- 1.0 x) y (* x z)) 3.720 * [approximate]: Taking taylor expansion of (fma (- 1.0 x) y (* x z)) in (x y z) around 0 3.720 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) y (* x z)) in z 3.721 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) y) (* x z)) 3.721 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in z 3.721 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 3.721 * [taylor]: Taking taylor expansion of 1.0 in z 3.721 * [backup-simplify]: Simplify 1.0 into 1.0 3.721 * [taylor]: Taking taylor expansion of x in z 3.721 * [backup-simplify]: Simplify x into x 3.721 * [taylor]: Taking taylor expansion of y in z 3.721 * [backup-simplify]: Simplify y into y 3.721 * [taylor]: Taking taylor expansion of (* x z) in z 3.721 * [taylor]: Taking taylor expansion of x in z 3.721 * [backup-simplify]: Simplify x into x 3.721 * [taylor]: Taking taylor expansion of z in z 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 1 into 1 3.721 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) y (* x z)) in y 3.721 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) y) (* x z)) 3.721 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in y 3.721 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 3.721 * [taylor]: Taking taylor expansion of 1.0 in y 3.721 * [backup-simplify]: Simplify 1.0 into 1.0 3.721 * [taylor]: Taking taylor expansion of x in y 3.721 * [backup-simplify]: Simplify x into x 3.721 * [taylor]: Taking taylor expansion of y in y 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 1 into 1 3.721 * [taylor]: Taking taylor expansion of (* x z) in y 3.721 * [taylor]: Taking taylor expansion of x in y 3.721 * [backup-simplify]: Simplify x into x 3.721 * [taylor]: Taking taylor expansion of z in y 3.721 * [backup-simplify]: Simplify z into z 3.721 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) y (* x z)) in x 3.721 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) y) (* x z)) 3.721 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 3.721 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.721 * [taylor]: Taking taylor expansion of 1.0 in x 3.721 * [backup-simplify]: Simplify 1.0 into 1.0 3.721 * [taylor]: Taking taylor expansion of x in x 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 1 into 1 3.721 * [taylor]: Taking taylor expansion of y in x 3.721 * [backup-simplify]: Simplify y into y 3.721 * [taylor]: Taking taylor expansion of (* x z) in x 3.722 * [taylor]: Taking taylor expansion of x in x 3.722 * [backup-simplify]: Simplify 0 into 0 3.722 * [backup-simplify]: Simplify 1 into 1 3.722 * [taylor]: Taking taylor expansion of z in x 3.722 * [backup-simplify]: Simplify z into z 3.722 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) y (* x z)) in x 3.722 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) y) (* x z)) 3.722 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 3.722 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.722 * [taylor]: Taking taylor expansion of 1.0 in x 3.722 * [backup-simplify]: Simplify 1.0 into 1.0 3.722 * [taylor]: Taking taylor expansion of x in x 3.722 * [backup-simplify]: Simplify 0 into 0 3.722 * [backup-simplify]: Simplify 1 into 1 3.722 * [taylor]: Taking taylor expansion of y in x 3.722 * [backup-simplify]: Simplify y into y 3.722 * [taylor]: Taking taylor expansion of (* x z) in x 3.722 * [taylor]: Taking taylor expansion of x in x 3.722 * [backup-simplify]: Simplify 0 into 0 3.722 * [backup-simplify]: Simplify 1 into 1 3.722 * [taylor]: Taking taylor expansion of z in x 3.722 * [backup-simplify]: Simplify z into z 3.722 * [backup-simplify]: Simplify (- 0) into 0 3.723 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.723 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 3.723 * [backup-simplify]: Simplify (* 0 z) into 0 3.723 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 3.723 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.723 * [taylor]: Taking taylor expansion of 1.0 in y 3.723 * [backup-simplify]: Simplify 1.0 into 1.0 3.723 * [taylor]: Taking taylor expansion of y in y 3.723 * [backup-simplify]: Simplify 0 into 0 3.723 * [backup-simplify]: Simplify 1 into 1 3.723 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.723 * [taylor]: Taking taylor expansion of 0 in z 3.723 * [backup-simplify]: Simplify 0 into 0 3.723 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify (- 1) into -1 3.724 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.724 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 y)) into (- y) 3.725 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 3.725 * [backup-simplify]: Simplify (+ (- y) z) into (- z y) 3.725 * [taylor]: Taking taylor expansion of (- z y) in y 3.725 * [taylor]: Taking taylor expansion of z in y 3.725 * [backup-simplify]: Simplify z into z 3.725 * [taylor]: Taking taylor expansion of y in y 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [backup-simplify]: Simplify (- 0) into 0 3.725 * [backup-simplify]: Simplify (+ z 0) into z 3.725 * [taylor]: Taking taylor expansion of z in z 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.726 * [taylor]: Taking taylor expansion of 1.0 in z 3.726 * [backup-simplify]: Simplify 1.0 into 1.0 3.726 * [backup-simplify]: Simplify 1.0 into 1.0 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify (- 0) into 0 3.727 * [backup-simplify]: Simplify (+ 0 0) into 0 3.727 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 y))) into 0 3.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 3.728 * [backup-simplify]: Simplify (+ 0 0) into 0 3.728 * [taylor]: Taking taylor expansion of 0 in y 3.728 * [backup-simplify]: Simplify 0 into 0 3.728 * [taylor]: Taking taylor expansion of 0 in z 3.728 * [backup-simplify]: Simplify 0 into 0 3.728 * [backup-simplify]: Simplify 0 into 0 3.728 * [backup-simplify]: Simplify (- 1) into -1 3.728 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.729 * [taylor]: Taking taylor expansion of -1 in z 3.729 * [backup-simplify]: Simplify -1 into -1 3.729 * [backup-simplify]: Simplify -1 into -1 3.729 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.729 * [taylor]: Taking taylor expansion of 0 in z 3.729 * [backup-simplify]: Simplify 0 into 0 3.729 * [backup-simplify]: Simplify 0 into 0 3.729 * [backup-simplify]: Simplify 1 into 1 3.730 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (+ (* -1 (* 1 (* y x))) (* 1.0 (* 1 (* y 1))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 3.730 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 x)) (/ 1 y) (* (/ 1 x) (/ 1 z))) into (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) 3.730 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) in (x y z) around 0 3.730 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) in z 3.730 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 y)) (/ 1 (* x z))) 3.730 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 y)) in z 3.730 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 3.730 * [taylor]: Taking taylor expansion of 1.0 in z 3.730 * [backup-simplify]: Simplify 1.0 into 1.0 3.730 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.730 * [taylor]: Taking taylor expansion of x in z 3.730 * [backup-simplify]: Simplify x into x 3.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.730 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.730 * [taylor]: Taking taylor expansion of y in z 3.730 * [backup-simplify]: Simplify y into y 3.730 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.730 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 3.730 * [taylor]: Taking taylor expansion of (* x z) in z 3.730 * [taylor]: Taking taylor expansion of x in z 3.731 * [backup-simplify]: Simplify x into x 3.731 * [taylor]: Taking taylor expansion of z in z 3.731 * [backup-simplify]: Simplify 0 into 0 3.731 * [backup-simplify]: Simplify 1 into 1 3.731 * [backup-simplify]: Simplify (* x 0) into 0 3.731 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.731 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.731 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) in y 3.731 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 y)) (/ 1 (* x z))) 3.732 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 y)) in y 3.732 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 3.732 * [taylor]: Taking taylor expansion of 1.0 in y 3.732 * [backup-simplify]: Simplify 1.0 into 1.0 3.732 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.732 * [taylor]: Taking taylor expansion of x in y 3.732 * [backup-simplify]: Simplify x into x 3.732 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.732 * [taylor]: Taking taylor expansion of y in y 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify 1 into 1 3.732 * [backup-simplify]: Simplify (/ 1 1) into 1 3.732 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 3.732 * [taylor]: Taking taylor expansion of (* x z) in y 3.732 * [taylor]: Taking taylor expansion of x in y 3.732 * [backup-simplify]: Simplify x into x 3.732 * [taylor]: Taking taylor expansion of z in y 3.732 * [backup-simplify]: Simplify z into z 3.732 * [backup-simplify]: Simplify (* x z) into (* x z) 3.732 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 3.733 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) in x 3.733 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 y)) (/ 1 (* x z))) 3.733 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 y)) in x 3.733 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.733 * [taylor]: Taking taylor expansion of 1.0 in x 3.733 * [backup-simplify]: Simplify 1.0 into 1.0 3.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.733 * [taylor]: Taking taylor expansion of x in x 3.733 * [backup-simplify]: Simplify 0 into 0 3.733 * [backup-simplify]: Simplify 1 into 1 3.733 * [backup-simplify]: Simplify (/ 1 1) into 1 3.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.733 * [taylor]: Taking taylor expansion of y in x 3.733 * [backup-simplify]: Simplify y into y 3.733 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.733 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 3.734 * [taylor]: Taking taylor expansion of (* x z) in x 3.734 * [taylor]: Taking taylor expansion of x in x 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify 1 into 1 3.734 * [taylor]: Taking taylor expansion of z in x 3.734 * [backup-simplify]: Simplify z into z 3.734 * [backup-simplify]: Simplify (* 0 z) into 0 3.734 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 3.734 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.734 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 y) (/ 1 (* x z))) in x 3.734 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 y)) (/ 1 (* x z))) 3.734 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 y)) in x 3.734 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.734 * [taylor]: Taking taylor expansion of 1.0 in x 3.734 * [backup-simplify]: Simplify 1.0 into 1.0 3.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.734 * [taylor]: Taking taylor expansion of x in x 3.734 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [backup-simplify]: Simplify (/ 1 1) into 1 3.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.735 * [taylor]: Taking taylor expansion of y in x 3.735 * [backup-simplify]: Simplify y into y 3.735 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.735 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 3.735 * [taylor]: Taking taylor expansion of (* x z) in x 3.735 * [taylor]: Taking taylor expansion of x in x 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [taylor]: Taking taylor expansion of z in x 3.735 * [backup-simplify]: Simplify z into z 3.735 * [backup-simplify]: Simplify (* 0 z) into 0 3.736 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 3.736 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.736 * [backup-simplify]: Simplify (- 1) into -1 3.737 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.737 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 3.737 * [backup-simplify]: Simplify (+ (/ -1 y) (/ 1 z)) into (- (/ 1 z) (/ 1 y)) 3.737 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.737 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.737 * [taylor]: Taking taylor expansion of z in y 3.737 * [backup-simplify]: Simplify z into z 3.737 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.737 * [taylor]: Taking taylor expansion of y in y 3.737 * [backup-simplify]: Simplify 0 into 0 3.737 * [backup-simplify]: Simplify 1 into 1 3.738 * [backup-simplify]: Simplify (/ 1 1) into 1 3.738 * [backup-simplify]: Simplify (- 1) into -1 3.738 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.738 * [taylor]: Taking taylor expansion of -1 in z 3.738 * [backup-simplify]: Simplify -1 into -1 3.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.739 * [backup-simplify]: Simplify (- 0) into 0 3.740 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.740 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (/ 1 y))) into (* 1.0 (/ 1 y)) 3.741 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 3.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.741 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) 0) into (* 1.0 (/ 1 y)) 3.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.741 * [taylor]: Taking taylor expansion of 1.0 in y 3.741 * [backup-simplify]: Simplify 1.0 into 1.0 3.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.741 * [taylor]: Taking taylor expansion of y in y 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 1 into 1 3.742 * [backup-simplify]: Simplify (/ 1 1) into 1 3.742 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.742 * [taylor]: Taking taylor expansion of 1.0 in z 3.742 * [backup-simplify]: Simplify 1.0 into 1.0 3.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.743 * [backup-simplify]: Simplify (- 0) into 0 3.743 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 3.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.743 * [taylor]: Taking taylor expansion of z in z 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify 1 into 1 3.744 * [backup-simplify]: Simplify (/ 1 1) into 1 3.744 * [backup-simplify]: Simplify 1 into 1 3.744 * [backup-simplify]: Simplify -1 into -1 3.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.745 * [backup-simplify]: Simplify (- 0) into 0 3.745 * [backup-simplify]: Simplify (+ 0 0) into 0 3.746 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (/ 1 y)))) into 0 3.747 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 3.747 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.748 * [backup-simplify]: Simplify (+ 0 0) into 0 3.748 * [taylor]: Taking taylor expansion of 0 in y 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.749 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.749 * [taylor]: Taking taylor expansion of 0 in z 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.750 * [backup-simplify]: Simplify (- 0) into 0 3.751 * [backup-simplify]: Simplify (+ 0 0) into 0 3.751 * [taylor]: Taking taylor expansion of 0 in z 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify 1.0 into 1.0 3.751 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 y)) 1))) (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 3.752 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- x))) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- z)))) into (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) 3.752 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) in (x y z) around 0 3.752 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) in z 3.752 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 y)) (/ 1 (* x z))) 3.752 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 y)) in z 3.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 3.752 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.752 * [taylor]: Taking taylor expansion of x in z 3.752 * [backup-simplify]: Simplify x into x 3.752 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.752 * [taylor]: Taking taylor expansion of 1.0 in z 3.752 * [backup-simplify]: Simplify 1.0 into 1.0 3.752 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.752 * [taylor]: Taking taylor expansion of -1 in z 3.752 * [backup-simplify]: Simplify -1 into -1 3.752 * [taylor]: Taking taylor expansion of y in z 3.752 * [backup-simplify]: Simplify y into y 3.753 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.753 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 3.753 * [taylor]: Taking taylor expansion of (* x z) in z 3.753 * [taylor]: Taking taylor expansion of x in z 3.753 * [backup-simplify]: Simplify x into x 3.753 * [taylor]: Taking taylor expansion of z in z 3.753 * [backup-simplify]: Simplify 0 into 0 3.753 * [backup-simplify]: Simplify 1 into 1 3.753 * [backup-simplify]: Simplify (* x 0) into 0 3.753 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.753 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.753 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) in y 3.754 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 y)) (/ 1 (* x z))) 3.754 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 y)) in y 3.754 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 3.754 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.754 * [taylor]: Taking taylor expansion of x in y 3.754 * [backup-simplify]: Simplify x into x 3.754 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.754 * [taylor]: Taking taylor expansion of 1.0 in y 3.754 * [backup-simplify]: Simplify 1.0 into 1.0 3.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.754 * [taylor]: Taking taylor expansion of -1 in y 3.754 * [backup-simplify]: Simplify -1 into -1 3.754 * [taylor]: Taking taylor expansion of y in y 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify 1 into 1 3.759 * [backup-simplify]: Simplify (/ -1 1) into -1 3.759 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 3.759 * [taylor]: Taking taylor expansion of (* x z) in y 3.759 * [taylor]: Taking taylor expansion of x in y 3.759 * [backup-simplify]: Simplify x into x 3.759 * [taylor]: Taking taylor expansion of z in y 3.759 * [backup-simplify]: Simplify z into z 3.759 * [backup-simplify]: Simplify (* x z) into (* x z) 3.759 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 3.759 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) in x 3.760 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 y)) (/ 1 (* x z))) 3.760 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 y)) in x 3.760 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.760 * [taylor]: Taking taylor expansion of x in x 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify 1 into 1 3.760 * [backup-simplify]: Simplify (/ 1 1) into 1 3.760 * [taylor]: Taking taylor expansion of 1.0 in x 3.760 * [backup-simplify]: Simplify 1.0 into 1.0 3.760 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.760 * [taylor]: Taking taylor expansion of -1 in x 3.760 * [backup-simplify]: Simplify -1 into -1 3.760 * [taylor]: Taking taylor expansion of y in x 3.760 * [backup-simplify]: Simplify y into y 3.760 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.760 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 3.760 * [taylor]: Taking taylor expansion of (* x z) in x 3.760 * [taylor]: Taking taylor expansion of x in x 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify 1 into 1 3.760 * [taylor]: Taking taylor expansion of z in x 3.760 * [backup-simplify]: Simplify z into z 3.760 * [backup-simplify]: Simplify (* 0 z) into 0 3.761 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 3.761 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.761 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 y) (/ 1 (* x z))) in x 3.761 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 y)) (/ 1 (* x z))) 3.761 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 y)) in x 3.761 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.761 * [taylor]: Taking taylor expansion of x in x 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify 1 into 1 3.761 * [backup-simplify]: Simplify (/ 1 1) into 1 3.761 * [taylor]: Taking taylor expansion of 1.0 in x 3.761 * [backup-simplify]: Simplify 1.0 into 1.0 3.761 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.761 * [taylor]: Taking taylor expansion of -1 in x 3.761 * [backup-simplify]: Simplify -1 into -1 3.761 * [taylor]: Taking taylor expansion of y in x 3.761 * [backup-simplify]: Simplify y into y 3.761 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.762 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 3.762 * [taylor]: Taking taylor expansion of (* x z) in x 3.762 * [taylor]: Taking taylor expansion of x in x 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify 1 into 1 3.762 * [taylor]: Taking taylor expansion of z in x 3.762 * [backup-simplify]: Simplify z into z 3.762 * [backup-simplify]: Simplify (* 0 z) into 0 3.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 3.762 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.762 * [backup-simplify]: Simplify (+ 1 0) into 1 3.762 * [backup-simplify]: Simplify (* 1 (/ -1 y)) into (/ -1 y) 3.762 * [backup-simplify]: Simplify (+ (/ -1 y) (/ 1 z)) into (- (/ 1 z) (/ 1 y)) 3.762 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.762 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.763 * [taylor]: Taking taylor expansion of z in y 3.763 * [backup-simplify]: Simplify z into z 3.763 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.763 * [taylor]: Taking taylor expansion of y in y 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 1 into 1 3.763 * [backup-simplify]: Simplify (/ 1 1) into 1 3.763 * [backup-simplify]: Simplify (- 1) into -1 3.763 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.763 * [taylor]: Taking taylor expansion of -1 in z 3.763 * [backup-simplify]: Simplify -1 into -1 3.764 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.765 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.765 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 3.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 3.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.766 * [backup-simplify]: Simplify (+ (- (* 1.0 (/ 1 y))) 0) into (- (* 1.0 (/ 1 y))) 3.766 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.767 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.767 * [taylor]: Taking taylor expansion of 1.0 in y 3.767 * [backup-simplify]: Simplify 1.0 into 1.0 3.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.767 * [taylor]: Taking taylor expansion of y in y 3.767 * [backup-simplify]: Simplify 0 into 0 3.767 * [backup-simplify]: Simplify 1 into 1 3.767 * [backup-simplify]: Simplify (/ 1 1) into 1 3.767 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.768 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.768 * [taylor]: Taking taylor expansion of (- 1.0) in z 3.768 * [taylor]: Taking taylor expansion of 1.0 in z 3.768 * [backup-simplify]: Simplify 1.0 into 1.0 3.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.769 * [backup-simplify]: Simplify (- 0) into 0 3.769 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 3.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.769 * [taylor]: Taking taylor expansion of z in z 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [backup-simplify]: Simplify 1 into 1 3.769 * [backup-simplify]: Simplify (/ 1 1) into 1 3.770 * [backup-simplify]: Simplify 1 into 1 3.770 * [backup-simplify]: Simplify -1 into -1 3.770 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.771 * [backup-simplify]: Simplify (+ 0 0) into 0 3.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (/ -1 y)))) into 0 3.773 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 3.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.773 * [backup-simplify]: Simplify (+ 0 0) into 0 3.773 * [taylor]: Taking taylor expansion of 0 in y 3.773 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.775 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.775 * [backup-simplify]: Simplify (- 0) into 0 3.775 * [taylor]: Taking taylor expansion of 0 in z 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.776 * [backup-simplify]: Simplify (- 0) into 0 3.777 * [backup-simplify]: Simplify (+ 0 0) into 0 3.777 * [taylor]: Taking taylor expansion of 0 in z 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.777 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.778 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 3.779 * * * [progress]: simplifying candidates 3.779 * [simplify]: Simplifying: (expm1 (fma (- 1.0 x) y (* x z))) (log1p (fma (- 1.0 x) y (* x z))) (* (- 1.0 x) y) (log (fma (- 1.0 x) y (* x z))) (exp (fma (- 1.0 x) y (* x z))) (* (cbrt (fma (- 1.0 x) y (* x z))) (cbrt (fma (- 1.0 x) y (* x z)))) (cbrt (fma (- 1.0 x) y (* x z))) (* (* (fma (- 1.0 x) y (* x z)) (fma (- 1.0 x) y (* x z))) (fma (- 1.0 x) y (* x z))) (sqrt (fma (- 1.0 x) y (* x z))) (sqrt (fma (- 1.0 x) y (* x z))) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) 3.780 * * [simplify]: Extracting # 0 : cost 0 3.780 * * [simplify]: Extracting # 1 : cost 0 3.780 * * [simplify]: Extracting # 2 : cost 0 3.780 * * [simplify]: Extracting # 3 : cost 0 3.780 * * [simplify]: Extracting # 4 : cost 0 3.780 * * [simplify]: Extracting # 5 : cost 0 3.780 * * [simplify]: iteration 0 : 21 enodes (cost 146 ) 3.786 * * [simplify]: Extracting # 0 : cost 0 3.786 * * [simplify]: Extracting # 1 : cost 0 3.786 * * [simplify]: Extracting # 2 : cost 0 3.786 * * [simplify]: iteration 1 : 35 enodes (cost 143 ) 3.792 * * [simplify]: Extracting # 0 : cost 0 3.792 * * [simplify]: Extracting # 1 : cost 0 3.792 * * [simplify]: Extracting # 2 : cost 0 3.793 * * [simplify]: Extracting # 3 : cost 0 3.793 * * [simplify]: iteration 2 : 76 enodes (cost 121 ) 3.815 * * [simplify]: Extracting # 0 : cost 0 3.815 * * [simplify]: Extracting # 1 : cost 0 3.815 * * [simplify]: Extracting # 2 : cost 0 3.816 * * [simplify]: Extracting # 3 : cost 0 3.816 * * [simplify]: Extracting # 4 : cost 0 3.817 * * [simplify]: iteration 3 : 406 enodes (cost 121 ) 4.574 * * [simplify]: Extracting # 0 : cost 0 4.591 * * [simplify]: Extracting # 1 : cost 0 4.607 * * [simplify]: Extracting # 2 : cost 0 4.615 * * [simplify]: Extracting # 3 : cost 0 4.624 * * [simplify]: Extracting # 4 : cost 0 4.632 * * [simplify]: Extracting # 5 : cost 0 4.640 * * [simplify]: Extracting # 6 : cost 0 4.649 * * [simplify]: iteration 4 : 4458 enodes (cost 121 ) 7.155 * * [simplify]: Extracting # 0 : cost 0 7.173 * * [simplify]: Extracting # 1 : cost 0 7.183 * * [simplify]: iteration done: 5000 enodes (cost 121 ) 7.184 * [simplify]: Simplified to: (expm1 (fma (- 1.0 x) y (* x z))) (log1p (fma (- 1.0 x) y (* x z))) (* (- 1.0 x) y) (log (fma (- 1.0 x) y (* x z))) (exp (fma (- 1.0 x) y (* x z))) (* (cbrt (fma (- 1.0 x) y (* x z))) (cbrt (fma (- 1.0 x) y (* x z)))) (cbrt (fma (- 1.0 x) y (* x z))) (pow (fma (- 1.0 x) y (* x z)) 3) (sqrt (fma (- 1.0 x) y (* x z))) (sqrt (fma (- 1.0 x) y (* x z))) (fma z x (* (- 1.0 x) y)) (fma z x (* (- 1.0 x) y)) (fma z x (* (- 1.0 x) y)) 7.184 * * * [progress]: adding candidates to table 7.239 * * [progress]: iteration 2 / 4 7.239 * * * [progress]: picking best candidate 7.243 * * * * [pick]: Picked # 7.243 * * * [progress]: localizing error 7.255 * * * [progress]: generating rewritten candidates 7.255 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.256 * * * [progress]: generating series expansions 7.256 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.257 * [backup-simplify]: Simplify (fma z x (* (- 1.0 x) y)) into (fma z x (* y (- 1.0 x))) 7.257 * [approximate]: Taking taylor expansion of (fma z x (* y (- 1.0 x))) in (z x y) around 0 7.257 * [taylor]: Taking taylor expansion of (fma z x (* y (- 1.0 x))) in y 7.257 * [taylor]: Rewrote expression to (+ (* z x) (* y (- 1.0 x))) 7.257 * [taylor]: Taking taylor expansion of (* z x) in y 7.257 * [taylor]: Taking taylor expansion of z in y 7.257 * [backup-simplify]: Simplify z into z 7.257 * [taylor]: Taking taylor expansion of x in y 7.257 * [backup-simplify]: Simplify x into x 7.257 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in y 7.257 * [taylor]: Taking taylor expansion of y in y 7.257 * [backup-simplify]: Simplify 0 into 0 7.257 * [backup-simplify]: Simplify 1 into 1 7.257 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 7.257 * [taylor]: Taking taylor expansion of 1.0 in y 7.257 * [backup-simplify]: Simplify 1.0 into 1.0 7.257 * [taylor]: Taking taylor expansion of x in y 7.257 * [backup-simplify]: Simplify x into x 7.257 * [taylor]: Taking taylor expansion of (fma z x (* y (- 1.0 x))) in x 7.257 * [taylor]: Rewrote expression to (+ (* z x) (* y (- 1.0 x))) 7.257 * [taylor]: Taking taylor expansion of (* z x) in x 7.257 * [taylor]: Taking taylor expansion of z in x 7.257 * [backup-simplify]: Simplify z into z 7.257 * [taylor]: Taking taylor expansion of x in x 7.258 * [backup-simplify]: Simplify 0 into 0 7.258 * [backup-simplify]: Simplify 1 into 1 7.258 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in x 7.258 * [taylor]: Taking taylor expansion of y in x 7.258 * [backup-simplify]: Simplify y into y 7.258 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 7.258 * [taylor]: Taking taylor expansion of 1.0 in x 7.258 * [backup-simplify]: Simplify 1.0 into 1.0 7.258 * [taylor]: Taking taylor expansion of x in x 7.258 * [backup-simplify]: Simplify 0 into 0 7.258 * [backup-simplify]: Simplify 1 into 1 7.258 * [taylor]: Taking taylor expansion of (fma z x (* y (- 1.0 x))) in z 7.258 * [taylor]: Rewrote expression to (+ (* z x) (* y (- 1.0 x))) 7.258 * [taylor]: Taking taylor expansion of (* z x) in z 7.258 * [taylor]: Taking taylor expansion of z in z 7.258 * [backup-simplify]: Simplify 0 into 0 7.258 * [backup-simplify]: Simplify 1 into 1 7.258 * [taylor]: Taking taylor expansion of x in z 7.258 * [backup-simplify]: Simplify x into x 7.258 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in z 7.258 * [taylor]: Taking taylor expansion of y in z 7.258 * [backup-simplify]: Simplify y into y 7.258 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 7.258 * [taylor]: Taking taylor expansion of 1.0 in z 7.258 * [backup-simplify]: Simplify 1.0 into 1.0 7.258 * [taylor]: Taking taylor expansion of x in z 7.258 * [backup-simplify]: Simplify x into x 7.259 * [taylor]: Taking taylor expansion of (fma z x (* y (- 1.0 x))) in z 7.259 * [taylor]: Rewrote expression to (+ (* z x) (* y (- 1.0 x))) 7.259 * [taylor]: Taking taylor expansion of (* z x) in z 7.259 * [taylor]: Taking taylor expansion of z in z 7.259 * [backup-simplify]: Simplify 0 into 0 7.259 * [backup-simplify]: Simplify 1 into 1 7.259 * [taylor]: Taking taylor expansion of x in z 7.259 * [backup-simplify]: Simplify x into x 7.259 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in z 7.259 * [taylor]: Taking taylor expansion of y in z 7.259 * [backup-simplify]: Simplify y into y 7.259 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 7.259 * [taylor]: Taking taylor expansion of 1.0 in z 7.259 * [backup-simplify]: Simplify 1.0 into 1.0 7.259 * [taylor]: Taking taylor expansion of x in z 7.259 * [backup-simplify]: Simplify x into x 7.259 * [backup-simplify]: Simplify (* 0 x) into 0 7.259 * [backup-simplify]: Simplify (- x) into (- x) 7.259 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 7.259 * [backup-simplify]: Simplify (* y (- 1.0 x)) into (* y (- 1.0 x)) 7.260 * [backup-simplify]: Simplify (+ 0 (* y (- 1.0 x))) into (- (* 1.0 y) (* x y)) 7.260 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (* x y)) in x 7.260 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 7.260 * [taylor]: Taking taylor expansion of 1.0 in x 7.260 * [backup-simplify]: Simplify 1.0 into 1.0 7.260 * [taylor]: Taking taylor expansion of y in x 7.260 * [backup-simplify]: Simplify y into y 7.260 * [taylor]: Taking taylor expansion of (* x y) in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [backup-simplify]: Simplify 1 into 1 7.260 * [taylor]: Taking taylor expansion of y in x 7.260 * [backup-simplify]: Simplify y into y 7.260 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 7.260 * [backup-simplify]: Simplify (* 0 y) into 0 7.261 * [backup-simplify]: Simplify (- 0) into 0 7.261 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 7.261 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 7.261 * [taylor]: Taking taylor expansion of 1.0 in y 7.261 * [backup-simplify]: Simplify 1.0 into 1.0 7.261 * [taylor]: Taking taylor expansion of y in y 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 1 into 1 7.262 * [backup-simplify]: Simplify (* 1.0 0) into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 7.262 * [backup-simplify]: Simplify (- 0) into 0 7.263 * [backup-simplify]: Simplify (+ 0 0) into 0 7.263 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- 1.0 x))) into 0 7.263 * [backup-simplify]: Simplify (+ x 0) into x 7.263 * [taylor]: Taking taylor expansion of x in x 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 1 into 1 7.263 * [taylor]: Taking taylor expansion of 0 in y 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 7.264 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.264 * [backup-simplify]: Simplify (- y) into (- y) 7.264 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 7.264 * [taylor]: Taking taylor expansion of (- y) in y 7.264 * [taylor]: Taking taylor expansion of y in y 7.264 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 1 into 1 7.265 * [backup-simplify]: Simplify (- 0) into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 7.267 * [backup-simplify]: Simplify 1.0 into 1.0 7.268 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 7.268 * [backup-simplify]: Simplify (- 0) into 0 7.268 * [backup-simplify]: Simplify (+ 0 0) into 0 7.269 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- 1.0 x)))) into 0 7.269 * [backup-simplify]: Simplify (+ 0 0) into 0 7.269 * [taylor]: Taking taylor expansion of 0 in x 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [taylor]: Taking taylor expansion of 0 in y 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [taylor]: Taking taylor expansion of 1 in y 7.269 * [backup-simplify]: Simplify 1 into 1 7.269 * [backup-simplify]: Simplify 1 into 1 7.270 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 7.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.272 * [backup-simplify]: Simplify (- 0) into 0 7.272 * [backup-simplify]: Simplify (+ 0 0) into 0 7.272 * [taylor]: Taking taylor expansion of 0 in y 7.272 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify (- 1) into -1 7.273 * [backup-simplify]: Simplify -1 into -1 7.273 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* 1 (* x z))) (* 1.0 (* y (* 1 1))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 7.274 * [backup-simplify]: Simplify (fma (/ 1 z) (/ 1 x) (* (- 1.0 (/ 1 x)) (/ 1 y))) into (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) 7.274 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) in (z x y) around 0 7.274 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) in y 7.274 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (/ (- 1.0 (/ 1 x)) y)) 7.274 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in y 7.274 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.274 * [taylor]: Taking taylor expansion of z in y 7.274 * [backup-simplify]: Simplify z into z 7.274 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.274 * [taylor]: Taking taylor expansion of x in y 7.274 * [backup-simplify]: Simplify x into x 7.274 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.274 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 7.274 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 7.274 * [taylor]: Taking taylor expansion of 1.0 in y 7.274 * [backup-simplify]: Simplify 1.0 into 1.0 7.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.275 * [taylor]: Taking taylor expansion of x in y 7.275 * [backup-simplify]: Simplify x into x 7.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.275 * [taylor]: Taking taylor expansion of y in y 7.275 * [backup-simplify]: Simplify 0 into 0 7.275 * [backup-simplify]: Simplify 1 into 1 7.275 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.275 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 7.275 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 7.275 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) in x 7.275 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (/ (- 1.0 (/ 1 x)) y)) 7.275 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in x 7.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.275 * [taylor]: Taking taylor expansion of z in x 7.275 * [backup-simplify]: Simplify z into z 7.276 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.276 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify 1 into 1 7.276 * [backup-simplify]: Simplify (/ 1 1) into 1 7.276 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 7.276 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 7.276 * [taylor]: Taking taylor expansion of 1.0 in x 7.276 * [backup-simplify]: Simplify 1.0 into 1.0 7.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.276 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify 1 into 1 7.277 * [backup-simplify]: Simplify (/ 1 1) into 1 7.277 * [taylor]: Taking taylor expansion of y in x 7.277 * [backup-simplify]: Simplify y into y 7.277 * [backup-simplify]: Simplify (- 1) into -1 7.278 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.278 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 7.278 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) in z 7.278 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (/ (- 1.0 (/ 1 x)) y)) 7.278 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in z 7.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.278 * [taylor]: Taking taylor expansion of z in z 7.278 * [backup-simplify]: Simplify 0 into 0 7.278 * [backup-simplify]: Simplify 1 into 1 7.279 * [backup-simplify]: Simplify (/ 1 1) into 1 7.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.279 * [taylor]: Taking taylor expansion of x in z 7.279 * [backup-simplify]: Simplify x into x 7.279 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.279 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in z 7.279 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 7.279 * [taylor]: Taking taylor expansion of 1.0 in z 7.279 * [backup-simplify]: Simplify 1.0 into 1.0 7.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.279 * [taylor]: Taking taylor expansion of x in z 7.280 * [backup-simplify]: Simplify x into x 7.280 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.280 * [taylor]: Taking taylor expansion of y in z 7.280 * [backup-simplify]: Simplify y into y 7.280 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.280 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 7.280 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) y) into (/ (- 1.0 (/ 1 x)) y) 7.280 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (/ (- 1.0 (/ 1 x)) y)) in z 7.280 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (/ (- 1.0 (/ 1 x)) y)) 7.280 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in z 7.280 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.280 * [taylor]: Taking taylor expansion of z in z 7.280 * [backup-simplify]: Simplify 0 into 0 7.280 * [backup-simplify]: Simplify 1 into 1 7.281 * [backup-simplify]: Simplify (/ 1 1) into 1 7.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.281 * [taylor]: Taking taylor expansion of x in z 7.281 * [backup-simplify]: Simplify x into x 7.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.281 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in z 7.281 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 7.281 * [taylor]: Taking taylor expansion of 1.0 in z 7.281 * [backup-simplify]: Simplify 1.0 into 1.0 7.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.281 * [taylor]: Taking taylor expansion of x in z 7.281 * [backup-simplify]: Simplify x into x 7.282 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.282 * [taylor]: Taking taylor expansion of y in z 7.282 * [backup-simplify]: Simplify y into y 7.282 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.282 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 7.282 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) y) into (/ (- 1.0 (/ 1 x)) y) 7.282 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x) 7.282 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.282 * [taylor]: Taking taylor expansion of x in x 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify 1 into 1 7.283 * [backup-simplify]: Simplify (/ 1 1) into 1 7.283 * [taylor]: Taking taylor expansion of 1 in y 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.291 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0 7.292 * [backup-simplify]: Simplify (+ 0 (/ (- 1.0 (/ 1 x)) y)) into (- (* 1.0 (/ 1 y)) (/ 1 (* x y))) 7.292 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 7.292 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.292 * [taylor]: Taking taylor expansion of 1.0 in x 7.292 * [backup-simplify]: Simplify 1.0 into 1.0 7.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.292 * [taylor]: Taking taylor expansion of y in x 7.292 * [backup-simplify]: Simplify y into y 7.292 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.292 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.292 * [taylor]: Taking taylor expansion of (* x y) in x 7.292 * [taylor]: Taking taylor expansion of x in x 7.292 * [backup-simplify]: Simplify 0 into 0 7.292 * [backup-simplify]: Simplify 1 into 1 7.292 * [taylor]: Taking taylor expansion of y in x 7.292 * [backup-simplify]: Simplify y into y 7.292 * [backup-simplify]: Simplify (* 0 y) into 0 7.293 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.293 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.293 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.293 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 7.293 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.293 * [taylor]: Taking taylor expansion of y in y 7.293 * [backup-simplify]: Simplify 0 into 0 7.293 * [backup-simplify]: Simplify 1 into 1 7.294 * [backup-simplify]: Simplify (/ 1 1) into 1 7.294 * [backup-simplify]: Simplify (- 1) into -1 7.294 * [backup-simplify]: Simplify -1 into -1 7.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.295 * [taylor]: Taking taylor expansion of 0 in y 7.295 * [backup-simplify]: Simplify 0 into 0 7.295 * [backup-simplify]: Simplify 1 into 1 7.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 7.298 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.298 * [backup-simplify]: Simplify (- 0) into 0 7.298 * [backup-simplify]: Simplify (+ 0 0) into 0 7.298 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (- 1.0 (/ 1 x)) y) (/ 0 y)))) into 0 7.298 * [backup-simplify]: Simplify (+ 0 0) into 0 7.299 * [taylor]: Taking taylor expansion of 0 in x 7.299 * [backup-simplify]: Simplify 0 into 0 7.299 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 7.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.300 * [backup-simplify]: Simplify (- 0) into 0 7.300 * [backup-simplify]: Simplify (+ (/ 1.0 y) 0) into (* 1.0 (/ 1 y)) 7.300 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.300 * [taylor]: Taking taylor expansion of 1.0 in y 7.300 * [backup-simplify]: Simplify 1.0 into 1.0 7.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.300 * [taylor]: Taking taylor expansion of y in y 7.300 * [backup-simplify]: Simplify 0 into 0 7.300 * [backup-simplify]: Simplify 1 into 1 7.300 * [backup-simplify]: Simplify (/ 1 1) into 1 7.301 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 7.301 * [backup-simplify]: Simplify 1.0 into 1.0 7.301 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 7.301 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (/ 1 (- x)) (* (- 1.0 (/ 1 (- x))) (/ 1 (- y)))) into (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) 7.301 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) in (z x y) around 0 7.301 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) in y 7.302 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (* -1 (/ (+ (/ 1 x) 1.0) y))) 7.302 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in y 7.302 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.302 * [taylor]: Taking taylor expansion of -1 in y 7.302 * [backup-simplify]: Simplify -1 into -1 7.302 * [taylor]: Taking taylor expansion of z in y 7.302 * [backup-simplify]: Simplify z into z 7.302 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.302 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.302 * [taylor]: Taking taylor expansion of -1 in y 7.302 * [backup-simplify]: Simplify -1 into -1 7.302 * [taylor]: Taking taylor expansion of x in y 7.302 * [backup-simplify]: Simplify x into x 7.302 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.302 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in y 7.302 * [taylor]: Taking taylor expansion of -1 in y 7.302 * [backup-simplify]: Simplify -1 into -1 7.302 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 7.302 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 7.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.302 * [taylor]: Taking taylor expansion of x in y 7.302 * [backup-simplify]: Simplify x into x 7.302 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.302 * [taylor]: Taking taylor expansion of 1.0 in y 7.302 * [backup-simplify]: Simplify 1.0 into 1.0 7.302 * [taylor]: Taking taylor expansion of y in y 7.302 * [backup-simplify]: Simplify 0 into 0 7.302 * [backup-simplify]: Simplify 1 into 1 7.302 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 7.302 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) 1) into (+ (/ 1 x) 1.0) 7.302 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) in x 7.303 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (* -1 (/ (+ (/ 1 x) 1.0) y))) 7.303 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in x 7.303 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.303 * [taylor]: Taking taylor expansion of -1 in x 7.303 * [backup-simplify]: Simplify -1 into -1 7.303 * [taylor]: Taking taylor expansion of z in x 7.303 * [backup-simplify]: Simplify z into z 7.303 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.303 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.303 * [taylor]: Taking taylor expansion of -1 in x 7.303 * [backup-simplify]: Simplify -1 into -1 7.303 * [taylor]: Taking taylor expansion of x in x 7.303 * [backup-simplify]: Simplify 0 into 0 7.303 * [backup-simplify]: Simplify 1 into 1 7.303 * [backup-simplify]: Simplify (/ -1 1) into -1 7.303 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 7.303 * [taylor]: Taking taylor expansion of -1 in x 7.303 * [backup-simplify]: Simplify -1 into -1 7.303 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 7.303 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 7.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.303 * [taylor]: Taking taylor expansion of x in x 7.303 * [backup-simplify]: Simplify 0 into 0 7.303 * [backup-simplify]: Simplify 1 into 1 7.304 * [backup-simplify]: Simplify (/ 1 1) into 1 7.304 * [taylor]: Taking taylor expansion of 1.0 in x 7.304 * [backup-simplify]: Simplify 1.0 into 1.0 7.304 * [taylor]: Taking taylor expansion of y in x 7.304 * [backup-simplify]: Simplify y into y 7.304 * [backup-simplify]: Simplify (+ 1 0) into 1 7.304 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.304 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) in z 7.304 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (* -1 (/ (+ (/ 1 x) 1.0) y))) 7.304 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in z 7.304 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.304 * [taylor]: Taking taylor expansion of -1 in z 7.304 * [backup-simplify]: Simplify -1 into -1 7.304 * [taylor]: Taking taylor expansion of z in z 7.304 * [backup-simplify]: Simplify 0 into 0 7.304 * [backup-simplify]: Simplify 1 into 1 7.305 * [backup-simplify]: Simplify (/ -1 1) into -1 7.305 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.305 * [taylor]: Taking taylor expansion of -1 in z 7.305 * [backup-simplify]: Simplify -1 into -1 7.305 * [taylor]: Taking taylor expansion of x in z 7.305 * [backup-simplify]: Simplify x into x 7.305 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.305 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in z 7.305 * [taylor]: Taking taylor expansion of -1 in z 7.305 * [backup-simplify]: Simplify -1 into -1 7.305 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in z 7.305 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 7.305 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.305 * [taylor]: Taking taylor expansion of x in z 7.305 * [backup-simplify]: Simplify x into x 7.305 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.305 * [taylor]: Taking taylor expansion of 1.0 in z 7.305 * [backup-simplify]: Simplify 1.0 into 1.0 7.305 * [taylor]: Taking taylor expansion of y in z 7.305 * [backup-simplify]: Simplify y into y 7.305 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 7.305 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) y) into (/ (+ (/ 1 x) 1.0) y) 7.305 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (* -1 (/ (+ (/ 1 x) 1.0) y))) in z 7.306 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (* -1 (/ (+ (/ 1 x) 1.0) y))) 7.306 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in z 7.306 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.306 * [taylor]: Taking taylor expansion of -1 in z 7.306 * [backup-simplify]: Simplify -1 into -1 7.306 * [taylor]: Taking taylor expansion of z in z 7.306 * [backup-simplify]: Simplify 0 into 0 7.306 * [backup-simplify]: Simplify 1 into 1 7.306 * [backup-simplify]: Simplify (/ -1 1) into -1 7.306 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.306 * [taylor]: Taking taylor expansion of -1 in z 7.306 * [backup-simplify]: Simplify -1 into -1 7.306 * [taylor]: Taking taylor expansion of x in z 7.306 * [backup-simplify]: Simplify x into x 7.306 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.306 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in z 7.306 * [taylor]: Taking taylor expansion of -1 in z 7.306 * [backup-simplify]: Simplify -1 into -1 7.306 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in z 7.306 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 7.306 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.307 * [taylor]: Taking taylor expansion of x in z 7.307 * [backup-simplify]: Simplify x into x 7.307 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.307 * [taylor]: Taking taylor expansion of 1.0 in z 7.307 * [backup-simplify]: Simplify 1.0 into 1.0 7.307 * [taylor]: Taking taylor expansion of y in z 7.307 * [backup-simplify]: Simplify y into y 7.307 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 7.307 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) y) into (/ (+ (/ 1 x) 1.0) y) 7.307 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x) 7.307 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.307 * [taylor]: Taking taylor expansion of x in x 7.307 * [backup-simplify]: Simplify 0 into 0 7.307 * [backup-simplify]: Simplify 1 into 1 7.308 * [backup-simplify]: Simplify (/ 1 1) into 1 7.308 * [taylor]: Taking taylor expansion of 1 in y 7.308 * [backup-simplify]: Simplify 1 into 1 7.308 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.309 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0 7.309 * [backup-simplify]: Simplify (* -1 (/ (+ (/ 1 x) 1.0) y)) into (* -1 (/ (+ 1.0 (/ 1 x)) y)) 7.309 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (+ 1.0 (/ 1 x)) y))) into (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) 7.309 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in x 7.309 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 7.309 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.309 * [taylor]: Taking taylor expansion of (* x y) in x 7.309 * [taylor]: Taking taylor expansion of x in x 7.309 * [backup-simplify]: Simplify 0 into 0 7.309 * [backup-simplify]: Simplify 1 into 1 7.309 * [taylor]: Taking taylor expansion of y in x 7.309 * [backup-simplify]: Simplify y into y 7.309 * [backup-simplify]: Simplify (* 0 y) into 0 7.310 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.310 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.310 * [taylor]: Taking taylor expansion of 1.0 in x 7.310 * [backup-simplify]: Simplify 1.0 into 1.0 7.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.310 * [taylor]: Taking taylor expansion of y in x 7.310 * [backup-simplify]: Simplify y into y 7.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.310 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.310 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.310 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.310 * [taylor]: Taking taylor expansion of y in y 7.310 * [backup-simplify]: Simplify 0 into 0 7.310 * [backup-simplify]: Simplify 1 into 1 7.310 * [backup-simplify]: Simplify (/ 1 1) into 1 7.311 * [backup-simplify]: Simplify (- 1) into -1 7.311 * [backup-simplify]: Simplify -1 into -1 7.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.311 * [taylor]: Taking taylor expansion of 0 in y 7.311 * [backup-simplify]: Simplify 0 into 0 7.311 * [backup-simplify]: Simplify 1 into 1 7.311 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.313 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0 7.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.313 * [backup-simplify]: Simplify (+ 0 0) into 0 7.313 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (+ (/ 1 x) 1.0) y) (/ 0 y)))) into 0 7.313 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (+ (/ 1 x) 1.0) y))) into 0 7.314 * [backup-simplify]: Simplify (+ 0 0) into 0 7.314 * [taylor]: Taking taylor expansion of 0 in x 7.314 * [backup-simplify]: Simplify 0 into 0 7.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.314 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 7.315 * [backup-simplify]: Simplify (+ 0 (/ 1.0 y)) into (* 1.0 (/ 1 y)) 7.315 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 y))) into (- (* 1.0 (/ 1 y))) 7.315 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 7.315 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.315 * [taylor]: Taking taylor expansion of 1.0 in y 7.315 * [backup-simplify]: Simplify 1.0 into 1.0 7.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.315 * [taylor]: Taking taylor expansion of y in y 7.315 * [backup-simplify]: Simplify 0 into 0 7.315 * [backup-simplify]: Simplify 1 into 1 7.315 * [backup-simplify]: Simplify (/ 1 1) into 1 7.315 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 7.316 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.316 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.317 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ (* x z) (* 1.0 y)) (* x y)) 7.317 * * * [progress]: simplifying candidates 7.317 * [simplify]: Simplifying: (expm1 (fma z x (* (- 1.0 x) y))) (log1p (fma z x (* (- 1.0 x) y))) (* z x) (log (fma z x (* (- 1.0 x) y))) (exp (fma z x (* (- 1.0 x) y))) (* (cbrt (fma z x (* (- 1.0 x) y))) (cbrt (fma z x (* (- 1.0 x) y)))) (cbrt (fma z x (* (- 1.0 x) y))) (* (* (fma z x (* (- 1.0 x) y)) (fma z x (* (- 1.0 x) y))) (fma z x (* (- 1.0 x) y))) (sqrt (fma z x (* (- 1.0 x) y))) (sqrt (fma z x (* (- 1.0 x) y))) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) 7.317 * * [simplify]: Extracting # 0 : cost 0 7.317 * * [simplify]: Extracting # 1 : cost 0 7.317 * * [simplify]: Extracting # 2 : cost 0 7.318 * * [simplify]: Extracting # 3 : cost 0 7.318 * * [simplify]: Extracting # 4 : cost 0 7.318 * * [simplify]: Extracting # 5 : cost 0 7.318 * * [simplify]: Extracting # 6 : cost 0 7.318 * * [simplify]: iteration 0 : 22 enodes (cost 144 ) 7.321 * * [simplify]: Extracting # 0 : cost 0 7.321 * * [simplify]: Extracting # 1 : cost 0 7.321 * * [simplify]: Extracting # 2 : cost 0 7.321 * * [simplify]: iteration 1 : 35 enodes (cost 141 ) 7.328 * * [simplify]: Extracting # 0 : cost 0 7.328 * * [simplify]: Extracting # 1 : cost 0 7.328 * * [simplify]: Extracting # 2 : cost 0 7.328 * * [simplify]: Extracting # 3 : cost 0 7.328 * * [simplify]: iteration 2 : 87 enodes (cost 119 ) 7.374 * * [simplify]: Extracting # 0 : cost 0 7.374 * * [simplify]: Extracting # 1 : cost 0 7.375 * * [simplify]: Extracting # 2 : cost 0 7.376 * * [simplify]: Extracting # 3 : cost 0 7.376 * * [simplify]: Extracting # 4 : cost 0 7.377 * * [simplify]: iteration 3 : 486 enodes (cost 119 ) 7.921 * * [simplify]: Extracting # 0 : cost 0 7.954 * * [simplify]: Extracting # 1 : cost 0 7.973 * * [simplify]: Extracting # 2 : cost 0 7.985 * * [simplify]: Extracting # 3 : cost 0 7.997 * * [simplify]: Extracting # 4 : cost 0 8.009 * * [simplify]: Extracting # 5 : cost 0 8.021 * * [simplify]: iteration done: 5000 enodes (cost 119 ) 8.022 * [simplify]: Simplified to: (expm1 (fma z x (* (- 1.0 x) y))) (log1p (fma z x (* (- 1.0 x) y))) (* x z) (log (fma z x (* (- 1.0 x) y))) (exp (fma z x (* (- 1.0 x) y))) (* (cbrt (fma z x (* (- 1.0 x) y))) (cbrt (fma z x (* (- 1.0 x) y)))) (cbrt (fma z x (* (- 1.0 x) y))) (pow (fma z x (* (- 1.0 x) y)) 3) (sqrt (fma z x (* (- 1.0 x) y))) (sqrt (fma z x (* (- 1.0 x) y))) (fma z x (* (- 1.0 x) y)) (fma z x (* (- 1.0 x) y)) (fma z x (* (- 1.0 x) y)) 8.022 * * * [progress]: adding candidates to table 8.073 * [progress]: [Phase 3 of 3] Extracting. 8.073 * * [regime]: Finding splitpoints for: (# #) 8.073 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 8.073 * * * * [regimes]: Trying to branch on z from (# #) 8.095 * * * * [regimes]: Trying to branch on y from (# #) 8.112 * * * * [regimes]: Trying to branch on x from (# #) 8.130 * * * [regime]: Found split indices: #