58.176 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: Extracting # 3 : cost 0 0.041 * * [simplify]: Extracting # 4 : cost 0 0.041 * * [simplify]: Extracting # 5 : cost 0 0.041 * * [simplify]: Extracting # 6 : cost 0 0.041 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 0.081 * * [simplify]: Extracting # 1 : cost 0 0.081 * * [simplify]: Extracting # 2 : cost 0 0.081 * * [simplify]: iteration 3 : 208 enodes (cost 9 ) 0.185 * * [simplify]: Extracting # 0 : cost 0 0.186 * * [simplify]: Extracting # 1 : cost 0 0.186 * * [simplify]: Extracting # 2 : cost 0 0.186 * * [simplify]: Extracting # 3 : cost 0 0.187 * * [simplify]: iteration 4 : 419 enodes (cost 8 ) 0.369 * * [simplify]: Extracting # 0 : cost 0 0.370 * * [simplify]: Extracting # 1 : cost 0 0.370 * * [simplify]: iteration 5 : 469 enodes (cost 7 ) 0.452 * * [simplify]: Extracting # 0 : cost 0 0.452 * * [simplify]: iteration 6 : 475 enodes (cost 7 ) 0.585 * * [simplify]: Extracting # 0 : cost 0 0.586 * * [simplify]: iteration done: 475 enodes (cost 7 ) 0.586 * [simplify]: Simplified to: (fma y 2 (fma 3 x z)) 0.594 * * [progress]: iteration 1 / 4 0.594 * * * [progress]: picking best candidate 0.605 * * * * [pick]: Picked # 0.605 * * * [progress]: localizing error 0.621 * * * [progress]: generating rewritten candidates 0.621 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.622 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.623 * * * [progress]: generating series expansions 0.623 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.624 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 0.624 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 0.630 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.630 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.630 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.630 * [taylor]: Taking taylor expansion of 3 in z 0.630 * [backup-simplify]: Simplify 3 into 3 0.630 * [taylor]: Taking taylor expansion of x in z 0.631 * [backup-simplify]: Simplify x into x 0.631 * [taylor]: Taking taylor expansion of z in z 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.631 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.631 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.631 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.631 * [taylor]: Taking taylor expansion of 3 in x 0.631 * [backup-simplify]: Simplify 3 into 3 0.631 * [taylor]: Taking taylor expansion of x in x 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.631 * [taylor]: Taking taylor expansion of z in x 0.631 * [backup-simplify]: Simplify z into z 0.631 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.631 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.631 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.631 * [taylor]: Taking taylor expansion of 3 in x 0.631 * [backup-simplify]: Simplify 3 into 3 0.631 * [taylor]: Taking taylor expansion of x in x 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.631 * [taylor]: Taking taylor expansion of z in x 0.631 * [backup-simplify]: Simplify z into z 0.632 * [backup-simplify]: Simplify (* 3 0) into 0 0.632 * [backup-simplify]: Simplify (+ 0 z) into z 0.632 * [taylor]: Taking taylor expansion of z in z 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.634 * [backup-simplify]: Simplify (+ 3 0) into 3 0.634 * [taylor]: Taking taylor expansion of 3 in z 0.634 * [backup-simplify]: Simplify 3 into 3 0.634 * [backup-simplify]: Simplify 3 into 3 0.634 * [backup-simplify]: Simplify 1 into 1 0.635 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 0.635 * [backup-simplify]: Simplify (+ 0 0) into 0 0.635 * [taylor]: Taking taylor expansion of 0 in z 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.637 * [backup-simplify]: Simplify (+ 0 0) into 0 0.637 * [taylor]: Taking taylor expansion of 0 in z 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 0.638 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 0.638 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 0.638 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.638 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.638 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.638 * [taylor]: Taking taylor expansion of 3 in z 0.638 * [backup-simplify]: Simplify 3 into 3 0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.638 * [taylor]: Taking taylor expansion of x in z 0.638 * [backup-simplify]: Simplify x into x 0.638 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.638 * [taylor]: Taking taylor expansion of z in z 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.639 * [backup-simplify]: Simplify (/ 1 1) into 1 0.639 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.639 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.639 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.639 * [taylor]: Taking taylor expansion of 3 in x 0.639 * [backup-simplify]: Simplify 3 into 3 0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.639 * [taylor]: Taking taylor expansion of x in x 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [backup-simplify]: Simplify (/ 1 1) into 1 0.640 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.640 * [taylor]: Taking taylor expansion of z in x 0.640 * [backup-simplify]: Simplify z into z 0.640 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.640 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.640 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.640 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of 3 in x 0.640 * [backup-simplify]: Simplify 3 into 3 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (/ 1 1) into 1 0.640 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.641 * [taylor]: Taking taylor expansion of z in x 0.641 * [backup-simplify]: Simplify z into z 0.641 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.641 * [backup-simplify]: Simplify (* 3 1) into 3 0.642 * [backup-simplify]: Simplify (+ 3 0) into 3 0.642 * [taylor]: Taking taylor expansion of 3 in z 0.642 * [backup-simplify]: Simplify 3 into 3 0.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.643 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.643 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.643 * [taylor]: Taking taylor expansion of z in z 0.643 * [backup-simplify]: Simplify 0 into 0 0.643 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify (/ 1 1) into 1 0.644 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify 3 into 3 0.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.646 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.646 * [backup-simplify]: Simplify (+ 0 0) into 0 0.646 * [taylor]: Taking taylor expansion of 0 in z 0.646 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.650 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.650 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [taylor]: Taking taylor expansion of 0 in z 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.654 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.655 * [backup-simplify]: Simplify (+ 0 0) into 0 0.655 * [taylor]: Taking taylor expansion of 0 in z 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 0.655 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 0.655 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 0.655 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.656 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.656 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.656 * [taylor]: Taking taylor expansion of 3 in z 0.656 * [backup-simplify]: Simplify 3 into 3 0.656 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.656 * [taylor]: Taking taylor expansion of -1 in z 0.656 * [backup-simplify]: Simplify -1 into -1 0.656 * [taylor]: Taking taylor expansion of x in z 0.656 * [backup-simplify]: Simplify x into x 0.656 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.656 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.656 * [taylor]: Taking taylor expansion of -1 in z 0.656 * [backup-simplify]: Simplify -1 into -1 0.656 * [taylor]: Taking taylor expansion of z in z 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (/ -1 1) into -1 0.656 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.657 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.657 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.657 * [taylor]: Taking taylor expansion of 3 in x 0.657 * [backup-simplify]: Simplify 3 into 3 0.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.657 * [taylor]: Taking taylor expansion of -1 in x 0.657 * [backup-simplify]: Simplify -1 into -1 0.657 * [taylor]: Taking taylor expansion of x in x 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (/ -1 1) into -1 0.657 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.657 * [taylor]: Taking taylor expansion of -1 in x 0.657 * [backup-simplify]: Simplify -1 into -1 0.657 * [taylor]: Taking taylor expansion of z in x 0.657 * [backup-simplify]: Simplify z into z 0.658 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.658 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.658 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.658 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.658 * [taylor]: Taking taylor expansion of 3 in x 0.658 * [backup-simplify]: Simplify 3 into 3 0.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.658 * [taylor]: Taking taylor expansion of -1 in x 0.658 * [backup-simplify]: Simplify -1 into -1 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.659 * [backup-simplify]: Simplify (/ -1 1) into -1 0.659 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.659 * [taylor]: Taking taylor expansion of -1 in x 0.659 * [backup-simplify]: Simplify -1 into -1 0.659 * [taylor]: Taking taylor expansion of z in x 0.659 * [backup-simplify]: Simplify z into z 0.659 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.659 * [backup-simplify]: Simplify (* 3 -1) into -3 0.660 * [backup-simplify]: Simplify (+ -3 0) into -3 0.660 * [taylor]: Taking taylor expansion of -3 in z 0.660 * [backup-simplify]: Simplify -3 into -3 0.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.662 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 0.662 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 0.662 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.662 * [taylor]: Taking taylor expansion of z in z 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [backup-simplify]: Simplify (- 1) into -1 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [backup-simplify]: Simplify -3 into -3 0.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.665 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 0.665 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [taylor]: Taking taylor expansion of 0 in z 0.665 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.666 * [backup-simplify]: Simplify (- 0) into 0 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.668 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.669 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [taylor]: Taking taylor expansion of 0 in z 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.670 * [backup-simplify]: Simplify (- 0) into 0 0.670 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.671 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.671 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.672 * [backup-simplify]: Simplify (+ 0 0) into 0 0.672 * [taylor]: Taking taylor expansion of 0 in z 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 0.672 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.672 * [backup-simplify]: Simplify (fma y 2 (fma 3 x z)) into (fma y 2 (fma 3 x z)) 0.672 * [approximate]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in (y x z) around 0 0.672 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in z 0.672 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.672 * [taylor]: Taking taylor expansion of (* y 2) in z 0.672 * [taylor]: Taking taylor expansion of y in z 0.672 * [backup-simplify]: Simplify y into y 0.672 * [taylor]: Taking taylor expansion of 2 in z 0.672 * [backup-simplify]: Simplify 2 into 2 0.672 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.672 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.672 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.672 * [taylor]: Taking taylor expansion of 3 in z 0.672 * [backup-simplify]: Simplify 3 into 3 0.672 * [taylor]: Taking taylor expansion of x in z 0.672 * [backup-simplify]: Simplify x into x 0.672 * [taylor]: Taking taylor expansion of z in z 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in x 0.673 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.673 * [taylor]: Taking taylor expansion of (* y 2) in x 0.673 * [taylor]: Taking taylor expansion of y in x 0.673 * [backup-simplify]: Simplify y into y 0.673 * [taylor]: Taking taylor expansion of 2 in x 0.673 * [backup-simplify]: Simplify 2 into 2 0.673 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.673 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.673 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.673 * [taylor]: Taking taylor expansion of 3 in x 0.673 * [backup-simplify]: Simplify 3 into 3 0.673 * [taylor]: Taking taylor expansion of x in x 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [taylor]: Taking taylor expansion of z in x 0.673 * [backup-simplify]: Simplify z into z 0.673 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in y 0.673 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.673 * [taylor]: Taking taylor expansion of (* y 2) in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [taylor]: Taking taylor expansion of 2 in y 0.673 * [backup-simplify]: Simplify 2 into 2 0.673 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.673 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.673 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.673 * [taylor]: Taking taylor expansion of 3 in y 0.673 * [backup-simplify]: Simplify 3 into 3 0.673 * [taylor]: Taking taylor expansion of x in y 0.673 * [backup-simplify]: Simplify x into x 0.673 * [taylor]: Taking taylor expansion of z in y 0.673 * [backup-simplify]: Simplify z into z 0.673 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in y 0.673 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.673 * [taylor]: Taking taylor expansion of (* y 2) in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [taylor]: Taking taylor expansion of 2 in y 0.673 * [backup-simplify]: Simplify 2 into 2 0.673 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.674 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.674 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.674 * [taylor]: Taking taylor expansion of 3 in y 0.674 * [backup-simplify]: Simplify 3 into 3 0.674 * [taylor]: Taking taylor expansion of x in y 0.674 * [backup-simplify]: Simplify x into x 0.674 * [taylor]: Taking taylor expansion of z in y 0.674 * [backup-simplify]: Simplify z into z 0.674 * [backup-simplify]: Simplify (* 0 2) into 0 0.674 * [backup-simplify]: Simplify (* 3 x) into (* 3 x) 0.674 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 0.674 * [backup-simplify]: Simplify (+ 0 (+ (* 3 x) z)) into (+ (* 3 x) z) 0.674 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 0.674 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.674 * [taylor]: Taking taylor expansion of 3 in x 0.674 * [backup-simplify]: Simplify 3 into 3 0.674 * [taylor]: Taking taylor expansion of x in x 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify 1 into 1 0.674 * [taylor]: Taking taylor expansion of z in x 0.674 * [backup-simplify]: Simplify z into z 0.675 * [backup-simplify]: Simplify (* 3 0) into 0 0.675 * [backup-simplify]: Simplify (+ 0 z) into z 0.675 * [taylor]: Taking taylor expansion of z in z 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify 1 into 1 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2)) into 2 0.675 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x)) into 0 0.676 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [backup-simplify]: Simplify (+ 2 0) into 2 0.676 * [taylor]: Taking taylor expansion of 2 in x 0.676 * [backup-simplify]: Simplify 2 into 2 0.676 * [taylor]: Taking taylor expansion of 2 in z 0.676 * [backup-simplify]: Simplify 2 into 2 0.676 * [backup-simplify]: Simplify 2 into 2 0.676 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.677 * [backup-simplify]: Simplify (+ 3 0) into 3 0.677 * [taylor]: Taking taylor expansion of 3 in z 0.677 * [backup-simplify]: Simplify 3 into 3 0.677 * [backup-simplify]: Simplify 3 into 3 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 3 (* 1 (* x 1))) (* 2 (* 1 (* 1 y))))) into (+ (* 3 x) (+ z (* 2 y))) 0.677 * [backup-simplify]: Simplify (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) into (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) 0.677 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in (y x z) around 0 0.677 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in z 0.678 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.678 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 0.678 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.678 * [taylor]: Taking taylor expansion of y in z 0.678 * [backup-simplify]: Simplify y into y 0.678 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.678 * [taylor]: Taking taylor expansion of 2 in z 0.678 * [backup-simplify]: Simplify 2 into 2 0.678 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.678 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.678 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.678 * [taylor]: Taking taylor expansion of 3 in z 0.678 * [backup-simplify]: Simplify 3 into 3 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.678 * [taylor]: Taking taylor expansion of x in z 0.678 * [backup-simplify]: Simplify x into x 0.678 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.678 * [taylor]: Taking taylor expansion of z in z 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 1 into 1 0.678 * [backup-simplify]: Simplify (/ 1 1) into 1 0.678 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in x 0.678 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.678 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.678 * [taylor]: Taking taylor expansion of y in x 0.678 * [backup-simplify]: Simplify y into y 0.678 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.678 * [taylor]: Taking taylor expansion of 2 in x 0.678 * [backup-simplify]: Simplify 2 into 2 0.679 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.679 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.679 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of 3 in x 0.679 * [backup-simplify]: Simplify 3 into 3 0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.679 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.679 * [taylor]: Taking taylor expansion of z in x 0.679 * [backup-simplify]: Simplify z into z 0.679 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.679 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in y 0.679 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.679 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.679 * [taylor]: Taking taylor expansion of y in y 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.680 * [taylor]: Taking taylor expansion of 2 in y 0.680 * [backup-simplify]: Simplify 2 into 2 0.680 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.680 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.680 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.680 * [taylor]: Taking taylor expansion of 3 in y 0.680 * [backup-simplify]: Simplify 3 into 3 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.680 * [taylor]: Taking taylor expansion of x in y 0.680 * [backup-simplify]: Simplify x into x 0.680 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.680 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.680 * [taylor]: Taking taylor expansion of z in y 0.680 * [backup-simplify]: Simplify z into z 0.680 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.680 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in y 0.680 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.680 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.680 * [taylor]: Taking taylor expansion of y in y 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (/ 1 1) into 1 0.680 * [taylor]: Taking taylor expansion of 2 in y 0.680 * [backup-simplify]: Simplify 2 into 2 0.680 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.680 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.680 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.680 * [taylor]: Taking taylor expansion of 3 in y 0.681 * [backup-simplify]: Simplify 3 into 3 0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.681 * [taylor]: Taking taylor expansion of x in y 0.681 * [backup-simplify]: Simplify x into x 0.681 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.681 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.681 * [taylor]: Taking taylor expansion of z in y 0.681 * [backup-simplify]: Simplify z into z 0.681 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.681 * [backup-simplify]: Simplify (* 1 2) into 2 0.681 * [backup-simplify]: Simplify (+ 2 0) into 2 0.681 * [taylor]: Taking taylor expansion of 2 in x 0.681 * [backup-simplify]: Simplify 2 into 2 0.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2)) into 0 0.682 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x) 0.682 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (/ 1 z) (* 3 (/ 1 x))) 0.682 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 3 (/ 1 x)))) into (+ (/ 1 z) (* 3 (/ 1 x))) 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 0.682 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.682 * [taylor]: Taking taylor expansion of z in x 0.682 * [backup-simplify]: Simplify z into z 0.682 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.683 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of 3 in x 0.683 * [backup-simplify]: Simplify 3 into 3 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify 1 into 1 0.683 * [backup-simplify]: Simplify (/ 1 1) into 1 0.683 * [backup-simplify]: Simplify (* 3 1) into 3 0.683 * [backup-simplify]: Simplify (+ 0 3) into 3 0.683 * [taylor]: Taking taylor expansion of 3 in z 0.683 * [backup-simplify]: Simplify 3 into 3 0.683 * [taylor]: Taking taylor expansion of 2 in z 0.683 * [backup-simplify]: Simplify 2 into 2 0.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0 0.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.685 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0 0.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.685 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [taylor]: Taking taylor expansion of 0 in x 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.686 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.686 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 0.686 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.686 * [taylor]: Taking taylor expansion of z in z 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [backup-simplify]: Simplify (/ 1 1) into 1 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [taylor]: Taking taylor expansion of 0 in z 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 3 into 3 0.687 * [backup-simplify]: Simplify 2 into 2 0.687 * [backup-simplify]: Simplify (+ (* 2 (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 3 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.688 * [backup-simplify]: Simplify (fma (/ 1 (- y)) 2 (fma 3 (/ 1 (- x)) (/ 1 (- z)))) into (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) 0.688 * [approximate]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in (y x z) around 0 0.688 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in z 0.688 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.688 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 0.688 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.688 * [taylor]: Taking taylor expansion of -1 in z 0.688 * [backup-simplify]: Simplify -1 into -1 0.688 * [taylor]: Taking taylor expansion of y in z 0.688 * [backup-simplify]: Simplify y into y 0.688 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.688 * [taylor]: Taking taylor expansion of 2 in z 0.688 * [backup-simplify]: Simplify 2 into 2 0.688 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.688 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.688 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.688 * [taylor]: Taking taylor expansion of 3 in z 0.688 * [backup-simplify]: Simplify 3 into 3 0.688 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.688 * [taylor]: Taking taylor expansion of -1 in z 0.688 * [backup-simplify]: Simplify -1 into -1 0.688 * [taylor]: Taking taylor expansion of x in z 0.688 * [backup-simplify]: Simplify x into x 0.688 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.688 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.688 * [taylor]: Taking taylor expansion of -1 in z 0.688 * [backup-simplify]: Simplify -1 into -1 0.688 * [taylor]: Taking taylor expansion of z in z 0.688 * [backup-simplify]: Simplify 0 into 0 0.688 * [backup-simplify]: Simplify 1 into 1 0.689 * [backup-simplify]: Simplify (/ -1 1) into -1 0.689 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in x 0.689 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.689 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 0.689 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [backup-simplify]: Simplify -1 into -1 0.689 * [taylor]: Taking taylor expansion of y in x 0.689 * [backup-simplify]: Simplify y into y 0.689 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.689 * [taylor]: Taking taylor expansion of 2 in x 0.689 * [backup-simplify]: Simplify 2 into 2 0.689 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.689 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.689 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.689 * [taylor]: Taking taylor expansion of 3 in x 0.689 * [backup-simplify]: Simplify 3 into 3 0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [backup-simplify]: Simplify -1 into -1 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [backup-simplify]: Simplify 0 into 0 0.689 * [backup-simplify]: Simplify 1 into 1 0.689 * [backup-simplify]: Simplify (/ -1 1) into -1 0.689 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [backup-simplify]: Simplify -1 into -1 0.689 * [taylor]: Taking taylor expansion of z in x 0.689 * [backup-simplify]: Simplify z into z 0.689 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.690 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in y 0.690 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.690 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.690 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.690 * [taylor]: Taking taylor expansion of -1 in y 0.690 * [backup-simplify]: Simplify -1 into -1 0.690 * [taylor]: Taking taylor expansion of y in y 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 1 into 1 0.690 * [backup-simplify]: Simplify (/ -1 1) into -1 0.690 * [taylor]: Taking taylor expansion of 2 in y 0.690 * [backup-simplify]: Simplify 2 into 2 0.690 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.690 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.690 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.690 * [taylor]: Taking taylor expansion of 3 in y 0.690 * [backup-simplify]: Simplify 3 into 3 0.690 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.690 * [taylor]: Taking taylor expansion of -1 in y 0.690 * [backup-simplify]: Simplify -1 into -1 0.690 * [taylor]: Taking taylor expansion of x in y 0.690 * [backup-simplify]: Simplify x into x 0.690 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.690 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.690 * [taylor]: Taking taylor expansion of -1 in y 0.690 * [backup-simplify]: Simplify -1 into -1 0.690 * [taylor]: Taking taylor expansion of z in y 0.690 * [backup-simplify]: Simplify z into z 0.690 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.690 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in y 0.691 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.691 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.691 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.691 * [taylor]: Taking taylor expansion of -1 in y 0.691 * [backup-simplify]: Simplify -1 into -1 0.691 * [taylor]: Taking taylor expansion of y in y 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify 1 into 1 0.691 * [backup-simplify]: Simplify (/ -1 1) into -1 0.691 * [taylor]: Taking taylor expansion of 2 in y 0.691 * [backup-simplify]: Simplify 2 into 2 0.691 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.691 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.691 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.691 * [taylor]: Taking taylor expansion of 3 in y 0.691 * [backup-simplify]: Simplify 3 into 3 0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.691 * [taylor]: Taking taylor expansion of -1 in y 0.691 * [backup-simplify]: Simplify -1 into -1 0.691 * [taylor]: Taking taylor expansion of x in y 0.691 * [backup-simplify]: Simplify x into x 0.691 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.691 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.691 * [taylor]: Taking taylor expansion of -1 in y 0.691 * [backup-simplify]: Simplify -1 into -1 0.691 * [taylor]: Taking taylor expansion of z in y 0.691 * [backup-simplify]: Simplify z into z 0.691 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.692 * [backup-simplify]: Simplify (* -1 2) into -2 0.692 * [backup-simplify]: Simplify (+ -2 0) into -2 0.692 * [taylor]: Taking taylor expansion of -2 in x 0.692 * [backup-simplify]: Simplify -2 into -2 0.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.693 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2)) into 0 0.693 * [backup-simplify]: Simplify (* 3 (/ -1 x)) into (/ -3 x) 0.693 * [backup-simplify]: Simplify (+ (/ -3 x) (/ -1 z)) into (- (+ (/ 1 z) (* 3 (/ 1 x)))) 0.693 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 3 (/ 1 x))))) into (- (+ (/ 1 z) (* 3 (/ 1 x)))) 0.693 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.693 * [taylor]: Taking taylor expansion of z in x 0.693 * [backup-simplify]: Simplify z into z 0.693 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.693 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.693 * [taylor]: Taking taylor expansion of 3 in x 0.693 * [backup-simplify]: Simplify 3 into 3 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [backup-simplify]: Simplify 1 into 1 0.694 * [backup-simplify]: Simplify (/ 1 1) into 1 0.694 * [backup-simplify]: Simplify (* 3 1) into 3 0.694 * [backup-simplify]: Simplify (+ 0 3) into 3 0.694 * [backup-simplify]: Simplify (- 3) into -3 0.694 * [taylor]: Taking taylor expansion of -3 in z 0.694 * [backup-simplify]: Simplify -3 into -3 0.694 * [taylor]: Taking taylor expansion of -2 in z 0.694 * [backup-simplify]: Simplify -2 into -2 0.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.696 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2))) into 0 0.696 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.696 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ -1 x))) into 0 0.696 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.696 * [backup-simplify]: Simplify (+ 0 0) into 0 0.697 * [backup-simplify]: Simplify (+ 0 0) into 0 0.697 * [taylor]: Taking taylor expansion of 0 in x 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.697 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.698 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 0.698 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.698 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.698 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.698 * [taylor]: Taking taylor expansion of z in z 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify (/ 1 1) into 1 0.698 * [backup-simplify]: Simplify (- 1) into -1 0.698 * [backup-simplify]: Simplify -1 into -1 0.698 * [taylor]: Taking taylor expansion of 0 in z 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify -3 into -3 0.698 * [backup-simplify]: Simplify -2 into -2 0.699 * [backup-simplify]: Simplify (+ (* -2 (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -3 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.699 * * * [progress]: simplifying candidates 0.699 * [simplify]: Simplifying: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* 3 x) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (expm1 (fma y 2 (fma 3 x z))) (log1p (fma y 2 (fma 3 x z))) (* y 2) (log (fma y 2 (fma 3 x z))) (exp (fma y 2 (fma 3 x z))) (* (cbrt (fma y 2 (fma 3 x z))) (cbrt (fma y 2 (fma 3 x z)))) (cbrt (fma y 2 (fma 3 x z))) (* (* (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z))) (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 0.700 * * [simplify]: Extracting # 0 : cost 0 0.700 * * [simplify]: Extracting # 1 : cost 0 0.700 * * [simplify]: Extracting # 2 : cost 0 0.700 * * [simplify]: Extracting # 3 : cost 0 0.700 * * [simplify]: Extracting # 4 : cost 0 0.700 * * [simplify]: Extracting # 5 : cost 0 0.700 * * [simplify]: iteration 0 : 31 enodes (cost 204 ) 0.708 * * [simplify]: Extracting # 0 : cost 0 0.709 * * [simplify]: Extracting # 1 : cost 0 0.709 * * [simplify]: Extracting # 2 : cost 0 0.709 * * [simplify]: iteration 1 : 43 enodes (cost 198 ) 0.726 * * [simplify]: Extracting # 0 : cost 0 0.726 * * [simplify]: Extracting # 1 : cost 0 0.726 * * [simplify]: Extracting # 2 : cost 0 0.726 * * [simplify]: iteration 2 : 115 enodes (cost 173 ) 0.784 * * [simplify]: Extracting # 0 : cost 0 0.784 * * [simplify]: Extracting # 1 : cost 0 0.785 * * [simplify]: Extracting # 2 : cost 0 0.785 * * [simplify]: Extracting # 3 : cost 0 0.785 * * [simplify]: iteration 3 : 496 enodes (cost 173 ) 1.324 * * [simplify]: Extracting # 0 : cost 0 1.332 * * [simplify]: Extracting # 1 : cost 0 1.340 * * [simplify]: Extracting # 2 : cost 0 1.348 * * [simplify]: Extracting # 3 : cost 0 1.355 * * [simplify]: Extracting # 4 : cost 0 1.369 * * [simplify]: iteration 4 : 3356 enodes (cost 173 ) 3.843 * * [simplify]: Extracting # 0 : cost 0 3.857 * * [simplify]: Extracting # 1 : cost 0 3.869 * * [simplify]: iteration done: 5000 enodes (cost 173 ) 3.869 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* 3 x) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (pow (fma 3 x z) 3) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (expm1 (fma y 2 (fma 3 x z))) (log1p (fma y 2 (fma 3 x z))) (* 2 y) (log (fma y 2 (fma 3 x z))) (exp (fma y 2 (fma 3 x z))) (* (cbrt (fma y 2 (fma 3 x z))) (cbrt (fma y 2 (fma 3 x z)))) (cbrt (fma y 2 (fma 3 x z))) (pow (fma y 2 (fma 3 x z)) 3) (sqrt (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z)) 3.869 * * * [progress]: adding candidates to table 3.992 * * [progress]: iteration 2 / 4 3.992 * * * [progress]: picking best candidate 4.009 * * * * [pick]: Picked # 4.010 * * * [progress]: localizing error 4.021 * * * [progress]: generating rewritten candidates 4.021 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 4.239 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 4.284 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.605 * * * [progress]: generating series expansions 7.605 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.606 * [backup-simplify]: Simplify (+ (+ (+ x y) y) x) into (+ (* 2 x) (* 2 y)) 7.606 * [approximate]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in (x y) around 0 7.606 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in y 7.606 * [taylor]: Taking taylor expansion of (* 2 x) in y 7.606 * [taylor]: Taking taylor expansion of 2 in y 7.606 * [backup-simplify]: Simplify 2 into 2 7.606 * [taylor]: Taking taylor expansion of x in y 7.606 * [backup-simplify]: Simplify x into x 7.606 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.606 * [taylor]: Taking taylor expansion of 2 in y 7.606 * [backup-simplify]: Simplify 2 into 2 7.606 * [taylor]: Taking taylor expansion of y in y 7.606 * [backup-simplify]: Simplify 0 into 0 7.606 * [backup-simplify]: Simplify 1 into 1 7.606 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 7.606 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.606 * [taylor]: Taking taylor expansion of 2 in x 7.606 * [backup-simplify]: Simplify 2 into 2 7.606 * [taylor]: Taking taylor expansion of x in x 7.606 * [backup-simplify]: Simplify 0 into 0 7.606 * [backup-simplify]: Simplify 1 into 1 7.606 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.606 * [taylor]: Taking taylor expansion of 2 in x 7.606 * [backup-simplify]: Simplify 2 into 2 7.606 * [taylor]: Taking taylor expansion of y in x 7.606 * [backup-simplify]: Simplify y into y 7.606 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 7.606 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.606 * [taylor]: Taking taylor expansion of 2 in x 7.606 * [backup-simplify]: Simplify 2 into 2 7.607 * [taylor]: Taking taylor expansion of x in x 7.607 * [backup-simplify]: Simplify 0 into 0 7.607 * [backup-simplify]: Simplify 1 into 1 7.607 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.607 * [taylor]: Taking taylor expansion of 2 in x 7.607 * [backup-simplify]: Simplify 2 into 2 7.607 * [taylor]: Taking taylor expansion of y in x 7.607 * [backup-simplify]: Simplify y into y 7.607 * [backup-simplify]: Simplify (* 2 0) into 0 7.608 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 7.608 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 7.608 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.608 * [taylor]: Taking taylor expansion of 2 in y 7.608 * [backup-simplify]: Simplify 2 into 2 7.608 * [taylor]: Taking taylor expansion of y in y 7.608 * [backup-simplify]: Simplify 0 into 0 7.608 * [backup-simplify]: Simplify 1 into 1 7.608 * [backup-simplify]: Simplify (* 2 0) into 0 7.608 * [backup-simplify]: Simplify 0 into 0 7.609 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.609 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 7.610 * [backup-simplify]: Simplify (+ 2 0) into 2 7.610 * [taylor]: Taking taylor expansion of 2 in y 7.610 * [backup-simplify]: Simplify 2 into 2 7.610 * [backup-simplify]: Simplify 2 into 2 7.611 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.611 * [backup-simplify]: Simplify 2 into 2 7.612 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 7.613 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 7.613 * [backup-simplify]: Simplify (+ 0 0) into 0 7.613 * [taylor]: Taking taylor expansion of 0 in y 7.613 * [backup-simplify]: Simplify 0 into 0 7.613 * [backup-simplify]: Simplify 0 into 0 7.613 * [backup-simplify]: Simplify 0 into 0 7.614 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 7.614 * [backup-simplify]: Simplify 0 into 0 7.615 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.616 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.617 * [backup-simplify]: Simplify (+ 0 0) into 0 7.617 * [taylor]: Taking taylor expansion of 0 in y 7.617 * [backup-simplify]: Simplify 0 into 0 7.617 * [backup-simplify]: Simplify 0 into 0 7.617 * [backup-simplify]: Simplify 0 into 0 7.617 * [backup-simplify]: Simplify 0 into 0 7.617 * [backup-simplify]: Simplify (+ (* 2 (* y 1)) (* 2 (* 1 x))) into (+ (* 2 x) (* 2 y)) 7.618 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ 1 x)) into (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) 7.618 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in (x y) around 0 7.618 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 7.618 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.618 * [taylor]: Taking taylor expansion of 2 in y 7.618 * [backup-simplify]: Simplify 2 into 2 7.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.618 * [taylor]: Taking taylor expansion of y in y 7.618 * [backup-simplify]: Simplify 0 into 0 7.618 * [backup-simplify]: Simplify 1 into 1 7.618 * [backup-simplify]: Simplify (/ 1 1) into 1 7.618 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 7.618 * [taylor]: Taking taylor expansion of 2 in y 7.619 * [backup-simplify]: Simplify 2 into 2 7.619 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.619 * [taylor]: Taking taylor expansion of x in y 7.619 * [backup-simplify]: Simplify x into x 7.619 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.619 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 7.619 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.619 * [taylor]: Taking taylor expansion of 2 in x 7.619 * [backup-simplify]: Simplify 2 into 2 7.619 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.619 * [taylor]: Taking taylor expansion of y in x 7.619 * [backup-simplify]: Simplify y into y 7.619 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.619 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.619 * [taylor]: Taking taylor expansion of 2 in x 7.619 * [backup-simplify]: Simplify 2 into 2 7.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.619 * [backup-simplify]: Simplify 0 into 0 7.619 * [backup-simplify]: Simplify 1 into 1 7.619 * [backup-simplify]: Simplify (/ 1 1) into 1 7.620 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 7.620 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.620 * [taylor]: Taking taylor expansion of 2 in x 7.620 * [backup-simplify]: Simplify 2 into 2 7.620 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.620 * [taylor]: Taking taylor expansion of y in x 7.620 * [backup-simplify]: Simplify y into y 7.620 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.620 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.620 * [taylor]: Taking taylor expansion of 2 in x 7.620 * [backup-simplify]: Simplify 2 into 2 7.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.620 * [taylor]: Taking taylor expansion of x in x 7.620 * [backup-simplify]: Simplify 0 into 0 7.620 * [backup-simplify]: Simplify 1 into 1 7.620 * [backup-simplify]: Simplify (/ 1 1) into 1 7.621 * [backup-simplify]: Simplify (* 2 1) into 2 7.621 * [backup-simplify]: Simplify (+ 0 2) into 2 7.621 * [taylor]: Taking taylor expansion of 2 in y 7.621 * [backup-simplify]: Simplify 2 into 2 7.621 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.623 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.623 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 7.623 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.623 * [taylor]: Taking taylor expansion of 2 in y 7.623 * [backup-simplify]: Simplify 2 into 2 7.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.623 * [taylor]: Taking taylor expansion of y in y 7.623 * [backup-simplify]: Simplify 0 into 0 7.623 * [backup-simplify]: Simplify 1 into 1 7.624 * [backup-simplify]: Simplify (/ 1 1) into 1 7.624 * [backup-simplify]: Simplify (* 2 1) into 2 7.624 * [backup-simplify]: Simplify 2 into 2 7.624 * [backup-simplify]: Simplify 2 into 2 7.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.625 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.627 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.627 * [backup-simplify]: Simplify (+ 0 0) into 0 7.627 * [taylor]: Taking taylor expansion of 0 in y 7.627 * [backup-simplify]: Simplify 0 into 0 7.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.628 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.629 * [backup-simplify]: Simplify 0 into 0 7.629 * [backup-simplify]: Simplify 0 into 0 7.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.630 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.632 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.632 * [backup-simplify]: Simplify (+ 0 0) into 0 7.632 * [taylor]: Taking taylor expansion of 0 in y 7.632 * [backup-simplify]: Simplify 0 into 0 7.632 * [backup-simplify]: Simplify 0 into 0 7.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.635 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.635 * [backup-simplify]: Simplify 0 into 0 7.635 * [backup-simplify]: Simplify 0 into 0 7.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.637 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.639 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.639 * [backup-simplify]: Simplify (+ 0 0) into 0 7.639 * [taylor]: Taking taylor expansion of 0 in y 7.640 * [backup-simplify]: Simplify 0 into 0 7.640 * [backup-simplify]: Simplify 0 into 0 7.640 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 x)))) (* 2 (* (/ 1 (/ 1 y)) 1))) into (+ (* 2 x) (* 2 y)) 7.640 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) 7.640 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in (x y) around 0 7.640 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in y 7.640 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 7.641 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.641 * [taylor]: Taking taylor expansion of 2 in y 7.641 * [backup-simplify]: Simplify 2 into 2 7.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.641 * [taylor]: Taking taylor expansion of y in y 7.641 * [backup-simplify]: Simplify 0 into 0 7.641 * [backup-simplify]: Simplify 1 into 1 7.641 * [backup-simplify]: Simplify (/ 1 1) into 1 7.641 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 7.641 * [taylor]: Taking taylor expansion of 2 in y 7.641 * [backup-simplify]: Simplify 2 into 2 7.641 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.641 * [taylor]: Taking taylor expansion of x in y 7.641 * [backup-simplify]: Simplify x into x 7.642 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.642 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 7.642 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 7.642 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.642 * [taylor]: Taking taylor expansion of 2 in x 7.642 * [backup-simplify]: Simplify 2 into 2 7.642 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.642 * [taylor]: Taking taylor expansion of y in x 7.642 * [backup-simplify]: Simplify y into y 7.642 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.642 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.642 * [taylor]: Taking taylor expansion of 2 in x 7.642 * [backup-simplify]: Simplify 2 into 2 7.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.642 * [taylor]: Taking taylor expansion of x in x 7.642 * [backup-simplify]: Simplify 0 into 0 7.642 * [backup-simplify]: Simplify 1 into 1 7.642 * [backup-simplify]: Simplify (/ 1 1) into 1 7.642 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 7.643 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 7.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.643 * [taylor]: Taking taylor expansion of 2 in x 7.643 * [backup-simplify]: Simplify 2 into 2 7.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.643 * [taylor]: Taking taylor expansion of y in x 7.643 * [backup-simplify]: Simplify y into y 7.643 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.643 * [taylor]: Taking taylor expansion of 2 in x 7.643 * [backup-simplify]: Simplify 2 into 2 7.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.643 * [taylor]: Taking taylor expansion of x in x 7.643 * [backup-simplify]: Simplify 0 into 0 7.643 * [backup-simplify]: Simplify 1 into 1 7.643 * [backup-simplify]: Simplify (/ 1 1) into 1 7.644 * [backup-simplify]: Simplify (* 2 1) into 2 7.644 * [backup-simplify]: Simplify (+ 0 2) into 2 7.645 * [backup-simplify]: Simplify (- 2) into -2 7.645 * [taylor]: Taking taylor expansion of -2 in y 7.645 * [backup-simplify]: Simplify -2 into -2 7.645 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.646 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.647 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 7.647 * [backup-simplify]: Simplify (- (* 2 (/ 1 y))) into (- (* 2 (/ 1 y))) 7.647 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 7.647 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.647 * [taylor]: Taking taylor expansion of 2 in y 7.647 * [backup-simplify]: Simplify 2 into 2 7.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.647 * [taylor]: Taking taylor expansion of y in y 7.647 * [backup-simplify]: Simplify 0 into 0 7.647 * [backup-simplify]: Simplify 1 into 1 7.647 * [backup-simplify]: Simplify (/ 1 1) into 1 7.648 * [backup-simplify]: Simplify (* 2 1) into 2 7.648 * [backup-simplify]: Simplify (- 2) into -2 7.648 * [backup-simplify]: Simplify -2 into -2 7.648 * [backup-simplify]: Simplify -2 into -2 7.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.649 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.651 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.651 * [backup-simplify]: Simplify (+ 0 0) into 0 7.651 * [backup-simplify]: Simplify (- 0) into 0 7.651 * [taylor]: Taking taylor expansion of 0 in y 7.651 * [backup-simplify]: Simplify 0 into 0 7.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.653 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.653 * [backup-simplify]: Simplify (- 0) into 0 7.653 * [backup-simplify]: Simplify 0 into 0 7.653 * [backup-simplify]: Simplify 0 into 0 7.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.654 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.656 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.656 * [backup-simplify]: Simplify (+ 0 0) into 0 7.657 * [backup-simplify]: Simplify (- 0) into 0 7.657 * [taylor]: Taking taylor expansion of 0 in y 7.657 * [backup-simplify]: Simplify 0 into 0 7.657 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.658 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.659 * [backup-simplify]: Simplify (- 0) into 0 7.659 * [backup-simplify]: Simplify 0 into 0 7.659 * [backup-simplify]: Simplify 0 into 0 7.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.660 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.662 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.662 * [backup-simplify]: Simplify (+ 0 0) into 0 7.663 * [backup-simplify]: Simplify (- 0) into 0 7.663 * [taylor]: Taking taylor expansion of 0 in y 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- x))))) (* -2 (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 2 x) (* 2 y)) 7.663 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 7.663 * [backup-simplify]: Simplify (+ (+ x y) y) into (+ x (* 2 y)) 7.663 * [approximate]: Taking taylor expansion of (+ x (* 2 y)) in (x y) around 0 7.663 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in y 7.663 * [taylor]: Taking taylor expansion of x in y 7.663 * [backup-simplify]: Simplify x into x 7.663 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.664 * [taylor]: Taking taylor expansion of 2 in y 7.664 * [backup-simplify]: Simplify 2 into 2 7.664 * [taylor]: Taking taylor expansion of y in y 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 1 into 1 7.664 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 7.664 * [taylor]: Taking taylor expansion of x in x 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 1 into 1 7.664 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.664 * [taylor]: Taking taylor expansion of 2 in x 7.664 * [backup-simplify]: Simplify 2 into 2 7.664 * [taylor]: Taking taylor expansion of y in x 7.664 * [backup-simplify]: Simplify y into y 7.664 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 7.664 * [taylor]: Taking taylor expansion of x in x 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 1 into 1 7.664 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.664 * [taylor]: Taking taylor expansion of 2 in x 7.664 * [backup-simplify]: Simplify 2 into 2 7.664 * [taylor]: Taking taylor expansion of y in x 7.664 * [backup-simplify]: Simplify y into y 7.664 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 7.664 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 7.664 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.664 * [taylor]: Taking taylor expansion of 2 in y 7.664 * [backup-simplify]: Simplify 2 into 2 7.664 * [taylor]: Taking taylor expansion of y in y 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 1 into 1 7.665 * [backup-simplify]: Simplify (* 2 0) into 0 7.665 * [backup-simplify]: Simplify 0 into 0 7.665 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 7.666 * [backup-simplify]: Simplify (+ 1 0) into 1 7.666 * [taylor]: Taking taylor expansion of 1 in y 7.666 * [backup-simplify]: Simplify 1 into 1 7.666 * [backup-simplify]: Simplify 1 into 1 7.666 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.666 * [backup-simplify]: Simplify 2 into 2 7.667 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 7.667 * [backup-simplify]: Simplify (+ 0 0) into 0 7.667 * [taylor]: Taking taylor expansion of 0 in y 7.667 * [backup-simplify]: Simplify 0 into 0 7.667 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.669 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.670 * [backup-simplify]: Simplify (+ 0 0) into 0 7.670 * [taylor]: Taking taylor expansion of 0 in y 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify (+ (* 2 (* y 1)) (* 1 (* 1 x))) into (+ x (* 2 y)) 7.670 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) into (+ (* 2 (/ 1 y)) (/ 1 x)) 7.670 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in (x y) around 0 7.670 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 7.670 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.670 * [taylor]: Taking taylor expansion of 2 in y 7.671 * [backup-simplify]: Simplify 2 into 2 7.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.671 * [taylor]: Taking taylor expansion of y in y 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [backup-simplify]: Simplify (/ 1 1) into 1 7.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.671 * [taylor]: Taking taylor expansion of x in y 7.671 * [backup-simplify]: Simplify x into x 7.671 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.671 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 7.671 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.671 * [taylor]: Taking taylor expansion of 2 in x 7.671 * [backup-simplify]: Simplify 2 into 2 7.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.671 * [taylor]: Taking taylor expansion of y in x 7.671 * [backup-simplify]: Simplify y into y 7.671 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.671 * [taylor]: Taking taylor expansion of x in x 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.672 * [backup-simplify]: Simplify (/ 1 1) into 1 7.672 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 7.672 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.672 * [taylor]: Taking taylor expansion of 2 in x 7.672 * [backup-simplify]: Simplify 2 into 2 7.672 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.672 * [taylor]: Taking taylor expansion of y in x 7.672 * [backup-simplify]: Simplify y into y 7.672 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.672 * [taylor]: Taking taylor expansion of x in x 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 1 into 1 7.672 * [backup-simplify]: Simplify (/ 1 1) into 1 7.673 * [backup-simplify]: Simplify (+ 0 1) into 1 7.673 * [taylor]: Taking taylor expansion of 1 in y 7.673 * [backup-simplify]: Simplify 1 into 1 7.673 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.674 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 7.674 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.674 * [taylor]: Taking taylor expansion of 2 in y 7.674 * [backup-simplify]: Simplify 2 into 2 7.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.674 * [taylor]: Taking taylor expansion of y in y 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 1 into 1 7.674 * [backup-simplify]: Simplify (/ 1 1) into 1 7.675 * [backup-simplify]: Simplify (* 2 1) into 2 7.675 * [backup-simplify]: Simplify 2 into 2 7.675 * [backup-simplify]: Simplify 1 into 1 7.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.675 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.676 * [backup-simplify]: Simplify (+ 0 0) into 0 7.676 * [taylor]: Taking taylor expansion of 0 in y 7.676 * [backup-simplify]: Simplify 0 into 0 7.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.678 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.678 * [backup-simplify]: Simplify 0 into 0 7.678 * [backup-simplify]: Simplify 0 into 0 7.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.679 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.681 * [backup-simplify]: Simplify (+ 0 0) into 0 7.681 * [taylor]: Taking taylor expansion of 0 in y 7.681 * [backup-simplify]: Simplify 0 into 0 7.681 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.683 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.685 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.686 * [backup-simplify]: Simplify (+ 0 0) into 0 7.686 * [taylor]: Taking taylor expansion of 0 in y 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 2 (* (/ 1 (/ 1 y)) 1))) into (+ x (* 2 y)) 7.687 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (- (+ (* 2 (/ 1 y)) (/ 1 x))) 7.687 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in (x y) around 0 7.687 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in y 7.687 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 7.687 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.687 * [taylor]: Taking taylor expansion of 2 in y 7.687 * [backup-simplify]: Simplify 2 into 2 7.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.687 * [taylor]: Taking taylor expansion of y in y 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 1 into 1 7.688 * [backup-simplify]: Simplify (/ 1 1) into 1 7.688 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.688 * [taylor]: Taking taylor expansion of x in y 7.688 * [backup-simplify]: Simplify x into x 7.688 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.688 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 7.688 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 7.688 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.688 * [taylor]: Taking taylor expansion of 2 in x 7.688 * [backup-simplify]: Simplify 2 into 2 7.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.688 * [taylor]: Taking taylor expansion of y in x 7.688 * [backup-simplify]: Simplify y into y 7.688 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.688 * [taylor]: Taking taylor expansion of x in x 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 1 into 1 7.689 * [backup-simplify]: Simplify (/ 1 1) into 1 7.689 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 7.689 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 7.689 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.689 * [taylor]: Taking taylor expansion of 2 in x 7.689 * [backup-simplify]: Simplify 2 into 2 7.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.689 * [taylor]: Taking taylor expansion of y in x 7.689 * [backup-simplify]: Simplify y into y 7.689 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.689 * [taylor]: Taking taylor expansion of x in x 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify 1 into 1 7.689 * [backup-simplify]: Simplify (/ 1 1) into 1 7.690 * [backup-simplify]: Simplify (+ 0 1) into 1 7.690 * [backup-simplify]: Simplify (- 1) into -1 7.690 * [taylor]: Taking taylor expansion of -1 in y 7.690 * [backup-simplify]: Simplify -1 into -1 7.691 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.691 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 7.691 * [backup-simplify]: Simplify (- (* 2 (/ 1 y))) into (- (* 2 (/ 1 y))) 7.692 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 7.692 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.692 * [taylor]: Taking taylor expansion of 2 in y 7.692 * [backup-simplify]: Simplify 2 into 2 7.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.692 * [taylor]: Taking taylor expansion of y in y 7.692 * [backup-simplify]: Simplify 0 into 0 7.692 * [backup-simplify]: Simplify 1 into 1 7.692 * [backup-simplify]: Simplify (/ 1 1) into 1 7.693 * [backup-simplify]: Simplify (* 2 1) into 2 7.693 * [backup-simplify]: Simplify (- 2) into -2 7.693 * [backup-simplify]: Simplify -2 into -2 7.693 * [backup-simplify]: Simplify -1 into -1 7.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.694 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.695 * [backup-simplify]: Simplify (+ 0 0) into 0 7.695 * [backup-simplify]: Simplify (- 0) into 0 7.695 * [taylor]: Taking taylor expansion of 0 in y 7.695 * [backup-simplify]: Simplify 0 into 0 7.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.697 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.697 * [backup-simplify]: Simplify (- 0) into 0 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 0 into 0 7.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.699 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.700 * [backup-simplify]: Simplify (+ 0 0) into 0 7.700 * [backup-simplify]: Simplify (- 0) into 0 7.700 * [taylor]: Taking taylor expansion of 0 in y 7.700 * [backup-simplify]: Simplify 0 into 0 7.700 * [backup-simplify]: Simplify 0 into 0 7.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.702 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.703 * [backup-simplify]: Simplify (- 0) into 0 7.703 * [backup-simplify]: Simplify 0 into 0 7.703 * [backup-simplify]: Simplify 0 into 0 7.703 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.704 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.706 * [backup-simplify]: Simplify (+ 0 0) into 0 7.706 * [backup-simplify]: Simplify (- 0) into 0 7.706 * [taylor]: Taking taylor expansion of 0 in y 7.706 * [backup-simplify]: Simplify 0 into 0 7.706 * [backup-simplify]: Simplify 0 into 0 7.706 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* -2 (* (/ 1 (/ 1 (- y))) 1))) into (+ x (* 2 y)) 7.706 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.707 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ x y) y) x) z) x) into (+ (* 3 x) (+ z (* 2 y))) 7.707 * [approximate]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in (x y z) around 0 7.707 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in z 7.707 * [taylor]: Taking taylor expansion of (* 3 x) in z 7.707 * [taylor]: Taking taylor expansion of 3 in z 7.707 * [backup-simplify]: Simplify 3 into 3 7.707 * [taylor]: Taking taylor expansion of x in z 7.707 * [backup-simplify]: Simplify x into x 7.707 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in z 7.707 * [taylor]: Taking taylor expansion of z in z 7.707 * [backup-simplify]: Simplify 0 into 0 7.707 * [backup-simplify]: Simplify 1 into 1 7.707 * [taylor]: Taking taylor expansion of (* 2 y) in z 7.707 * [taylor]: Taking taylor expansion of 2 in z 7.707 * [backup-simplify]: Simplify 2 into 2 7.707 * [taylor]: Taking taylor expansion of y in z 7.707 * [backup-simplify]: Simplify y into y 7.707 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in y 7.707 * [taylor]: Taking taylor expansion of (* 3 x) in y 7.707 * [taylor]: Taking taylor expansion of 3 in y 7.707 * [backup-simplify]: Simplify 3 into 3 7.707 * [taylor]: Taking taylor expansion of x in y 7.707 * [backup-simplify]: Simplify x into x 7.707 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 7.707 * [taylor]: Taking taylor expansion of z in y 7.708 * [backup-simplify]: Simplify z into z 7.708 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.708 * [taylor]: Taking taylor expansion of 2 in y 7.708 * [backup-simplify]: Simplify 2 into 2 7.708 * [taylor]: Taking taylor expansion of y in y 7.708 * [backup-simplify]: Simplify 0 into 0 7.708 * [backup-simplify]: Simplify 1 into 1 7.708 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 7.708 * [taylor]: Taking taylor expansion of (* 3 x) in x 7.708 * [taylor]: Taking taylor expansion of 3 in x 7.708 * [backup-simplify]: Simplify 3 into 3 7.708 * [taylor]: Taking taylor expansion of x in x 7.708 * [backup-simplify]: Simplify 0 into 0 7.708 * [backup-simplify]: Simplify 1 into 1 7.708 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 7.708 * [taylor]: Taking taylor expansion of z in x 7.708 * [backup-simplify]: Simplify z into z 7.708 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.708 * [taylor]: Taking taylor expansion of 2 in x 7.708 * [backup-simplify]: Simplify 2 into 2 7.708 * [taylor]: Taking taylor expansion of y in x 7.708 * [backup-simplify]: Simplify y into y 7.708 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 7.708 * [taylor]: Taking taylor expansion of (* 3 x) in x 7.708 * [taylor]: Taking taylor expansion of 3 in x 7.708 * [backup-simplify]: Simplify 3 into 3 7.708 * [taylor]: Taking taylor expansion of x in x 7.708 * [backup-simplify]: Simplify 0 into 0 7.708 * [backup-simplify]: Simplify 1 into 1 7.708 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 7.708 * [taylor]: Taking taylor expansion of z in x 7.708 * [backup-simplify]: Simplify z into z 7.708 * [taylor]: Taking taylor expansion of (* 2 y) in x 7.708 * [taylor]: Taking taylor expansion of 2 in x 7.709 * [backup-simplify]: Simplify 2 into 2 7.709 * [taylor]: Taking taylor expansion of y in x 7.709 * [backup-simplify]: Simplify y into y 7.709 * [backup-simplify]: Simplify (* 3 0) into 0 7.709 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 7.709 * [backup-simplify]: Simplify (+ z (* 2 y)) into (+ z (* 2 y)) 7.710 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 7.710 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 7.710 * [taylor]: Taking taylor expansion of z in y 7.710 * [backup-simplify]: Simplify z into z 7.710 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.710 * [taylor]: Taking taylor expansion of 2 in y 7.710 * [backup-simplify]: Simplify 2 into 2 7.710 * [taylor]: Taking taylor expansion of y in y 7.710 * [backup-simplify]: Simplify 0 into 0 7.710 * [backup-simplify]: Simplify 1 into 1 7.710 * [backup-simplify]: Simplify (* 2 0) into 0 7.710 * [backup-simplify]: Simplify (+ z 0) into z 7.710 * [taylor]: Taking taylor expansion of z in z 7.710 * [backup-simplify]: Simplify 0 into 0 7.710 * [backup-simplify]: Simplify 1 into 1 7.710 * [backup-simplify]: Simplify 0 into 0 7.711 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 7.712 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 7.712 * [backup-simplify]: Simplify (+ 0 0) into 0 7.712 * [backup-simplify]: Simplify (+ 3 0) into 3 7.712 * [taylor]: Taking taylor expansion of 3 in y 7.712 * [backup-simplify]: Simplify 3 into 3 7.713 * [taylor]: Taking taylor expansion of 3 in z 7.713 * [backup-simplify]: Simplify 3 into 3 7.713 * [backup-simplify]: Simplify 3 into 3 7.713 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.714 * [backup-simplify]: Simplify (+ 0 2) into 2 7.714 * [taylor]: Taking taylor expansion of 2 in z 7.714 * [backup-simplify]: Simplify 2 into 2 7.714 * [backup-simplify]: Simplify 2 into 2 7.714 * [backup-simplify]: Simplify 1 into 1 7.715 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 7.715 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ 1 x)) (/ 1 z)) (/ 1 x)) into (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) 7.715 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in (x y z) around 0 7.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 7.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 7.715 * [taylor]: Taking taylor expansion of 2 in z 7.715 * [backup-simplify]: Simplify 2 into 2 7.715 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.716 * [taylor]: Taking taylor expansion of y in z 7.716 * [backup-simplify]: Simplify y into y 7.716 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.716 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 7.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.716 * [taylor]: Taking taylor expansion of z in z 7.716 * [backup-simplify]: Simplify 0 into 0 7.716 * [backup-simplify]: Simplify 1 into 1 7.716 * [backup-simplify]: Simplify (/ 1 1) into 1 7.716 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 7.716 * [taylor]: Taking taylor expansion of 3 in z 7.716 * [backup-simplify]: Simplify 3 into 3 7.716 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.716 * [taylor]: Taking taylor expansion of x in z 7.716 * [backup-simplify]: Simplify x into x 7.716 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 7.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.717 * [taylor]: Taking taylor expansion of 2 in y 7.717 * [backup-simplify]: Simplify 2 into 2 7.717 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.717 * [taylor]: Taking taylor expansion of y in y 7.717 * [backup-simplify]: Simplify 0 into 0 7.717 * [backup-simplify]: Simplify 1 into 1 7.717 * [backup-simplify]: Simplify (/ 1 1) into 1 7.717 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 7.717 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.717 * [taylor]: Taking taylor expansion of z in y 7.717 * [backup-simplify]: Simplify z into z 7.717 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.717 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 7.717 * [taylor]: Taking taylor expansion of 3 in y 7.717 * [backup-simplify]: Simplify 3 into 3 7.717 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.717 * [taylor]: Taking taylor expansion of x in y 7.717 * [backup-simplify]: Simplify x into x 7.718 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.718 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 7.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.718 * [taylor]: Taking taylor expansion of 2 in x 7.718 * [backup-simplify]: Simplify 2 into 2 7.718 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.718 * [taylor]: Taking taylor expansion of y in x 7.718 * [backup-simplify]: Simplify y into y 7.718 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.718 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 7.718 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.718 * [taylor]: Taking taylor expansion of z in x 7.718 * [backup-simplify]: Simplify z into z 7.718 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.718 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 7.718 * [taylor]: Taking taylor expansion of 3 in x 7.718 * [backup-simplify]: Simplify 3 into 3 7.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.718 * [taylor]: Taking taylor expansion of x in x 7.718 * [backup-simplify]: Simplify 0 into 0 7.718 * [backup-simplify]: Simplify 1 into 1 7.719 * [backup-simplify]: Simplify (/ 1 1) into 1 7.719 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 7.719 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.719 * [taylor]: Taking taylor expansion of 2 in x 7.719 * [backup-simplify]: Simplify 2 into 2 7.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.719 * [taylor]: Taking taylor expansion of y in x 7.719 * [backup-simplify]: Simplify y into y 7.719 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.719 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 7.719 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.719 * [taylor]: Taking taylor expansion of z in x 7.719 * [backup-simplify]: Simplify z into z 7.719 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.719 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 7.719 * [taylor]: Taking taylor expansion of 3 in x 7.719 * [backup-simplify]: Simplify 3 into 3 7.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.719 * [taylor]: Taking taylor expansion of x in x 7.719 * [backup-simplify]: Simplify 0 into 0 7.719 * [backup-simplify]: Simplify 1 into 1 7.720 * [backup-simplify]: Simplify (/ 1 1) into 1 7.720 * [backup-simplify]: Simplify (* 3 1) into 3 7.721 * [backup-simplify]: Simplify (+ 0 3) into 3 7.721 * [backup-simplify]: Simplify (+ 0 3) into 3 7.721 * [taylor]: Taking taylor expansion of 3 in y 7.721 * [backup-simplify]: Simplify 3 into 3 7.721 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.723 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.723 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.723 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 7.723 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 7.723 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.723 * [taylor]: Taking taylor expansion of z in y 7.723 * [backup-simplify]: Simplify z into z 7.723 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.723 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.723 * [taylor]: Taking taylor expansion of 2 in y 7.724 * [backup-simplify]: Simplify 2 into 2 7.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.724 * [taylor]: Taking taylor expansion of y in y 7.724 * [backup-simplify]: Simplify 0 into 0 7.724 * [backup-simplify]: Simplify 1 into 1 7.724 * [backup-simplify]: Simplify (/ 1 1) into 1 7.724 * [backup-simplify]: Simplify (* 2 1) into 2 7.725 * [backup-simplify]: Simplify (+ 0 2) into 2 7.725 * [taylor]: Taking taylor expansion of 2 in z 7.725 * [backup-simplify]: Simplify 2 into 2 7.725 * [taylor]: Taking taylor expansion of 3 in z 7.725 * [backup-simplify]: Simplify 3 into 3 7.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.726 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.728 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 7.728 * [backup-simplify]: Simplify (+ 0 0) into 0 7.728 * [backup-simplify]: Simplify (+ 0 0) into 0 7.729 * [taylor]: Taking taylor expansion of 0 in y 7.729 * [backup-simplify]: Simplify 0 into 0 7.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.730 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.730 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.730 * [taylor]: Taking taylor expansion of z in z 7.730 * [backup-simplify]: Simplify 0 into 0 7.730 * [backup-simplify]: Simplify 1 into 1 7.731 * [backup-simplify]: Simplify (/ 1 1) into 1 7.731 * [backup-simplify]: Simplify 1 into 1 7.731 * [taylor]: Taking taylor expansion of 0 in z 7.731 * [backup-simplify]: Simplify 0 into 0 7.731 * [backup-simplify]: Simplify 2 into 2 7.731 * [backup-simplify]: Simplify 3 into 3 7.732 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 7.733 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) (/ 1 (- x))) (/ 1 (- z))) (/ 1 (- x))) into (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) 7.733 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in (x y z) around 0 7.733 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in z 7.733 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 7.733 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 7.733 * [taylor]: Taking taylor expansion of 2 in z 7.733 * [backup-simplify]: Simplify 2 into 2 7.733 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.733 * [taylor]: Taking taylor expansion of y in z 7.733 * [backup-simplify]: Simplify y into y 7.733 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.733 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 7.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.733 * [taylor]: Taking taylor expansion of z in z 7.733 * [backup-simplify]: Simplify 0 into 0 7.733 * [backup-simplify]: Simplify 1 into 1 7.733 * [backup-simplify]: Simplify (/ 1 1) into 1 7.733 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 7.734 * [taylor]: Taking taylor expansion of 3 in z 7.734 * [backup-simplify]: Simplify 3 into 3 7.734 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.734 * [taylor]: Taking taylor expansion of x in z 7.734 * [backup-simplify]: Simplify x into x 7.734 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.734 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in y 7.734 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 7.734 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.734 * [taylor]: Taking taylor expansion of 2 in y 7.734 * [backup-simplify]: Simplify 2 into 2 7.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.734 * [taylor]: Taking taylor expansion of y in y 7.734 * [backup-simplify]: Simplify 0 into 0 7.734 * [backup-simplify]: Simplify 1 into 1 7.734 * [backup-simplify]: Simplify (/ 1 1) into 1 7.734 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 7.734 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.735 * [taylor]: Taking taylor expansion of z in y 7.735 * [backup-simplify]: Simplify z into z 7.735 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.735 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 7.735 * [taylor]: Taking taylor expansion of 3 in y 7.735 * [backup-simplify]: Simplify 3 into 3 7.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.735 * [taylor]: Taking taylor expansion of x in y 7.735 * [backup-simplify]: Simplify x into x 7.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.735 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 7.735 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 7.735 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.735 * [taylor]: Taking taylor expansion of 2 in x 7.735 * [backup-simplify]: Simplify 2 into 2 7.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.735 * [taylor]: Taking taylor expansion of y in x 7.735 * [backup-simplify]: Simplify y into y 7.735 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.735 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 7.735 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.735 * [taylor]: Taking taylor expansion of z in x 7.735 * [backup-simplify]: Simplify z into z 7.735 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.735 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 7.736 * [taylor]: Taking taylor expansion of 3 in x 7.736 * [backup-simplify]: Simplify 3 into 3 7.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.736 * [taylor]: Taking taylor expansion of x in x 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify 1 into 1 7.736 * [backup-simplify]: Simplify (/ 1 1) into 1 7.736 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 7.736 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 7.736 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 7.736 * [taylor]: Taking taylor expansion of 2 in x 7.736 * [backup-simplify]: Simplify 2 into 2 7.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.736 * [taylor]: Taking taylor expansion of y in x 7.736 * [backup-simplify]: Simplify y into y 7.736 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.736 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 7.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.736 * [taylor]: Taking taylor expansion of z in x 7.737 * [backup-simplify]: Simplify z into z 7.737 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.737 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 7.737 * [taylor]: Taking taylor expansion of 3 in x 7.737 * [backup-simplify]: Simplify 3 into 3 7.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.737 * [taylor]: Taking taylor expansion of x in x 7.737 * [backup-simplify]: Simplify 0 into 0 7.737 * [backup-simplify]: Simplify 1 into 1 7.737 * [backup-simplify]: Simplify (/ 1 1) into 1 7.738 * [backup-simplify]: Simplify (* 3 1) into 3 7.738 * [backup-simplify]: Simplify (+ 0 3) into 3 7.739 * [backup-simplify]: Simplify (+ 0 3) into 3 7.739 * [backup-simplify]: Simplify (- 3) into -3 7.739 * [taylor]: Taking taylor expansion of -3 in y 7.739 * [backup-simplify]: Simplify -3 into -3 7.739 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.741 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.741 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.741 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 7.741 * [backup-simplify]: Simplify (- (+ (/ 1 z) (* 2 (/ 1 y)))) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 7.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 2 (/ 1 y)))) in y 7.741 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 7.741 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.741 * [taylor]: Taking taylor expansion of z in y 7.741 * [backup-simplify]: Simplify z into z 7.741 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.741 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 7.741 * [taylor]: Taking taylor expansion of 2 in y 7.741 * [backup-simplify]: Simplify 2 into 2 7.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.741 * [taylor]: Taking taylor expansion of y in y 7.741 * [backup-simplify]: Simplify 0 into 0 7.741 * [backup-simplify]: Simplify 1 into 1 7.742 * [backup-simplify]: Simplify (/ 1 1) into 1 7.742 * [backup-simplify]: Simplify (* 2 1) into 2 7.742 * [backup-simplify]: Simplify (+ 0 2) into 2 7.742 * [backup-simplify]: Simplify (- 2) into -2 7.742 * [taylor]: Taking taylor expansion of -2 in z 7.742 * [backup-simplify]: Simplify -2 into -2 7.742 * [taylor]: Taking taylor expansion of -3 in z 7.742 * [backup-simplify]: Simplify -3 into -3 7.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.743 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.749 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 7.749 * [backup-simplify]: Simplify (+ 0 0) into 0 7.749 * [backup-simplify]: Simplify (+ 0 0) into 0 7.750 * [backup-simplify]: Simplify (- 0) into 0 7.750 * [taylor]: Taking taylor expansion of 0 in y 7.750 * [backup-simplify]: Simplify 0 into 0 7.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.751 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.751 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.751 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 7.751 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.751 * [taylor]: Taking taylor expansion of z in z 7.751 * [backup-simplify]: Simplify 0 into 0 7.751 * [backup-simplify]: Simplify 1 into 1 7.751 * [backup-simplify]: Simplify (/ 1 1) into 1 7.751 * [backup-simplify]: Simplify (- 1) into -1 7.751 * [backup-simplify]: Simplify -1 into -1 7.751 * [taylor]: Taking taylor expansion of 0 in z 7.751 * [backup-simplify]: Simplify 0 into 0 7.751 * [backup-simplify]: Simplify -2 into -2 7.751 * [backup-simplify]: Simplify -3 into -3 7.752 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 7.752 * * * [progress]: simplifying candidates 7.753 * [simplify]: Simplifying: (expm1 (+ (+ (+ x y) y) x)) (log1p (+ (+ (+ x y) y) x)) (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (* (* (exp (+ x y)) (exp y)) (exp x)) (* (exp (+ (+ x y) y)) (exp x)) (log (+ (+ (+ x y) y) x)) (exp (+ (+ (+ x y) y) x)) (* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x))) (cbrt (+ (+ (+ x y) y) x)) (* (* (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x)) (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (+ (pow (+ (+ x y) y) 3) (pow x 3)) (+ (* (+ (+ x y) y) (+ (+ x y) y)) (- (* x x) (* (+ (+ x y) y) x))) (- (* (+ (+ x y) y) (+ (+ x y) y)) (* x x)) (- (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ y x) (expm1 (+ (+ x y) y)) (log1p (+ (+ x y) y)) (* (* (exp x) (exp y)) (exp y)) (* (exp (+ x y)) (exp y)) (log (+ (+ x y) y)) (exp (+ (+ x y) y)) (* (cbrt (+ (+ x y) y)) (cbrt (+ (+ x y) y))) (cbrt (+ (+ x y) y)) (* (* (+ (+ x y) y) (+ (+ x y) y)) (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (+ (pow (+ x y) 3) (pow y 3)) (+ (* (+ x y) (+ x y)) (- (* y y) (* (+ x y) y))) (- (* (+ x y) (+ x y)) (* y y)) (- (+ x y) y) (+ (+ x y) y) (+ (+ x y) y) (+ y y) (expm1 (+ (+ (+ (+ (+ x y) y) x) z) x)) (log1p (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (* (exp (+ x y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (exp (+ (+ x y) y)) (exp x)) (exp z)) (exp x)) (* (* (exp (+ (+ (+ x y) y) x)) (exp z)) (exp x)) (* (exp (+ (+ (+ (+ x y) y) x) z)) (exp x)) (log (+ (+ (+ (+ (+ x y) y) x) z) x)) (exp (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x))) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (pow (+ (+ (+ (+ x y) y) x) z) 3) (pow x 3)) (+ (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (- (* x x) (* (+ (+ (+ (+ x y) y) x) z) x))) (- (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (* x x)) (- (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ z x) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ x (* 2 y)) (+ x (* 2 y)) (+ x (* 2 y)) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 7.754 * * [simplify]: Extracting # 0 : cost 0 7.754 * * [simplify]: Extracting # 1 : cost 0 7.754 * * [simplify]: Extracting # 2 : cost 0 7.755 * * [simplify]: Extracting # 3 : cost 0 7.755 * * [simplify]: Extracting # 4 : cost 0 7.755 * * [simplify]: Extracting # 5 : cost 0 7.755 * * [simplify]: Extracting # 6 : cost 0 7.755 * * [simplify]: iteration 0 : 94 enodes (cost 772 ) 7.777 * * [simplify]: Extracting # 0 : cost 0 7.777 * * [simplify]: Extracting # 1 : cost 0 7.778 * * [simplify]: Extracting # 2 : cost 0 7.778 * * [simplify]: Extracting # 3 : cost 0 7.779 * * [simplify]: Extracting # 4 : cost 0 7.779 * * [simplify]: iteration 1 : 267 enodes (cost 720 ) 7.907 * * [simplify]: Extracting # 0 : cost 0 7.909 * * [simplify]: Extracting # 1 : cost 0 7.912 * * [simplify]: Extracting # 2 : cost 0 7.914 * * [simplify]: Extracting # 3 : cost 0 7.917 * * [simplify]: Extracting # 4 : cost 0 7.918 * * [simplify]: iteration 2 : 1168 enodes (cost 607 ) 8.550 * * [simplify]: Extracting # 0 : cost 0 8.555 * * [simplify]: Extracting # 1 : cost 0 8.563 * * [simplify]: Extracting # 2 : cost 0 8.570 * * [simplify]: Extracting # 3 : cost 0 8.584 * * [simplify]: Extracting # 4 : cost 0 8.597 * * [simplify]: iteration done: 5000 enodes (cost 596 ) 8.598 * [simplify]: Simplified to: (expm1 (+ (fma 2 y x) x)) (log1p (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (log (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (* (cbrt (+ (fma 2 y x) x)) (cbrt (+ (fma 2 y x) x))) (cbrt (+ (fma 2 y x) x)) (pow (+ (fma 2 y x) x) 3) (sqrt (+ (fma 2 y x) x)) (sqrt (+ (fma 2 y x) x)) (+ (pow (fma 2 y x) 3) (pow x 3)) (fma x (- 0 (* 2 y)) (* (fma 2 y x) (fma 2 y x))) (* (fma 2 y 0) (+ (fma 2 y x) x)) (fma 2 y 0) (+ (fma 2 y x) x) (+ (fma 2 y x) x) (+ (fma 2 y x) x) (+ x y) (expm1 (fma 2 y x)) (log1p (fma 2 y x)) (exp (fma 2 y x)) (exp (fma 2 y x)) (log (fma 2 y x)) (exp (fma 2 y x)) (* (cbrt (fma 2 y x)) (cbrt (fma 2 y x))) (cbrt (fma 2 y x)) (pow (fma 2 y x) 3) (sqrt (fma 2 y x)) (sqrt (fma 2 y x)) (+ (pow (+ x y) 3) (pow y 3)) (fma y (- x) (* (+ x y) (+ x y))) (* (fma 2 y x) x) x (fma 2 y x) (fma 2 y x) (* 2 y) (expm1 (+ (+ (+ z x) (fma 2 y x)) x)) (log1p (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (log (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (* (cbrt (+ (+ (+ z x) (fma 2 y x)) x)) (cbrt (+ (+ (+ z x) (fma 2 y x)) x))) (cbrt (+ (+ (+ z x) (fma 2 y x)) x)) (pow (+ (+ (+ z x) (fma 2 y x)) x) 3) (sqrt (+ (+ (+ z x) (fma 2 y x)) x)) (sqrt (+ (+ (+ z x) (fma 2 y x)) x)) (+ (pow (+ (+ z x) (fma 2 y x)) 3) (pow x 3)) (fma (- (- 0 (* 2 y)) (+ z x)) x (* (+ (+ z x) (fma 2 y x)) (+ (+ z x) (fma 2 y x)))) (fma (+ (+ z x) (fma 2 y x)) (+ (+ z x) (fma 2 y x)) (- (* x x))) (+ (+ (fma 2 y x) x) (- z x)) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ z x) (* 2 (+ y x)) (* 2 (+ y x)) (* 2 (+ y x)) (fma 2 y x) (fma 2 y x) (fma 2 y x) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) 8.599 * * * [progress]: adding candidates to table 8.956 * * [progress]: iteration 3 / 4 8.956 * * * [progress]: picking best candidate 8.961 * * * * [pick]: Picked # 8.961 * * * [progress]: localizing error 8.978 * * * [progress]: generating rewritten candidates 8.978 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.979 * * * [progress]: generating series expansions 8.979 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.979 * [backup-simplify]: Simplify (fma 3 x (fma y 2 z)) into (fma 3 x (fma y 2 z)) 8.979 * [approximate]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in (x y z) around 0 8.979 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in z 8.980 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 8.980 * [taylor]: Taking taylor expansion of (* 3 x) in z 8.980 * [taylor]: Taking taylor expansion of 3 in z 8.980 * [backup-simplify]: Simplify 3 into 3 8.980 * [taylor]: Taking taylor expansion of x in z 8.980 * [backup-simplify]: Simplify x into x 8.980 * [taylor]: Taking taylor expansion of (fma y 2 z) in z 8.980 * [taylor]: Rewrote expression to (+ (* y 2) z) 8.980 * [taylor]: Taking taylor expansion of (* y 2) in z 8.980 * [taylor]: Taking taylor expansion of y in z 8.980 * [backup-simplify]: Simplify y into y 8.980 * [taylor]: Taking taylor expansion of 2 in z 8.980 * [backup-simplify]: Simplify 2 into 2 8.980 * [taylor]: Taking taylor expansion of z in z 8.980 * [backup-simplify]: Simplify 0 into 0 8.980 * [backup-simplify]: Simplify 1 into 1 8.980 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in y 8.980 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 8.980 * [taylor]: Taking taylor expansion of (* 3 x) in y 8.980 * [taylor]: Taking taylor expansion of 3 in y 8.981 * [backup-simplify]: Simplify 3 into 3 8.981 * [taylor]: Taking taylor expansion of x in y 8.981 * [backup-simplify]: Simplify x into x 8.981 * [taylor]: Taking taylor expansion of (fma y 2 z) in y 8.981 * [taylor]: Rewrote expression to (+ (* y 2) z) 8.981 * [taylor]: Taking taylor expansion of (* y 2) in y 8.981 * [taylor]: Taking taylor expansion of y in y 8.981 * [backup-simplify]: Simplify 0 into 0 8.981 * [backup-simplify]: Simplify 1 into 1 8.981 * [taylor]: Taking taylor expansion of 2 in y 8.981 * [backup-simplify]: Simplify 2 into 2 8.981 * [taylor]: Taking taylor expansion of z in y 8.981 * [backup-simplify]: Simplify z into z 8.981 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x 8.981 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 8.981 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.981 * [taylor]: Taking taylor expansion of 3 in x 8.981 * [backup-simplify]: Simplify 3 into 3 8.981 * [taylor]: Taking taylor expansion of x in x 8.981 * [backup-simplify]: Simplify 0 into 0 8.981 * [backup-simplify]: Simplify 1 into 1 8.981 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 8.982 * [taylor]: Rewrote expression to (+ (* y 2) z) 8.982 * [taylor]: Taking taylor expansion of (* y 2) in x 8.982 * [taylor]: Taking taylor expansion of y in x 8.982 * [backup-simplify]: Simplify y into y 8.982 * [taylor]: Taking taylor expansion of 2 in x 8.982 * [backup-simplify]: Simplify 2 into 2 8.982 * [taylor]: Taking taylor expansion of z in x 8.982 * [backup-simplify]: Simplify z into z 8.982 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x 8.982 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 8.982 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.982 * [taylor]: Taking taylor expansion of 3 in x 8.982 * [backup-simplify]: Simplify 3 into 3 8.982 * [taylor]: Taking taylor expansion of x in x 8.982 * [backup-simplify]: Simplify 0 into 0 8.982 * [backup-simplify]: Simplify 1 into 1 8.982 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 8.982 * [taylor]: Rewrote expression to (+ (* y 2) z) 8.982 * [taylor]: Taking taylor expansion of (* y 2) in x 8.982 * [taylor]: Taking taylor expansion of y in x 8.982 * [backup-simplify]: Simplify y into y 8.982 * [taylor]: Taking taylor expansion of 2 in x 8.982 * [backup-simplify]: Simplify 2 into 2 8.982 * [taylor]: Taking taylor expansion of z in x 8.983 * [backup-simplify]: Simplify z into z 8.983 * [backup-simplify]: Simplify (* 3 0) into 0 8.983 * [backup-simplify]: Simplify (* y 2) into (* 2 y) 8.983 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y)) 8.984 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 8.984 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 8.984 * [taylor]: Taking taylor expansion of z in y 8.984 * [backup-simplify]: Simplify z into z 8.984 * [taylor]: Taking taylor expansion of (* 2 y) in y 8.984 * [taylor]: Taking taylor expansion of 2 in y 8.984 * [backup-simplify]: Simplify 2 into 2 8.984 * [taylor]: Taking taylor expansion of y in y 8.984 * [backup-simplify]: Simplify 0 into 0 8.984 * [backup-simplify]: Simplify 1 into 1 8.984 * [backup-simplify]: Simplify (* 2 0) into 0 8.984 * [backup-simplify]: Simplify (+ z 0) into z 8.984 * [taylor]: Taking taylor expansion of z in z 8.985 * [backup-simplify]: Simplify 0 into 0 8.985 * [backup-simplify]: Simplify 1 into 1 8.985 * [backup-simplify]: Simplify 0 into 0 8.985 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.986 * [backup-simplify]: Simplify (+ (* y 0) (* 0 2)) into 0 8.986 * [backup-simplify]: Simplify (+ 0 0) into 0 8.987 * [backup-simplify]: Simplify (+ 3 0) into 3 8.987 * [taylor]: Taking taylor expansion of 3 in y 8.987 * [backup-simplify]: Simplify 3 into 3 8.987 * [taylor]: Taking taylor expansion of 3 in z 8.987 * [backup-simplify]: Simplify 3 into 3 8.987 * [backup-simplify]: Simplify 3 into 3 8.988 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 8.988 * [backup-simplify]: Simplify (+ 0 2) into 2 8.988 * [taylor]: Taking taylor expansion of 2 in z 8.988 * [backup-simplify]: Simplify 2 into 2 8.988 * [backup-simplify]: Simplify 2 into 2 8.988 * [backup-simplify]: Simplify 1 into 1 8.989 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 8.989 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) into (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) 8.989 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in (x y z) around 0 8.989 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in z 8.990 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 8.990 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 8.990 * [taylor]: Taking taylor expansion of 3 in z 8.990 * [backup-simplify]: Simplify 3 into 3 8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.990 * [taylor]: Taking taylor expansion of x in z 8.990 * [backup-simplify]: Simplify x into x 8.990 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.990 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in z 8.990 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 8.990 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 8.990 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.990 * [taylor]: Taking taylor expansion of y in z 8.990 * [backup-simplify]: Simplify y into y 8.990 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.990 * [taylor]: Taking taylor expansion of 2 in z 8.990 * [backup-simplify]: Simplify 2 into 2 8.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.990 * [taylor]: Taking taylor expansion of z in z 8.990 * [backup-simplify]: Simplify 0 into 0 8.990 * [backup-simplify]: Simplify 1 into 1 8.991 * [backup-simplify]: Simplify (/ 1 1) into 1 8.991 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in y 8.991 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 8.991 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 8.991 * [taylor]: Taking taylor expansion of 3 in y 8.991 * [backup-simplify]: Simplify 3 into 3 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.991 * [taylor]: Taking taylor expansion of x in y 8.991 * [backup-simplify]: Simplify x into x 8.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.991 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in y 8.991 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 8.992 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.992 * [taylor]: Taking taylor expansion of y in y 8.992 * [backup-simplify]: Simplify 0 into 0 8.992 * [backup-simplify]: Simplify 1 into 1 8.992 * [backup-simplify]: Simplify (/ 1 1) into 1 8.992 * [taylor]: Taking taylor expansion of 2 in y 8.992 * [backup-simplify]: Simplify 2 into 2 8.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.992 * [taylor]: Taking taylor expansion of z in y 8.992 * [backup-simplify]: Simplify z into z 8.992 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.992 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x 8.992 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 8.993 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.993 * [taylor]: Taking taylor expansion of 3 in x 8.993 * [backup-simplify]: Simplify 3 into 3 8.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.993 * [taylor]: Taking taylor expansion of x in x 8.993 * [backup-simplify]: Simplify 0 into 0 8.993 * [backup-simplify]: Simplify 1 into 1 8.993 * [backup-simplify]: Simplify (/ 1 1) into 1 8.993 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 8.993 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 8.993 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 8.993 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.993 * [taylor]: Taking taylor expansion of y in x 8.993 * [backup-simplify]: Simplify y into y 8.994 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.994 * [taylor]: Taking taylor expansion of 2 in x 8.994 * [backup-simplify]: Simplify 2 into 2 8.994 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.994 * [taylor]: Taking taylor expansion of z in x 8.994 * [backup-simplify]: Simplify z into z 8.994 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.994 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x 8.994 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 8.994 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.994 * [taylor]: Taking taylor expansion of 3 in x 8.994 * [backup-simplify]: Simplify 3 into 3 8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.994 * [taylor]: Taking taylor expansion of x in x 8.994 * [backup-simplify]: Simplify 0 into 0 8.994 * [backup-simplify]: Simplify 1 into 1 8.995 * [backup-simplify]: Simplify (/ 1 1) into 1 8.995 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 8.995 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 8.995 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 8.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.995 * [taylor]: Taking taylor expansion of y in x 8.995 * [backup-simplify]: Simplify y into y 8.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.995 * [taylor]: Taking taylor expansion of 2 in x 8.995 * [backup-simplify]: Simplify 2 into 2 8.995 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.995 * [taylor]: Taking taylor expansion of z in x 8.995 * [backup-simplify]: Simplify z into z 8.995 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.996 * [backup-simplify]: Simplify (* 3 1) into 3 8.996 * [backup-simplify]: Simplify (+ 3 0) into 3 8.996 * [taylor]: Taking taylor expansion of 3 in y 8.996 * [backup-simplify]: Simplify 3 into 3 8.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.998 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 8.998 * [backup-simplify]: Simplify (* (/ 1 y) 2) into (/ 2 y) 8.998 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 8.998 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y))) 8.998 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 8.998 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.998 * [taylor]: Taking taylor expansion of z in y 8.998 * [backup-simplify]: Simplify z into z 8.999 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.999 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 8.999 * [taylor]: Taking taylor expansion of 2 in y 8.999 * [backup-simplify]: Simplify 2 into 2 8.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.999 * [taylor]: Taking taylor expansion of y in y 8.999 * [backup-simplify]: Simplify 0 into 0 8.999 * [backup-simplify]: Simplify 1 into 1 8.999 * [backup-simplify]: Simplify (/ 1 1) into 1 9.000 * [backup-simplify]: Simplify (* 2 1) into 2 9.000 * [backup-simplify]: Simplify (+ 0 2) into 2 9.000 * [taylor]: Taking taylor expansion of 2 in z 9.000 * [backup-simplify]: Simplify 2 into 2 9.000 * [taylor]: Taking taylor expansion of 3 in z 9.000 * [backup-simplify]: Simplify 3 into 3 9.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.002 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 9.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.003 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 2)) into 0 9.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.003 * [backup-simplify]: Simplify (+ 0 0) into 0 9.003 * [backup-simplify]: Simplify (+ 0 0) into 0 9.004 * [taylor]: Taking taylor expansion of 0 in y 9.004 * [backup-simplify]: Simplify 0 into 0 9.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.005 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 9.005 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.005 * [taylor]: Taking taylor expansion of z in z 9.005 * [backup-simplify]: Simplify 0 into 0 9.005 * [backup-simplify]: Simplify 1 into 1 9.006 * [backup-simplify]: Simplify (/ 1 1) into 1 9.006 * [backup-simplify]: Simplify 1 into 1 9.006 * [taylor]: Taking taylor expansion of 0 in z 9.006 * [backup-simplify]: Simplify 0 into 0 9.006 * [backup-simplify]: Simplify 2 into 2 9.006 * [backup-simplify]: Simplify 3 into 3 9.007 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 9.007 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (fma (/ 1 (- y)) 2 (/ 1 (- z)))) into (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) 9.007 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in (x y z) around 0 9.007 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in z 9.007 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 9.008 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 9.008 * [taylor]: Taking taylor expansion of 3 in z 9.008 * [backup-simplify]: Simplify 3 into 3 9.008 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.008 * [taylor]: Taking taylor expansion of -1 in z 9.008 * [backup-simplify]: Simplify -1 into -1 9.008 * [taylor]: Taking taylor expansion of x in z 9.008 * [backup-simplify]: Simplify x into x 9.008 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 9.008 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in z 9.008 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 9.008 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 9.008 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.008 * [taylor]: Taking taylor expansion of -1 in z 9.008 * [backup-simplify]: Simplify -1 into -1 9.008 * [taylor]: Taking taylor expansion of y in z 9.008 * [backup-simplify]: Simplify y into y 9.008 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.008 * [taylor]: Taking taylor expansion of 2 in z 9.008 * [backup-simplify]: Simplify 2 into 2 9.008 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.008 * [taylor]: Taking taylor expansion of -1 in z 9.008 * [backup-simplify]: Simplify -1 into -1 9.008 * [taylor]: Taking taylor expansion of z in z 9.008 * [backup-simplify]: Simplify 0 into 0 9.008 * [backup-simplify]: Simplify 1 into 1 9.009 * [backup-simplify]: Simplify (/ -1 1) into -1 9.009 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in y 9.009 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 9.009 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 9.009 * [taylor]: Taking taylor expansion of 3 in y 9.009 * [backup-simplify]: Simplify 3 into 3 9.009 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.009 * [taylor]: Taking taylor expansion of -1 in y 9.010 * [backup-simplify]: Simplify -1 into -1 9.010 * [taylor]: Taking taylor expansion of x in y 9.010 * [backup-simplify]: Simplify x into x 9.010 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 9.010 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in y 9.010 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 9.010 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 9.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.010 * [taylor]: Taking taylor expansion of -1 in y 9.010 * [backup-simplify]: Simplify -1 into -1 9.010 * [taylor]: Taking taylor expansion of y in y 9.010 * [backup-simplify]: Simplify 0 into 0 9.010 * [backup-simplify]: Simplify 1 into 1 9.010 * [backup-simplify]: Simplify (/ -1 1) into -1 9.011 * [taylor]: Taking taylor expansion of 2 in y 9.011 * [backup-simplify]: Simplify 2 into 2 9.011 * [taylor]: Taking taylor expansion of (/ -1 z) in y 9.011 * [taylor]: Taking taylor expansion of -1 in y 9.011 * [backup-simplify]: Simplify -1 into -1 9.011 * [taylor]: Taking taylor expansion of z in y 9.011 * [backup-simplify]: Simplify z into z 9.011 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.011 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x 9.011 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 9.011 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 9.011 * [taylor]: Taking taylor expansion of 3 in x 9.011 * [backup-simplify]: Simplify 3 into 3 9.011 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.011 * [taylor]: Taking taylor expansion of -1 in x 9.011 * [backup-simplify]: Simplify -1 into -1 9.011 * [taylor]: Taking taylor expansion of x in x 9.011 * [backup-simplify]: Simplify 0 into 0 9.011 * [backup-simplify]: Simplify 1 into 1 9.012 * [backup-simplify]: Simplify (/ -1 1) into -1 9.012 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 9.012 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 9.012 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 9.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.012 * [taylor]: Taking taylor expansion of -1 in x 9.012 * [backup-simplify]: Simplify -1 into -1 9.012 * [taylor]: Taking taylor expansion of y in x 9.012 * [backup-simplify]: Simplify y into y 9.012 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.012 * [taylor]: Taking taylor expansion of 2 in x 9.012 * [backup-simplify]: Simplify 2 into 2 9.012 * [taylor]: Taking taylor expansion of (/ -1 z) in x 9.012 * [taylor]: Taking taylor expansion of -1 in x 9.012 * [backup-simplify]: Simplify -1 into -1 9.012 * [taylor]: Taking taylor expansion of z in x 9.012 * [backup-simplify]: Simplify z into z 9.012 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.012 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x 9.013 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 9.013 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 9.013 * [taylor]: Taking taylor expansion of 3 in x 9.013 * [backup-simplify]: Simplify 3 into 3 9.013 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.013 * [taylor]: Taking taylor expansion of -1 in x 9.013 * [backup-simplify]: Simplify -1 into -1 9.013 * [taylor]: Taking taylor expansion of x in x 9.013 * [backup-simplify]: Simplify 0 into 0 9.013 * [backup-simplify]: Simplify 1 into 1 9.013 * [backup-simplify]: Simplify (/ -1 1) into -1 9.013 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 9.014 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 9.014 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 9.014 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.014 * [taylor]: Taking taylor expansion of -1 in x 9.014 * [backup-simplify]: Simplify -1 into -1 9.014 * [taylor]: Taking taylor expansion of y in x 9.014 * [backup-simplify]: Simplify y into y 9.014 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.014 * [taylor]: Taking taylor expansion of 2 in x 9.014 * [backup-simplify]: Simplify 2 into 2 9.014 * [taylor]: Taking taylor expansion of (/ -1 z) in x 9.014 * [taylor]: Taking taylor expansion of -1 in x 9.014 * [backup-simplify]: Simplify -1 into -1 9.014 * [taylor]: Taking taylor expansion of z in x 9.014 * [backup-simplify]: Simplify z into z 9.014 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.014 * [backup-simplify]: Simplify (* 3 -1) into -3 9.015 * [backup-simplify]: Simplify (+ -3 0) into -3 9.015 * [taylor]: Taking taylor expansion of -3 in y 9.015 * [backup-simplify]: Simplify -3 into -3 9.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.017 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 9.017 * [backup-simplify]: Simplify (* (/ -1 y) 2) into (/ -2 y) 9.017 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 9.017 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z))) 9.017 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y 9.017 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y 9.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 9.017 * [taylor]: Taking taylor expansion of 2 in y 9.017 * [backup-simplify]: Simplify 2 into 2 9.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.017 * [taylor]: Taking taylor expansion of y in y 9.017 * [backup-simplify]: Simplify 0 into 0 9.017 * [backup-simplify]: Simplify 1 into 1 9.018 * [backup-simplify]: Simplify (/ 1 1) into 1 9.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.018 * [taylor]: Taking taylor expansion of z in y 9.018 * [backup-simplify]: Simplify z into z 9.018 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.018 * [backup-simplify]: Simplify (* 2 1) into 2 9.019 * [backup-simplify]: Simplify (+ 2 0) into 2 9.019 * [backup-simplify]: Simplify (- 2) into -2 9.019 * [taylor]: Taking taylor expansion of -2 in z 9.019 * [backup-simplify]: Simplify -2 into -2 9.019 * [taylor]: Taking taylor expansion of -3 in z 9.019 * [backup-simplify]: Simplify -3 into -3 9.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.021 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 9.021 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 9.022 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 2)) into 0 9.022 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 9.022 * [backup-simplify]: Simplify (+ 0 0) into 0 9.023 * [backup-simplify]: Simplify (+ 0 0) into 0 9.023 * [taylor]: Taking taylor expansion of 0 in y 9.023 * [backup-simplify]: Simplify 0 into 0 9.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.024 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 9.024 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 9.024 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.024 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.024 * [taylor]: Taking taylor expansion of z in z 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 1 into 1 9.025 * [backup-simplify]: Simplify (/ 1 1) into 1 9.025 * [backup-simplify]: Simplify (- 1) into -1 9.025 * [backup-simplify]: Simplify -1 into -1 9.025 * [taylor]: Taking taylor expansion of 0 in z 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify -2 into -2 9.025 * [backup-simplify]: Simplify -3 into -3 9.026 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 9.026 * * * [progress]: simplifying candidates 9.027 * [simplify]: Simplifying: (expm1 (fma 3 x (fma y 2 z))) (log1p (fma 3 x (fma y 2 z))) (* 3 x) (log (fma 3 x (fma y 2 z))) (exp (fma 3 x (fma y 2 z))) (* (cbrt (fma 3 x (fma y 2 z))) (cbrt (fma 3 x (fma y 2 z)))) (cbrt (fma 3 x (fma y 2 z))) (* (* (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z))) (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 9.027 * * [simplify]: Extracting # 0 : cost 0 9.027 * * [simplify]: Extracting # 1 : cost 0 9.027 * * [simplify]: Extracting # 2 : cost 0 9.027 * * [simplify]: Extracting # 3 : cost 0 9.028 * * [simplify]: Extracting # 4 : cost 0 9.028 * * [simplify]: Extracting # 5 : cost 0 9.028 * * [simplify]: Extracting # 6 : cost 0 9.028 * * [simplify]: Extracting # 7 : cost 0 9.028 * * [simplify]: iteration 0 : 20 enodes (cost 126 ) 9.034 * * [simplify]: Extracting # 0 : cost 0 9.035 * * [simplify]: Extracting # 1 : cost 0 9.035 * * [simplify]: Extracting # 2 : cost 0 9.035 * * [simplify]: iteration 1 : 30 enodes (cost 120 ) 9.046 * * [simplify]: Extracting # 0 : cost 0 9.046 * * [simplify]: Extracting # 1 : cost 0 9.046 * * [simplify]: Extracting # 2 : cost 0 9.047 * * [simplify]: iteration 2 : 92 enodes (cost 106 ) 9.120 * * [simplify]: Extracting # 0 : cost 0 9.120 * * [simplify]: Extracting # 1 : cost 0 9.121 * * [simplify]: Extracting # 2 : cost 0 9.122 * * [simplify]: Extracting # 3 : cost 0 9.123 * * [simplify]: iteration 3 : 669 enodes (cost 106 ) 9.958 * * [simplify]: Extracting # 0 : cost 0 9.978 * * [simplify]: Extracting # 1 : cost 0 9.991 * * [simplify]: Extracting # 2 : cost 0 10.004 * * [simplify]: Extracting # 3 : cost 0 10.011 * * [simplify]: Extracting # 4 : cost 0 10.021 * * [simplify]: iteration done: 5000 enodes (cost 106 ) 10.021 * [simplify]: Simplified to: (expm1 (fma 3 x (fma y 2 z))) (log1p (fma 3 x (fma y 2 z))) (* 3 x) (log (fma 3 x (fma y 2 z))) (exp (fma 3 x (fma y 2 z))) (* (cbrt (fma 3 x (fma y 2 z))) (cbrt (fma 3 x (fma y 2 z)))) (cbrt (fma 3 x (fma y 2 z))) (pow (fma 3 x (fma y 2 z)) 3) (sqrt (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) 10.021 * * * [progress]: adding candidates to table 10.082 * [progress]: [Phase 3 of 3] Extracting. 10.085 * [simplify]: Simplifying: (fma 3 x (fma y 2 z)) 10.085 * * [simplify]: Extracting # 0 : cost 0 10.085 * * [simplify]: Extracting # 1 : cost 0 10.085 * * [simplify]: Extracting # 2 : cost 0 10.085 * * [simplify]: Extracting # 3 : cost 0 10.085 * * [simplify]: Extracting # 4 : cost 0 10.085 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 10.086 * * [simplify]: Extracting # 0 : cost 0 10.086 * * [simplify]: iteration done: 7 enodes (cost 7 ) 10.086 * [simplify]: Simplified to: (fma 3 x (fma y 2 z)) 11.499 * [regime-testing]: Baseline error score: 0.002000250031253907 11.503 * [regime-testing]: Oracle error score: 0.002000250031253907 11.503 * [regime-testing]: End program error score: 0.002000250031253907